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/201108251442/p2cudf-paranoid-1.13/rand115.cudf.s-e-l.log.runsolver ./p2cudf-paranoid-1.13 /home/misc2010/data/2011/incremental/s-e-l/rand115.cudf /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand115.cudf.s-e-l.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.14 1.02 0.70 5/35 5581
/proc/meminfo: memFree=355732/1048576 swapFree=0/0
[pid=5580] ppid=5579 vsize=2568 CPUtime=0
/proc/5580/stat : 5580 (p2cudf-paranoid) R 5579 5580 4778 34817 4778 4202496 356 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 270 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5580/statm: 642 270 230 194 0 29 0
[pid=5581] ppid=5580 vsize=2568 CPUtime=0
/proc/5581/stat : 5581 (p2cudf-paranoid) R 5580 5580 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 40 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5581/statm: 642 40 0 194 0 29 0

[startup+0.145911 s]
/proc/loadavg: 1.14 1.02 0.70 5/35 5581
/proc/meminfo: memFree=355732/1048576 swapFree=0/0
[pid=5580] ppid=5579 vsize=2568 CPUtime=0
/proc/5580/stat : 5580 (p2cudf-paranoid) S 5579 5580 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 270 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5580/statm: 642 270 230 194 0 29 0
[pid=5581] ppid=5580 vsize=2572 CPUtime=0.02
/proc/5581/stat : 5581 (p2cudf) S 5580 5580 4778 34817 4778 4202496 390 3012 0 1 0 0 0 2 25 0 1 0 10049283 2633728 280 1283457024 134512640 135304128 4294554064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5581/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.205915 s]
/proc/loadavg: 1.14 1.02 0.70 5/35 5581
/proc/meminfo: memFree=355732/1048576 swapFree=0/0
[pid=5580] ppid=5579 vsize=2568 CPUtime=0
/proc/5580/stat : 5580 (p2cudf-paranoid) S 5579 5580 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 270 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5580/statm: 642 270 230 194 0 29 0
[pid=5581] ppid=5580 vsize=2572 CPUtime=0.02
/proc/5581/stat : 5581 (p2cudf) S 5580 5580 4778 34817 4778 4202496 390 3012 0 1 0 0 0 2 25 0 1 0 10049283 2633728 280 1283457024 134512640 135304128 4294554064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5581/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.305933 s]
/proc/loadavg: 1.14 1.02 0.70 5/35 5581
/proc/meminfo: memFree=355732/1048576 swapFree=0/0
[pid=5580] ppid=5579 vsize=2568 CPUtime=0
/proc/5580/stat : 5580 (p2cudf-paranoid) S 5579 5580 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 270 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5580/statm: 642 270 230 194 0 29 0
[pid=5581] ppid=5580 vsize=2572 CPUtime=0.02
/proc/5581/stat : 5581 (p2cudf) S 5580 5580 4778 34817 4778 4202496 390 3012 0 1 0 0 0 2 25 0 1 0 10049283 2633728 280 1283457024 134512640 135304128 4294554064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5581/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.706045 s]
/proc/loadavg: 1.14 1.02 0.70 5/35 5581
/proc/meminfo: memFree=355732/1048576 swapFree=0/0
[pid=5580] ppid=5579 vsize=2568 CPUtime=0
/proc/5580/stat : 5580 (p2cudf-paranoid) S 5579 5580 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 270 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5580/statm: 642 270 230 194 0 29 0
[pid=5581] ppid=5580 vsize=2572 CPUtime=0.02
/proc/5581/stat : 5581 (p2cudf) S 5580 5580 4778 34817 4778 4202496 390 3012 0 1 0 0 0 2 25 0 1 0 10049283 2633728 280 1283457024 134512640 135304128 4294554064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5581/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.50622 s]
/proc/loadavg: 1.14 1.02 0.70 4/46 5603
/proc/meminfo: memFree=296912/1048576 swapFree=0/0
[pid=5580] ppid=5579 vsize=2568 CPUtime=0
/proc/5580/stat : 5580 (p2cudf-paranoid) S 5579 5580 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 270 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5580/statm: 642 270 230 194 0 29 0
[pid=5581] ppid=5580 vsize=2572 CPUtime=0.02
/proc/5581/stat : 5581 (p2cudf) S 5580 5580 4778 34817 4778 4202496 390 3012 0 1 0 0 0 2 25 0 1 0 10049283 2633728 280 1283457024 134512640 135304128 4294554064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5581/statm: 643 280 239 194 0 30 0
[pid=5594] ppid=5581 vsize=901848 CPUtime=1.47
/proc/5594/stat : 5594 (java) S 5581 5580 4778 34817 4778 4202496 25130 0 1 0 134 13 0 0 25 0 10 0 10049287 923492352 21376 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5594/statm: 225462 21376 1722 10 0 222553 0
[pid=5594/tid=5595] ppid=5581 vsize=901848 CPUtime=0.8
/proc/5594/task/5595/stat : 5595 (java) R 5581 5580 4778 34817 4778 4202560 9963 0 1 0 76 4 0 0 25 0 10 0 10049287 923492352 21376 1283457024 134512640 134550932 4287621584 18446744073709551615 4095280538 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5594/tid=5596] ppid=5581 vsize=901848 CPUtime=0
/proc/5594/task/5596/stat : 5596 (java) S 5581 5580 4778 34817 4778 4202560 7 0 0 0 0 0 0 0 17 0 10 0 10049289 923492352 21376 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5597] ppid=5581 vsize=901848 CPUtime=0
/proc/5594/task/5597/stat : 5597 (java) S 5581 5580 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 10049289 923492352 21376 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5598] ppid=5581 vsize=901848 CPUtime=0
/proc/5594/task/5598/stat : 5598 (java) S 5581 5580 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10049289 923492352 21376 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5599] ppid=5581 vsize=901848 CPUtime=0
/proc/5594/task/5599/stat : 5599 (java) S 5581 5580 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10049292 923492352 21376 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5600] ppid=5581 vsize=901848 CPUtime=0.43
/proc/5594/task/5600/stat : 5600 (java) R 5581 5580 4778 34817 4778 4202560 8899 0 0 0 39 4 0 0 25 0 10 0 10049292 923492352 21376 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5594/tid=5601] ppid=5581 vsize=901848 CPUtime=0.23
/proc/5594/task/5601/stat : 5601 (java) R 5581 5580 4778 34817 4778 4202560 5188 0 0 0 19 4 0 0 19 0 10 0 10049292 923492352 21376 1283457024 134512640 134550932 4287621584 18446744073709551615 4147545851 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5594/tid=5602] ppid=5581 vsize=901848 CPUtime=0
/proc/5594/task/5602/stat : 5602 (java) S 5581 5580 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10049292 923492352 21376 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5603] ppid=5581 vsize=901848 CPUtime=0
/proc/5594/task/5603/stat : 5603 (java) S 5581 5580 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10049292 923492352 21376 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 906988

