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/201103031013/p2cudf-trendy-1.12/1096.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//1096.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/1096.cudf.caixa.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.12 1.09 1.05 4/35 24270
/proc/meminfo: memFree=631664/1048576 swapFree=0/0
[pid=24269] ppid=24268 vsize=2564 CPUtime=0
/proc/24269/stat : 24269 (p2cudf-trendy-1) R 24268 24269 29493 34817 29493 4202496 357 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 270 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/24269/statm: 641 270 230 194 0 28 0
[pid=24270] ppid=24269 vsize=2564 CPUtime=0
/proc/24270/stat : 24270 (p2cudf-trendy-1) R 24269 24269 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 40 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/24270/statm: 641 40 0 194 0 28 0

[startup+0.196327 s]
/proc/loadavg: 1.12 1.09 1.05 4/35 24270
/proc/meminfo: memFree=631664/1048576 swapFree=0/0
[pid=24269] ppid=24268 vsize=2564 CPUtime=0
/proc/24269/stat : 24269 (p2cudf-trendy-1) S 24268 24269 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 270 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24269/statm: 641 270 230 194 0 28 0
[pid=24270] ppid=24269 vsize=2572 CPUtime=0.02
/proc/24270/stat : 24270 (p2cudf) S 24269 24269 29493 34817 29493 4202496 390 3013 0 1 0 0 2 0 25 0 1 0 75534190 2633728 280 1283457024 134512640 135304128 4293722352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24270/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.206317 s]
/proc/loadavg: 1.12 1.09 1.05 4/35 24270
/proc/meminfo: memFree=631664/1048576 swapFree=0/0
[pid=24269] ppid=24268 vsize=2564 CPUtime=0
/proc/24269/stat : 24269 (p2cudf-trendy-1) S 24268 24269 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 270 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24269/statm: 641 270 230 194 0 28 0
[pid=24270] ppid=24269 vsize=2572 CPUtime=0.02
/proc/24270/stat : 24270 (p2cudf) S 24269 24269 29493 34817 29493 4202496 390 3013 0 1 0 0 2 0 25 0 1 0 75534190 2633728 280 1283457024 134512640 135304128 4293722352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24270/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.306368 s]
/proc/loadavg: 1.12 1.09 1.05 4/35 24270
/proc/meminfo: memFree=631664/1048576 swapFree=0/0
[pid=24269] ppid=24268 vsize=2564 CPUtime=0
/proc/24269/stat : 24269 (p2cudf-trendy-1) S 24268 24269 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 270 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24269/statm: 641 270 230 194 0 28 0
[pid=24270] ppid=24269 vsize=2572 CPUtime=0.02
/proc/24270/stat : 24270 (p2cudf) S 24269 24269 29493 34817 29493 4202496 390 3013 0 1 0 0 2 0 25 0 1 0 75534190 2633728 280 1283457024 134512640 135304128 4293722352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24270/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.706394 s]
/proc/loadavg: 1.12 1.09 1.05 4/35 24270
/proc/meminfo: memFree=631664/1048576 swapFree=0/0
[pid=24269] ppid=24268 vsize=2564 CPUtime=0
/proc/24269/stat : 24269 (p2cudf-trendy-1) S 24268 24269 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 270 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24269/statm: 641 270 230 194 0 28 0
[pid=24270] ppid=24269 vsize=2572 CPUtime=0.02
/proc/24270/stat : 24270 (p2cudf) S 24269 24269 29493 34817 29493 4202496 390 3013 0 1 0 0 2 0 25 0 1 0 75534190 2633728 280 1283457024 134512640 135304128 4293722352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24270/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+1.50662 s]
/proc/loadavg: 1.35 1.14 1.07 5/46 24292
/proc/meminfo: memFree=587196/1048576 swapFree=0/0
[pid=24269] ppid=24268 vsize=2564 CPUtime=0
/proc/24269/stat : 24269 (p2cudf-trendy-1) S 24268 24269 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 270 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24269/statm: 641 270 230 194 0 28 0
[pid=24270] ppid=24269 vsize=2572 CPUtime=0.02
/proc/24270/stat : 24270 (p2cudf) S 24269 24269 29493 34817 29493 4202496 390 3013 0 1 0 0 2 0 25 0 1 0 75534190 2633728 280 1283457024 134512640 135304128 4293722352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24270/statm: 643 280 239 194 0 30 0
[pid=24283] ppid=24270 vsize=870104 CPUtime=1.48
/proc/24283/stat : 24283 (java) S 24270 24269 29493 34817 29493 4202496 26566 0 1 0 138 10 0 0 25 0 10 0 75534193 890986496 25212 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24283/statm: 217526 25212 1722 10 0 214617 0
[pid=24283/tid=24284] ppid=24270 vsize=870104 CPUtime=0.91
/proc/24283/task/24284/stat : 24284 (java) R 24270 24269 29493 34817 29493 4202560 20590 0 1 0 85 6 0 0 25 0 10 0 75534194 890986496 25212 1283457024 134512640 134550932 4292808368 18446744073709551615 4095545726 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24283/tid=24285] ppid=24270 vsize=870104 CPUtime=0
/proc/24283/task/24285/stat : 24285 (java) S 24270 24269 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 17 0 10 0 75534196 890986496 25212 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24286] ppid=24270 vsize=870104 CPUtime=0
/proc/24283/task/24286/stat : 24286 (java) S 24270 24269 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75534196 890986496 25212 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24287] ppid=24270 vsize=870104 CPUtime=0
/proc/24283/task/24287/stat : 24287 (java) S 24270 24269 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75534196 890986496 25212 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24288] ppid=24270 vsize=870104 CPUtime=0
/proc/24283/task/24288/stat : 24288 (java) S 24270 24269 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75534199 890986496 25212 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24289] ppid=24270 vsize=870104 CPUtime=0.26
/proc/24283/task/24289/stat : 24289 (java) R 24270 24269 29493 34817 29493 4202560 4080 0 0 0 25 1 0 0 25 0 10 0 75534199 890986496 25212 1283457024 134512640 134550932 4292808368 18446744073709551615 4149031404 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24283/tid=24290] ppid=24270 vsize=870104 CPUtime=0.27
/proc/24283/task/24290/stat : 24290 (java) R 24270 24269 29493 34817 29493 4202560 816 0 0 0 26 1 0 0 22 0 10 0 75534199 890986496 25212 1283457024 134512640 134550932 4292808368 18446744073709551615 4151673145 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24283/tid=24291] ppid=24270 vsize=870104 CPUtime=0
/proc/24283/task/24291/stat : 24291 (java) S 24270 24269 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75534199 890986496 25212 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24292] ppid=24270 vsize=870104 CPUtime=0
/proc/24283/task/24292/stat : 24292 (java) S 24270 24269 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75534199 890986496 25212 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 875240

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

