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-paranoid-1.12/591.cudf.caixa.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/caixa//591.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/591.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.65 1.72 1.67 5/35 22825
/proc/meminfo: memFree=299696/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2572 CPUtime=0
/proc/22824/stat : 22824 (p2cudf) R 22823 22823 29493 34817 29493 4202496 346 0 0 0 0 0 0 0 25 0 1 0 76306515 2633728 272 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/22824/statm: 643 272 231 194 0 30 0
[pid=22825] ppid=22824 vsize=2572 CPUtime=0
/proc/22825/stat : 22825 (p2cudf) R 22824 22823 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76306515 2633728 41 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/22825/statm: 643 41 0 194 0 30 0

[startup+0.109755 s]
/proc/loadavg: 1.65 1.72 1.67 5/35 22825
/proc/meminfo: memFree=299696/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.213835 s]
/proc/loadavg: 1.65 1.72 1.67 5/35 22825
/proc/meminfo: memFree=299696/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.313862 s]
/proc/loadavg: 1.65 1.72 1.67 5/35 22825
/proc/meminfo: memFree=299696/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.714034 s]
/proc/loadavg: 1.65 1.72 1.67 5/35 22825
/proc/meminfo: memFree=299696/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.5143 s]
/proc/loadavg: 1.65 1.72 1.67 4/45 22846
/proc/meminfo: memFree=253540/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
[pid=22837] ppid=22824 vsize=886800 CPUtime=1.42
/proc/22837/stat : 22837 (java) S 22824 22823 29493 34817 29493 4202496 22238 0 1 0 132 10 0 0 25 0 10 0 76306519 908083200 18739 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22837/statm: 221700 18739 1731 10 0 218791 0
[pid=22837/tid=22838] ppid=22824 vsize=886800 CPUtime=0.7
/proc/22837/task/22838/stat : 22838 (java) R 22824 22823 29493 34817 29493 4202560 10249 0 1 0 64 6 0 0 25 0 10 0 76306522 908083200 18739 1283457024 134512640 134550932 4287631840 18446744073709551615 4095174522 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22837/tid=22839] ppid=22824 vsize=886800 CPUtime=0
/proc/22837/task/22839/stat : 22839 (java) S 22824 22823 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 18 0 10 0 76306523 908083200 18739 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22840] ppid=22824 vsize=886800 CPUtime=0
/proc/22837/task/22840/stat : 22840 (java) S 22824 22823 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76306524 908083200 18739 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22841] ppid=22824 vsize=886800 CPUtime=0
/proc/22837/task/22841/stat : 22841 (java) S 22824 22823 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76306524 908083200 18739 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22842] ppid=22824 vsize=886800 CPUtime=0
/proc/22837/task/22842/stat : 22842 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76306526 908083200 18739 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22843] ppid=22824 vsize=886800 CPUtime=0.44
/proc/22837/task/22843/stat : 22843 (java) R 22824 22823 29493 34817 29493 4202560 7845 0 0 0 40 4 0 0 25 0 10 0 76306526 908083200 18739 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22837/tid=22844] ppid=22824 vsize=886800 CPUtime=0.27
/proc/22837/task/22844/stat : 22844 (java) R 22824 22823 29493 34817 29493 4202560 3062 0 0 0 27 0 0 0 21 0 10 0 76306526 908083200 18739 1283457024 134512640 134550932 4287631840 18446744073709551615 4153373880 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22837/tid=22845] ppid=22824 vsize=886800 CPUtime=0
/proc/22837/task/22845/stat : 22845 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76306526 908083200 18739 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22846] ppid=22824 vsize=886800 CPUtime=0
/proc/22837/task/22846/stat : 22846 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76306526 908083200 18739 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 891944

