runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/4008.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//4008.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/4008.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: 2.02 1.86 1.71 5/35 22553
/proc/meminfo: memFree=285104/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2564 CPUtime=0
/proc/22552/stat : 22552 (p2cudf) R 22551 22551 29493 34817 29493 4202496 345 0 0 0 0 0 0 0 25 0 1 0 76059787 2625536 271 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/22552/statm: 641 271 231 194 0 28 0
[pid=22553] ppid=22552 vsize=2564 CPUtime=0
/proc/22553/stat : 22553 (p2cudf) R 22552 22551 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76059787 2625536 40 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/22553/statm: 641 40 0 194 0 28 0

[startup+0.205749 s]
/proc/loadavg: 2.02 1.86 1.71 5/35 22553
/proc/meminfo: memFree=285104/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2568 CPUtime=0.03
/proc/22552/stat : 22552 (p2cudf) S 22551 22551 29493 34817 29493 4202496 391 3015 0 1 1 0 2 0 25 0 1 0 76059787 2629632 280 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22552/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5132

[startup+0.305751 s]
/proc/loadavg: 2.02 1.86 1.71 5/35 22553
/proc/meminfo: memFree=285104/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2568 CPUtime=0.03
/proc/22552/stat : 22552 (p2cudf) S 22551 22551 29493 34817 29493 4202496 391 3015 0 1 1 0 2 0 25 0 1 0 76059787 2629632 280 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22552/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5132

[startup+0.405769 s]
/proc/loadavg: 2.02 1.86 1.71 5/35 22553
/proc/meminfo: memFree=285104/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2568 CPUtime=0.03
/proc/22552/stat : 22552 (p2cudf) S 22551 22551 29493 34817 29493 4202496 391 3015 0 1 1 0 2 0 25 0 1 0 76059787 2629632 280 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22552/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5132

[startup+0.70581 s]
/proc/loadavg: 2.02 1.86 1.71 5/35 22553
/proc/meminfo: memFree=285104/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2568 CPUtime=0.03
/proc/22552/stat : 22552 (p2cudf) S 22551 22551 29493 34817 29493 4202496 391 3015 0 1 1 0 2 0 25 0 1 0 76059787 2629632 280 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22552/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5132

[startup+1.50593 s]
/proc/loadavg: 2.02 1.86 1.71 3/45 22574
/proc/meminfo: memFree=236964/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2568 CPUtime=0.03
/proc/22552/stat : 22552 (p2cudf) S 22551 22551 29493 34817 29493 4202496 391 3015 0 1 1 0 2 0 25 0 1 0 76059787 2629632 280 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22552/statm: 642 280 239 194 0 29 0
[pid=22565] ppid=22552 vsize=881056 CPUtime=1.46
/proc/22565/stat : 22565 (java) S 22552 22551 29493 34817 29493 4202496 18932 0 1 0 132 14 0 0 25 0 10 0 76059790 902201344 14549 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22565/statm: 220264 14549 1730 10 0 217355 0
[pid=22565/tid=22566] ppid=22552 vsize=881056 CPUtime=0.69
/proc/22565/task/22566/stat : 22566 (java) R 22552 22551 29493 34817 29493 4202560 6971 0 1 0 64 5 0 0 25 0 10 0 76059791 902201344 14549 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22565/tid=22567] ppid=22552 vsize=881056 CPUtime=0
/proc/22565/task/22567/stat : 22567 (java) S 22552 22551 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 16 0 10 0 76059792 902201344 14549 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22568] ppid=22552 vsize=881056 CPUtime=0
/proc/22565/task/22568/stat : 22568 (java) S 22552 22551 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76059793 902201344 14549 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22569] ppid=22552 vsize=881056 CPUtime=0
/proc/22565/task/22569/stat : 22569 (java) S 22552 22551 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76059793 902201344 14549 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22570] ppid=22552 vsize=881056 CPUtime=0
/proc/22565/task/22570/stat : 22570 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76059795 902201344 14549 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22571] ppid=22552 vsize=881056 CPUtime=0.55
/proc/22565/task/22571/stat : 22571 (java) R 22552 22551 29493 34817 29493 4202560 9214 0 0 0 50 5 0 0 22 0 10 0 76059795 902201344 14549 1283457024 134512640 134550932 4293265184 18446744073709551615 4149757565 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22565/tid=22572] ppid=22552 vsize=881056 CPUtime=0.21
/proc/22565/task/22572/stat : 22572 (java) R 22552 22551 29493 34817 29493 4202560 1669 0 0 0 18 3 0 0 24 0 10 0 76059795 902201344 14549 1283457024 134512640 134550932 4293265184 18446744073709551615 4151397907 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22565/tid=22573] ppid=22552 vsize=881056 CPUtime=0
/proc/22565/task/22573/stat : 22573 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76059795 902201344 14549 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22574] ppid=22552 vsize=881056 CPUtime=0
/proc/22565/task/22574/stat : 22574 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76059795 902201344 14549 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 886188