[startup+1.60664 s]
/proc/loadavg: 1.35 1.14 1.07 5/46 24292
/proc/meminfo: memFree=587196/1048576 swapFree=0/0
[pid=24269] ppid=24268 vsize=2564 CPUtime=0
/proc/24269/stat : 24269 (p2cudf-trendy-1) S 24268 24269 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 270 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24269/statm: 641 270 230 194 0 28 0
[pid=24270] ppid=24269 vsize=2572 CPUtime=0.02
/proc/24270/stat : 24270 (p2cudf) S 24269 24269 29493 34817 29493 4202496 390 3013 0 1 0 0 2 0 25 0 1 0 75534190 2633728 280 1283457024 134512640 135304128 4293722352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24270/statm: 643 280 239 194 0 30 0
[pid=24283] ppid=24270 vsize=872240 CPUtime=1.58
/proc/24283/stat : 24283 (java) S 24270 24269 29493 34817 29493 4202496 27777 0 1 0 148 10 0 0 25 0 10 0 75534193 893173760 25903 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24283/statm: 218060 25903 1724 10 0 215151 0
[pid=24283/tid=24284] ppid=24270 vsize=872240 CPUtime=0.91
/proc/24283/task/24284/stat : 24284 (java) R 24270 24269 29493 34817 29493 4202560 20590 0 1 0 85 6 0 0 25 0 10 0 75534194 893173760 25903 1283457024 134512640 134550932 4292808368 18446744073709551615 4095545726 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24283/tid=24285] ppid=24270 vsize=872240 CPUtime=0
/proc/24283/task/24285/stat : 24285 (java) S 24270 24269 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 17 0 10 0 75534196 893173760 25903 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24286] ppid=24270 vsize=872240 CPUtime=0
/proc/24283/task/24286/stat : 24286 (java) S 24270 24269 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75534196 893173760 25903 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24287] ppid=24270 vsize=872240 CPUtime=0
/proc/24283/task/24287/stat : 24287 (java) S 24270 24269 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75534196 893173760 25903 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24288] ppid=24270 vsize=872240 CPUtime=0
/proc/24283/task/24288/stat : 24288 (java) S 24270 24269 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75534199 893173760 25903 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24289] ppid=24270 vsize=872240 CPUtime=0.26
/proc/24283/task/24289/stat : 24289 (java) R 24270 24269 29493 34817 29493 4202560 4080 0 0 0 25 1 0 0 25 0 10 0 75534199 893173760 25903 1283457024 134512640 134550932 4292808368 18446744073709551615 4149031404 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24283/tid=24290] ppid=24270 vsize=872240 CPUtime=0.37
/proc/24283/task/24290/stat : 24290 (java) R 24270 24269 29493 34817 29493 4202560 2027 0 0 0 36 1 0 0 22 0 10 0 75534199 893173760 25903 1283457024 134512640 134550932 4292808368 18446744073709551615 4151758353 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24283/tid=24291] ppid=24270 vsize=872240 CPUtime=0
/proc/24283/task/24291/stat : 24291 (java) S 24270 24269 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75534199 893173760 25903 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24292] ppid=24270 vsize=872240 CPUtime=0
/proc/24283/task/24292/stat : 24292 (java) S 24270 24269 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75534199 893173760 25903 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 877376

