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 (10264 MiB free)
memory of node 1: 16384 MiB (4317 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304253-1534051519/watcher-4304253-1534051519 -o /tmp/evaluation-result-4304253-1534051519/solver-4304253-1534051519 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534039158-26715 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1604678140 HOME/instance-4304253-1534051519.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=28700, runsolver pid=28697
Current StackSize limit: 8192 KiB
[startup+0.101945 s]*
/proc/loadavg: 1.39 1.32 1.37 2/206 28757
/proc/meminfo: memFree=14925104/32770624 swapFree=67108844/67108860
[pid=28700] ppid=28697 vsize=10005480 memory=15176 CPUtime=0.08 cores=0,2,4,6
/proc/28700/stat : 28700 (java) S 28697 28700 25584 0 -1 1077944320 4469 12947 0 0 1 0 5 2 20 0 6 0 222715086 10245611520 3794 33554432000 4194304 4196468 140733122601808 140733122584352 139738604134135 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
/proc/28700/statm: 2501370 3794 1934 1 0 2489808 0
[pid=28700/tid=28753] ppid=28697 vsize=10005480 memory=4279135704013962892 CPUtime=0.08 cores=0,2,4,6
/proc/28700/task/28753/stat : 28753 (java) R 28697 28700 25584 0 -1 4202560 2286 12947 0 0 1 0 5 2 20 0 6 0 222715095 10245611520 3794 33554432000 4194304 4196468 140733122601808 139738575970896 139738589257072 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28754] ppid=28697 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28754/stat : 28754 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 6 0 222715095 10245611520 3794 33554432000 4194304 4196468 140733122601808 139738608376464 139738604144341 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28755] ppid=28697 vsize=10005480 memory=140220786103936 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28755/stat : 28755 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 6 0 222715095 10245611520 3794 33554432000 4194304 4196468 140733122601808 139738143394320 139738604144341 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28756] ppid=28697 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28756/stat : 28756 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 6 0 222715095 10245611520 3794 33554432000 4194304 4196468 140733122601808 139738142341520 139738604144341 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28757] ppid=28697 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28757/stat : 28757 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 6 0 222715095 10245611520 3794 33554432000 4194304 4196468 140733122601808 139738141288720 139738604144341 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15176 KiB
[startup+0.210689 s]*
/proc/loadavg: 1.39 1.32 1.37 3/215 28766
/proc/meminfo: memFree=14904256/32770624 swapFree=67108844/67108860
[pid=28700] ppid=28697 vsize=10982744 memory=41364 CPUtime=0.25 cores=0,2,4,6
/proc/28700/stat : 28700 (java) S 28697 28700 25584 0 -1 1077944320 7548 12947 0 0 16 2 5 2 20 0 15 0 222715086 11246329856 10341 33554432000 4194304 4196468 140733122601808 140733122584352 139738604134135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
/proc/28700/statm: 2745686 10341 2953 1 0 2708109 0
[pid=28700/tid=28753] ppid=28697 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/28700/task/28753/stat : 28753 (java) R 28697 28700 25584 0 -1 4202560 4026 12947 0 0 10 1 5 2 20 0 15 0 222715095 11246329856 10341 33554432000 4194304 4196468 140733122601808 139738575955944 139738584409477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28754] ppid=28697 vsize=10982744 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28754/stat : 28754 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246329856 10341 33554432000 4194304 4196468 140733122601808 139738608376464 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28755] ppid=28697 vsize=10982744 memory=288370596937815680 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28755/stat : 28755 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246329856 10341 33554432000 4194304 4196468 140733122601808 139738143394320 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28756] ppid=28697 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28756/stat : 28756 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246329856 10341 33554432000 4194304 4196468 140733122601808 139738142341520 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28757] ppid=28697 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28757/stat : 28757 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246329856 10341 33554432000 4194304 4196468 140733122601808 139738141288720 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28758] ppid=28697 vsize=10982744 memory=140220786103936 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28758/stat : 28758 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715097 11246329856 10341 33554432000 4194304 4196468 140733122601808 139738029722480 139738604145282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28759] ppid=28697 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28759/stat : 28759 (java) S 28697 28700 25584 0 -1 1077944384 13 12947 0 0 0 0 5 2 20 0 15 0 222715097 11246329856 10341 33554432000 4194304 4196468 140733122601808 139737445688864 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28760] ppid=28697 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28760/stat : 28760 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715098 11246329856 10341 33554432000 4194304 4196468 140733122601808 139737297839472 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28761] ppid=28697 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28761/stat : 28761 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715100 11246329856 10341 33554432000 4194304 4196468 140733122601808 139736990439760 139738604152731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28762] ppid=28697 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28700/task/28762/stat : 28762 (java) S 28697 28700 25584 0 -1 1077944384 380 12947 0 0 1 0 5 2 20 0 15 0 222715100 11246329856 10341 33554432000 4194304 4196468 140733122601808 139738028669296 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28763] ppid=28697 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28763/stat : 28763 (java) S 28697 28700 25584 0 -1 1077944384 251 12947 0 0 0 0 5 2 20 0 15 0 222715100 11246329856 10341 33554432000 4194304 4196468 140733122601808 139738027616496 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28764] ppid=28697 vsize=10982744 memory=140220786103936 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28764/stat : 28764 (java) S 28697 28700 25584 0 -1 1077944384 670 12947 0 0 3 0 5 2 20 0 15 0 222715100 11246329856 10341 33554432000 4194304 4196468 140733122601808 139738026563696 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28765] ppid=28697 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28765/stat : 28765 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715101 11246329856 10341 33554432000 4194304 4196468 140733122601808 139736559642848 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28766] ppid=28697 vsize=10982744 memory=140220786103936 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28766/stat : 28766 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715101 11246329856 10341 33554432000 4194304 4196468 140733122601808 139738025512112 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41364 KiB
[startup+0.310147 s]*
/proc/loadavg: 1.39 1.32 1.37 3/215 28766
/proc/meminfo: memFree=14891480/32770624 swapFree=67108844/67108860
[pid=28700] ppid=28697 vsize=10983192 memory=52968 CPUtime=0.38 cores=0,2,4,6
/proc/28700/stat : 28700 (java) S 28697 28700 25584 0 -1 1077944320 10353 12947 0 0 28 3 5 2 20 0 15 0 222715086 11246788608 13242 33554432000 4194304 4196468 140733122601808 140733122584352 139738604134135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
/proc/28700/statm: 2745798 13242 3072 1 0 2708109 0
[pid=28700/tid=28753] ppid=28697 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/28700/task/28753/stat : 28753 (java) R 28697 28700 25584 0 -1 4202560 6789 12947 0 0 18 2 5 2 20 0 15 0 222715095 11246788608 13242 33554432000 4194304 4196468 140733122601808 139738575946144 139738585697710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28754] ppid=28697 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28754/stat : 28754 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246788608 13242 33554432000 4194304 4196468 140733122601808 139738608376464 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28755] ppid=28697 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28755/stat : 28755 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246788608 13242 33554432000 4194304 4196468 140733122601808 139738143394320 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28756] ppid=28697 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28756/stat : 28756 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246788608 13242 33554432000 4194304 4196468 140733122601808 139738142341520 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28757] ppid=28697 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28757/stat : 28757 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246788608 13242 33554432000 4194304 4196468 140733122601808 139738141288720 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28758] ppid=28697 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28758/stat : 28758 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715097 11246788608 13242 33554432000 4194304 4196468 140733122601808 139738029722480 139738604145282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28759] ppid=28697 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28759/stat : 28759 (java) S 28697 28700 25584 0 -1 1077944384 13 12947 0 0 0 0 5 2 20 0 15 0 222715097 11246788608 13242 33554432000 4194304 4196468 140733122601808 139737445688864 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28760] ppid=28697 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28760/stat : 28760 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715098 11246788608 13242 33554432000 4194304 4196468 140733122601808 139737297839472 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28761] ppid=28697 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28761/stat : 28761 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715100 11246788608 13242 33554432000 4194304 4196468 140733122601808 139736990439760 139738604152731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28762] ppid=28697 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28700/task/28762/stat : 28762 (java) S 28697 28700 25584 0 -1 1077944384 384 12947 0 0 1 0 5 2 20 0 15 0 222715100 11246788608 13242 33554432000 4194304 4196468 140733122601808 139738028669296 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28763] ppid=28697 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28700/task/28763/stat : 28763 (java) S 28697 28700 25584 0 -1 1077944384 257 12947 0 0 1 0 5 2 20 0 15 0 222715100 11246788608 13242 33554432000 4194304 4196468 140733122601808 139738027616496 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28764] ppid=28697 vsize=10983192 memory=140220786103936 CPUtime=0.11 cores=0,2,4,6
/proc/28700/task/28764/stat : 28764 (java) S 28697 28700 25584 0 -1 1077944384 702 12947 0 0 4 0 5 2 20 0 15 0 222715100 11246788608 13242 33554432000 4194304 4196468 140733122601808 139738026563696 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28765] ppid=28697 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28765/stat : 28765 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715101 11246788608 13242 33554432000 4194304 4196468 140733122601808 139736559642848 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28766] ppid=28697 vsize=10983192 memory=140220786103936 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28766/stat : 28766 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715101 11246788608 13242 33554432000 4194304 4196468 140733122601808 139738025512112 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52968 KiB
[startup+0.700731 s]
/proc/loadavg: 1.39 1.32 1.37 3/215 28766
/proc/meminfo: memFree=14880432/32770624 swapFree=67108844/67108860
[pid=28700] ppid=28697 vsize=10983192 memory=87920 CPUtime=0.98 cores=0,2,4,6
/proc/28700/stat : 28700 (java) S 28697 28700 25584 0 -1 1077944320 17159 12947 0 0 87 4 5 2 20 0 15 0 222715086 11246788608 21980 33554432000 4194304 4196468 140733122601808 140733122584352 139738604134135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
/proc/28700/statm: 2745798 21980 3238 1 0 2708109 0
[pid=28700/tid=28753] ppid=28697 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/28700/task/28753/stat : 28753 (java) R 28697 28700 25584 0 -1 4202560 12444 12947 0 0 55 3 5 2 20 0 15 0 222715095 11246788608 21980 33554432000 4194304 4196468 140733122601808 139738575936816 139738585697682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28754] ppid=28697 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28754/stat : 28754 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246788608 21980 33554432000 4194304 4196468 140733122601808 139738608376464 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28755] ppid=28697 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28755/stat : 28755 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246788608 21980 33554432000 4194304 4196468 140733122601808 139738143394320 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28756] ppid=28697 vsize=10983192 memory=140220683137808 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28756/stat : 28756 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246788608 21980 33554432000 4194304 4196468 140733122601808 139738142341520 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28757] ppid=28697 vsize=10983192 memory=140222092280404 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28757/stat : 28757 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715095 11246788608 21980 33554432000 4194304 4196468 140733122601808 139738141288720 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28758] ppid=28697 vsize=10983192 memory=5776 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28758/stat : 28758 (java) S 28697 28700 25584 0 -1 1077944384 5 12947 0 0 0 0 5 2 20 0 15 0 222715097 11246788608 21980 33554432000 4194304 4196468 140733122601808 139738029722480 139738604145282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28759] ppid=28697 vsize=10983192 memory=7662705889289527641 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28759/stat : 28759 (java) S 28697 28700 25584 0 -1 1077944384 13 12947 0 0 0 0 5 2 20 0 15 0 222715097 11246788608 21980 33554432000 4194304 4196468 140733122601808 139737445688864 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28760] ppid=28697 vsize=10983192 memory=6082220498109623144 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28760/stat : 28760 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715098 11246788608 21980 33554432000 4194304 4196468 140733122601808 139737297839472 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28761] ppid=28697 vsize=10983192 memory=12708 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28761/stat : 28761 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715100 11246788608 21980 33554432000 4194304 4196468 140733122601808 139736990439760 139738604152731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28762] ppid=28697 vsize=10983192 memory=33324 CPUtime=0.14 cores=0,2,4,6
/proc/28700/task/28762/stat : 28762 (java) S 28697 28700 25584 0 -1 1077944384 767 12947 0 0 7 0 5 2 20 0 15 0 222715100 11246788608 21980 33554432000 4194304 4196468 140733122601808 139738028669296 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28763] ppid=28697 vsize=10983192 memory=2324 CPUtime=0.16 cores=0,2,4,6
/proc/28700/task/28763/stat : 28763 (java) S 28697 28700 25584 0 -1 1077944384 858 12947 0 0 9 0 5 2 20 0 15 0 222715100 11246788608 21980 33554432000 4194304 4196468 140733122601808 139738027616496 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28764] ppid=28697 vsize=10983192 memory=1584 CPUtime=0.19 cores=0,2,4,6
/proc/28700/task/28764/stat : 28764 (java) S 28697 28700 25584 0 -1 1077944384 866 12947 0 0 12 0 5 2 20 0 15 0 222715100 11246788608 21980 33554432000 4194304 4196468 140733122601808 139738026563696 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28765] ppid=28697 vsize=10983192 memory=496 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28765/stat : 28765 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715101 11246788608 21980 33554432000 4194304 4196468 140733122601808 139736559642848 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28766] ppid=28697 vsize=10983192 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28766/stat : 28766 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715101 11246788608 21980 33554432000 4194304 4196468 140733122601808 139738025512112 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87920 KiB
[startup+1.50069 s]
/proc/loadavg: 1.39 1.32 1.37 4/215 28766
/proc/meminfo: memFree=14835348/32770624 swapFree=67108844/67108860
[pid=28700] ppid=28697 vsize=10998092 memory=180676 CPUtime=2.28 cores=0,2,4,6
/proc/28700/stat : 28700 (java) S 28697 28700 25584 0 -1 1077944320 24298 12947 0 0 210 11 5 2 20 0 15 0 222715086 11262046208 45169 33554432000 4194304 4196468 140733122601808 140733122584352 139738604134135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
/proc/28700/statm: 2749523 45169 3470 1 0 2711181 0
[pid=28700/tid=28753] ppid=28697 vsize=10998092 memory=64936 CPUtime=1.42 cores=0,2,4,6
/proc/28700/task/28753/stat : 28753 (java) R 28697 28700 25584 0 -1 4202560 17876 12947 0 0 128 7 5 2 20 0 15 0 222715095 11262046208 45169 33554432000 4194304 4196468 140733122601808 139738575966080 139738604156061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28754] ppid=28697 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28754/stat : 28754 (java) S 28697 28700 25584 0 -1 1077944384 51 12947 0 0 0 0 5 2 20 0 15 0 222715095 11262046208 45169 33554432000 4194304 4196468 140733122601808 139738608376464 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28755] ppid=28697 vsize=10998092 memory=280441366306976 CPUtime=0.08 cores=0,2,4,6
/proc/28700/task/28755/stat : 28755 (java) S 28697 28700 25584 0 -1 1077944384 20 12947 0 0 1 0 5 2 20 0 15 0 222715095 11262046208 45169 33554432000 4194304 4196468 140733122601808 139738143394320 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28756] ppid=28697 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28700/task/28756/stat : 28756 (java) S 28697 28700 25584 0 -1 1077944384 33 12947 0 0 1 0 5 2 20 0 15 0 222715095 11262046208 45169 33554432000 4194304 4196468 140733122601808 139738142341520 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28757] ppid=28697 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28757/stat : 28757 (java) S 28697 28700 25584 0 -1 1077944384 223 12947 0 0 0 0 5 2 20 0 15 0 222715095 11262046208 45169 33554432000 4194304 4196468 140733122601808 139738141288720 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28758] ppid=28697 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28700/task/28758/stat : 28758 (java) S 28697 28700 25584 0 -1 1077944384 54 12947 0 0 1 0 5 2 20 0 15 0 222715097 11262046208 45169 33554432000 4194304 4196468 140733122601808 139738029722480 139738604145282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28759] ppid=28697 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28759/stat : 28759 (java) S 28697 28700 25584 0 -1 1077944384 14 12947 0 0 0 0 5 2 20 0 15 0 222715097 11262046208 45169 33554432000 4194304 4196468 140733122601808 139737445688928 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28760] ppid=28697 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28760/stat : 28760 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715098 11262046208 45169 33554432000 4194304 4196468 140733122601808 139737297839488 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28761] ppid=28697 vsize=10998092 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28761/stat : 28761 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715100 11262046208 45169 33554432000 4194304 4196468 140733122601808 139736990439760 139738604152731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28762] ppid=28697 vsize=10998092 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/28700/task/28762/stat : 28762 (java) S 28697 28700 25584 0 -1 1077944384 1316 12947 0 0 21 0 5 2 20 0 15 0 222715100 11262046208 45169 33554432000 4194304 4196468 140733122601808 139738028669296 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28763] ppid=28697 vsize=10998092 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/28700/task/28763/stat : 28763 (java) S 28697 28700 25584 0 -1 1077944384 1054 12947 0 0 20 0 5 2 20 0 15 0 222715100 11262046208 45169 33554432000 4194304 4196468 140733122601808 139738027616496 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28764] ppid=28697 vsize=10998092 memory=6791534058613427641 CPUtime=0.4 cores=0,2,4,6
/proc/28700/task/28764/stat : 28764 (java) S 28697 28700 25584 0 -1 1077944384 1456 12947 0 0 33 0 5 2 20 0 15 0 222715100 11262046208 45169 33554432000 4194304 4196468 140733122601808 139738026563696 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28765] ppid=28697 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28765/stat : 28765 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715101 11262046208 45169 33554432000 4194304 4196468 140733122601808 139736559642848 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28766] ppid=28697 vsize=10998092 memory=280441366551424 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28766/stat : 28766 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715101 11262046208 45169 33554432000 4194304 4196468 140733122601808 139738025512112 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 180676 KiB
[startup+3.11965 s]
/proc/loadavg: 1.39 1.32 1.37 6/215 28766
/proc/meminfo: memFree=14715188/32770624 swapFree=67108844/67108860
[pid=28700] ppid=28697 vsize=11010400 memory=253688 CPUtime=6.13 cores=0,2,4,6
/proc/28700/stat : 28700 (java) S 28697 28700 25584 0 -1 1077944320 36766 12947 0 0 590 16 5 2 20 0 15 0 222715086 11274649600 63422 33554432000 4194304 4196468 140733122601808 140733122584352 139738604134135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
/proc/28700/statm: 2752600 63422 3496 1 0 2714253 0
[pid=28700/tid=28753] ppid=28697 vsize=11010400 memory=7 CPUtime=2.99 cores=0,2,4,6
/proc/28700/task/28753/stat : 28753 (java) R 28697 28700 25584 0 -1 4202560 23629 12947 0 0 283 9 5 2 20 0 15 0 222715095 11274649600 63422 33554432000 4194304 4196468 140733122601808 139738575956848 139738178055616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28754] ppid=28697 vsize=11010400 memory=204288 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28754/stat : 28754 (java) S 28697 28700 25584 0 -1 1077944384 62 12947 0 0 3 0 5 2 20 0 15 0 222715095 11274649600 63422 33554432000 4194304 4196468 140733122601808 139738608376464 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28755] ppid=28697 vsize=11010400 memory=4140 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28755/stat : 28755 (java) S 28697 28700 25584 0 -1 1077944384 42 12947 0 0 3 0 5 2 20 0 15 0 222715095 11274649600 63422 33554432000 4194304 4196468 140733122601808 139738143394320 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28756] ppid=28697 vsize=11010400 memory=60348 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28756/stat : 28756 (java) S 28697 28700 25584 0 -1 1077944384 44 12947 0 0 3 0 5 2 20 0 15 0 222715095 11274649600 63422 33554432000 4194304 4196468 140733122601808 139738142341520 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28757] ppid=28697 vsize=11010400 memory=2204 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28757/stat : 28757 (java) S 28697 28700 25584 0 -1 1077944384 229 12947 0 0 3 0 5 2 20 0 15 0 222715095 11274649600 63422 33554432000 4194304 4196468 140733122601808 139738141288720 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28758] ppid=28697 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28758/stat : 28758 (java) S 28697 28700 25584 0 -1 1077944384 1391 12947 0 0 3 0 5 2 20 0 15 0 222715097 11274649600 63422 33554432000 4194304 4196468 140733122601808 139738029722480 139738604145282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28759] ppid=28697 vsize=11010400 memory=-3535359994705172066 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28759/stat : 28759 (java) S 28697 28700 25584 0 -1 1077944384 14 12947 0 0 0 0 5 2 20 0 15 0 222715097 11274649600 63422 33554432000 4194304 4196468 140733122601808 139737445688928 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28760] ppid=28697 vsize=11010400 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28760/stat : 28760 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715098 11274649600 63422 33554432000 4194304 4196468 140733122601808 139737297839488 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28761] ppid=28697 vsize=11010400 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28761/stat : 28761 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715100 11274649600 63422 33554432000 4194304 4196468 140733122601808 139736990439760 139738604152731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28762] ppid=28697 vsize=11010400 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/28700/task/28762/stat : 28762 (java) S 28697 28700 25584 0 -1 1077944384 1950 12947 0 0 80 1 5 2 20 0 15 0 222715100 11274649600 63422 33554432000 4194304 4196468 140733122601808 139738028669296 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28763] ppid=28697 vsize=11010400 memory=3540022442600783185 CPUtime=1.06 cores=0,2,4,6
/proc/28700/task/28763/stat : 28763 (java) R 28697 28700 25584 0 -1 4202560 3124 12947 0 0 98 1 5 2 20 0 15 0 222715100 11274649600 63422 33554432000 4194304 4196468 140733122601808 139738027604640 139738581728913 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28764] ppid=28697 vsize=11010400 memory=56 CPUtime=1.17 cores=0,2,4,6
/proc/28700/task/28764/stat : 28764 (java) S 28697 28700 25584 0 -1 1077944384 4080 12947 0 0 109 1 5 2 20 0 15 0 222715100 11274649600 63422 33554432000 4194304 4196468 140733122601808 139738026563696 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28765] ppid=28697 vsize=11010400 memory=2967918747322433632 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28765/stat : 28765 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715101 11274649600 63422 33554432000 4194304 4196468 140733122601808 139736559642848 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28766] ppid=28697 vsize=11010400 memory=4639059873309409380 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28766/stat : 28766 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715101 11274649600 63422 33554432000 4194304 4196468 140733122601808 139738025512112 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 253688 KiB
[startup+3.73655 s]
# the end of solver process 28700 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.51639 s, system=0.232714 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20973 s]
/proc/loadavg: 1.39 1.32 1.37 6/215 28766
/proc/meminfo: memFree=14715188/32770624 swapFree=67108844/67108860
[pid=28700] ppid=28697 vsize=11010400 memory=255388 CPUtime=6.34 cores=0,2,4,6
/proc/28700/stat : 28700 (java) S 28697 28700 25584 0 -1 1077944320 40508 12947 0 0 610 17 5 2 20 0 15 0 222715086 11274649600 63847 33554432000 4194304 4196468 140733122601808 140733122584352 139738604134135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
/proc/28700/statm: 2752600 63847 3496 1 0 2714253 0
[pid=28700/tid=28753] ppid=28697 vsize=11010400 memory=6935649255759568960 CPUtime=3.07 cores=0,2,4,6
/proc/28700/task/28753/stat : 28753 (java) R 28697 28700 25584 0 -1 4202560 26212 12947 0 0 291 9 5 2 20 0 15 0 222715095 11274649600 63847 33554432000 4194304 4196468 140733122601808 139738575949888 139738584409949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28754] ppid=28697 vsize=11010400 memory=2984339746955739232 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28754/stat : 28754 (java) S 28697 28700 25584 0 -1 1077944384 62 12947 0 0 3 0 5 2 20 0 15 0 222715095 11274649600 63847 33554432000 4194304 4196468 140733122601808 139738608376464 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28755] ppid=28697 vsize=11010400 memory=3467824627879784490 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28755/stat : 28755 (java) S 28697 28700 25584 0 -1 1077944384 42 12947 0 0 3 0 5 2 20 0 15 0 222715095 11274649600 63847 33554432000 4194304 4196468 140733122601808 139738143394320 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28756] ppid=28697 vsize=11010400 memory=7301858164987948385 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28756/stat : 28756 (java) S 28697 28700 25584 0 -1 1077944384 44 12947 0 0 3 0 5 2 20 0 15 0 222715095 11274649600 63847 33554432000 4194304 4196468 140733122601808 139738142341520 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28757] ppid=28697 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28757/stat : 28757 (java) S 28697 28700 25584 0 -1 1077944384 229 12947 0 0 3 0 5 2 20 0 15 0 222715095 11274649600 63847 33554432000 4194304 4196468 140733122601808 139738141288720 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28758] ppid=28697 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28758/stat : 28758 (java) S 28697 28700 25584 0 -1 1077944384 1391 12947 0 0 3 0 5 2 20 0 15 0 222715097 11274649600 63847 33554432000 4194304 4196468 140733122601808 139738029722480 139738604145282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28759] ppid=28697 vsize=11010400 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28759/stat : 28759 (java) S 28697 28700 25584 0 -1 1077944384 14 12947 0 0 0 0 5 2 20 0 15 0 222715097 11274649600 63847 33554432000 4194304 4196468 140733122601808 139737445688928 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28760] ppid=28697 vsize=11010400 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28760/stat : 28760 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715098 11274649600 63847 33554432000 4194304 4196468 140733122601808 139737297839488 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28761] ppid=28697 vsize=11010400 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28761/stat : 28761 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715100 11274649600 63847 33554432000 4194304 4196468 140733122601808 139736990439760 139738604152731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28762] ppid=28697 vsize=11010400 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/28700/task/28762/stat : 28762 (java) S 28697 28700 25584 0 -1 1077944384 1956 12947 0 0 83 1 5 2 20 0 15 0 222715100 11274649600 63847 33554432000 4194304 4196468 140733122601808 139738028669296 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28763] ppid=28697 vsize=11010400 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/28700/task/28763/stat : 28763 (java) R 28697 28700 25584 0 -1 4202560 4280 12947 0 0 105 1 5 2 20 0 15 0 222715100 11274649600 63847 33554432000 4194304 4196468 140733122601808 139738027597920 139738588536226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28764] ppid=28697 vsize=11010400 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/28700/task/28764/stat : 28764 (java) S 28697 28700 25584 0 -1 1077944384 4101 12947 0 0 111 1 5 2 20 0 15 0 222715100 11274649600 63847 33554432000 4194304 4196468 140733122601808 139738026563696 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28765] ppid=28697 vsize=11010400 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28765/stat : 28765 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715101 11274649600 63847 33554432000 4194304 4196468 140733122601808 139736559642848 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28766] ppid=28697 vsize=11010400 memory=244 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28766/stat : 28766 (java) S 28697 28700 25584 0 -1 1077944384 1 12947 0 0 0 0 5 2 20 0 15 0 222715101 11274649600 63847 33554432000 4194304 4196468 140733122601808 139738025512112 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 255388 KiB
[startup+3.60525 s]
/proc/loadavg: 1.39 1.32 1.37 6/215 28766
/proc/meminfo: memFree=14715188/32770624 swapFree=67108844/67108860
[pid=28700] ppid=28697 vsize=11078144 memory=308212 CPUtime=7.43 cores=0,2,4,6
/proc/28700/stat : 28700 (java) S 28697 28700 25584 0 -1 1077944320 61306 12947 0 0 718 18 5 2 20 0 15 0 222715086 11344019456 77053 33554432000 4194304 4196468 140733122601808 140733122584352 139738604134135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
/proc/28700/statm: 2769536 77053 3497 1 0 2731189 0
[pid=28700/tid=28753] ppid=28697 vsize=11078144 memory=1240 CPUtime=3.47 cores=0,2,4,6
/proc/28700/task/28753/stat : 28753 (java) R 28697 28700 25584 0 -1 1077944384 42990 12947 0 0 329 11 5 2 20 0 15 0 222715095 11344019456 77053 33554432000 4194304 4196468 140733122601808 139738575966128 139738604144341 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28754] ppid=28697 vsize=11078144 memory=1504 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28754/stat : 28754 (java) S 28697 28700 25584 0 -1 1077944384 62 12947 0 0 3 0 5 2 20 0 15 0 222715095 11344019456 77053 33554432000 4194304 4196468 140733122601808 139738608376464 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28755] ppid=28697 vsize=11078144 memory=844 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28755/stat : 28755 (java) S 28697 28700 25584 0 -1 1077944384 42 12947 0 0 3 0 5 2 20 0 15 0 222715095 11344019456 77053 33554432000 4194304 4196468 140733122601808 139738143394320 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28756] ppid=28697 vsize=11078144 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28756/stat : 28756 (java) S 28697 28700 25584 0 -1 1077944384 44 12947 0 0 3 0 5 2 20 0 15 0 222715095 11344019456 77053 33554432000 4194304 4196468 140733122601808 139738142341520 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28757] ppid=28697 vsize=11078144 memory=2724 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28757/stat : 28757 (java) S 28697 28700 25584 0 -1 1077944384 229 12947 0 0 3 0 5 2 20 0 15 0 222715095 11344019456 77053 33554432000 4194304 4196468 140733122601808 139738141288720 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28758] ppid=28697 vsize=11078144 memory=1256 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28758/stat : 28758 (java) S 28697 28700 25584 0 -1 1077944384 2735 12947 0 0 3 0 5 2 20 0 15 0 222715097 11344019456 77053 33554432000 4194304 4196468 140733122601808 139738029722480 139738604145282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28759] ppid=28697 vsize=11078144 memory=10464 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28759/stat : 28759 (java) S 28697 28700 25584 0 -1 1077944384 14 12947 0 0 0 0 5 2 20 0 15 0 222715097 11344019456 77053 33554432000 4194304 4196468 140733122601808 139737445688928 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28760] ppid=28697 vsize=11078144 memory=280441366822144 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28760/stat : 28760 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 15 0 222715098 11344019456 77053 33554432000 4194304 4196468 140733122601808 139737297839488 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28761] ppid=28697 vsize=11078144 memory=7595440001688102255 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28761/stat : 28761 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715100 11344019456 77053 33554432000 4194304 4196468 140733122601808 139736990439760 139738604152731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28762] ppid=28697 vsize=11078144 memory=7595440001688102255 CPUtime=1.1 cores=0,2,4,6
/proc/28700/task/28762/stat : 28762 (java) S 28697 28700 25584 0 -1 1077944384 2095 12947 0 0 102 1 5 2 20 0 15 0 222715100 11344019456 77053 33554432000 4194304 4196468 140733122601808 139738028660128 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28763] ppid=28697 vsize=11078144 memory=0 CPUtime=1.53 cores=0,2,4,6
/proc/28700/task/28763/stat : 28763 (java) R 28697 28700 25584 0 -1 4202560 6247 12947 0 0 145 1 5 2 20 0 15 0 222715100 11344019456 77053 33554432000 4194304 4196468 140733122601808 139738027597512 139738589259574 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28764] ppid=28697 vsize=11078144 memory=8258922907895567228 CPUtime=1.31 cores=0,2,4,6
/proc/28700/task/28764/stat : 28764 (java) R 28697 28700 25584 0 -1 4202560 4640 12947 0 0 122 2 5 2 20 0 15 0 222715100 11344019456 77053 33554432000 4194304 4196468 140733122601808 139738026563696 139738588660426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28765] ppid=28697 vsize=11078144 memory=7100839870037656946 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28765/stat : 28765 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 15 0 222715101 11344019456 77053 33554432000 4194304 4196468 140733122601808 139736559642848 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28766] ppid=28697 vsize=11078144 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28766/stat : 28766 (java) S 28697 28700 25584 0 -1 1077944384 9 12947 0 0 0 0 5 2 20 0 15 0 222715101 11344019456 77053 33554432000 4194304 4196468 140733122601808 139738025512112 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
Current children cumulated CPU time: 7.43 s
Current children cumulated vsize: 11078144 KiB
Current children cumulated memory: 308212 KiB
[startup+3.70064 s]
/proc/loadavg: 1.39 1.32 1.37 6/215 28766
/proc/meminfo: memFree=14715188/32770624 swapFree=67108844/67108860
[pid=28700] ppid=28697 vsize=11146140 memory=309460 CPUtime=7.69 cores=0,2,4,6
/proc/28700/stat : 28700 (java) S 28697 28700 25584 0 -1 1077944320 62391 12947 0 0 743 19 5 2 20 0 14 0 222715086 11413647360 77365 33554432000 4194304 4196468 140733122601808 140733122584352 139738604134135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
/proc/28700/statm: 2786535 77365 3499 1 0 2748188 0
[pid=28700/tid=28753] ppid=28697 vsize=11146140 memory=253688 CPUtime=3.53 cores=0,2,4,6
/proc/28700/task/28753/stat : 28753 (java) S 28697 28700 25584 0 -1 1077944384 43216 12947 0 0 335 11 5 2 20 0 14 0 222715095 11413647360 77365 33554432000 4194304 4196468 140733122601808 139738575977616 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28754] ppid=28697 vsize=11146140 memory=7 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28754/stat : 28754 (java) S 28697 28700 25584 0 -1 1077944384 62 12947 0 0 3 0 5 2 20 0 14 0 222715095 11413647360 77365 33554432000 4194304 4196468 140733122601808 139738608376464 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28755] ppid=28697 vsize=11146140 memory=4140 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28755/stat : 28755 (java) S 28697 28700 25584 0 -1 1077944384 42 12947 0 0 3 0 5 2 20 0 14 0 222715095 11413647360 77365 33554432000 4194304 4196468 140733122601808 139738143394320 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28756] ppid=28697 vsize=11146140 memory=60348 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28756/stat : 28756 (java) S 28697 28700 25584 0 -1 1077944384 44 12947 0 0 3 0 5 2 20 0 14 0 222715095 11413647360 77365 33554432000 4194304 4196468 140733122601808 139738142341520 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28757] ppid=28697 vsize=11146140 memory=33 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28757/stat : 28757 (java) S 28697 28700 25584 0 -1 1077944384 229 12947 0 0 3 0 5 2 20 0 14 0 222715095 11413647360 77365 33554432000 4194304 4196468 140733122601808 139738141288720 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28758] ppid=28697 vsize=11146140 memory=4637164475387183459 CPUtime=0.1 cores=0,2,4,6
/proc/28700/task/28758/stat : 28758 (java) S 28697 28700 25584 0 -1 1077944384 2735 12947 0 0 3 0 5 2 20 0 14 0 222715097 11413647360 77365 33554432000 4194304 4196468 140733122601808 139738029722688 139738604145282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28759] ppid=28697 vsize=11146140 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28759/stat : 28759 (java) S 28697 28700 25584 0 -1 1077944384 14 12947 0 0 0 0 5 2 20 0 14 0 222715097 11413647360 77365 33554432000 4194304 4196468 140733122601808 139737445688928 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28760] ppid=28697 vsize=11146140 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28760/stat : 28760 (java) S 28697 28700 25584 0 -1 1077944384 2 12947 0 0 0 0 5 2 20 0 14 0 222715098 11413647360 77365 33554432000 4194304 4196468 140733122601808 139737297839488 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28761] ppid=28697 vsize=11146140 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28761/stat : 28761 (java) S 28697 28700 25584 0 -1 1077944384 5 12947 0 0 0 0 5 2 20 0 14 0 222715100 11413647360 77365 33554432000 4194304 4196468 140733122601808 139736990439408 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28762] ppid=28697 vsize=11146140 memory=-3535359994705172066 CPUtime=1.16 cores=0,2,4,6
/proc/28700/task/28762/stat : 28762 (java) S 28697 28700 25584 0 -1 1077944384 2126 12947 0 0 108 1 5 2 20 0 14 0 222715100 11413647360 77365 33554432000 4194304 4196468 140733122601808 139738028654896 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28763] ppid=28697 vsize=11146140 memory=6944656592387989600 CPUtime=1.62 cores=0,2,4,6
/proc/28700/task/28763/stat : 28763 (java) R 28697 28700 25584 0 -1 4202560 6969 12947 0 0 154 1 5 2 20 0 14 0 222715100 11413647360 77365 33554432000 4194304 4196468 140733122601808 139738027602520 139738585679720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28764] ppid=28697 vsize=11146140 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/28700/task/28764/stat : 28764 (java) S 28697 28700 25584 0 -1 1077944384 4727 12947 0 0 125 2 5 2 20 0 14 0 222715100 11413647360 77365 33554432000 4194304 4196468 140733122601808 139738026563696 139738604145282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
[pid=28700/tid=28765] ppid=28697 vsize=11146140 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28700/task/28765/stat : 28765 (java) S 28697 28700 25584 0 -1 1077944384 3 12947 0 0 0 0 5 2 20 0 14 0 222715101 11413647360 77365 33554432000 4194304 4196468 140733122601808 139736559642848 139738604144341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7360512 140733122607724 140733122610524 140733122610524 140733122613199 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 11146140 KiB
Current children cumulated memory: 309460 KiB
Child status: 0
Real time (s): 3.73659
CPU time (s): 7.7491
CPU user time (s): 7.51639
CPU system time (s): 0.232714
CPU usage (%): 207.384
Max. virtual memory (cumulated for all children) (KiB): 11146140
Max. memory (cumulated for all children) (KiB): 309460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.51639
system time used= 0.232714
maximum resident set size= 311004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5812
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 28700
# total CPU time (s): 7.7491
# total CPU user time (s): 7.51639
# total CPU system time (s): 0.232714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047608 second user time and 0.071942 second system time
The end