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/201012070034/p2cudf-trendy-1.9/rand08759d.cudf.easy.log.runsolver ./p2cudf-trendy-1.9 /home/misc2010/data/2010/easy//rand08759d.cudf /home/misc2010/tmp/201012070034/p2cudf-trendy-1.9/rand08759d.cudf.easy.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.08 1.04 0.80 5/45 5091
/proc/meminfo: memFree=747676/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2568 CPUtime=0
/proc/5090/stat : 5090 (p2cudf) R 5089 5089 4159 34819 4229 4202496 348 0 0 0 0 0 0 0 25 0 1 0 877649566 2629632 274 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5090/statm: 642 274 234 194 0 28 0
[pid=5091] ppid=5090 vsize=2568 CPUtime=0
/proc/5091/stat : 5091 (p2cudf) R 5090 5089 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 1 0 877649566 2629632 40 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5091/statm: 642 40 0 194 0 28 0

[startup+0.167418 s]
/proc/loadavg: 1.08 1.04 0.80 5/45 5091
/proc/meminfo: memFree=747676/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2572 CPUtime=0.01
/proc/5090/stat : 5090 (p2cudf) S 5089 5089 4159 34819 4229 4202496 393 2997 0 2 0 0 0 1 25 0 1 0 877649566 2633728 282 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5090/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+0.207423 s]
/proc/loadavg: 1.08 1.04 0.80 5/45 5091
/proc/meminfo: memFree=747676/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2572 CPUtime=0.01
/proc/5090/stat : 5090 (p2cudf) S 5089 5089 4159 34819 4229 4202496 393 2997 0 2 0 0 0 1 25 0 1 0 877649566 2633728 282 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5090/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+0.307434 s]
/proc/loadavg: 1.08 1.04 0.80 5/45 5091
/proc/meminfo: memFree=747676/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2572 CPUtime=0.01
/proc/5090/stat : 5090 (p2cudf) S 5089 5089 4159 34819 4229 4202496 393 2997 0 2 0 0 0 1 25 0 1 0 877649566 2633728 282 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5090/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+0.707504 s]
/proc/loadavg: 1.08 1.04 0.80 5/45 5091
/proc/meminfo: memFree=747676/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2572 CPUtime=0.01
/proc/5090/stat : 5090 (p2cudf) S 5089 5089 4159 34819 4229 4202496 393 2997 0 2 0 0 0 1 25 0 1 0 877649566 2633728 282 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5090/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+1.50768 s]
/proc/loadavg: 1.08 1.04 0.80 4/55 5112
/proc/meminfo: memFree=708096/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2572 CPUtime=0.01
/proc/5090/stat : 5090 (p2cudf) S 5089 5089 4159 34819 4229 4202496 393 2997 0 2 0 0 0 1 25 0 1 0 877649566 2633728 282 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5090/statm: 643 282 241 194 0 29 0
[pid=5103] ppid=5090 vsize=876652 CPUtime=1.45
/proc/5103/stat : 5103 (java) S 5090 5089 4159 34819 4229 4202496 18854 0 1 0 138 7 0 0 25 0 10 0 877649570 897691648 15496 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5103/statm: 219163 15496 1729 10 0 216253 0
[pid=5103/tid=5104] ppid=5090 vsize=876652 CPUtime=0.79
/proc/5103/task/5104/stat : 5104 (java) R 5090 5089 4159 34819 4229 4202560 9482 0 1 0 74 5 0 0 25 0 10 0 877649571 897691648 15496 1283457024 134512640 134550932 4291450208 18446744073709551615 4095525254 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5103/tid=5105] ppid=5090 vsize=876652 CPUtime=0
/proc/5103/task/5105/stat : 5105 (java) S 5090 5089 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 18 0 10 0 877649573 897691648 15496 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5106] ppid=5090 vsize=876652 CPUtime=0
/proc/5103/task/5106/stat : 5106 (java) S 5090 5089 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 877649573 897691648 15496 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5107] ppid=5090 vsize=876652 CPUtime=0
/proc/5103/task/5107/stat : 5107 (java) S 5090 5089 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 877649573 897691648 15496 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5108] ppid=5090 vsize=876652 CPUtime=0
/proc/5103/task/5108/stat : 5108 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 877649576 897691648 15496 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5109] ppid=5090 vsize=876652 CPUtime=0.5
/proc/5103/task/5109/stat : 5109 (java) R 5090 5089 4159 34819 4229 4202560 6901 0 0 0 50 0 0 0 25 0 10 0 877649576 897691648 15496 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5103/tid=5110] ppid=5090 vsize=876652 CPUtime=0.14
/proc/5103/task/5110/stat : 5110 (java) R 5090 5089 4159 34819 4229 4202560 1358 0 0 0 14 0 0 0 21 0 10 0 877649576 897691648 15496 1283457024 134512640 134550932 4291450208 18446744073709551615 4149271016 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5103/tid=5111] ppid=5090 vsize=876652 CPUtime=0
/proc/5103/task/5111/stat : 5111 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 877649576 897691648 15496 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5112] ppid=5090 vsize=876652 CPUtime=0
/proc/5103/task/5112/stat : 5112 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 10 0 877649576 897691648 15496 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 881796

