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/301cbe92-a79c-11e0-9181-00163e1e087d.cudf.dudf-real.log.runsolver ./p2cudf-paranoid-1.13 /home/misc2010/data/2011/dudf-real//301cbe92-a79c-11e0-9181-00163e1e087d.cudf /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/301cbe92-a79c-11e0-9181-00163e1e087d.cudf.dudf-real.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.40 1.11 1.03 5/36 16646
/proc/meminfo: memFree=294464/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2564 CPUtime=0
/proc/16645/stat : 16645 (p2cudf) R 16644 16644 4778 34817 4778 4202496 346 0 0 0 0 0 0 0 25 0 1 0 10973802 2625536 271 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/16645/statm: 641 271 231 194 0 28 0
[pid=16646] ppid=16645 vsize=2564 CPUtime=0
/proc/16646/stat : 16646 (p2cudf) R 16645 16644 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10973802 2625536 40 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/16646/statm: 641 40 0 194 0 28 0

[startup+0.145901 s]
/proc/loadavg: 1.40 1.11 1.03 5/36 16646
/proc/meminfo: memFree=294464/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.205902 s]
/proc/loadavg: 1.40 1.11 1.03 5/36 16646
/proc/meminfo: memFree=294464/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.305927 s]
/proc/loadavg: 1.40 1.11 1.03 5/36 16646
/proc/meminfo: memFree=294464/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.706025 s]
/proc/loadavg: 1.40 1.11 1.03 5/36 16646
/proc/meminfo: memFree=294464/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+1.50619 s]
/proc/loadavg: 1.40 1.11 1.03 3/46 16667
/proc/meminfo: memFree=245828/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
[pid=16658] ppid=16645 vsize=885720 CPUtime=1.47
/proc/16658/stat : 16658 (java) S 16645 16644 4778 34817 4778 4202496 20143 0 1 0 141 6 0 0 25 0 10 0 10973805 906977280 16722 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16658/statm: 221430 16722 1727 10 0 218521 0
[pid=16658/tid=16659] ppid=16645 vsize=885720 CPUtime=0.79
/proc/16658/task/16659/stat : 16659 (java) R 16645 16644 4778 34817 4778 4202560 8445 0 1 0 78 1 0 0 25 0 10 0 10973806 906977280 16722 1283457024 134512640 134550932 4290106352 18446744073709551615 4095412477 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16658/tid=16660] ppid=16645 vsize=885720 CPUtime=0
/proc/16658/task/16660/stat : 16660 (java) S 16645 16644 4778 34817 4778 4202560 7 0 0 0 0 0 0 0 16 0 10 0 10973807 906977280 16722 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16661] ppid=16645 vsize=885720 CPUtime=0
/proc/16658/task/16661/stat : 16661 (java) S 16645 16644 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 10973808 906977280 16722 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16662] ppid=16645 vsize=885720 CPUtime=0
/proc/16658/task/16662/stat : 16662 (java) S 16645 16644 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10973808 906977280 16722 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16663] ppid=16645 vsize=885720 CPUtime=0
/proc/16658/task/16663/stat : 16663 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10973810 906977280 16722 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16664] ppid=16645 vsize=885720 CPUtime=0.44
/proc/16658/task/16664/stat : 16664 (java) R 16645 16644 4778 34817 4778 4202560 8479 0 0 0 42 2 0 0 25 0 10 0 10973810 906977280 16722 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16658/tid=16665] ppid=16645 vsize=885720 CPUtime=0.21
/proc/16658/task/16665/stat : 16665 (java) R 16645 16644 4778 34817 4778 4202560 2139 0 0 0 20 1 0 0 18 0 10 0 10973810 906977280 16722 1283457024 134512640 134550932 4290106352 18446744073709551615 4149125201 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16658/tid=16666] ppid=16645 vsize=885720 CPUtime=0
/proc/16658/task/16666/stat : 16666 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10973810 906977280 16722 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16667] ppid=16645 vsize=885720 CPUtime=0
/proc/16658/task/16667/stat : 16667 (java) S 16645 16644 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10973810 906977280 16722 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 890856

