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 (8619 MiB free)
memory of node 1: 16384 MiB (10799 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294661-1532479449/watcher-4294661-1532479449 -o /tmp/evaluation-result-4294661-1532479449/solver-4294661-1532479449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19937 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=435336433 HOME/instance-4294661-1532479449.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=23107, runsolver pid=23104
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.69 1.54 1.45 3/211 23164
/proc/meminfo: memFree=19878260/32770624 swapFree=67108860/67108860
[pid=23107] ppid=23104 vsize=9972712 memory=18596 CPUtime=0.1 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23104 23107 19905 0 -1 1077944320 4315 13138 0 0 1 1 5 3 20 0 6 0 65508091 10212057088 4649 33554432000 4194304 4196468 140727460262416 140727460244960 140018206420727 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
/proc/23107/statm: 2493178 4649 1932 1 0 2481616 0
[pid=23107/tid=23160] ppid=23104 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23160/stat : 23160 (java) R 23104 23107 19905 0 -1 4202560 2117 13138 0 0 0 0 5 3 20 0 6 0 65508100 10212057088 4649 33554432000 4194304 4196468 140727460262416 140018178257488 140018206442653 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23161] ppid=23104 vsize=9972712 memory=5793855381317462457 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23161/stat : 23161 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 6 0 65508101 10212057088 4649 33554432000 4194304 4196468 140727460262416 140018210663184 140018206430933 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23162] ppid=23104 vsize=9972712 memory=140130307569280 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23162/stat : 23162 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 6 0 65508101 10212057088 4649 33554432000 4194304 4196468 140727460262416 140018098936720 140018206430933 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23163] ppid=23104 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23163/stat : 23163 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 6 0 65508101 10212057088 4649 33554432000 4194304 4196468 140727460262416 140018097884176 140018206430933 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23164] ppid=23104 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23164/stat : 23164 (java) S 23104 23107 19905 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 6 0 65508101 10212057088 4649 33554432000 4194304 4196468 140727460262416 140018096831632 140018206430933 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210261 s]*
/proc/loadavg: 1.69 1.54 1.45 3/220 23173
/proc/meminfo: memFree=19858532/32770624 swapFree=67108860/67108860
[pid=23107] ppid=23104 vsize=10818936 memory=43152 CPUtime=0.27 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23104 23107 19905 0 -1 1077944320 9226 13138 0 0 17 2 5 3 20 0 15 0 65508091 11078590464 10788 33554432000 4194304 4196468 140727460262416 140727460244960 140018206420727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
/proc/23107/statm: 2704734 10788 2955 1 0 2667157 0
[pid=23107/tid=23160] ppid=23104 vsize=10818936 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/23107/task/23160/stat : 23160 (java) R 23104 23107 19905 0 -1 4202560 5773 13138 0 0 10 1 5 3 20 0 15 0 65508100 11078590464 10841 33554432000 4194304 4196468 140727460262416 140018178245536 140018199100445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23161] ppid=23104 vsize=10818936 memory=4211973856512359818 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23161/stat : 23161 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508101 11078590464 10841 33554432000 4194304 4196468 140727460262416 140018210663184 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23162] ppid=23104 vsize=10818936 memory=140130307569280 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23162/stat : 23162 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508101 11078590464 10841 33554432000 4194304 4196468 140727460262416 140018098936720 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23163] ppid=23104 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23163/stat : 23163 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508101 11078590464 10841 33554432000 4194304 4196468 140727460262416 140018097884176 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23164] ppid=23104 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23164/stat : 23164 (java) S 23104 23107 19905 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 65508101 11078590464 10841 33554432000 4194304 4196468 140727460262416 140018096831632 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23165] ppid=23104 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23165/stat : 23165 (java) S 23104 23107 19905 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 65508102 11078590464 10841 33554432000 4194304 4196468 140727460262416 140017664989168 140018206431874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23166] ppid=23104 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23166/stat : 23166 (java) S 23104 23107 19905 0 -1 1077944384 33 13138 0 0 0 0 5 3 20 0 15 0 65508103 11078590464 10841 33554432000 4194304 4196468 140727460262416 140017663935392 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23167] ppid=23104 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23167/stat : 23167 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508103 11078590464 10841 33554432000 4194304 4196468 140727460262416 140017074693104 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23168] ppid=23104 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23168/stat : 23168 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11078590464 10841 33554432000 4194304 4196468 140727460262416 140016767293648 140018206439323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23169] ppid=23104 vsize=10818936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23107/task/23169/stat : 23169 (java) S 23104 23107 19905 0 -1 1077944384 432 13138 0 0 1 0 5 3 20 0 15 0 65508106 11078590464 10841 33554432000 4194304 4196468 140727460262416 140017630378480 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23170] ppid=23104 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23170/stat : 23170 (java) S 23104 23107 19905 0 -1 1077944384 195 13138 0 0 0 0 5 3 20 0 15 0 65508106 11078590464 10841 33554432000 4194304 4196468 140727460262416 140017629325936 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23171] ppid=23104 vsize=10818936 memory=140130307569280 CPUtime=0.11 cores=1,3,5,7
/proc/23107/task/23171/stat : 23171 (java) S 23104 23107 19905 0 -1 1077944384 605 13138 0 0 3 0 5 3 20 0 15 0 65508106 11078590464 10841 33554432000 4194304 4196468 140727460262416 140017628273392 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23172] ppid=23104 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23172/stat : 23172 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11078557696 10841 33554432000 4194304 4196468 140727460262416 140016733736032 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23173] ppid=23104 vsize=10818904 memory=140130307569280 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23173/stat : 23173 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508106 11078557696 10841 33554432000 4194304 4196468 140727460262416 140017627220272 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 43152 KiB
[startup+0.31069 s]*
/proc/loadavg: 1.69 1.54 1.45 4/220 23173
/proc/meminfo: memFree=19844764/32770624 swapFree=67108860/67108860
[pid=23107] ppid=23104 vsize=10819352 memory=51504 CPUtime=0.4 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23104 23107 19905 0 -1 1077944320 10468 13138 0 0 29 3 5 3 20 0 15 0 65508091 11079016448 12876 33554432000 4194304 4196468 140727460262416 140727460244960 140018206420727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
/proc/23107/statm: 2704838 12876 3104 1 0 2667149 0
[pid=23107/tid=23160] ppid=23104 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23107/task/23160/stat : 23160 (java) R 23104 23107 19905 0 -1 4202560 6973 13138 0 0 19 2 5 3 20 0 15 0 65508100 11079016448 12876 33554432000 4194304 4196468 140727460262416 140018178232736 140018190501214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23161] ppid=23104 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23161/stat : 23161 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508101 11079016448 12876 33554432000 4194304 4196468 140727460262416 140018210663184 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23162] ppid=23104 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23162/stat : 23162 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508101 11079016448 12876 33554432000 4194304 4196468 140727460262416 140018098936720 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23163] ppid=23104 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23163/stat : 23163 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508101 11079016448 12876 33554432000 4194304 4196468 140727460262416 140018097884176 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23164] ppid=23104 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23164/stat : 23164 (java) S 23104 23107 19905 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 65508101 11079016448 12876 33554432000 4194304 4196468 140727460262416 140018096831632 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23165] ppid=23104 vsize=10819352 memory=140130307569279 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23165/stat : 23165 (java) S 23104 23107 19905 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 65508102 11079016448 12876 33554432000 4194304 4196468 140727460262416 140017664989168 140018206431874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23166] ppid=23104 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23166/stat : 23166 (java) S 23104 23107 19905 0 -1 1077944384 33 13138 0 0 0 0 5 3 20 0 15 0 65508103 11079016448 12876 33554432000 4194304 4196468 140727460262416 140017663935392 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23167] ppid=23104 vsize=10819352 memory=140130307569280 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23167/stat : 23167 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508103 11079016448 12876 33554432000 4194304 4196468 140727460262416 140017074693104 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23168] ppid=23104 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23168/stat : 23168 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11079016448 12876 33554432000 4194304 4196468 140727460262416 140016767293648 140018206439323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23169] ppid=23104 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23107/task/23169/stat : 23169 (java) S 23104 23107 19905 0 -1 1077944384 435 13138 0 0 1 0 5 3 20 0 15 0 65508106 11079016448 12876 33554432000 4194304 4196468 140727460262416 140017630378480 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23170] ppid=23104 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/23107/task/23170/stat : 23170 (java) S 23104 23107 19905 0 -1 1077944384 198 13138 0 0 1 0 5 3 20 0 15 0 65508106 11079016448 12876 33554432000 4194304 4196468 140727460262416 140017629325936 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23171] ppid=23104 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/23107/task/23171/stat : 23171 (java) S 23104 23107 19905 0 -1 1077944384 624 13138 0 0 5 0 5 3 20 0 15 0 65508106 11079016448 12876 33554432000 4194304 4196468 140727460262416 140017628273392 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23172] ppid=23104 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23172/stat : 23172 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11079016448 12876 33554432000 4194304 4196468 140727460262416 140016733736032 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23173] ppid=23104 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23173/stat : 23173 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508106 11079016448 12876 33554432000 4194304 4196468 140727460262416 140017627220272 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51504 KiB
[startup+0.700791 s]
/proc/loadavg: 1.69 1.54 1.45 3/220 23173
/proc/meminfo: memFree=19835212/32770624 swapFree=67108860/67108860
[pid=23107] ppid=23104 vsize=10819352 memory=84272 CPUtime=0.99 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23104 23107 19905 0 -1 1077944320 16779 13138 0 0 87 4 5 3 20 0 15 0 65508091 11079016448 21068 33554432000 4194304 4196468 140727460262416 140727460244960 140018206420727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
/proc/23107/statm: 2704838 21068 3237 1 0 2667149 0
[pid=23107/tid=23160] ppid=23104 vsize=10819352 memory=20076 CPUtime=0.67 cores=1,3,5,7
/proc/23107/task/23160/stat : 23160 (java) R 23104 23107 19905 0 -1 4202560 12185 13138 0 0 56 3 5 3 20 0 15 0 65508100 11079016448 21068 33554432000 4194304 4196468 140727460262416 140018178241552 140018187984283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23161] ppid=23104 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23161/stat : 23161 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508101 11079016448 21068 33554432000 4194304 4196468 140727460262416 140018210663184 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23162] ppid=23104 vsize=10819352 memory=140130153439727 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23162/stat : 23162 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508101 11079016448 21068 33554432000 4194304 4196468 140727460262416 140018098936720 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23163] ppid=23104 vsize=10819352 memory=140131897967533 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23163/stat : 23163 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508101 11079016448 21068 33554432000 4194304 4196468 140727460262416 140018097884176 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23164] ppid=23104 vsize=10819352 memory=12120 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23164/stat : 23164 (java) S 23104 23107 19905 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 65508101 11079016448 21068 33554432000 4194304 4196468 140727460262416 140018096831632 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23165] ppid=23104 vsize=10819352 memory=7305218370954160217 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23165/stat : 23165 (java) S 23104 23107 19905 0 -1 1077944384 6 13138 0 0 0 0 5 3 20 0 15 0 65508102 11079016448 21068 33554432000 4194304 4196468 140727460262416 140017664989168 140018206431874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23166] ppid=23104 vsize=10819352 memory=7019257425709197167 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23166/stat : 23166 (java) S 23104 23107 19905 0 -1 1077944384 33 13138 0 0 0 0 5 3 20 0 15 0 65508103 11079016448 21068 33554432000 4194304 4196468 140727460262416 140017663935392 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23167] ppid=23104 vsize=10819352 memory=5860705283049084265 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23167/stat : 23167 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508103 11079016448 21068 33554432000 4194304 4196468 140727460262416 140017074693104 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23168] ppid=23104 vsize=10819352 memory=3054156605368933524 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23168/stat : 23168 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11079016448 21068 33554432000 4194304 4196468 140727460262416 140016767293648 140018206439323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23169] ppid=23104 vsize=10819352 memory=8326441112149131693 CPUtime=0.15 cores=1,3,5,7
/proc/23107/task/23169/stat : 23169 (java) S 23104 23107 19905 0 -1 1077944384 854 13138 0 0 7 0 5 3 20 0 15 0 65508106 11079016448 21068 33554432000 4194304 4196468 140727460262416 140017630378480 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23170] ppid=23104 vsize=10819352 memory=-7025452035940392864 CPUtime=0.17 cores=1,3,5,7
/proc/23107/task/23170/stat : 23170 (java) S 23104 23107 19905 0 -1 1077944384 775 13138 0 0 9 0 5 3 20 0 15 0 65508106 11079016448 21068 33554432000 4194304 4196468 140727460262416 140017629325936 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23171] ppid=23104 vsize=10819352 memory=6944656592452807326 CPUtime=0.21 cores=1,3,5,7
/proc/23107/task/23171/stat : 23171 (java) S 23104 23107 19905 0 -1 1077944384 720 13138 0 0 13 0 5 3 20 0 15 0 65508106 11079016448 21068 33554432000 4194304 4196468 140727460262416 140017628273392 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23172] ppid=23104 vsize=10819352 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23172/stat : 23172 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11079016448 21068 33554432000 4194304 4196468 140727460262416 140016733736032 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23173] ppid=23104 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23173/stat : 23173 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508106 11079016448 21068 33554432000 4194304 4196468 140727460262416 140017627220272 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84272 KiB
[startup+1.50077 s]
/proc/loadavg: 1.69 1.54 1.45 3/220 23173
/proc/meminfo: memFree=19788516/32770624 swapFree=67108860/67108860
[pid=23107] ppid=23104 vsize=10834252 memory=173460 CPUtime=2.26 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23104 23107 19905 0 -1 1077944320 23957 13138 0 0 210 8 5 3 20 0 15 0 65508091 11094274048 43299 33554432000 4194304 4196468 140727460262416 140727460244960 140018206420727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
/proc/23107/statm: 2708563 43299 3474 1 0 2670221 0
[pid=23107/tid=23160] ppid=23104 vsize=10834252 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/23107/task/23160/stat : 23160 (java) R 23104 23107 19905 0 -1 4202560 17833 13138 0 0 131 5 5 3 20 0 15 0 65508100 11094274048 43365 33554432000 4194304 4196468 140727460262416 140018178252848 140018198657854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23161] ppid=23104 vsize=10834252 memory=99104 CPUtime=0.09 cores=1,3,5,7
/proc/23107/task/23161/stat : 23161 (java) S 23104 23107 19905 0 -1 1077944384 18 13138 0 0 1 0 5 3 20 0 15 0 65508101 11094274048 43365 33554432000 4194304 4196468 140727460262416 140018210663184 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23162] ppid=23104 vsize=10834252 memory=5790086053191909267 CPUtime=0.09 cores=1,3,5,7
/proc/23107/task/23162/stat : 23162 (java) S 23104 23107 19905 0 -1 1077944384 21 13138 0 0 1 0 5 3 20 0 15 0 65508101 11094274048 43365 33554432000 4194304 4196468 140727460262416 140018098936720 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23163] ppid=23104 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23107/task/23163/stat : 23163 (java) S 23104 23107 19905 0 -1 1077944384 199 13138 0 0 1 0 5 3 20 0 15 0 65508101 11094274048 43371 33554432000 4194304 4196468 140727460262416 140018097884176 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23164] ppid=23104 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23107/task/23164/stat : 23164 (java) S 23104 23107 19905 0 -1 1077944384 78 13138 0 0 1 0 5 3 20 0 15 0 65508101 11094274048 43371 33554432000 4194304 4196468 140727460262416 140018096831632 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23165] ppid=23104 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23107/task/23165/stat : 23165 (java) S 23104 23107 19905 0 -1 1077944384 56 13138 0 0 1 0 5 3 20 0 15 0 65508102 11094274048 43371 33554432000 4194304 4196468 140727460262416 140017664989168 140018206431874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23166] ppid=23104 vsize=10834252 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23166/stat : 23166 (java) S 23104 23107 19905 0 -1 1077944384 33 13138 0 0 0 0 5 3 20 0 15 0 65508103 11094274048 43371 33554432000 4194304 4196468 140727460262416 140017663935456 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23167] ppid=23104 vsize=10834252 memory=4312 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23167/stat : 23167 (java) S 23104 23107 19905 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 65508103 11094274048 43371 33554432000 4194304 4196468 140727460262416 140017074693120 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23168] ppid=23104 vsize=10834252 memory=2196 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23168/stat : 23168 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11094274048 43371 33554432000 4194304 4196468 140727460262416 140016767293648 140018206439323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23169] ppid=23104 vsize=10834252 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/23107/task/23169/stat : 23169 (java) S 23104 23107 19905 0 -1 1077944384 1002 13138 0 0 16 0 5 3 20 0 15 0 65508106 11094274048 43371 33554432000 4194304 4196468 140727460262416 140017630378480 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23170] ppid=23104 vsize=10834252 memory=239623070617756 CPUtime=0.33 cores=1,3,5,7
/proc/23107/task/23170/stat : 23170 (java) S 23104 23107 19905 0 -1 1077944384 1266 13138 0 0 25 0 5 3 20 0 15 0 65508106 11094274048 43371 33554432000 4194304 4196468 140727460262416 140017629325936 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23171] ppid=23104 vsize=10834252 memory=278973 CPUtime=0.38 cores=1,3,5,7
/proc/23107/task/23171/stat : 23171 (java) S 23104 23107 19905 0 -1 1077944384 1259 13138 0 0 30 0 5 3 20 0 15 0 65508106 11094274048 43371 33554432000 4194304 4196468 140727460262416 140017628273392 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23172] ppid=23104 vsize=10834252 memory=6935650355271196736 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23172/stat : 23172 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11094274048 43371 33554432000 4194304 4196468 140727460262416 140016733736032 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23173] ppid=23104 vsize=10834252 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23173/stat : 23173 (java) S 23104 23107 19905 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 65508106 11094274048 43371 33554432000 4194304 4196468 140727460262416 140017627220272 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/23107/task/23160/stat : 23160 (java) R 23104 23107 19905 0 -1 4202560 88568 13138 0 0 235290 61 5 3 20 0 15 0 65508100 11176083456 276813 33554432000 4194304 4196468 140727460262416 140018178255344 140017773961574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23161] ppid=23104 vsize=10914144 memory=1107236 CPUtime=12.21 cores=1,3,5,7
/proc/23107/task/23161/stat : 23161 (java) S 23104 23107 19905 0 -1 1077944384 13666 13138 0 0 1150 63 5 3 20 0 15 0 65508101 11176083456 276813 33554432000 4194304 4196468 140727460262416 140018210663184 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23162] ppid=23104 vsize=10914144 memory=1107236 CPUtime=12.21 cores=1,3,5,7
/proc/23107/task/23162/stat : 23162 (java) S 23104 23107 19905 0 -1 1077944384 19111 13138 0 0 1145 68 5 3 20 0 15 0 65508101 11176083456 276813 33554432000 4194304 4196468 140727460262416 140018098936720 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23163] ppid=23104 vsize=10914144 memory=1107252 CPUtime=12.15 cores=1,3,5,7
/proc/23107/task/23163/stat : 23163 (java) S 23104 23107 19905 0 -1 1077944384 14024 13138 0 0 1139 68 5 3 20 0 15 0 65508101 11176083456 276813 33554432000 4194304 4196468 140727460262416 140018097884176 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23164] ppid=23104 vsize=10914144 memory=1107252 CPUtime=12.15 cores=1,3,5,7
/proc/23107/task/23164/stat : 23164 (java) S 23104 23107 19905 0 -1 1077944384 16396 13138 0 0 1143 64 5 3 20 0 15 0 65508101 11176083456 276813 33554432000 4194304 4196468 140727460262416 140018096831632 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23165] ppid=23104 vsize=10914144 memory=1199 CPUtime=12.03 cores=1,3,5,7
/proc/23107/task/23165/stat : 23165 (java) S 23104 23107 19905 0 -1 1077944384 16230 13138 0 0 1129 66 5 3 20 0 15 0 65508102 11176083456 276813 33554432000 4194304 4196468 140727460262416 140017664989168 140018206431874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23166] ppid=23104 vsize=10914144 memory=1107252 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23166/stat : 23166 (java) S 23104 23107 19905 0 -1 1077944384 38 13138 0 0 0 0 5 3 20 0 15 0 65508103 11176083456 276813 33554432000 4194304 4196468 140727460262416 140017663935520 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23167] ppid=23104 vsize=10914144 memory=1107252 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23167/stat : 23167 (java) S 23104 23107 19905 0 -1 1077944384 6 13138 0 0 0 0 5 3 20 0 15 0 65508103 11176083456 276813 33554432000 4194304 4196468 140727460262416 140017074693120 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23168] ppid=23104 vsize=10914144 memory=4048 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23168/stat : 23168 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11176083456 276813 33554432000 4194304 4196468 140727460262416 140016767293648 140018206439323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23169] ppid=23104 vsize=10914144 memory=796 CPUtime=2.45 cores=1,3,5,7
/proc/23107/task/23169/stat : 23169 (java) S 23104 23107 19905 0 -1 1077944384 11064 13138 0 0 235 2 5 3 20 0 15 0 65508106 11176083456 276813 33554432000 4194304 4196468 140727460262416 140017630378480 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23170] ppid=23104 vsize=10914144 memory=1700 CPUtime=3 cores=1,3,5,7
/proc/23107/task/23170/stat : 23170 (java) S 23104 23107 19905 0 -1 1077944384 12304 13138 0 0 289 3 5 3 20 0 15 0 65508106 11176083456 276813 33554432000 4194304 4196468 140727460262416 140017629325936 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23171] ppid=23104 vsize=10914144 memory=4312 CPUtime=1.34 cores=1,3,5,7
/proc/23107/task/23171/stat : 23171 (java) S 23104 23107 19905 0 -1 1077944384 12254 13138 0 0 124 2 5 3 20 0 15 0 65508106 11176083456 276813 33554432000 4194304 4196468 140727460262416 140017628273392 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23172] ppid=23104 vsize=10914144 memory=1107252 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23172/stat : 23172 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11176083456 276813 33554432000 4194304 4196468 140727460262416 140016733736032 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23173] ppid=23104 vsize=10914144 memory=1107252 CPUtime=1.65 cores=1,3,5,7
/proc/23107/task/23173/stat : 23173 (java) S 23104 23107 19905 0 -1 1077944384 1911 13138 0 0 68 89 5 3 20 0 15 0 65508106 11176083456 276813 33554432000 4194304 4196468 140727460262416 140017627220272 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
Current children cumulated CPU time: 2422.18 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1107252 KiB
[startup+2442.3 s]
/proc/loadavg: 1.55 1.41 1.41 3/220 23443
/proc/meminfo: memFree=18749024/32770624 swapFree=67108860/67108860
[pid=23107] ppid=23104 vsize=10914144 memory=1107280 CPUtime=2483.05 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23104 23107 19905 0 -1 1077944320 209464 13138 0 0 247888 409 5 3 20 0 15 0 65508091 11176083456 276820 33554432000 4194304 4196468 140727460262416 140727460244960 140018206420727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
/proc/23107/statm: 2728536 276820 3515 1 0 2690189 0
[pid=23107/tid=23160] ppid=23104 vsize=10914144 memory=1107280 CPUtime=2412.83 cores=1,3,5,7
/proc/23107/task/23160/stat : 23160 (java) R 23104 23107 19905 0 -1 4202560 89426 13138 0 0 241213 62 5 3 20 0 15 0 65508100 11176083456 276820 33554432000 4194304 4196468 140727460262416 140018178254832 140017773433090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23161] ppid=23104 vsize=10914144 memory=1107280 CPUtime=12.54 cores=1,3,5,7
/proc/23107/task/23161/stat : 23161 (java) S 23104 23107 19905 0 -1 1077944384 13754 13138 0 0 1181 65 5 3 20 0 15 0 65508101 11176083456 276820 33554432000 4194304 4196468 140727460262416 140018210663184 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23162] ppid=23104 vsize=10914144 memory=1107280 CPUtime=12.52 cores=1,3,5,7
/proc/23107/task/23162/stat : 23162 (java) S 23104 23107 19905 0 -1 1077944384 19184 13138 0 0 1175 69 5 3 20 0 15 0 65508101 11176083456 276820 33554432000 4194304 4196468 140727460262416 140018098936720 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23163] ppid=23104 vsize=10914144 memory=1107264 CPUtime=12.47 cores=1,3,5,7
/proc/23107/task/23163/stat : 23163 (java) S 23104 23107 19905 0 -1 1077944384 14040 13138 0 0 1170 69 5 3 20 0 15 0 65508101 11176083456 276820 33554432000 4194304 4196468 140727460262416 140018097884176 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23164] ppid=23104 vsize=10914144 memory=1107252 CPUtime=12.47 cores=1,3,5,7
/proc/23107/task/23164/stat : 23164 (java) S 23104 23107 19905 0 -1 1077944384 16664 13138 0 0 1173 66 5 3 20 0 15 0 65508101 11176083456 276820 33554432000 4194304 4196468 140727460262416 140018096831632 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23165] ppid=23104 vsize=10914144 memory=1107264 CPUtime=12.35 cores=1,3,5,7
/proc/23107/task/23165/stat : 23165 (java) S 23104 23107 19905 0 -1 1077944384 16573 13138 0 0 1159 68 5 3 20 0 15 0 65508102 11176083456 276820 33554432000 4194304 4196468 140727460262416 140017664989168 140018206431874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23166] ppid=23104 vsize=10914144 memory=1107280 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23166/stat : 23166 (java) S 23104 23107 19905 0 -1 1077944384 38 13138 0 0 0 0 5 3 20 0 15 0 65508103 11176083456 276820 33554432000 4194304 4196468 140727460262416 140017663935520 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23167] ppid=23104 vsize=10914144 memory=1107280 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23167/stat : 23167 (java) S 23104 23107 19905 0 -1 1077944384 6 13138 0 0 0 0 5 3 20 0 15 0 65508103 11176083456 276820 33554432000 4194304 4196468 140727460262416 140017074693120 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23168] ppid=23104 vsize=10914144 memory=1107280 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23168/stat : 23168 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11176083456 276820 33554432000 4194304 4196468 140727460262416 140016767293648 140018206439323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23169] ppid=23104 vsize=10914144 memory=1107280 CPUtime=2.45 cores=1,3,5,7
/proc/23107/task/23169/stat : 23169 (java) S 23104 23107 19905 0 -1 1077944384 11066 13138 0 0 235 2 5 3 20 0 15 0 65508106 11176083456 276820 33554432000 4194304 4196468 140727460262416 140017630378480 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23170] ppid=23104 vsize=10914144 memory=1107280 CPUtime=3 cores=1,3,5,7
/proc/23107/task/23170/stat : 23170 (java) S 23104 23107 19905 0 -1 1077944384 12306 13138 0 0 289 3 5 3 20 0 15 0 65508106 11176083456 276820 33554432000 4194304 4196468 140727460262416 140017629325936 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23171] ppid=23104 vsize=10914144 memory=1107280 CPUtime=1.34 cores=1,3,5,7
/proc/23107/task/23171/stat : 23171 (java) S 23104 23107 19905 0 -1 1077944384 12256 13138 0 0 124 2 5 3 20 0 15 0 65508106 11176083456 276820 33554432000 4194304 4196468 140727460262416 140017628273392 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23172] ppid=23104 vsize=10914144 memory=4620 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23172/stat : 23172 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11176083456 276820 33554432000 4194304 4196468 140727460262416 140016733736032 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23173] ppid=23104 vsize=10914144 memory=1107280 CPUtime=1.69 cores=1,3,5,7
/proc/23107/task/23173/stat : 23173 (java) S 23104 23107 19905 0 -1 1077944384 1952 13138 0 0 70 91 5 3 20 0 15 0 65508106 11176083456 276820 33554432000 4194304 4196468 140727460262416 140017627220272 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
Current children cumulated CPU time: 2483.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1107280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.71 s]
/proc/loadavg: 1.19 1.33 1.38 3/219 23445
/proc/meminfo: memFree=18747740/32770624 swapFree=67108860/67108860
[pid=23107] ppid=23104 vsize=10914144 memory=1109340 CPUtime=2520 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23104 23107 19905 0 -1 1077944320 210267 13138 0 0 251576 416 5 3 20 0 15 0 65508091 11176083456 277335 33554432000 4194304 4196468 140727460262416 140727460244960 140018206420727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
/proc/23107/statm: 2728536 277335 3515 1 0 2690189 0
[pid=23107/tid=23160] ppid=23104 vsize=10914144 memory=1109340 CPUtime=2448.76 cores=1,3,5,7
/proc/23107/task/23160/stat : 23160 (java) R 23104 23107 19905 0 -1 4202560 89862 13138 0 0 244805 63 5 3 20 0 15 0 65508100 11176083456 277335 33554432000 4194304 4196468 140727460262416 140018178254784 140017767503080 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23161] ppid=23104 vsize=10914144 memory=1109340 CPUtime=12.73 cores=1,3,5,7
/proc/23107/task/23161/stat : 23161 (java) S 23104 23107 19905 0 -1 1077944384 13820 13138 0 0 1200 65 5 3 20 0 15 0 65508101 11176083456 277335 33554432000 4194304 4196468 140727460262416 140018210663184 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23162] ppid=23104 vsize=10914144 memory=1109340 CPUtime=12.72 cores=1,3,5,7
/proc/23107/task/23162/stat : 23162 (java) S 23104 23107 19905 0 -1 1077944384 19189 13138 0 0 1194 70 5 3 20 0 15 0 65508101 11176083456 277335 33554432000 4194304 4196468 140727460262416 140018098936720 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23163] ppid=23104 vsize=10914144 memory=1107280 CPUtime=12.67 cores=1,3,5,7
/proc/23107/task/23163/stat : 23163 (java) S 23104 23107 19905 0 -1 1077944384 14284 13138 0 0 1188 71 5 3 20 0 15 0 65508101 11176083456 277335 33554432000 4194304 4196468 140727460262416 140018097884176 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23164] ppid=23104 vsize=10914144 memory=1109340 CPUtime=12.67 cores=1,3,5,7
/proc/23107/task/23164/stat : 23164 (java) S 23104 23107 19905 0 -1 1077944384 16682 13138 0 0 1192 67 5 3 20 0 15 0 65508101 11176083456 277335 33554432000 4194304 4196468 140727460262416 140018096831632 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23165] ppid=23104 vsize=10914144 memory=1109340 CPUtime=12.55 cores=1,3,5,7
/proc/23107/task/23165/stat : 23165 (java) S 23104 23107 19905 0 -1 1077944384 16598 13138 0 0 1178 69 5 3 20 0 15 0 65508102 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017664989168 140018206431874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23166] ppid=23104 vsize=10914144 memory=1109340 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23166/stat : 23166 (java) S 23104 23107 19905 0 -1 1077944384 38 13138 0 0 0 0 5 3 20 0 15 0 65508103 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017663935520 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23167] ppid=23104 vsize=10914144 memory=1109340 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23167/stat : 23167 (java) S 23104 23107 19905 0 -1 1077944384 6 13138 0 0 0 0 5 3 20 0 15 0 65508103 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017074693120 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23168] ppid=23104 vsize=10914144 memory=1109340 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23168/stat : 23168 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140016767293648 140018206439323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23169] ppid=23104 vsize=10914144 memory=1107280 CPUtime=2.46 cores=1,3,5,7
/proc/23107/task/23169/stat : 23169 (java) S 23104 23107 19905 0 -1 1077944384 11068 13138 0 0 236 2 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017630378480 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23170] ppid=23104 vsize=10914144 memory=1109340 CPUtime=3 cores=1,3,5,7
/proc/23107/task/23170/stat : 23170 (java) S 23104 23107 19905 0 -1 1077944384 12308 13138 0 0 289 3 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017629325936 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23171] ppid=23104 vsize=10914144 memory=1109340 CPUtime=1.34 cores=1,3,5,7
/proc/23107/task/23171/stat : 23171 (java) S 23104 23107 19905 0 -1 1077944384 12258 13138 0 0 124 2 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017628273392 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23172] ppid=23104 vsize=10914144 memory=1109340 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23172/stat : 23172 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140016733736032 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23173] ppid=23104 vsize=10914144 memory=0 CPUtime=1.72 cores=1,3,5,7
/proc/23107/task/23173/stat : 23173 (java) S 23104 23107 19905 0 -1 1077944384 1955 13138 0 0 71 93 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017627220272 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1109340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2478.74 s]
# the end of solver process 23107 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.84 s, system=4.19975 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.71 s]
/proc/loadavg: 1.19 1.33 1.38 3/219 23445
/proc/meminfo: memFree=18747740/32770624 swapFree=67108860/67108860
[pid=23107] ppid=23104 vsize=10914144 memory=1109340 CPUtime=2520 cores=1,3,5,7
/proc/23107/stat : 23107 (java) S 23104 23107 19905 0 -1 1077944320 210267 13138 0 0 251576 416 5 3 20 0 15 0 65508091 11176083456 277335 33554432000 4194304 4196468 140727460262416 140727460244960 140018206420727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
/proc/23107/statm: 2728536 277335 3515 1 0 2690189 0
[pid=23107/tid=23160] ppid=23104 vsize=10914144 memory=1109340 CPUtime=2448.76 cores=1,3,5,7
/proc/23107/task/23160/stat : 23160 (java) R 23104 23107 19905 0 -1 4202560 89862 13138 0 0 244805 63 5 3 20 0 15 0 65508100 11176083456 277335 33554432000 4194304 4196468 140727460262416 140018178254784 140017767503080 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23161] ppid=23104 vsize=10914144 memory=1109340 CPUtime=12.73 cores=1,3,5,7
/proc/23107/task/23161/stat : 23161 (java) S 23104 23107 19905 0 -1 1077944384 13820 13138 0 0 1200 65 5 3 20 0 15 0 65508101 11176083456 277335 33554432000 4194304 4196468 140727460262416 140018210663184 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23162] ppid=23104 vsize=10914144 memory=1109340 CPUtime=12.72 cores=1,3,5,7
/proc/23107/task/23162/stat : 23162 (java) S 23104 23107 19905 0 -1 1077944384 19189 13138 0 0 1194 70 5 3 20 0 15 0 65508101 11176083456 277335 33554432000 4194304 4196468 140727460262416 140018098936720 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23163] ppid=23104 vsize=10914144 memory=1107280 CPUtime=12.67 cores=1,3,5,7
/proc/23107/task/23163/stat : 23163 (java) S 23104 23107 19905 0 -1 1077944384 14284 13138 0 0 1188 71 5 3 20 0 15 0 65508101 11176083456 277335 33554432000 4194304 4196468 140727460262416 140018097884176 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23164] ppid=23104 vsize=10914144 memory=1109340 CPUtime=12.67 cores=1,3,5,7
/proc/23107/task/23164/stat : 23164 (java) S 23104 23107 19905 0 -1 1077944384 16682 13138 0 0 1192 67 5 3 20 0 15 0 65508101 11176083456 277335 33554432000 4194304 4196468 140727460262416 140018096831632 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23165] ppid=23104 vsize=10914144 memory=1109340 CPUtime=12.55 cores=1,3,5,7
/proc/23107/task/23165/stat : 23165 (java) S 23104 23107 19905 0 -1 1077944384 16598 13138 0 0 1178 69 5 3 20 0 15 0 65508102 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017664989168 140018206431874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23166] ppid=23104 vsize=10914144 memory=1109340 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23166/stat : 23166 (java) S 23104 23107 19905 0 -1 1077944384 38 13138 0 0 0 0 5 3 20 0 15 0 65508103 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017663935520 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23167] ppid=23104 vsize=10914144 memory=1109340 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23167/stat : 23167 (java) S 23104 23107 19905 0 -1 1077944384 6 13138 0 0 0 0 5 3 20 0 15 0 65508103 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017074693120 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23168] ppid=23104 vsize=10914144 memory=1109340 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23168/stat : 23168 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140016767293648 140018206439323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23169] ppid=23104 vsize=10914144 memory=1107280 CPUtime=2.46 cores=1,3,5,7
/proc/23107/task/23169/stat : 23169 (java) S 23104 23107 19905 0 -1 1077944384 11068 13138 0 0 236 2 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017630378480 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23170] ppid=23104 vsize=10914144 memory=1109340 CPUtime=3 cores=1,3,5,7
/proc/23107/task/23170/stat : 23170 (java) S 23104 23107 19905 0 -1 1077944384 12308 13138 0 0 289 3 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017629325936 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23171] ppid=23104 vsize=10914144 memory=1109340 CPUtime=1.34 cores=1,3,5,7
/proc/23107/task/23171/stat : 23171 (java) S 23104 23107 19905 0 -1 1077944384 12258 13138 0 0 124 2 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017628273392 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23172] ppid=23104 vsize=10914144 memory=1109340 CPUtime=0.08 cores=1,3,5,7
/proc/23107/task/23172/stat : 23172 (java) S 23104 23107 19905 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140016733736032 140018206430933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
[pid=23107/tid=23173] ppid=23104 vsize=10914144 memory=0 CPUtime=1.72 cores=1,3,5,7
/proc/23107/task/23173/stat : 23173 (java) S 23104 23107 19905 0 -1 1077944384 1955 13138 0 0 71 93 5 3 20 0 15 0 65508106 11176083456 277335 33554432000 4194304 4196468 140727460262416 140017627220272 140018206431874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 14778368 140727460268655 140727460271452 140727460271452 140727460274127 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1109340 KiB
Child status: 143
Real time (s): 2478.74
CPU time (s): 2520.04
CPU user time (s): 2515.84
CPU system time (s): 4.19975
CPU usage (%): 101.666
Max. virtual memory (cumulated for all children) (KiB): 10916852
Max. memory (cumulated for all children) (KiB): 1109340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.84
system time used= 4.19975
maximum resident set size= 1113536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 329495
involuntary context switches= 8437
# summary of solver processes directly reported to runsolver:
# pid: 23107
# total CPU time (s): 2520.04
# total CPU user time (s): 2515.84
# total CPU system time (s): 4.19975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0612 second user time and 23.9538 second system time
The end