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/66.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//66.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/66.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.90 1.86 1.74 5/36 26601
/proc/meminfo: memFree=275092/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) R 26599 26600 29493 34817 29493 4202496 356 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2564 CPUtime=0
/proc/26601/stat : 26601 (p2cudf-trendy-1) R 26600 26600 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 39 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/26601/statm: 641 39 0 194 0 28 0

[startup+0.137779 s]
/proc/loadavg: 1.90 1.86 1.74 5/36 26601
/proc/meminfo: memFree=275092/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.207785 s]
/proc/loadavg: 1.90 1.86 1.74 5/36 26601
/proc/meminfo: memFree=275092/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.307812 s]
/proc/loadavg: 1.90 1.86 1.74 5/36 26601
/proc/meminfo: memFree=275092/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.707907 s]
/proc/loadavg: 1.90 1.86 1.74 5/36 26601
/proc/meminfo: memFree=275092/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50806 s]
/proc/loadavg: 1.83 1.85 1.73 5/47 26623
/proc/meminfo: memFree=231276/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
[pid=26614] ppid=26601 vsize=869216 CPUtime=1.47
/proc/26614/stat : 26614 (java) S 26601 26600 29493 34817 29493 4202496 24541 0 1 0 127 20 0 0 25 0 10 0 76330768 890077184 22610 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26614/statm: 217304 22610 1726 10 0 214395 0
[pid=26614/tid=26615] ppid=26601 vsize=869216 CPUtime=0.9
/proc/26614/task/26615/stat : 26615 (java) R 26601 26600 29493 34817 29493 4202560 18001 0 1 0 75 15 0 0 25 0 10 0 76330769 890077184 22610 1283457024 134512640 134550932 4291796416 18446744073709551615 4095131569 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26616] ppid=26601 vsize=869216 CPUtime=0
/proc/26614/task/26616/stat : 26616 (java) S 26601 26600 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 17 0 10 0 76330770 890077184 22610 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26617] ppid=26601 vsize=869216 CPUtime=0
/proc/26614/task/26617/stat : 26617 (java) S 26601 26600 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76330771 890077184 22610 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26618] ppid=26601 vsize=869216 CPUtime=0
/proc/26614/task/26618/stat : 26618 (java) S 26601 26600 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76330771 890077184 22610 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26619] ppid=26601 vsize=869216 CPUtime=0
/proc/26614/task/26619/stat : 26619 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76330773 890077184 22610 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26620] ppid=26601 vsize=869216 CPUtime=0.28
/proc/26614/task/26620/stat : 26620 (java) R 26601 26600 29493 34817 29493 4202560 4320 0 0 0 24 4 0 0 24 0 10 0 76330773 890077184 22610 1283457024 134512640 134550932 4291796416 18446744073709551615 4149467095 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26621] ppid=26601 vsize=869216 CPUtime=0.27
/proc/26614/task/26621/stat : 26621 (java) R 26601 26600 29493 34817 29493 4202560 1142 0 0 0 27 0 0 0 19 0 10 0 76330773 890077184 22610 1283457024 134512640 134550932 4291796416 18446744073709551615 4152346153 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26622] ppid=26601 vsize=869216 CPUtime=0
/proc/26614/task/26622/stat : 26622 (java) S 26601 26600 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76330773 890077184 22610 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26623] ppid=26601 vsize=869216 CPUtime=0
/proc/26614/task/26623/stat : 26623 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76330773 890077184 22610 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 874356