[startup+3.11656 s]
/proc/loadavg: 1.14 1.02 0.70 2/46 5603
/proc/meminfo: memFree=213832/1048576 swapFree=0/0
[pid=5580] ppid=5579 vsize=2568 CPUtime=0
/proc/5580/stat : 5580 (p2cudf-paranoid) S 5579 5580 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 270 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5580/statm: 642 270 230 194 0 29 0
[pid=5581] ppid=5580 vsize=2572 CPUtime=0.02
/proc/5581/stat : 5581 (p2cudf) S 5580 5580 4778 34817 4778 4202496 390 3012 0 1 0 0 0 2 25 0 1 0 10049283 2633728 280 1283457024 134512640 135304128 4294554064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5581/statm: 643 280 239 194 0 30 0
[pid=5594] ppid=5581 vsize=897668 CPUtime=3.08
/proc/5594/stat : 5594 (java) S 5581 5580 4778 34817 4778 4202496 73780 0 1 0 276 32 0 0 25 0 10 0 10049287 919212032 68348 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5594/statm: 224417 68348 1742 10 0 221508 0
[pid=5594/tid=5595] ppid=5581 vsize=897668 CPUtime=1.61
/proc/5594/task/5595/stat : 5595 (java) R 5581 5580 4778 34817 4778 4202560 50089 0 1 0 143 18 0 0 25 0 10 0 10049287 919212032 68348 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5594/tid=5596] ppid=5581 vsize=897668 CPUtime=0.15
/proc/5594/task/5596/stat : 5596 (java) R 5581 5580 4778 34817 4778 4202560 6795 0 0 0 11 4 0 0 15 0 10 0 10049289 919212032 68348 1283457024 134512640 134550932 4287621584 18446744073709551615 4149924007 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=5594/tid=5597] ppid=5581 vsize=897668 CPUtime=0
/proc/5594/task/5597/stat : 5597 (java) S 5581 5580 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 10049289 919212032 68348 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5598] ppid=5581 vsize=897668 CPUtime=0
/proc/5594/task/5598/stat : 5598 (java) S 5581 5580 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10049289 919212032 68348 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5599] ppid=5581 vsize=897668 CPUtime=0
/proc/5594/task/5599/stat : 5599 (java) S 5581 5580 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10049292 919212032 68348 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5600] ppid=5581 vsize=897668 CPUtime=0.51
/proc/5594/task/5600/stat : 5600 (java) S 5581 5580 4778 34817 4778 4202560 8968 0 0 0 46 5 0 0 25 0 10 0 10049292 919212032 68348 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5601] ppid=5581 vsize=897668 CPUtime=0.78
/proc/5594/task/5601/stat : 5601 (java) S 5581 5580 4778 34817 4778 4202560 6855 0 0 0 74 4 0 0 15 0 10 0 10049292 919212032 68348 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5602] ppid=5581 vsize=897668 CPUtime=0
/proc/5594/task/5602/stat : 5602 (java) S 5581 5580 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10049292 919212032 68348 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5603] ppid=5581 vsize=897668 CPUtime=0
/proc/5594/task/5603/stat : 5603 (java) S 5581 5580 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10049292 919212032 68348 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 902808

