runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-real//ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf.dudf-real.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.53 1.25 1.13 5/36 30738
/proc/meminfo: memFree=280084/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2568 CPUtime=0
/proc/30737/stat : 30737 (p2cudf) R 30736 30736 1511 34817 1511 4202496 346 0 0 0 0 0 0 0 25 0 1 0 5031659 2629632 272 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/30737/statm: 642 272 231 194 0 29 0
[pid=30738] ppid=30737 vsize=2568 CPUtime=0
/proc/30738/stat : 30738 (p2cudf) R 30737 30736 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 5031659 2629632 41 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/30738/statm: 642 41 0 194 0 29 0

[startup+0.141931 s]
/proc/loadavg: 1.53 1.25 1.13 5/36 30738
/proc/meminfo: memFree=280084/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.211942 s]
/proc/loadavg: 1.53 1.25 1.13 5/36 30738
/proc/meminfo: memFree=280084/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.311954 s]
/proc/loadavg: 1.53 1.25 1.13 5/36 30738
/proc/meminfo: memFree=280084/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.712073 s]
/proc/loadavg: 1.53 1.25 1.13 5/36 30738
/proc/meminfo: memFree=280084/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.51221 s]
/proc/loadavg: 1.53 1.25 1.13 4/46 30759
/proc/meminfo: memFree=234300/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
[pid=30750] ppid=30737 vsize=879524 CPUtime=1.47
/proc/30750/stat : 30750 (java) S 30737 30736 1511 34817 1511 4202496 25780 0 1 0 134 13 0 0 25 0 10 0 5031662 900632576 22761 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30750/statm: 219881 22761 1723 10 0 216972 0
[pid=30750/tid=30751] ppid=30737 vsize=879524 CPUtime=0.77
/proc/30750/task/30751/stat : 30751 (java) R 30737 30736 1511 34817 1511 4202560 15611 0 1 0 68 9 0 0 25 0 10 0 5031663 900632576 22761 1283457024 134512640 134550932 4287566192 18446744073709551615 4095166700 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30750/tid=30752] ppid=30737 vsize=879524 CPUtime=0
/proc/30750/task/30752/stat : 30752 (java) S 30737 30736 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 15 0 10 0 5031664 900632576 22761 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30753] ppid=30737 vsize=879524 CPUtime=0
/proc/30750/task/30753/stat : 30753 (java) S 30737 30736 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 5031665 900632576 22761 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30754] ppid=30737 vsize=879524 CPUtime=0
/proc/30750/task/30754/stat : 30754 (java) S 30737 30736 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5031665 900632576 22761 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30755] ppid=30737 vsize=879524 CPUtime=0
/proc/30750/task/30755/stat : 30755 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5031667 900632576 22761 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30756] ppid=30737 vsize=879524 CPUtime=0.28
/proc/30750/task/30756/stat : 30756 (java) R 30737 30736 1511 34817 1511 4202560 2327 0 0 0 28 0 0 0 25 0 10 0 5031667 900632576 22761 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30750/tid=30757] ppid=30737 vsize=879524 CPUtime=0.4
/proc/30750/task/30757/stat : 30757 (java) S 30737 30736 1511 34817 1511 4202560 6763 0 0 0 37 3 0 0 25 0 10 0 5031667 900632576 22761 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30758] ppid=30737 vsize=879524 CPUtime=0
/proc/30750/task/30758/stat : 30758 (java) S 30737 30736 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5031667 900632576 22761 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30759] ppid=30737 vsize=879524 CPUtime=0
/proc/30750/task/30759/stat : 30759 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5031667 900632576 22761 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 884664