[startup+3.10847 s]
/proc/loadavg: 1.83 1.85 1.73 2/47 26623
/proc/meminfo: memFree=109012/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
[pid=26614] ppid=26601 vsize=875868 CPUtime=3.07
/proc/26614/stat : 26614 (java) S 26601 26600 29493 34817 29493 4202496 59726 0 1 0 271 36 0 0 25 0 10 0 76330768 896888832 56205 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26614/statm: 218967 56205 1744 10 0 216058 0
[pid=26614/tid=26615] ppid=26601 vsize=875868 CPUtime=1.6
/proc/26614/task/26615/stat : 26615 (java) R 26601 26600 29493 34817 29493 4202560 50075 0 1 0 130 30 0 0 25 0 10 0 76330769 896888832 56205 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26616] ppid=26601 vsize=875868 CPUtime=0
/proc/26614/task/26616/stat : 26616 (java) S 26601 26600 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76330770 896888832 56205 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26617] ppid=26601 vsize=875868 CPUtime=0
/proc/26614/task/26617/stat : 26617 (java) S 26601 26600 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76330771 896888832 56205 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26618] ppid=26601 vsize=875868 CPUtime=0
/proc/26614/task/26618/stat : 26618 (java) S 26601 26600 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76330771 896888832 56205 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26619] ppid=26601 vsize=875868 CPUtime=0
/proc/26614/task/26619/stat : 26619 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76330773 896888832 56205 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26620] ppid=26601 vsize=875868 CPUtime=0.54
/proc/26614/task/26620/stat : 26620 (java) R 26601 26600 29493 34817 29493 4202560 4906 0 0 0 50 4 0 0 22 0 10 0 76330773 896888832 56205 1283457024 134512640 134550932 4291796416 18446744073709551615 4151787540 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26621] ppid=26601 vsize=875868 CPUtime=0.9
/proc/26614/task/26621/stat : 26621 (java) R 26601 26600 29493 34817 29493 4202560 3667 0 0 0 90 0 0 0 16 0 10 0 76330773 896888832 56205 1283457024 134512640 134550932 4291796416 18446744073709551615 4148610636 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26622] ppid=26601 vsize=875868 CPUtime=0
/proc/26614/task/26622/stat : 26622 (java) S 26601 26600 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76330773 896888832 56205 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26623] ppid=26601 vsize=875868 CPUtime=0
/proc/26614/task/26623/stat : 26623 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76330773 896888832 56205 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 881008

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

[startup+3.20849 s]
/proc/loadavg: 1.83 1.85 1.73 2/47 26623
/proc/meminfo: memFree=109012/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
[pid=26614] ppid=26601 vsize=875148 CPUtime=3.17
/proc/26614/stat : 26614 (java) S 26601 26600 29493 34817 29493 4202496 60109 0 1 0 280 37 0 0 25 0 10 0 76330768 896151552 56034 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26614/statm: 218787 56034 1744 10 0 215878 0
[pid=26614/tid=26615] ppid=26601 vsize=875148 CPUtime=1.6
/proc/26614/task/26615/stat : 26615 (java) R 26601 26600 29493 34817 29493 4202560 50075 0 1 0 130 30 0 0 25 0 10 0 76330769 896151552 56034 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26616] ppid=26601 vsize=875148 CPUtime=0
/proc/26614/task/26616/stat : 26616 (java) S 26601 26600 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76330770 896151552 56034 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26617] ppid=26601 vsize=875148 CPUtime=0
/proc/26614/task/26617/stat : 26617 (java) S 26601 26600 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76330771 896151552 56034 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26618] ppid=26601 vsize=875148 CPUtime=0
/proc/26614/task/26618/stat : 26618 (java) S 26601 26600 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76330771 896151552 56034 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26619] ppid=26601 vsize=875148 CPUtime=0
/proc/26614/task/26619/stat : 26619 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76330773 896151552 56034 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26620] ppid=26601 vsize=875148 CPUtime=0.54
/proc/26614/task/26620/stat : 26620 (java) R 26601 26600 29493 34817 29493 4202560 4906 0 0 0 50 4 0 0 22 0 10 0 76330773 896151552 56034 1283457024 134512640 134550932 4291796416 18446744073709551615 4151787540 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26621] ppid=26601 vsize=875148 CPUtime=1.01
/proc/26614/task/26621/stat : 26621 (java) R 26601 26600 29493 34817 29493 4202560 4050 0 0 0 100 1 0 0 16 0 10 0 76330773 896151552 56034 1283457024 134512640 134550932 4291796416 18446744073709551615 4147910014 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26622] ppid=26601 vsize=875148 CPUtime=0
/proc/26614/task/26622/stat : 26622 (java) S 26601 26600 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 76330773 896151552 56034 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26623] ppid=26601 vsize=875148 CPUtime=0
/proc/26614/task/26623/stat : 26623 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76330773 896151552 56034 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 880288