[startup+6.30629 s]
/proc/loadavg: 1.21 1.03 0.70 2/47 5604
/proc/meminfo: memFree=61560/1048576 swapFree=0/0
[pid=5580] ppid=5579 vsize=2568 CPUtime=0
/proc/5580/stat : 5580 (p2cudf-paranoid) S 5579 5580 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 270 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5580/statm: 642 270 230 194 0 29 0
[pid=5581] ppid=5580 vsize=2572 CPUtime=0.02
/proc/5581/stat : 5581 (p2cudf) S 5580 5580 4778 34817 4778 4202496 390 3012 0 1 0 0 0 2 25 0 1 0 10049283 2633728 280 1283457024 134512640 135304128 4294554064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5581/statm: 643 280 239 194 0 30 0
[pid=5594] ppid=5581 vsize=898212 CPUtime=5.96
/proc/5594/stat : 5594 (java) S 5581 5580 4778 34817 4778 4202496 82792 0 1 0 559 37 0 0 25 0 11 0 10049287 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5594/statm: 224553 75073 1777 10 0 221644 0
[pid=5594/tid=5595] ppid=5581 vsize=898212 CPUtime=2.92
/proc/5594/task/5595/stat : 5595 (java) S 5581 5580 4778 34817 4778 4202560 50283 0 1 0 274 18 0 0 25 0 11 0 10049287 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5596] ppid=5581 vsize=898212 CPUtime=0.32
/proc/5594/task/5596/stat : 5596 (java) S 5581 5580 4778 34817 4778 4202560 13123 0 0 0 24 8 0 0 16 0 11 0 10049289 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5597] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5597/stat : 5597 (java) S 5581 5580 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10049289 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5598] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5598/stat : 5598 (java) S 5581 5580 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10049289 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5599] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5599/stat : 5599 (java) S 5581 5580 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10049292 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5600] ppid=5581 vsize=898212 CPUtime=0.51
/proc/5594/task/5600/stat : 5600 (java) S 5581 5580 4778 34817 4778 4202560 8968 0 0 0 46 5 0 0 25 0 11 0 10049292 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5601] ppid=5581 vsize=898212 CPUtime=2.18
/proc/5594/task/5601/stat : 5601 (java) S 5581 5580 4778 34817 4778 4202560 9334 0 0 0 214 4 0 0 15 0 11 0 10049292 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5602] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5602/stat : 5602 (java) S 5581 5580 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10049292 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5603] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5603/stat : 5603 (java) S 5581 5580 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10049292 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 903352

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

