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/4121.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//4121.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/4121.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.54 1.60 1.61 5/37 13611
/proc/meminfo: memFree=297324/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2568 CPUtime=0
/proc/13610/stat : 13610 (p2cudf) R 13609 13609 29493 34817 29493 4202496 345 0 0 0 0 0 0 0 25 0 1 0 76247373 2629632 271 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/13610/statm: 642 271 231 194 0 29 0
[pid=13611] ppid=13610 vsize=2568 CPUtime=0
/proc/13611/stat : 13611 (p2cudf) R 13610 13609 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76247373 2629632 40 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/13611/statm: 642 40 0 194 0 29 0

[startup+0.145687 s]
/proc/loadavg: 1.54 1.60 1.61 5/37 13611
/proc/meminfo: memFree=297324/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2572 CPUtime=0.03
/proc/13610/stat : 13610 (p2cudf) S 13609 13609 29493 34817 29493 4202496 391 3016 0 1 0 1 2 0 25 0 1 0 76247373 2633728 280 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13610/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205685 s]
/proc/loadavg: 1.54 1.60 1.61 5/37 13611
/proc/meminfo: memFree=297324/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2572 CPUtime=0.03
/proc/13610/stat : 13610 (p2cudf) S 13609 13609 29493 34817 29493 4202496 391 3016 0 1 0 1 2 0 25 0 1 0 76247373 2633728 280 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13610/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305706 s]
/proc/loadavg: 1.54 1.60 1.61 5/37 13611
/proc/meminfo: memFree=297324/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2572 CPUtime=0.03
/proc/13610/stat : 13610 (p2cudf) S 13609 13609 29493 34817 29493 4202496 391 3016 0 1 0 1 2 0 25 0 1 0 76247373 2633728 280 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13610/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.705923 s]
/proc/loadavg: 1.54 1.60 1.61 5/37 13611
/proc/meminfo: memFree=297324/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2572 CPUtime=0.03
/proc/13610/stat : 13610 (p2cudf) S 13609 13609 29493 34817 29493 4202496 391 3016 0 1 0 1 2 0 25 0 1 0 76247373 2633728 280 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13610/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50602 s]
/proc/loadavg: 1.54 1.60 1.61 3/47 13632
/proc/meminfo: memFree=237776/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2572 CPUtime=0.03
/proc/13610/stat : 13610 (p2cudf) S 13609 13609 29493 34817 29493 4202496 391 3016 0 1 0 1 2 0 25 0 1 0 76247373 2633728 280 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13610/statm: 643 280 239 194 0 30 0
[pid=13623] ppid=13610 vsize=879036 CPUtime=1.46
/proc/13623/stat : 13623 (java) S 13610 13609 29493 34817 29493 4202496 24514 0 1 0 136 10 0 0 25 0 10 0 76247376 900132864 20812 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 219759 20812 1722 10 0 216850 0
[pid=13623/tid=13624] ppid=13610 vsize=879036 CPUtime=0.8
/proc/13623/task/13624/stat : 13624 (java) R 13610 13609 29493 34817 29493 4202560 14039 0 1 0 74 6 0 0 25 0 10 0 76247377 900132864 20812 1283457024 134512640 134550932 4287574448 18446744073709551615 4094835443 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13625] ppid=13610 vsize=879036 CPUtime=0
/proc/13623/task/13625/stat : 13625 (java) S 13610 13609 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76247379 900132864 20812 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13610 vsize=879036 CPUtime=0
/proc/13623/task/13626/stat : 13626 (java) S 13610 13609 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76247379 900132864 20812 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13610 vsize=879036 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13610 13609 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76247379 900132864 20812 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13610 vsize=879036 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76247382 900132864 20812 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13610 vsize=879036 CPUtime=0.39
/proc/13623/task/13629/stat : 13629 (java) R 13610 13609 29493 34817 29493 4202560 5935 0 0 0 37 2 0 0 24 0 10 0 76247382 900132864 20812 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13610 vsize=879036 CPUtime=0.26
/proc/13623/task/13630/stat : 13630 (java) R 13610 13609 29493 34817 29493 4202560 3461 0 0 0 25 1 0 0 18 0 10 0 76247382 900132864 20812 1283457024 134512640 134550932 4287574448 18446744073709551615 4151212857 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13610 vsize=879036 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13610 13609 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76247382 900132864 20812 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13610 vsize=879036 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76247382 900132864 20812 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 884176