[startup+2.40689 s]
/proc/loadavg: 1.35 1.14 1.07 2/46 24292
/proc/meminfo: memFree=464808/1048576 swapFree=0/0
[pid=24269] ppid=24268 vsize=2564 CPUtime=0
/proc/24269/stat : 24269 (p2cudf-trendy-1) S 24268 24269 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 270 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24269/statm: 641 270 230 194 0 28 0
[pid=24270] ppid=24269 vsize=2572 CPUtime=0.02
/proc/24270/stat : 24270 (p2cudf) S 24269 24269 29493 34817 29493 4202496 390 3013 0 1 0 0 2 0 25 0 1 0 75534190 2633728 280 1283457024 134512640 135304128 4293722352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24270/statm: 643 280 239 194 0 30 0
[pid=24283] ppid=24270 vsize=870196 CPUtime=2.37
/proc/24283/stat : 24283 (java) S 24270 24269 29493 34817 29493 4202496 49951 0 1 0 217 20 0 0 25 0 10 0 75534193 891080704 47564 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24283/statm: 217549 47564 1737 10 0 214640 0
[pid=24283/tid=24284] ppid=24270 vsize=870196 CPUtime=1.41
/proc/24283/task/24284/stat : 24284 (java) R 24270 24269 29493 34817 29493 4202560 42707 0 1 0 124 17 0 0 25 0 10 0 75534194 891080704 47564 1283457024 134512640 134550932 4292808368 18446744073709551615 4153365554 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24283/tid=24285] ppid=24270 vsize=870196 CPUtime=0
/proc/24283/task/24285/stat : 24285 (java) S 24270 24269 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 75534196 891080704 47564 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24286] ppid=24270 vsize=870196 CPUtime=0
/proc/24283/task/24286/stat : 24286 (java) S 24270 24269 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75534196 891080704 47564 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24287] ppid=24270 vsize=870196 CPUtime=0
/proc/24283/task/24287/stat : 24287 (java) S 24270 24269 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75534196 891080704 47564 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24288] ppid=24270 vsize=870196 CPUtime=0
/proc/24283/task/24288/stat : 24288 (java) S 24270 24269 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75534199 891080704 47564 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24289] ppid=24270 vsize=870196 CPUtime=0.45
/proc/24283/task/24289/stat : 24289 (java) S 24270 24269 29493 34817 29493 4202560 4113 0 0 0 44 1 0 0 21 0 10 0 75534199 891080704 47564 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24290] ppid=24270 vsize=870196 CPUtime=0.49
/proc/24283/task/24290/stat : 24290 (java) S 24270 24269 29493 34817 29493 4202560 2051 0 0 0 48 1 0 0 22 0 10 0 75534199 891080704 47564 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24291] ppid=24270 vsize=870196 CPUtime=0
/proc/24283/task/24291/stat : 24291 (java) S 24270 24269 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75534199 891080704 47564 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24292] ppid=24270 vsize=870196 CPUtime=0
/proc/24283/task/24292/stat : 24292 (java) S 24270 24269 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75534199 891080704 47564 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 875332