[startup+3.10735 s]
/proc/loadavg: 1.65 1.28 1.14 3/46 30759
/proc/meminfo: memFree=110920/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
[pid=30750] ppid=30737 vsize=880948 CPUtime=3.05
/proc/30750/stat : 30750 (java) S 30737 30736 1511 34817 1511 4202496 56442 0 1 0 283 22 0 0 25 0 10 0 5031662 902090752 53279 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30750/statm: 220237 53279 1744 10 0 217328 0
[pid=30750/tid=30751] ppid=30737 vsize=880948 CPUtime=1.42
/proc/30750/task/30751/stat : 30751 (java) R 30737 30736 1511 34817 1511 4202560 45680 0 1 0 124 18 0 0 25 0 10 0 5031663 902090752 53279 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30750/tid=30752] ppid=30737 vsize=880948 CPUtime=0
/proc/30750/task/30752/stat : 30752 (java) S 30737 30736 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 15 0 10 0 5031664 902090752 53279 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30753] ppid=30737 vsize=880948 CPUtime=0
/proc/30750/task/30753/stat : 30753 (java) S 30737 30736 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 5031665 902090752 53279 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30754] ppid=30737 vsize=880948 CPUtime=0
/proc/30750/task/30754/stat : 30754 (java) S 30737 30736 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5031665 902090752 53279 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30755] ppid=30737 vsize=880948 CPUtime=0
/proc/30750/task/30755/stat : 30755 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5031667 902090752 53279 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30756] ppid=30737 vsize=880948 CPUtime=0.72
/proc/30750/task/30756/stat : 30756 (java) R 30737 30736 1511 34817 1511 4202560 2855 0 0 0 72 0 0 0 21 0 10 0 5031667 902090752 53279 1283457024 134512640 134550932 4287566192 18446744073709551615 4149774054 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30750/tid=30757] ppid=30737 vsize=880948 CPUtime=0.89
/proc/30750/task/30757/stat : 30757 (java) S 30737 30736 1511 34817 1511 4202560 6828 0 0 0 86 3 0 0 16 0 10 0 5031667 902090752 53279 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30758] ppid=30737 vsize=880948 CPUtime=0
/proc/30750/task/30758/stat : 30758 (java) S 30737 30736 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5031667 902090752 53279 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30759] ppid=30737 vsize=880948 CPUtime=0
/proc/30750/task/30759/stat : 30759 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5031667 902090752 53279 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 886088

[startup+6.30814 s]
/proc/loadavg: 1.65 1.28 1.14 2/47 30760
/proc/meminfo: memFree=13712/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
[pid=30750] ppid=30737 vsize=879604 CPUtime=6.24
/proc/30750/stat : 30750 (java) S 30737 30736 1511 34817 1511 4202496 72211 0 1 0 592 32 0 0 25 0 11 0 5031662 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30750/statm: 219901 68183 1781 10 0 216992 0
[pid=30750/tid=30751] ppid=30737 vsize=879604 CPUtime=3.3
/proc/30750/task/30751/stat : 30751 (java) R 30737 30736 1511 34817 1511 4202560 50281 0 1 0 310 20 0 0 25 0 11 0 5031663 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4095961659 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30750/tid=30752] ppid=30737 vsize=879604 CPUtime=0.23
/proc/30750/task/30752/stat : 30752 (java) S 30737 30736 1511 34817 1511 4202560 10501 0 0 0 16 7 0 0 16 0 11 0 5031664 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30753] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30753/stat : 30753 (java) S 30737 30736 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5031665 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30754] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30754/stat : 30754 (java) S 30737 30736 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5031665 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30755] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30755/stat : 30755 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5031667 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30756] ppid=30737 vsize=879604 CPUtime=1.57
/proc/30750/task/30756/stat : 30756 (java) S 30737 30736 1511 34817 1511 4202560 3476 0 0 0 157 0 0 0 16 0 11 0 5031667 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30757] ppid=30737 vsize=879604 CPUtime=1.1
/proc/30750/task/30757/stat : 30757 (java) S 30737 30736 1511 34817 1511 4202560 6874 0 0 0 107 3 0 0 15 0 11 0 5031667 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30758] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30758/stat : 30758 (java) S 30737 30736 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 5031667 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30759] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30759/stat : 30759 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 5031667 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30760] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30760/stat : 30760 (java) S 30737 30736 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5032100 900714496 68183 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 884744