[startup+3.10639 s]
/proc/loadavg: 1.54 1.60 1.61 4/47 13632
/proc/meminfo: memFree=173296/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2572 CPUtime=0.03
/proc/13610/stat : 13610 (p2cudf) S 13609 13609 29493 34817 29493 4202496 391 3016 0 1 0 1 2 0 25 0 1 0 76247373 2633728 280 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13610/statm: 643 280 239 194 0 30 0
[pid=13623] ppid=13610 vsize=886936 CPUtime=3.04
/proc/13623/stat : 13623 (java) S 13610 13609 29493 34817 29493 4202496 53379 0 1 0 285 19 0 0 25 0 10 0 76247376 908222464 44887 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 221734 44887 1735 10 0 218825 0
[pid=13623/tid=13624] ppid=13610 vsize=886936 CPUtime=1.31
/proc/13623/task/13624/stat : 13624 (java) R 13610 13609 29493 34817 29493 4202560 35654 0 1 0 118 13 0 0 25 0 10 0 76247377 908222464 44887 1283457024 134512640 134550932 4287574448 18446744073709551615 4094701956 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13625] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13625/stat : 13625 (java) S 13610 13609 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76247379 908222464 44887 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13626/stat : 13626 (java) S 13610 13609 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76247379 908222464 44887 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13610 13609 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76247379 908222464 44887 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76247382 908222464 44887 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13610 vsize=886936 CPUtime=0.83
/proc/13623/task/13629/stat : 13629 (java) S 13610 13609 29493 34817 29493 4202560 10285 0 0 0 81 2 0 0 25 0 10 0 76247382 908222464 44887 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13610 vsize=886936 CPUtime=0.88
/proc/13623/task/13630/stat : 13630 (java) S 13610 13609 29493 34817 29493 4202560 6361 0 0 0 85 3 0 0 20 0 10 0 76247382 908222464 44887 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13610 13609 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76247382 908222464 44887 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76247382 908222464 44887 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 892076

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

[startup+3.20642 s]
/proc/loadavg: 1.54 1.60 1.61 4/47 13632
/proc/meminfo: memFree=173296/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2572 CPUtime=0.03
/proc/13610/stat : 13610 (p2cudf) S 13609 13609 29493 34817 29493 4202496 391 3016 0 1 0 1 2 0 25 0 1 0 76247373 2633728 280 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13610/statm: 643 280 239 194 0 30 0
[pid=13623] ppid=13610 vsize=886936 CPUtime=3.14
/proc/13623/stat : 13623 (java) S 13610 13609 29493 34817 29493 4202496 54820 0 1 0 295 19 0 0 25 0 10 0 76247376 908222464 46328 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 221734 46328 1742 10 0 218825 0
[pid=13623/tid=13624] ppid=13610 vsize=886936 CPUtime=1.37
/proc/13623/task/13624/stat : 13624 (java) R 13610 13609 29493 34817 29493 4202560 37091 0 1 0 124 13 0 0 25 0 10 0 76247377 908222464 46328 1283457024 134512640 134550932 4287574448 18446744073709551615 4095325599 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13625] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13625/stat : 13625 (java) S 13610 13609 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76247379 908222464 46328 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13626/stat : 13626 (java) S 13610 13609 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76247379 908222464 46328 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13610 13609 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76247379 908222464 46328 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76247382 908222464 46328 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13610 vsize=886936 CPUtime=0.83
/proc/13623/task/13629/stat : 13629 (java) S 13610 13609 29493 34817 29493 4202560 10285 0 0 0 81 2 0 0 25 0 10 0 76247382 908222464 46328 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13610 vsize=886936 CPUtime=0.92
/proc/13623/task/13630/stat : 13630 (java) S 13610 13609 29493 34817 29493 4202560 6365 0 0 0 89 3 0 0 20 0 10 0 76247382 908222464 46328 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13610 13609 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76247382 908222464 46328 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76247382 908222464 46328 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 892076

