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 (6980 MiB free)
memory of node 1: 16384 MiB (10884 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308352-1534288060/watcher-4308352-1534288060 -o /tmp/evaluation-result-4308352-1534288060/solver-4308352-1534288060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534270551-18809 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1923134841 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308352-1534288060.xml
running on 4 cores: 0,2,4,6
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=20775, runsolver pid=20772
Current StackSize limit: 8192 KiB
[startup+0.100121 s]*
/proc/loadavg: 1.68 1.51 1.44 3/215 20790
/proc/meminfo: memFree=18275784/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14082736 memory=31856 CPUtime=0.12 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 6405 0 0 0 11 1 0 0 20 0 15 0 246369346 14420721664 7964 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3520684 7964 3146 1 0 3482761 0
[pid=20775/tid=20777] ppid=20772 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 4397 0 0 0 9 0 0 0 20 0 15 0 246369346 14420721664 7964 33554432000 4194304 4196468 140730678262128 139638076293384 139638072102294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14082736 memory=5793855056800156089 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246369348 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637546091936 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637545039344 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0.01 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31856 KiB
[startup+0.210321 s]*
/proc/loadavg: 1.68 1.51 1.44 5/215 20790
/proc/meminfo: memFree=18260032/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14082736 memory=48184 CPUtime=0.29 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 10114 0 0 0 27 2 0 0 20 0 15 0 246369346 14420721664 12046 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3520684 12046 3361 1 0 3482761 0
[pid=20775/tid=20777] ppid=20772 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 7727 0 0 0 18 1 0 0 20 0 15 0 246369346 14420721664 12046 33554432000 4194304 4196468 140730678262128 139638076316384 139638072102294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14082736 memory=4211973531995053450 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246369348 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637546091936 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637545039344 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) R 20772 20775 17276 0 -1 4202560 536 0 0 0 2 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637542921296 139638050029344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) R 20772 20775 17276 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0.05 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) R 20772 20775 17276 0 -1 4202560 409 0 0 0 5 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637540829424 139638072111706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 48184 KiB
[startup+0.310473 s]*
/proc/loadavg: 1.68 1.51 1.44 3/215 20790
/proc/meminfo: memFree=18256196/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14082736 memory=51604 CPUtime=0.43 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 10547 0 0 0 41 2 0 0 20 0 15 0 246369346 14420721664 12901 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3520684 12901 3414 1 0 3482761 0
[pid=20775/tid=20777] ppid=20772 vsize=14082736 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 8065 0 0 0 28 2 0 0 20 0 15 0 246369346 14420721664 12901 33554432000 4194304 4196468 140730678262128 139638076308272 139638056170846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14082736 memory=4211973531995053450 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14082736 memory=279611472152960 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14082736 memory=279611363807744 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14082736 memory=139805681890063 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14082736 memory=279611472159872 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246369348 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14082736 memory=139805681894671 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637546091936 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14082736 memory=139805681915786 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637545039344 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14082736 memory=139805681919871 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 567 0 0 0 3 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0.08 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 459 0 0 0 8 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14082736 memory=139805790294768 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51604 KiB
[startup+0.70207 s]
/proc/loadavg: 1.68 1.51 1.44 3/215 20790
/proc/meminfo: memFree=18234988/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14084804 memory=89508 CPUtime=0.98 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 17302 0 0 0 93 5 0 0 20 0 15 0 246369346 14422839296 22377 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3521201 22377 3482 1 0 3483273 0
[pid=20775/tid=20777] ppid=20772 vsize=14084804 memory=53 CPUtime=0.67 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 14373 0 0 0 63 4 0 0 20 0 15 0 246369346 14422839296 22377 33554432000 4194304 4196468 140730678262128 139638076314464 139638056170846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14084804 memory=79 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14084804 memory=1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246369347 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14084804 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246369348 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14084804 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246369349 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637546091936 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14084804 memory=1264 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246369349 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637545039344 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14084804 memory=7192 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14084804 memory=748 CPUtime=0.07 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 714 0 0 0 7 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14084804 memory=872 CPUtime=0.07 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 262 0 0 0 7 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14084804 memory=1220 CPUtime=0.15 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 571 0 0 0 15 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14084804 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14084804 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89508 KiB
[startup+1.50074 s]
/proc/loadavg: 1.68 1.51 1.44 3/215 20790
/proc/meminfo: memFree=18112120/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14086852 memory=335056 CPUtime=2.89 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 23155 0 0 0 271 18 0 0 20 0 15 0 246369346 14424936448 83764 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3521713 83764 3564 1 0 3483785 0
[pid=20775/tid=20777] ppid=20772 vsize=14086852 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 16068 0 0 0 132 7 0 0 20 0 15 0 246369346 14424936448 83764 33554432000 4194304 4196468 140730678262128 139638076326576 139637710115620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14086852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 92 0 0 0 1 2 0 0 20 0 15 0 246369347 14424936448 83764 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14086852 memory=79 CPUtime=0.03 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 375 0 0 0 2 1 0 0 20 0 15 0 246369347 14424936448 83764 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14086852 memory=1 CPUtime=0.05 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 272 0 0 0 3 2 0 0 20 0 15 0 246369347 14424936448 83764 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14086852 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 268 0 0 0 3 2 0 0 20 0 15 0 246369347 14424936448 83764 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 246369348 14424936448 83764 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
################
# More data... #
################
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 166964 0 0 0 237581 88 0 0 20 0 15 0 246369346 14429130752 798001 33554432000 4194304 4196468 140730678262128 139638076328288 139637723087279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14090948 memory=-7003737579269690708 CPUtime=4.02 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 42882 0 0 0 353 49 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14090948 memory=2580 CPUtime=4.01 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 38668 0 0 0 354 47 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14090948 memory=4104 CPUtime=4.03 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 36650 0 0 0 355 48 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14090948 memory=1408 CPUtime=4.03 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 38877 0 0 0 355 48 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14090948 memory=3100 CPUtime=0.72 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 24274 0 0 0 62 10 0 0 20 0 15 0 246369348 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14090948 memory=3192004 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637546092000 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14090948 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637545039360 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14090948 memory=3264 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14090948 memory=2573440 CPUtime=2.87 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 7710 0 0 0 285 2 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14090948 memory=0 CPUtime=2.81 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 9365 0 0 0 279 2 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14090948 memory=-8253362762722141311 CPUtime=1.27 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 22790 0 0 0 124 3 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14090948 memory=7100839861465685612 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14090948 memory=-7175204567652784766 CPUtime=1.17 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 2403 0 0 0 58 59 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 2401.74 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3192004 KiB
[startup+2442.3 s]*
/proc/loadavg: 1.59 1.62 1.72 3/215 20940
/proc/meminfo: memFree=12667644/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14090948 memory=3192004 CPUtime=2462.19 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 396847 0 0 0 245875 344 0 0 20 0 15 0 246369346 14429130752 798001 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3522737 798001 3621 1 0 3484809 0
[pid=20775/tid=20777] ppid=20772 vsize=14090948 memory=6791534058613427641 CPUtime=2436.45 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 168107 0 0 0 243557 88 0 0 20 0 15 0 246369346 14429130752 798001 33554432000 4194304 4196468 140730678262128 139638076328432 139637723087107 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14090948 memory=-7003737579269690708 CPUtime=4.17 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 43568 0 0 0 367 50 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14090948 memory=808 CPUtime=4.16 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 39866 0 0 0 369 47 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14090948 memory=1692 CPUtime=4.19 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 37665 0 0 0 370 49 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14090948 memory=916 CPUtime=4.19 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 39253 0 0 0 370 49 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14090948 memory=3848 CPUtime=0.78 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 24637 0 0 0 67 11 0 0 20 0 15 0 246369348 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14090948 memory=2604 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637546092000 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14090948 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637545039360 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14090948 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14090948 memory=1408 CPUtime=2.87 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 7714 0 0 0 285 2 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14090948 memory=3100 CPUtime=2.81 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 9370 0 0 0 279 2 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14090948 memory=3192004 CPUtime=1.27 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 22794 0 0 0 124 3 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14090948 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14090948 memory=3264 CPUtime=1.2 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 2435 0 0 0 60 60 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 2462.19 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3192004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.8 s]
/proc/loadavg: 1.48 1.59 1.70 3/215 20941
/proc/meminfo: memFree=12693896/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14090948 memory=3194052 CPUtime=2520.08 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 401515 0 0 0 251662 346 0 0 20 0 15 0 246369346 14429130752 798513 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3522737 798513 3621 1 0 3484809 0
[pid=20775/tid=20777] ppid=20772 vsize=14090948 memory=3192004 CPUtime=2493.68 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 169093 0 0 0 249280 88 0 0 20 0 15 0 246369346 14429130752 798513 33554432000 4194304 4196468 140730678262128 139638076328432 139637722146963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14090948 memory=287 CPUtime=4.31 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 44629 0 0 0 381 50 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.31 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 40723 0 0 0 383 48 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.33 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 38085 0 0 0 384 49 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.34 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 40201 0 0 0 385 49 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14090948 memory=3192004 CPUtime=0.83 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 24995 0 0 0 72 11 0 0 20 0 15 0 246369348 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14090948 memory=3192004 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637546092000 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637545039360 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14090948 memory=808 CPUtime=2.87 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 7718 0 0 0 285 2 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14090948 memory=3194052 CPUtime=2.81 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 9374 0 0 0 279 2 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14090948 memory=3194052 CPUtime=1.27 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 22798 0 0 0 124 3 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14090948 memory=66976 CPUtime=1.23 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 2461 0 0 0 61 62 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3194052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.82 s]
# the end of solver process 20775 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.64 s, system=3.48381 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2499.8 s]
/proc/loadavg: 1.48 1.59 1.70 3/215 20941
/proc/meminfo: memFree=12693896/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14090948 memory=3194052 CPUtime=2520.08 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 401515 0 0 0 251662 346 0 0 20 0 15 0 246369346 14429130752 798513 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3522737 798513 3621 1 0 3484809 0
[pid=20775/tid=20777] ppid=20772 vsize=14090948 memory=3192004 CPUtime=2493.68 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 169093 0 0 0 249280 88 0 0 20 0 15 0 246369346 14429130752 798513 33554432000 4194304 4196468 140730678262128 139638076328432 139637722146963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14090948 memory=287 CPUtime=4.31 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 44629 0 0 0 381 50 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.31 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 40723 0 0 0 383 48 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.33 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 38085 0 0 0 384 49 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.34 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 40201 0 0 0 385 49 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14090948 memory=3192004 CPUtime=0.83 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 24995 0 0 0 72 11 0 0 20 0 15 0 246369348 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14090948 memory=3192004 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637546092000 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637545039360 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14090948 memory=808 CPUtime=2.87 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 7718 0 0 0 285 2 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14090948 memory=3194052 CPUtime=2.81 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 9374 0 0 0 279 2 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14090948 memory=3194052 CPUtime=1.27 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 22798 0 0 0 124 3 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14090948 memory=66976 CPUtime=1.23 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 2461 0 0 0 61 62 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3194052 KiB
Child status: 143
Real time (s): 2499.82
CPU time (s): 2520.13
CPU user time (s): 2516.64
CPU system time (s): 3.48381
CPU usage (%): 100.812
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4326492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.64
system time used= 3.48381
maximum resident set size= 4332668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75368
involuntary context switches= 3926
# summary of solver processes directly reported to runsolver:
# pid: 20775
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.64
# total CPU system time (s): 3.48381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5976 second user time and 24.0942 second system time
The end