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/654.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//654.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/654.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.89 1.87 1.73 3/36 25721
/proc/meminfo: memFree=287496/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) R 25719 25720 29493 34817 29493 4202496 356 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2564 CPUtime=0
/proc/25721/stat : 25721 (p2cudf-trendy-1) R 25720 25720 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 40 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/25721/statm: 641 40 0 194 0 28 0

[startup+0.199424 s]
/proc/loadavg: 1.89 1.87 1.73 3/36 25721
/proc/meminfo: memFree=287496/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.209433 s]
/proc/loadavg: 1.89 1.87 1.73 3/36 25721
/proc/meminfo: memFree=287496/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.309448 s]
/proc/loadavg: 1.89 1.87 1.73 3/36 25721
/proc/meminfo: memFree=287496/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.709562 s]
/proc/loadavg: 1.89 1.87 1.73 3/36 25721
/proc/meminfo: memFree=287496/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+1.50976 s]
/proc/loadavg: 1.90 1.87 1.73 5/47 25743
/proc/meminfo: memFree=243184/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
[pid=25734] ppid=25721 vsize=868804 CPUtime=1.47
/proc/25734/stat : 25734 (java) S 25721 25720 29493 34817 29493 4202496 19922 0 1 0 140 7 0 0 25 0 10 0 76324771 889655296 17505 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25734/statm: 217201 17505 1722 10 0 214292 0
[pid=25734/tid=25735] ppid=25721 vsize=868804 CPUtime=0.74
/proc/25734/task/25735/stat : 25735 (java) R 25721 25720 29493 34817 29493 4202560 12920 0 1 0 72 2 0 0 25 0 10 0 76324771 889655296 17505 1283457024 134512640 134550932 4294197264 18446744073709551615 4094888473 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25734/tid=25736] ppid=25721 vsize=868804 CPUtime=0
/proc/25734/task/25736/stat : 25736 (java) S 25721 25720 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 17 0 10 0 76324773 889655296 17505 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25737] ppid=25721 vsize=868804 CPUtime=0
/proc/25734/task/25737/stat : 25737 (java) S 25721 25720 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76324773 889655296 17505 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25738] ppid=25721 vsize=868804 CPUtime=0
/proc/25734/task/25738/stat : 25738 (java) S 25721 25720 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76324773 889655296 17505 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25739] ppid=25721 vsize=868804 CPUtime=0
/proc/25734/task/25739/stat : 25739 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76324776 889655296 17505 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25740] ppid=25721 vsize=868804 CPUtime=0.21
/proc/25734/task/25740/stat : 25740 (java) S 25721 25720 29493 34817 29493 4202560 3755 0 0 0 17 4 0 0 24 0 10 0 76324776 889655296 17505 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25741] ppid=25721 vsize=868804 CPUtime=0.51
/proc/25734/task/25741/stat : 25741 (java) R 25721 25720 29493 34817 29493 4202560 2169 0 0 0 51 0 0 0 23 0 10 0 76324776 889655296 17505 1283457024 134512640 134550932 4294197264 18446744073709551615 4151107805 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25734/tid=25742] ppid=25721 vsize=868804 CPUtime=0
/proc/25734/task/25742/stat : 25742 (java) S 25721 25720 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76324776 889655296 17505 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25743] ppid=25721 vsize=868804 CPUtime=0
/proc/25734/task/25743/stat : 25743 (java) R 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76324776 889655296 17505 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 873940