[startup+3.10629 s]
/proc/loadavg: 2.02 1.86 1.71 3/45 22574
/proc/meminfo: memFree=187736/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2568 CPUtime=0.03
/proc/22552/stat : 22552 (p2cudf) S 22551 22551 29493 34817 29493 4202496 391 3015 0 1 1 0 2 0 25 0 1 0 76059787 2629632 280 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22552/statm: 642 280 239 194 0 29 0
[pid=22565] ppid=22552 vsize=876764 CPUtime=3.05
/proc/22565/stat : 22565 (java) S 22552 22551 29493 34817 29493 4202496 56043 0 1 0 281 24 0 0 25 0 10 0 76059790 897806336 48463 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22565/statm: 219191 48463 1743 10 0 216282 0
[pid=22565/tid=22566] ppid=22552 vsize=876764 CPUtime=1.52
/proc/22565/task/22566/stat : 22566 (java) R 22552 22551 29493 34817 29493 4202560 41819 0 1 0 138 14 0 0 25 0 10 0 76059791 897806336 48463 1283457024 134512640 134550932 4293265184 18446744073709551615 4094874756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22565/tid=22567] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22567/stat : 22567 (java) S 22552 22551 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 76059792 897806336 48463 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22568] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22568/stat : 22568 (java) S 22552 22551 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76059793 897806336 48463 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22569] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22569/stat : 22569 (java) S 22552 22551 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76059793 897806336 48463 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22570] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22570/stat : 22570 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76059795 897806336 48463 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22571] ppid=22552 vsize=876764 CPUtime=1.04
/proc/22565/task/22571/stat : 22571 (java) R 22552 22551 29493 34817 29493 4202560 11436 0 0 0 98 6 0 0 20 0 10 0 76059795 897806336 48463 1283457024 134512640 134550932 4293265184 18446744073709551615 4149786180 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22565/tid=22572] ppid=22552 vsize=876764 CPUtime=0.47
/proc/22565/task/22572/stat : 22572 (java) S 22552 22551 29493 34817 29493 4202560 1710 0 0 0 44 3 0 0 17 0 10 0 76059795 897806336 48463 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22573] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22573/stat : 22573 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76059795 897806336 48463 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22574] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22574/stat : 22574 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76059795 897806336 48463 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 881896

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

[startup+3.30639 s]
/proc/loadavg: 2.02 1.86 1.71 3/45 22574
/proc/meminfo: memFree=187736/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2568 CPUtime=0.03
/proc/22552/stat : 22552 (p2cudf) S 22551 22551 29493 34817 29493 4202496 391 3015 0 1 1 0 2 0 25 0 1 0 76059787 2629632 280 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22552/statm: 642 280 239 194 0 29 0
[pid=22565] ppid=22552 vsize=876764 CPUtime=3.25
/proc/22565/stat : 22565 (java) S 22552 22551 29493 34817 29493 4202496 62033 0 1 0 301 24 0 0 25 0 10 0 76059790 897806336 54453 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22565/statm: 219191 54453 1743 10 0 216282 0
[pid=22565/tid=22566] ppid=22552 vsize=876764 CPUtime=1.59
/proc/22565/task/22566/stat : 22566 (java) R 22552 22551 29493 34817 29493 4202560 47797 0 1 0 145 14 0 0 25 0 10 0 76059791 897806336 54453 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22565/tid=22567] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22567/stat : 22567 (java) S 22552 22551 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 76059792 897806336 54453 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22568] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22568/stat : 22568 (java) S 22552 22551 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76059793 897806336 54453 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22569] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22569/stat : 22569 (java) S 22552 22551 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76059793 897806336 54453 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22570] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22570/stat : 22570 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76059795 897806336 54453 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22571] ppid=22552 vsize=876764 CPUtime=1.13
/proc/22565/task/22571/stat : 22571 (java) R 22552 22551 29493 34817 29493 4202560 11444 0 0 0 107 6 0 0 19 0 10 0 76059795 897806336 54453 1283457024 134512640 134550932 4293265184 18446744073709551615 4148630288 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22565/tid=22572] ppid=22552 vsize=876764 CPUtime=0.51
/proc/22565/task/22572/stat : 22572 (java) S 22552 22551 29493 34817 29493 4202560 1714 0 0 0 48 3 0 0 17 0 10 0 76059795 897806336 54453 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22573] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22573/stat : 22573 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76059795 897806336 54453 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22574] ppid=22552 vsize=876764 CPUtime=0
/proc/22565/task/22574/stat : 22574 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76059795 897806336 54453 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 881896

