runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14999 MiB free)
memory of node 1: 16384 MiB (11689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299208-1532807413/watcher-4299208-1532807413 -o /tmp/evaluation-result-4299208-1532807413/solver-4299208-1532807413 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532775878-27710 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4299208-1532807413.xml --timelimit 2520
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31490, runsolver pid=31487
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.45 2.08 1.99 5/216 31505
/proc/meminfo: memFree=27312868/32770624 swapFree=67108496/67108860
[pid=31490] ppid=31487 vsize=10658972 memory=27988 CPUtime=0.13 cores=1,3,5,7
/proc/31490/stat : 31490 (java) S 31487 31490 27678 0 -1 1077944320 5396 0 0 0 12 1 0 0 20 0 15 0 98304479 10914787328 6997 33554432000 4194304 4196468 140723356854240 140723356836784 140583388012279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
/proc/31490/statm: 2664743 6997 2854 1 0 2627263 0
[pid=31490/tid=31492] ppid=31487 vsize=10658972 memory=-8269626465541066106 CPUtime=0.09 cores=1,3,5,7
/proc/31490/task/31492/stat : 31492 (java) R 31487 31490 27678 0 -1 4202560 3234 0 0 0 9 0 0 0 20 0 15 0 98304479 10914787328 6997 33554432000 4194304 4196468 140723356854240 140583392242544 140583388033626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31493] ppid=31487 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31493/stat : 31493 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304480 10914787328 6997 33554432000 4194304 4196468 140723356854240 140583340632976 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31494] ppid=31487 vsize=10658972 memory=140187404465792 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31494/stat : 31494 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304480 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582993976080 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31495] ppid=31487 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31495/stat : 31495 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304480 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582992923792 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31496] ppid=31487 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31496/stat : 31496 (java) S 31487 31490 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98304480 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582991870992 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31497] ppid=31487 vsize=10658972 memory=140187404465792 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31497/stat : 31497 (java) S 31487 31490 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98304481 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582947596400 140583388023426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31498] ppid=31487 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31498/stat : 31498 (java) S 31487 31490 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98304482 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582946542368 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31499] ppid=31487 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31499/stat : 31499 (java) S 31487 31490 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98304482 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582945490032 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31500] ppid=31487 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31500/stat : 31500 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582944438352 140583388030875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31501] ppid=31487 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31501/stat : 31501 (java) R 31487 31490 27678 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 98304484 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582943386224 140583388023426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31502] ppid=31487 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31502/stat : 31502 (java) R 31487 31490 27678 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 15 0 98304484 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582942333520 140583365257024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31503] ppid=31487 vsize=10658972 memory=140187404465792 CPUtime=0.02 cores=1,3,5,7
/proc/31490/task/31503/stat : 31503 (java) R 31487 31490 27678 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 98304484 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582941281136 140583388026183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31504] ppid=31487 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31504/stat : 31504 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582940228576 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31505] ppid=31487 vsize=10658972 memory=140187404465792 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31505/stat : 31505 (java) R 31487 31490 27678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 98304485 10914787328 6997 33554432000 4194304 4196468 140723356854240 140582939175344 140583388033626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27988 KiB
[startup+0.216996 s]*
/proc/loadavg: 2.45 2.08 1.99 6/216 31505
/proc/meminfo: memFree=27301332/32770624 swapFree=67108496/67108860
[pid=31490] ppid=31487 vsize=10661056 memory=42388 CPUtime=0.35 cores=1,3,5,7
/proc/31490/stat : 31490 (java) S 31487 31490 27678 0 -1 1077944320 8186 0 0 0 34 1 0 0 20 0 15 0 98304479 10916921344 10597 33554432000 4194304 4196468 140723356854240 140723356836784 140583388012279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
/proc/31490/statm: 2665264 10597 2993 1 0 2627263 0
[pid=31490/tid=31492] ppid=31487 vsize=10661056 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/31490/task/31492/stat : 31492 (java) R 31487 31490 27678 0 -1 4202560 5147 0 0 0 20 1 0 0 20 0 15 0 98304479 10916921344 10597 33554432000 4194304 4196468 140723356854240 140583392243520 140583388034205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31493] ppid=31487 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31493/stat : 31493 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304480 10916921344 10597 33554432000 4194304 4196468 140723356854240 140583340632976 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31494] ppid=31487 vsize=10661056 memory=288370563556177536 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31494/stat : 31494 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304480 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582993976080 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31495] ppid=31487 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31495/stat : 31495 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304480 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582992923792 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31496] ppid=31487 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31496/stat : 31496 (java) S 31487 31490 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98304480 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582991870992 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31497] ppid=31487 vsize=10661056 memory=140187404465792 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31497/stat : 31497 (java) S 31487 31490 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98304481 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582947596400 140583388023426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31498] ppid=31487 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31498/stat : 31498 (java) S 31487 31490 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98304482 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582946542368 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31499] ppid=31487 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31499/stat : 31499 (java) S 31487 31490 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98304482 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582945490032 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31500] ppid=31487 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31500/stat : 31500 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582944438352 140583388030875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31501] ppid=31487 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31490/task/31501/stat : 31501 (java) R 31487 31490 27678 0 -1 4202560 492 0 0 0 3 0 0 0 20 0 15 0 98304484 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582943386224 140583373120091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31502] ppid=31487 vsize=10661056 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31490/task/31502/stat : 31502 (java) R 31487 31490 27678 0 -1 4202560 372 0 0 0 3 0 0 0 20 0 15 0 98304484 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582942333424 140583371498297 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31503] ppid=31487 vsize=10661056 memory=140187404465792 CPUtime=0.08 cores=1,3,5,7
/proc/31490/task/31503/stat : 31503 (java) S 31487 31490 27678 0 -1 1077944384 807 0 0 0 8 0 0 0 20 0 15 0 98304484 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582941281136 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31504] ppid=31487 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31504/stat : 31504 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582940228576 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31505] ppid=31487 vsize=10661056 memory=140187404465792 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31505/stat : 31505 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304485 10916921344 10597 33554432000 4194304 4196468 140723356854240 140582939175344 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 42388 KiB
[startup+0.310699 s]*
/proc/loadavg: 2.45 2.08 1.99 3/216 31505
/proc/meminfo: memFree=27286440/32770624 swapFree=67108496/67108860
[pid=31490] ppid=31487 vsize=10661132 memory=70992 CPUtime=0.55 cores=1,3,5,7
/proc/31490/stat : 31490 (java) S 31487 31490 27678 0 -1 1077944320 8742 0 0 0 52 3 0 0 20 0 15 0 98304479 10916999168 17748 33554432000 4194304 4196468 140723356854240 140723356836784 140583388012279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
/proc/31490/statm: 2665283 17748 3026 1 0 2627263 0
[pid=31490/tid=31492] ppid=31487 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/31490/task/31492/stat : 31492 (java) R 31487 31490 27678 0 -1 4202560 5469 0 0 0 28 2 0 0 20 0 15 0 98304479 10916999168 17748 33554432000 4194304 4196468 140723356854240 140583392248608 140583388024214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31493] ppid=31487 vsize=10661132 memory=288230600429797399 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31493/stat : 31493 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304480 10916999168 17748 33554432000 4194304 4196468 140723356854240 140583340632976 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31494] ppid=31487 vsize=10661132 memory=288370563556177536 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31494/stat : 31494 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304480 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582993976080 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31495] ppid=31487 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31495/stat : 31495 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304480 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582992923792 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31496] ppid=31487 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31496/stat : 31496 (java) S 31487 31490 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98304480 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582991870992 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31497] ppid=31487 vsize=10661132 memory=140187404465792 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31497/stat : 31497 (java) S 31487 31490 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98304481 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582947596400 140583388023426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31498] ppid=31487 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31498/stat : 31498 (java) S 31487 31490 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582946542368 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31499] ppid=31487 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31499/stat : 31499 (java) S 31487 31490 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582945490032 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31500] ppid=31487 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31500/stat : 31500 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582944438352 140583388030875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31501] ppid=31487 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31490/task/31501/stat : 31501 (java) S 31487 31490 27678 0 -1 1077944384 503 0 0 0 4 0 0 0 20 0 15 0 98304484 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582943386224 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31502] ppid=31487 vsize=10661132 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/31490/task/31502/stat : 31502 (java) S 31487 31490 27678 0 -1 1077944384 436 0 0 0 6 0 0 0 20 0 15 0 98304484 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582942333424 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31503] ppid=31487 vsize=10661132 memory=140187404465792 CPUtime=0.12 cores=1,3,5,7
/proc/31490/task/31503/stat : 31503 (java) R 31487 31490 27678 0 -1 4202560 966 0 0 0 12 0 0 0 20 0 15 0 98304484 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582941281136 140583381109115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31504] ppid=31487 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31504/stat : 31504 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582940228576 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31505] ppid=31487 vsize=10661132 memory=140187404465792 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31505/stat : 31505 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304485 10916999168 17748 33554432000 4194304 4196468 140723356854240 140582939175344 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 70992 KiB
[startup+0.700694 s]
/proc/loadavg: 2.45 2.08 1.99 5/216 31505
/proc/meminfo: memFree=27207444/32770624 swapFree=67108496/67108860
[pid=31490] ppid=31487 vsize=10661132 memory=202276 CPUtime=1.7 cores=1,3,5,7
/proc/31490/stat : 31490 (java) S 31487 31490 27678 0 -1 1077944320 10929 0 0 0 162 8 0 0 20 0 15 0 98304479 10916999168 50569 33554432000 4194304 4196468 140723356854240 140723356836784 140583388012279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
/proc/31490/statm: 2665283 50569 3120 1 0 2627263 0
[pid=31490/tid=31492] ppid=31487 vsize=10661132 memory=1788 CPUtime=0.66 cores=1,3,5,7
/proc/31490/task/31492/stat : 31492 (java) R 31487 31490 27678 0 -1 4202560 5560 0 0 0 63 3 0 0 20 0 15 0 98304479 10916999168 50569 33554432000 4194304 4196468 140723356854240 140583392246656 140583020864298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31493] ppid=31487 vsize=10661132 memory=860 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31493/stat : 31493 (java) S 31487 31490 27678 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 98304480 10916999168 50569 33554432000 4194304 4196468 140723356854240 140583340632976 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31494] ppid=31487 vsize=10661132 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31494/stat : 31494 (java) S 31487 31490 27678 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 98304480 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582993976080 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31495] ppid=31487 vsize=10661132 memory=756 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31495/stat : 31495 (java) S 31487 31490 27678 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 98304480 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582992923792 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31496] ppid=31487 vsize=10661132 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31496/stat : 31496 (java) S 31487 31490 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98304480 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582991870992 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31497] ppid=31487 vsize=10661132 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31497/stat : 31497 (java) S 31487 31490 27678 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 98304481 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582947596400 140583388023426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31498] ppid=31487 vsize=10661132 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31498/stat : 31498 (java) S 31487 31490 27678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582946542368 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31499] ppid=31487 vsize=10661132 memory=6384 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31499/stat : 31499 (java) S 31487 31490 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582945490032 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31500] ppid=31487 vsize=10661132 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31500/stat : 31500 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582944438352 140583388030875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31501] ppid=31487 vsize=10661132 memory=7523093115782322283 CPUtime=0.36 cores=1,3,5,7
/proc/31490/task/31501/stat : 31501 (java) R 31487 31490 27678 0 -1 4202560 1276 0 0 0 36 0 0 0 20 0 15 0 98304484 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582943384240 140583369532112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31502] ppid=31487 vsize=10661132 memory=5787213827130353767 CPUtime=0.38 cores=1,3,5,7
/proc/31490/task/31502/stat : 31502 (java) R 31487 31490 27678 0 -1 4202560 1323 0 0 0 38 0 0 0 20 0 15 0 98304484 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582942326448 140583371512696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31503] ppid=31487 vsize=10661132 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/31490/task/31503/stat : 31503 (java) S 31487 31490 27678 0 -1 1077944384 1259 0 0 0 20 0 0 0 20 0 15 0 98304484 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582941281136 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31504] ppid=31487 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31504/stat : 31504 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582940228576 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31505] ppid=31487 vsize=10661132 memory=33 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31505/stat : 31505 (java) S 31487 31490 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98304485 10916999168 50569 33554432000 4194304 4196468 140723356854240 140582939175344 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 202276 KiB
[startup+1.50123 s]
/proc/loadavg: 2.45 2.08 1.99 6/216 31505
/proc/meminfo: memFree=26968960/32770624 swapFree=67108496/67108860
[pid=31490] ppid=31487 vsize=10661132 memory=761332 CPUtime=3.75 cores=1,3,5,7
/proc/31490/stat : 31490 (java) S 31487 31490 27678 0 -1 1077944320 14191 0 0 0 311 64 0 0 20 0 15 0 98304479 10916999168 190333 33554432000 4194304 4196468 140723356854240 140723356836784 140583388012279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
/proc/31490/statm: 2665283 190333 3163 1 0 2627263 0
[pid=31490/tid=31492] ppid=31487 vsize=10661132 memory=6791534058613427641 CPUtime=1.16 cores=1,3,5,7
/proc/31490/task/31492/stat : 31492 (java) S 31487 31490 27678 0 -1 1077944384 5854 0 0 0 111 5 0 0 20 0 15 0 98304479 10916999168 190333 33554432000 4194304 4196468 140723356854240 140583392250928 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31493] ppid=31487 vsize=10661132 memory=-6951259422114956437 CPUtime=0.29 cores=1,3,5,7
/proc/31490/task/31493/stat : 31493 (java) R 31487 31490 27678 0 -1 4202560 493 0 0 0 15 14 0 0 20 0 15 0 98304480 10916999168 190333 33554432000 4194304 4196468 140723356854240 140583340632976 140583381111979 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31494] ppid=31487 vsize=10661132 memory=-6509546260019855299 CPUtime=0.29 cores=1,3,5,7
/proc/31490/task/31494/stat : 31494 (java) R 31487 31490 27678 0 -1 4202560 751 0 0 0 15 14 0 0 20 0 15 0 98304480 10916999168 190333 33554432000 4194304 4196468 140723356854240 140582993976080 140583381108980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31495] ppid=31487 vsize=10661132 memory=-7390251449858225344 CPUtime=0.29 cores=1,3,5,7
/proc/31490/task/31495/stat : 31495 (java) R 31487 31490 27678 0 -1 4202560 363 0 0 0 15 14 0 0 20 0 15 0 98304480 10916999168 190333 33554432000 4194304 4196468 140723356854240 140582992923992 140583381111979 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31496] ppid=31487 vsize=10661132 memory=4134692831991786133 CPUtime=0.28 cores=1,3,5,7
/proc/31490/task/31496/stat : 31496 (java) R 31487 31490 27678 0 -1 4202560 458 0 0 0 16 12 0 0 20 0 15 0 98304480 10916999168 190333 33554432000 4194304 4196468 140723356854240 140582991870992 140583381108980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31497] ppid=31487 vsize=10661132 memory=-7165351541977658656 CPUtime=0.01 cores=1,3,5,7
/proc/31490/task/31497/stat : 31497 (java) S 31487 31490 27678 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 15 0 98304481 10916999168 190333 33554432000 4194304 4196468 140723356854240 140582947594912 140583388022485 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
################
# More data... #
################
/proc/31490/task/31492/stat : 31492 (java) R 31487 31490 27678 0 -1 4202560 1989667 0 0 0 237260 124 0 0 20 0 15 0 98304479 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140583392253392 140583024142988 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31493] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.02 cores=1,3,5,7
/proc/31490/task/31493/stat : 31493 (java) S 31487 31490 27678 0 -1 1077944384 20801 0 0 0 586 216 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140583340632976 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31494] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.01 cores=1,3,5,7
/proc/31490/task/31494/stat : 31494 (java) S 31487 31490 27678 0 -1 1077944384 20443 0 0 0 616 185 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582993976080 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31495] ppid=31487 vsize=10661132 memory=8306664 CPUtime=7.95 cores=1,3,5,7
/proc/31490/task/31495/stat : 31495 (java) S 31487 31490 27678 0 -1 1077944384 20485 0 0 0 596 199 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582992923792 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31496] ppid=31487 vsize=10661132 memory=8306664 CPUtime=7.95 cores=1,3,5,7
/proc/31490/task/31496/stat : 31496 (java) S 31487 31490 27678 0 -1 1077944384 18328 0 0 0 583 212 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582991870992 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31497] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0.64 cores=1,3,5,7
/proc/31490/task/31497/stat : 31497 (java) S 31487 31490 27678 0 -1 1077944384 42264 0 0 0 44 20 0 0 20 0 15 0 98304481 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582947596400 140583388023426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31498] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31498/stat : 31498 (java) S 31487 31490 27678 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582946542432 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31499] ppid=31487 vsize=10661132 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31499/stat : 31499 (java) S 31487 31490 27678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582945490032 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31500] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31500/stat : 31500 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582944438352 140583388030875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31501] ppid=31487 vsize=10661132 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/31490/task/31501/stat : 31501 (java) S 31487 31490 27678 0 -1 1077944384 6611 0 0 0 97 1 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582943386224 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31502] ppid=31487 vsize=10661132 memory=8306664 CPUtime=1.13 cores=1,3,5,7
/proc/31490/task/31502/stat : 31502 (java) S 31487 31490 27678 0 -1 1077944384 7833 0 0 0 112 1 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582942333424 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31503] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0.39 cores=1,3,5,7
/proc/31490/task/31503/stat : 31503 (java) S 31487 31490 27678 0 -1 1077944384 4829 0 0 0 37 2 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582941281136 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31504] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31504/stat : 31504 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582940228576 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31505] ppid=31487 vsize=10661132 memory=3872 CPUtime=1.63 cores=1,3,5,7
/proc/31490/task/31505/stat : 31505 (java) S 31487 31490 27678 0 -1 1077944384 2347 0 0 0 68 95 0 0 20 0 15 0 98304485 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582939175344 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
Current children cumulated CPU time: 2410.63 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 8306664 KiB
[startup+2442.3 s]
/proc/loadavg: 0.93 1.01 1.30 2/194 31651
/proc/meminfo: memFree=19161304/32770624 swapFree=67108496/67108860
[pid=31490] ppid=31487 vsize=10661132 memory=8306664 CPUtime=2471.25 cores=1,3,5,7
/proc/31490/stat : 31490 (java) S 31487 31490 27678 0 -1 1077944320 2149970 0 0 0 246064 1061 0 0 20 0 15 0 98304479 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140723356836784 140583388012279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
/proc/31490/statm: 2665283 2076666 3183 1 0 2627263 0
[pid=31490/tid=31492] ppid=31487 vsize=10661132 memory=1836 CPUtime=2433.61 cores=1,3,5,7
/proc/31490/task/31492/stat : 31492 (java) R 31487 31490 27678 0 -1 4202560 1995320 0 0 0 243237 124 0 0 20 0 15 0 98304479 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140583392253392 140583024142805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31493] ppid=31487 vsize=10661132 memory=56 CPUtime=8.21 cores=1,3,5,7
/proc/31490/task/31493/stat : 31493 (java) S 31487 31490 27678 0 -1 1077944384 21080 0 0 0 605 216 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140583340632976 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31494] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.2 cores=1,3,5,7
/proc/31490/task/31494/stat : 31494 (java) S 31487 31490 27678 0 -1 1077944384 21061 0 0 0 635 185 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582993976080 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31495] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.14 cores=1,3,5,7
/proc/31490/task/31495/stat : 31495 (java) S 31487 31490 27678 0 -1 1077944384 20793 0 0 0 615 199 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582992923792 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31496] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.13 cores=1,3,5,7
/proc/31490/task/31496/stat : 31496 (java) S 31487 31490 27678 0 -1 1077944384 18470 0 0 0 601 212 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582991870992 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31497] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0.69 cores=1,3,5,7
/proc/31490/task/31497/stat : 31497 (java) S 31487 31490 27678 0 -1 1077944384 50163 0 0 0 49 20 0 0 20 0 15 0 98304481 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582947596400 140583388023426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31498] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31498/stat : 31498 (java) S 31487 31490 27678 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582946542432 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31499] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31499/stat : 31499 (java) S 31487 31490 27678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582945490032 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31500] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31500/stat : 31500 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582944438352 140583388030875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31501] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0.98 cores=1,3,5,7
/proc/31490/task/31501/stat : 31501 (java) S 31487 31490 27678 0 -1 1077944384 6614 0 0 0 97 1 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582943386224 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31502] ppid=31487 vsize=10661132 memory=8306664 CPUtime=1.13 cores=1,3,5,7
/proc/31490/task/31502/stat : 31502 (java) S 31487 31490 27678 0 -1 1077944384 7837 0 0 0 112 1 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582942333424 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31503] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0.39 cores=1,3,5,7
/proc/31490/task/31503/stat : 31503 (java) S 31487 31490 27678 0 -1 1077944384 4837 0 0 0 37 2 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582941281136 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31504] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31504/stat : 31504 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582940228576 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31505] ppid=31487 vsize=10661132 memory=3872 CPUtime=1.67 cores=1,3,5,7
/proc/31490/task/31505/stat : 31505 (java) S 31487 31490 27678 0 -1 1077944384 2386 0 0 0 70 97 0 0 20 0 15 0 98304485 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582939175344 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
Current children cumulated CPU time: 2471.25 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 8306664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.11 s]
/proc/loadavg: 0.97 1.01 1.29 2/194 31652
/proc/meminfo: memFree=19160804/32770624 swapFree=67108496/67108860
[pid=31490] ppid=31487 vsize=10661132 memory=8306664 CPUtime=2520.09 cores=1,3,5,7
/proc/31490/stat : 31490 (java) S 31487 31490 27678 0 -1 1077944320 2154235 0 0 0 250946 1063 0 0 20 0 15 0 98304479 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140723356836784 140583388012279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
/proc/31490/statm: 2665283 2076666 3183 1 0 2627263 0
[pid=31490/tid=31492] ppid=31487 vsize=10661132 memory=8306664 CPUtime=2482.42 cores=1,3,5,7
/proc/31490/task/31492/stat : 31492 (java) R 31487 31490 27678 0 -1 4202560 1999518 0 0 0 248117 125 0 0 20 0 15 0 98304479 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140583392253392 140583024142877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31493] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.21 cores=1,3,5,7
/proc/31490/task/31493/stat : 31493 (java) S 31487 31490 27678 0 -1 1077944384 21080 0 0 0 605 216 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140583340632976 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31494] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.2 cores=1,3,5,7
/proc/31490/task/31494/stat : 31494 (java) S 31487 31490 27678 0 -1 1077944384 21061 0 0 0 635 185 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582993976080 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31495] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.14 cores=1,3,5,7
/proc/31490/task/31495/stat : 31495 (java) S 31487 31490 27678 0 -1 1077944384 20793 0 0 0 615 199 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582992923792 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31496] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.13 cores=1,3,5,7
/proc/31490/task/31496/stat : 31496 (java) S 31487 31490 27678 0 -1 1077944384 18470 0 0 0 601 212 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582991870992 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31497] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0.69 cores=1,3,5,7
/proc/31490/task/31497/stat : 31497 (java) S 31487 31490 27678 0 -1 1077944384 50173 0 0 0 49 20 0 0 20 0 15 0 98304481 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582947596400 140583388023426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31498] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31498/stat : 31498 (java) S 31487 31490 27678 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582946542432 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31499] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31499/stat : 31499 (java) S 31487 31490 27678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582945490032 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31500] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31500/stat : 31500 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582944438352 140583388030875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31501] ppid=31487 vsize=10661132 memory=1180 CPUtime=0.98 cores=1,3,5,7
/proc/31490/task/31501/stat : 31501 (java) S 31487 31490 27678 0 -1 1077944384 6617 0 0 0 97 1 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582943386224 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31502] ppid=31487 vsize=10661132 memory=504 CPUtime=1.13 cores=1,3,5,7
/proc/31490/task/31502/stat : 31502 (java) S 31487 31490 27678 0 -1 1077944384 7842 0 0 0 112 1 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582942333424 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31503] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0.39 cores=1,3,5,7
/proc/31490/task/31503/stat : 31503 (java) S 31487 31490 27678 0 -1 1077944384 4849 0 0 0 37 2 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582941281136 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31504] ppid=31487 vsize=10661132 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31504/stat : 31504 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582940228576 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31505] ppid=31487 vsize=10661132 memory=0 CPUtime=1.7 cores=1,3,5,7
/proc/31490/task/31505/stat : 31505 (java) S 31487 31490 27678 0 -1 1077944384 2423 0 0 0 71 99 0 0 20 0 15 0 98304485 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582939175344 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 8306664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.15 s]
# the end of solver process 31490 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.48 s, system=10.6725 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491.11 s]
/proc/loadavg: 0.97 1.01 1.29 2/194 31652
/proc/meminfo: memFree=19160804/32770624 swapFree=67108496/67108860
[pid=31490] ppid=31487 vsize=10661132 memory=8306664 CPUtime=2520.09 cores=1,3,5,7
/proc/31490/stat : 31490 (java) S 31487 31490 27678 0 -1 1077944320 2154235 0 0 0 250946 1063 0 0 20 0 15 0 98304479 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140723356836784 140583388012279 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
/proc/31490/statm: 2665283 2076666 3183 1 0 2627263 0
[pid=31490/tid=31492] ppid=31487 vsize=10661132 memory=8306664 CPUtime=2482.42 cores=1,3,5,7
/proc/31490/task/31492/stat : 31492 (java) R 31487 31490 27678 0 -1 4202560 1999518 0 0 0 248117 125 0 0 20 0 15 0 98304479 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140583392253392 140583024142877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31493] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.21 cores=1,3,5,7
/proc/31490/task/31493/stat : 31493 (java) S 31487 31490 27678 0 -1 1077944384 21080 0 0 0 605 216 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140583340632976 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31494] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.2 cores=1,3,5,7
/proc/31490/task/31494/stat : 31494 (java) S 31487 31490 27678 0 -1 1077944384 21061 0 0 0 635 185 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582993976080 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31495] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.14 cores=1,3,5,7
/proc/31490/task/31495/stat : 31495 (java) S 31487 31490 27678 0 -1 1077944384 20793 0 0 0 615 199 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582992923792 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31496] ppid=31487 vsize=10661132 memory=8306664 CPUtime=8.13 cores=1,3,5,7
/proc/31490/task/31496/stat : 31496 (java) S 31487 31490 27678 0 -1 1077944384 18470 0 0 0 601 212 0 0 20 0 15 0 98304480 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582991870992 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31497] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0.69 cores=1,3,5,7
/proc/31490/task/31497/stat : 31497 (java) S 31487 31490 27678 0 -1 1077944384 50173 0 0 0 49 20 0 0 20 0 15 0 98304481 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582947596400 140583388023426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31498] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31498/stat : 31498 (java) S 31487 31490 27678 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582946542432 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31499] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31499/stat : 31499 (java) S 31487 31490 27678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 98304482 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582945490032 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31500] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31500/stat : 31500 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582944438352 140583388030875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31501] ppid=31487 vsize=10661132 memory=1180 CPUtime=0.98 cores=1,3,5,7
/proc/31490/task/31501/stat : 31501 (java) S 31487 31490 27678 0 -1 1077944384 6617 0 0 0 97 1 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582943386224 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31502] ppid=31487 vsize=10661132 memory=504 CPUtime=1.13 cores=1,3,5,7
/proc/31490/task/31502/stat : 31502 (java) S 31487 31490 27678 0 -1 1077944384 7842 0 0 0 112 1 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582942333424 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31503] ppid=31487 vsize=10661132 memory=8306664 CPUtime=0.39 cores=1,3,5,7
/proc/31490/task/31503/stat : 31503 (java) S 31487 31490 27678 0 -1 1077944384 4849 0 0 0 37 2 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582941281136 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31504] ppid=31487 vsize=10661132 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/31490/task/31504/stat : 31504 (java) S 31487 31490 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98304484 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582940228576 140583388022485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
[pid=31490/tid=31505] ppid=31487 vsize=10661132 memory=0 CPUtime=1.7 cores=1,3,5,7
/proc/31490/task/31505/stat : 31505 (java) S 31487 31490 27678 0 -1 1077944384 2423 0 0 0 71 99 0 0 20 0 15 0 98304485 10916999168 2076666 33554432000 4194304 4196468 140723356854240 140582939175344 140583388023426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27537408 140723356861560 140723356861705 140723356861705 140723356864463 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 8306664 KiB
Child status: 143
Real time (s): 2491.15
CPU time (s): 2520.15
CPU user time (s): 2509.48
CPU system time (s): 10.6725
CPU usage (%): 101.164
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 8306664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.48
system time used= 10.6725
maximum resident set size= 8307192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2155223
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57942
involuntary context switches= 2599
# summary of solver processes directly reported to runsolver:
# pid: 31490
# total CPU time (s): 2520.15
# total CPU user time (s): 2509.48
# total CPU system time (s): 10.6725
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5585 second user time and 23.3174 second system time
The end