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 (9773 MiB free)
memory of node 1: 16384 MiB (11476 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300270-1532891798/watcher-4300270-1532891798 -o /tmp/evaluation-result-4300270-1532891798/solver-4300270-1532891798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532881747-24197 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4300270-1532891798.xml --timelimit 2520
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
Current StackSize limit: 8192 KiB
solver pid=25276, runsolver pid=25273
[startup+0.105294 s]*
/proc/loadavg: 1.28 1.37 1.41 4/215 25291
/proc/meminfo: memFree=21745084/32770624 swapFree=67108860/67108860
[pid=25276] ppid=25273 vsize=10658972 memory=27500 CPUtime=0.15 cores=0,2,4,6
/proc/25276/stat : 25276 (java) S 25273 25276 24166 0 -1 1077944320 5329 0 0 0 14 1 0 0 20 0 15 0 106742967 10914787328 6875 33554432000 4194304 4196468 140734598334160 140734598316704 140241545055991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
/proc/25276/statm: 2664743 6875 2834 1 0 2627263 0
[pid=25276/tid=25278] ppid=25273 vsize=10658972 memory=-8269626465541592446 CPUtime=0.09 cores=0,2,4,6
/proc/25276/task/25278/stat : 25278 (java) R 25273 25276 24166 0 -1 4202560 3114 0 0 0 9 0 0 0 20 0 15 0 106742967 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241549282240 140241537293118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25279] ppid=25273 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25279/stat : 25279 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241152039568 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25280] ppid=25273 vsize=10658972 memory=140446394521216 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25280/stat : 25280 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241150986768 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25281] ppid=25273 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25281/stat : 25281 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241149933968 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25282] ppid=25273 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25282/stat : 25282 (java) S 25273 25276 24166 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106742968 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241148881168 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25283] ppid=25273 vsize=10658972 memory=140446394521216 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25283/stat : 25283 (java) S 25273 25276 24166 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106742970 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241104931696 140241545067138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25284] ppid=25273 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25284/stat : 25284 (java) S 25273 25276 24166 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106742970 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241103877664 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25285] ppid=25273 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25285/stat : 25285 (java) S 25273 25276 24166 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106742970 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241102824816 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25286] ppid=25273 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25286/stat : 25286 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742972 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241101773136 140241545074587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25287] ppid=25273 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25287/stat : 25287 (java) R 25273 25276 24166 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 106742972 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241100720592 140241545066197 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25288] ppid=25273 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25288/stat : 25288 (java) S 25273 25276 24166 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 106742972 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241099667696 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25289] ppid=25273 vsize=10658972 memory=140446394521216 CPUtime=0.02 cores=0,2,4,6
/proc/25276/task/25289/stat : 25289 (java) R 25273 25276 24166 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 106742972 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241098611832 140241537293118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25290] ppid=25273 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25290/stat : 25290 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742973 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241097562336 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25291] ppid=25273 vsize=10658972 memory=140446394521216 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25291/stat : 25291 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742973 10914787328 6875 33554432000 4194304 4196468 140734598334160 140241096510640 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27500 KiB
[startup+0.210688 s]*
/proc/loadavg: 1.28 1.37 1.41 4/215 25291
/proc/meminfo: memFree=21733292/32770624 swapFree=67108860/67108860
[pid=25276] ppid=25273 vsize=10661056 memory=40176 CPUtime=0.34 cores=0,2,4,6
/proc/25276/stat : 25276 (java) S 25273 25276 24166 0 -1 1077944320 8213 0 0 0 33 1 0 0 20 0 15 0 106742967 10916921344 10044 33554432000 4194304 4196468 140734598334160 140734598316704 140241545055991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
/proc/25276/statm: 2665264 10044 2964 1 0 2627263 0
[pid=25276/tid=25278] ppid=25273 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25276/task/25278/stat : 25278 (java) R 25273 25276 24166 0 -1 4202560 5110 0 0 0 19 1 0 0 20 0 15 0 106742967 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241549286864 140241168092954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25279] ppid=25273 vsize=10661056 memory=343 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25279/stat : 25279 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241152039568 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25280] ppid=25273 vsize=10661056 memory=140446394545783 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25280/stat : 25280 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241150986768 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25281] ppid=25273 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25281/stat : 25281 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241149933968 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25282] ppid=25273 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25282/stat : 25282 (java) S 25273 25276 24166 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106742968 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241148881168 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25283] ppid=25273 vsize=10661056 memory=140446394521216 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25283/stat : 25283 (java) S 25273 25276 24166 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106742970 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241104931696 140241545067138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25284] ppid=25273 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25284/stat : 25284 (java) S 25273 25276 24166 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106742970 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241103877664 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25285] ppid=25273 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25285/stat : 25285 (java) S 25273 25276 24166 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106742970 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241102824816 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25286] ppid=25273 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25286/stat : 25286 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742972 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241101773136 140241545074587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25287] ppid=25273 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25276/task/25287/stat : 25287 (java) R 25273 25276 24166 0 -1 4202560 726 0 0 0 3 0 0 0 20 0 15 0 106742972 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241100720496 140241545067926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25288] ppid=25273 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25276/task/25288/stat : 25288 (java) R 25273 25276 24166 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 15 0 106742972 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241099667696 140241545067138 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25289] ppid=25273 vsize=10661056 memory=140446394521216 CPUtime=0.08 cores=0,2,4,6
/proc/25276/task/25289/stat : 25289 (java) R 25273 25276 24166 0 -1 4202560 858 0 0 0 8 0 0 0 20 0 15 0 106742972 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241098612072 140241523156655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25290] ppid=25273 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25290/stat : 25290 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742973 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241097562336 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25291] ppid=25273 vsize=10661056 memory=140446394521216 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25291/stat : 25291 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742973 10916921344 10044 33554432000 4194304 4196468 140734598334160 140241096510640 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40176 KiB
[startup+0.310631 s]*
/proc/loadavg: 1.28 1.37 1.41 4/215 25291
/proc/meminfo: memFree=21728392/32770624 swapFree=67108860/67108860
[pid=25276] ppid=25273 vsize=10661132 memory=47344 CPUtime=0.6 cores=0,2,4,6
/proc/25276/stat : 25276 (java) S 25273 25276 24166 0 -1 1077944320 8950 0 0 0 58 2 0 0 20 0 15 0 106742967 10916999168 11836 33554432000 4194304 4196468 140734598334160 140734598316704 140241545055991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
/proc/25276/statm: 2665283 11836 3067 1 0 2627263 0
[pid=25276/tid=25278] ppid=25273 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/25276/task/25278/stat : 25278 (java) R 25273 25276 24166 0 -1 4202560 5428 0 0 0 29 1 0 0 20 0 15 0 106742967 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241549292416 140241545067926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25279] ppid=25273 vsize=10661132 memory=288230604707987479 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25279/stat : 25279 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241152039568 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25280] ppid=25273 vsize=10661132 memory=140446394545670 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25280/stat : 25280 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241150986768 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25281] ppid=25273 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25281/stat : 25281 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241149933968 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25282] ppid=25273 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25282/stat : 25282 (java) S 25273 25276 24166 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241148881168 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25283] ppid=25273 vsize=10661132 memory=140446394521216 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25283/stat : 25283 (java) S 25273 25276 24166 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241104931696 140241545067138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25284] ppid=25273 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25284/stat : 25284 (java) S 25273 25276 24166 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241103877664 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25285] ppid=25273 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25285/stat : 25285 (java) S 25273 25276 24166 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241102824816 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25286] ppid=25273 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25286/stat : 25286 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742972 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241101773136 140241545074587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25287] ppid=25273 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25276/task/25287/stat : 25287 (java) S 25273 25276 24166 0 -1 1077944384 826 0 0 0 8 0 0 0 20 0 15 0 106742972 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241100720496 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25288] ppid=25273 vsize=10661132 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/25276/task/25288/stat : 25288 (java) S 25273 25276 24166 0 -1 1077944384 333 0 0 0 5 0 0 0 20 0 15 0 106742972 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241099667696 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25289] ppid=25273 vsize=10661132 memory=140446394521216 CPUtime=0.16 cores=0,2,4,6
/proc/25276/task/25289/stat : 25289 (java) R 25273 25276 24166 0 -1 4202560 992 0 0 0 16 0 0 0 20 0 15 0 106742972 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241098611264 140241523422618 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25290] ppid=25273 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25290/stat : 25290 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742973 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241097562336 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25291] ppid=25273 vsize=10661132 memory=140446394521216 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25291/stat : 25291 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742973 10916999168 11836 33554432000 4194304 4196468 140734598334160 140241096510640 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 47344 KiB
[startup+0.70074 s]
/proc/loadavg: 1.28 1.37 1.41 6/215 25291
/proc/meminfo: memFree=21661872/32770624 swapFree=67108860/67108860
[pid=25276] ppid=25273 vsize=10661132 memory=172388 CPUtime=1.83 cores=0,2,4,6
/proc/25276/stat : 25276 (java) S 25273 25276 24166 0 -1 1077944320 11694 0 0 0 179 4 0 0 20 0 15 0 106742967 10916999168 43097 33554432000 4194304 4196468 140734598334160 140734598316704 140241545055991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
/proc/25276/statm: 2665283 43097 3106 1 0 2627263 0
[pid=25276/tid=25278] ppid=25273 vsize=10661132 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/25276/task/25278/stat : 25278 (java) R 25273 25276 24166 0 -1 4202560 5760 0 0 0 65 2 0 0 20 0 15 0 106742967 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241549281936 140241168092042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25279] ppid=25273 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25279/stat : 25279 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241152039568 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25280] ppid=25273 vsize=10661132 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25280/stat : 25280 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241150986768 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25281] ppid=25273 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25281/stat : 25281 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241149933968 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25282] ppid=25273 vsize=10661132 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25282/stat : 25282 (java) S 25273 25276 24166 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241148881168 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25283] ppid=25273 vsize=10661132 memory=9996 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25283/stat : 25283 (java) S 25273 25276 24166 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241104931696 140241545067138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25284] ppid=25273 vsize=10661132 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25284/stat : 25284 (java) S 25273 25276 24166 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241103877664 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25285] ppid=25273 vsize=10661132 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25285/stat : 25285 (java) S 25273 25276 24166 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241102824816 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25286] ppid=25273 vsize=10661132 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25286/stat : 25286 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742972 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241101773136 140241545074587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25287] ppid=25273 vsize=10661132 memory=6945208482816681536 CPUtime=0.41 cores=0,2,4,6
/proc/25276/task/25287/stat : 25287 (java) R 25273 25276 24166 0 -1 4202560 1829 0 0 0 41 0 0 0 20 0 15 0 106742972 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241100705328 140241530173165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25288] ppid=25273 vsize=10661132 memory=7811323491934034026 CPUtime=0.41 cores=0,2,4,6
/proc/25276/task/25288/stat : 25288 (java) R 25273 25276 24166 0 -1 4202560 1109 0 0 0 41 0 0 0 20 0 15 0 106742972 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241099658672 140241537293118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25289] ppid=25273 vsize=10661132 memory=5787213827063244903 CPUtime=0.3 cores=0,2,4,6
/proc/25276/task/25289/stat : 25289 (java) R 25273 25276 24166 0 -1 1077944384 1626 0 0 0 30 0 0 0 20 0 15 0 106742972 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241098614896 140241545067138 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25290] ppid=25273 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25290/stat : 25290 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742973 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241097562336 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25291] ppid=25273 vsize=10661132 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25291/stat : 25291 (java) S 25273 25276 24166 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106742973 10916999168 43097 33554432000 4194304 4196468 140734598334160 140241096510640 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 172388 KiB
[startup+1.50083 s]
/proc/loadavg: 1.28 1.37 1.41 4/215 25291
/proc/meminfo: memFree=21585596/32770624 swapFree=67108860/67108860
[pid=25276] ppid=25273 vsize=10661132 memory=195252 CPUtime=3.97 cores=0,2,4,6
/proc/25276/stat : 25276 (java) S 25273 25276 24166 0 -1 1077944320 14574 0 0 0 392 5 0 0 20 0 15 0 106742967 10916999168 48813 33554432000 4194304 4196468 140734598334160 140734598316704 140241545055991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
/proc/25276/statm: 2665283 48813 3153 1 0 2627263 0
[pid=25276/tid=25278] ppid=25273 vsize=10661132 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/25276/task/25278/stat : 25278 (java) R 25273 25276 24166 0 -1 4202560 5803 0 0 0 144 2 0 0 20 0 15 0 106742967 10916999168 48813 33554432000 4194304 4196468 140734598334160 140241549289816 140241172717356 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25279] ppid=25273 vsize=10661132 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25279/stat : 25279 (java) S 25273 25276 24166 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 48813 33554432000 4194304 4196468 140734598334160 140241152039568 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25280] ppid=25273 vsize=10661132 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25280/stat : 25280 (java) S 25273 25276 24166 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 48813 33554432000 4194304 4196468 140734598334160 140241150986768 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25281] ppid=25273 vsize=10661132 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25281/stat : 25281 (java) S 25273 25276 24166 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 48813 33554432000 4194304 4196468 140734598334160 140241149933968 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25282] ppid=25273 vsize=10661132 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25282/stat : 25282 (java) S 25273 25276 24166 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 106742968 10916999168 48813 33554432000 4194304 4196468 140734598334160 140241148881168 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25283] ppid=25273 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25283/stat : 25283 (java) S 25273 25276 24166 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 48813 33554432000 4194304 4196468 140734598334160 140241104931696 140241545067138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
################
# More data... #
################
/proc/25276/task/25278/stat : 25278 (java) R 25273 25276 24166 0 -1 4202560 25251 0 0 0 235909 71 0 0 20 0 15 0 106742967 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241549289520 140241172717063 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25279] ppid=25273 vsize=10661132 memory=752240 CPUtime=12.51 cores=0,2,4,6
/proc/25276/task/25279/stat : 25279 (java) S 25273 25276 24166 0 -1 1077944384 11526 0 0 0 1210 41 0 0 20 0 15 0 106742968 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241152039568 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25280] ppid=25273 vsize=10661132 memory=754288 CPUtime=12.47 cores=0,2,4,6
/proc/25276/task/25280/stat : 25280 (java) S 25273 25276 24166 0 -1 1077944384 11680 0 0 0 1202 45 0 0 20 0 15 0 106742968 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241150986768 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25281] ppid=25273 vsize=10661132 memory=754288 CPUtime=12.51 cores=0,2,4,6
/proc/25276/task/25281/stat : 25281 (java) S 25273 25276 24166 0 -1 1077944384 9636 0 0 0 1208 43 0 0 20 0 15 0 106742968 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241149933968 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25282] ppid=25273 vsize=10661132 memory=754288 CPUtime=12.49 cores=0,2,4,6
/proc/25276/task/25282/stat : 25282 (java) S 25273 25276 24166 0 -1 1077944384 11459 0 0 0 1207 42 0 0 20 0 15 0 106742968 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241148881168 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25283] ppid=25273 vsize=10661132 memory=750192 CPUtime=6.01 cores=0,2,4,6
/proc/25276/task/25283/stat : 25283 (java) S 25273 25276 24166 0 -1 1077944384 8059 0 0 0 560 41 0 0 20 0 15 0 106742970 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241104931696 140241545067138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25284] ppid=25273 vsize=10661132 memory=132 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25284/stat : 25284 (java) S 25273 25276 24166 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241103877728 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25285] ppid=25273 vsize=10661132 memory=752240 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25285/stat : 25285 (java) S 25273 25276 24166 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241102824816 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25286] ppid=25273 vsize=10661132 memory=752240 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25286/stat : 25286 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742972 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241101773136 140241545074587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25287] ppid=25273 vsize=10661132 memory=754288 CPUtime=1.97 cores=0,2,4,6
/proc/25276/task/25287/stat : 25287 (java) S 25273 25276 24166 0 -1 1077944384 10601 0 0 0 196 1 0 0 20 0 15 0 106742972 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241100720496 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25288] ppid=25273 vsize=10661132 memory=1936 CPUtime=1.03 cores=0,2,4,6
/proc/25276/task/25288/stat : 25288 (java) S 25273 25276 24166 0 -1 1077944384 3743 0 0 0 103 0 0 0 20 0 15 0 106742972 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241099667696 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25289] ppid=25273 vsize=10661132 memory=754288 CPUtime=0.42 cores=0,2,4,6
/proc/25276/task/25289/stat : 25289 (java) S 25273 25276 24166 0 -1 1077944384 2098 0 0 0 41 1 0 0 20 0 15 0 106742972 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241098614896 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25290] ppid=25273 vsize=10661132 memory=752240 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25290/stat : 25290 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742973 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241097562336 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25291] ppid=25273 vsize=10661132 memory=4136 CPUtime=1.34 cores=0,2,4,6
/proc/25276/task/25291/stat : 25291 (java) S 25273 25276 24166 0 -1 1077944384 1083 0 0 0 71 63 0 0 20 0 15 0 106742973 10916999168 188572 33554432000 4194304 4196468 140734598334160 140241096510640 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
Current children cumulated CPU time: 2420.65 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 754288 KiB
[startup+2442.3 s]
/proc/loadavg: 1.47 1.40 1.41 3/215 25448
/proc/meminfo: memFree=20989804/32770624 swapFree=67108860/67108860
[pid=25276] ppid=25273 vsize=10661132 memory=762480 CPUtime=2481.83 cores=0,2,4,6
/proc/25276/stat : 25276 (java) S 25273 25276 24166 0 -1 1077944320 98710 0 0 0 247870 313 0 0 20 0 15 0 106742967 10916999168 190620 33554432000 4194304 4196468 140734598334160 140734598316704 140241545055991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
/proc/25276/statm: 2665283 190620 3166 1 0 2627263 0
[pid=25276/tid=25278] ppid=25273 vsize=10661132 memory=762480 CPUtime=2419.12 cores=0,2,4,6
/proc/25276/task/25278/stat : 25278 (java) R 25273 25276 24166 0 -1 4202560 25688 0 0 0 241840 72 0 0 20 0 15 0 106742967 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241549290800 140241172717014 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25279] ppid=25273 vsize=10661132 memory=760432 CPUtime=12.93 cores=0,2,4,6
/proc/25276/task/25279/stat : 25279 (java) S 25273 25276 24166 0 -1 1077944384 12034 0 0 0 1251 42 0 0 20 0 15 0 106742968 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241152039568 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25280] ppid=25273 vsize=10661132 memory=760432 CPUtime=12.88 cores=0,2,4,6
/proc/25276/task/25280/stat : 25280 (java) S 25273 25276 24166 0 -1 1077944384 11915 0 0 0 1242 46 0 0 20 0 15 0 106742968 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241150986768 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25281] ppid=25273 vsize=10661132 memory=760432 CPUtime=12.92 cores=0,2,4,6
/proc/25276/task/25281/stat : 25281 (java) S 25273 25276 24166 0 -1 1077944384 9928 0 0 0 1248 44 0 0 20 0 15 0 106742968 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241149933968 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25282] ppid=25273 vsize=10661132 memory=762480 CPUtime=12.9 cores=0,2,4,6
/proc/25276/task/25282/stat : 25282 (java) S 25273 25276 24166 0 -1 1077944384 12005 0 0 0 1248 42 0 0 20 0 15 0 106742968 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241148881168 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25283] ppid=25273 vsize=10661132 memory=762480 CPUtime=6.16 cores=0,2,4,6
/proc/25276/task/25283/stat : 25283 (java) S 25273 25276 24166 0 -1 1077944384 8233 0 0 0 575 41 0 0 20 0 15 0 106742970 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241104931696 140241545067138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25284] ppid=25273 vsize=10661132 memory=762480 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25284/stat : 25284 (java) S 25273 25276 24166 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241103877728 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25285] ppid=25273 vsize=10661132 memory=754288 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25285/stat : 25285 (java) S 25273 25276 24166 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241102824816 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25286] ppid=25273 vsize=10661132 memory=762480 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25286/stat : 25286 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742972 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241101773136 140241545074587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25287] ppid=25273 vsize=10661132 memory=762480 CPUtime=1.97 cores=0,2,4,6
/proc/25276/task/25287/stat : 25287 (java) S 25273 25276 24166 0 -1 1077944384 10603 0 0 0 196 1 0 0 20 0 15 0 106742972 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241100720496 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25288] ppid=25273 vsize=10661132 memory=762480 CPUtime=1.03 cores=0,2,4,6
/proc/25276/task/25288/stat : 25288 (java) S 25273 25276 24166 0 -1 1077944384 3745 0 0 0 103 0 0 0 20 0 15 0 106742972 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241099667696 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25289] ppid=25273 vsize=10661132 memory=1228 CPUtime=0.42 cores=0,2,4,6
/proc/25276/task/25289/stat : 25289 (java) S 25273 25276 24166 0 -1 1077944384 2100 0 0 0 41 1 0 0 20 0 15 0 106742972 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241098614896 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25290] ppid=25273 vsize=10661132 memory=760432 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25290/stat : 25290 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742973 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241097562336 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25291] ppid=25273 vsize=10661132 memory=4136 CPUtime=1.37 cores=0,2,4,6
/proc/25276/task/25291/stat : 25291 (java) S 25273 25276 24166 0 -1 1077944384 1097 0 0 0 72 65 0 0 20 0 15 0 106742973 10916999168 190620 33554432000 4194304 4196468 140734598334160 140241096510640 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
Current children cumulated CPU time: 2481.83 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 762480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2479.9 s]
/proc/loadavg: 1.64 1.45 1.42 3/215 25448
/proc/meminfo: memFree=21050032/32770624 swapFree=67108860/67108860
[pid=25276] ppid=25273 vsize=10661132 memory=766576 CPUtime=2520.03 cores=0,2,4,6
/proc/25276/stat : 25276 (java) S 25273 25276 24166 0 -1 1077944320 100530 0 0 0 251686 317 0 0 20 0 15 0 106742967 10916999168 191644 33554432000 4194304 4196468 140734598334160 140734598316704 140241545055991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
/proc/25276/statm: 2665283 191644 3166 1 0 2627263 0
[pid=25276/tid=25278] ppid=25273 vsize=10661132 memory=764528 CPUtime=2456.34 cores=0,2,4,6
/proc/25276/task/25278/stat : 25278 (java) R 25273 25276 24166 0 -1 4202560 26045 0 0 0 245561 73 0 0 20 0 15 0 106742967 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241549288704 140241172717000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25279] ppid=25273 vsize=10661132 memory=1292 CPUtime=13.15 cores=0,2,4,6
/proc/25276/task/25279/stat : 25279 (java) S 25273 25276 24166 0 -1 1077944384 12488 0 0 0 1273 42 0 0 20 0 15 0 106742968 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241152039568 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25280] ppid=25273 vsize=10661132 memory=762480 CPUtime=13.11 cores=0,2,4,6
/proc/25276/task/25280/stat : 25280 (java) S 25273 25276 24166 0 -1 1077944384 12269 0 0 0 1264 47 0 0 20 0 15 0 106742968 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241150986768 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25281] ppid=25273 vsize=10661132 memory=766576 CPUtime=13.15 cores=0,2,4,6
/proc/25276/task/25281/stat : 25281 (java) S 25273 25276 24166 0 -1 1077944384 9979 0 0 0 1270 45 0 0 20 0 15 0 106742968 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241149933968 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25282] ppid=25273 vsize=10661132 memory=766576 CPUtime=13.13 cores=0,2,4,6
/proc/25276/task/25282/stat : 25282 (java) S 25273 25276 24166 0 -1 1077944384 12416 0 0 0 1270 43 0 0 20 0 15 0 106742968 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241148881168 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25283] ppid=25273 vsize=10661132 memory=766576 CPUtime=6.25 cores=0,2,4,6
/proc/25276/task/25283/stat : 25283 (java) S 25273 25276 24166 0 -1 1077944384 8408 0 0 0 583 42 0 0 20 0 15 0 106742970 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241104931696 140241545067138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25284] ppid=25273 vsize=10661132 memory=766576 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25284/stat : 25284 (java) S 25273 25276 24166 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241103877728 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25285] ppid=25273 vsize=10661132 memory=766576 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25285/stat : 25285 (java) S 25273 25276 24166 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241102824816 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25286] ppid=25273 vsize=10661132 memory=766576 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25286/stat : 25286 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742972 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241101773136 140241545074587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25287] ppid=25273 vsize=10661132 memory=4136 CPUtime=1.97 cores=0,2,4,6
/proc/25276/task/25287/stat : 25287 (java) S 25273 25276 24166 0 -1 1077944384 10605 0 0 0 196 1 0 0 20 0 15 0 106742972 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241100720496 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25288] ppid=25273 vsize=10661132 memory=30592 CPUtime=1.03 cores=0,2,4,6
/proc/25276/task/25288/stat : 25288 (java) S 25273 25276 24166 0 -1 1077944384 3747 0 0 0 103 0 0 0 20 0 15 0 106742972 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241099667696 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25289] ppid=25273 vsize=10661132 memory=133748 CPUtime=0.42 cores=0,2,4,6
/proc/25276/task/25289/stat : 25289 (java) S 25273 25276 24166 0 -1 1077944384 2102 0 0 0 41 1 0 0 20 0 15 0 106742972 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241098614896 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25290] ppid=25273 vsize=10661132 memory=3240 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25290/stat : 25290 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742973 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241097562336 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25291] ppid=25273 vsize=10661132 memory=4136 CPUtime=1.39 cores=0,2,4,6
/proc/25276/task/25291/stat : 25291 (java) S 25273 25276 24166 0 -1 1077944384 1109 0 0 0 73 66 0 0 20 0 15 0 106742973 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241096510640 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 766576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2479.91 s]
# the end of solver process 25276 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.88 s, system=3.17796 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2479.9 s]
/proc/loadavg: 1.64 1.45 1.42 3/215 25448
/proc/meminfo: memFree=21050032/32770624 swapFree=67108860/67108860
[pid=25276] ppid=25273 vsize=10661132 memory=766576 CPUtime=2520.03 cores=0,2,4,6
/proc/25276/stat : 25276 (java) S 25273 25276 24166 0 -1 1077944320 100530 0 0 0 251686 317 0 0 20 0 15 0 106742967 10916999168 191644 33554432000 4194304 4196468 140734598334160 140734598316704 140241545055991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
/proc/25276/statm: 2665283 191644 3166 1 0 2627263 0
[pid=25276/tid=25278] ppid=25273 vsize=10661132 memory=764528 CPUtime=2456.34 cores=0,2,4,6
/proc/25276/task/25278/stat : 25278 (java) R 25273 25276 24166 0 -1 4202560 26045 0 0 0 245561 73 0 0 20 0 15 0 106742967 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241549288704 140241172717000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25279] ppid=25273 vsize=10661132 memory=1292 CPUtime=13.15 cores=0,2,4,6
/proc/25276/task/25279/stat : 25279 (java) S 25273 25276 24166 0 -1 1077944384 12488 0 0 0 1273 42 0 0 20 0 15 0 106742968 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241152039568 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25280] ppid=25273 vsize=10661132 memory=762480 CPUtime=13.11 cores=0,2,4,6
/proc/25276/task/25280/stat : 25280 (java) S 25273 25276 24166 0 -1 1077944384 12269 0 0 0 1264 47 0 0 20 0 15 0 106742968 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241150986768 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25281] ppid=25273 vsize=10661132 memory=766576 CPUtime=13.15 cores=0,2,4,6
/proc/25276/task/25281/stat : 25281 (java) S 25273 25276 24166 0 -1 1077944384 9979 0 0 0 1270 45 0 0 20 0 15 0 106742968 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241149933968 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25282] ppid=25273 vsize=10661132 memory=766576 CPUtime=13.13 cores=0,2,4,6
/proc/25276/task/25282/stat : 25282 (java) S 25273 25276 24166 0 -1 1077944384 12416 0 0 0 1270 43 0 0 20 0 15 0 106742968 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241148881168 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25283] ppid=25273 vsize=10661132 memory=766576 CPUtime=6.25 cores=0,2,4,6
/proc/25276/task/25283/stat : 25283 (java) S 25273 25276 24166 0 -1 1077944384 8408 0 0 0 583 42 0 0 20 0 15 0 106742970 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241104931696 140241545067138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25284] ppid=25273 vsize=10661132 memory=766576 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25284/stat : 25284 (java) S 25273 25276 24166 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241103877728 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25285] ppid=25273 vsize=10661132 memory=766576 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25285/stat : 25285 (java) S 25273 25276 24166 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106742970 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241102824816 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25286] ppid=25273 vsize=10661132 memory=766576 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25286/stat : 25286 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742972 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241101773136 140241545074587 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25287] ppid=25273 vsize=10661132 memory=4136 CPUtime=1.97 cores=0,2,4,6
/proc/25276/task/25287/stat : 25287 (java) S 25273 25276 24166 0 -1 1077944384 10605 0 0 0 196 1 0 0 20 0 15 0 106742972 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241100720496 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25288] ppid=25273 vsize=10661132 memory=30592 CPUtime=1.03 cores=0,2,4,6
/proc/25276/task/25288/stat : 25288 (java) S 25273 25276 24166 0 -1 1077944384 3747 0 0 0 103 0 0 0 20 0 15 0 106742972 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241099667696 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25289] ppid=25273 vsize=10661132 memory=133748 CPUtime=0.42 cores=0,2,4,6
/proc/25276/task/25289/stat : 25289 (java) S 25273 25276 24166 0 -1 1077944384 2102 0 0 0 41 1 0 0 20 0 15 0 106742972 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241098614896 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25290] ppid=25273 vsize=10661132 memory=3240 CPUtime=0 cores=0,2,4,6
/proc/25276/task/25290/stat : 25290 (java) S 25273 25276 24166 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106742973 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241097562336 140241545066197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
[pid=25276/tid=25291] ppid=25273 vsize=10661132 memory=4136 CPUtime=1.39 cores=0,2,4,6
/proc/25276/task/25291/stat : 25291 (java) S 25273 25276 24166 0 -1 1077944384 1109 0 0 0 73 66 0 0 20 0 15 0 106742973 10916999168 191644 33554432000 4194304 4196468 140734598334160 140241096510640 140241545067138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140734598341752 140734598341897 140734598341897 140734598344655 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 766576 KiB
Child status: 143
Real time (s): 2479.91
CPU time (s): 2520.05
CPU user time (s): 2516.88
CPU system time (s): 3.17796
CPU usage (%): 101.619
Max. virtual memory (cumulated for all children) (KiB): 10662952
Max. memory (cumulated for all children) (KiB): 766576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.88
system time used= 3.17796
maximum resident set size= 767044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100723
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224788
involuntary context switches= 9935
# summary of solver processes directly reported to runsolver:
# pid: 25276
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.88
# total CPU system time (s): 3.17796
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5011 second user time and 23.4468 second system time
The end