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 (10860 MiB free)
memory of node 1: 16384 MiB (15835 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301577-1532882405/watcher-4301577-1532882405 -o /tmp/evaluation-result-4301577-1532882405/solver-4301577-1532882405 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301577-1532882405.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16091, runsolver pid=16088
[startup+0.10013 s]*
/proc/loadavg: 3.68 3.24 2.83 3/217 16106
/proc/meminfo: memFree=27320392/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=10659012 memory=30276 CPUtime=0.12 cores=1,3,5,7
/proc/16091/stat : 16091 (java) S 16088 16091 13514 0 -1 1077944320 6646 0 0 0 11 1 0 0 20 0 15 0 105803676 10914828288 7569 33554432000 4194304 4196468 140729966212032 140729966194576 139748405739255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
/proc/16091/statm: 2664753 7569 2846 1 0 2627263 0
[pid=16091/tid=16093] ppid=16088 vsize=10659012 memory=-8773748148830375297 CPUtime=0.08 cores=1,3,5,7
/proc/16091/task/16093/stat : 16093 (java) R 16088 16091 13514 0 -1 4202560 4473 0 0 0 8 0 0 0 20 0 15 0 105803677 10914828288 7569 33554432000 4194304 4196468 140729966212032 139748409960384 139748405761181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16094] ppid=16088 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16094/stat : 16094 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914828288 7569 33554432000 4194304 4196468 140729966212032 139748012829456 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16095] ppid=16088 vsize=10659012 memory=139750927390336 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16095/stat : 16095 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914828288 7569 33554432000 4194304 4196468 140729966212032 139748011776912 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16096] ppid=16088 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16096/stat : 16096 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914828288 7569 33554432000 4194304 4196468 140729966212032 139748010724368 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16097] ppid=16088 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16097/stat : 16097 (java) S 16088 16091 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105803678 10914828288 7569 33554432000 4194304 4196468 140729966212032 139748009671824 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16098] ppid=16088 vsize=10659012 memory=139750927390336 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16098/stat : 16098 (java) S 16088 16091 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105803679 10914828288 7569 33554432000 4194304 4196468 140729966212032 139747897882608 139748405750402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16099] ppid=16088 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16099/stat : 16099 (java) S 16088 16091 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105803680 10914828288 7569 33554432000 4194304 4196468 140729966212032 139747896828832 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16100] ppid=16088 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16100/stat : 16100 (java) S 16088 16091 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105803680 10914828288 7569 33554432000 4194304 4196468 140729966212032 139747895776240 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16101] ppid=16088 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16101/stat : 16101 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105803682 10914828288 7569 33554432000 4194304 4196468 140729966212032 139747894724816 139748405757851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16102] ppid=16088 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16102/stat : 16102 (java) S 16088 16091 13514 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 105803682 10914828288 7569 33554432000 4194304 4196468 140729966212032 139747893672432 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16103] ppid=16088 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16103/stat : 16103 (java) S 16088 16091 13514 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 105803682 10914828288 7569 33554432000 4194304 4196468 140729966212032 139747892619888 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16104] ppid=16088 vsize=10659012 memory=139750927390336 CPUtime=0.02 cores=1,3,5,7
/proc/16091/task/16104/stat : 16104 (java) S 16088 16091 13514 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 105803682 10914828288 7569 33554432000 4194304 4196468 140729966212032 139747891567344 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16105] ppid=16088 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16105/stat : 16105 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105803682 10914828288 7569 33554432000 4194304 4196468 140729966212032 139747890515040 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16106] ppid=16088 vsize=10659012 memory=139750927390336 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16106/stat : 16106 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803682 10914828288 7569 33554432000 4194304 4196468 140729966212032 139747889461552 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30276 KiB
[startup+0.210575 s]*
/proc/loadavg: 3.68 3.24 2.83 3/217 16106
/proc/meminfo: memFree=27309476/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=10659012 memory=42256 CPUtime=0.33 cores=1,3,5,7
/proc/16091/stat : 16091 (java) S 16088 16091 13514 0 -1 1077944320 8149 0 0 0 31 2 0 0 20 0 15 0 105803676 10914828288 10564 33554432000 4194304 4196468 140729966212032 140729966194576 139748405739255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
/proc/16091/statm: 2664753 10564 3009 1 0 2627263 0
[pid=16091/tid=16093] ppid=16088 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/16091/task/16093/stat : 16093 (java) R 16088 16091 13514 0 -1 4202560 5057 0 0 0 19 1 0 0 20 0 15 0 105803677 10914828288 10564 33554432000 4194304 4196468 140729966212032 139748409975536 139748383742096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16094] ppid=16088 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16094/stat : 16094 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914828288 10564 33554432000 4194304 4196468 140729966212032 139748012829456 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16095] ppid=16088 vsize=10659012 memory=139750928015370 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16095/stat : 16095 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914828288 10564 33554432000 4194304 4196468 140729966212032 139748011776912 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16096] ppid=16088 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16096/stat : 16096 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914828288 10564 33554432000 4194304 4196468 140729966212032 139748010724368 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16097] ppid=16088 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16097/stat : 16097 (java) S 16088 16091 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105803678 10914828288 10564 33554432000 4194304 4196468 140729966212032 139748009671824 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16098] ppid=16088 vsize=10659012 memory=139750927390336 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16098/stat : 16098 (java) S 16088 16091 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105803679 10914828288 10564 33554432000 4194304 4196468 140729966212032 139747897882608 139748405750402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16099] ppid=16088 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16099/stat : 16099 (java) S 16088 16091 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105803680 10914828288 10564 33554432000 4194304 4196468 140729966212032 139747896828832 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16100] ppid=16088 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16100/stat : 16100 (java) S 16088 16091 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105803680 10914828288 10564 33554432000 4194304 4196468 140729966212032 139747895776240 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16101] ppid=16088 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16101/stat : 16101 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105803682 10914828288 10564 33554432000 4194304 4196468 140729966212032 139747894724816 139748405757851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16102] ppid=16088 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16091/task/16102/stat : 16102 (java) S 16088 16091 13514 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 105803682 10914828288 10564 33554432000 4194304 4196468 140729966212032 139747893672432 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16103] ppid=16088 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16091/task/16103/stat : 16103 (java) S 16088 16091 13514 0 -1 1077944384 537 0 0 0 1 0 0 0 20 0 15 0 105803682 10914828288 10564 33554432000 4194304 4196468 140729966212032 139747892619888 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16104] ppid=16088 vsize=10659012 memory=139750927390336 CPUtime=0.07 cores=1,3,5,7
/proc/16091/task/16104/stat : 16104 (java) R 16088 16091 13514 0 -1 4202560 680 0 0 0 7 0 0 0 20 0 15 0 105803682 10914828288 10564 33554432000 4194304 4196468 140729966212032 139747891567344 139748398074956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16105] ppid=16088 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16105/stat : 16105 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105803682 10914828288 10564 33554432000 4194304 4196468 140729966212032 139747890515040 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16106] ppid=16088 vsize=10659012 memory=139750927390336 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16106/stat : 16106 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803682 10914828288 10564 33554432000 4194304 4196468 140729966212032 139747889461552 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42256 KiB
[startup+0.311294 s]*
/proc/loadavg: 3.68 3.24 2.83 5/217 16106
/proc/meminfo: memFree=27297132/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=10659088 memory=52856 CPUtime=0.59 cores=1,3,5,7
/proc/16091/stat : 16091 (java) S 16088 16091 13514 0 -1 1077944320 9930 0 0 0 56 3 0 0 20 0 15 0 105803676 10914906112 13214 33554432000 4194304 4196468 140729966212032 140729966194576 139748405739255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
/proc/16091/statm: 2664772 13214 3066 1 0 2627263 0
[pid=16091/tid=16093] ppid=16088 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/16091/task/16093/stat : 16093 (java) R 16088 16091 13514 0 -1 4202560 5660 0 0 0 28 1 0 0 20 0 15 0 105803677 10914906112 13214 33554432000 4194304 4196468 140729966212032 139748409975648 139748405760602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16094] ppid=16088 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16094/stat : 16094 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914906112 13214 33554432000 4194304 4196468 140729966212032 139748012829456 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16095] ppid=16088 vsize=10659088 memory=139750928009685 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16095/stat : 16095 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914906112 13214 33554432000 4194304 4196468 140729966212032 139748011776912 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16096] ppid=16088 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16096/stat : 16096 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914906112 13214 33554432000 4194304 4196468 140729966212032 139748010724368 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16097] ppid=16088 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16097/stat : 16097 (java) S 16088 16091 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105803678 10914906112 13214 33554432000 4194304 4196468 140729966212032 139748009671824 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16098] ppid=16088 vsize=10659088 memory=139750927390336 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16098/stat : 16098 (java) S 16088 16091 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105803679 10914906112 13214 33554432000 4194304 4196468 140729966212032 139747897882608 139748405750402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16099] ppid=16088 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16099/stat : 16099 (java) S 16088 16091 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105803680 10914906112 13214 33554432000 4194304 4196468 140729966212032 139747896828832 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16100] ppid=16088 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16100/stat : 16100 (java) S 16088 16091 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105803680 10914906112 13214 33554432000 4194304 4196468 140729966212032 139747895776240 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16101] ppid=16088 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16101/stat : 16101 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105803682 10914906112 13214 33554432000 4194304 4196468 140729966212032 139747894724816 139748405757851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16102] ppid=16088 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16091/task/16102/stat : 16102 (java) R 16088 16091 13514 0 -1 4202560 840 0 0 0 7 0 0 0 20 0 15 0 105803682 10914906112 13214 33554432000 4194304 4196468 140729966212032 139747893658456 139748390661237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16103] ppid=16088 vsize=10659088 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16091/task/16103/stat : 16103 (java) R 16088 16091 13514 0 -1 4202560 1076 0 0 0 7 0 0 0 20 0 15 0 105803682 10914906112 13214 33554432000 4194304 4196468 140729966212032 139747892606432 139748385589713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16104] ppid=16088 vsize=10659088 memory=139750927390336 CPUtime=0.13 cores=1,3,5,7
/proc/16091/task/16104/stat : 16104 (java) R 16088 16091 13514 0 -1 1077944384 986 0 0 0 13 0 0 0 20 0 15 0 105803682 10914906112 13214 33554432000 4194304 4196468 140729966212032 139747891567344 139748405750402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16105] ppid=16088 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16105/stat : 16105 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105803682 10914906112 13214 33554432000 4194304 4196468 140729966212032 139747890515040 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16106] ppid=16088 vsize=10659088 memory=139750927390336 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16106/stat : 16106 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803682 10914906112 13214 33554432000 4194304 4196468 140729966212032 139747889461552 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52856 KiB
[startup+0.701568 s]
/proc/loadavg: 3.68 3.24 2.83 4/217 16106
/proc/meminfo: memFree=27276408/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=10659088 memory=115668 CPUtime=1.8 cores=1,3,5,7
/proc/16091/stat : 16091 (java) S 16088 16091 13514 0 -1 1077944320 11818 0 0 0 176 4 0 0 20 0 15 0 105803676 10914906112 28917 33554432000 4194304 4196468 140729966212032 140729966194576 139748405739255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
/proc/16091/statm: 2664772 28917 3109 1 0 2627263 0
[pid=16091/tid=16093] ppid=16088 vsize=10659088 memory=16832 CPUtime=0.67 cores=1,3,5,7
/proc/16091/task/16093/stat : 16093 (java) R 16088 16091 13514 0 -1 4202560 6043 0 0 0 65 2 0 0 20 0 15 0 105803677 10914906112 28917 33554432000 4194304 4196468 140729966212032 139748409969888 139748046684949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16094] ppid=16088 vsize=10659088 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16094/stat : 16094 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914906112 28917 33554432000 4194304 4196468 140729966212032 139748012829456 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16095] ppid=16088 vsize=10659088 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16095/stat : 16095 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914906112 28917 33554432000 4194304 4196468 140729966212032 139748011776912 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16096] ppid=16088 vsize=10659088 memory=496 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16096/stat : 16096 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803678 10914906112 28917 33554432000 4194304 4196468 140729966212032 139748010724368 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16097] ppid=16088 vsize=10659088 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16097/stat : 16097 (java) S 16088 16091 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105803678 10914906112 28917 33554432000 4194304 4196468 140729966212032 139748009671824 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16098] ppid=16088 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16098/stat : 16098 (java) S 16088 16091 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105803679 10914906112 28917 33554432000 4194304 4196468 140729966212032 139747897882608 139748405750402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16099] ppid=16088 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16099/stat : 16099 (java) S 16088 16091 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105803680 10914906112 28917 33554432000 4194304 4196468 140729966212032 139747896828832 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16100] ppid=16088 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16100/stat : 16100 (java) S 16088 16091 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105803680 10914906112 28917 33554432000 4194304 4196468 140729966212032 139747895776240 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16101] ppid=16088 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16101/stat : 16101 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105803682 10914906112 28917 33554432000 4194304 4196468 140729966212032 139747894724816 139748405757851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16102] ppid=16088 vsize=10659088 memory=6081108994580573287 CPUtime=0.39 cores=1,3,5,7
/proc/16091/task/16102/stat : 16102 (java) R 16088 16091 13514 0 -1 4202560 1437 0 0 0 39 0 0 0 20 0 15 0 105803682 10914906112 28917 33554432000 4194304 4196468 140729966212032 139747893653448 139748389236043 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16103] ppid=16088 vsize=10659088 memory=6220993253238723945 CPUtime=0.38 cores=1,3,5,7
/proc/16091/task/16103/stat : 16103 (java) R 16088 16091 13514 0 -1 4202560 1441 0 0 0 38 0 0 0 20 0 15 0 105803682 10914906112 28917 33554432000 4194304 4196468 140729966212032 139747892610000 139748384985527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16104] ppid=16088 vsize=10659088 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/16091/task/16104/stat : 16104 (java) S 16088 16091 13514 0 -1 1077944384 1526 0 0 0 32 0 0 0 20 0 15 0 105803682 10914906112 28917 33554432000 4194304 4196468 140729966212032 139747891567344 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16105] ppid=16088 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16105/stat : 16105 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105803682 10914906112 28917 33554432000 4194304 4196468 140729966212032 139747890515040 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16106] ppid=16088 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16106/stat : 16106 (java) S 16088 16091 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105803682 10914906112 28917 33554432000 4194304 4196468 140729966212032 139747889461552 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 115668 KiB
[startup+1.5013 s]
/proc/loadavg: 3.68 3.24 2.83 5/217 16106
/proc/meminfo: memFree=27119964/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=10659088 memory=342628 CPUtime=3.96 cores=1,3,5,7
/proc/16091/stat : 16091 (java) S 16088 16091 13514 0 -1 1077944320 14579 0 0 0 371 25 0 0 20 0 15 0 105803676 10914906112 85657 33554432000 4194304 4196468 140729966212032 140729966194576 139748405739255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
/proc/16091/statm: 2664772 85657 3138 1 0 2627263 0
[pid=16091/tid=16093] ppid=16088 vsize=10659088 memory=330088 CPUtime=1.28 cores=1,3,5,7
/proc/16091/task/16093/stat : 16093 (java) R 16088 16091 13514 0 -1 4202560 6119 0 0 0 125 3 0 0 20 0 15 0 105803677 10914906112 85657 33554432000 4194304 4196468 140729966212032 139748409976320 139748047264618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16094] ppid=16088 vsize=10659088 memory=33 CPUtime=0.16 cores=1,3,5,7
/proc/16091/task/16094/stat : 16094 (java) S 16088 16091 13514 0 -1 1077944384 166 0 0 0 12 4 0 0 20 0 15 0 105803678 10914906112 85657 33554432000 4194304 4196468 140729966212032 139748012829456 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16095] ppid=16088 vsize=10659088 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/16091/task/16095/stat : 16095 (java) S 16088 16091 13514 0 -1 1077944384 117 0 0 0 9 4 0 0 20 0 15 0 105803678 10914906112 85657 33554432000 4194304 4196468 140729966212032 139748011776912 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16096] ppid=16088 vsize=10659088 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/16091/task/16096/stat : 16096 (java) S 16088 16091 13514 0 -1 1077944384 135 0 0 0 11 4 0 0 20 0 15 0 105803678 10914906112 85657 33554432000 4194304 4196468 140729966212032 139748010724368 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16097] ppid=16088 vsize=10659088 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/16091/task/16097/stat : 16097 (java) S 16088 16091 13514 0 -1 1077944384 151 0 0 0 12 4 0 0 20 0 15 0 105803678 10914906112 85657 33554432000 4194304 4196468 140729966212032 139748009671824 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16098] ppid=16088 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16098/stat : 16098 (java) S 16088 16091 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105803679 10914906112 85657 33554432000 4194304 4196468 140729966212032 139747897882608 139748405750402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
################
# More data... #
################
/proc/16091/task/16099/stat : 16099 (java) S 16088 16091 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105803680 10985164800 1820469 33554432000 4194304 4196468 140729966212032 139747896828832 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16100] ppid=16088 vsize=10727700 memory=7281876 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16100/stat : 16100 (java) S 16088 16091 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105803680 10985164800 1820469 33554432000 4194304 4196468 140729966212032 139747895776240 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16101] ppid=16088 vsize=10727700 memory=30192 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16101/stat : 16101 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105803682 10985164800 1820469 33554432000 4194304 4196468 140729966212032 139747894724816 139748405757851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16102] ppid=16088 vsize=10727700 memory=5 CPUtime=2.35 cores=1,3,5,7
/proc/16091/task/16102/stat : 16102 (java) S 16088 16091 13514 0 -1 1077944384 9233 0 0 0 234 1 0 0 20 0 16 0 105803682 10985164800 1820469 33554432000 4194304 4196468 140729966212032 139747893672432 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16103] ppid=16088 vsize=10727700 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/16091/task/16103/stat : 16103 (java) S 16088 16091 13514 0 -1 1077944384 6169 0 0 0 195 0 0 0 20 0 16 0 105803682 10985164800 1820469 33554432000 4194304 4196468 140729966212032 139747892619888 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16104] ppid=16088 vsize=10727700 memory=7281828 CPUtime=0.58 cores=1,3,5,7
/proc/16091/task/16104/stat : 16104 (java) S 16088 16091 13514 0 -1 1077944384 2580 0 0 0 57 1 0 0 20 0 16 0 105803682 10985164800 1820469 33554432000 4194304 4196468 140729966212032 139747891567344 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16105] ppid=16088 vsize=10727700 memory=7281828 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16105/stat : 16105 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105803682 10985164800 1820469 33554432000 4194304 4196468 140729966212032 139747890515040 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16106] ppid=16088 vsize=10727700 memory=7281828 CPUtime=0.05 cores=1,3,5,7
/proc/16091/task/16106/stat : 16106 (java) S 16088 16091 13514 0 -1 1077944384 133 0 0 0 3 2 0 0 20 0 16 0 105803682 10985164800 1820469 33554432000 4194304 4196468 140729966212032 139747889461552 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16187] ppid=16088 vsize=10727700 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16187/stat : 16187 (java) S 16088 16091 13514 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 105809444 10985164800 1820469 33554432000 4194304 4196468 140729966212032 139747886310192 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
Current children cumulated CPU time: 205.43 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 7281876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+148.901 s]
/proc/loadavg: 3.19 3.41 2.96 3/218 16267
/proc/meminfo: memFree=20309380/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=10727700 memory=7281964 CPUtime=252.07 cores=1,3,5,7
/proc/16091/stat : 16091 (java) S 16088 16091 13514 0 -1 1077944320 196284 0 0 0 24677 530 0 0 20 0 16 0 105803676 10985164800 1820491 33554432000 4194304 4196468 140729966212032 140729966194576 139748405739255 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
/proc/16091/statm: 2681925 1820491 3194 1 0 2644416 0
[pid=16091/tid=16093] ppid=16088 vsize=10727700 memory=7281876 CPUtime=102.22 cores=1,3,5,7
/proc/16091/task/16093/stat : 16093 (java) R 16088 16091 13514 0 -1 4202560 45277 0 0 0 10211 11 0 0 20 0 16 0 105803677 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139748409975248 139748049640511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16094] ppid=16088 vsize=10727700 memory=7281876 CPUtime=32.73 cores=1,3,5,7
/proc/16091/task/16094/stat : 16094 (java) S 16088 16091 13514 0 -1 1077944384 27831 0 0 0 3142 131 0 0 20 0 16 0 105803678 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139748012829456 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16095] ppid=16088 vsize=10727700 memory=3360 CPUtime=32.98 cores=1,3,5,7
/proc/16091/task/16095/stat : 16095 (java) S 16088 16091 13514 0 -1 1077944384 29339 0 0 0 3164 134 0 0 20 0 16 0 105803678 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139748011776912 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16096] ppid=16088 vsize=10727700 memory=7281876 CPUtime=32.77 cores=1,3,5,7
/proc/16091/task/16096/stat : 16096 (java) S 16088 16091 13514 0 -1 1077944384 27210 0 0 0 3149 128 0 0 20 0 16 0 105803678 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139748010724368 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16097] ppid=16088 vsize=10727700 memory=7281876 CPUtime=32.85 cores=1,3,5,7
/proc/16091/task/16097/stat : 16097 (java) S 16088 16091 13514 0 -1 1077944384 28053 0 0 0 3170 115 0 0 20 0 16 0 105803678 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139748009671824 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16098] ppid=16088 vsize=10727700 memory=7281876 CPUtime=13.45 cores=1,3,5,7
/proc/16091/task/16098/stat : 16098 (java) S 16088 16091 13514 0 -1 1077944384 18157 0 0 0 1344 1 0 0 20 0 16 0 105803679 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139747897882608 139748405750402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16099] ppid=16088 vsize=10727700 memory=7281876 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16099/stat : 16099 (java) S 16088 16091 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105803680 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139747896828832 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16100] ppid=16088 vsize=10727700 memory=7281876 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16100/stat : 16100 (java) S 16088 16091 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105803680 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139747895776240 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16101] ppid=16088 vsize=10727700 memory=7281876 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16101/stat : 16101 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105803682 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139747894724816 139748405757851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16102] ppid=16088 vsize=10727700 memory=7281876 CPUtime=2.36 cores=1,3,5,7
/proc/16091/task/16102/stat : 16102 (java) S 16088 16091 13514 0 -1 1077944384 9893 0 0 0 235 1 0 0 20 0 16 0 105803682 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139747893672432 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16103] ppid=16088 vsize=10727700 memory=7281876 CPUtime=1.95 cores=1,3,5,7
/proc/16091/task/16103/stat : 16103 (java) S 16088 16091 13514 0 -1 1077944384 6173 0 0 0 195 0 0 0 20 0 16 0 105803682 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139747892619888 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16104] ppid=16088 vsize=10727700 memory=1172 CPUtime=0.58 cores=1,3,5,7
/proc/16091/task/16104/stat : 16104 (java) S 16088 16091 13514 0 -1 1077944384 2799 0 0 0 57 1 0 0 20 0 16 0 105803682 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139747891567344 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16105] ppid=16088 vsize=10727700 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16105/stat : 16105 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105803682 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139747890515040 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16106] ppid=16088 vsize=10727700 memory=7281876 CPUtime=0.08 cores=1,3,5,7
/proc/16091/task/16106/stat : 16106 (java) S 16088 16091 13514 0 -1 1077944384 170 0 0 0 4 4 0 0 20 0 16 0 105803682 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139747889461552 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16187] ppid=16088 vsize=10727700 memory=7281876 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16187/stat : 16187 (java) S 16088 16091 13514 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 105809444 10985164800 1820491 33554432000 4194304 4196468 140729966212032 139747886310192 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 7281964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+149.17 s]
# the end of solver process 16091 was just reported to runsolver
# cumulated CPU time of all completed processes: user=247.009 s, system=5.34626 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+149.005 s]*
/proc/loadavg: 3.19 3.41 2.96 3/219 16270
/proc/meminfo: memFree=20309116/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=10927392 memory=7282324 CPUtime=252.18 cores=1,3,5,7
/proc/16091/stat : 16091 (java) S 16088 16091 13514 0 -1 1077944320 202597 0 0 0 24688 530 0 0 20 0 17 0 105803676 11189649408 1820581 33554432000 4194304 4196468 140729966212032 140729966194576 139748405739255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
/proc/16091/statm: 2731848 1820581 3196 1 0 2694339 0
[pid=16091/tid=16093] ppid=16088 vsize=10927392 memory=8128038100524242582 CPUtime=102.34 cores=1,3,5,7
/proc/16091/task/16093/stat : 16093 (java) R 16088 16091 13514 0 -1 4202560 51034 0 0 0 10222 12 0 0 20 0 17 0 105803677 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139748409975360 139748050340642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16094] ppid=16088 vsize=10927392 memory=4126316290023845779 CPUtime=32.73 cores=1,3,5,7
/proc/16091/task/16094/stat : 16094 (java) S 16088 16091 13514 0 -1 1077944384 27831 0 0 0 3142 131 0 0 20 0 17 0 105803678 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139748012829456 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16095] ppid=16088 vsize=10927392 memory=279501575616912 CPUtime=32.98 cores=1,3,5,7
/proc/16091/task/16095/stat : 16095 (java) S 16088 16091 13514 0 -1 1077944384 29339 0 0 0 3164 134 0 0 20 0 17 0 105803678 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139748011776912 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16096] ppid=16088 vsize=10927392 memory=279501574863312 CPUtime=32.77 cores=1,3,5,7
/proc/16091/task/16096/stat : 16096 (java) S 16088 16091 13514 0 -1 1077944384 27210 0 0 0 3149 128 0 0 20 0 17 0 105803678 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139748010724368 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16097] ppid=16088 vsize=10927392 memory=139750787731664 CPUtime=32.85 cores=1,3,5,7
/proc/16091/task/16097/stat : 16097 (java) S 16088 16091 13514 0 -1 1077944384 28053 0 0 0 3170 115 0 0 20 0 17 0 105803678 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139748009671824 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16098] ppid=16088 vsize=10927392 memory=1729 CPUtime=13.45 cores=1,3,5,7
/proc/16091/task/16098/stat : 16098 (java) S 16088 16091 13514 0 -1 1077944384 18186 0 0 0 1344 1 0 0 20 0 17 0 105803679 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747897882608 139748405750402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16099] ppid=16088 vsize=10927392 memory=3617 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16099/stat : 16099 (java) S 16088 16091 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 105803680 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747896828832 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16100] ppid=16088 vsize=10927392 memory=1409 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16100/stat : 16100 (java) S 16088 16091 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 105803680 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747895776240 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16101] ppid=16088 vsize=10927392 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16101/stat : 16101 (java) S 16088 16091 13514 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 17 0 105803682 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747894724816 139748405757851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16102] ppid=16088 vsize=10927392 memory=1089 CPUtime=2.36 cores=1,3,5,7
/proc/16091/task/16102/stat : 16102 (java) S 16088 16091 13514 0 -1 1077944384 9893 0 0 0 235 1 0 0 20 0 17 0 105803682 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747893672432 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16103] ppid=16088 vsize=10927392 memory=-3967418655009478193 CPUtime=1.95 cores=1,3,5,7
/proc/16091/task/16103/stat : 16103 (java) S 16088 16091 13514 0 -1 1077944384 6173 0 0 0 195 0 0 0 20 0 17 0 105803682 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747892619888 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16104] ppid=16088 vsize=10927392 memory=6944656592455360604 CPUtime=0.58 cores=1,3,5,7
/proc/16091/task/16104/stat : 16104 (java) S 16088 16091 13514 0 -1 1077944384 2802 0 0 0 57 1 0 0 20 0 17 0 105803682 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747891567344 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16105] ppid=16088 vsize=10927392 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16105/stat : 16105 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105803682 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747890515040 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16106] ppid=16088 vsize=10927392 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/16091/task/16106/stat : 16106 (java) S 16088 16091 13514 0 -1 1077944384 170 0 0 0 4 4 0 0 20 0 17 0 105803682 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747889461552 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16268] ppid=16088 vsize=10927392 memory=4945125699554088323 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16268/stat : 16268 (java) S 16088 16091 13514 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 17 0 105818567 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747885256944 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16269] ppid=16088 vsize=10927392 memory=5793144700427331170 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16269/stat : 16269 (java) S 16088 16091 13514 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 17 0 105818567 11189649408 1820581 33554432000 4194304 4196468 140729966212032 139747884205328 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
Current children cumulated CPU time: 252.18 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 7282324 KiB
[startup+149.11 s]
/proc/loadavg: 3.19 3.41 2.96 3/219 16270
/proc/meminfo: memFree=20309116/32770624 swapFree=67108860/67108860
[pid=16091] ppid=16088 vsize=10927392 memory=7282492 CPUtime=252.28 cores=1,3,5,7
/proc/16091/stat : 16091 (java) S 16088 16091 13514 0 -1 1077944320 202715 0 0 0 24698 530 0 0 20 0 17 0 105803676 11189649408 1820623 33554432000 4194304 4196468 140729966212032 140729966194576 139748405739255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
/proc/16091/statm: 2731848 1820623 3197 1 0 2694339 0
[pid=16091/tid=16093] ppid=16088 vsize=10927392 memory=7281876 CPUtime=102.44 cores=1,3,5,7
/proc/16091/task/16093/stat : 16093 (java) R 16088 16091 13514 0 -1 4202560 51034 0 0 0 10232 12 0 0 20 0 17 0 105803677 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139748409975360 139748050340624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16094] ppid=16088 vsize=10927392 memory=7281876 CPUtime=32.73 cores=1,3,5,7
/proc/16091/task/16094/stat : 16094 (java) S 16088 16091 13514 0 -1 1077944384 27831 0 0 0 3142 131 0 0 20 0 17 0 105803678 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139748012829456 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16095] ppid=16088 vsize=10927392 memory=7281876 CPUtime=32.98 cores=1,3,5,7
/proc/16091/task/16095/stat : 16095 (java) S 16088 16091 13514 0 -1 1077944384 29339 0 0 0 3164 134 0 0 20 0 17 0 105803678 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139748011776912 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16096] ppid=16088 vsize=10927392 memory=7281876 CPUtime=32.77 cores=1,3,5,7
/proc/16091/task/16096/stat : 16096 (java) S 16088 16091 13514 0 -1 1077944384 27210 0 0 0 3149 128 0 0 20 0 17 0 105803678 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139748010724368 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16097] ppid=16088 vsize=10927392 memory=7281876 CPUtime=32.85 cores=1,3,5,7
/proc/16091/task/16097/stat : 16097 (java) S 16088 16091 13514 0 -1 1077944384 28053 0 0 0 3170 115 0 0 20 0 17 0 105803678 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139748009671824 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16098] ppid=16088 vsize=10927392 memory=7281876 CPUtime=13.45 cores=1,3,5,7
/proc/16091/task/16098/stat : 16098 (java) S 16088 16091 13514 0 -1 1077944384 18186 0 0 0 1344 1 0 0 20 0 17 0 105803679 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747897882608 139748405750402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16099] ppid=16088 vsize=10927392 memory=7281876 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16099/stat : 16099 (java) S 16088 16091 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 105803680 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747896828832 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16100] ppid=16088 vsize=10927392 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16100/stat : 16100 (java) S 16088 16091 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 105803680 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747895776240 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16101] ppid=16088 vsize=10927392 memory=7281876 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16101/stat : 16101 (java) S 16088 16091 13514 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 17 0 105803682 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747894724816 139748405757851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16102] ppid=16088 vsize=10927392 memory=7281876 CPUtime=2.36 cores=1,3,5,7
/proc/16091/task/16102/stat : 16102 (java) S 16088 16091 13514 0 -1 1077944384 9902 0 0 0 235 1 0 0 20 0 17 0 105803682 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747893672432 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16103] ppid=16088 vsize=10927392 memory=7281964 CPUtime=1.95 cores=1,3,5,7
/proc/16091/task/16103/stat : 16103 (java) S 16088 16091 13514 0 -1 1077944384 6201 0 0 0 195 0 0 0 20 0 17 0 105803682 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747892619888 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16104] ppid=16088 vsize=10927392 memory=7281876 CPUtime=0.58 cores=1,3,5,7
/proc/16091/task/16104/stat : 16104 (java) S 16088 16091 13514 0 -1 1077944384 2803 0 0 0 57 1 0 0 20 0 17 0 105803682 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747891567344 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16105] ppid=16088 vsize=10927392 memory=7281876 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16105/stat : 16105 (java) S 16088 16091 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105803682 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747890515040 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16106] ppid=16088 vsize=10927392 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/16091/task/16106/stat : 16106 (java) S 16088 16091 13514 0 -1 1077944384 170 0 0 0 4 4 0 0 20 0 17 0 105803682 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747889461552 139748405750402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16268] ppid=16088 vsize=10927392 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16268/stat : 16268 (java) S 16088 16091 13514 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 17 0 105818567 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747885256944 139748405749461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
[pid=16091/tid=16269] ppid=16088 vsize=10927392 memory=15535236834396114 CPUtime=0 cores=1,3,5,7
/proc/16091/task/16269/stat : 16269 (java) R 16088 16091 13514 0 -1 4202560 140 0 0 0 0 0 0 0 20 0 17 0 105818567 11189649408 1820623 33554432000 4194304 4196468 140729966212032 139747884205328 139748043603424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14188544 140729966220406 140729966220558 140729966220558 140729966223311 0
Current children cumulated CPU time: 252.28 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 7282492 KiB
Child status: 143
Real time (s): 149.17
CPU time (s): 252.355
CPU user time (s): 247.009
CPU system time (s): 5.34626
CPU usage (%): 169.173
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 7282492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.009
system time used= 5.34626
maximum resident set size= 7282768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7183
involuntary context switches= 1859
# summary of solver processes directly reported to runsolver:
# pid: 16091
# total CPU time (s): 252.355
# total CPU user time (s): 247.009
# total CPU system time (s): 5.34626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.980208 second user time and 1.44752 second system time
The end