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/4002.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//4002.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/4002.cudf.caixa.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.96 1.77 1.66 6/36 21036
/proc/meminfo: memFree=276412/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) R 21034 21035 29493 34817 29493 4202496 357 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2568 CPUtime=0
/proc/21036/stat : 21036 (p2cudf-trendy-1) R 21035 21035 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 40 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/21036/statm: 642 40 0 194 0 29 0

[startup+0.198224 s]
/proc/loadavg: 1.96 1.77 1.66 6/36 21036
/proc/meminfo: memFree=276412/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) S 21034 21035 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2572 CPUtime=0.02
/proc/21036/stat : 21036 (p2cudf) S 21035 21035 29493 34817 29493 4202496 389 3011 0 1 0 0 0 2 25 0 1 0 76049699 2633728 279 1283457024 134512640 135304128 4291169936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21036/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.208233 s]
/proc/loadavg: 1.96 1.77 1.66 6/36 21036
/proc/meminfo: memFree=276412/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) S 21034 21035 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2572 CPUtime=0.02
/proc/21036/stat : 21036 (p2cudf) S 21035 21035 29493 34817 29493 4202496 389 3011 0 1 0 0 0 2 25 0 1 0 76049699 2633728 279 1283457024 134512640 135304128 4291169936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21036/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.308244 s]
/proc/loadavg: 1.96 1.77 1.66 6/36 21036
/proc/meminfo: memFree=276412/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) S 21034 21035 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2572 CPUtime=0.02
/proc/21036/stat : 21036 (p2cudf) S 21035 21035 29493 34817 29493 4202496 389 3011 0 1 0 0 0 2 25 0 1 0 76049699 2633728 279 1283457024 134512640 135304128 4291169936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21036/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.708307 s]
/proc/loadavg: 1.96 1.77 1.66 6/36 21036
/proc/meminfo: memFree=276412/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) S 21034 21035 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2572 CPUtime=0.02
/proc/21036/stat : 21036 (p2cudf) S 21035 21035 29493 34817 29493 4202496 389 3011 0 1 0 0 0 2 25 0 1 0 76049699 2633728 279 1283457024 134512640 135304128 4291169936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21036/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.50851 s]
/proc/loadavg: 2.12 1.81 1.68 3/47 21058
/proc/meminfo: memFree=224628/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) S 21034 21035 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2572 CPUtime=0.02
/proc/21036/stat : 21036 (p2cudf) S 21035 21035 29493 34817 29493 4202496 389 3011 0 1 0 0 0 2 25 0 1 0 76049699 2633728 279 1283457024 134512640 135304128 4291169936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21036/statm: 643 279 239 194 0 30 0
[pid=21049] ppid=21036 vsize=897064 CPUtime=1.47
/proc/21049/stat : 21049 (java) S 21036 21035 29493 34817 29493 4202496 24351 0 1 0 138 9 0 0 25 0 10 0 76049703 918593536 19835 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21049/statm: 224266 19835 1730 10 0 221357 0
[pid=21049/tid=21050] ppid=21036 vsize=897064 CPUtime=0.65
/proc/21049/task/21050/stat : 21050 (java) R 21036 21035 29493 34817 29493 4202560 8870 0 1 0 60 5 0 0 25 0 10 0 76049703 918593536 19835 1283457024 134512640 134550932 4287160656 18446744073709551615 4148765930 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21049/tid=21051] ppid=21036 vsize=897064 CPUtime=0
/proc/21049/task/21051/stat : 21051 (java) S 21036 21035 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 16 0 10 0 76049705 918593536 19835 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21052] ppid=21036 vsize=897064 CPUtime=0
/proc/21049/task/21052/stat : 21052 (java) S 21036 21035 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76049705 918593536 19835 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21053] ppid=21036 vsize=897064 CPUtime=0
/proc/21049/task/21053/stat : 21053 (java) S 21036 21035 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76049705 918593536 19835 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21054] ppid=21036 vsize=897064 CPUtime=0
/proc/21049/task/21054/stat : 21054 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76049708 918593536 19835 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21055] ppid=21036 vsize=897064 CPUtime=0.43
/proc/21049/task/21055/stat : 21055 (java) R 21036 21035 29493 34817 29493 4202560 9954 0 0 0 40 3 0 0 25 0 10 0 76049708 918593536 19835 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21049/tid=21056] ppid=21036 vsize=897064 CPUtime=0.35
/proc/21049/task/21056/stat : 21056 (java) R 21036 21035 29493 34817 29493 4202560 4446 0 0 0 35 0 0 0 20 0 10 0 76049708 918593536 19835 1283457024 134512640 134550932 4287160656 18446744073709551615 4146848132 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21049/tid=21057] ppid=21036 vsize=897064 CPUtime=0
/proc/21049/task/21057/stat : 21057 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76049708 918593536 19835 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21058] ppid=21036 vsize=897064 CPUtime=0
/proc/21049/task/21058/stat : 21058 (java) S 21036 21035 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76049708 918593536 19835 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 902204