[startup+4.80891 s]
/proc/loadavg: 1.83 1.85 1.73 4/48 26624
/proc/meminfo: memFree=6260/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
[pid=26614] ppid=26601 vsize=873052 CPUtime=4.77
/proc/26614/stat : 26614 (java) S 26601 26600 29493 34817 29493 4202496 76090 0 1 0 437 40 0 0 25 0 11 0 76330768 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26614/statm: 218263 71707 1770 10 0 215354 0
[pid=26614/tid=26615] ppid=26601 vsize=873052 CPUtime=2.1
/proc/26614/task/26615/stat : 26615 (java) R 26601 26600 29493 34817 29493 4202560 50256 0 1 0 179 31 0 0 25 0 11 0 76330769 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4096118874 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26616] ppid=26601 vsize=873052 CPUtime=0.34
/proc/26614/task/26616/stat : 26616 (java) S 26601 26600 29493 34817 29493 4202560 15686 0 0 0 32 2 0 0 15 0 11 0 76330770 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26617] ppid=26601 vsize=873052 CPUtime=0
/proc/26614/task/26617/stat : 26617 (java) S 26601 26600 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76330771 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26618] ppid=26601 vsize=873052 CPUtime=0
/proc/26614/task/26618/stat : 26618 (java) S 26601 26600 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76330771 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26619] ppid=26601 vsize=873052 CPUtime=0
/proc/26614/task/26619/stat : 26619 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76330773 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26620] ppid=26601 vsize=873052 CPUtime=1.08
/proc/26614/task/26620/stat : 26620 (java) S 26601 26600 29493 34817 29493 4202560 4980 0 0 0 104 4 0 0 20 0 11 0 76330773 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26621] ppid=26601 vsize=873052 CPUtime=1.21
/proc/26614/task/26621/stat : 26621 (java) S 26601 26600 29493 34817 29493 4202560 4091 0 0 0 120 1 0 0 15 0 11 0 76330773 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26622] ppid=26601 vsize=873052 CPUtime=0
/proc/26614/task/26622/stat : 26622 (java) S 26601 26600 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76330773 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26623] ppid=26601 vsize=873052 CPUtime=0
/proc/26614/task/26623/stat : 26623 (java) R 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76330773 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26624] ppid=26601 vsize=873052 CPUtime=0
/proc/26614/task/26624/stat : 26624 (java) S 26601 26600 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 11 0 76331180 894005248 71707 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 878192

[startup+5.60609 s]
/proc/loadavg: 1.76 1.83 1.73 1/49 26626
/proc/meminfo: memFree=6004/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
[pid=26614] ppid=26601 vsize=873376 CPUtime=5.14
/proc/26614/stat : 26614 (java) S 26601 26600 29493 34817 29493 4202496 76102 0 1 0 474 40 0 0 25 0 12 0 76330768 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26614/statm: 218344 71719 1770 10 0 215435 0
[pid=26614/tid=26615] ppid=26601 vsize=873376 CPUtime=2.47
/proc/26614/task/26615/stat : 26615 (java) S 26601 26600 29493 34817 29493 4202560 50264 0 1 0 216 31 0 0 25 0 12 0 76330769 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26616] ppid=26601 vsize=873376 CPUtime=0.34
/proc/26614/task/26616/stat : 26616 (java) S 26601 26600 29493 34817 29493 4202560 15686 0 0 0 32 2 0 0 16 0 12 0 76330770 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26617] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26617/stat : 26617 (java) S 26601 26600 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 76330771 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26618] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26618/stat : 26618 (java) S 26601 26600 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 76330771 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26619] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26619/stat : 26619 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76330773 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26620] ppid=26601 vsize=873376 CPUtime=1.08
/proc/26614/task/26620/stat : 26620 (java) S 26601 26600 29493 34817 29493 4202560 4980 0 0 0 104 4 0 0 16 0 12 0 76330773 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26621] ppid=26601 vsize=873376 CPUtime=1.21
/proc/26614/task/26621/stat : 26621 (java) S 26601 26600 29493 34817 29493 4202560 4091 0 0 0 120 1 0 0 15 0 12 0 76330773 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26622] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26622/stat : 26622 (java) S 26601 26600 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 12 0 76330773 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26623] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26623/stat : 26623 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 12 0 76330773 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26624] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26624/stat : 26624 (java) S 26601 26600 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 12 0 76331180 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26625] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26625/stat : 26625 (java) S 26601 26600 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 76331283 894337024 71719 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 878516