[startup+4.8069 s]
/proc/loadavg: 1.58 1.60 1.62 3/47 13632
/proc/meminfo: memFree=10360/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2572 CPUtime=0.03
/proc/13610/stat : 13610 (p2cudf) S 13609 13609 29493 34817 29493 4202496 391 3016 0 1 0 1 2 0 25 0 1 0 76247373 2633728 280 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13610/statm: 643 280 239 194 0 30 0
[pid=13623] ppid=13610 vsize=886936 CPUtime=4.74
/proc/13623/stat : 13623 (java) S 13610 13609 29493 34817 29493 4202496 83235 0 1 0 445 29 0 0 25 0 10 0 76247376 908222464 73341 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 221734 73341 1763 10 0 218825 0
[pid=13623/tid=13624] ppid=13610 vsize=886936 CPUtime=1.84
/proc/13623/task/13624/stat : 13624 (java) R 13610 13609 29493 34817 29493 4202560 50191 0 1 0 166 18 0 0 25 0 10 0 76247377 908222464 73341 1283457024 134512640 134550932 4287574448 18446744073709551615 4094711649 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13625] ppid=13610 vsize=886936 CPUtime=0.31
/proc/13623/task/13625/stat : 13625 (java) S 13610 13609 29493 34817 29493 4202560 13845 0 0 0 28 3 0 0 18 0 10 0 76247379 908222464 73341 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13626/stat : 13626 (java) S 13610 13609 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 76247379 908222464 73341 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13610 13609 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76247379 908222464 73341 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76247382 908222464 73341 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13610 vsize=886936 CPUtime=0.83
/proc/13623/task/13629/stat : 13629 (java) S 13610 13609 29493 34817 29493 4202560 10285 0 0 0 81 2 0 0 25 0 10 0 76247382 908222464 73341 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13610 vsize=886936 CPUtime=1.72
/proc/13623/task/13630/stat : 13630 (java) S 13610 13609 29493 34817 29493 4202560 7838 0 0 0 168 4 0 0 15 0 10 0 76247382 908222464 73341 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13610 13609 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76247382 908222464 73341 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13610 vsize=886936 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76247382 908222464 73341 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 892076

[startup+5.20596 s]
/proc/loadavg: 1.58 1.60 1.62 3/47 13632
/proc/meminfo: memFree=10360/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2572 CPUtime=0.03
/proc/13610/stat : 13610 (p2cudf) S 13609 13609 29493 34817 29493 4202496 391 3016 0 1 0 1 2 0 25 0 1 0 76247373 2633728 280 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13610/statm: 643 280 239 194 0 30 0
[pid=13623] ppid=13610 vsize=887260 CPUtime=4.82
/proc/13623/stat : 13623 (java) S 13610 13609 29493 34817 29493 4202496 83253 0 1 0 453 29 0 0 25 0 11 0 76247376 908554240 73359 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 221815 73359 1763 10 0 218906 0
[pid=13623/tid=13624] ppid=13610 vsize=887260 CPUtime=1.9
/proc/13623/task/13624/stat : 13624 (java) S 13610 13609 29493 34817 29493 4202560 50201 0 1 0 172 18 0 0 25 0 11 0 76247377 908554240 73359 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13625] ppid=13610 vsize=887260 CPUtime=0.31
/proc/13623/task/13625/stat : 13625 (java) S 13610 13609 29493 34817 29493 4202560 13845 0 0 0 28 3 0 0 18 0 11 0 76247379 908554240 73359 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13610 vsize=887260 CPUtime=0
/proc/13623/task/13626/stat : 13626 (java) S 13610 13609 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 76247379 908554240 73359 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13610 vsize=887260 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13610 13609 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76247379 908554240 73359 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13610 vsize=887260 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76247382 908554240 73359 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13610 vsize=887260 CPUtime=0.83
/proc/13623/task/13629/stat : 13629 (java) S 13610 13609 29493 34817 29493 4202560 10285 0 0 0 81 2 0 0 25 0 11 0 76247382 908554240 73359 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13610 vsize=887260 CPUtime=1.75
/proc/13623/task/13630/stat : 13630 (java) S 13610 13609 29493 34817 29493 4202560 7842 0 0 0 171 4 0 0 15 0 11 0 76247382 908554240 73359 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13610 vsize=887260 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13610 13609 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76247382 908554240 73359 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13610 vsize=887260 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76247382 908554240 73359 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 892400

