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/201103021629/p2cudf-paranoid-1.12/rand151.cudf.heavy.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/heavy//rand151.cudf /home/misc2010/tmp/201103021629/p2cudf-paranoid-1.12/rand151.cudf.heavy.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.00 0.97 0.66 5/41 5350
/proc/meminfo: memFree=317740/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2568 CPUtime=0
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 354 0 0 0 0 0 0 0 18 0 1 0 68349788 2629632 272 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/5348/statm: 642 272 231 194 0 29 0
[pid=5349] ppid=5348 vsize=2568 CPUtime=0
/proc/5349/stat : 5349 (p2cudf) R 5348 5347 1684 34817 1684 4202560 94 0 0 0 0 0 0 0 25 0 1 0 68349788 2629632 119 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/5349/statm: 642 119 77 194 0 29 0
[pid=5350] ppid=5349 vsize=2568 CPUtime=0
/proc/5350/stat : 5350 (p2cudf) R 5349 5347 1684 34817 1684 4202560 0 0 0 0 0 0 0 0 25 0 1 0 68349788 2629632 42 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/5350/statm: 642 42 0 194 0 29 0

[startup+0.14508 s]
/proc/loadavg: 1.00 0.97 0.66 5/41 5350
/proc/meminfo: memFree=317740/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2572 CPUtime=0.02
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 392 3015 0 1 0 0 2 0 25 0 1 0 68349788 2633728 281 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5348/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.205087 s]
/proc/loadavg: 1.00 0.97 0.66 5/41 5350
/proc/meminfo: memFree=317740/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2572 CPUtime=0.02
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 392 3015 0 1 0 0 2 0 25 0 1 0 68349788 2633728 281 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5348/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.305109 s]
/proc/loadavg: 1.00 0.97 0.66 5/41 5350
/proc/meminfo: memFree=317740/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2572 CPUtime=0.02
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 392 3015 0 1 0 0 2 0 25 0 1 0 68349788 2633728 281 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5348/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.705225 s]
/proc/loadavg: 1.00 0.97 0.66 5/41 5350
/proc/meminfo: memFree=317740/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2572 CPUtime=0.02
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 392 3015 0 1 0 0 2 0 25 0 1 0 68349788 2633728 281 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5348/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+1.50545 s]
/proc/loadavg: 1.00 0.97 0.66 3/50 5370
/proc/meminfo: memFree=265400/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2572 CPUtime=0.02
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 392 3015 0 1 0 0 2 0 25 0 1 0 68349788 2633728 281 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5348/statm: 643 281 239 194 0 30 0
[pid=5361] ppid=5348 vsize=885812 CPUtime=1.46
/proc/5361/stat : 5361 (java) S 5348 5347 1684 34817 1684 4202496 21951 0 1 0 138 8 0 0 25 0 10 0 68349791 907071488 18546 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5361/statm: 221453 18546 1721 10 0 218544 0
[pid=5361/tid=5362] ppid=5348 vsize=885812 CPUtime=0.79
/proc/5361/task/5362/stat : 5362 (java) R 5348 5347 1684 34817 1684 4202560 10285 0 1 0 75 4 0 0 25 0 10 0 68349792 907071488 18546 1283457024 134512640 134550932 4291593632 18446744073709551615 4095464676 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5363] ppid=5348 vsize=885812 CPUtime=0
/proc/5361/task/5363/stat : 5363 (java) S 5348 5347 1684 34817 1684 4202560 7 0 0 0 0 0 0 0 18 0 10 0 68349793 907071488 18546 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 0 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5364] ppid=5348 vsize=885812 CPUtime=0
/proc/5361/task/5364/stat : 5364 (java) S 5348 5347 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 25 0 10 0 68349794 907071488 18546 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5365] ppid=5348 vsize=885812 CPUtime=0
/proc/5361/task/5365/stat : 5365 (java) S 5348 5347 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 10 0 68349794 907071488 18546 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5366] ppid=5348 vsize=885812 CPUtime=0
/proc/5361/task/5366/stat : 5366 (java) S 5348 5347 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68349796 907071488 18546 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5367] ppid=5348 vsize=885812 CPUtime=0.45
/proc/5361/task/5367/stat : 5367 (java) R 5348 5347 1684 34817 1684 4202560 8470 0 0 0 41 4 0 0 25 0 10 0 68349796 907071488 18546 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5368] ppid=5348 vsize=885812 CPUtime=0.22
/proc/5361/task/5368/stat : 5368 (java) R 5348 5347 1684 34817 1684 4202560 2115 0 0 0 22 0 0 0 18 0 10 0 68349796 907071488 18546 1283457024 134512640 134550932 4291593632 18446744073709551615 4150373357 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5369] ppid=5348 vsize=885812 CPUtime=0
/proc/5361/task/5369/stat : 5369 (java) S 5348 5347 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68349796 907071488 18546 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5370] ppid=5348 vsize=885812 CPUtime=0
/proc/5361/task/5370/stat : 5370 (java) S 5348 5347 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 10 0 68349796 907071488 18546 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 890948