Solver just ended. Dumping a history of the last processes samples

[startup+6.41108 s]
/proc/loadavg: 1.65 1.28 1.14 2/47 30760
/proc/meminfo: memFree=13712/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
[pid=30750] ppid=30737 vsize=879604 CPUtime=6.34
/proc/30750/stat : 30750 (java) S 30737 30736 1511 34817 1511 4202496 72214 0 1 0 602 32 0 0 25 0 11 0 5031662 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30750/statm: 219901 68186 1781 10 0 216992 0
[pid=30750/tid=30751] ppid=30737 vsize=879604 CPUtime=3.38
/proc/30750/task/30751/stat : 30751 (java) R 30737 30736 1511 34817 1511 4202560 50281 0 1 0 318 20 0 0 25 0 11 0 5031663 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30750/tid=30752] ppid=30737 vsize=879604 CPUtime=0.23
/proc/30750/task/30752/stat : 30752 (java) S 30737 30736 1511 34817 1511 4202560 10501 0 0 0 16 7 0 0 16 0 11 0 5031664 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30753] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30753/stat : 30753 (java) S 30737 30736 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5031665 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30754] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30754/stat : 30754 (java) S 30737 30736 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5031665 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30755] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30755/stat : 30755 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5031667 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30756] ppid=30737 vsize=879604 CPUtime=1.59
/proc/30750/task/30756/stat : 30756 (java) S 30737 30736 1511 34817 1511 4202560 3479 0 0 0 159 0 0 0 15 0 11 0 5031667 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30757] ppid=30737 vsize=879604 CPUtime=1.1
/proc/30750/task/30757/stat : 30757 (java) S 30737 30736 1511 34817 1511 4202560 6874 0 0 0 107 3 0 0 15 0 11 0 5031667 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30758] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30758/stat : 30758 (java) S 30737 30736 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 5031667 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30759] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30759/stat : 30759 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 5031667 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30760] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30760/stat : 30760 (java) S 30737 30736 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5032100 900714496 68186 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 884744

[startup+9.50878 s]
/proc/loadavg: 1.60 1.28 1.14 2/47 30760
/proc/meminfo: memFree=13464/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
[pid=30750] ppid=30737 vsize=879604 CPUtime=9.44
/proc/30750/stat : 30750 (java) S 30737 30736 1511 34817 1511 4202496 80150 0 1 0 910 34 0 0 25 0 11 0 5031662 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30750/statm: 219901 76122 1788 10 0 216992 0
[pid=30750/tid=30751] ppid=30737 vsize=879604 CPUtime=6
/proc/30750/task/30751/stat : 30751 (java) R 30737 30736 1511 34817 1511 4202560 50283 0 1 0 580 20 0 0 25 0 11 0 5031663 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4095812977 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30750/tid=30752] ppid=30737 vsize=879604 CPUtime=0.53
/proc/30750/task/30752/stat : 30752 (java) S 30737 30736 1511 34817 1511 4202560 18407 0 0 0 44 9 0 0 16 0 11 0 5031664 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30753] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30753/stat : 30753 (java) S 30737 30736 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5031665 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30754] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30754/stat : 30754 (java) S 30737 30736 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5031665 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30755] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30755/stat : 30755 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5031667 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30756] ppid=30737 vsize=879604 CPUtime=1.78
/proc/30750/task/30756/stat : 30756 (java) S 30737 30736 1511 34817 1511 4202560 3507 0 0 0 178 0 0 0 16 0 11 0 5031667 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30757] ppid=30737 vsize=879604 CPUtime=1.1
/proc/30750/task/30757/stat : 30757 (java) S 30737 30736 1511 34817 1511 4202560 6874 0 0 0 107 3 0 0 15 0 11 0 5031667 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30758] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30758/stat : 30758 (java) S 30737 30736 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 5031667 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30759] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30759/stat : 30759 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 5031667 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30760] ppid=30737 vsize=879604 CPUtime=0
/proc/30750/task/30760/stat : 30760 (java) S 30737 30736 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5032100 900714496 76122 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 884744