[startup+3.10887 s]
/proc/loadavg: 2.12 1.81 1.68 4/47 21058
/proc/meminfo: memFree=170068/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) S 21034 21035 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2572 CPUtime=0.02
/proc/21036/stat : 21036 (p2cudf) S 21035 21035 29493 34817 29493 4202496 389 3011 0 1 0 0 0 2 25 0 1 0 76049699 2633728 279 1283457024 134512640 135304128 4291169936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21036/statm: 643 279 239 194 0 30 0
[pid=21049] ppid=21036 vsize=894328 CPUtime=3.08
/proc/21049/stat : 21049 (java) S 21036 21035 29493 34817 29493 4202496 57031 0 1 0 282 26 0 0 25 0 10 0 76049703 915791872 51331 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21049/statm: 223582 51331 1743 10 0 220673 0
[pid=21049/tid=21050] ppid=21036 vsize=894328 CPUtime=1.38
/proc/21049/task/21050/stat : 21050 (java) R 21036 21035 29493 34817 29493 4202560 40380 0 1 0 119 19 0 0 25 0 10 0 76049703 915791872 51331 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21049/tid=21051] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21051/stat : 21051 (java) S 21036 21035 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 76049705 915791872 51331 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21052] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21052/stat : 21052 (java) S 21036 21035 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76049705 915791872 51331 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21053] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21053/stat : 21053 (java) S 21036 21035 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76049705 915791872 51331 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21054] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21054/stat : 21054 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76049708 915791872 51331 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21055] ppid=21036 vsize=894328 CPUtime=0.56
/proc/21049/task/21055/stat : 21055 (java) S 21036 21035 29493 34817 29493 4202560 10130 0 0 0 53 3 0 0 25 0 10 0 76049708 915791872 51331 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21056] ppid=21036 vsize=894328 CPUtime=1.1
/proc/21049/task/21056/stat : 21056 (java) R 21036 21035 29493 34817 29493 4202560 5440 0 0 0 107 3 0 0 17 0 10 0 76049708 915791872 51331 1283457024 134512640 134550932 4287160656 18446744073709551615 4152759128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21049/tid=21057] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21057/stat : 21057 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76049708 915791872 51331 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21058] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21058/stat : 21058 (java) S 21036 21035 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76049708 915791872 51331 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 899468

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

[startup+3.20891 s]
/proc/loadavg: 2.12 1.81 1.68 4/47 21058
/proc/meminfo: memFree=170068/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) S 21034 21035 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2572 CPUtime=0.02
/proc/21036/stat : 21036 (p2cudf) S 21035 21035 29493 34817 29493 4202496 389 3011 0 1 0 0 0 2 25 0 1 0 76049699 2633728 279 1283457024 134512640 135304128 4291169936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21036/statm: 643 279 239 194 0 30 0
[pid=21049] ppid=21036 vsize=894328 CPUtime=3.18
/proc/21049/stat : 21049 (java) S 21036 21035 29493 34817 29493 4202496 59704 0 1 0 292 26 0 0 25 0 10 0 76049703 915791872 54004 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21049/statm: 223582 54004 1743 10 0 220673 0
[pid=21049/tid=21050] ppid=21036 vsize=894328 CPUtime=1.43
/proc/21049/task/21050/stat : 21050 (java) R 21036 21035 29493 34817 29493 4202560 43045 0 1 0 124 19 0 0 25 0 10 0 76049703 915791872 54004 1283457024 134512640 134550932 4287160656 18446744073709551615 4094652006 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21049/tid=21051] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21051/stat : 21051 (java) S 21036 21035 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 76049705 915791872 54004 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21052] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21052/stat : 21052 (java) S 21036 21035 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76049705 915791872 54004 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21053] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21053/stat : 21053 (java) S 21036 21035 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76049705 915791872 54004 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21054] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21054/stat : 21054 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76049708 915791872 54004 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21055] ppid=21036 vsize=894328 CPUtime=0.56
/proc/21049/task/21055/stat : 21055 (java) S 21036 21035 29493 34817 29493 4202560 10130 0 0 0 53 3 0 0 25 0 10 0 76049708 915791872 54004 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21056] ppid=21036 vsize=894328 CPUtime=1.15
/proc/21049/task/21056/stat : 21056 (java) S 21036 21035 29493 34817 29493 4202560 5448 0 0 0 112 3 0 0 17 0 10 0 76049708 915791872 54004 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21057] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21057/stat : 21057 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76049708 915791872 54004 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21058] ppid=21036 vsize=894328 CPUtime=0
/proc/21049/task/21058/stat : 21058 (java) S 21036 21035 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76049708 915791872 54004 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 899468