[startup+3.11467 s]
/proc/loadavg: 1.65 1.72 1.67 4/45 22846
/proc/meminfo: memFree=168104/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
[pid=22837] ppid=22824 vsize=884872 CPUtime=3.02
/proc/22837/stat : 22837 (java) S 22824 22823 29493 34817 29493 4202496 58170 0 1 0 284 18 0 0 25 0 10 0 76306519 906108928 52641 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22837/statm: 221218 52641 1743 10 0 218309 0
[pid=22837/tid=22838] ppid=22824 vsize=884872 CPUtime=1.46
/proc/22837/task/22838/stat : 22838 (java) R 22824 22823 29493 34817 29493 4202560 44039 0 1 0 133 13 0 0 25 0 10 0 76306522 906108928 52641 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22837/tid=22839] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22839/stat : 22839 (java) S 22824 22823 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 18 0 10 0 76306523 906108928 52641 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22840] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22840/stat : 22840 (java) S 22824 22823 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76306524 906108928 52641 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22841] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22841/stat : 22841 (java) S 22824 22823 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76306524 906108928 52641 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22842] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22842/stat : 22842 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76306526 906108928 52641 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22843] ppid=22824 vsize=884872 CPUtime=0.67
/proc/22837/task/22843/stat : 22843 (java) S 22824 22823 29493 34817 29493 4202560 7964 0 0 0 63 4 0 0 25 0 10 0 76306526 906108928 52641 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22844] ppid=22824 vsize=884872 CPUtime=0.87
/proc/22837/task/22844/stat : 22844 (java) R 22824 22823 29493 34817 29493 4202560 5085 0 0 0 86 1 0 0 18 0 10 0 76306526 906108928 52641 1283457024 134512640 134550932 4287631840 18446744073709551615 4152299458 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22837/tid=22845] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22845/stat : 22845 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76306526 906108928 52641 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22846] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22846/stat : 22846 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76306526 906108928 52641 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 890016

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

[startup+3.2147 s]
/proc/loadavg: 1.65 1.72 1.67 4/45 22846
/proc/meminfo: memFree=168104/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
[pid=22837] ppid=22824 vsize=884872 CPUtime=3.12
/proc/22837/stat : 22837 (java) S 22824 22823 29493 34817 29493 4202496 63050 0 1 0 292 20 0 0 25 0 10 0 76306519 906108928 57521 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22837/statm: 221218 57521 1743 10 0 218309 0
[pid=22837/tid=22838] ppid=22824 vsize=884872 CPUtime=1.52
/proc/22837/task/22838/stat : 22838 (java) R 22824 22823 29493 34817 29493 4202560 48914 0 1 0 138 14 0 0 25 0 10 0 76306522 906108928 57521 1283457024 134512640 134550932 4287631840 18446744073709551615 4095788794 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22837/tid=22839] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22839/stat : 22839 (java) S 22824 22823 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 18 0 10 0 76306523 906108928 57521 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22840] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22840/stat : 22840 (java) S 22824 22823 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76306524 906108928 57521 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22841] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22841/stat : 22841 (java) S 22824 22823 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76306524 906108928 57521 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22842] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22842/stat : 22842 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76306526 906108928 57521 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22843] ppid=22824 vsize=884872 CPUtime=0.67
/proc/22837/task/22843/stat : 22843 (java) S 22824 22823 29493 34817 29493 4202560 7964 0 0 0 63 4 0 0 25 0 10 0 76306526 906108928 57521 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22844] ppid=22824 vsize=884872 CPUtime=0.92
/proc/22837/task/22844/stat : 22844 (java) S 22824 22823 29493 34817 29493 4202560 5090 0 0 0 91 1 0 0 17 0 10 0 76306526 906108928 57521 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22845] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22845/stat : 22845 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76306526 906108928 57521 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22846] ppid=22824 vsize=884872 CPUtime=0
/proc/22837/task/22846/stat : 22846 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76306526 906108928 57521 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 890016

[startup+4.01888 s]
/proc/loadavg: 1.60 1.71 1.66 3/45 22846
/proc/meminfo: memFree=70144/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
[pid=22837] ppid=22824 vsize=885684 CPUtime=3.92
/proc/22837/stat : 22837 (java) S 22824 22823 29493 34817 29493 4202496 81754 0 1 0 365 27 0 0 25 0 10 0 76306519 906940416 74843 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22837/statm: 221421 74843 1748 10 0 218512 0
[pid=22837/tid=22838] ppid=22824 vsize=885684 CPUtime=1.59
/proc/22837/task/22838/stat : 22838 (java) R 22824 22823 29493 34817 29493 4202560 50179 0 1 0 145 14 0 0 25 0 10 0 76306522 906940416 74843 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22837/tid=22839] ppid=22824 vsize=885684 CPUtime=0.34
/proc/22837/task/22839/stat : 22839 (java) S 22824 22823 29493 34817 29493 4202560 15866 0 0 0 30 4 0 0 16 0 10 0 76306523 906940416 74843 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22840] ppid=22824 vsize=885684 CPUtime=0
/proc/22837/task/22840/stat : 22840 (java) S 22824 22823 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 76306524 906940416 74843 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22841] ppid=22824 vsize=885684 CPUtime=0
/proc/22837/task/22841/stat : 22841 (java) S 22824 22823 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76306524 906940416 74843 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22842] ppid=22824 vsize=885684 CPUtime=0
/proc/22837/task/22842/stat : 22842 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76306526 906940416 74843 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22843] ppid=22824 vsize=885684 CPUtime=0.67
/proc/22837/task/22843/stat : 22843 (java) S 22824 22823 29493 34817 29493 4202560 7964 0 0 0 63 4 0 0 25 0 10 0 76306526 906940416 74843 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22844] ppid=22824 vsize=885684 CPUtime=1.29
/proc/22837/task/22844/stat : 22844 (java) S 22824 22823 29493 34817 29493 4202560 6668 0 0 0 126 3 0 0 15 0 10 0 76306526 906940416 74843 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22845] ppid=22824 vsize=885684 CPUtime=0
/proc/22837/task/22845/stat : 22845 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76306526 906940416 74843 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22846] ppid=22824 vsize=885684 CPUtime=0
/proc/22837/task/22846/stat : 22846 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76306526 906940416 74843 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 890828