[startup+3.10814 s]
/proc/loadavg: 1.08 1.04 0.80 4/55 5112
/proc/meminfo: memFree=661348/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2572 CPUtime=0.01
/proc/5090/stat : 5090 (p2cudf) S 5089 5089 4159 34819 4229 4202496 393 2997 0 2 0 0 0 1 25 0 1 0 877649566 2633728 282 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5090/statm: 643 282 241 194 0 29 0
[pid=5103] ppid=5090 vsize=877812 CPUtime=3.05
/proc/5103/stat : 5103 (java) S 5090 5089 4159 34819 4229 4202496 45873 0 1 0 295 10 0 0 25 0 10 0 877649570 898879488 39965 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5103/statm: 219453 39965 1745 10 0 216543 0
[pid=5103/tid=5104] ppid=5090 vsize=877812 CPUtime=1.46
/proc/5103/task/5104/stat : 5104 (java) R 5090 5089 4159 34819 4229 4202560 33156 0 1 0 138 8 0 0 25 0 10 0 877649571 898879488 39965 1283457024 134512640 134550932 4291450208 18446744073709551615 4152284362 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5103/tid=5105] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5105/stat : 5105 (java) S 5090 5089 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 18 0 10 0 877649573 898879488 39965 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5106] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5106/stat : 5106 (java) S 5090 5089 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 877649573 898879488 39965 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5107] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5107/stat : 5107 (java) S 5090 5089 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 877649573 898879488 39965 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5108] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5108/stat : 5108 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 877649576 898879488 39965 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5109] ppid=5090 vsize=877812 CPUtime=0.8
/proc/5103/task/5109/stat : 5109 (java) R 5090 5089 4159 34819 4229 4202560 6980 0 0 0 80 0 0 0 19 0 10 0 877649576 898879488 39965 1283457024 134512640 134550932 4291450208 18446744073709551615 4149011968 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5103/tid=5110] ppid=5090 vsize=877812 CPUtime=0.77
/proc/5103/task/5110/stat : 5110 (java) R 5090 5089 4159 34819 4229 4202560 4624 0 0 0 76 1 0 0 20 0 10 0 877649576 898879488 39965 1283457024 134512640 134550932 4291450208 18446744073709551615 4151973040 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5103/tid=5111] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5111/stat : 5111 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 877649576 898879488 39965 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5112] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5112/stat : 5112 (java) R 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 10 0 877649576 898879488 39965 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 882956

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

[startup+3.20817 s]
/proc/loadavg: 1.08 1.04 0.80 4/55 5112
/proc/meminfo: memFree=661348/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2572 CPUtime=0.01
/proc/5090/stat : 5090 (p2cudf) S 5089 5089 4159 34819 4229 4202496 393 2997 0 2 0 0 0 1 25 0 1 0 877649566 2633728 282 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5090/statm: 643 282 241 194 0 29 0
[pid=5103] ppid=5090 vsize=877812 CPUtime=3.15
/proc/5103/stat : 5103 (java) S 5090 5089 4159 34819 4229 4202496 46614 0 1 0 305 10 0 0 25 0 10 0 877649570 898879488 40706 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5103/statm: 219453 40706 1745 10 0 216543 0
[pid=5103/tid=5104] ppid=5090 vsize=877812 CPUtime=1.52
/proc/5103/task/5104/stat : 5104 (java) R 5090 5089 4159 34819 4229 4202560 33892 0 1 0 144 8 0 0 25 0 10 0 877649571 898879488 40706 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5103/tid=5105] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5105/stat : 5105 (java) S 5090 5089 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 17 0 10 0 877649573 898879488 40706 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5106] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5106/stat : 5106 (java) S 5090 5089 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 877649573 898879488 40706 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5107] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5107/stat : 5107 (java) S 5090 5089 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 877649573 898879488 40706 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5108] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5108/stat : 5108 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 877649576 898879488 40706 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5109] ppid=5090 vsize=877812 CPUtime=0.83
/proc/5103/task/5109/stat : 5109 (java) R 5090 5089 4159 34819 4229 4202560 6985 0 0 0 83 0 0 0 19 0 10 0 877649576 898879488 40706 1283457024 134512640 134550932 4291450208 18446744073709551615 4151961428 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5103/tid=5110] ppid=5090 vsize=877812 CPUtime=0.78
/proc/5103/task/5110/stat : 5110 (java) R 5090 5089 4159 34819 4229 4202560 4624 0 0 0 77 1 0 0 20 0 10 0 877649576 898879488 40706 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5103/tid=5111] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5111/stat : 5111 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 877649576 898879488 40706 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5112] ppid=5090 vsize=877812 CPUtime=0
/proc/5103/task/5112/stat : 5112 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 10 0 877649576 898879488 40706 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 882956