[startup+10.2984 s]
/proc/loadavg: 1.60 1.28 1.14 2/47 30760
/proc/meminfo: memFree=5360/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
[pid=30750] ppid=30737 vsize=879928 CPUtime=10.14
/proc/30750/stat : 30750 (java) S 30737 30736 1511 34817 1511 4202496 80168 0 1 0 980 34 0 0 25 0 11 0 5031662 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30750/statm: 219982 76140 1789 10 0 217073 0
[pid=30750/tid=30751] ppid=30737 vsize=879928 CPUtime=6.66
/proc/30750/task/30751/stat : 30751 (java) S 30737 30736 1511 34817 1511 4202560 50291 0 1 0 646 20 0 0 25 0 11 0 5031663 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30752] ppid=30737 vsize=879928 CPUtime=0.53
/proc/30750/task/30752/stat : 30752 (java) S 30737 30736 1511 34817 1511 4202560 18407 0 0 0 44 9 0 0 16 0 11 0 5031664 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30753] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30753/stat : 30753 (java) S 30737 30736 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5031665 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30754] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30754/stat : 30754 (java) S 30737 30736 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5031665 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30755] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30755/stat : 30755 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5031667 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30756] ppid=30737 vsize=879928 CPUtime=1.81
/proc/30750/task/30756/stat : 30756 (java) S 30737 30736 1511 34817 1511 4202560 3511 0 0 0 181 0 0 0 15 0 11 0 5031667 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30757] ppid=30737 vsize=879928 CPUtime=1.1
/proc/30750/task/30757/stat : 30757 (java) S 30737 30736 1511 34817 1511 4202560 6874 0 0 0 107 3 0 0 15 0 11 0 5031667 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30758] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30758/stat : 30758 (java) S 30737 30736 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 5031667 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30759] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30759/stat : 30759 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 5031667 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.17
Current children cumulated vsize (KiB) 885068

[startup+10.6065 s]
/proc/loadavg: 1.60 1.28 1.14 2/47 30760
/proc/meminfo: memFree=5360/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
[pid=30750] ppid=30737 vsize=879928 CPUtime=10.14
/proc/30750/stat : 30750 (java) S 30737 30736 1511 34817 1511 4202496 80168 0 1 0 980 34 0 0 25 0 11 0 5031662 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30750/statm: 219982 76140 1789 10 0 217073 0
[pid=30750/tid=30751] ppid=30737 vsize=879928 CPUtime=6.66
/proc/30750/task/30751/stat : 30751 (java) S 30737 30736 1511 34817 1511 4202560 50291 0 1 0 646 20 0 0 25 0 11 0 5031663 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30752] ppid=30737 vsize=879928 CPUtime=0.53
/proc/30750/task/30752/stat : 30752 (java) S 30737 30736 1511 34817 1511 4202560 18407 0 0 0 44 9 0 0 16 0 11 0 5031664 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30753] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30753/stat : 30753 (java) S 30737 30736 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5031665 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30754] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30754/stat : 30754 (java) S 30737 30736 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5031665 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30755] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30755/stat : 30755 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5031667 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30756] ppid=30737 vsize=879928 CPUtime=1.81
/proc/30750/task/30756/stat : 30756 (java) S 30737 30736 1511 34817 1511 4202560 3511 0 0 0 181 0 0 0 15 0 11 0 5031667 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30757] ppid=30737 vsize=879928 CPUtime=1.1
/proc/30750/task/30757/stat : 30757 (java) S 30737 30736 1511 34817 1511 4202560 6874 0 0 0 107 3 0 0 15 0 11 0 5031667 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30758] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30758/stat : 30758 (java) S 30737 30736 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 5031667 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30759] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30759/stat : 30759 (java) R 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 5031667 901046272 76140 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.17
Current children cumulated vsize (KiB) 885068