[startup+3.10592 s]
/proc/loadavg: 1.00 0.97 0.66 3/50 5370
/proc/meminfo: memFree=170664/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2572 CPUtime=0.02
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 392 3015 0 1 0 0 2 0 25 0 1 0 68349788 2633728 281 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5348/statm: 643 281 239 194 0 30 0
[pid=5361] ppid=5348 vsize=884648 CPUtime=3.06
/proc/5361/stat : 5361 (java) S 5348 5347 1684 34817 1684 4202496 62417 0 1 0 283 23 0 0 25 0 10 0 68349791 905879552 57585 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5361/statm: 221162 57585 1744 10 0 218253 0
[pid=5361/tid=5362] ppid=5348 vsize=884648 CPUtime=1.64
/proc/5361/task/5362/stat : 5362 (java) R 5348 5347 1684 34817 1684 4202560 49265 0 1 0 146 18 0 0 25 0 10 0 68349792 905879552 57585 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5363] ppid=5348 vsize=884648 CPUtime=0
/proc/5361/task/5363/stat : 5363 (java) R 5348 5347 1684 34817 1684 4202560 7 0 0 0 0 0 0 0 18 0 10 0 68349793 905879552 57585 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5364] ppid=5348 vsize=884648 CPUtime=0
/proc/5361/task/5364/stat : 5364 (java) S 5348 5347 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 25 0 10 0 68349794 905879552 57585 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5365] ppid=5348 vsize=884648 CPUtime=0
/proc/5361/task/5365/stat : 5365 (java) S 5348 5347 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 10 0 68349794 905879552 57585 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5366] ppid=5348 vsize=884648 CPUtime=0
/proc/5361/task/5366/stat : 5366 (java) S 5348 5347 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68349796 905879552 57585 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5367] ppid=5348 vsize=884648 CPUtime=0.8
/proc/5361/task/5367/stat : 5367 (java) R 5348 5347 1684 34817 1684 4202560 8551 0 0 0 76 4 0 0 21 0 10 0 68349796 905879552 57585 1283457024 134512640 134550932 4291593632 18446744073709551615 4152726689 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5368] ppid=5348 vsize=884648 CPUtime=0.6
/proc/5361/task/5368/stat : 5368 (java) R 5348 5347 1684 34817 1684 4202560 3520 0 0 0 60 0 0 0 16 0 10 0 68349796 905879552 57585 1283457024 134512640 134550932 4291593632 18446744073709551615 4150349527 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5369] ppid=5348 vsize=884648 CPUtime=0
/proc/5361/task/5369/stat : 5369 (java) S 5348 5347 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68349796 905879552 57585 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5370] ppid=5348 vsize=884648 CPUtime=0
/proc/5361/task/5370/stat : 5370 (java) S 5348 5347 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 10 0 68349796 905879552 57585 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 889784

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

