runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456531-1307642241/watcher-3456531-1307642241 -o /tmp/evaluation-result-3456531-1307642241/solver-3456531-1307642241 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456531-1307642241.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.04 2.01 2/195 31468
/proc/meminfo: memFree=28001692/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/31468/stat : 31468 (java) R 31466 31468 30485 0 -1 4202496 948 0 0 0 0 0 0 0 22 0 1 0 954454801 23580672 692 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251362584040 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31468/statm: 5757 692 509 9 0 124 0
[startup+0.034019 s]
/proc/loadavg: 2.08 2.04 2.01 2/195 31468
/proc/meminfo: memFree=28001692/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=10520548 CPUtime=0.02 cores=1,3,5,7
/proc/31468/stat : 31468 (java) S 31466 31468 30485 0 -1 4202496 10859 0 1 0 1 1 0 0 22 0 10 0 954454801 10773041152 10558 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 2630137 10561 1540 9 0 2620885 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10520548
[startup+0.100987 s]
/proc/loadavg: 2.08 2.04 2.01 2/195 31468
/proc/meminfo: memFree=28001692/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=10540132 CPUtime=0.09 cores=1,3,5,7
/proc/31468/stat : 31468 (java) S 31466 31468 30485 0 -1 4202496 12988 0 1 0 8 1 0 0 22 0 18 0 954454801 10793095168 12685 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 2635033 12686 2093 9 0 2625767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540132
[startup+0.300946 s]
/proc/loadavg: 2.08 2.04 2.01 2/195 31468
/proc/meminfo: memFree=28001692/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=10559900 CPUtime=0.59 cores=1,3,5,7
/proc/31468/stat : 31468 (java) S 31466 31468 30485 0 -1 4202496 23507 0 1 0 55 4 0 0 22 0 18 0 954454801 10813337600 20904 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 2639975 20904 2211 9 0 2630709 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10559900
[startup+0.700875 s]
/proc/loadavg: 2.08 2.04 2.01 2/195 31468
/proc/meminfo: memFree=28001692/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=10560928 CPUtime=1.53 cores=1,3,5,7
/proc/31468/stat : 31468 (java) S 31466 31468 30485 0 -1 4202496 30687 0 1 0 149 4 0 0 22 0 19 0 954454801 10814390272 26174 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 2640232 26177 2227 9 0 2630966 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10560928
[startup+1.50074 s]
/proc/loadavg: 2.08 2.04 2.01 3/214 31487
/proc/meminfo: memFree=27790440/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=10560928 CPUtime=2.64 cores=1,3,5,7
/proc/31468/stat : 31468 (java) S 31466 31468 30485 0 -1 4202496 118159 0 1 0 251 13 0 0 22 0 19 0 954454801 10814390272 111049 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 2640232 111057 2229 9 0 2630966 0
[pid=31468/tid=31470] ppid=31466 vsize=10560928 CPUtime=1.48 cores=1,3,5,7
/proc/31468/task/31470/stat : 31470 (java) R 31466 31468 30485 0 -1 4202560 102098 0 1 0 138 10 0 0 18 0 19 0 954454802 10814390272 111062 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 46912505570493 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31468/tid=31471] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31471/stat : 31471 (java) S 31466 31468 30485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 954454804 10814390272 111067 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31472] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31472/stat : 31472 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 111072 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31473] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31473/stat : 31473 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 111077 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31474] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31474/stat : 31474 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 111080 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31475] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31475/stat : 31475 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 111081 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31476] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31476/stat : 31476 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 111092 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31477] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31477/stat : 31477 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 111092 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31478] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31478/stat : 31478 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 111095 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31479] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31479/stat : 31479 (java) S 31466 31468 30485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954454805 10814390272 111099 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 0 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31480] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31480/stat : 31480 (java) S 31466 31468 30485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 954454805 10814390272 111104 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31481] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31481/stat : 31481 (java) S 31466 31468 30485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954454805 10814390272 111109 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31482] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31482/stat : 31482 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954454807 10814390272 111115 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379370417 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31483] ppid=31466 vsize=10560928 CPUtime=0.51 cores=1,3,5,7
/proc/31468/task/31483/stat : 31483 (java) S 31466 31468 30485 0 -1 4202560 5814 0 0 0 51 0 0 0 16 0 19 0 954454807 10814390272 111119 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31484] ppid=31466 vsize=10560928 CPUtime=0.61 cores=1,3,5,7
/proc/31468/task/31484/stat : 31484 (java) R 31466 31468 30485 0 -1 4202560 9111 0 0 0 60 1 0 0 20 0 19 0 954454807 10814390272 111124 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 47710506865104 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31468/tid=31485] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31485/stat : 31485 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954454807 10814390272 111129 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31486] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31486/stat : 31486 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954454807 10814390272 111134 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
[pid=31468/tid=31487] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31487/stat : 31487 (java) S 31466 31468 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954454835 10814390272 111139 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10560928
[startup+3.10144 s]
/proc/loadavg: 2.08 2.04 2.01 3/214 31487
/proc/meminfo: memFree=27258480/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=10560928 CPUtime=4.34 cores=1,3,5,7
/proc/31468/stat : 31468 (java) S 31466 31468 30485 0 -1 4202496 324554 0 1 0 400 34 0 0 22 0 19 0 954454801 10814390272 316084 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 2640232 316091 2230 9 0 2630966 0
[pid=31468/tid=31470] ppid=31466 vsize=10560928 CPUtime=3.08 cores=1,3,5,7
/proc/31468/task/31470/stat : 31470 (java) R 31466 31468 30485 0 -1 4202560 307466 0 1 0 277 31 0 0 21 0 19 0 954454802 10814390272 316095 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 46912505570478 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31468/tid=31471] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31471/stat : 31471 (java) S 31466 31468 30485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 954454804 10814390272 316100 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31472] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31472/stat : 31472 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 316104 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31473] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31473/stat : 31473 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 316104 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31474] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31474/stat : 31474 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 316104 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31475] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31475/stat : 31475 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 316106 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31476] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31476/stat : 31476 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 316111 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31477] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31477/stat : 31477 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 316116 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31478] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31478/stat : 31478 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954454804 10814390272 316122 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31479] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31479/stat : 31479 (java) S 31466 31468 30485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954454805 10814390272 316125 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 0 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31480] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31480/stat : 31480 (java) S 31466 31468 30485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 954454805 10814390272 316125 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31481] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31481/stat : 31481 (java) S 31466 31468 30485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 954454805 10814390272 316125 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31482] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31482/stat : 31482 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954454807 10814390272 316127 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379370417 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31483] ppid=31466 vsize=10560928 CPUtime=0.51 cores=1,3,5,7
/proc/31468/task/31483/stat : 31483 (java) S 31466 31468 30485 0 -1 4202560 5814 0 0 0 51 0 0 0 16 0 19 0 954454807 10814390272 316132 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31484] ppid=31466 vsize=10560928 CPUtime=0.72 cores=1,3,5,7
/proc/31468/task/31484/stat : 31484 (java) S 31466 31468 30485 0 -1 4202560 10124 0 0 0 70 2 0 0 15 0 19 0 954454807 10814390272 316137 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31485] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31485/stat : 31485 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954454807 10814390272 316143 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31486] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31486/stat : 31486 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954454807 10814390272 316146 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
[pid=31468/tid=31487] ppid=31466 vsize=10560928 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31487/stat : 31487 (java) S 31466 31468 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954454835 10814390272 316146 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10560928
[startup+6.30087 s]
/proc/loadavg: 2.08 2.04 2.01 3/214 31487
/proc/meminfo: memFree=25641660/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=10557492 CPUtime=7.63 cores=1,3,5,7
/proc/31468/stat : 31468 (java) S 31466 31468 30485 0 -1 4202496 669130 0 1 0 693 70 0 0 22 0 19 0 954454801 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 2639373 660015 2244 9 0 2630107 0
[pid=31468/tid=31470] ppid=31466 vsize=10557492 CPUtime=6.27 cores=1,3,5,7
/proc/31468/task/31470/stat : 31470 (java) R 31466 31468 30485 0 -1 4202560 651055 0 1 0 561 66 0 0 21 0 19 0 954454802 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 46912505605440 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31468/tid=31471] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31471/stat : 31471 (java) S 31466 31468 30485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 954454804 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31472] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31472/stat : 31472 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954454804 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31473] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31473/stat : 31473 (java) S 31466 31468 30485 0 -1 4202560 106 0 0 0 0 0 0 0 18 0 19 0 954454804 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31474] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31474/stat : 31474 (java) S 31466 31468 30485 0 -1 4202560 309 0 0 0 0 0 0 0 18 0 19 0 954454804 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
[pid=31468/tid=31475] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31475/stat : 31475 (java) S 31466 31468 30485 0 -1 4202560 259 0 0 0 0 0 0 0 18 0 19 0 954454804 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31476] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31476/stat : 31476 (java) S 31466 31468 30485 0 -1 4202560 290 0 0 0 0 0 0 0 18 0 19 0 954454804 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31477] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31477/stat : 31477 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954454804 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31478] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31478/stat : 31478 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954454804 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31479] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31479/stat : 31479 (java) S 31466 31468 30485 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 954454805 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 0 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31480] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31480/stat : 31480 (java) S 31466 31468 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954454805 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31481] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31481/stat : 31481 (java) S 31466 31468 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954454805 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31482] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31482/stat : 31482 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954454807 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379370417 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31483] ppid=31466 vsize=10557492 CPUtime=0.54 cores=1,3,5,7
/proc/31468/task/31483/stat : 31483 (java) S 31466 31468 30485 0 -1 4202560 5815 0 0 0 54 0 0 0 15 0 19 0 954454807 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31484] ppid=31466 vsize=10557492 CPUtime=0.78 cores=1,3,5,7
/proc/31468/task/31484/stat : 31484 (java) S 31466 31468 30485 0 -1 4202560 10130 0 0 0 76 2 0 0 15 0 19 0 954454807 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31485] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31485/stat : 31485 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954454807 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31486] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31486/stat : 31486 (java) S 31466 31468 30485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954454807 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
[pid=31468/tid=31487] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31487/stat : 31487 (java) S 31466 31468 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954454835 10810871808 660015 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 10557492
[startup+12.7007 s]
################
# More data... #
################
/proc/31468/task/31481/stat : 31481 (java) S 31466 31468 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954454805 10810871808 943992 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31482] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31482/stat : 31482 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954454807 10810871808 943992 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379370417 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31483] ppid=31466 vsize=10557492 CPUtime=0.66 cores=1,3,5,7
/proc/31468/task/31483/stat : 31483 (java) S 31466 31468 30485 0 -1 4202560 5834 0 0 0 66 0 0 0 15 0 19 0 954454807 10810871808 943992 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31484] ppid=31466 vsize=10557492 CPUtime=0.99 cores=1,3,5,7
/proc/31468/task/31484/stat : 31484 (java) S 31466 31468 30485 0 -1 4202560 10152 0 0 0 97 2 0 0 15 0 19 0 954454807 10810871808 943992 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31485] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31485/stat : 31485 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954454807 10810871808 943992 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31486] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31486/stat : 31486 (java) S 31466 31468 30485 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 954454807 10810871808 943992 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31487] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31487/stat : 31487 (java) S 31466 31468 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954454835 10810871808 943992 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.93
Current children cumulated vsize (KiB) 10557492
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 31600
/proc/meminfo: memFree=24818644/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=10557492 CPUtime=1726.03 cores=1,3,5,7
/proc/31468/stat : 31468 (java) S 31466 31468 30485 0 -1 4202496 958289 0 1 0 172494 109 0 0 22 0 19 0 954454801 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 2639373 946841 2243 9 0 2630107 0
[pid=31468/tid=31470] ppid=31466 vsize=10557492 CPUtime=1721.21 cores=1,3,5,7
/proc/31468/task/31470/stat : 31470 (java) R 31466 31468 30485 0 -1 4202560 854443 0 1 0 172034 87 0 0 25 0 19 0 954454802 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 46912505917152 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31468/tid=31471] ppid=31466 vsize=10557492 CPUtime=0.36 cores=1,3,5,7
/proc/31468/task/31471/stat : 31471 (java) S 31466 31468 30485 0 -1 4202560 8166 0 0 0 35 1 0 0 16 0 19 0 954454804 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31472] ppid=31466 vsize=10557492 CPUtime=0.38 cores=1,3,5,7
/proc/31468/task/31472/stat : 31472 (java) S 31466 31468 30485 0 -1 4202560 10771 0 0 0 36 2 0 0 15 0 19 0 954454804 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31473] ppid=31466 vsize=10557492 CPUtime=0.35 cores=1,3,5,7
/proc/31468/task/31473/stat : 31473 (java) S 31466 31468 30485 0 -1 4202560 10740 0 0 0 34 1 0 0 15 0 19 0 954454804 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
[pid=31468/tid=31474] ppid=31466 vsize=10557492 CPUtime=0.43 cores=1,3,5,7
/proc/31468/task/31474/stat : 31474 (java) S 31466 31468 30485 0 -1 4202560 12065 0 0 0 41 2 0 0 15 0 19 0 954454804 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31475] ppid=31466 vsize=10557492 CPUtime=0.33 cores=1,3,5,7
/proc/31468/task/31475/stat : 31475 (java) S 31466 31468 30485 0 -1 4202560 11223 0 0 0 31 2 0 0 15 0 19 0 954454804 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31476] ppid=31466 vsize=10557492 CPUtime=0.35 cores=1,3,5,7
/proc/31468/task/31476/stat : 31476 (java) S 31466 31468 30485 0 -1 4202560 11427 0 0 0 34 1 0 0 15 0 19 0 954454804 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31477] ppid=31466 vsize=10557492 CPUtime=0.41 cores=1,3,5,7
/proc/31468/task/31477/stat : 31477 (java) S 31466 31468 30485 0 -1 4202560 11058 0 0 0 40 1 0 0 16 0 19 0 954454804 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31478] ppid=31466 vsize=10557492 CPUtime=0.38 cores=1,3,5,7
/proc/31468/task/31478/stat : 31478 (java) S 31466 31468 30485 0 -1 4202560 11050 0 0 0 36 2 0 0 16 0 19 0 954454804 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
[pid=31468/tid=31479] ppid=31466 vsize=10557492 CPUtime=0.06 cores=1,3,5,7
/proc/31468/task/31479/stat : 31479 (java) S 31466 31468 30485 0 -1 4202560 111 0 0 0 4 2 0 0 15 0 19 0 954454805 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 0 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31480] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31480/stat : 31480 (java) S 31466 31468 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954454805 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31481] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31481/stat : 31481 (java) S 31466 31468 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954454805 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31482] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31482/stat : 31482 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954454807 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379370417 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31483] ppid=31466 vsize=10557492 CPUtime=0.66 cores=1,3,5,7
/proc/31468/task/31483/stat : 31483 (java) S 31466 31468 30485 0 -1 4202560 5834 0 0 0 66 0 0 0 15 0 19 0 954454807 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31484] ppid=31466 vsize=10557492 CPUtime=0.99 cores=1,3,5,7
/proc/31468/task/31484/stat : 31484 (java) S 31466 31468 30485 0 -1 4202560 10152 0 0 0 97 2 0 0 15 0 19 0 954454807 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31485] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31485/stat : 31485 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954454807 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31486] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31486/stat : 31486 (java) S 31466 31468 30485 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954454807 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31487] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31487/stat : 31487 (java) S 31466 31468 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954454835 10810871808 946841 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.03
Current children cumulated vsize (KiB) 10557492
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 31602
/proc/meminfo: memFree=24806056/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=10557492 CPUtime=1786.11 cores=1,3,5,7
/proc/31468/stat : 31468 (java) S 31466 31468 30485 0 -1 4202496 961056 0 1 0 178502 109 0 0 22 0 19 0 954454801 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 2639373 949482 2243 9 0 2630107 0
[pid=31468/tid=31470] ppid=31466 vsize=10557492 CPUtime=1781.16 cores=1,3,5,7
/proc/31468/task/31470/stat : 31470 (java) R 31466 31468 30485 0 -1 4202560 854455 0 1 0 178029 87 0 0 25 0 19 0 954454802 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 46912505813037 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31468/tid=31471] ppid=31466 vsize=10557492 CPUtime=0.37 cores=1,3,5,7
/proc/31468/task/31471/stat : 31471 (java) S 31466 31468 30485 0 -1 4202560 8183 0 0 0 36 1 0 0 15 0 19 0 954454804 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31472] ppid=31466 vsize=10557492 CPUtime=0.39 cores=1,3,5,7
/proc/31468/task/31472/stat : 31472 (java) S 31466 31468 30485 0 -1 4202560 10786 0 0 0 37 2 0 0 15 0 19 0 954454804 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31473] ppid=31466 vsize=10557492 CPUtime=0.37 cores=1,3,5,7
/proc/31468/task/31473/stat : 31473 (java) S 31466 31468 30485 0 -1 4202560 10835 0 0 0 36 1 0 0 16 0 19 0 954454804 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31474] ppid=31466 vsize=10557492 CPUtime=0.44 cores=1,3,5,7
/proc/31468/task/31474/stat : 31474 (java) S 31466 31468 30485 0 -1 4202560 12235 0 0 0 42 2 0 0 16 0 19 0 954454804 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
[pid=31468/tid=31475] ppid=31466 vsize=10557492 CPUtime=0.35 cores=1,3,5,7
/proc/31468/task/31475/stat : 31475 (java) S 31466 31468 30485 0 -1 4202560 11332 0 0 0 33 2 0 0 15 0 19 0 954454804 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31476] ppid=31466 vsize=10557492 CPUtime=0.37 cores=1,3,5,7
/proc/31468/task/31476/stat : 31476 (java) S 31466 31468 30485 0 -1 4202560 11503 0 0 0 36 1 0 0 16 0 19 0 954454804 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31477] ppid=31466 vsize=10557492 CPUtime=0.44 cores=1,3,5,7
/proc/31468/task/31477/stat : 31477 (java) S 31466 31468 30485 0 -1 4202560 12889 0 0 0 42 2 0 0 15 0 19 0 954454804 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31478] ppid=31466 vsize=10557492 CPUtime=0.39 cores=1,3,5,7
/proc/31468/task/31478/stat : 31478 (java) S 31466 31468 30485 0 -1 4202560 11484 0 0 0 37 2 0 0 15 0 19 0 954454804 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31479] ppid=31466 vsize=10557492 CPUtime=0.06 cores=1,3,5,7
/proc/31468/task/31479/stat : 31479 (java) S 31466 31468 30485 0 -1 4202560 115 0 0 0 4 2 0 0 15 0 19 0 954454805 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 0 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31480] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31480/stat : 31480 (java) S 31466 31468 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954454805 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31481] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31481/stat : 31481 (java) S 31466 31468 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954454805 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31482] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31482/stat : 31482 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954454807 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379370417 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31483] ppid=31466 vsize=10557492 CPUtime=0.66 cores=1,3,5,7
/proc/31468/task/31483/stat : 31483 (java) S 31466 31468 30485 0 -1 4202560 5834 0 0 0 66 0 0 0 15 0 19 0 954454807 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31484] ppid=31466 vsize=10557492 CPUtime=0.99 cores=1,3,5,7
/proc/31468/task/31484/stat : 31484 (java) S 31466 31468 30485 0 -1 4202560 10152 0 0 0 97 2 0 0 15 0 19 0 954454807 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31485] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31485/stat : 31485 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954454807 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31486] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31486/stat : 31486 (java) S 31466 31468 30485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954454807 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31487] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31487/stat : 31487 (java) S 31466 31468 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954454835 10810871808 949482 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.11
Current children cumulated vsize (KiB) 10557492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 31602
/proc/meminfo: memFree=24802704/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=10557492 CPUtime=1800.05 cores=1,3,5,7
/proc/31468/stat : 31468 (java) S 31466 31468 30485 0 -1 4202496 961827 0 1 0 179896 109 0 0 22 0 19 0 954454801 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 2639373 950244 2243 9 0 2630107 0
[pid=31468/tid=31470] ppid=31466 vsize=10557492 CPUtime=1795.07 cores=1,3,5,7
/proc/31468/task/31470/stat : 31470 (java) R 31466 31468 30485 0 -1 4202560 854457 0 1 0 179420 87 0 0 25 0 19 0 954454802 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 46912505813334 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31468/tid=31471] ppid=31466 vsize=10557492 CPUtime=0.37 cores=1,3,5,7
/proc/31468/task/31471/stat : 31471 (java) S 31466 31468 30485 0 -1 4202560 8195 0 0 0 36 1 0 0 16 0 19 0 954454804 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31472] ppid=31466 vsize=10557492 CPUtime=0.4 cores=1,3,5,7
/proc/31468/task/31472/stat : 31472 (java) S 31466 31468 30485 0 -1 4202560 10787 0 0 0 38 2 0 0 16 0 19 0 954454804 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31473] ppid=31466 vsize=10557492 CPUtime=0.38 cores=1,3,5,7
/proc/31468/task/31473/stat : 31473 (java) S 31466 31468 30485 0 -1 4202560 11102 0 0 0 37 1 0 0 15 0 19 0 954454804 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 3 0 0 0
[pid=31468/tid=31474] ppid=31466 vsize=10557492 CPUtime=0.44 cores=1,3,5,7
/proc/31468/task/31474/stat : 31474 (java) S 31466 31468 30485 0 -1 4202560 12235 0 0 0 42 2 0 0 15 0 19 0 954454804 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
[pid=31468/tid=31475] ppid=31466 vsize=10557492 CPUtime=0.35 cores=1,3,5,7
/proc/31468/task/31475/stat : 31475 (java) S 31466 31468 30485 0 -1 4202560 11332 0 0 0 33 2 0 0 15 0 19 0 954454804 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31476] ppid=31466 vsize=10557492 CPUtime=0.37 cores=1,3,5,7
/proc/31468/task/31476/stat : 31476 (java) S 31466 31468 30485 0 -1 4202560 11504 0 0 0 36 1 0 0 16 0 19 0 954454804 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
[pid=31468/tid=31477] ppid=31466 vsize=10557492 CPUtime=0.45 cores=1,3,5,7
/proc/31468/task/31477/stat : 31477 (java) S 31466 31468 30485 0 -1 4202560 13368 0 0 0 43 2 0 0 16 0 19 0 954454804 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31478] ppid=31466 vsize=10557492 CPUtime=0.39 cores=1,3,5,7
/proc/31468/task/31478/stat : 31478 (java) S 31466 31468 30485 0 -1 4202560 11493 0 0 0 37 2 0 0 15 0 19 0 954454804 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31479] ppid=31466 vsize=10557492 CPUtime=0.06 cores=1,3,5,7
/proc/31468/task/31479/stat : 31479 (java) S 31466 31468 30485 0 -1 4202560 115 0 0 0 4 2 0 0 15 0 19 0 954454805 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 0 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31480] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31480/stat : 31480 (java) S 31466 31468 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954454805 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31481] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31481/stat : 31481 (java) S 31466 31468 30485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954454805 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31482] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31482/stat : 31482 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 954454807 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379370417 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31483] ppid=31466 vsize=10557492 CPUtime=0.66 cores=1,3,5,7
/proc/31468/task/31483/stat : 31483 (java) S 31466 31468 30485 0 -1 4202560 5834 0 0 0 66 0 0 0 15 0 19 0 954454807 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31484] ppid=31466 vsize=10557492 CPUtime=0.99 cores=1,3,5,7
/proc/31468/task/31484/stat : 31484 (java) S 31466 31468 30485 0 -1 4202560 10152 0 0 0 97 2 0 0 15 0 19 0 954454807 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31485] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31485/stat : 31485 (java) S 31466 31468 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954454807 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379362713 0 4 0 16800975 18446604462691080064 0 0 -1 1 0 0 0
[pid=31468/tid=31486] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31486/stat : 31486 (java) S 31466 31468 30485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954454807 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 5 0 0 0
[pid=31468/tid=31487] ppid=31466 vsize=10557492 CPUtime=0 cores=1,3,5,7
/proc/31468/task/31487/stat : 31487 (java) S 31466 31468 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954454835 10810871808 950244 33554432000 1073741824 1073778376 140733310883568 18446744073709551615 251379363328 0 4 0 16800975 18446604462691080064 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10557492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 31602
/proc/meminfo: memFree=24802704/32950928 swapFree=67051096/67111528
[pid=31468] ppid=31466 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/31468/stat : 31468 (java) Z 31466 31468 30485 0 -1 4203548 962446 0 1 0 179903 116 0 0 17 0 2 0 954454801 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31468/statm: 0 0 0 0 0 0 0
[pid=31468/tid=31470] ppid=31466 vsize=0 CPUtime=1795.15 cores=1,3,5,7
/proc/31468/task/31470/stat : 31470 (java) R 31466 31468 30485 0 -1 4203588 854457 0 1 0 179422 93 0 0 25 0 2 0 954454802 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.39
CPU time (s): 1800.27
CPU user time (s): 1799.03
CPU system time (s): 1.23581
CPU usage (%): 100.216
Max. virtual memory (cumulated for all children) (KiB): 10560928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.23581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 962446
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44317
involuntary context switches= 10859
runsolver used 2.96355 second user time and 6.85296 second system time
The end