[startup+3.10658 s]
/proc/loadavg: 1.40 1.11 1.03 3/46 16667
/proc/meminfo: memFree=160020/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
[pid=16658] ppid=16645 vsize=882040 CPUtime=3.07
/proc/16658/stat : 16658 (java) S 16645 16644 4778 34817 4778 4202496 74721 0 1 0 284 23 0 0 25 0 10 0 10973805 903208960 70695 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16658/statm: 220510 70695 1742 10 0 217601 0
[pid=16658/tid=16659] ppid=16645 vsize=882040 CPUtime=1.74
/proc/16658/task/16659/stat : 16659 (java) R 16645 16644 4778 34817 4778 4202560 50075 0 1 0 163 11 0 0 25 0 10 0 10973806 903208960 70695 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16658/tid=16660] ppid=16645 vsize=882040 CPUtime=0.26
/proc/16658/task/16660/stat : 16660 (java) S 16645 16644 4778 34817 4778 4202560 12774 0 0 0 20 6 0 0 16 0 10 0 10973807 903208960 70695 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16661] ppid=16645 vsize=882040 CPUtime=0
/proc/16658/task/16661/stat : 16661 (java) S 16645 16644 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 10 0 10973808 903208960 70695 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16662] ppid=16645 vsize=882040 CPUtime=0
/proc/16658/task/16662/stat : 16662 (java) S 16645 16644 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 10973808 903208960 70695 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16663] ppid=16645 vsize=882040 CPUtime=0
/proc/16658/task/16663/stat : 16663 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10973810 903208960 70695 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16664] ppid=16645 vsize=882040 CPUtime=0.63
/proc/16658/task/16664/stat : 16664 (java) R 16645 16644 4778 34817 4778 4202560 8545 0 0 0 61 2 0 0 16 0 10 0 10973810 903208960 70695 1283457024 134512640 134550932 4290106352 18446744073709551615 4148895726 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16658/tid=16665] ppid=16645 vsize=882040 CPUtime=0.4
/proc/16658/task/16665/stat : 16665 (java) S 16645 16644 4778 34817 4778 4202560 2252 0 0 0 39 1 0 0 15 0 10 0 10973810 903208960 70695 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16666] ppid=16645 vsize=882040 CPUtime=0
/proc/16658/task/16666/stat : 16666 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10973810 903208960 70695 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16667] ppid=16645 vsize=882040 CPUtime=0
/proc/16658/task/16667/stat : 16667 (java) S 16645 16644 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10973810 903208960 70695 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 887176

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