[startup+6.4063 s]
/proc/loadavg: 1.21 1.03 0.70 2/47 5604
/proc/meminfo: memFree=61560/1048576 swapFree=0/0
[pid=5580] ppid=5579 vsize=2568 CPUtime=0
/proc/5580/stat : 5580 (p2cudf-paranoid) S 5579 5580 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 270 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5580/statm: 642 270 230 194 0 29 0
[pid=5581] ppid=5580 vsize=2572 CPUtime=0.02
/proc/5581/stat : 5581 (p2cudf) S 5580 5580 4778 34817 4778 4202496 390 3012 0 1 0 0 0 2 25 0 1 0 10049283 2633728 280 1283457024 134512640 135304128 4294554064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5581/statm: 643 280 239 194 0 30 0
[pid=5594] ppid=5581 vsize=898212 CPUtime=5.96
/proc/5594/stat : 5594 (java) S 5581 5580 4778 34817 4778 4202496 82792 0 1 0 559 37 0 0 25 0 11 0 10049287 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5594/statm: 224553 75073 1777 10 0 221644 0
[pid=5594/tid=5595] ppid=5581 vsize=898212 CPUtime=2.92
/proc/5594/task/5595/stat : 5595 (java) S 5581 5580 4778 34817 4778 4202560 50283 0 1 0 274 18 0 0 25 0 11 0 10049287 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5596] ppid=5581 vsize=898212 CPUtime=0.32
/proc/5594/task/5596/stat : 5596 (java) S 5581 5580 4778 34817 4778 4202560 13123 0 0 0 24 8 0 0 16 0 11 0 10049289 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5597] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5597/stat : 5597 (java) S 5581 5580 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10049289 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5598] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5598/stat : 5598 (java) S 5581 5580 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10049289 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5599] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5599/stat : 5599 (java) S 5581 5580 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10049292 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5600] ppid=5581 vsize=898212 CPUtime=0.51
/proc/5594/task/5600/stat : 5600 (java) S 5581 5580 4778 34817 4778 4202560 8968 0 0 0 46 5 0 0 25 0 11 0 10049292 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5601] ppid=5581 vsize=898212 CPUtime=2.18
/proc/5594/task/5601/stat : 5601 (java) S 5581 5580 4778 34817 4778 4202560 9334 0 0 0 214 4 0 0 15 0 11 0 10049292 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5602] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5602/stat : 5602 (java) S 5581 5580 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10049292 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5603] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5603/stat : 5603 (java) S 5581 5580 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10049292 919769088 75073 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 903352

[startup+6.6063 s]
/proc/loadavg: 1.21 1.03 0.70 1/46 5605
/proc/meminfo: memFree=61444/1048576 swapFree=0/0
[pid=5580] ppid=5579 vsize=2568 CPUtime=0
/proc/5580/stat : 5580 (p2cudf-paranoid) S 5579 5580 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 10049283 2629632 270 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5580/statm: 642 270 230 194 0 29 0
[pid=5581] ppid=5580 vsize=2572 CPUtime=0.02
/proc/5581/stat : 5581 (p2cudf) S 5580 5580 4778 34817 4778 4202496 390 3012 0 1 0 0 0 2 25 0 1 0 10049283 2633728 280 1283457024 134512640 135304128 4294554064 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5581/statm: 643 280 239 194 0 30 0
[pid=5594] ppid=5581 vsize=898212 CPUtime=6.03
/proc/5594/stat : 5594 (java) S 5581 5580 4778 34817 4778 4202496 82795 0 1 0 566 37 0 0 25 0 10 0 10049287 919769088 75076 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5594/statm: 224553 75076 1777 10 0 221644 0
[pid=5594/tid=5595] ppid=5581 vsize=898212 CPUtime=2.92
/proc/5594/task/5595/stat : 5595 (java) S 5581 5580 4778 34817 4778 4202560 50283 0 1 0 274 18 0 0 20 0 10 0 10049287 919769088 75076 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5596] ppid=5581 vsize=898212 CPUtime=0.32
/proc/5594/task/5596/stat : 5596 (java) S 5581 5580 4778 34817 4778 4202560 13123 0 0 0 24 8 0 0 16 0 10 0 10049289 919769088 75076 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5597] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5597/stat : 5597 (java) S 5581 5580 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 10 0 10049289 919769088 75076 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5598] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5598/stat : 5598 (java) S 5581 5580 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 10049289 919769088 75076 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5599] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5599/stat : 5599 (java) S 5581 5580 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10049292 919769088 75076 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5600] ppid=5581 vsize=898212 CPUtime=0.51
/proc/5594/task/5600/stat : 5600 (java) S 5581 5580 4778 34817 4778 4202560 8968 0 0 0 46 5 0 0 25 0 10 0 10049292 919769088 75076 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5601] ppid=5581 vsize=898212 CPUtime=2.21
/proc/5594/task/5601/stat : 5601 (java) S 5581 5580 4778 34817 4778 4202560 9335 0 0 0 217 4 0 0 16 0 10 0 10049292 919769088 75076 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5602] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5602/stat : 5602 (java) S 5581 5580 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10049292 919769088 75076 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=5594/tid=5603] ppid=5581 vsize=898212 CPUtime=0
/proc/5594/task/5603/stat : 5603 (java) S 5581 5580 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10049292 919769088 75076 1283457024 134512640 134550932 4287621584 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 903352

Child status: 0
Real time (s): 6.64751
CPU time (s): 6.08038
CPU user time (s): 5.66435
CPU system time (s): 0.416026
CPU usage (%): 91.4685
Max. virtual memory (cumulated for all children) (KiB): 906988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.66435
system time used= 0.416026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86596
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= 776
involuntary context switches= 757

runsolver used 0 second user time and 0 second system time

The end