[startup+4.10651 s]
/proc/loadavg: 2.02 1.86 1.71 3/45 22574
/proc/meminfo: memFree=70192/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2568 CPUtime=0.03
/proc/22552/stat : 22552 (p2cudf) S 22551 22551 29493 34817 29493 4202496 391 3015 0 1 1 0 2 0 25 0 1 0 76059787 2629632 280 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22552/statm: 642 280 239 194 0 29 0
[pid=22565] ppid=22552 vsize=879996 CPUtime=4.05
/proc/22565/stat : 22565 (java) S 22552 22551 29493 34817 29493 4202496 81768 0 1 0 376 29 0 0 25 0 10 0 76059790 901115904 73347 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22565/statm: 219999 73347 1748 10 0 217090 0
[pid=22565/tid=22566] ppid=22552 vsize=879996 CPUtime=1.74
/proc/22565/task/22566/stat : 22566 (java) R 22552 22551 29493 34817 29493 4202560 50193 0 1 0 158 16 0 0 25 0 10 0 76059791 901115904 73347 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22565/tid=22567] ppid=22552 vsize=879996 CPUtime=0.38
/proc/22565/task/22567/stat : 22567 (java) S 22552 22551 29493 34817 29493 4202560 15798 0 0 0 36 2 0 0 16 0 10 0 76059792 901115904 73347 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22568] ppid=22552 vsize=879996 CPUtime=0
/proc/22565/task/22568/stat : 22568 (java) S 22552 22551 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 76059793 901115904 73347 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22569] ppid=22552 vsize=879996 CPUtime=0
/proc/22565/task/22569/stat : 22569 (java) S 22552 22551 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76059793 901115904 73347 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22570] ppid=22552 vsize=879996 CPUtime=0
/proc/22565/task/22570/stat : 22570 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76059795 901115904 73347 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22571] ppid=22552 vsize=879996 CPUtime=1.3
/proc/22565/task/22571/stat : 22571 (java) R 22552 22551 29493 34817 29493 4202560 12977 0 0 0 123 7 0 0 19 0 10 0 76059795 901115904 73347 1283457024 134512640 134550932 4293265184 18446744073709551615 4149786268 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22565/tid=22572] ppid=22552 vsize=879996 CPUtime=0.61
/proc/22565/task/22572/stat : 22572 (java) R 22552 22551 29493 34817 29493 4202560 1726 0 0 0 58 3 0 0 16 0 10 0 76059795 901115904 73347 1283457024 134512640 134550932 4293265184 18446744073709551615 4148400175 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22565/tid=22573] ppid=22552 vsize=879996 CPUtime=0
/proc/22565/task/22573/stat : 22573 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76059795 901115904 73347 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22574] ppid=22552 vsize=879996 CPUtime=0
/proc/22565/task/22574/stat : 22574 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76059795 901115904 73347 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 885128