[startup+10.8085 s]
/proc/loadavg: 1.60 1.28 1.14 2/47 30761
/proc/meminfo: memFree=5236/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
[pid=30750] ppid=30737 vsize=879928 CPUtime=10.23
/proc/30750/stat : 30750 (java) S 30737 30736 1511 34817 1511 4202496 80170 0 1 0 984 39 0 0 25 0 11 0 5031662 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30750/statm: 219982 76142 1789 10 0 217073 0
[pid=30750/tid=30751] ppid=30737 vsize=879928 CPUtime=6.66
/proc/30750/task/30751/stat : 30751 (java) S 30737 30736 1511 34817 1511 4202560 50291 0 1 0 646 20 0 0 25 0 11 0 5031663 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30752] ppid=30737 vsize=879928 CPUtime=0.53
/proc/30750/task/30752/stat : 30752 (java) S 30737 30736 1511 34817 1511 4202560 18407 0 0 0 44 9 0 0 16 0 11 0 5031664 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30753] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30753/stat : 30753 (java) S 30737 30736 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5031665 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30754] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30754/stat : 30754 (java) S 30737 30736 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5031665 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30755] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30755/stat : 30755 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5031667 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30756] ppid=30737 vsize=879928 CPUtime=1.82
/proc/30750/task/30756/stat : 30756 (java) S 30737 30736 1511 34817 1511 4202560 3511 0 0 0 182 0 0 0 15 0 11 0 5031667 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30757] ppid=30737 vsize=879928 CPUtime=1.1
/proc/30750/task/30757/stat : 30757 (java) S 30737 30736 1511 34817 1511 4202560 6874 0 0 0 107 3 0 0 15 0 11 0 5031667 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30758] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30758/stat : 30758 (java) S 30737 30736 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 5031667 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30759] ppid=30737 vsize=879928 CPUtime=0
/proc/30750/task/30759/stat : 30759 (java) S 30737 30736 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 5031667 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30750/tid=30761] ppid=30737 vsize=879928 CPUtime=0.07
/proc/30750/task/30761/stat : 30761 (java) R 30737 30736 1511 34817 1511 4202560 7 0 0 0 2 5 0 0 21 0 11 0 5032680 901046272 76142 1283457024 134512640 134550932 4287566192 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.26
Current children cumulated vsize (KiB) 885068

[startup+10.9106 s]
/proc/loadavg: 1.60 1.28 1.14 2/47 30761
/proc/meminfo: memFree=5236/1048576 swapFree=0/0
[pid=30736] ppid=30735 vsize=2568 CPUtime=0
/proc/30736/stat : 30736 (p2cudf-trendy-1) S 30735 30736 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 5031659 2629632 270 1283457024 134512640 135304128 4289494192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30736/statm: 642 270 230 194 0 29 0
[pid=30737] ppid=30736 vsize=2572 CPUtime=0.03
/proc/30737/stat : 30737 (p2cudf) S 30736 30736 1511 34817 1511 4202496 392 3013 0 1 0 0 0 3 25 0 1 0 5031659 2633728 281 1283457024 134512640 135304128 4291540640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30737/statm: 643 281 239 194 0 30 0
[pid=30750] ppid=30737 vsize=0 CPUtime=10.32
/proc/30750/stat : 30750 (java) Z 30737 30736 1511 34817 1511 4203532 80181 0 1 0 990 42 0 0 18 0 2 0 5031662 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30750/statm: 0 0 0 0 0 0 0
[pid=30750/tid=30751] ppid=30737 vsize=0 CPUtime=6.68
/proc/30750/task/30751/stat : 30751 (java) R 30737 30736 1511 34817 1511 4203588 50291 0 1 0 646 22 0 0 19 0 2 0 5031663 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.35
Current children cumulated vsize (KiB) 5140

Child status: 0
Real time (s): 10.9156
CPU time (s): 10.3606
CPU user time (s): 9.90062
CPU system time (s): 0.460028
CPU usage (%): 94.9161
Max. virtual memory (cumulated for all children) (KiB): 887304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.90062
system time used= 0.460028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83979
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 997
involuntary context switches= 1046

runsolver used 0 second user time and 0.008 second system time

The end