[startup+4.80863 s]
/proc/loadavg: 1.15 1.05 0.81 2/55 5112
/proc/meminfo: memFree=535984/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2572 CPUtime=0.01
/proc/5090/stat : 5090 (p2cudf) S 5089 5089 4159 34819 4229 4202496 393 2997 0 2 0 0 0 1 25 0 1 0 877649566 2633728 282 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5090/statm: 643 282 241 194 0 29 0
[pid=5103] ppid=5090 vsize=878600 CPUtime=4.75
/proc/5103/stat : 5103 (java) S 5090 5089 4159 34819 4229 4202496 61929 0 1 0 460 15 0 0 25 0 10 0 877649570 899686400 54978 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5103/statm: 219650 54978 1777 10 0 216740 0
[pid=5103/tid=5104] ppid=5090 vsize=878600 CPUtime=2.09
/proc/5103/task/5104/stat : 5104 (java) R 5090 5089 4159 34819 4229 4202560 47936 0 1 0 197 12 0 0 25 0 10 0 877649571 899686400 54978 1283457024 134512640 134550932 4291450208 18446744073709551615 4095513832 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5103/tid=5105] ppid=5090 vsize=878600 CPUtime=0
/proc/5103/task/5105/stat : 5105 (java) S 5090 5089 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 16 0 10 0 877649573 899686400 54978 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5106] ppid=5090 vsize=878600 CPUtime=0
/proc/5103/task/5106/stat : 5106 (java) S 5090 5089 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 877649573 899686400 54978 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5107] ppid=5090 vsize=878600 CPUtime=0
/proc/5103/task/5107/stat : 5107 (java) S 5090 5089 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 877649573 899686400 54978 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5108] ppid=5090 vsize=878600 CPUtime=0
/proc/5103/task/5108/stat : 5108 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 877649576 899686400 54978 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5109] ppid=5090 vsize=878600 CPUtime=1.13
/proc/5103/task/5109/stat : 5109 (java) S 5090 5089 4159 34819 4229 4202560 7022 0 0 0 113 0 0 0 16 0 10 0 877649576 899686400 54978 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5110] ppid=5090 vsize=878600 CPUtime=1.52
/proc/5103/task/5110/stat : 5110 (java) S 5090 5089 4159 34819 4229 4202560 5854 0 0 0 150 2 0 0 17 0 10 0 877649576 899686400 54978 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5111] ppid=5090 vsize=878600 CPUtime=0
/proc/5103/task/5111/stat : 5111 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 877649576 899686400 54978 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5112] ppid=5090 vsize=878600 CPUtime=0
/proc/5103/task/5112/stat : 5112 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 10 0 877649576 899686400 54978 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 883744

[startup+5.60578 s]
/proc/loadavg: 1.15 1.05 0.81 2/56 5117
/proc/meminfo: memFree=525072/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2572 CPUtime=0.01
/proc/5090/stat : 5090 (p2cudf) S 5089 5089 4159 34819 4229 4202496 393 2997 0 2 0 0 0 1 25 0 1 0 877649566 2633728 282 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5090/statm: 643 282 241 194 0 29 0
[pid=5103] ppid=5090 vsize=879248 CPUtime=5.31
/proc/5103/stat : 5103 (java) S 5090 5089 4159 34819 4229 4202496 64099 0 1 0 515 16 0 0 25 0 11 0 877649570 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5103/statm: 219812 57148 1788 10 0 216902 0
[pid=5103/tid=5104] ppid=5090 vsize=879248 CPUtime=2.24
/proc/5103/task/5104/stat : 5104 (java) S 5090 5089 4159 34819 4229 4202560 50050 0 1 0 212 12 0 0 25 0 11 0 877649571 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5105] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5105/stat : 5105 (java) S 5090 5089 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 16 0 11 0 877649573 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5106] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5106/stat : 5106 (java) S 5090 5089 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 11 0 877649573 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5107] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5107/stat : 5107 (java) S 5090 5089 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 11 0 877649573 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5108] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5108/stat : 5108 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 877649576 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5109] ppid=5090 vsize=879248 CPUtime=1.13
/proc/5103/task/5109/stat : 5109 (java) S 5090 5089 4159 34819 4229 4202560 7022 0 0 0 113 0 0 0 16 0 11 0 877649576 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5110] ppid=5090 vsize=879248 CPUtime=1.92
/proc/5103/task/5110/stat : 5110 (java) S 5090 5089 4159 34819 4229 4202560 5902 0 0 0 190 2 0 0 16 0 11 0 877649576 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5111] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5111/stat : 5111 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 877649576 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5112] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5112/stat : 5112 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 11 0 877649576 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5117] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5117/stat : 5117 (java) S 5090 5089 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 11 0 877650103 900349952 57148 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 884392