[startup+3.13013 s]
/proc/loadavg: 1.90 1.87 1.73 3/47 25743
/proc/meminfo: memFree=115712/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
[pid=25734] ppid=25721 vsize=870912 CPUtime=3.08
/proc/25734/stat : 25734 (java) S 25721 25720 29493 34817 29493 4202496 74607 0 1 0 282 26 0 0 25 0 10 0 76324771 891813888 70987 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25734/statm: 217728 70987 1746 10 0 214819 0
[pid=25734/tid=25735] ppid=25721 vsize=870912 CPUtime=1.46
/proc/25734/task/25735/stat : 25735 (java) R 25721 25720 29493 34817 29493 4202560 50157 0 1 0 130 16 0 0 25 0 10 0 76324771 891813888 70987 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25734/tid=25736] ppid=25721 vsize=870912 CPUtime=0.34
/proc/25734/task/25736/stat : 25736 (java) S 25721 25720 29493 34817 29493 4202560 15896 0 0 0 30 4 0 0 16 0 10 0 76324773 891813888 70987 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25737] ppid=25721 vsize=870912 CPUtime=0
/proc/25734/task/25737/stat : 25737 (java) S 25721 25720 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 76324773 891813888 70987 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25738] ppid=25721 vsize=870912 CPUtime=0
/proc/25734/task/25738/stat : 25738 (java) S 25721 25720 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76324773 891813888 70987 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25739] ppid=25721 vsize=870912 CPUtime=0
/proc/25734/task/25739/stat : 25739 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76324776 891813888 70987 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25740] ppid=25721 vsize=870912 CPUtime=0.33
/proc/25734/task/25740/stat : 25740 (java) S 25721 25720 29493 34817 29493 4202560 3768 0 0 0 29 4 0 0 16 0 10 0 76324776 891813888 70987 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25741] ppid=25721 vsize=870912 CPUtime=0.92
/proc/25734/task/25741/stat : 25741 (java) R 25721 25720 29493 34817 29493 4202560 3712 0 0 0 92 0 0 0 15 0 10 0 76324776 891813888 70987 1283457024 134512640 134550932 4294197264 18446744073709551615 4151985798 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25734/tid=25742] ppid=25721 vsize=870912 CPUtime=0
/proc/25734/task/25742/stat : 25742 (java) S 25721 25720 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76324776 891813888 70987 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25743] ppid=25721 vsize=870912 CPUtime=0
/proc/25734/task/25743/stat : 25743 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76324776 891813888 70987 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 876048

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

[startup+3.22015 s]
/proc/loadavg: 1.90 1.87 1.73 3/47 25743
/proc/meminfo: memFree=115712/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
[pid=25734] ppid=25721 vsize=871632 CPUtime=3.18
/proc/25734/stat : 25734 (java) S 25721 25720 29493 34817 29493 4202496 74931 0 1 0 292 26 0 0 25 0 10 0 76324771 892551168 71167 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25734/statm: 217908 71167 1746 10 0 214999 0
[pid=25734/tid=25735] ppid=25721 vsize=871632 CPUtime=1.46
/proc/25734/task/25735/stat : 25735 (java) R 25721 25720 29493 34817 29493 4202560 50157 0 1 0 130 16 0 0 25 0 10 0 76324771 892551168 71167 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25734/tid=25736] ppid=25721 vsize=871632 CPUtime=0.34
/proc/25734/task/25736/stat : 25736 (java) S 25721 25720 29493 34817 29493 4202560 15896 0 0 0 30 4 0 0 16 0 10 0 76324773 892551168 71167 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25737] ppid=25721 vsize=871632 CPUtime=0
/proc/25734/task/25737/stat : 25737 (java) S 25721 25720 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 76324773 892551168 71167 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25738] ppid=25721 vsize=871632 CPUtime=0
/proc/25734/task/25738/stat : 25738 (java) S 25721 25720 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76324773 892551168 71167 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25739] ppid=25721 vsize=871632 CPUtime=0
/proc/25734/task/25739/stat : 25739 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76324776 892551168 71167 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25740] ppid=25721 vsize=871632 CPUtime=0.33
/proc/25734/task/25740/stat : 25740 (java) S 25721 25720 29493 34817 29493 4202560 3768 0 0 0 29 4 0 0 16 0 10 0 76324776 892551168 71167 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25741] ppid=25721 vsize=871632 CPUtime=1.01
/proc/25734/task/25741/stat : 25741 (java) R 25721 25720 29493 34817 29493 4202560 4036 0 0 0 101 0 0 0 16 0 10 0 76324776 892551168 71167 1283457024 134512640 134550932 4294197264 18446744073709551615 4149492696 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25734/tid=25742] ppid=25721 vsize=871632 CPUtime=0
/proc/25734/task/25742/stat : 25742 (java) S 25721 25720 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76324776 892551168 71167 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25743] ppid=25721 vsize=871632 CPUtime=0
/proc/25734/task/25743/stat : 25743 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76324776 892551168 71167 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 876768