[startup+2.80734 s]
/proc/loadavg: 1.35 1.14 1.07 2/46 24292
/proc/meminfo: memFree=464808/1048576 swapFree=0/0
[pid=24269] ppid=24268 vsize=2564 CPUtime=0
/proc/24269/stat : 24269 (p2cudf-trendy-1) S 24268 24269 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 270 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24269/statm: 641 270 230 194 0 28 0
[pid=24270] ppid=24269 vsize=2572 CPUtime=0.02
/proc/24270/stat : 24270 (p2cudf) S 24269 24269 29493 34817 29493 4202496 390 3013 0 1 0 0 2 0 25 0 1 0 75534190 2633728 280 1283457024 134512640 135304128 4293722352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24270/statm: 643 280 239 194 0 30 0
[pid=24283] ppid=24270 vsize=870520 CPUtime=2.4
/proc/24283/stat : 24283 (java) S 24270 24269 29493 34817 29493 4202496 50196 0 1 0 220 20 0 0 25 0 11 0 75534193 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24283/statm: 217630 47809 1739 10 0 214721 0
[pid=24283/tid=24284] ppid=24270 vsize=870520 CPUtime=1.43
/proc/24283/task/24284/stat : 24284 (java) S 24270 24269 29493 34817 29493 4202560 42947 0 1 0 126 17 0 0 25 0 11 0 75534194 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24285] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24285/stat : 24285 (java) S 24270 24269 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 11 0 75534196 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24286] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24286/stat : 24286 (java) S 24270 24269 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 11 0 75534196 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24287] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24287/stat : 24287 (java) S 24270 24269 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75534196 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24288] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24288/stat : 24288 (java) S 24270 24269 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75534199 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24289] ppid=24270 vsize=870520 CPUtime=0.46
/proc/24283/task/24289/stat : 24289 (java) S 24270 24269 29493 34817 29493 4202560 4114 0 0 0 45 1 0 0 21 0 11 0 75534199 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24290] ppid=24270 vsize=870520 CPUtime=0.49
/proc/24283/task/24290/stat : 24290 (java) S 24270 24269 29493 34817 29493 4202560 2051 0 0 0 48 1 0 0 22 0 11 0 75534199 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24291] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24291/stat : 24291 (java) S 24270 24269 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75534199 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24292] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24292/stat : 24292 (java) S 24270 24269 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75534199 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 875656

[startup+2.90736 s]
/proc/loadavg: 1.35 1.14 1.07 2/46 24292
/proc/meminfo: memFree=464808/1048576 swapFree=0/0
[pid=24269] ppid=24268 vsize=2564 CPUtime=0
/proc/24269/stat : 24269 (p2cudf-trendy-1) S 24268 24269 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 75534190 2625536 270 1283457024 134512640 135304128 4288519184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24269/statm: 641 270 230 194 0 28 0
[pid=24270] ppid=24269 vsize=2572 CPUtime=0.02
/proc/24270/stat : 24270 (p2cudf) S 24269 24269 29493 34817 29493 4202496 390 3013 0 1 0 0 2 0 25 0 1 0 75534190 2633728 280 1283457024 134512640 135304128 4293722352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24270/statm: 643 280 239 194 0 30 0
[pid=24283] ppid=24270 vsize=870520 CPUtime=2.4
/proc/24283/stat : 24283 (java) S 24270 24269 29493 34817 29493 4202496 50196 0 1 0 220 20 0 0 25 0 11 0 75534193 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24283/statm: 217630 47809 1739 10 0 214721 0
[pid=24283/tid=24284] ppid=24270 vsize=870520 CPUtime=1.43
/proc/24283/task/24284/stat : 24284 (java) S 24270 24269 29493 34817 29493 4202560 42947 0 1 0 126 17 0 0 25 0 11 0 75534194 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24285] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24285/stat : 24285 (java) S 24270 24269 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 11 0 75534196 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24286] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24286/stat : 24286 (java) S 24270 24269 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 11 0 75534196 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24287] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24287/stat : 24287 (java) S 24270 24269 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75534196 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24288] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24288/stat : 24288 (java) S 24270 24269 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75534199 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24289] ppid=24270 vsize=870520 CPUtime=0.46
/proc/24283/task/24289/stat : 24289 (java) S 24270 24269 29493 34817 29493 4202560 4114 0 0 0 45 1 0 0 21 0 11 0 75534199 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24290] ppid=24270 vsize=870520 CPUtime=0.49
/proc/24283/task/24290/stat : 24290 (java) S 24270 24269 29493 34817 29493 4202560 2051 0 0 0 48 1 0 0 22 0 11 0 75534199 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24291] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24291/stat : 24291 (java) S 24270 24269 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75534199 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=24283/tid=24292] ppid=24270 vsize=870520 CPUtime=0
/proc/24283/task/24292/stat : 24292 (java) S 24270 24269 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75534199 891412480 47809 1283457024 134512640 134550932 4292808368 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 875656

Child status: 0
Real time (s): 3.00538
CPU time (s): 2.46015
CPU user time (s): 2.22414
CPU system time (s): 0.236014
CPU usage (%): 81.8582
Max. virtual memory (cumulated for all children) (KiB): 877376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.22414
system time used= 0.236014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54002
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= 190
involuntary context switches= 155

runsolver used 0 second user time and 0 second system time

The end