[startup+4.02909 s]
/proc/loadavg: 2.12 1.81 1.68 3/47 21058
/proc/meminfo: memFree=48300/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) S 21034 21035 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2572 CPUtime=0.02
/proc/21036/stat : 21036 (p2cudf) S 21035 21035 29493 34817 29493 4202496 389 3011 0 1 0 0 0 2 25 0 1 0 76049699 2633728 279 1283457024 134512640 135304128 4291169936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21036/statm: 643 279 239 194 0 30 0
[pid=21049] ppid=21036 vsize=894524 CPUtime=3.99
/proc/21049/stat : 21049 (java) S 21036 21035 29493 34817 29493 4202496 78774 0 1 0 366 33 0 0 25 0 10 0 76049703 915992576 71672 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21049/statm: 223631 71672 1747 10 0 220722 0
[pid=21049/tid=21050] ppid=21036 vsize=894524 CPUtime=1.58
/proc/21049/task/21050/stat : 21050 (java) R 21036 21035 29493 34817 29493 4202560 50180 0 1 0 136 22 0 0 25 0 10 0 76049703 915992576 71672 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21049/tid=21051] ppid=21036 vsize=894524 CPUtime=0.22
/proc/21049/task/21051/stat : 21051 (java) R 21036 21035 29493 34817 29493 4202560 10461 0 0 0 18 4 0 0 15 0 10 0 76049705 915992576 71672 1283457024 134512640 134550932 4287160656 18446744073709551615 4148801912 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=21049/tid=21052] ppid=21036 vsize=894524 CPUtime=0
/proc/21049/task/21052/stat : 21052 (java) S 21036 21035 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76049705 915992576 71672 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21053] ppid=21036 vsize=894524 CPUtime=0
/proc/21049/task/21053/stat : 21053 (java) S 21036 21035 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76049705 915992576 71672 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21054] ppid=21036 vsize=894524 CPUtime=0
/proc/21049/task/21054/stat : 21054 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76049708 915992576 71672 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21055] ppid=21036 vsize=894524 CPUtime=0.56
/proc/21049/task/21055/stat : 21055 (java) S 21036 21035 29493 34817 29493 4202560 10130 0 0 0 53 3 0 0 25 0 10 0 76049708 915992576 71672 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21056] ppid=21036 vsize=894524 CPUtime=1.59
/proc/21049/task/21056/stat : 21056 (java) S 21036 21035 29493 34817 29493 4202560 6928 0 0 0 156 3 0 0 16 0 10 0 76049708 915992576 71672 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21057] ppid=21036 vsize=894524 CPUtime=0
/proc/21049/task/21057/stat : 21057 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76049708 915992576 71672 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21058] ppid=21036 vsize=894524 CPUtime=0
/proc/21049/task/21058/stat : 21058 (java) S 21036 21035 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76049708 915992576 71672 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 899664

[startup+4.70601 s]
/proc/loadavg: 2.12 1.81 1.68 3/47 21058
/proc/meminfo: memFree=5240/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) S 21034 21035 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2572 CPUtime=0.02
/proc/21036/stat : 21036 (p2cudf) S 21035 21035 29493 34817 29493 4202496 389 3011 0 1 0 0 0 2 25 0 1 0 76049699 2633728 279 1283457024 134512640 135304128 4291169936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21036/statm: 643 279 239 194 0 30 0
[pid=21049] ppid=21036 vsize=894848 CPUtime=4.53
/proc/21049/stat : 21049 (java) S 21036 21035 29493 34817 29493 4202496 84178 0 1 0 419 34 0 0 25 0 11 0 76049703 916324352 77076 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21049/statm: 223712 77076 1761 10 0 220803 0
[pid=21049/tid=21050] ppid=21036 vsize=894848 CPUtime=1.78
/proc/21049/task/21050/stat : 21050 (java) S 21036 21035 29493 34817 29493 4202560 50194 0 1 0 156 22 0 0 25 0 11 0 76049703 916324352 77076 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21051] ppid=21036 vsize=894848 CPUtime=0.38
/proc/21049/task/21051/stat : 21051 (java) S 21036 21035 29493 34817 29493 4202560 15813 0 0 0 33 5 0 0 16 0 11 0 76049705 916324352 77076 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21052] ppid=21036 vsize=894848 CPUtime=0
/proc/21049/task/21052/stat : 21052 (java) S 21036 21035 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76049705 916324352 77076 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21053] ppid=21036 vsize=894848 CPUtime=0
/proc/21049/task/21053/stat : 21053 (java) S 21036 21035 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76049705 916324352 77076 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21054] ppid=21036 vsize=894848 CPUtime=0
/proc/21049/task/21054/stat : 21054 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76049708 916324352 77076 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21055] ppid=21036 vsize=894848 CPUtime=0.56
/proc/21049/task/21055/stat : 21055 (java) S 21036 21035 29493 34817 29493 4202560 10130 0 0 0 53 3 0 0 25 0 11 0 76049708 916324352 77076 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21056] ppid=21036 vsize=894848 CPUtime=1.77
/proc/21049/task/21056/stat : 21056 (java) S 21036 21035 29493 34817 29493 4202560 6960 0 0 0 174 3 0 0 15 0 11 0 76049708 916324352 77076 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21057] ppid=21036 vsize=894848 CPUtime=0
/proc/21049/task/21057/stat : 21057 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76049708 916324352 77076 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21058] ppid=21036 vsize=894848 CPUtime=0
/proc/21049/task/21058/stat : 21058 (java) S 21036 21035 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 76049708 916324352 77076 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 899988