[startup+4.81046 s]
/proc/loadavg: 1.90 1.87 1.73 3/48 25744
/proc/meminfo: memFree=9824/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
[pid=25734] ppid=25721 vsize=869324 CPUtime=4.76
/proc/25734/stat : 25734 (java) S 25721 25720 29493 34817 29493 4202496 75587 0 1 0 450 26 0 0 25 0 11 0 76324771 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25734/statm: 217331 70942 1769 10 0 214422 0
[pid=25734/tid=25735] ppid=25721 vsize=869324 CPUtime=2.16
/proc/25734/task/25735/stat : 25735 (java) R 25721 25720 29493 34817 29493 4202560 50253 0 1 0 200 16 0 0 25 0 11 0 76324771 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4095598598 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25734/tid=25736] ppid=25721 vsize=869324 CPUtime=0.34
/proc/25734/task/25736/stat : 25736 (java) S 25721 25720 29493 34817 29493 4202560 15896 0 0 0 30 4 0 0 16 0 11 0 76324773 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25737] ppid=25721 vsize=869324 CPUtime=0
/proc/25734/task/25737/stat : 25737 (java) S 25721 25720 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76324773 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25738] ppid=25721 vsize=869324 CPUtime=0
/proc/25734/task/25738/stat : 25738 (java) S 25721 25720 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76324773 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25739] ppid=25721 vsize=869324 CPUtime=0
/proc/25734/task/25739/stat : 25739 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76324776 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25740] ppid=25721 vsize=869324 CPUtime=0.4
/proc/25734/task/25740/stat : 25740 (java) S 25721 25720 29493 34817 29493 4202560 3781 0 0 0 36 4 0 0 16 0 11 0 76324776 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25741] ppid=25721 vsize=869324 CPUtime=1.82
/proc/25734/task/25741/stat : 25741 (java) S 25721 25720 29493 34817 29493 4202560 4578 0 0 0 182 0 0 0 16 0 11 0 76324776 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25742] ppid=25721 vsize=869324 CPUtime=0
/proc/25734/task/25742/stat : 25742 (java) S 25721 25720 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76324776 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25743] ppid=25721 vsize=869324 CPUtime=0
/proc/25734/task/25743/stat : 25743 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76324776 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25744] ppid=25721 vsize=869324 CPUtime=0
/proc/25734/task/25744/stat : 25744 (java) S 25721 25720 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 25 0 11 0 76325163 890187776 70942 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 874460

[startup+5.20572 s]
/proc/loadavg: 1.90 1.87 1.73 3/48 25744
/proc/meminfo: memFree=9824/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
[pid=25734] ppid=25721 vsize=869648 CPUtime=4.98
/proc/25734/stat : 25734 (java) S 25721 25720 29493 34817 29493 4202496 75599 0 1 0 472 26 0 0 25 0 12 0 76324771 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25734/statm: 217412 70954 1769 10 0 214503 0
[pid=25734/tid=25735] ppid=25721 vsize=869648 CPUtime=2.38
/proc/25734/task/25735/stat : 25735 (java) S 25721 25720 29493 34817 29493 4202560 50261 0 1 0 222 16 0 0 25 0 12 0 76324771 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25736] ppid=25721 vsize=869648 CPUtime=0.34
/proc/25734/task/25736/stat : 25736 (java) S 25721 25720 29493 34817 29493 4202560 15896 0 0 0 30 4 0 0 16 0 12 0 76324773 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25737] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25737/stat : 25737 (java) S 25721 25720 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 76324773 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25738] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25738/stat : 25738 (java) S 25721 25720 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 76324773 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25739] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25739/stat : 25739 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76324776 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25740] ppid=25721 vsize=869648 CPUtime=0.4
/proc/25734/task/25740/stat : 25740 (java) S 25721 25720 29493 34817 29493 4202560 3781 0 0 0 36 4 0 0 16 0 12 0 76324776 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25741] ppid=25721 vsize=869648 CPUtime=1.83
/proc/25734/task/25741/stat : 25741 (java) S 25721 25720 29493 34817 29493 4202560 4578 0 0 0 183 0 0 0 15 0 12 0 76324776 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25742] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25742/stat : 25742 (java) S 25721 25720 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 12 0 76324776 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25743] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25743/stat : 25743 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 12 0 76324776 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25744] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25744/stat : 25744 (java) S 25721 25720 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 25 0 12 0 76325163 890519552 70954 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 874784

