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 (14198 MiB free)
memory of node 1: 16384 MiB (15756 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400694-1568679739/watcher-4400694-1568679739 -o /tmp/evaluation-result-4400694-1568679739/solver-4400694-1568679739 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568673287-15923 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=479243401 HOME/instance-4400694-1568679739.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
Current StackSize limit: 8192 KiB
solver pid=18194, runsolver pid=18191
[startup+0.100119 s]*
/proc/loadavg: 1.27 1.28 1.40 3/220 18251
/proc/meminfo: memFree=30670004/32770624 swapFree=67002404/67108860
[pid=18194] ppid=18191 vsize=9972712 memory=16948 CPUtime=0.08 cores=1,3,5,7
/proc/18194/stat : 18194 (java) S 18191 18194 15891 0 -1 1077944320 4488 13557 0 0 1 0 4 3 20 0 6 0 444222538 10212057088 4237 33554432000 4194304 4196468 140727730353536 140727730336080 139754818109175 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
/proc/18194/statm: 2493178 4237 1935 1 0 2481616 0
[pid=18194/tid=18247] ppid=18191 vsize=9972712 memory=4279135704047322765 CPUtime=0.08 cores=1,3,5,7
/proc/18194/task/18247/stat : 18247 (java) R 18191 18194 15891 0 -1 4202560 2282 13557 0 0 1 0 4 3 20 0 6 0 444222547 10212057088 4237 33554432000 4194304 4196468 140727730353536 139754789945936 139754802189692 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18248] ppid=18191 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18248/stat : 18248 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 6 0 444222548 10212057088 4237 33554432000 4194304 4196468 140727730353536 139754822351760 139754818119381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18249] ppid=18191 vsize=9972712 memory=139717357139584 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18249/stat : 18249 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 6 0 444222548 10212057088 4237 33554432000 4194304 4196468 140727730353536 139754747656976 139754818119381 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18250] ppid=18191 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18250/stat : 18250 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 6 0 444222548 10212057088 4237 33554432000 4194304 4196468 140727730353536 139754390346896 139754818119381 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18251] ppid=18191 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18251/stat : 18251 (java) S 18191 18194 15891 0 -1 1077944384 2 13557 0 0 0 0 4 3 20 0 6 0 444222548 10212057088 4237 33554432000 4194304 4196468 140727730353536 139754389294096 139754818119381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16948 KiB
[startup+0.210093 s]*
/proc/loadavg: 1.27 1.28 1.40 4/229 18260
/proc/meminfo: memFree=30647132/32770624 swapFree=67002404/67108860
[pid=18194] ppid=18191 vsize=10820164 memory=42760 CPUtime=0.26 cores=1,3,5,7
/proc/18194/stat : 18194 (java) S 18191 18194 15891 0 -1 1077944320 7212 13557 0 0 17 2 4 3 20 0 15 0 444222538 11079847936 10690 33554432000 4194304 4196468 140727730353536 140727730336080 139754818109175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
/proc/18194/statm: 2705044 10690 3256 1 0 2667149 0
[pid=18194/tid=18247] ppid=18191 vsize=10820184 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/18194/task/18247/stat : 18247 (java) R 18191 18194 15891 0 -1 4202560 3725 13557 0 0 11 1 4 3 20 0 15 0 444222547 11079868416 10690 33554432000 4194304 4196468 140727730353536 139754789942224 139754672565202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18248] ppid=18191 vsize=10820184 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18248/stat : 18248 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222548 11079868416 10690 33554432000 4194304 4196468 140727730353536 139754822351760 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18249] ppid=18191 vsize=10820184 memory=139717357139584 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18249/stat : 18249 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222548 11079868416 10690 33554432000 4194304 4196468 140727730353536 139754747656976 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18250] ppid=18191 vsize=10820184 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18250/stat : 18250 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222548 11079868416 10690 33554432000 4194304 4196468 140727730353536 139754390346896 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18251] ppid=18191 vsize=10820184 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18251/stat : 18251 (java) S 18191 18194 15891 0 -1 1077944384 2 13557 0 0 0 0 4 3 20 0 15 0 444222548 11079868416 10690 33554432000 4194304 4196468 140727730353536 139754389294096 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18252] ppid=18191 vsize=10820184 memory=139717357139584 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18252/stat : 18252 (java) S 18191 18194 15891 0 -1 1077944384 2 13557 0 0 0 0 4 3 20 0 15 0 444222549 11079868416 10690 33554432000 4194304 4196468 140727730353536 139754344716400 139754818120322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18253] ppid=18191 vsize=10820188 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18253/stat : 18253 (java) S 18191 18194 15891 0 -1 1077944384 13 13557 0 0 0 0 4 3 20 0 15 0 444222550 11079872512 10690 33554432000 4194304 4196468 140727730353536 139753739510560 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18254] ppid=18191 vsize=10820188 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18254/stat : 18254 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222550 11079872512 10690 33554432000 4194304 4196468 140727730353536 139753605293168 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18255] ppid=18191 vsize=10820188 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18255/stat : 18255 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11079872512 10690 33554432000 4194304 4196468 140727730353536 139753365002320 139754818127771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18256] ppid=18191 vsize=10820188 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18194/task/18256/stat : 18256 (java) R 18191 18194 15891 0 -1 4202560 480 13557 0 0 1 0 4 3 20 0 15 0 444222553 11079872512 10690 33554432000 4194304 4196468 140727730353536 139753820252784 139754796127659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18257] ppid=18191 vsize=10820188 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18257/stat : 18257 (java) S 18191 18194 15891 0 -1 1077944384 183 13557 0 0 0 0 4 3 20 0 15 0 444222553 11079872512 10690 33554432000 4194304 4196468 140727730353536 139753819199984 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18258] ppid=18191 vsize=10820196 memory=139717357139584 CPUtime=0.1 cores=1,3,5,7
/proc/18194/task/18258/stat : 18258 (java) S 18191 18194 15891 0 -1 1077944384 597 13557 0 0 3 0 4 3 20 0 15 0 444222553 11079880704 10690 33554432000 4194304 4196468 140727730353536 139753818147696 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18259] ppid=18191 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18259/stat : 18259 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11079880704 10690 33554432000 4194304 4196468 140727730353536 139753331444704 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18260] ppid=18191 vsize=10820196 memory=139717357139584 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18260/stat : 18260 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222553 11079880704 10690 33554432000 4194304 4196468 140727730353536 139753817094576 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 42760 KiB
[startup+0.310563 s]*
/proc/loadavg: 1.27 1.28 1.40 3/229 18260
/proc/meminfo: memFree=30634500/32770624 swapFree=67002404/67108860
[pid=18194] ppid=18191 vsize=10820196 memory=51188 CPUtime=0.39 cores=1,3,5,7
/proc/18194/stat : 18194 (java) S 18191 18194 15891 0 -1 1077944320 10749 13557 0 0 29 3 4 3 20 0 15 0 444222538 11079880704 12797 33554432000 4194304 4196468 140727730353536 140727730336080 139754818109175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
/proc/18194/statm: 2705049 12797 3308 1 0 2667149 0
[pid=18194/tid=18247] ppid=18191 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18194/task/18247/stat : 18247 (java) R 18191 18194 15891 0 -1 4202560 7228 13557 0 0 19 2 4 3 20 0 15 0 444222547 11079880704 12797 33554432000 4194304 4196468 140727730353536 139754789912272 139754802189662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18248] ppid=18191 vsize=10820196 memory=7228928657774891088 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18248/stat : 18248 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222548 11079880704 12797 33554432000 4194304 4196468 140727730353536 139754822351760 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18249] ppid=18191 vsize=10820196 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18249/stat : 18249 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222548 11079880704 12797 33554432000 4194304 4196468 140727730353536 139754747656976 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18250] ppid=18191 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18250/stat : 18250 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222548 11079880704 12797 33554432000 4194304 4196468 140727730353536 139754390346896 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18251] ppid=18191 vsize=10820196 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18251/stat : 18251 (java) S 18191 18194 15891 0 -1 1077944384 2 13557 0 0 0 0 4 3 20 0 15 0 444222548 11079880704 12797 33554432000 4194304 4196468 140727730353536 139754389294096 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18252] ppid=18191 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18252/stat : 18252 (java) S 18191 18194 15891 0 -1 1077944384 2 13557 0 0 0 0 4 3 20 0 15 0 444222549 11079880704 12797 33554432000 4194304 4196468 140727730353536 139754344716400 139754818120322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18253] ppid=18191 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18253/stat : 18253 (java) S 18191 18194 15891 0 -1 1077944384 13 13557 0 0 0 0 4 3 20 0 15 0 444222550 11079880704 12797 33554432000 4194304 4196468 140727730353536 139753739510560 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18254] ppid=18191 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18254/stat : 18254 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222550 11079880704 12797 33554432000 4194304 4196468 140727730353536 139753605293168 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18255] ppid=18191 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18255/stat : 18255 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11079880704 12797 33554432000 4194304 4196468 140727730353536 139753365002320 139754818127771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18256] ppid=18191 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18194/task/18256/stat : 18256 (java) S 18191 18194 15891 0 -1 1077944384 489 13557 0 0 2 0 4 3 20 0 15 0 444222553 11079880704 12797 33554432000 4194304 4196468 140727730353536 139753820252784 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18257] ppid=18191 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18194/task/18257/stat : 18257 (java) S 18191 18194 15891 0 -1 1077944384 184 13557 0 0 1 0 4 3 20 0 15 0 444222553 11079880704 12797 33554432000 4194304 4196468 140727730353536 139753819199984 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18258] ppid=18191 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18194/task/18258/stat : 18258 (java) S 18191 18194 15891 0 -1 1077944384 615 13557 0 0 5 0 4 3 20 0 15 0 444222553 11079880704 12797 33554432000 4194304 4196468 140727730353536 139753818147696 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18259] ppid=18191 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18259/stat : 18259 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11079880704 12797 33554432000 4194304 4196468 140727730353536 139753331444704 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18260] ppid=18191 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18260/stat : 18260 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222553 11079880704 12797 33554432000 4194304 4196468 140727730353536 139753817094576 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51188 KiB
[startup+0.701709 s]
/proc/loadavg: 1.27 1.28 1.40 3/229 18260
/proc/meminfo: memFree=30619364/32770624 swapFree=67002404/67108860
[pid=18194] ppid=18191 vsize=10824364 memory=84556 CPUtime=1.11 cores=1,3,5,7
/proc/18194/stat : 18194 (java) S 18191 18194 15891 0 -1 1077944320 15078 13557 0 0 98 6 4 3 20 0 15 0 444222538 11084148736 21139 33554432000 4194304 4196468 140727730353536 140727730336080 139754818109175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
/proc/18194/statm: 2706091 21139 3512 1 0 2668173 0
[pid=18194/tid=18247] ppid=18191 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18194/task/18247/stat : 18247 (java) R 18191 18194 15891 0 -1 4202560 10334 13557 0 0 55 4 4 3 20 0 15 0 444222547 11084148736 21139 33554432000 4194304 4196468 140727730353536 139754789925168 139754802423164 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18248] ppid=18191 vsize=10824364 memory=827 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18248/stat : 18248 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222548 11084148736 21139 33554432000 4194304 4196468 140727730353536 139754822351760 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18249] ppid=18191 vsize=10824364 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18249/stat : 18249 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222548 11084148736 21139 33554432000 4194304 4196468 140727730353536 139754747656976 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18250] ppid=18191 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18250/stat : 18250 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222548 11084148736 21139 33554432000 4194304 4196468 140727730353536 139754390346896 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18251] ppid=18191 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18251/stat : 18251 (java) S 18191 18194 15891 0 -1 1077944384 2 13557 0 0 0 0 4 3 20 0 15 0 444222548 11084148736 21139 33554432000 4194304 4196468 140727730353536 139754389294096 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18252] ppid=18191 vsize=10824364 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18252/stat : 18252 (java) S 18191 18194 15891 0 -1 1077944384 5 13557 0 0 0 0 4 3 20 0 15 0 444222549 11084148736 21139 33554432000 4194304 4196468 140727730353536 139754344716400 139754818120322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18253] ppid=18191 vsize=10824364 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18253/stat : 18253 (java) S 18191 18194 15891 0 -1 1077944384 13 13557 0 0 0 0 4 3 20 0 15 0 444222550 11084148736 21139 33554432000 4194304 4196468 140727730353536 139753739510560 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18254] ppid=18191 vsize=10824364 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18254/stat : 18254 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222550 11084148736 21139 33554432000 4194304 4196468 140727730353536 139753605293168 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18255] ppid=18191 vsize=10824364 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18255/stat : 18255 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11084148736 21139 33554432000 4194304 4196468 140727730353536 139753365002320 139754818127771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18256] ppid=18191 vsize=10824364 memory=13252 CPUtime=0.19 cores=1,3,5,7
/proc/18194/task/18256/stat : 18256 (java) R 18191 18194 15891 0 -1 4202560 925 13557 0 0 12 0 4 3 20 0 15 0 444222553 11084148736 21139 33554432000 4194304 4196468 140727730353536 139753820252784 139754797356388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18257] ppid=18191 vsize=10824364 memory=15460 CPUtime=0.19 cores=1,3,5,7
/proc/18194/task/18257/stat : 18257 (java) R 18191 18194 15891 0 -1 4202560 742 13557 0 0 12 0 4 3 20 0 15 0 444222553 11084148736 21139 33554432000 4194304 4196468 140727730353536 139753819187296 139754797762848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18258] ppid=18191 vsize=10824364 memory=17668 CPUtime=0.24 cores=1,3,5,7
/proc/18194/task/18258/stat : 18258 (java) S 18191 18194 15891 0 -1 1077944384 841 13557 0 0 17 0 4 3 20 0 15 0 444222553 11084148736 21139 33554432000 4194304 4196468 140727730353536 139753818147696 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18259] ppid=18191 vsize=10824364 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18259/stat : 18259 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11084148736 21139 33554432000 4194304 4196468 140727730353536 139753331444704 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18260] ppid=18191 vsize=10824364 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18260/stat : 18260 (java) S 18191 18194 15891 0 -1 1077944384 1 13557 0 0 0 0 4 3 20 0 15 0 444222553 11084148736 21139 33554432000 4194304 4196468 140727730353536 139753817094576 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84556 KiB
[startup+1.50171 s]
/proc/loadavg: 1.27 1.28 1.40 5/229 18260
/proc/meminfo: memFree=30566252/32770624 swapFree=67002404/67108860
[pid=18194] ppid=18191 vsize=10830584 memory=224012 CPUtime=3.63 cores=1,3,5,7
/proc/18194/stat : 18194 (java) S 18191 18194 15891 0 -1 1077944320 25617 13557 0 0 345 11 4 3 20 0 15 0 444222538 11090518016 56003 33554432000 4194304 4196468 140727730353536 140727730336080 139754818109175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
/proc/18194/statm: 2707646 56003 3585 1 0 2669709 0
[pid=18194/tid=18247] ppid=18191 vsize=10830584 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/18194/task/18247/stat : 18247 (java) R 18191 18194 15891 0 -1 4202560 14490 13557 0 0 129 8 4 3 20 0 15 0 444222547 11090518016 56003 33554432000 4194304 4196468 140727730353536 139754789919808 139754672545539 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18248] ppid=18191 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18248/stat : 18248 (java) S 18191 18194 15891 0 -1 1077944384 364 13557 0 0 0 0 4 3 20 0 15 0 444222548 11090518016 56003 33554432000 4194304 4196468 140727730353536 139754822351760 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18249] ppid=18191 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18249/stat : 18249 (java) S 18191 18194 15891 0 -1 1077944384 4 13557 0 0 0 0 4 3 20 0 15 0 444222548 11090518016 56003 33554432000 4194304 4196468 140727730353536 139754747656976 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18250] ppid=18191 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18250/stat : 18250 (java) S 18191 18194 15891 0 -1 1077944384 12 13557 0 0 0 0 4 3 20 0 15 0 444222548 11090518016 56003 33554432000 4194304 4196468 140727730353536 139754390346896 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18251] ppid=18191 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18251/stat : 18251 (java) S 18191 18194 15891 0 -1 1077944384 109 13557 0 0 0 0 4 3 20 0 15 0 444222548 11090518016 56003 33554432000 4194304 4196468 140727730353536 139754389294096 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18252] ppid=18191 vsize=10830584 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18252/stat : 18252 (java) S 18191 18194 15891 0 -1 1077944384 100 13557 0 0 0 0 4 3 20 0 15 0 444222549 11090518016 56003 33554432000 4194304 4196468 140727730353536 139754344716400 139754818120322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18253] ppid=18191 vsize=10830584 memory=279434464667904 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18253/stat : 18253 (java) S 18191 18194 15891 0 -1 1077944384 13 13557 0 0 0 0 4 3 20 0 15 0 444222550 11090518016 56003 33554432000 4194304 4196468 140727730353536 139753739510560 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18254] ppid=18191 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18254/stat : 18254 (java) S 18191 18194 15891 0 -1 1077944384 2 13557 0 0 0 0 4 3 20 0 15 0 444222550 11090518016 56003 33554432000 4194304 4196468 140727730353536 139753605293168 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18255] ppid=18191 vsize=10830584 memory=1220 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18255/stat : 18255 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11090518016 56003 33554432000 4194304 4196468 140727730353536 139753365002320 139754818127771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18256] ppid=18191 vsize=10830584 memory=10600 CPUtime=0.89 cores=1,3,5,7
/proc/18194/task/18256/stat : 18256 (java) R 18191 18194 15891 0 -1 4202560 3060 13557 0 0 82 0 4 3 20 0 15 0 444222553 11090518016 56003 33554432000 4194304 4196468 140727730353536 139753820252784 139754799653393 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18257] ppid=18191 vsize=10830584 memory=1740 CPUtime=0.92 cores=1,3,5,7
/proc/18194/task/18257/stat : 18257 (java) R 18191 18194 15891 0 -1 4202560 3103 13557 0 0 85 0 4 3 20 0 15 0 444222553 11090518016 56003 33554432000 4194304 4196468 140727730353536 139753819181000 139754799653402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18258] ppid=18191 vsize=10830584 memory=5992 CPUtime=0.5 cores=1,3,5,7
/proc/18194/task/18258/stat : 18258 (java) S 18191 18194 15891 0 -1 1077944384 2146 13557 0 0 43 0 4 3 20 0 15 0 444222553 11090518016 56003 33554432000 4194304 4196468 140727730353536 139753818147696 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18259] ppid=18191 vsize=10830584 memory=636 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18259/stat : 18259 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11090518016 56003 33554432000 4194304 4196468 140727730353536 139753331444704 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18260] ppid=18191 vsize=10830584 memory=2884 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18260/stat : 18260 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11090518016 56003 33554432000 4194304 4196468 140727730353536 139753817094576 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
Current children cumulated CPU time: 3.63 s
Current children cumulated vsize: 10830584 KiB
################
# More data... #
################
/proc/18194/task/18247/stat : 18247 (java) R 18191 18194 15891 0 -1 4202560 80660 13557 0 0 235851 62 4 3 20 0 15 0 444222547 11107315712 506117 33554432000 4194304 4196468 140727730353536 139754789945040 139754440777760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18248] ppid=18191 vsize=10846988 memory=2024468 CPUtime=11.67 cores=1,3,5,7
/proc/18194/task/18248/stat : 18248 (java) S 18191 18194 15891 0 -1 1077944384 33769 13557 0 0 1108 52 4 3 20 0 15 0 444222548 11107315712 506117 33554432000 4194304 4196468 140727730353536 139754822351760 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18249] ppid=18191 vsize=10846988 memory=2024468 CPUtime=11.63 cores=1,3,5,7
/proc/18194/task/18249/stat : 18249 (java) S 18191 18194 15891 0 -1 1077944384 17700 13557 0 0 1098 58 4 3 20 0 15 0 444222548 11107315712 506117 33554432000 4194304 4196468 140727730353536 139754747656976 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18250] ppid=18191 vsize=10846988 memory=2024468 CPUtime=11.62 cores=1,3,5,7
/proc/18194/task/18250/stat : 18250 (java) S 18191 18194 15891 0 -1 1077944384 26900 13557 0 0 1097 58 4 3 20 0 15 0 444222548 11107315712 506117 33554432000 4194304 4196468 140727730353536 139754390346896 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18251] ppid=18191 vsize=10846988 memory=7 CPUtime=11.59 cores=1,3,5,7
/proc/18194/task/18251/stat : 18251 (java) S 18191 18194 15891 0 -1 1077944384 22612 13557 0 0 1096 56 4 3 20 0 15 0 444222548 11107315712 506117 33554432000 4194304 4196468 140727730353536 139754389294096 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18252] ppid=18191 vsize=10846988 memory=2024468 CPUtime=9.78 cores=1,3,5,7
/proc/18194/task/18252/stat : 18252 (java) S 18191 18194 15891 0 -1 1077944384 23372 13557 0 0 920 51 4 3 20 0 15 0 444222549 11107315712 506117 33554432000 4194304 4196468 140727730353536 139754344716400 139754818120322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18253] ppid=18191 vsize=10846988 memory=2024468 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18253/stat : 18253 (java) S 18191 18194 15891 0 -1 1077944384 27 13557 0 0 0 0 4 3 20 0 15 0 444222550 11107315712 506117 33554432000 4194304 4196468 140727730353536 139753739510624 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18254] ppid=18191 vsize=10846988 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18254/stat : 18254 (java) S 18191 18194 15891 0 -1 1077944384 13 13557 0 0 0 0 4 3 20 0 15 0 444222550 11107315712 506117 33554432000 4194304 4196468 140727730353536 139753605293184 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18255] ppid=18191 vsize=10846988 memory=2024468 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18255/stat : 18255 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11107315712 506117 33554432000 4194304 4196468 140727730353536 139753365002320 139754818127771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18256] ppid=18191 vsize=10846988 memory=2024468 CPUtime=7.92 cores=1,3,5,7
/proc/18194/task/18256/stat : 18256 (java) S 18191 18194 15891 0 -1 1077944384 21128 13557 0 0 783 2 4 3 20 0 15 0 444222553 11107315712 506117 33554432000 4194304 4196468 140727730353536 139753820252784 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18257] ppid=18191 vsize=10846988 memory=6791534058613427641 CPUtime=8.14 cores=1,3,5,7
/proc/18194/task/18257/stat : 18257 (java) S 18191 18194 15891 0 -1 1077944384 18419 13557 0 0 804 3 4 3 20 0 15 0 444222553 11107315712 506117 33554432000 4194304 4196468 140727730353536 139753819199984 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18258] ppid=18191 vsize=10846988 memory=500 CPUtime=2.44 cores=1,3,5,7
/proc/18194/task/18258/stat : 18258 (java) S 18191 18194 15891 0 -1 1077944384 11178 13557 0 0 234 3 4 3 20 0 15 0 444222553 11107315712 506117 33554432000 4194304 4196468 140727730353536 139753818147696 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18259] ppid=18191 vsize=10846988 memory=239433 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18259/stat : 18259 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11107315712 506117 33554432000 4194304 4196468 140727730353536 139753331444704 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18260] ppid=18191 vsize=10846988 memory=231965 CPUtime=1.43 cores=1,3,5,7
/proc/18194/task/18260/stat : 18260 (java) S 18191 18194 15891 0 -1 1077944384 1318 13557 0 0 65 71 4 3 20 0 15 0 444222553 11107315712 506117 33554432000 4194304 4196468 140727730353536 139753817094576 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
Current children cumulated CPU time: 2434.93 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2024468 KiB
[startup+2442.3 s]
/proc/loadavg: 1.25 1.35 1.39 3/229 18640
/proc/meminfo: memFree=28884420/32770624 swapFree=67002404/67108860
[pid=18194] ppid=18191 vsize=10846988 memory=2024496 CPUtime=2495.84 cores=1,3,5,7
/proc/18194/stat : 18194 (java) S 18191 18194 15891 0 -1 1077944320 261203 13557 0 0 249203 374 4 3 20 0 15 0 444222538 11107315712 506124 33554432000 4194304 4196468 140727730353536 140727730336080 139754818109175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
/proc/18194/statm: 2711747 506124 3640 1 0 2673805 0
[pid=18194/tid=18247] ppid=18191 vsize=10846988 memory=2024496 CPUtime=2418.58 cores=1,3,5,7
/proc/18194/task/18247/stat : 18247 (java) R 18191 18194 15891 0 -1 4202560 81555 13557 0 0 241788 63 4 3 20 0 15 0 444222547 11107315712 506124 33554432000 4194304 4196468 140727730353536 139754789945120 139754440111330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18248] ppid=18191 vsize=10846988 memory=2024484 CPUtime=11.98 cores=1,3,5,7
/proc/18194/task/18248/stat : 18248 (java) S 18191 18194 15891 0 -1 1077944384 33867 13557 0 0 1137 54 4 3 20 0 15 0 444222548 11107315712 506124 33554432000 4194304 4196468 140727730353536 139754822351760 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18249] ppid=18191 vsize=10846988 memory=2024492 CPUtime=11.94 cores=1,3,5,7
/proc/18194/task/18249/stat : 18249 (java) S 18191 18194 15891 0 -1 1077944384 18065 13557 0 0 1127 60 4 3 20 0 15 0 444222548 11107315712 506124 33554432000 4194304 4196468 140727730353536 139754747656976 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18250] ppid=18191 vsize=10846988 memory=2024492 CPUtime=11.93 cores=1,3,5,7
/proc/18194/task/18250/stat : 18250 (java) S 18191 18194 15891 0 -1 1077944384 27018 13557 0 0 1126 60 4 3 20 0 15 0 444222548 11107315712 506124 33554432000 4194304 4196468 140727730353536 139754390346896 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18251] ppid=18191 vsize=10846988 memory=2024496 CPUtime=11.9 cores=1,3,5,7
/proc/18194/task/18251/stat : 18251 (java) S 18191 18194 15891 0 -1 1077944384 22755 13557 0 0 1126 57 4 3 20 0 15 0 444222548 11107315712 506124 33554432000 4194304 4196468 140727730353536 139754389294096 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18252] ppid=18191 vsize=10846988 memory=2024496 CPUtime=10.04 cores=1,3,5,7
/proc/18194/task/18252/stat : 18252 (java) S 18191 18194 15891 0 -1 1077944384 23616 13557 0 0 945 52 4 3 20 0 15 0 444222549 11107315712 506124 33554432000 4194304 4196468 140727730353536 139754344716400 139754818120322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18253] ppid=18191 vsize=10846988 memory=2024496 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18253/stat : 18253 (java) S 18191 18194 15891 0 -1 1077944384 27 13557 0 0 0 0 4 3 20 0 15 0 444222550 11107315712 506124 33554432000 4194304 4196468 140727730353536 139753739510624 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18254] ppid=18191 vsize=10846988 memory=2024496 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18254/stat : 18254 (java) S 18191 18194 15891 0 -1 1077944384 13 13557 0 0 0 0 4 3 20 0 15 0 444222550 11107315712 506124 33554432000 4194304 4196468 140727730353536 139753605293184 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18255] ppid=18191 vsize=10846988 memory=2024496 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18255/stat : 18255 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11107315712 506124 33554432000 4194304 4196468 140727730353536 139753365002320 139754818127771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18256] ppid=18191 vsize=10846988 memory=2024496 CPUtime=7.92 cores=1,3,5,7
/proc/18194/task/18256/stat : 18256 (java) S 18191 18194 15891 0 -1 1077944384 21133 13557 0 0 783 2 4 3 20 0 15 0 444222553 11107315712 506124 33554432000 4194304 4196468 140727730353536 139753820252784 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18257] ppid=18191 vsize=10846988 memory=2024492 CPUtime=8.14 cores=1,3,5,7
/proc/18194/task/18257/stat : 18257 (java) S 18191 18194 15891 0 -1 1077944384 18423 13557 0 0 804 3 4 3 20 0 15 0 444222553 11107315712 506124 33554432000 4194304 4196468 140727730353536 139753819199984 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18258] ppid=18191 vsize=10846988 memory=2024496 CPUtime=2.44 cores=1,3,5,7
/proc/18194/task/18258/stat : 18258 (java) S 18191 18194 15891 0 -1 1077944384 11182 13557 0 0 234 3 4 3 20 0 15 0 444222553 11107315712 506124 33554432000 4194304 4196468 140727730353536 139753818147696 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18259] ppid=18191 vsize=10846988 memory=2024496 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18259/stat : 18259 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11107315712 506124 33554432000 4194304 4196468 140727730353536 139753331444704 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18260] ppid=18191 vsize=10846988 memory=2024496 CPUtime=1.47 cores=1,3,5,7
/proc/18194/task/18260/stat : 18260 (java) S 18191 18194 15891 0 -1 1077944384 1338 13557 0 0 67 73 4 3 20 0 15 0 444222553 11107315712 506124 33554432000 4194304 4196468 140727730353536 139753817094576 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
Current children cumulated CPU time: 2495.84 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2024496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.11 s]
/proc/loadavg: 1.20 1.34 1.39 3/229 18640
/proc/meminfo: memFree=28884504/32770624 swapFree=67002404/67108860
[pid=18194] ppid=18191 vsize=10846988 memory=2024504 CPUtime=2520.04 cores=1,3,5,7
/proc/18194/stat : 18194 (java) S 18191 18194 15891 0 -1 1077944320 261966 13557 0 0 251620 377 4 3 20 0 15 0 444222538 11107315712 506126 33554432000 4194304 4196468 140727730353536 140727730336080 139754818109175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
/proc/18194/statm: 2711747 506126 3640 1 0 2673805 0
[pid=18194/tid=18247] ppid=18191 vsize=10846988 memory=251915 CPUtime=2442.13 cores=1,3,5,7
/proc/18194/task/18247/stat : 18247 (java) R 18191 18194 15891 0 -1 4202560 81891 13557 0 0 244142 64 4 3 20 0 15 0 444222547 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754789945040 139754440777760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18248] ppid=18191 vsize=10846988 memory=2024504 CPUtime=12.11 cores=1,3,5,7
/proc/18194/task/18248/stat : 18248 (java) S 18191 18194 15891 0 -1 1077944384 34008 13557 0 0 1150 54 4 3 20 0 15 0 444222548 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754822351760 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18249] ppid=18191 vsize=10846988 memory=2024504 CPUtime=12.07 cores=1,3,5,7
/proc/18194/task/18249/stat : 18249 (java) S 18191 18194 15891 0 -1 1077944384 18087 13557 0 0 1140 60 4 3 20 0 15 0 444222548 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754747656976 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18250] ppid=18191 vsize=10846988 memory=2024504 CPUtime=12.06 cores=1,3,5,7
/proc/18194/task/18250/stat : 18250 (java) S 18191 18194 15891 0 -1 1077944384 27075 13557 0 0 1139 60 4 3 20 0 15 0 444222548 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754390346896 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18251] ppid=18191 vsize=10846988 memory=932 CPUtime=12.04 cores=1,3,5,7
/proc/18194/task/18251/stat : 18251 (java) S 18191 18194 15891 0 -1 1077944384 22763 13557 0 0 1139 58 4 3 20 0 15 0 444222548 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754389294096 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18252] ppid=18191 vsize=10846988 memory=2024504 CPUtime=10.16 cores=1,3,5,7
/proc/18194/task/18252/stat : 18252 (java) S 18191 18194 15891 0 -1 1077944384 23802 13557 0 0 956 53 4 3 20 0 15 0 444222549 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754344716400 139754818120322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18253] ppid=18191 vsize=10846988 memory=2024504 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18253/stat : 18253 (java) S 18191 18194 15891 0 -1 1077944384 27 13557 0 0 0 0 4 3 20 0 15 0 444222550 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753739510624 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18254] ppid=18191 vsize=10846988 memory=2024504 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18254/stat : 18254 (java) S 18191 18194 15891 0 -1 1077944384 13 13557 0 0 0 0 4 3 20 0 15 0 444222550 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753605293184 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18255] ppid=18191 vsize=10846988 memory=2024504 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18255/stat : 18255 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753365002320 139754818127771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18256] ppid=18191 vsize=10846988 memory=140 CPUtime=7.92 cores=1,3,5,7
/proc/18194/task/18256/stat : 18256 (java) S 18191 18194 15891 0 -1 1077944384 21133 13557 0 0 783 2 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753820252784 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18257] ppid=18191 vsize=10846988 memory=56 CPUtime=8.14 cores=1,3,5,7
/proc/18194/task/18257/stat : 18257 (java) S 18191 18194 15891 0 -1 1077944384 18423 13557 0 0 804 3 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753819199984 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18258] ppid=18191 vsize=10846988 memory=2024504 CPUtime=2.44 cores=1,3,5,7
/proc/18194/task/18258/stat : 18258 (java) S 18191 18194 15891 0 -1 1077944384 11182 13557 0 0 234 3 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753818147696 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18259] ppid=18191 vsize=10846988 memory=2024504 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18259/stat : 18259 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753331444704 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18260] ppid=18191 vsize=10846988 memory=47344 CPUtime=1.48 cores=1,3,5,7
/proc/18194/task/18260/stat : 18260 (java) S 18191 18194 15891 0 -1 1077944384 1351 13557 0 0 67 74 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753817094576 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2024504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.15 s]
# the end of solver process 18194 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.28 s, system=3.82568 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.11 s]
/proc/loadavg: 1.20 1.34 1.39 3/229 18640
/proc/meminfo: memFree=28884504/32770624 swapFree=67002404/67108860
[pid=18194] ppid=18191 vsize=10846988 memory=2024504 CPUtime=2520.04 cores=1,3,5,7
/proc/18194/stat : 18194 (java) S 18191 18194 15891 0 -1 1077944320 261966 13557 0 0 251620 377 4 3 20 0 15 0 444222538 11107315712 506126 33554432000 4194304 4196468 140727730353536 140727730336080 139754818109175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
/proc/18194/statm: 2711747 506126 3640 1 0 2673805 0
[pid=18194/tid=18247] ppid=18191 vsize=10846988 memory=251915 CPUtime=2442.13 cores=1,3,5,7
/proc/18194/task/18247/stat : 18247 (java) R 18191 18194 15891 0 -1 4202560 81891 13557 0 0 244142 64 4 3 20 0 15 0 444222547 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754789945040 139754440777760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18248] ppid=18191 vsize=10846988 memory=2024504 CPUtime=12.11 cores=1,3,5,7
/proc/18194/task/18248/stat : 18248 (java) S 18191 18194 15891 0 -1 1077944384 34008 13557 0 0 1150 54 4 3 20 0 15 0 444222548 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754822351760 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18249] ppid=18191 vsize=10846988 memory=2024504 CPUtime=12.07 cores=1,3,5,7
/proc/18194/task/18249/stat : 18249 (java) S 18191 18194 15891 0 -1 1077944384 18087 13557 0 0 1140 60 4 3 20 0 15 0 444222548 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754747656976 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18250] ppid=18191 vsize=10846988 memory=2024504 CPUtime=12.06 cores=1,3,5,7
/proc/18194/task/18250/stat : 18250 (java) S 18191 18194 15891 0 -1 1077944384 27075 13557 0 0 1139 60 4 3 20 0 15 0 444222548 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754390346896 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18251] ppid=18191 vsize=10846988 memory=932 CPUtime=12.04 cores=1,3,5,7
/proc/18194/task/18251/stat : 18251 (java) S 18191 18194 15891 0 -1 1077944384 22763 13557 0 0 1139 58 4 3 20 0 15 0 444222548 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754389294096 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18252] ppid=18191 vsize=10846988 memory=2024504 CPUtime=10.16 cores=1,3,5,7
/proc/18194/task/18252/stat : 18252 (java) S 18191 18194 15891 0 -1 1077944384 23802 13557 0 0 956 53 4 3 20 0 15 0 444222549 11107315712 506126 33554432000 4194304 4196468 140727730353536 139754344716400 139754818120322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18253] ppid=18191 vsize=10846988 memory=2024504 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18253/stat : 18253 (java) S 18191 18194 15891 0 -1 1077944384 27 13557 0 0 0 0 4 3 20 0 15 0 444222550 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753739510624 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18254] ppid=18191 vsize=10846988 memory=2024504 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18254/stat : 18254 (java) S 18191 18194 15891 0 -1 1077944384 13 13557 0 0 0 0 4 3 20 0 15 0 444222550 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753605293184 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18255] ppid=18191 vsize=10846988 memory=2024504 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18255/stat : 18255 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753365002320 139754818127771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18256] ppid=18191 vsize=10846988 memory=140 CPUtime=7.92 cores=1,3,5,7
/proc/18194/task/18256/stat : 18256 (java) S 18191 18194 15891 0 -1 1077944384 21133 13557 0 0 783 2 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753820252784 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18257] ppid=18191 vsize=10846988 memory=56 CPUtime=8.14 cores=1,3,5,7
/proc/18194/task/18257/stat : 18257 (java) S 18191 18194 15891 0 -1 1077944384 18423 13557 0 0 804 3 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753819199984 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18258] ppid=18191 vsize=10846988 memory=2024504 CPUtime=2.44 cores=1,3,5,7
/proc/18194/task/18258/stat : 18258 (java) S 18191 18194 15891 0 -1 1077944384 11182 13557 0 0 234 3 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753818147696 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18259] ppid=18191 vsize=10846988 memory=2024504 CPUtime=0.07 cores=1,3,5,7
/proc/18194/task/18259/stat : 18259 (java) S 18191 18194 15891 0 -1 1077944384 3 13557 0 0 0 0 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753331444704 139754818119381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
[pid=18194/tid=18260] ppid=18191 vsize=10846988 memory=47344 CPUtime=1.48 cores=1,3,5,7
/proc/18194/task/18260/stat : 18260 (java) S 18191 18194 15891 0 -1 1077944384 1351 13557 0 0 67 74 4 3 20 0 15 0 444222553 11107315712 506126 33554432000 4194304 4196468 140727730353536 139753817094576 139754818120322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12038144 140727730354928 140727730357445 140727730357445 140727730360271 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2024504 KiB
Child status: 143
Real time (s): 2466.15
CPU time (s): 2520.1
CPU user time (s): 2516.28
CPU system time (s): 3.82568
CPU usage (%): 102.188
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2086976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.82568
maximum resident set size= 2089024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 261422
involuntary context switches= 7488
# summary of solver processes directly reported to runsolver:
# pid: 18194
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.28
# total CPU system time (s): 3.82568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8437 second user time and 23.8678 second system time
The end