[startup+4.40508 s]
/proc/loadavg: 1.60 1.71 1.66 2/45 22846
/proc/meminfo: memFree=6160/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
[pid=22837] ppid=22824 vsize=885684 CPUtime=4.31
/proc/22837/stat : 22837 (java) S 22824 22823 29493 34817 29493 4202496 81781 0 1 0 404 27 0 0 25 0 10 0 76306519 906940416 74870 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22837/statm: 221421 74870 1749 10 0 218512 0
[pid=22837/tid=22838] ppid=22824 vsize=885684 CPUtime=1.78
/proc/22837/task/22838/stat : 22838 (java) R 22824 22823 29493 34817 29493 4202560 50187 0 1 0 164 14 0 0 25 0 10 0 76306522 906940416 74870 1283457024 134512640 134550932 4287631840 18446744073709551615 4095127365 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22837/tid=22839] ppid=22824 vsize=885684 CPUtime=0.34
/proc/22837/task/22839/stat : 22839 (java) S 22824 22823 29493 34817 29493 4202560 15866 0 0 0 30 4 0 0 16 0 10 0 76306523 906940416 74870 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22840] ppid=22824 vsize=885684 CPUtime=0
/proc/22837/task/22840/stat : 22840 (java) S 22824 22823 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 76306524 906940416 74870 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22841] ppid=22824 vsize=885684 CPUtime=0
/proc/22837/task/22841/stat : 22841 (java) S 22824 22823 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76306524 906940416 74870 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22842] ppid=22824 vsize=885684 CPUtime=0
/proc/22837/task/22842/stat : 22842 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76306526 906940416 74870 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22843] ppid=22824 vsize=885684 CPUtime=0.67
/proc/22837/task/22843/stat : 22843 (java) S 22824 22823 29493 34817 29493 4202560 7964 0 0 0 63 4 0 0 25 0 10 0 76306526 906940416 74870 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22844] ppid=22824 vsize=885684 CPUtime=1.49
/proc/22837/task/22844/stat : 22844 (java) S 22824 22823 29493 34817 29493 4202560 6687 0 0 0 146 3 0 0 15 0 10 0 76306526 906940416 74870 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22845] ppid=22824 vsize=885684 CPUtime=0
/proc/22837/task/22845/stat : 22845 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76306526 906940416 74870 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22846] ppid=22824 vsize=885684 CPUtime=0
/proc/22837/task/22846/stat : 22846 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76306526 906940416 74870 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 890828