[startup+5.40595 s]
/proc/loadavg: 1.58 1.60 1.62 3/47 13632
/proc/meminfo: memFree=10360/1048576 swapFree=0/0
[pid=13609] ppid=13608 vsize=2568 CPUtime=0
/proc/13609/stat : 13609 (p2cudf-trendy-1) S 13608 13609 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76247373 2629632 270 1283457024 134512640 135304128 4286847600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13609/statm: 642 270 230 194 0 29 0
[pid=13610] ppid=13609 vsize=2572 CPUtime=0.03
/proc/13610/stat : 13610 (p2cudf) S 13609 13609 29493 34817 29493 4202496 391 3016 0 1 0 1 2 0 25 0 1 0 76247373 2633728 280 1283457024 134512640 135304128 4286732880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13610/statm: 643 280 239 194 0 30 0
[pid=13623] ppid=13610 vsize=887260 CPUtime=4.82
/proc/13623/stat : 13623 (java) S 13610 13609 29493 34817 29493 4202496 83255 0 1 0 453 29 0 0 25 0 10 0 76247376 908554240 73361 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 221815 73361 1765 10 0 218906 0
[pid=13623/tid=13624] ppid=13610 vsize=887260 CPUtime=1.9
/proc/13623/task/13624/stat : 13624 (java) S 13610 13609 29493 34817 29493 4202560 50201 0 1 0 172 18 0 0 20 0 10 0 76247377 908554240 73361 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13625] ppid=13610 vsize=887260 CPUtime=0.31
/proc/13623/task/13625/stat : 13625 (java) S 13610 13609 29493 34817 29493 4202560 13846 0 0 0 28 3 0 0 18 0 10 0 76247379 908554240 73361 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 0 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13610 vsize=887260 CPUtime=0
/proc/13623/task/13626/stat : 13626 (java) S 13610 13609 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 76247379 908554240 73361 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13610 vsize=887260 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13610 13609 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76247379 908554240 73361 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13610 vsize=887260 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76247382 908554240 73361 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13610 vsize=887260 CPUtime=0.83
/proc/13623/task/13629/stat : 13629 (java) S 13610 13609 29493 34817 29493 4202560 10285 0 0 0 81 2 0 0 25 0 10 0 76247382 908554240 73361 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13610 vsize=887260 CPUtime=1.75
/proc/13623/task/13630/stat : 13630 (java) S 13610 13609 29493 34817 29493 4202560 7842 0 0 0 171 4 0 0 15 0 10 0 76247382 908554240 73361 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13610 vsize=887260 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13610 13609 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76247382 908554240 73361 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13610 vsize=887260 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13610 13609 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76247382 908554240 73361 1283457024 134512640 134550932 4287574448 18446744073709551615 4294960130 0 4 0 16800975 18446612133396263168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 892400

Child status: 0
Real time (s): 5.48141
CPU time (s): 4.90031
CPU user time (s): 4.55228
CPU system time (s): 0.348021
CPU usage (%): 89.3986
Max. virtual memory (cumulated for all children) (KiB): 898016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.55228
system time used= 0.348021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87061
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= 438
involuntary context switches= 436

runsolver used 0 second user time and 0 second system time

The end