[startup+5.61376 s]
/proc/loadavg: 1.90 1.87 1.74 1/49 25746
/proc/meminfo: memFree=9692/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
[pid=25734] ppid=25721 vsize=869648 CPUtime=5.06
/proc/25734/stat : 25734 (java) S 25721 25720 29493 34817 29493 4202496 75603 0 1 0 478 28 0 0 25 0 12 0 76324771 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25734/statm: 217412 70958 1770 10 0 214503 0
[pid=25734/tid=25735] ppid=25721 vsize=869648 CPUtime=2.38
/proc/25734/task/25735/stat : 25735 (java) S 25721 25720 29493 34817 29493 4202560 50261 0 1 0 222 16 0 0 25 0 12 0 76324771 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25736] ppid=25721 vsize=869648 CPUtime=0.34
/proc/25734/task/25736/stat : 25736 (java) S 25721 25720 29493 34817 29493 4202560 15896 0 0 0 30 4 0 0 16 0 12 0 76324773 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25737] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25737/stat : 25737 (java) S 25721 25720 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 76324773 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25738] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25738/stat : 25738 (java) S 25721 25720 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 76324773 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25739] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25739/stat : 25739 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76324776 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25740] ppid=25721 vsize=869648 CPUtime=0.4
/proc/25734/task/25740/stat : 25740 (java) S 25721 25720 29493 34817 29493 4202560 3781 0 0 0 36 4 0 0 16 0 12 0 76324776 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25741] ppid=25721 vsize=869648 CPUtime=1.86
/proc/25734/task/25741/stat : 25741 (java) S 25721 25720 29493 34817 29493 4202560 4580 0 0 0 186 0 0 0 15 0 12 0 76324776 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25742] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25742/stat : 25742 (java) S 25721 25720 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 12 0 76324776 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25743] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25743/stat : 25743 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 12 0 76324776 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25744] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25744/stat : 25744 (java) S 25721 25720 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 25 0 12 0 76325163 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25745] ppid=25721 vsize=869648 CPUtime=0.05
/proc/25734/task/25745/stat : 25745 (java) R 25721 25720 29493 34817 29493 4202560 6 0 0 0 3 2 0 0 20 0 12 0 76325270 890519552 70958 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 874784

[startup+5.70576 s]
/proc/loadavg: 1.90 1.87 1.74 1/49 25746
/proc/meminfo: memFree=9692/1048576 swapFree=0/0
[pid=25720] ppid=25719 vsize=2564 CPUtime=0
/proc/25720/stat : 25720 (p2cudf-trendy-1) S 25719 25720 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76324767 2625536 270 1283457024 134512640 135304128 4288388080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25720/statm: 641 270 230 194 0 28 0
[pid=25721] ppid=25720 vsize=2572 CPUtime=0.03
/proc/25721/stat : 25721 (p2cudf) S 25720 25720 29493 34817 29493 4202496 392 3009 0 1 0 0 1 2 25 0 1 0 76324767 2633728 280 1283457024 134512640 135304128 4287402736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25721/statm: 643 280 239 194 0 30 0
[pid=25734] ppid=25721 vsize=869648 CPUtime=5.14
/proc/25734/stat : 25734 (java) S 25721 25720 29493 34817 29493 4202496 75611 0 1 0 483 31 0 0 25 0 11 0 76324771 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25734/statm: 217412 70966 1771 10 0 214503 0
[pid=25734/tid=25735] ppid=25721 vsize=869648 CPUtime=2.38
/proc/25734/task/25735/stat : 25735 (java) S 25721 25720 29493 34817 29493 4202560 50261 0 1 0 222 16 0 0 19 0 11 0 76324771 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25736] ppid=25721 vsize=869648 CPUtime=0.34
/proc/25734/task/25736/stat : 25736 (java) S 25721 25720 29493 34817 29493 4202560 15896 0 0 0 30 4 0 0 16 0 11 0 76324773 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25737] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25737/stat : 25737 (java) S 25721 25720 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76324773 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25738] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25738/stat : 25738 (java) S 25721 25720 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76324773 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25739] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25739/stat : 25739 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76324776 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25740] ppid=25721 vsize=869648 CPUtime=0.4
/proc/25734/task/25740/stat : 25740 (java) S 25721 25720 29493 34817 29493 4202560 3781 0 0 0 36 4 0 0 16 0 11 0 76324776 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25741] ppid=25721 vsize=869648 CPUtime=1.88
/proc/25734/task/25741/stat : 25741 (java) S 25721 25720 29493 34817 29493 4202560 4587 0 0 0 188 0 0 0 16 0 11 0 76324776 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25742] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25742/stat : 25742 (java) S 25721 25720 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76324776 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25743] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25743/stat : 25743 (java) S 25721 25720 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76324776 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=25734/tid=25744] ppid=25721 vsize=869648 CPUtime=0
/proc/25734/task/25744/stat : 25744 (java) S 25721 25720 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 25 0 11 0 76325163 890519552 70966 1283457024 134512640 134550932 4294197264 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 874784

Child status: 0
Real time (s): 5.74027
CPU time (s): 5.21233
CPU user time (s): 4.8483
CPU system time (s): 0.364022
CPU usage (%): 90.8028
Max. virtual memory (cumulated for all children) (KiB): 876796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.8483
system time used= 0.364022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79410
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= 689
involuntary context switches= 664

runsolver used 0.008 second user time and 0 second system time

The end