[startup+4.8061 s]
/proc/loadavg: 1.60 1.71 1.66 2/45 22846
/proc/meminfo: memFree=6160/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
[pid=22837] ppid=22824 vsize=886008 CPUtime=4.32
/proc/22837/stat : 22837 (java) S 22824 22823 29493 34817 29493 4202496 81789 0 1 0 405 27 0 0 25 0 11 0 76306519 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22837/statm: 221502 74878 1749 10 0 218593 0
[pid=22837/tid=22838] ppid=22824 vsize=886008 CPUtime=1.78
/proc/22837/task/22838/stat : 22838 (java) S 22824 22823 29493 34817 29493 4202560 50191 0 1 0 164 14 0 0 25 0 11 0 76306522 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22839] ppid=22824 vsize=886008 CPUtime=0.34
/proc/22837/task/22839/stat : 22839 (java) S 22824 22823 29493 34817 29493 4202560 15866 0 0 0 30 4 0 0 16 0 11 0 76306523 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22840] ppid=22824 vsize=886008 CPUtime=0
/proc/22837/task/22840/stat : 22840 (java) S 22824 22823 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76306524 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22841] ppid=22824 vsize=886008 CPUtime=0
/proc/22837/task/22841/stat : 22841 (java) S 22824 22823 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76306524 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22842] ppid=22824 vsize=886008 CPUtime=0
/proc/22837/task/22842/stat : 22842 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76306526 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22843] ppid=22824 vsize=886008 CPUtime=0.67
/proc/22837/task/22843/stat : 22843 (java) S 22824 22823 29493 34817 29493 4202560 7964 0 0 0 63 4 0 0 25 0 11 0 76306526 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22844] ppid=22824 vsize=886008 CPUtime=1.5
/proc/22837/task/22844/stat : 22844 (java) S 22824 22823 29493 34817 29493 4202560 6687 0 0 0 147 3 0 0 15 0 11 0 76306526 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22845] ppid=22824 vsize=886008 CPUtime=0
/proc/22837/task/22845/stat : 22845 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76306526 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22846] ppid=22824 vsize=886008 CPUtime=0
/proc/22837/task/22846/stat : 22846 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76306526 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 891152

[startup+4.90612 s]
/proc/loadavg: 1.60 1.71 1.66 2/45 22846
/proc/meminfo: memFree=6160/1048576 swapFree=0/0
[pid=22823] ppid=22822 vsize=2564 CPUtime=0
/proc/22823/stat : 22823 (p2cudf-paranoid) S 22822 22823 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 76306515 2625536 270 1283457024 134512640 135304128 4294777344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22823/statm: 641 270 230 194 0 28 0
[pid=22824] ppid=22823 vsize=2580 CPUtime=0.03
/proc/22824/stat : 22824 (p2cudf) S 22823 22823 29493 34817 29493 4202496 395 3011 0 1 0 0 0 3 25 0 1 0 76306515 2641920 282 1283457024 134512640 135304128 4288623664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22824/statm: 645 282 239 194 0 32 0
[pid=22837] ppid=22824 vsize=886008 CPUtime=4.32
/proc/22837/stat : 22837 (java) S 22824 22823 29493 34817 29493 4202496 81789 0 1 0 405 27 0 0 25 0 11 0 76306519 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22837/statm: 221502 74878 1749 10 0 218593 0
[pid=22837/tid=22838] ppid=22824 vsize=886008 CPUtime=1.78
/proc/22837/task/22838/stat : 22838 (java) S 22824 22823 29493 34817 29493 4202560 50191 0 1 0 164 14 0 0 25 0 11 0 76306522 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22839] ppid=22824 vsize=886008 CPUtime=0.34
/proc/22837/task/22839/stat : 22839 (java) S 22824 22823 29493 34817 29493 4202560 15866 0 0 0 30 4 0 0 16 0 11 0 76306523 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22840] ppid=22824 vsize=886008 CPUtime=0
/proc/22837/task/22840/stat : 22840 (java) S 22824 22823 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76306524 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22841] ppid=22824 vsize=886008 CPUtime=0
/proc/22837/task/22841/stat : 22841 (java) S 22824 22823 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76306524 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22842] ppid=22824 vsize=886008 CPUtime=0
/proc/22837/task/22842/stat : 22842 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76306526 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22843] ppid=22824 vsize=886008 CPUtime=0.67
/proc/22837/task/22843/stat : 22843 (java) S 22824 22823 29493 34817 29493 4202560 7964 0 0 0 63 4 0 0 25 0 11 0 76306526 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22844] ppid=22824 vsize=886008 CPUtime=1.5
/proc/22837/task/22844/stat : 22844 (java) S 22824 22823 29493 34817 29493 4202560 6687 0 0 0 147 3 0 0 15 0 11 0 76306526 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22845] ppid=22824 vsize=886008 CPUtime=0
/proc/22837/task/22845/stat : 22845 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76306526 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=22837/tid=22846] ppid=22824 vsize=886008 CPUtime=0
/proc/22837/task/22846/stat : 22846 (java) S 22824 22823 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76306526 907272192 74878 1283457024 134512640 134550932 4287631840 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 891152

Child status: 0
Real time (s): 4.98541
CPU time (s): 4.38427
CPU user time (s): 4.05225
CPU system time (s): 0.33202
CPU usage (%): 87.9421
Max. virtual memory (cumulated for all children) (KiB): 892832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.05225
system time used= 0.33202
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85595
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= 422
involuntary context switches= 411

runsolver used 0 second user time and 0 second system time

The end