[startup+3.20658 s]
/proc/loadavg: 1.40 1.11 1.03 3/46 16667
/proc/meminfo: memFree=160020/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
[pid=16658] ppid=16645 vsize=882040 CPUtime=3.17
/proc/16658/stat : 16658 (java) S 16645 16644 4778 34817 4778 4202496 74729 0 1 0 294 23 0 0 25 0 10 0 10973805 903208960 70703 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16658/statm: 220510 70703 1743 10 0 217601 0
[pid=16658/tid=16659] ppid=16645 vsize=882040 CPUtime=1.8
/proc/16658/task/16659/stat : 16659 (java) R 16645 16644 4778 34817 4778 4202560 50077 0 1 0 169 11 0 0 25 0 10 0 10973806 903208960 70703 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16658/tid=16660] ppid=16645 vsize=882040 CPUtime=0.26
/proc/16658/task/16660/stat : 16660 (java) S 16645 16644 4778 34817 4778 4202560 12774 0 0 0 20 6 0 0 16 0 10 0 10973807 903208960 70703 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16661] ppid=16645 vsize=882040 CPUtime=0
/proc/16658/task/16661/stat : 16661 (java) S 16645 16644 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 10 0 10973808 903208960 70703 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16662] ppid=16645 vsize=882040 CPUtime=0
/proc/16658/task/16662/stat : 16662 (java) S 16645 16644 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 10973808 903208960 70703 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16663] ppid=16645 vsize=882040 CPUtime=0
/proc/16658/task/16663/stat : 16663 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10973810 903208960 70703 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16664] ppid=16645 vsize=882040 CPUtime=0.67
/proc/16658/task/16664/stat : 16664 (java) R 16645 16644 4778 34817 4778 4202560 8551 0 0 0 65 2 0 0 16 0 10 0 10973810 903208960 70703 1283457024 134512640 134550932 4290106352 18446744073709551615 4149795010 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16658/tid=16665] ppid=16645 vsize=882040 CPUtime=0.4
/proc/16658/task/16665/stat : 16665 (java) S 16645 16644 4778 34817 4778 4202560 2252 0 0 0 39 1 0 0 15 0 10 0 10973810 903208960 70703 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16666] ppid=16645 vsize=882040 CPUtime=0
/proc/16658/task/16666/stat : 16666 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10973810 903208960 70703 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16667] ppid=16645 vsize=882040 CPUtime=0
/proc/16658/task/16667/stat : 16667 (java) S 16645 16644 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10973810 903208960 70703 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 887176

[startup+4.00744 s]
/proc/loadavg: 1.40 1.11 1.03 2/45 16667
/proc/meminfo: memFree=17676/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
[pid=16658] ppid=16645 vsize=881932 CPUtime=3.98
/proc/16658/stat : 16658 (java) S 16645 16644 4778 34817 4778 4202496 76609 0 1 0 374 24 0 0 25 0 10 0 10973805 903098368 70944 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16658/statm: 220483 70944 1746 10 0 217574 0
[pid=16658/tid=16659] ppid=16645 vsize=881932 CPUtime=1.97
/proc/16658/task/16659/stat : 16659 (java) R 16645 16644 4778 34817 4778 4202560 50210 0 1 0 186 11 0 0 25 0 10 0 10973806 903098368 70944 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16658/tid=16660] ppid=16645 vsize=881932 CPUtime=0.26
/proc/16658/task/16660/stat : 16660 (java) S 16645 16644 4778 34817 4778 4202560 12774 0 0 0 20 6 0 0 15 0 10 0 10973807 903098368 70944 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16661] ppid=16645 vsize=881932 CPUtime=0
/proc/16658/task/16661/stat : 16661 (java) S 16645 16644 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 10 0 10973808 903098368 70944 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16662] ppid=16645 vsize=881932 CPUtime=0
/proc/16658/task/16662/stat : 16662 (java) S 16645 16644 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 10973808 903098368 70944 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16663] ppid=16645 vsize=881932 CPUtime=0
/proc/16658/task/16663/stat : 16663 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10973810 903098368 70944 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16664] ppid=16645 vsize=881932 CPUtime=1.31
/proc/16658/task/16664/stat : 16664 (java) S 16645 16644 4778 34817 4778 4202560 10298 0 0 0 128 3 0 0 15 0 10 0 10973810 903098368 70944 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16665] ppid=16645 vsize=881932 CPUtime=0.4
/proc/16658/task/16665/stat : 16665 (java) S 16645 16644 4778 34817 4778 4202560 2252 0 0 0 39 1 0 0 15 0 10 0 10973810 903098368 70944 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16666] ppid=16645 vsize=881932 CPUtime=0
/proc/16658/task/16666/stat : 16666 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10973810 903098368 70944 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16667] ppid=16645 vsize=881932 CPUtime=0
/proc/16658/task/16667/stat : 16667 (java) S 16645 16644 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10973810 903098368 70944 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 887068

