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 (1791 MiB free)
memory of node 1: 16384 MiB (5554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402971-1568987161/watcher-4402971-1568987161 -o /var/tmp/evaluation-result-4402971-1568987161/solver-4402971-1568987161 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568967595-31373 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1249408523 HOME/instance-4402971-1568987161.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4618, runsolver pid=4615
Current StackSize limit: 8192 KiB
[startup+0.109873 s]*
/proc/loadavg: 1.36 1.54 1.57 3/220 4675
/proc/meminfo: memFree=7513452/32770624 swapFree=66972208/67108860
[pid=4618] ppid=4615 vsize=10153664 memory=20572 CPUtime=0.11 cores=1,3,5,7
/proc/4618/stat : 4618 (java) S 4615 4618 31341 0 -1 1077944320 4872 13107 0 0 2 1 5 3 20 0 8 0 474657936 10397351936 5143 33554432000 4194304 4196468 140733225090704 140733225073248 140496776531703 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
/proc/4618/statm: 2538416 5143 2076 1 0 2526854 0
[pid=4618/tid=4671] ppid=4615 vsize=10355560 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/4618/task/4671/stat : 4671 (java) R 4615 4618 31341 0 -1 4202560 2685 13107 0 0 1 0 5 3 20 0 9 0 474657945 10604093440 5699 33554432000 4194304 4196468 140733225090704 140496748367480 140496769276087 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4672] ppid=4615 vsize=10355560 memory=5792869726567804975 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4672/stat : 4672 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 9 0 474657946 10604093440 5699 33554432000 4194304 4196468 140733225090704 140496780774288 140496776541909 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4673] ppid=4615 vsize=10355560 memory=139950016792192 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4673/stat : 4673 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 9 0 474657946 10604093440 5699 33554432000 4194304 4196468 140733225090704 140496703933200 140496776541909 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4674] ppid=4615 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4674/stat : 4674 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 9 0 474657946 10604093440 5699 33554432000 4194304 4196468 140733225090704 140496702880912 140496776541909 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4675] ppid=4615 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4675/stat : 4675 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 9 0 474657946 10604093440 5699 33554432000 4194304 4196468 140733225090704 140496348093456 140496776541909 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4676] ppid=4615 vsize=10355560 memory=139950016792192 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4676/stat : 4676 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 9 0 474657947 10604093440 5699 33554432000 4194304 4196468 140733225090704 140496303143024 140496776542850 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4677] ppid=4615 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4677/stat : 4677 (java) S 4615 4618 31341 0 -1 1077944384 13 13107 0 0 0 0 5 3 20 0 9 0 474657948 10604093440 5699 33554432000 4194304 4196468 140733225090704 140496231981856 140496776541909 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4678] ppid=4615 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4678/stat : 4678 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 9 0 474657948 10604093440 5699 33554432000 4194304 4196468 140733225090704 140495628002480 140496776541909 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10153664 KiB
Current children cumulated memory: 20572 KiB
[startup+0.210221 s]*
/proc/loadavg: 1.36 1.54 1.57 4/229 4684
/proc/meminfo: memFree=7492456/32770624 swapFree=66972208/67108860
[pid=4618] ppid=4615 vsize=10819716 memory=46332 CPUtime=0.27 cores=1,3,5,7
/proc/4618/stat : 4618 (java) S 4615 4618 31341 0 -1 1077944320 7336 13107 0 0 17 2 5 3 20 0 15 0 474657936 11079389184 11583 33554432000 4194304 4196468 140733225090704 140733225073248 140496776531703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
/proc/4618/statm: 2704933 11583 3187 1 0 2667149 0
[pid=4618/tid=4671] ppid=4615 vsize=10820164 memory=-8171376296011865461 CPUtime=0.19 cores=1,3,5,7
/proc/4618/task/4671/stat : 4671 (java) R 4615 4618 31341 0 -1 4202560 3973 13107 0 0 10 1 5 3 20 0 15 0 474657945 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496748349368 140496630311909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4672] ppid=4615 vsize=10820164 memory=5792869726567804975 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4672/stat : 4672 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657946 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496780774288 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4673] ppid=4615 vsize=10820164 memory=139950016792192 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4673/stat : 4673 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657946 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496703933200 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4674] ppid=4615 vsize=10820164 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4674/stat : 4674 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657946 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496702880912 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4675] ppid=4615 vsize=10820164 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4675/stat : 4675 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657946 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496348093456 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4676] ppid=4615 vsize=10820164 memory=139950016792192 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4676/stat : 4676 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657947 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496303143024 140496776542850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4677] ppid=4615 vsize=10820164 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4677/stat : 4677 (java) S 4615 4618 31341 0 -1 1077944384 13 13107 0 0 0 0 5 3 20 0 15 0 474657948 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496231981856 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4678] ppid=4615 vsize=10820164 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4678/stat : 4678 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657948 11079847936 11715 33554432000 4194304 4196468 140733225090704 140495628002416 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4679] ppid=4615 vsize=10820164 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4679/stat : 4679 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657951 11079847936 11715 33554432000 4194304 4196468 140733225090704 140495292459088 140496776550299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4680] ppid=4615 vsize=10820164 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4618/task/4680/stat : 4680 (java) S 4615 4618 31341 0 -1 1077944384 500 13107 0 0 1 0 5 3 20 0 15 0 474657951 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496302090864 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4681] ppid=4615 vsize=10820164 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4681/stat : 4681 (java) S 4615 4618 31341 0 -1 1077944384 149 13107 0 0 0 0 5 3 20 0 15 0 474657951 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496301038064 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4682] ppid=4615 vsize=10820164 memory=139950016792192 CPUtime=0.11 cores=1,3,5,7
/proc/4618/task/4682/stat : 4682 (java) S 4615 4618 31341 0 -1 1077944384 603 13107 0 0 3 0 5 3 20 0 15 0 474657951 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496198425456 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4683] ppid=4615 vsize=10820164 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4683/stat : 4683 (java) S 4615 4618 31341 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474657951 11079847936 11715 33554432000 4194304 4196468 140733225090704 140495024024544 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4684] ppid=4615 vsize=10820164 memory=139950016792192 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4684/stat : 4684 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657951 11079847936 11715 33554432000 4194304 4196468 140733225090704 140496197372336 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 46332 KiB
[startup+0.310541 s]*
/proc/loadavg: 1.36 1.54 1.57 3/229 4684
/proc/meminfo: memFree=7480504/32770624 swapFree=66972208/67108860
[pid=4618] ppid=4615 vsize=10820196 memory=55196 CPUtime=0.4 cores=1,3,5,7
/proc/4618/stat : 4618 (java) S 4615 4618 31341 0 -1 1077944320 10951 13107 0 0 28 4 5 3 20 0 15 0 474657936 11079880704 13799 33554432000 4194304 4196468 140733225090704 140733225073248 140496776531703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
/proc/4618/statm: 2705049 13799 3319 1 0 2667149 0
[pid=4618/tid=4671] ppid=4615 vsize=10820196 memory=-6957061461084680038 CPUtime=0.29 cores=1,3,5,7
/proc/4618/task/4671/stat : 4671 (java) R 4615 4618 31341 0 -1 4202560 7457 13107 0 0 18 3 5 3 20 0 15 0 474657945 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496748337840 140496760612190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4672] ppid=4615 vsize=10820196 memory=4122819175002409273 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4672/stat : 4672 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657946 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496780774288 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4673] ppid=4615 vsize=10820196 memory=139950016792192 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4673/stat : 4673 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657946 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496703933200 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4674] ppid=4615 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4674/stat : 4674 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657946 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496702880912 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4675] ppid=4615 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4675/stat : 4675 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657946 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496348093456 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4676] ppid=4615 vsize=10820196 memory=139950016792192 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4676/stat : 4676 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657947 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496303143024 140496776542850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4677] ppid=4615 vsize=10820196 memory=2208 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4677/stat : 4677 (java) S 4615 4618 31341 0 -1 1077944384 13 13107 0 0 0 0 5 3 20 0 15 0 474657948 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496231981856 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4678] ppid=4615 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4678/stat : 4678 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657948 11079880704 13799 33554432000 4194304 4196468 140733225090704 140495628002416 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4679] ppid=4615 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4679/stat : 4679 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657951 11079880704 13799 33554432000 4194304 4196468 140733225090704 140495292459088 140496776550299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4680] ppid=4615 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4618/task/4680/stat : 4680 (java) S 4615 4618 31341 0 -1 1077944384 509 13107 0 0 2 0 5 3 20 0 15 0 474657951 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496302090864 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4681] ppid=4615 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/4618/task/4681/stat : 4681 (java) S 4615 4618 31341 0 -1 1077944384 152 13107 0 0 1 0 5 3 20 0 15 0 474657951 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496301038064 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4682] ppid=4615 vsize=10820196 memory=139950016792192 CPUtime=0.13 cores=1,3,5,7
/proc/4618/task/4682/stat : 4682 (java) S 4615 4618 31341 0 -1 1077944384 611 13107 0 0 5 0 5 3 20 0 15 0 474657951 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496198425456 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4683] ppid=4615 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4683/stat : 4683 (java) S 4615 4618 31341 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474657951 11079880704 13799 33554432000 4194304 4196468 140733225090704 140495024024544 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4684] ppid=4615 vsize=10820196 memory=139950016792192 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4684/stat : 4684 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657951 11079880704 13799 33554432000 4194304 4196468 140733225090704 140496197372336 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 55196 KiB
[startup+0.700915 s]
/proc/loadavg: 1.36 1.54 1.57 3/229 4684
/proc/meminfo: memFree=7464960/32770624 swapFree=66972208/67108860
[pid=4618] ppid=4615 vsize=10824364 memory=87892 CPUtime=1.16 cores=1,3,5,7
/proc/4618/stat : 4618 (java) S 4615 4618 31341 0 -1 1077944320 15180 13107 0 0 102 6 5 3 20 0 15 0 474657936 11084148736 21973 33554432000 4194304 4196468 140733225090704 140733225073248 140496776531703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
/proc/4618/statm: 2706091 21973 3504 1 0 2668173 0
[pid=4618/tid=4671] ppid=4615 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4618/task/4671/stat : 4671 (java) R 4615 4618 31341 0 -1 4202560 10544 13107 0 0 55 4 5 3 20 0 15 0 474657945 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496748347616 140496755592012 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4672] ppid=4615 vsize=10824364 memory=13712537036266536 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4672/stat : 4672 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657946 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496780774288 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4673] ppid=4615 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4673/stat : 4673 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657946 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496703933200 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4674] ppid=4615 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4674/stat : 4674 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657946 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496702880912 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4675] ppid=4615 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4675/stat : 4675 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657946 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496348093456 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4676] ppid=4615 vsize=10824364 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4676/stat : 4676 (java) S 4615 4618 31341 0 -1 1077944384 5 13107 0 0 0 0 5 3 20 0 15 0 474657947 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496303143024 140496776542850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4677] ppid=4615 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4677/stat : 4677 (java) S 4615 4618 31341 0 -1 1077944384 13 13107 0 0 0 0 5 3 20 0 15 0 474657948 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496231981856 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4678] ppid=4615 vsize=10824364 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4678/stat : 4678 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657948 11084148736 21973 33554432000 4194304 4196468 140733225090704 140495628002416 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4679] ppid=4615 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4679/stat : 4679 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657951 11084148736 21973 33554432000 4194304 4196468 140733225090704 140495292459088 140496776550299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4680] ppid=4615 vsize=10824364 memory=11044 CPUtime=0.2 cores=1,3,5,7
/proc/4618/task/4680/stat : 4680 (java) S 4615 4618 31341 0 -1 1077944384 901 13107 0 0 12 0 5 3 20 0 15 0 474657951 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496302090864 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4681] ppid=4615 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/4618/task/4681/stat : 4681 (java) R 4615 4618 31341 0 -1 4202560 763 13107 0 0 15 0 5 3 20 0 15 0 474657951 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496301038064 140496756188225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4682] ppid=4615 vsize=10824364 memory=27300 CPUtime=0.25 cores=1,3,5,7
/proc/4618/task/4682/stat : 4682 (java) S 4615 4618 31341 0 -1 1077944384 736 13107 0 0 17 0 5 3 20 0 15 0 474657951 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496198425456 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4683] ppid=4615 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4683/stat : 4683 (java) S 4615 4618 31341 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474657951 11084148736 21973 33554432000 4194304 4196468 140733225090704 140495024024544 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4684] ppid=4615 vsize=10824364 memory=139949898761872 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4684/stat : 4684 (java) S 4615 4618 31341 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 474657951 11084148736 21973 33554432000 4194304 4196468 140733225090704 140496197372336 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87892 KiB
[startup+1.50067 s]
/proc/loadavg: 1.36 1.54 1.57 3/229 4684
/proc/meminfo: memFree=7383152/32770624 swapFree=66972208/67108860
[pid=4618] ppid=4615 vsize=10834680 memory=198104 CPUtime=2.97 cores=1,3,5,7
/proc/4618/stat : 4618 (java) S 4615 4618 31341 0 -1 1077944320 26654 13107 0 0 278 11 5 3 20 0 15 0 474657936 11094712320 49526 33554432000 4194304 4196468 140733225090704 140733225073248 140496776531703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
/proc/4618/statm: 2708670 49526 3590 1 0 2670733 0
[pid=4618/tid=4671] ppid=4615 vsize=10834680 memory=140648 CPUtime=1.43 cores=1,3,5,7
/proc/4618/task/4671/stat : 4671 (java) R 4615 4618 31341 0 -1 4202560 16530 13107 0 0 129 6 5 3 20 0 15 0 474657945 11094712320 49526 33554432000 4194304 4196468 140733225090704 140496748339264 140496758387177 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4672] ppid=4615 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4618/task/4672/stat : 4672 (java) S 4615 4618 31341 0 -1 1077944384 318 13107 0 0 1 0 5 3 20 0 15 0 474657946 11094712320 49526 33554432000 4194304 4196468 140733225090704 140496780774288 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4673] ppid=4615 vsize=10834680 memory=7893295687695687954 CPUtime=0.09 cores=1,3,5,7
/proc/4618/task/4673/stat : 4673 (java) S 4615 4618 31341 0 -1 1077944384 24 13107 0 0 1 0 5 3 20 0 15 0 474657946 11094712320 49526 33554432000 4194304 4196468 140733225090704 140496703933200 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4674] ppid=4615 vsize=10834680 memory=6994781559841273980 CPUtime=0.09 cores=1,3,5,7
/proc/4618/task/4674/stat : 4674 (java) S 4615 4618 31341 0 -1 1077944384 49 13107 0 0 1 0 5 3 20 0 15 0 474657946 11094712320 49526 33554432000 4194304 4196468 140733225090704 140496702880912 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4675] ppid=4615 vsize=10834680 memory=4498404016631593314 CPUtime=0.09 cores=1,3,5,7
/proc/4618/task/4675/stat : 4675 (java) S 4615 4618 31341 0 -1 1077944384 75 13107 0 0 1 0 5 3 20 0 15 0 474657946 11094712320 49526 33554432000 4194304 4196468 140733225090704 140496348093456 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4676] ppid=4615 vsize=10834680 memory=11554538655 CPUtime=0.09 cores=1,3,5,7
/proc/4618/task/4676/stat : 4676 (java) S 4615 4618 31341 0 -1 1077944384 282 13107 0 0 1 0 5 3 20 0 15 0 474657947 11094712320 49526 33554432000 4194304 4196468 140733225090704 140496303143024 140496776542850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4677] ppid=4615 vsize=10834680 memory=279899797765728 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4677/stat : 4677 (java) S 4615 4618 31341 0 -1 1077944384 14 13107 0 0 0 0 5 3 20 0 15 0 474657948 11094712320 49526 33554432000 4194304 4196468 140733225090704 140496231981856 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4678] ppid=4615 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4678/stat : 4678 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657948 11094712320 49526 33554432000 4194304 4196468 140733225090704 140495628002416 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4679] ppid=4615 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4679/stat : 4679 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657951 11094712320 49526 33554432000 4194304 4196468 140733225090704 140495292459088 140496776550299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4680] ppid=4615 vsize=10834680 memory=42 CPUtime=0.56 cores=1,3,5,7
/proc/4618/task/4680/stat : 4680 (java) S 4615 4618 31341 0 -1 1077944384 2680 13107 0 0 48 0 5 3 20 0 15 0 474657951 11094712320 49526 33554432000 4194304 4196468 140733225090704 140496302090864 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4681] ppid=4615 vsize=10834680 memory=41 CPUtime=0.58 cores=1,3,5,7
/proc/4618/task/4681/stat : 4681 (java) S 4615 4618 31341 0 -1 1077944384 2636 13107 0 0 50 0 5 3 20 0 15 0 474657951 11094712320 49526 33554432000 4194304 4196468 140733225090704 140496301038064 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4682] ppid=4615 vsize=10834680 memory=35 CPUtime=0.49 cores=1,3,5,7
/proc/4618/task/4682/stat : 4682 (java) S 4615 4618 31341 0 -1 1077944384 1832 13107 0 0 41 0 5 3 20 0 15 0 474657951 11094712320 49526 33554432000 4194304 4196468 140733225090704 140496198425456 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
################
# More data... #
################
/proc/4618/task/4671/stat : 4671 (java) R 4615 4618 31341 0 -1 4202560 150396 13107 0 0 236429 38 5 3 20 0 15 0 474657945 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496748367680 140496388357547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4672] ppid=4615 vsize=10846988 memory=1957104 CPUtime=13.78 cores=1,3,5,7
/proc/4618/task/4672/stat : 4672 (java) S 4615 4618 31341 0 -1 1077944384 31182 13107 0 0 1323 47 5 3 20 0 15 0 474657946 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496780774288 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4673] ppid=4615 vsize=10846988 memory=1957104 CPUtime=13.77 cores=1,3,5,7
/proc/4618/task/4673/stat : 4673 (java) S 4615 4618 31341 0 -1 1077944384 32780 13107 0 0 1320 49 5 3 20 0 15 0 474657946 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496703933200 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4674] ppid=4615 vsize=10846988 memory=1957104 CPUtime=13.79 cores=1,3,5,7
/proc/4618/task/4674/stat : 4674 (java) S 4615 4618 31341 0 -1 1077944384 34447 13107 0 0 1323 48 5 3 20 0 15 0 474657946 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496702880912 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4675] ppid=4615 vsize=10846988 memory=1957104 CPUtime=13.77 cores=1,3,5,7
/proc/4618/task/4675/stat : 4675 (java) S 4615 4618 31341 0 -1 1077944384 28854 13107 0 0 1320 49 5 3 20 0 15 0 474657946 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496348093456 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4676] ppid=4615 vsize=10846988 memory=4100 CPUtime=2.69 cores=1,3,5,7
/proc/4618/task/4676/stat : 4676 (java) S 4615 4618 31341 0 -1 1077944384 19679 13107 0 0 237 24 5 3 20 0 15 0 474657947 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496303143024 140496776542850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4677] ppid=4615 vsize=10846988 memory=1957104 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4677/stat : 4677 (java) S 4615 4618 31341 0 -1 1077944384 25 13107 0 0 0 0 5 3 20 0 15 0 474657948 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496231981920 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4678] ppid=4615 vsize=10846988 memory=1957104 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4678/stat : 4678 (java) S 4615 4618 31341 0 -1 1077944384 12 13107 0 0 0 0 5 3 20 0 15 0 474657948 11107315712 489276 33554432000 4194304 4196468 140733225090704 140495628002432 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4679] ppid=4615 vsize=10846988 memory=1957104 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4679/stat : 4679 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657951 11107315712 489276 33554432000 4194304 4196468 140733225090704 140495292459088 140496776550299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4680] ppid=4615 vsize=10846988 memory=1957104 CPUtime=5.77 cores=1,3,5,7
/proc/4618/task/4680/stat : 4680 (java) S 4615 4618 31341 0 -1 1077944384 18564 13107 0 0 565 4 5 3 20 0 15 0 474657951 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496302090864 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4681] ppid=4615 vsize=10846988 memory=1957104 CPUtime=5.58 cores=1,3,5,7
/proc/4618/task/4681/stat : 4681 (java) S 4615 4618 31341 0 -1 1077944384 15644 13107 0 0 547 3 5 3 20 0 15 0 474657951 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496301038064 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4682] ppid=4615 vsize=10846988 memory=3612 CPUtime=2.33 cores=1,3,5,7
/proc/4618/task/4682/stat : 4682 (java) S 4615 4618 31341 0 -1 1077944384 18151 13107 0 0 221 4 5 3 20 0 15 0 474657951 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496198425456 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4683] ppid=4615 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4683/stat : 4683 (java) S 4615 4618 31341 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474657951 11107315712 489276 33554432000 4194304 4196468 140733225090704 140495024024544 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4684] ppid=4615 vsize=10846988 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/4618/task/4684/stat : 4684 (java) S 4615 4618 31341 0 -1 1077944384 1535 13107 0 0 71 71 5 3 20 0 15 0 474657951 11107315712 489276 33554432000 4194304 4196468 140733225090704 140496197372336 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
Current children cumulated CPU time: 2437.13 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1957104 KiB
[startup+2442.31 s]
/proc/loadavg: 1.70 1.67 1.62 3/228 5188
/proc/meminfo: memFree=4766368/32770624 swapFree=66972232/67108860
[pid=4618] ppid=4615 vsize=10846988 memory=1954020 CPUtime=2498.38 cores=1,3,5,7
/proc/4618/stat : 4618 (java) S 4615 4618 31341 0 -1 1077944320 356975 13107 0 0 249505 325 5 3 20 0 15 0 474657936 11107315712 488505 33554432000 4194304 4196468 140733225090704 140733225073248 140496776531703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
/proc/4618/statm: 2711747 488505 3631 1 0 2673805 0
[pid=4618/tid=4671] ppid=4615 vsize=10846988 memory=1955560 CPUtime=2424.2 cores=1,3,5,7
/proc/4618/task/4671/stat : 4671 (java) R 4615 4618 31341 0 -1 4202560 151384 13107 0 0 242374 38 5 3 20 0 15 0 474657945 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496748367776 140496382631465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4672] ppid=4615 vsize=10846988 memory=1954532 CPUtime=14.2 cores=1,3,5,7
/proc/4618/task/4672/stat : 4672 (java) S 4615 4618 31341 0 -1 1077944384 31568 13107 0 0 1365 47 5 3 20 0 15 0 474657946 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496780774288 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4673] ppid=4615 vsize=10846988 memory=1957100 CPUtime=14.2 cores=1,3,5,7
/proc/4618/task/4673/stat : 4673 (java) S 4615 4618 31341 0 -1 1077944384 33469 13107 0 0 1362 50 5 3 20 0 15 0 474657946 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496703933200 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4674] ppid=4615 vsize=10846988 memory=1957100 CPUtime=14.21 cores=1,3,5,7
/proc/4618/task/4674/stat : 4674 (java) S 4615 4618 31341 0 -1 1077944384 34820 13107 0 0 1364 49 5 3 20 0 15 0 474657946 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496702880912 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4675] ppid=4615 vsize=10846988 memory=0 CPUtime=14.2 cores=1,3,5,7
/proc/4618/task/4675/stat : 4675 (java) S 4615 4618 31341 0 -1 1077944384 29541 13107 0 0 1362 50 5 3 20 0 15 0 474657946 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496348093456 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4676] ppid=4615 vsize=10846988 memory=1957100 CPUtime=2.78 cores=1,3,5,7
/proc/4618/task/4676/stat : 4676 (java) S 4615 4618 31341 0 -1 1077944384 20017 13107 0 0 245 25 5 3 20 0 15 0 474657947 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496303143024 140496776542850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4677] ppid=4615 vsize=10846988 memory=1957612 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4677/stat : 4677 (java) S 4615 4618 31341 0 -1 1077944384 25 13107 0 0 0 0 5 3 20 0 15 0 474657948 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496231981920 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4678] ppid=4615 vsize=10846988 memory=1957104 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4678/stat : 4678 (java) S 4615 4618 31341 0 -1 1077944384 12 13107 0 0 0 0 5 3 20 0 15 0 474657948 11107315712 488505 33554432000 4194304 4196468 140733225090704 140495628002432 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4679] ppid=4615 vsize=10846988 memory=1954532 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4679/stat : 4679 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657951 11107315712 488505 33554432000 4194304 4196468 140733225090704 140495292459088 140496776550299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4680] ppid=4615 vsize=10846988 memory=1954020 CPUtime=5.77 cores=1,3,5,7
/proc/4618/task/4680/stat : 4680 (java) S 4615 4618 31341 0 -1 1077944384 18568 13107 0 0 565 4 5 3 20 0 15 0 474657951 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496302090864 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4681] ppid=4615 vsize=10846988 memory=1955048 CPUtime=5.58 cores=1,3,5,7
/proc/4618/task/4681/stat : 4681 (java) S 4615 4618 31341 0 -1 1077944384 15649 13107 0 0 547 3 5 3 20 0 15 0 474657951 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496301038064 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4682] ppid=4615 vsize=10846988 memory=1955560 CPUtime=2.33 cores=1,3,5,7
/proc/4618/task/4682/stat : 4682 (java) S 4615 4618 31341 0 -1 1077944384 18155 13107 0 0 221 4 5 3 20 0 15 0 474657951 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496198425456 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4683] ppid=4615 vsize=10846988 memory=1956584 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4683/stat : 4683 (java) S 4615 4618 31341 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474657951 11107315712 488505 33554432000 4194304 4196468 140733225090704 140495024024544 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4684] ppid=4615 vsize=10846988 memory=3848 CPUtime=1.53 cores=1,3,5,7
/proc/4618/task/4684/stat : 4684 (java) S 4615 4618 31341 0 -1 1077944384 1556 13107 0 0 72 73 5 3 20 0 15 0 474657951 11107315712 488505 33554432000 4194304 4196468 140733225090704 140496197372336 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
Current children cumulated CPU time: 2498.38 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1954020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.5 s]
/proc/loadavg: 1.71 1.67 1.63 3/229 5190
/proc/meminfo: memFree=4767412/32770624 swapFree=66972232/67108860
[pid=4618] ppid=4615 vsize=10846988 memory=1951452 CPUtime=2520.02 cores=1,3,5,7
/proc/4618/stat : 4618 (java) S 4615 4618 31341 0 -1 1077944320 357457 13107 0 0 251667 327 5 3 20 0 15 0 474657936 11107315712 487863 33554432000 4194304 4196468 140733225090704 140733225073248 140496776531703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
/proc/4618/statm: 2711747 487863 3631 1 0 2673805 0
[pid=4618/tid=4671] ppid=4615 vsize=10846988 memory=1951452 CPUtime=2445.19 cores=1,3,5,7
/proc/4618/task/4671/stat : 4671 (java) R 4615 4618 31341 0 -1 4202560 151567 13107 0 0 244473 38 5 3 20 0 15 0 474657945 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496748367488 140496396229063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4672] ppid=4615 vsize=10846988 memory=1951452 CPUtime=14.35 cores=1,3,5,7
/proc/4618/task/4672/stat : 4672 (java) S 4615 4618 31341 0 -1 1077944384 31612 13107 0 0 1380 47 5 3 20 0 15 0 474657946 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496780774288 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4673] ppid=4615 vsize=10846988 memory=1951452 CPUtime=14.35 cores=1,3,5,7
/proc/4618/task/4673/stat : 4673 (java) S 4615 4618 31341 0 -1 1077944384 33499 13107 0 0 1377 50 5 3 20 0 15 0 474657946 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496703933200 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4674] ppid=4615 vsize=10846988 memory=1951452 CPUtime=14.36 cores=1,3,5,7
/proc/4618/task/4674/stat : 4674 (java) S 4615 4618 31341 0 -1 1077944384 34959 13107 0 0 1379 49 5 3 20 0 15 0 474657946 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496702880912 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4675] ppid=4615 vsize=10846988 memory=133 CPUtime=14.34 cores=1,3,5,7
/proc/4618/task/4675/stat : 4675 (java) S 4615 4618 31341 0 -1 1077944384 29619 13107 0 0 1376 50 5 3 20 0 15 0 474657946 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496348093456 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4676] ppid=4615 vsize=10846988 memory=1951452 CPUtime=2.81 cores=1,3,5,7
/proc/4618/task/4676/stat : 4676 (java) S 4615 4618 31341 0 -1 1077944384 20023 13107 0 0 248 25 5 3 20 0 15 0 474657947 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496303143024 140496776542850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4677] ppid=4615 vsize=10846988 memory=1951452 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4677/stat : 4677 (java) S 4615 4618 31341 0 -1 1077944384 25 13107 0 0 0 0 5 3 20 0 15 0 474657948 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496231981920 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4678] ppid=4615 vsize=10846988 memory=1955556 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4678/stat : 4678 (java) S 4615 4618 31341 0 -1 1077944384 12 13107 0 0 0 0 5 3 20 0 15 0 474657948 11107315712 487863 33554432000 4194304 4196468 140733225090704 140495628002432 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4679] ppid=4615 vsize=10846988 memory=1953504 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4679/stat : 4679 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140495292459088 140496776550299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4680] ppid=4615 vsize=10846988 memory=1951452 CPUtime=5.77 cores=1,3,5,7
/proc/4618/task/4680/stat : 4680 (java) S 4615 4618 31341 0 -1 1077944384 18568 13107 0 0 565 4 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496302090864 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4681] ppid=4615 vsize=10846988 memory=1951452 CPUtime=5.58 cores=1,3,5,7
/proc/4618/task/4681/stat : 4681 (java) S 4615 4618 31341 0 -1 1077944384 15649 13107 0 0 547 3 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496301038064 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4682] ppid=4615 vsize=10846988 memory=3612 CPUtime=2.33 cores=1,3,5,7
/proc/4618/task/4682/stat : 4682 (java) S 4615 4618 31341 0 -1 1077944384 18155 13107 0 0 221 4 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496198425456 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4683] ppid=4615 vsize=10846988 memory=1951452 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4683/stat : 4683 (java) S 4615 4618 31341 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140495024024544 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4684] ppid=4615 vsize=10846988 memory=3612 CPUtime=1.54 cores=1,3,5,7
/proc/4618/task/4684/stat : 4684 (java) S 4615 4618 31341 0 -1 1077944384 1558 13107 0 0 73 73 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496197372336 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1951452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.55 s]
# the end of solver process 4618 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.77 s, system=3.32783 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.5 s]
/proc/loadavg: 1.71 1.67 1.63 3/229 5190
/proc/meminfo: memFree=4767412/32770624 swapFree=66972232/67108860
[pid=4618] ppid=4615 vsize=10846988 memory=1951452 CPUtime=2520.02 cores=1,3,5,7
/proc/4618/stat : 4618 (java) S 4615 4618 31341 0 -1 1077944320 357457 13107 0 0 251667 327 5 3 20 0 15 0 474657936 11107315712 487863 33554432000 4194304 4196468 140733225090704 140733225073248 140496776531703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
/proc/4618/statm: 2711747 487863 3631 1 0 2673805 0
[pid=4618/tid=4671] ppid=4615 vsize=10846988 memory=1951452 CPUtime=2445.19 cores=1,3,5,7
/proc/4618/task/4671/stat : 4671 (java) R 4615 4618 31341 0 -1 4202560 151567 13107 0 0 244473 38 5 3 20 0 15 0 474657945 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496748367488 140496396229063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4672] ppid=4615 vsize=10846988 memory=1951452 CPUtime=14.35 cores=1,3,5,7
/proc/4618/task/4672/stat : 4672 (java) S 4615 4618 31341 0 -1 1077944384 31612 13107 0 0 1380 47 5 3 20 0 15 0 474657946 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496780774288 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4673] ppid=4615 vsize=10846988 memory=1951452 CPUtime=14.35 cores=1,3,5,7
/proc/4618/task/4673/stat : 4673 (java) S 4615 4618 31341 0 -1 1077944384 33499 13107 0 0 1377 50 5 3 20 0 15 0 474657946 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496703933200 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4674] ppid=4615 vsize=10846988 memory=1951452 CPUtime=14.36 cores=1,3,5,7
/proc/4618/task/4674/stat : 4674 (java) S 4615 4618 31341 0 -1 1077944384 34959 13107 0 0 1379 49 5 3 20 0 15 0 474657946 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496702880912 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4675] ppid=4615 vsize=10846988 memory=133 CPUtime=14.34 cores=1,3,5,7
/proc/4618/task/4675/stat : 4675 (java) S 4615 4618 31341 0 -1 1077944384 29619 13107 0 0 1376 50 5 3 20 0 15 0 474657946 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496348093456 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4676] ppid=4615 vsize=10846988 memory=1951452 CPUtime=2.81 cores=1,3,5,7
/proc/4618/task/4676/stat : 4676 (java) S 4615 4618 31341 0 -1 1077944384 20023 13107 0 0 248 25 5 3 20 0 15 0 474657947 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496303143024 140496776542850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4677] ppid=4615 vsize=10846988 memory=1951452 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4677/stat : 4677 (java) S 4615 4618 31341 0 -1 1077944384 25 13107 0 0 0 0 5 3 20 0 15 0 474657948 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496231981920 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4678] ppid=4615 vsize=10846988 memory=1955556 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4678/stat : 4678 (java) S 4615 4618 31341 0 -1 1077944384 12 13107 0 0 0 0 5 3 20 0 15 0 474657948 11107315712 487863 33554432000 4194304 4196468 140733225090704 140495628002432 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4679] ppid=4615 vsize=10846988 memory=1953504 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4679/stat : 4679 (java) S 4615 4618 31341 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140495292459088 140496776550299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4680] ppid=4615 vsize=10846988 memory=1951452 CPUtime=5.77 cores=1,3,5,7
/proc/4618/task/4680/stat : 4680 (java) S 4615 4618 31341 0 -1 1077944384 18568 13107 0 0 565 4 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496302090864 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4681] ppid=4615 vsize=10846988 memory=1951452 CPUtime=5.58 cores=1,3,5,7
/proc/4618/task/4681/stat : 4681 (java) S 4615 4618 31341 0 -1 1077944384 15649 13107 0 0 547 3 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496301038064 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4682] ppid=4615 vsize=10846988 memory=3612 CPUtime=2.33 cores=1,3,5,7
/proc/4618/task/4682/stat : 4682 (java) S 4615 4618 31341 0 -1 1077944384 18155 13107 0 0 221 4 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496198425456 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4683] ppid=4615 vsize=10846988 memory=1951452 CPUtime=0.08 cores=1,3,5,7
/proc/4618/task/4683/stat : 4683 (java) S 4615 4618 31341 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140495024024544 140496776541909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
[pid=4618/tid=4684] ppid=4615 vsize=10846988 memory=3612 CPUtime=1.54 cores=1,3,5,7
/proc/4618/task/4684/stat : 4684 (java) S 4615 4618 31341 0 -1 1077944384 1558 13107 0 0 73 73 5 3 20 0 15 0 474657951 11107315712 487863 33554432000 4194304 4196468 140733225090704 140496197372336 140496776542850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21786624 140733225093731 140733225096373 140733225096373 140733225099215 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1951452 KiB
Child status: 143
Real time (s): 2463.55
CPU time (s): 2520.1
CPU user time (s): 2516.77
CPU system time (s): 3.32783
CPU usage (%): 102.296
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2516752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.77
system time used= 3.32783
maximum resident set size= 2517008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109217
involuntary context switches= 3371
# summary of solver processes directly reported to runsolver:
# pid: 4618
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.77
# total CPU system time (s): 3.32783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.77 second user time and 27.4811 second system time
The end