[startup+4.90602 s]
/proc/loadavg: 2.02 1.86 1.71 3/45 22574
/proc/meminfo: memFree=7544/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2568 CPUtime=0.03
/proc/22552/stat : 22552 (p2cudf) S 22551 22551 29493 34817 29493 4202496 391 3015 0 1 1 0 2 0 25 0 1 0 76059787 2629632 280 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22552/statm: 642 280 239 194 0 29 0
[pid=22565] ppid=22552 vsize=877652 CPUtime=4.52
/proc/22565/stat : 22565 (java) S 22552 22551 29493 34817 29493 4202496 82933 0 1 0 423 29 0 0 25 0 11 0 76059790 898715648 72869 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22565/statm: 219413 72869 1761 10 0 216504 0
[pid=22565/tid=22566] ppid=22552 vsize=877652 CPUtime=1.9
/proc/22565/task/22566/stat : 22566 (java) S 22552 22551 29493 34817 29493 4202560 50203 0 1 0 174 16 0 0 25 0 11 0 76059791 898715648 72869 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22567] ppid=22552 vsize=877652 CPUtime=0.38
/proc/22565/task/22567/stat : 22567 (java) S 22552 22551 29493 34817 29493 4202560 15798 0 0 0 36 2 0 0 16 0 11 0 76059792 898715648 72869 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22568] ppid=22552 vsize=877652 CPUtime=0
/proc/22565/task/22568/stat : 22568 (java) S 22552 22551 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76059793 898715648 72869 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22569] ppid=22552 vsize=877652 CPUtime=0
/proc/22565/task/22569/stat : 22569 (java) S 22552 22551 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76059793 898715648 72869 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22570] ppid=22552 vsize=877652 CPUtime=0
/proc/22565/task/22570/stat : 22570 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76059795 898715648 72869 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22571] ppid=22552 vsize=877652 CPUtime=1.55
/proc/22565/task/22571/stat : 22571 (java) S 22552 22551 29493 34817 29493 4202560 14120 0 0 0 148 7 0 0 19 0 11 0 76059795 898715648 72869 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22572] ppid=22552 vsize=877652 CPUtime=0.67
/proc/22565/task/22572/stat : 22572 (java) S 22552 22551 29493 34817 29493 4202560 1734 0 0 0 64 3 0 0 15 0 11 0 76059795 898715648 72869 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22573] ppid=22552 vsize=877652 CPUtime=0
/proc/22565/task/22573/stat : 22573 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76059795 898715648 72869 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=22565/tid=22574] ppid=22552 vsize=877652 CPUtime=0
/proc/22565/task/22574/stat : 22574 (java) S 22552 22551 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76059795 898715648 72869 1283457024 134512640 134550932 4293265184 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 882784

[startup+5.115 s]
/proc/loadavg: 2.02 1.86 1.71 3/45 22574
/proc/meminfo: memFree=7544/1048576 swapFree=0/0
[pid=22551] ppid=22550 vsize=2564 CPUtime=0
/proc/22551/stat : 22551 (p2cudf-trendy-1) S 22550 22551 29493 34817 29493 4202496 372 0 0 0 0 0 0 0 18 0 1 0 76059786 2625536 269 1283457024 134512640 135304128 4293923120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22551/statm: 641 269 230 194 0 28 0
[pid=22552] ppid=22551 vsize=2568 CPUtime=0.03
/proc/22552/stat : 22552 (p2cudf) S 22551 22551 29493 34817 29493 4202496 391 3015 0 1 1 0 2 0 25 0 1 0 76059787 2629632 280 1283457024 134512640 135304128 4288576528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22552/statm: 642 280 239 194 0 29 0
[pid=22565] ppid=22552 vsize=0 CPUtime=4.54
/proc/22565/stat : 22565 (java) Z 22552 22551 29493 34817 29493 4203532 82940 0 1 0 423 31 0 0 18 0 2 0 76059790 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22565/statm: 0 0 0 0 0 0 0
[pid=22565/tid=22566] ppid=22552 vsize=0 CPUtime=1.92
/proc/22565/task/22566/stat : 22566 (java) R 22552 22551 29493 34817 29493 4203588 50203 0 1 0 174 18 0 0 20 0 2 0 76059791 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) 4.57
Current children cumulated vsize (KiB) 5132

Child status: 0
Real time (s): 5.12546
CPU time (s): 4.60029
CPU user time (s): 4.27627
CPU system time (s): 0.32402
CPU usage (%): 89.7536
Max. virtual memory (cumulated for all children) (KiB): 887468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.27627
system time used= 0.32402
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86739
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= 453
involuntary context switches= 439

runsolver used 0 second user time and 0 second system time

The end