[startup+4.80954 s]
/proc/loadavg: 1.45 1.12 1.04 2/45 16667
/proc/meminfo: memFree=16188/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
[pid=16658] ppid=16645 vsize=881932 CPUtime=4.78
/proc/16658/stat : 16658 (java) S 16645 16644 4778 34817 4778 4202496 76704 0 1 0 454 24 0 0 25 0 10 0 10973805 903098368 71039 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16658/statm: 220483 71039 1763 10 0 217574 0
[pid=16658/tid=16659] ppid=16645 vsize=881932 CPUtime=2.44
/proc/16658/task/16659/stat : 16659 (java) R 16645 16644 4778 34817 4778 4202560 50256 0 1 0 233 11 0 0 25 0 10 0 10973806 903098368 71039 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16658/tid=16660] ppid=16645 vsize=881932 CPUtime=0.26
/proc/16658/task/16660/stat : 16660 (java) S 16645 16644 4778 34817 4778 4202560 12774 0 0 0 20 6 0 0 15 0 10 0 10973807 903098368 71039 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16661] ppid=16645 vsize=881932 CPUtime=0
/proc/16658/task/16661/stat : 16661 (java) S 16645 16644 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 10 0 10973808 903098368 71039 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16662] ppid=16645 vsize=881932 CPUtime=0
/proc/16658/task/16662/stat : 16662 (java) S 16645 16644 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 10973808 903098368 71039 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16663] ppid=16645 vsize=881932 CPUtime=0
/proc/16658/task/16663/stat : 16663 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10973810 903098368 71039 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16664] ppid=16645 vsize=881932 CPUtime=1.63
/proc/16658/task/16664/stat : 16664 (java) S 16645 16644 4778 34817 4778 4202560 10347 0 0 0 160 3 0 0 15 0 10 0 10973810 903098368 71039 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16665] ppid=16645 vsize=881932 CPUtime=0.4
/proc/16658/task/16665/stat : 16665 (java) S 16645 16644 4778 34817 4778 4202560 2252 0 0 0 39 1 0 0 15 0 10 0 10973810 903098368 71039 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16666] ppid=16645 vsize=881932 CPUtime=0
/proc/16658/task/16666/stat : 16666 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10973810 903098368 71039 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16667] ppid=16645 vsize=881932 CPUtime=0
/proc/16658/task/16667/stat : 16667 (java) S 16645 16644 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10973810 903098368 71039 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 887068

[startup+5.2062 s]
/proc/loadavg: 1.45 1.12 1.04 2/45 16667
/proc/meminfo: memFree=16188/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
[pid=16658] ppid=16645 vsize=882256 CPUtime=4.82
/proc/16658/stat : 16658 (java) S 16645 16644 4778 34817 4778 4202496 76722 0 1 0 458 24 0 0 25 0 11 0 10973805 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16658/statm: 220564 71057 1766 10 0 217655 0
[pid=16658/tid=16659] ppid=16645 vsize=882256 CPUtime=2.45
/proc/16658/task/16659/stat : 16659 (java) S 16645 16644 4778 34817 4778 4202560 50263 0 1 0 234 11 0 0 25 0 11 0 10973806 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16660] ppid=16645 vsize=882256 CPUtime=0.26
/proc/16658/task/16660/stat : 16660 (java) S 16645 16644 4778 34817 4778 4202560 12774 0 0 0 20 6 0 0 15 0 11 0 10973807 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16661] ppid=16645 vsize=882256 CPUtime=0
/proc/16658/task/16661/stat : 16661 (java) S 16645 16644 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10973808 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16662] ppid=16645 vsize=882256 CPUtime=0
/proc/16658/task/16662/stat : 16662 (java) S 16645 16644 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10973808 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16663] ppid=16645 vsize=882256 CPUtime=0
/proc/16658/task/16663/stat : 16663 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10973810 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16664] ppid=16645 vsize=882256 CPUtime=1.67
/proc/16658/task/16664/stat : 16664 (java) S 16645 16644 4778 34817 4778 4202560 10354 0 0 0 164 3 0 0 15 0 11 0 10973810 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16665] ppid=16645 vsize=882256 CPUtime=0.4
/proc/16658/task/16665/stat : 16665 (java) S 16645 16644 4778 34817 4778 4202560 2252 0 0 0 39 1 0 0 15 0 11 0 10973810 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16666] ppid=16645 vsize=882256 CPUtime=0
/proc/16658/task/16666/stat : 16666 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10973810 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16667] ppid=16645 vsize=882256 CPUtime=0
/proc/16658/task/16667/stat : 16667 (java) R 16645 16644 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10973810 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 887392