[startup+5.10604 s]
/proc/loadavg: 2.12 1.81 1.68 3/47 21058
/proc/meminfo: memFree=5240/1048576 swapFree=0/0
[pid=21035] ppid=21034 vsize=2568 CPUtime=0
/proc/21035/stat : 21035 (p2cudf-trendy-1) S 21034 21035 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 25 0 1 0 76049699 2629632 270 1283457024 134512640 135304128 4294170992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21035/statm: 642 270 230 194 0 29 0
[pid=21036] ppid=21035 vsize=2572 CPUtime=0.02
/proc/21036/stat : 21036 (p2cudf) S 21035 21035 29493 34817 29493 4202496 389 3011 0 1 0 0 0 2 25 0 1 0 76049699 2633728 279 1283457024 134512640 135304128 4291169936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21036/statm: 643 279 239 194 0 30 0
[pid=21049] ppid=21036 vsize=894848 CPUtime=4.53
/proc/21049/stat : 21049 (java) S 21036 21035 29493 34817 29493 4202496 84180 0 1 0 419 34 0 0 25 0 10 0 76049703 916324352 77078 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21049/statm: 223712 77078 1763 10 0 220803 0
[pid=21049/tid=21050] ppid=21036 vsize=894848 CPUtime=1.78
/proc/21049/task/21050/stat : 21050 (java) S 21036 21035 29493 34817 29493 4202560 50194 0 1 0 156 22 0 0 20 0 10 0 76049703 916324352 77078 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21051] ppid=21036 vsize=894848 CPUtime=0.38
/proc/21049/task/21051/stat : 21051 (java) S 21036 21035 29493 34817 29493 4202560 15814 0 0 0 33 5 0 0 16 0 10 0 76049705 916324352 77078 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21052] ppid=21036 vsize=894848 CPUtime=0
/proc/21049/task/21052/stat : 21052 (java) S 21036 21035 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 76049705 916324352 77078 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21053] ppid=21036 vsize=894848 CPUtime=0
/proc/21049/task/21053/stat : 21053 (java) S 21036 21035 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76049705 916324352 77078 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21054] ppid=21036 vsize=894848 CPUtime=0
/proc/21049/task/21054/stat : 21054 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76049708 916324352 77078 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21055] ppid=21036 vsize=894848 CPUtime=0.56
/proc/21049/task/21055/stat : 21055 (java) S 21036 21035 29493 34817 29493 4202560 10130 0 0 0 53 3 0 0 25 0 10 0 76049708 916324352 77078 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21056] ppid=21036 vsize=894848 CPUtime=1.77
/proc/21049/task/21056/stat : 21056 (java) S 21036 21035 29493 34817 29493 4202560 6960 0 0 0 174 3 0 0 15 0 10 0 76049708 916324352 77078 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21057] ppid=21036 vsize=894848 CPUtime=0
/proc/21049/task/21057/stat : 21057 (java) S 21036 21035 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76049708 916324352 77078 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=21049/tid=21058] ppid=21036 vsize=894848 CPUtime=0
/proc/21049/task/21058/stat : 21058 (java) S 21036 21035 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76049708 916324352 77078 1283457024 134512640 134550932 4287160656 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 899988

Child status: 0
Real time (s): 5.15024
CPU time (s): 4.60029
CPU user time (s): 4.20026
CPU system time (s): 0.400025
CPU usage (%): 89.3218
Max. virtual memory (cumulated for all children) (KiB): 902672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.20026
system time used= 0.400025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87979
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= 472
involuntary context switches= 498

runsolver used 0 second user time and 0 second system time

The end