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-3456910-1307202014/watcher-3456910-1307202014 -o /tmp/evaluation-result-3456910-1307202014/solver-3456910-1307202014 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456910-1307202014.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.01 2.07 1.79 2/461 31487
/proc/meminfo: memFree=28888616/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 6851 0 1 0 0 0 0 0 25 0 2 0 910432091 10694979584 6552 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2611079 6566 917 9 0 2602235 0
[pid=31487/tid=31488] ppid=31485 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 5873 0 1 0 0 0 0 0 25 0 2 0 910432092 10694979584 6690 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.063568 s]
/proc/loadavg: 2.01 2.07 1.79 2/461 31487
/proc/meminfo: memFree=28888616/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10538348 CPUtime=0.05 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 11730 0 1 0 4 1 0 0 25 0 18 0 910432091 10791268352 11426 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2634587 11427 1740 9 0 2625321 0
[pid=31487/tid=31488] ppid=31485 vsize=10538348 CPUtime=0.05 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 10556 0 1 0 4 1 0 0 25 0 18 0 910432092 10791268352 11427 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907317195 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538348
[startup+0.100625 s]
/proc/loadavg: 2.01 2.07 1.79 2/461 31487
/proc/meminfo: memFree=28888616/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10539616 CPUtime=0.1 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 12986 0 1 0 9 1 0 0 25 0 18 0 910432091 10792566784 12682 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2634904 12682 2092 9 0 2625638 0
[pid=31487/tid=31488] ppid=31485 vsize=10539616 CPUtime=0.08 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 11163 0 1 0 7 1 0 0 18 0 18 0 910432092 10792566784 12683 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 47611041901395 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539616
[startup+0.358612 s]
/proc/loadavg: 2.01 2.07 1.79 2/461 31487
/proc/meminfo: memFree=28888616/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10555616 CPUtime=0.71 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 26229 0 1 0 67 4 0 0 25 0 19 0 910432091 10808950784 24072 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2638904 24073 2215 9 0 2629638 0
[pid=31487/tid=31488] ppid=31485 vsize=10555616 CPUtime=0.34 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 17485 0 1 0 32 2 0 0 19 0 19 0 910432092 10808950784 24073 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 10555616
[startup+0.700509 s]
/proc/loadavg: 2.01 2.07 1.79 2/461 31487
/proc/meminfo: memFree=28888616/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10556484 CPUtime=1.74 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 48865 0 1 0 166 8 0 0 25 0 19 0 910432091 10809839616 45242 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2639121 45245 2218 9 0 2629855 0
[pid=31487/tid=31488] ppid=31485 vsize=10556484 CPUtime=0.68 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 35656 0 1 0 63 5 0 0 18 0 19 0 910432092 10809839616 45247 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 46912505526833 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 10556484
[startup+1.50137 s]
/proc/loadavg: 2.01 2.07 1.79 3/480 31506
/proc/meminfo: memFree=28470556/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10556484 CPUtime=2.72 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 136146 0 1 0 254 18 0 0 25 0 19 0 910432091 10809839616 132523 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2639121 132531 2223 9 0 2629855 0
[pid=31487/tid=31488] ppid=31485 vsize=10556484 CPUtime=1.49 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 122919 0 1 0 133 16 0 0 18 0 19 0 910432092 10809839616 132535 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 46912505612353 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 132539 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 132544 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 132549 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 132554 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 132558 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 132561 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 132565 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 132570 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31238 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 910432095 10809839616 132574 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 0 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910432095 10809839616 132579 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910432095 10809839616 132583 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10809839616 132587 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907314097 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=10556484 CPUtime=0.61 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31238 0 -1 4202560 5706 0 0 0 61 0 0 0 15 0 19 0 910432097 10809839616 132590 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=10556484 CPUtime=0.61 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31238 0 -1 4202560 6374 0 0 0 60 1 0 0 15 0 19 0 910432097 10809839616 132594 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10809839616 132598 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910432097 10809839616 132603 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910432108 10809839616 132607 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 10556484
[startup+3.10107 s]
/proc/loadavg: 2.09 2.09 1.79 4/480 31506
/proc/meminfo: memFree=27871884/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10556484 CPUtime=4.35 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 293071 0 1 0 401 34 0 0 25 0 19 0 910432091 10809839616 289446 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2639121 289450 2224 9 0 2629855 0
[pid=31487/tid=31488] ppid=31485 vsize=10556484 CPUtime=3.08 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 279832 0 1 0 277 31 0 0 19 0 19 0 910432092 10809839616 289452 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 46912505526890 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 289454 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 289457 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 289460 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 289462 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 289464 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 289467 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 289469 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10809839616 289471 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31238 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 910432095 10809839616 289472 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 0 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910432095 10809839616 289474 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910432095 10809839616 289476 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10809839616 289480 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907314097 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=10556484 CPUtime=0.63 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31238 0 -1 4202560 5711 0 0 0 63 0 0 0 15 0 19 0 910432097 10809839616 289481 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=10556484 CPUtime=0.61 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31238 0 -1 4202560 6374 0 0 0 60 1 0 0 15 0 19 0 910432097 10809839616 289485 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10809839616 289488 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910432097 10809839616 289491 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10556484 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910432108 10809839616 289494 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10556484
[startup+6.30146 s]
/proc/loadavg: 2.09 2.09 1.79 3/480 31506
/proc/meminfo: memFree=26235520/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10552340 CPUtime=7.55 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 565584 0 1 0 692 63 0 0 25 0 19 0 910432091 10805596160 560972 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2638085 560976 2225 9 0 2628819 0
[pid=31487/tid=31488] ppid=31485 vsize=10552340 CPUtime=6.28 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 552345 0 1 0 568 60 0 0 21 0 19 0 910432092 10805596160 560979 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 46912505612353 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10805596160 560982 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10805596160 560985 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10805596160 560987 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10805596160 560988 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10805596160 560990 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10805596160 560992 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10805596160 560994 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432093 10805596160 560997 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31238 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 910432095 10805596160 560999 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 0 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910432095 10805596160 561001 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910432095 10805596160 561002 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10805596160 561005 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907314097 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=10552340 CPUtime=0.63 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31238 0 -1 4202560 5711 0 0 0 63 0 0 0 15 0 19 0 910432097 10805596160 561007 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=10552340 CPUtime=0.61 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31238 0 -1 4202560 6374 0 0 0 60 1 0 0 15 0 19 0 910432097 10805596160 561010 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910432095 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907314097 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=10552340 CPUtime=0.65 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31238 0 -1 4202560 5725 0 0 0 65 0 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=10552340 CPUtime=0.61 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31238 0 -1 4202560 6374 0 0 0 60 1 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31238 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910432108 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.33
Current children cumulated vsize (KiB) 10552340
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.95 4/480 31561
/proc/meminfo: memFree=22364308/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10552340 CPUtime=1724.33 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 942912 0 1 0 172319 114 0 0 25 0 19 0 910432091 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2638085 931389 2238 9 0 2628819 0
[pid=31487/tid=31488] ppid=31485 vsize=10552340 CPUtime=1721.99 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 724873 0 1 0 172121 78 0 0 25 0 19 0 910432092 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 46912505587160 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=10552340 CPUtime=0.11 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31238 0 -1 4202560 25861 0 0 0 8 3 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=10552340 CPUtime=0.05 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31238 0 -1 4202560 8224 0 0 0 4 1 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=10552340 CPUtime=0.12 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31238 0 -1 4202560 24696 0 0 0 9 3 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10552340 CPUtime=0.12 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31238 0 -1 4202560 26926 0 0 0 9 3 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10552340 CPUtime=0.15 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31238 0 -1 4202560 29827 0 0 0 10 5 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10552340 CPUtime=0.16 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31238 0 -1 4202560 38259 0 0 0 12 4 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10552340 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31238 0 -1 4202560 39912 0 0 0 13 6 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10552340 CPUtime=0.06 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31238 0 -1 4202560 10944 0 0 0 4 2 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31238 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 910432095 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 0 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910432095 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910432095 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907314097 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=10552340 CPUtime=0.65 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31238 0 -1 4202560 5725 0 0 0 65 0 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=10552340 CPUtime=0.61 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31238 0 -1 4202560 6374 0 0 0 60 1 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31238 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910432108 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.33
Current children cumulated vsize (KiB) 10552340
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/480 31563
/proc/meminfo: memFree=22363020/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10552340 CPUtime=1784.33 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 942916 0 1 0 178319 114 0 0 25 0 19 0 910432091 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2638085 931389 2238 9 0 2628819 0
[pid=31487/tid=31488] ppid=31485 vsize=10552340 CPUtime=1781.99 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 724873 0 1 0 178121 78 0 0 25 0 19 0 910432092 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 46912505587220 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=10552340 CPUtime=0.11 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31238 0 -1 4202560 25861 0 0 0 8 3 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=10552340 CPUtime=0.05 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31238 0 -1 4202560 8224 0 0 0 4 1 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=10552340 CPUtime=0.12 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31238 0 -1 4202560 24696 0 0 0 9 3 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10552340 CPUtime=0.12 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31238 0 -1 4202560 26926 0 0 0 9 3 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10552340 CPUtime=0.15 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31238 0 -1 4202560 29827 0 0 0 10 5 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10552340 CPUtime=0.16 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31238 0 -1 4202560 38259 0 0 0 12 4 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10552340 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31238 0 -1 4202560 39912 0 0 0 13 6 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10552340 CPUtime=0.06 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31238 0 -1 4202560 10944 0 0 0 4 2 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31238 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 910432095 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 0 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910432095 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910432095 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907314097 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=10552340 CPUtime=0.65 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31238 0 -1 4202560 5725 0 0 0 65 0 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=10552340 CPUtime=0.61 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31238 0 -1 4202560 6374 0 0 0 60 1 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31238 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910432108 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.33
Current children cumulated vsize (KiB) 10552340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798 s]
/proc/loadavg: 1.92 2.00 1.94 5/480 31611
/proc/meminfo: memFree=25978364/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=10552340 CPUtime=1800.05 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31485 31487 31238 0 -1 4202496 942918 0 1 0 179891 114 0 0 25 0 19 0 910432091 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 2638085 931389 2238 9 0 2628819 0
[pid=31487/tid=31488] ppid=31485 vsize=10552340 CPUtime=1797.71 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4202560 724873 0 1 0 179693 78 0 0 25 0 19 0 910432092 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 46912505587213 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31487/tid=31490] ppid=31485 vsize=10552340 CPUtime=0.11 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31485 31487 31238 0 -1 4202560 25861 0 0 0 8 3 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31491] ppid=31485 vsize=10552340 CPUtime=0.05 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31485 31487 31238 0 -1 4202560 8224 0 0 0 4 1 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31492] ppid=31485 vsize=10552340 CPUtime=0.12 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31485 31487 31238 0 -1 4202560 24696 0 0 0 9 3 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31493] ppid=31485 vsize=10552340 CPUtime=0.12 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31485 31487 31238 0 -1 4202560 26926 0 0 0 9 3 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31494] ppid=31485 vsize=10552340 CPUtime=0.15 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31485 31487 31238 0 -1 4202560 29827 0 0 0 10 5 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31495] ppid=31485 vsize=10552340 CPUtime=0.16 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31485 31487 31238 0 -1 4202560 38259 0 0 0 12 4 0 0 16 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31496] ppid=31485 vsize=10552340 CPUtime=0.19 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31485 31487 31238 0 -1 4202560 39912 0 0 0 13 6 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31497] ppid=31485 vsize=10552340 CPUtime=0.06 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31485 31487 31238 0 -1 4202560 10944 0 0 0 4 2 0 0 15 0 19 0 910432093 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31498] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31485 31487 31238 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 910432095 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 0 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31499] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31485 31487 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910432095 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31500] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31485 31487 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910432095 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31501] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907314097 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
[pid=31487/tid=31502] ppid=31485 vsize=10552340 CPUtime=0.65 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31485 31487 31238 0 -1 4202560 5725 0 0 0 65 0 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 3 0 0 0
[pid=31487/tid=31503] ppid=31485 vsize=10552340 CPUtime=0.61 cores=1,3,5,7
/proc/31487/task/31503/stat : 31503 (java) S 31485 31487 31238 0 -1 4202560 6374 0 0 0 60 1 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31504] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31504/stat : 31504 (java) S 31485 31487 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907306393 0 4 0 16800975 18446604466274839488 0 0 -1 1 0 0 0
[pid=31487/tid=31505] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31505/stat : 31505 (java) S 31485 31487 31238 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 910432097 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 5 0 0 0
[pid=31487/tid=31506] ppid=31485 vsize=10552340 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31506/stat : 31506 (java) S 31485 31487 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910432108 10805596160 931389 33554432000 1073741824 1073778376 140737209330880 18446744073709551615 231907307008 0 4 0 16800975 18446604466274839488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10552340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.12 s]
/proc/loadavg: 1.92 2.00 1.94 5/480 31611
/proc/meminfo: memFree=25978364/32950928 swapFree=52246700/67111528
[pid=31487] ppid=31485 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/31487/stat : 31487 (java) Z 31485 31487 31238 0 -1 4203548 942947 0 1 0 179893 123 0 0 17 0 2 0 910432091 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31487/statm: 0 0 0 0 0 0 0
[pid=31487/tid=31488] ppid=31485 vsize=0 CPUtime=1797.82 cores=1,3,5,7
/proc/31487/task/31488/stat : 31488 (java) R 31485 31487 31238 0 -1 4203588 724873 0 1 0 179695 87 0 0 25 0 2 0 910432092 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.18
CPU time (s): 1800.23
CPU user time (s): 1798.93
CPU system time (s): 1.2978
CPU usage (%): 100.114
Max. virtual memory (cumulated for all children) (KiB): 10556484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.2978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 942947
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= 37111
involuntary context switches= 2842
runsolver used 7.65784 second user time and 18.1282 second system time
The end