[startup+5.30621 s]
/proc/loadavg: 1.45 1.12 1.04 2/45 16667
/proc/meminfo: memFree=16188/1048576 swapFree=0/0
[pid=16644] ppid=16643 vsize=2568 CPUtime=0
/proc/16644/stat : 16644 (p2cudf-paranoid) S 16643 16644 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10973802 2629632 271 1283457024 134512640 135304128 4289496240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16644/statm: 642 271 230 194 0 29 0
[pid=16645] ppid=16644 vsize=2568 CPUtime=0.03
/proc/16645/stat : 16645 (p2cudf) S 16644 16644 4778 34817 4778 4202496 390 3017 0 1 0 0 2 1 25 0 1 0 10973802 2629632 280 1283457024 134512640 135304128 4288859168 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/16645/statm: 642 280 239 194 0 29 0
[pid=16658] ppid=16645 vsize=882256 CPUtime=4.82
/proc/16658/stat : 16658 (java) S 16645 16644 4778 34817 4778 4202496 76722 0 1 0 458 24 0 0 25 0 11 0 10973805 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16658/statm: 220564 71057 1766 10 0 217655 0
[pid=16658/tid=16659] ppid=16645 vsize=882256 CPUtime=2.45
/proc/16658/task/16659/stat : 16659 (java) S 16645 16644 4778 34817 4778 4202560 50263 0 1 0 234 11 0 0 25 0 11 0 10973806 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16660] ppid=16645 vsize=882256 CPUtime=0.26
/proc/16658/task/16660/stat : 16660 (java) S 16645 16644 4778 34817 4778 4202560 12774 0 0 0 20 6 0 0 15 0 11 0 10973807 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16661] ppid=16645 vsize=882256 CPUtime=0
/proc/16658/task/16661/stat : 16661 (java) S 16645 16644 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10973808 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16662] ppid=16645 vsize=882256 CPUtime=0
/proc/16658/task/16662/stat : 16662 (java) S 16645 16644 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10973808 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16663] ppid=16645 vsize=882256 CPUtime=0
/proc/16658/task/16663/stat : 16663 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10973810 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16664] ppid=16645 vsize=882256 CPUtime=1.67
/proc/16658/task/16664/stat : 16664 (java) S 16645 16644 4778 34817 4778 4202560 10354 0 0 0 164 3 0 0 15 0 11 0 10973810 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16665] ppid=16645 vsize=882256 CPUtime=0.4
/proc/16658/task/16665/stat : 16665 (java) S 16645 16644 4778 34817 4778 4202560 2252 0 0 0 39 1 0 0 15 0 11 0 10973810 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16666] ppid=16645 vsize=882256 CPUtime=0
/proc/16658/task/16666/stat : 16666 (java) S 16645 16644 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10973810 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=16658/tid=16667] ppid=16645 vsize=882256 CPUtime=0
/proc/16658/task/16667/stat : 16667 (java) S 16645 16644 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10973810 903430144 71057 1283457024 134512640 134550932 4290106352 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 887392

Child status: 0
Real time (s): 5.39513
CPU time (s): 4.8723
CPU user time (s): 4.60029
CPU system time (s): 0.272017
CPU usage (%): 90.3094
Max. virtual memory (cumulated for all children) (KiB): 891168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.60029
system time used= 0.272017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80533
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= 585
involuntary context switches= 574

runsolver used 0 second user time and 0 second system time

The end