[startup+3.20598 s]
/proc/loadavg: 1.00 0.97 0.66 3/50 5370
/proc/meminfo: memFree=170664/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2572 CPUtime=0.02
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 392 3015 0 1 0 0 2 0 25 0 1 0 68349788 2633728 281 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5348/statm: 643 281 239 194 0 30 0
[pid=5361] ppid=5348 vsize=883940 CPUtime=3.16
/proc/5361/stat : 5361 (java) S 5348 5347 1684 34817 1684 4202496 62785 0 1 0 293 23 0 0 25 0 10 0 68349791 905154560 57412 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5361/statm: 220985 57412 1744 10 0 218076 0
[pid=5361/tid=5362] ppid=5348 vsize=883940 CPUtime=1.64
/proc/5361/task/5362/stat : 5362 (java) R 5348 5347 1684 34817 1684 4202560 49265 0 1 0 146 18 0 0 25 0 10 0 68349792 905154560 57412 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5363] ppid=5348 vsize=883940 CPUtime=0
/proc/5361/task/5363/stat : 5363 (java) R 5348 5347 1684 34817 1684 4202560 7 0 0 0 0 0 0 0 18 0 10 0 68349793 905154560 57412 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5364] ppid=5348 vsize=883940 CPUtime=0
/proc/5361/task/5364/stat : 5364 (java) S 5348 5347 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 25 0 10 0 68349794 905154560 57412 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5365] ppid=5348 vsize=883940 CPUtime=0
/proc/5361/task/5365/stat : 5365 (java) S 5348 5347 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 10 0 68349794 905154560 57412 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5366] ppid=5348 vsize=883940 CPUtime=0
/proc/5361/task/5366/stat : 5366 (java) S 5348 5347 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68349796 905154560 57412 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5367] ppid=5348 vsize=883940 CPUtime=0.8
/proc/5361/task/5367/stat : 5367 (java) R 5348 5347 1684 34817 1684 4202560 8551 0 0 0 76 4 0 0 21 0 10 0 68349796 905154560 57412 1283457024 134512640 134550932 4291593632 18446744073709551615 4152726689 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5368] ppid=5348 vsize=883940 CPUtime=0.7
/proc/5361/task/5368/stat : 5368 (java) R 5348 5347 1684 34817 1684 4202560 3888 0 0 0 70 0 0 0 16 0 10 0 68349796 905154560 57412 1283457024 134512640 134550932 4291593632 18446744073709551615 4148257526 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5369] ppid=5348 vsize=883940 CPUtime=0
/proc/5361/task/5369/stat : 5369 (java) S 5348 5347 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68349796 905154560 57412 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5370] ppid=5348 vsize=883940 CPUtime=0
/proc/5361/task/5370/stat : 5370 (java) S 5348 5347 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 10 0 68349796 905154560 57412 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 889076

[startup+4.80647 s]
/proc/loadavg: 1.00 0.97 0.66 3/51 5371
/proc/meminfo: memFree=41572/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2572 CPUtime=0.02
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 392 3015 0 1 0 0 2 0 25 0 1 0 68349788 2633728 281 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5348/statm: 643 281 239 194 0 30 0
[pid=5361] ppid=5348 vsize=882392 CPUtime=4.76
/proc/5361/stat : 5361 (java) S 5348 5347 1684 34817 1684 4202496 76195 0 1 0 452 24 0 0 25 0 11 0 68349791 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5361/statm: 220598 70595 1770 10 0 217689 0
[pid=5361/tid=5362] ppid=5348 vsize=882392 CPUtime=2.28
/proc/5361/task/5362/stat : 5362 (java) R 5348 5347 1684 34817 1684 4202560 50257 0 1 0 210 18 0 0 25 0 11 0 68349792 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5363] ppid=5348 vsize=882392 CPUtime=0.29
/proc/5361/task/5363/stat : 5363 (java) S 5348 5347 1684 34817 1684 4202560 12309 0 0 0 28 1 0 0 16 0 11 0 68349793 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 0 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5364] ppid=5348 vsize=882392 CPUtime=0
/proc/5361/task/5364/stat : 5364 (java) S 5348 5347 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 18 0 11 0 68349794 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5365] ppid=5348 vsize=882392 CPUtime=0
/proc/5361/task/5365/stat : 5365 (java) S 5348 5347 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68349794 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5366] ppid=5348 vsize=882392 CPUtime=0
/proc/5361/task/5366/stat : 5366 (java) S 5348 5347 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68349796 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5367] ppid=5348 vsize=882392 CPUtime=1.08
/proc/5361/task/5367/stat : 5367 (java) R 5348 5347 1684 34817 1684 4202560 8584 0 0 0 104 4 0 0 19 0 11 0 68349796 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4152874964 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5361/tid=5368] ppid=5348 vsize=882392 CPUtime=1.09
/proc/5361/task/5368/stat : 5368 (java) S 5348 5347 1684 34817 1684 4202560 3965 0 0 0 109 0 0 0 15 0 11 0 68349796 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5369] ppid=5348 vsize=882392 CPUtime=0
/proc/5361/task/5369/stat : 5369 (java) S 5348 5347 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68349796 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5370] ppid=5348 vsize=882392 CPUtime=0
/proc/5361/task/5370/stat : 5370 (java) S 5348 5347 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 11 0 68349796 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5371] ppid=5348 vsize=882392 CPUtime=0
/proc/5361/task/5371/stat : 5371 (java) S 5348 5347 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 11 0 68350202 903569408 70595 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 887528