[startup+6.00985 s]
/proc/loadavg: 1.15 1.05 0.81 2/56 5117
/proc/meminfo: memFree=525072/1048576 swapFree=2084088/2097144
[pid=5089] ppid=5088 vsize=2572 CPUtime=0
/proc/5089/stat : 5089 (p2cudf-trendy-1) S 5088 5089 4159 34819 4229 4202496 377 0 0 0 0 0 0 0 18 0 1 0 877649566 2633728 273 1283457024 134512640 135304128 4293804304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5089/statm: 643 273 233 194 0 29 0
[pid=5090] ppid=5089 vsize=2572 CPUtime=0.01
/proc/5090/stat : 5090 (p2cudf) S 5089 5089 4159 34819 4229 4202496 393 2997 0 2 0 0 0 1 25 0 1 0 877649566 2633728 282 1283457024 134512640 135304128 4286962304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5090/statm: 643 282 241 194 0 29 0
[pid=5103] ppid=5090 vsize=879248 CPUtime=5.44
/proc/5103/stat : 5103 (java) S 5090 5089 4159 34819 4229 4202496 66863 0 1 0 526 18 0 0 25 0 11 0 877649570 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5103/statm: 219812 59912 1790 10 0 216902 0
[pid=5103/tid=5104] ppid=5090 vsize=879248 CPUtime=2.24
/proc/5103/task/5104/stat : 5104 (java) S 5090 5089 4159 34819 4229 4202560 50050 0 1 0 212 12 0 0 25 0 11 0 877649571 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5105] ppid=5090 vsize=879248 CPUtime=0.06
/proc/5103/task/5105/stat : 5105 (java) S 5090 5089 4159 34819 4229 4202560 2765 0 0 0 5 1 0 0 16 0 11 0 877649573 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 0 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5106] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5106/stat : 5106 (java) S 5090 5089 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 877649573 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5107] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5107/stat : 5107 (java) S 5090 5089 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 18 0 11 0 877649573 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5108] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5108/stat : 5108 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 877649576 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5109] ppid=5090 vsize=879248 CPUtime=1.13
/proc/5103/task/5109/stat : 5109 (java) S 5090 5089 4159 34819 4229 4202560 7022 0 0 0 113 0 0 0 16 0 11 0 877649576 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5110] ppid=5090 vsize=879248 CPUtime=1.94
/proc/5103/task/5110/stat : 5110 (java) S 5090 5089 4159 34819 4229 4202560 5902 0 0 0 192 2 0 0 16 0 11 0 877649576 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5111] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5111/stat : 5111 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 877649576 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5112] ppid=5090 vsize=879248 CPUtime=0
/proc/5103/task/5112/stat : 5112 (java) S 5090 5089 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 15 0 11 0 877649576 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 18446612133086621824 0 0 -1 0 0 0 0
[pid=5103/tid=5117] ppid=5090 vsize=879248 CPUtime=0.04
/proc/5103/task/5117/stat : 5117 (java) R 5090 5089 4159 34819 4229 4202560 5 0 0 0 3 1 0 0 20 0 11 0 877650103 900349952 59912 1283457024 134512640 134550932 4291450208 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 884392

Child status: 0
Real time (s): 6.10419
CPU time (s): 5.54435
CPU user time (s): 5.32433
CPU system time (s): 0.220013
CPU usage (%): 90.8285
Max. virtual memory (cumulated for all children) (KiB): 886204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.32433
system time used= 0.220013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70657
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 816
involuntary context switches= 784

runsolver used 0.012 second user time and 0 second system time

The end