[startup+5.80215 s]
/proc/loadavg: 1.76 1.83 1.73 1/49 26626
/proc/meminfo: memFree=6004/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
[pid=26614] ppid=26601 vsize=873376 CPUtime=5.26
/proc/26614/stat : 26614 (java) S 26601 26600 29493 34817 29493 4202496 76109 0 1 0 484 42 0 0 25 0 12 0 76330768 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26614/statm: 218344 71726 1771 10 0 215435 0
[pid=26614/tid=26615] ppid=26601 vsize=873376 CPUtime=2.47
/proc/26614/task/26615/stat : 26615 (java) S 26601 26600 29493 34817 29493 4202560 50264 0 1 0 216 31 0 0 25 0 12 0 76330769 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26616] ppid=26601 vsize=873376 CPUtime=0.34
/proc/26614/task/26616/stat : 26616 (java) S 26601 26600 29493 34817 29493 4202560 15686 0 0 0 32 2 0 0 16 0 12 0 76330770 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26617] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26617/stat : 26617 (java) S 26601 26600 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 76330771 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26618] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26618/stat : 26618 (java) S 26601 26600 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 76330771 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26619] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26619/stat : 26619 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76330773 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26620] ppid=26601 vsize=873376 CPUtime=1.12
/proc/26614/task/26620/stat : 26620 (java) S 26601 26600 29493 34817 29493 4202560 4985 0 0 0 108 4 0 0 16 0 12 0 76330773 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26621] ppid=26601 vsize=873376 CPUtime=1.21
/proc/26614/task/26621/stat : 26621 (java) S 26601 26600 29493 34817 29493 4202560 4091 0 0 0 120 1 0 0 15 0 12 0 76330773 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26622] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26622/stat : 26622 (java) S 26601 26600 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 12 0 76330773 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26623] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26623/stat : 26623 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 12 0 76330773 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26624] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26624/stat : 26624 (java) S 26601 26600 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 12 0 76331180 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26625] ppid=26601 vsize=873376 CPUtime=0.06
/proc/26614/task/26625/stat : 26625 (java) R 26601 26600 29493 34817 29493 4202560 6 0 0 0 5 1 0 0 20 0 12 0 76331283 894337024 71726 1283457024 134512640 134550932 4291796416 18446744073709551615 4095107652 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 878516

[startup+5.90609 s]
/proc/loadavg: 1.76 1.83 1.73 1/49 26626
/proc/meminfo: memFree=6004/1048576 swapFree=0/0
[pid=26600] ppid=26599 vsize=2564 CPUtime=0
/proc/26600/stat : 26600 (p2cudf-trendy-1) S 26599 26600 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 76330765 2625536 269 1283457024 134512640 135304128 4294746624 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26600/statm: 641 269 230 194 0 28 0
[pid=26601] ppid=26600 vsize=2576 CPUtime=0.03
/proc/26601/stat : 26601 (p2cudf) S 26600 26600 29493 34817 29493 4202496 392 3012 0 1 0 0 2 1 25 0 1 0 76330765 2637824 281 1283457024 134512640 135304128 4291348160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26601/statm: 644 281 239 194 0 31 0
[pid=26614] ppid=26601 vsize=873376 CPUtime=5.3
/proc/26614/stat : 26614 (java) S 26601 26600 29493 34817 29493 4202496 76116 0 1 0 488 42 0 0 25 0 11 0 76330768 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26614/statm: 218344 71733 1772 10 0 215435 0
[pid=26614/tid=26615] ppid=26601 vsize=873376 CPUtime=2.47
/proc/26614/task/26615/stat : 26615 (java) S 26601 26600 29493 34817 29493 4202560 50264 0 1 0 216 31 0 0 19 0 11 0 76330769 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26616] ppid=26601 vsize=873376 CPUtime=0.34
/proc/26614/task/26616/stat : 26616 (java) S 26601 26600 29493 34817 29493 4202560 15686 0 0 0 32 2 0 0 16 0 11 0 76330770 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26617] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26617/stat : 26617 (java) S 26601 26600 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76330771 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26618] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26618/stat : 26618 (java) S 26601 26600 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76330771 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26619] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26619/stat : 26619 (java) S 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76330773 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26620] ppid=26601 vsize=873376 CPUtime=1.14
/proc/26614/task/26620/stat : 26620 (java) S 26601 26600 29493 34817 29493 4202560 4991 0 0 0 110 4 0 0 16 0 11 0 76330773 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26621] ppid=26601 vsize=873376 CPUtime=1.21
/proc/26614/task/26621/stat : 26621 (java) S 26601 26600 29493 34817 29493 4202560 4091 0 0 0 120 1 0 0 15 0 11 0 76330773 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26622] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26622/stat : 26622 (java) S 26601 26600 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 76330773 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
[pid=26614/tid=26623] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26623/stat : 26623 (java) R 26601 26600 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76330773 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26614/tid=26624] ppid=26601 vsize=873376 CPUtime=0
/proc/26614/task/26624/stat : 26624 (java) S 26601 26600 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 11 0 76331180 894337024 71733 1283457024 134512640 134550932 4291796416 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 878516

Child status: 0
Real time (s): 5.93768
CPU time (s): 5.36833
CPU user time (s): 4.90831
CPU system time (s): 0.460028
CPU usage (%): 90.4114
Max. virtual memory (cumulated for all children) (KiB): 881008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.90831
system time used= 0.460028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79916
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= 690
involuntary context switches= 676

runsolver used 0 second user time and 0 second system time

The end