[startup+5.20527 s]
/proc/loadavg: 1.00 0.97 0.66 3/51 5371
/proc/meminfo: memFree=41572/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2572 CPUtime=0.02
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 392 3015 0 1 0 0 2 0 25 0 1 0 68349788 2633728 281 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5348/statm: 643 281 239 194 0 30 0
[pid=5361] ppid=5348 vsize=882716 CPUtime=4.91
/proc/5361/stat : 5361 (java) S 5348 5347 1684 34817 1684 4202496 76220 0 1 0 467 24 0 0 25 0 12 0 68349791 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5361/statm: 220679 70620 1772 10 0 217770 0
[pid=5361/tid=5362] ppid=5348 vsize=882716 CPUtime=2.34
/proc/5361/task/5362/stat : 5362 (java) S 5348 5347 1684 34817 1684 4202560 50264 0 1 0 216 18 0 0 25 0 12 0 68349792 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5363] ppid=5348 vsize=882716 CPUtime=0.29
/proc/5361/task/5363/stat : 5363 (java) S 5348 5347 1684 34817 1684 4202560 12309 0 0 0 28 1 0 0 16 0 12 0 68349793 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 0 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5364] ppid=5348 vsize=882716 CPUtime=0
/proc/5361/task/5364/stat : 5364 (java) S 5348 5347 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 18 0 12 0 68349794 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5365] ppid=5348 vsize=882716 CPUtime=0
/proc/5361/task/5365/stat : 5365 (java) S 5348 5347 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 12 0 68349794 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5366] ppid=5348 vsize=882716 CPUtime=0
/proc/5361/task/5366/stat : 5366 (java) S 5348 5347 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68349796 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5367] ppid=5348 vsize=882716 CPUtime=1.17
/proc/5361/task/5367/stat : 5367 (java) S 5348 5347 1684 34817 1684 4202560 8598 0 0 0 113 4 0 0 18 0 12 0 68349796 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5368] ppid=5348 vsize=882716 CPUtime=1.09
/proc/5361/task/5368/stat : 5368 (java) S 5348 5347 1684 34817 1684 4202560 3965 0 0 0 109 0 0 0 15 0 12 0 68349796 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5369] ppid=5348 vsize=882716 CPUtime=0
/proc/5361/task/5369/stat : 5369 (java) S 5348 5347 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68349796 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5370] ppid=5348 vsize=882716 CPUtime=0
/proc/5361/task/5370/stat : 5370 (java) S 5348 5347 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 12 0 68349796 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
[pid=5361/tid=5371] ppid=5348 vsize=882716 CPUtime=0
/proc/5361/task/5371/stat : 5371 (java) S 5348 5347 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 12 0 68350202 903901184 70620 1283457024 134512640 134550932 4291593632 18446744073709551615 4294960130 0 4 0 16800975 18446612133237748800 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 887852

[startup+5.60593 s]
/proc/loadavg: 1.08 0.99 0.67 2/52 5372
/proc/meminfo: memFree=41316/1048576 swapFree=0/0
[pid=5347] ppid=5346 vsize=2564 CPUtime=0
/proc/5347/stat : 5347 (p2cudf-paranoid) S 5346 5347 1684 34817 1684 4202496 375 0 0 0 0 0 0 0 18 0 1 0 68349787 2625536 270 1283457024 134512640 135304128 4287273680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5347/statm: 641 270 230 194 0 28 0
[pid=5348] ppid=5347 vsize=2572 CPUtime=0.02
/proc/5348/stat : 5348 (p2cudf) S 5347 5347 1684 34817 1684 4202496 392 3015 0 1 0 0 2 0 25 0 1 0 68349788 2633728 281 1283457024 134512640 135304128 4290176432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5348/statm: 643 281 239 194 0 30 0
[pid=5361] ppid=5348 vsize=0 CPUtime=5.04
/proc/5361/stat : 5361 (java) Z 5348 5347 1684 34817 1684 4203532 76229 0 1 0 476 28 0 0 18 0 2 0 68349791 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5361/statm: 0 0 0 0 0 0 0
[pid=5361/tid=5362] ppid=5348 vsize=0 CPUtime=2.36
/proc/5361/task/5362/stat : 5362 (java) R 5348 5347 1684 34817 1684 4203588 50264 0 1 0 216 20 0 0 19 0 2 0 68349792 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 5136

Child status: 0
Real time (s): 5.62096
CPU time (s): 5.08032
CPU user time (s): 4.7843
CPU system time (s): 0.296018
CPU usage (%): 90.3817
Max. virtual memory (cumulated for all children) (KiB): 891500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.7843
system time used= 0.296018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80031
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= 684

runsolver used 0.012 second user time and 0 second system time

The end