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 (9639 MiB free)
memory of node 1: 16384 MiB (9505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302681-1532898436/watcher-4302681-1532898436 -o /tmp/evaluation-result-4302681-1532898436/solver-4302681-1532898436 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532895438-9921 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1316278034 -superng HOME/instance-4302681-1532898436.xml
running on 4 cores: 0,2,4,6
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
solver pid=14486, runsolver pid=14483
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 1.72 1.82 1.80 3/206 14543
/proc/meminfo: memFree=19598272/32770624 swapFree=67108860/67108860
[pid=14486] ppid=14483 vsize=10005480 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/14486/stat : 14486 (java) S 14483 14486 8396 0 -1 1077944320 4247 13209 0 0 1 0 5 3 20 0 6 0 107406795 10245611520 4582 33554432000 4194304 4196468 140731610537520 140731610520064 140469133434615 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
/proc/14486/statm: 2501370 4582 1931 1 0 2489808 0
[pid=14486/tid=14539] ppid=14483 vsize=10005480 memory=4279135704047190159 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14539/stat : 14539 (java) R 14483 14486 8396 0 -1 4202560 2055 13209 0 0 0 0 5 3 20 0 6 0 107406805 10245611520 4582 33554432000 4194304 4196468 140731610537520 140469105271376 140469114828346 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14540] ppid=14483 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14540/stat : 14540 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 6 0 107406805 10245611520 4582 33554432000 4194304 4196468 140731610537520 140469137676688 140469133444821 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14541] ppid=14483 vsize=10005480 memory=140205028578944 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14541/stat : 14541 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 6 0 107406805 10245611520 4582 33554432000 4194304 4196468 140731610537520 140468992395536 140469133444821 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14542] ppid=14483 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14542/stat : 14542 (java) S 14483 14486 8396 0 -1 1077944384 2 13209 0 0 0 0 5 3 20 0 6 0 107406805 10245611520 4582 33554432000 4194304 4196468 140731610537520 140468991343248 140469133444821 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14543] ppid=14483 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14543/stat : 14543 (java) S 14483 14486 8396 0 -1 1077944384 2 13209 0 0 0 0 5 3 20 0 6 0 107406805 10245611520 4582 33554432000 4194304 4196468 140731610537520 140468990290448 140469133444821 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.21003 s]*
/proc/loadavg: 1.72 1.82 1.80 4/215 14552
/proc/meminfo: memFree=19573560/32770624 swapFree=67108860/67108860
[pid=14486] ppid=14483 vsize=10982744 memory=46292 CPUtime=0.26 cores=0,2,4,6
/proc/14486/stat : 14486 (java) S 14483 14486 8396 0 -1 1077944320 7796 13209 0 0 16 2 5 3 20 0 15 0 107406795 11246329856 11573 33554432000 4194304 4196468 140731610537520 140731610520064 140469133434615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
/proc/14486/statm: 2745686 11573 2957 1 0 2708109 0
[pid=14486/tid=14539] ppid=14483 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/14486/task/14539/stat : 14539 (java) R 14483 14486 8396 0 -1 4202560 4362 13209 0 0 10 1 5 3 20 0 15 0 107406805 11246329856 11573 33554432000 4194304 4196468 140731610537520 140469105227040 140469117515102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14540] ppid=14483 vsize=10982744 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14540/stat : 14540 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246329856 11573 33554432000 4194304 4196468 140731610537520 140469137676688 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14541] ppid=14483 vsize=10982744 memory=140205028578944 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14541/stat : 14541 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246329856 11573 33554432000 4194304 4196468 140731610537520 140468992395536 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14542] ppid=14483 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14542/stat : 14542 (java) S 14483 14486 8396 0 -1 1077944384 2 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246329856 11573 33554432000 4194304 4196468 140731610537520 140468991343248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14543] ppid=14483 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14543/stat : 14543 (java) S 14483 14486 8396 0 -1 1077944384 2 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246329856 11573 33554432000 4194304 4196468 140731610537520 140468990290448 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14544] ppid=14483 vsize=10982744 memory=140205028578944 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14544/stat : 14544 (java) S 14483 14486 8396 0 -1 1077944384 2 13209 0 0 0 0 5 3 20 0 15 0 107406807 11246329856 11573 33554432000 4194304 4196468 140731610537520 140468558953072 140469133445762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14545] ppid=14483 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14545/stat : 14545 (java) S 14483 14486 8396 0 -1 1077944384 13 13209 0 0 0 0 5 3 20 0 15 0 107406807 11246329856 11573 33554432000 4194304 4196468 140731610537520 140467925673248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14546] ppid=14483 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14546/stat : 14546 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406807 11246329856 11573 33554432000 4194304 4196468 140731610537520 140467777824368 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14547] ppid=14483 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14547/stat : 14547 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11246329856 11573 33554432000 4194304 4196468 140731610537520 140467470424656 140469133453211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14548] ppid=14483 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14486/task/14548/stat : 14548 (java) S 14483 14486 8396 0 -1 1077944384 413 13209 0 0 1 0 5 3 20 0 15 0 107406810 11246329856 11573 33554432000 4194304 4196468 140731610537520 140468557899888 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14549] ppid=14483 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/14486/task/14549/stat : 14549 (java) S 14483 14486 8396 0 -1 1077944384 187 13209 0 0 1 0 5 3 20 0 15 0 107406810 11246329856 11573 33554432000 4194304 4196468 140731610537520 140468556847088 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14550] ppid=14483 vsize=10982744 memory=140205028578944 CPUtime=0.11 cores=0,2,4,6
/proc/14486/task/14550/stat : 14550 (java) S 14483 14486 8396 0 -1 1077944384 617 13209 0 0 3 0 5 3 20 0 15 0 107406810 11246329856 11573 33554432000 4194304 4196468 140731610537520 140468555794800 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14551] ppid=14483 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14551/stat : 14551 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11246329856 11573 33554432000 4194304 4196468 140731610537520 140467039627744 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14552] ppid=14483 vsize=10982744 memory=140205028578944 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14552/stat : 14552 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406810 11246329856 11573 33554432000 4194304 4196468 140731610537520 140468554742704 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46292 KiB
[startup+0.310341 s]*
/proc/loadavg: 1.72 1.82 1.80 3/215 14552
/proc/meminfo: memFree=19561948/32770624 swapFree=67108860/67108860
[pid=14486] ppid=14483 vsize=10983192 memory=57008 CPUtime=0.39 cores=0,2,4,6
/proc/14486/stat : 14486 (java) S 14483 14486 8396 0 -1 1077944320 10301 13209 0 0 28 3 5 3 20 0 15 0 107406795 11246788608 14252 33554432000 4194304 4196468 140731610537520 140731610520064 140469133434615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
/proc/14486/statm: 2745798 14252 3076 1 0 2708109 0
[pid=14486/tid=14539] ppid=14483 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/14486/task/14539/stat : 14539 (java) R 14483 14486 8396 0 -1 4202560 6857 13209 0 0 19 2 5 3 20 0 15 0 107406805 11246788608 14252 33554432000 4194304 4196468 140731610537520 140469105246624 140469117515102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14540] ppid=14483 vsize=10983192 memory=6081918200710189137 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14540/stat : 14540 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246788608 14252 33554432000 4194304 4196468 140731610537520 140469137676688 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14541] ppid=14483 vsize=10983192 memory=2072 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14541/stat : 14541 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246788608 14252 33554432000 4194304 4196468 140731610537520 140468992395536 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14542] ppid=14483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14542/stat : 14542 (java) S 14483 14486 8396 0 -1 1077944384 2 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246788608 14252 33554432000 4194304 4196468 140731610537520 140468991343248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14543] ppid=14483 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14543/stat : 14543 (java) S 14483 14486 8396 0 -1 1077944384 2 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246788608 14252 33554432000 4194304 4196468 140731610537520 140468990290448 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14544] ppid=14483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14544/stat : 14544 (java) S 14483 14486 8396 0 -1 1077944384 2 13209 0 0 0 0 5 3 20 0 15 0 107406807 11246788608 14252 33554432000 4194304 4196468 140731610537520 140468558953072 140469133445762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14545] ppid=14483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14545/stat : 14545 (java) S 14483 14486 8396 0 -1 1077944384 13 13209 0 0 0 0 5 3 20 0 15 0 107406807 11246788608 14252 33554432000 4194304 4196468 140731610537520 140467925673248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14546] ppid=14483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14546/stat : 14546 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406807 11246788608 14252 33554432000 4194304 4196468 140731610537520 140467777824368 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14547] ppid=14483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14547/stat : 14547 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11246788608 14252 33554432000 4194304 4196468 140731610537520 140467470424656 140469133453211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14548] ppid=14483 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14486/task/14548/stat : 14548 (java) R 14483 14486 8396 0 -1 1077944384 415 13209 0 0 1 0 5 3 20 0 15 0 107406810 11246788608 14252 33554432000 4194304 4196468 140731610537520 140468557899888 140469133445762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14549] ppid=14483 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14486/task/14549/stat : 14549 (java) S 14483 14486 8396 0 -1 1077944384 187 13209 0 0 1 0 5 3 20 0 15 0 107406810 11246788608 14252 33554432000 4194304 4196468 140731610537520 140468556847088 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14550] ppid=14483 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14486/task/14550/stat : 14550 (java) R 14483 14486 8396 0 -1 1077944384 623 13209 0 0 4 0 5 3 20 0 15 0 107406810 11246788608 14252 33554432000 4194304 4196468 140731610537520 140468555794800 140469133445762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14551] ppid=14483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14551/stat : 14551 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11246788608 14252 33554432000 4194304 4196468 140731610537520 140467039627744 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14552] ppid=14483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14552/stat : 14552 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406810 11246788608 14252 33554432000 4194304 4196468 140731610537520 140468554742704 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57008 KiB
[startup+0.700676 s]
/proc/loadavg: 1.72 1.82 1.80 3/215 14552
/proc/meminfo: memFree=19551348/32770624 swapFree=67108860/67108860
[pid=14486] ppid=14483 vsize=10983192 memory=88896 CPUtime=0.99 cores=0,2,4,6
/proc/14486/stat : 14486 (java) S 14483 14486 8396 0 -1 1077944320 16393 13209 0 0 87 4 5 3 20 0 15 0 107406795 11246788608 22224 33554432000 4194304 4196468 140731610537520 140731610520064 140469133434615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
/proc/14486/statm: 2745798 22224 3238 1 0 2708109 0
[pid=14486/tid=14539] ppid=14483 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14486/task/14539/stat : 14539 (java) R 14483 14486 8396 0 -1 4202560 11859 13209 0 0 56 3 5 3 20 0 15 0 107406805 11246788608 22224 33554432000 4194304 4196468 140731610537520 140469105255440 140469117515102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14540] ppid=14483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14540/stat : 14540 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246788608 22224 33554432000 4194304 4196468 140731610537520 140469137676688 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14541] ppid=14483 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14541/stat : 14541 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246788608 22224 33554432000 4194304 4196468 140731610537520 140468992395536 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14542] ppid=14483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14542/stat : 14542 (java) S 14483 14486 8396 0 -1 1077944384 2 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246788608 22224 33554432000 4194304 4196468 140731610537520 140468991343248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14543] ppid=14483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14543/stat : 14543 (java) S 14483 14486 8396 0 -1 1077944384 2 13209 0 0 0 0 5 3 20 0 15 0 107406805 11246788608 22224 33554432000 4194304 4196468 140731610537520 140468990290448 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14544] ppid=14483 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14544/stat : 14544 (java) S 14483 14486 8396 0 -1 1077944384 5 13209 0 0 0 0 5 3 20 0 15 0 107406807 11246788608 22224 33554432000 4194304 4196468 140731610537520 140468558953072 140469133445762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14545] ppid=14483 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14545/stat : 14545 (java) S 14483 14486 8396 0 -1 1077944384 13 13209 0 0 0 0 5 3 20 0 15 0 107406807 11246788608 22224 33554432000 4194304 4196468 140731610537520 140467925673248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14546] ppid=14483 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14546/stat : 14546 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406807 11246788608 22224 33554432000 4194304 4196468 140731610537520 140467777824368 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14547] ppid=14483 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14547/stat : 14547 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11246788608 22224 33554432000 4194304 4196468 140731610537520 140467470424656 140469133453211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14548] ppid=14483 vsize=10983192 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/14486/task/14548/stat : 14548 (java) S 14483 14486 8396 0 -1 1077944384 1045 13209 0 0 10 0 5 3 20 0 15 0 107406810 11246788608 22224 33554432000 4194304 4196468 140731610537520 140468557899888 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14549] ppid=14483 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/14486/task/14549/stat : 14549 (java) S 14483 14486 8396 0 -1 1077944384 583 13209 0 0 7 0 5 3 20 0 15 0 107406810 11246788608 22224 33554432000 4194304 4196468 140731610537520 140468556847088 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14550] ppid=14483 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/14486/task/14550/stat : 14550 (java) R 14483 14486 8396 0 -1 4202560 679 13209 0 0 13 0 5 3 20 0 15 0 107406810 11246788608 22224 33554432000 4194304 4196468 140731610537520 140468555794800 140469133446550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14551] ppid=14483 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14551/stat : 14551 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11246788608 22224 33554432000 4194304 4196468 140731610537520 140467039627744 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14552] ppid=14483 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14552/stat : 14552 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406810 11246788608 22224 33554432000 4194304 4196468 140731610537520 140468554742704 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88896 KiB
[startup+1.50134 s]
/proc/loadavg: 1.72 1.82 1.80 4/215 14552
/proc/meminfo: memFree=19509040/32770624 swapFree=67108860/67108860
[pid=14486] ppid=14483 vsize=10998092 memory=194392 CPUtime=2.87 cores=0,2,4,6
/proc/14486/stat : 14486 (java) S 14483 14486 8396 0 -1 1077944320 24134 13209 0 0 269 10 5 3 20 0 15 0 107406795 11262046208 48598 33554432000 4194304 4196468 140731610537520 140731610520064 140469133434615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
/proc/14486/statm: 2749523 48598 3477 1 0 2711181 0
[pid=14486/tid=14539] ppid=14483 vsize=10998092 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/14486/task/14539/stat : 14539 (java) R 14483 14486 8396 0 -1 4202560 16516 13209 0 0 129 6 5 3 20 0 15 0 107406805 11262046208 48598 33554432000 4194304 4196468 140731610537520 140469105250488 140469114274097 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14540] ppid=14483 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14486/task/14540/stat : 14540 (java) S 14483 14486 8396 0 -1 1077944384 167 13209 0 0 1 0 5 3 20 0 15 0 107406805 11262046208 48598 33554432000 4194304 4196468 140731610537520 140469137676688 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14541] ppid=14483 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14486/task/14541/stat : 14541 (java) S 14483 14486 8396 0 -1 1077944384 24 13209 0 0 1 0 5 3 20 0 15 0 107406805 11262046208 48598 33554432000 4194304 4196468 140731610537520 140468992395536 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14542] ppid=14483 vsize=10998092 memory=4051323354130624818 CPUtime=0.09 cores=0,2,4,6
/proc/14486/task/14542/stat : 14542 (java) S 14483 14486 8396 0 -1 1077944384 58 13209 0 0 1 0 5 3 20 0 15 0 107406805 11262046208 48598 33554432000 4194304 4196468 140731610537520 140468991343248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14543] ppid=14483 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14486/task/14543/stat : 14543 (java) S 14483 14486 8396 0 -1 1077944384 29 13209 0 0 1 0 5 3 20 0 15 0 107406805 11262046208 48598 33554432000 4194304 4196468 140731610537520 140468990290448 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14544] ppid=14483 vsize=10998092 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/14486/task/14544/stat : 14544 (java) S 14483 14486 8396 0 -1 1077944384 52 13209 0 0 1 0 5 3 20 0 15 0 107406807 11262046208 48598 33554432000 4194304 4196468 140731610537520 140468558953072 140469133445762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14545] ppid=14483 vsize=10998092 memory=280409824897280 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14545/stat : 14545 (java) S 14483 14486 8396 0 -1 1077944384 14 13209 0 0 0 0 5 3 20 0 15 0 107406807 11262046208 48598 33554432000 4194304 4196468 140731610537520 140467925673312 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14546] ppid=14483 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14546/stat : 14546 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406807 11262046208 48598 33554432000 4194304 4196468 140731610537520 140467777824384 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14547] ppid=14483 vsize=10998092 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14547/stat : 14547 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11262046208 48598 33554432000 4194304 4196468 140731610537520 140467470424656 140469133453211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14548] ppid=14483 vsize=10998092 memory=5788 CPUtime=0.54 cores=0,2,4,6
/proc/14486/task/14548/stat : 14548 (java) S 14483 14486 8396 0 -1 1077944384 2235 13209 0 0 46 0 5 3 20 0 15 0 107406810 11262046208 48598 33554432000 4194304 4196468 140731610537520 140468557899888 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14549] ppid=14483 vsize=10998092 memory=4616 CPUtime=0.48 cores=0,2,4,6
/proc/14486/task/14549/stat : 14549 (java) S 14483 14486 8396 0 -1 1077944384 1249 13209 0 0 40 0 5 3 20 0 15 0 107406810 11262046208 48598 33554432000 4194304 4196468 140731610537520 140468556847088 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14550] ppid=14483 vsize=10998092 memory=12032 CPUtime=0.54 cores=0,2,4,6
/proc/14486/task/14550/stat : 14550 (java) S 14483 14486 8396 0 -1 1077944384 1587 13209 0 0 46 0 5 3 20 0 15 0 107406810 11262046208 48598 33554432000 4194304 4196468 140731610537520 140468555794800 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14551] ppid=14483 vsize=10998092 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14551/stat : 14551 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11262046208 48598 33554432000 4194304 4196468 140731610537520 140467039627744 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14552] ppid=14483 vsize=10998092 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14552/stat : 14552 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406810 11262046208 48598 33554432000 4194304 4196468 140731610537520 140468554742704 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/14486/task/14539/stat : 14539 (java) R 14483 14486 8396 0 -1 4202560 59572 13209 0 0 16109 24 5 3 20 0 15 0 107406805 11348049920 362923 33554432000 4194304 4196468 140731610537520 140469105269136 140468670704652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14540] ppid=14483 vsize=11082080 memory=1475296 CPUtime=0.72 cores=0,2,4,6
/proc/14486/task/14540/stat : 14540 (java) S 14483 14486 8396 0 -1 1077944384 3121 13209 0 0 47 17 5 3 20 0 15 0 107406805 11348049920 362923 33554432000 4194304 4196468 140731610537520 140469137676688 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14541] ppid=14483 vsize=11082080 memory=1457336 CPUtime=0.73 cores=0,2,4,6
/proc/14486/task/14541/stat : 14541 (java) S 14483 14486 8396 0 -1 1077944384 2920 13209 0 0 48 17 5 3 20 0 15 0 107406805 11348049920 362923 33554432000 4194304 4196468 140731610537520 140468992395536 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14542] ppid=14483 vsize=11082080 memory=1457336 CPUtime=0.72 cores=0,2,4,6
/proc/14486/task/14542/stat : 14542 (java) S 14483 14486 8396 0 -1 1077944384 2627 13209 0 0 46 18 5 3 20 0 15 0 107406805 11348049920 362923 33554432000 4194304 4196468 140731610537520 140468991343248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14543] ppid=14483 vsize=11082080 memory=1451692 CPUtime=0.71 cores=0,2,4,6
/proc/14486/task/14543/stat : 14543 (java) S 14483 14486 8396 0 -1 1077944384 1557 13209 0 0 46 17 5 3 20 0 15 0 107406805 11348049920 362923 33554432000 4194304 4196468 140731610537520 140468990290448 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14544] ppid=14483 vsize=11082080 memory=4616 CPUtime=0.19 cores=0,2,4,6
/proc/14486/task/14544/stat : 14544 (java) S 14483 14486 8396 0 -1 1077944384 5390 13209 0 0 9 2 5 3 20 0 15 0 107406807 11348049920 362923 33554432000 4194304 4196468 140731610537520 140468558953072 140469133445762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14545] ppid=14483 vsize=11082080 memory=1502996 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14545/stat : 14545 (java) S 14483 14486 8396 0 -1 1077944384 14 13209 0 0 0 0 5 3 20 0 15 0 107406807 11348049920 362923 33554432000 4194304 4196468 140731610537520 140467925673376 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14546] ppid=14483 vsize=11082080 memory=1502996 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14546/stat : 14546 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406807 11348049920 362923 33554432000 4194304 4196468 140731610537520 140467777824384 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14547] ppid=14483 vsize=11082080 memory=1457336 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14547/stat : 14547 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11348049920 362923 33554432000 4194304 4196468 140731610537520 140467470424656 140469133453211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14548] ppid=14483 vsize=11082080 memory=1502996 CPUtime=7.63 cores=0,2,4,6
/proc/14486/task/14548/stat : 14548 (java) S 14483 14486 8396 0 -1 1077944384 25327 13209 0 0 751 4 5 3 20 0 15 0 107406810 11348049920 362923 33554432000 4194304 4196468 140731610537520 140468557899888 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14549] ppid=14483 vsize=11082080 memory=1457336 CPUtime=7.11 cores=0,2,4,6
/proc/14486/task/14549/stat : 14549 (java) S 14483 14486 8396 0 -1 1077944384 29675 13209 0 0 699 4 5 3 20 0 15 0 107406810 11348049920 362923 33554432000 4194304 4196468 140731610537520 140468556847088 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14550] ppid=14483 vsize=11082080 memory=4140 CPUtime=3.07 cores=0,2,4,6
/proc/14486/task/14550/stat : 14550 (java) S 14483 14486 8396 0 -1 1077944384 21659 13209 0 0 295 4 5 3 20 0 15 0 107406810 11348049920 362923 33554432000 4194304 4196468 140731610537520 140468555794800 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14551] ppid=14483 vsize=11082080 memory=1475296 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14551/stat : 14551 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11348049920 362923 33554432000 4194304 4196468 140731610537520 140467039627744 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14552] ppid=14483 vsize=11082080 memory=1475296 CPUtime=0.16 cores=0,2,4,6
/proc/14486/task/14552/stat : 14552 (java) S 14483 14486 8396 0 -1 1077944384 1029 13209 0 0 4 4 5 3 20 0 15 0 107406810 11348049920 362923 33554432000 4194304 4196468 140731610537520 140468554742704 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
Current children cumulated CPU time: 181.84 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1451692 KiB
[startup+222.301 s]
/proc/loadavg: 1.51 1.68 1.75 3/216 14691
/proc/meminfo: memFree=17339832/32770624 swapFree=67108860/67108860
[pid=14486] ppid=14483 vsize=11082080 memory=1232240 CPUtime=242.38 cores=0,2,4,6
/proc/14486/stat : 14486 (java) S 14483 14486 8396 0 -1 1077944320 169116 13209 0 0 24111 119 5 3 20 0 15 0 107406795 11348049920 308060 33554432000 4194304 4196468 140731610537520 140731610520064 140469133434615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
/proc/14486/statm: 2770520 308060 3532 1 0 2732173 0
[pid=14486/tid=14539] ppid=14483 vsize=11082080 memory=1232240 CPUtime=221.29 cores=0,2,4,6
/proc/14486/task/14539/stat : 14539 (java) R 14483 14486 8396 0 -1 4202560 61597 13209 0 0 22096 25 5 3 20 0 15 0 107406805 11348049920 308060 33554432000 4194304 4196468 140731610537520 140469105269232 140468682839918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14540] ppid=14483 vsize=11082080 memory=164 CPUtime=0.8 cores=0,2,4,6
/proc/14486/task/14540/stat : 14540 (java) S 14483 14486 8396 0 -1 1077944384 3944 13209 0 0 55 17 5 3 20 0 15 0 107406805 11348049920 308060 33554432000 4194304 4196468 140731610537520 140469137676688 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14541] ppid=14483 vsize=11082080 memory=1283024 CPUtime=0.82 cores=0,2,4,6
/proc/14486/task/14541/stat : 14541 (java) S 14483 14486 8396 0 -1 1077944384 4259 13209 0 0 56 18 5 3 20 0 15 0 107406805 11348049920 308060 33554432000 4194304 4196468 140731610537520 140468992395536 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14542] ppid=14483 vsize=11082080 memory=1259936 CPUtime=0.8 cores=0,2,4,6
/proc/14486/task/14542/stat : 14542 (java) S 14483 14486 8396 0 -1 1077944384 2813 13209 0 0 53 19 5 3 20 0 15 0 107406805 11348049920 308060 33554432000 4194304 4196468 140731610537520 140468991343248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14543] ppid=14483 vsize=11082080 memory=1249676 CPUtime=0.8 cores=0,2,4,6
/proc/14486/task/14543/stat : 14543 (java) S 14483 14486 8396 0 -1 1077944384 1771 13209 0 0 54 18 5 3 20 0 15 0 107406805 11348049920 308060 33554432000 4194304 4196468 140731610537520 140468990290448 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14544] ppid=14483 vsize=11082080 memory=1243016 CPUtime=0.22 cores=0,2,4,6
/proc/14486/task/14544/stat : 14544 (java) S 14483 14486 8396 0 -1 1077944384 5724 13209 0 0 12 2 5 3 20 0 15 0 107406807 11348049920 308060 33554432000 4194304 4196468 140731610537520 140468558953072 140469133445762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14545] ppid=14483 vsize=11082080 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14545/stat : 14545 (java) S 14483 14486 8396 0 -1 1077944384 14 13209 0 0 0 0 5 3 20 0 15 0 107406807 11348049920 308060 33554432000 4194304 4196468 140731610537520 140467925673376 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14546] ppid=14483 vsize=11082080 memory=1234808 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14546/stat : 14546 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406807 11348049920 308060 33554432000 4194304 4196468 140731610537520 140467777824384 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14547] ppid=14483 vsize=11082080 memory=1232240 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14547/stat : 14547 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11348049920 308060 33554432000 4194304 4196468 140731610537520 140467470424656 140469133453211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14548] ppid=14483 vsize=11082080 memory=4140 CPUtime=7.73 cores=0,2,4,6
/proc/14486/task/14548/stat : 14548 (java) S 14483 14486 8396 0 -1 1077944384 28733 13209 0 0 761 4 5 3 20 0 15 0 107406810 11348049920 308060 33554432000 4194304 4196468 140731610537520 140468557899888 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14549] ppid=14483 vsize=11082080 memory=1234808 CPUtime=7.25 cores=0,2,4,6
/proc/14486/task/14549/stat : 14549 (java) S 14483 14486 8396 0 -1 1077944384 32055 13209 0 0 713 4 5 3 20 0 15 0 107406810 11348049920 308060 33554432000 4194304 4196468 140731610537520 140468556847088 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14550] ppid=14483 vsize=11082080 memory=1249676 CPUtime=3.1 cores=0,2,4,6
/proc/14486/task/14550/stat : 14550 (java) S 14483 14486 8396 0 -1 1077944384 24646 13209 0 0 297 5 5 3 20 0 15 0 107406810 11348049920 308060 33554432000 4194304 4196468 140731610537520 140468555794800 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14551] ppid=14483 vsize=11082080 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14551/stat : 14551 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11348049920 308060 33554432000 4194304 4196468 140731610537520 140467039627744 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14552] ppid=14483 vsize=11082080 memory=3848 CPUtime=0.2 cores=0,2,4,6
/proc/14486/task/14552/stat : 14552 (java) S 14483 14486 8396 0 -1 1077944384 1358 13209 0 0 6 6 5 3 20 0 15 0 107406810 11348049920 308060 33554432000 4194304 4196468 140731610537520 140468554742704 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
Current children cumulated CPU time: 242.38 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1232240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+231.901 s]
/proc/loadavg: 1.55 1.69 1.75 3/216 14691
/proc/meminfo: memFree=17354144/32770624 swapFree=67108860/67108860
[pid=14486] ppid=14483 vsize=11082080 memory=1207616 CPUtime=252.05 cores=0,2,4,6
/proc/14486/stat : 14486 (java) S 14483 14486 8396 0 -1 1077944320 170239 13209 0 0 25077 120 5 3 20 0 15 0 107406795 11348049920 301904 33554432000 4194304 4196468 140731610537520 140731610520064 140469133434615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
/proc/14486/statm: 2770520 301904 3532 1 0 2732173 0
[pid=14486/tid=14539] ppid=14483 vsize=11082080 memory=1210184 CPUtime=230.85 cores=0,2,4,6
/proc/14486/task/14539/stat : 14539 (java) R 14483 14486 8396 0 -1 4202560 61666 13209 0 0 23052 25 5 3 20 0 15 0 107406805 11348049920 301904 33554432000 4194304 4196468 140731610537520 140469105269152 140468682839810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14540] ppid=14483 vsize=11082080 memory=1207616 CPUtime=0.81 cores=0,2,4,6
/proc/14486/task/14540/stat : 14540 (java) S 14483 14486 8396 0 -1 1077944384 3950 13209 0 0 56 17 5 3 20 0 15 0 107406805 11348049920 301904 33554432000 4194304 4196468 140731610537520 140469137676688 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14541] ppid=14483 vsize=11082080 memory=1243016 CPUtime=0.83 cores=0,2,4,6
/proc/14486/task/14541/stat : 14541 (java) S 14483 14486 8396 0 -1 1077944384 4263 13209 0 0 57 18 5 3 20 0 15 0 107406805 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468992395536 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14542] ppid=14483 vsize=11082080 memory=1210184 CPUtime=0.82 cores=0,2,4,6
/proc/14486/task/14542/stat : 14542 (java) S 14483 14486 8396 0 -1 1077944384 2822 13209 0 0 55 19 5 3 20 0 15 0 107406805 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468991343248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14543] ppid=14483 vsize=11082080 memory=1207616 CPUtime=0.82 cores=0,2,4,6
/proc/14486/task/14543/stat : 14543 (java) S 14483 14486 8396 0 -1 1077944384 1782 13209 0 0 56 18 5 3 20 0 15 0 107406805 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468990290448 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14544] ppid=14483 vsize=11082080 memory=1227624 CPUtime=0.23 cores=0,2,4,6
/proc/14486/task/14544/stat : 14544 (java) S 14483 14486 8396 0 -1 1077944384 5734 13209 0 0 12 3 5 3 20 0 15 0 107406807 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468558953072 140469133445762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14545] ppid=14483 vsize=11082080 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14545/stat : 14545 (java) S 14483 14486 8396 0 -1 1077944384 14 13209 0 0 0 0 5 3 20 0 15 0 107406807 11348049920 301904 33554432000 4194304 4196468 140731610537520 140467925673376 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14546] ppid=14483 vsize=11082080 memory=1212748 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14546/stat : 14546 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406807 11348049920 301904 33554432000 4194304 4196468 140731610537520 140467777824384 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14547] ppid=14483 vsize=11082080 memory=3472328296227679313 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14547/stat : 14547 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140467470424656 140469133453211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14548] ppid=14483 vsize=11082080 memory=33 CPUtime=7.74 cores=0,2,4,6
/proc/14486/task/14548/stat : 14548 (java) S 14483 14486 8396 0 -1 1077944384 29229 13209 0 0 762 4 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468557899888 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14549] ppid=14483 vsize=11082080 memory=6791534058613427641 CPUtime=7.25 cores=0,2,4,6
/proc/14486/task/14549/stat : 14549 (java) S 14483 14486 8396 0 -1 1077944384 32055 13209 0 0 713 4 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468556847088 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14550] ppid=14483 vsize=11082080 memory=1408 CPUtime=3.11 cores=0,2,4,6
/proc/14486/task/14550/stat : 14550 (java) S 14483 14486 8396 0 -1 1077944384 25164 13209 0 0 298 5 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468555794800 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14551] ppid=14483 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14551/stat : 14551 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140467039627744 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14552] ppid=14483 vsize=11082080 memory=2412 CPUtime=0.2 cores=0,2,4,6
/proc/14486/task/14552/stat : 14552 (java) S 14483 14486 8396 0 -1 1077944384 1358 13209 0 0 6 6 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468554742704 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1207616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+231.938 s]
# the end of solver process 14486 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.838 s, system=1.25543 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+231.901 s]
/proc/loadavg: 1.55 1.69 1.75 3/216 14691
/proc/meminfo: memFree=17354144/32770624 swapFree=67108860/67108860
[pid=14486] ppid=14483 vsize=11082080 memory=1207616 CPUtime=252.05 cores=0,2,4,6
/proc/14486/stat : 14486 (java) S 14483 14486 8396 0 -1 1077944320 170239 13209 0 0 25077 120 5 3 20 0 15 0 107406795 11348049920 301904 33554432000 4194304 4196468 140731610537520 140731610520064 140469133434615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
/proc/14486/statm: 2770520 301904 3532 1 0 2732173 0
[pid=14486/tid=14539] ppid=14483 vsize=11082080 memory=1210184 CPUtime=230.85 cores=0,2,4,6
/proc/14486/task/14539/stat : 14539 (java) R 14483 14486 8396 0 -1 4202560 61666 13209 0 0 23052 25 5 3 20 0 15 0 107406805 11348049920 301904 33554432000 4194304 4196468 140731610537520 140469105269152 140468682839810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14540] ppid=14483 vsize=11082080 memory=1207616 CPUtime=0.81 cores=0,2,4,6
/proc/14486/task/14540/stat : 14540 (java) S 14483 14486 8396 0 -1 1077944384 3950 13209 0 0 56 17 5 3 20 0 15 0 107406805 11348049920 301904 33554432000 4194304 4196468 140731610537520 140469137676688 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14541] ppid=14483 vsize=11082080 memory=1243016 CPUtime=0.83 cores=0,2,4,6
/proc/14486/task/14541/stat : 14541 (java) S 14483 14486 8396 0 -1 1077944384 4263 13209 0 0 57 18 5 3 20 0 15 0 107406805 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468992395536 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14542] ppid=14483 vsize=11082080 memory=1210184 CPUtime=0.82 cores=0,2,4,6
/proc/14486/task/14542/stat : 14542 (java) S 14483 14486 8396 0 -1 1077944384 2822 13209 0 0 55 19 5 3 20 0 15 0 107406805 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468991343248 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14543] ppid=14483 vsize=11082080 memory=1207616 CPUtime=0.82 cores=0,2,4,6
/proc/14486/task/14543/stat : 14543 (java) S 14483 14486 8396 0 -1 1077944384 1782 13209 0 0 56 18 5 3 20 0 15 0 107406805 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468990290448 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14544] ppid=14483 vsize=11082080 memory=1227624 CPUtime=0.23 cores=0,2,4,6
/proc/14486/task/14544/stat : 14544 (java) S 14483 14486 8396 0 -1 1077944384 5734 13209 0 0 12 3 5 3 20 0 15 0 107406807 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468558953072 140469133445762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14545] ppid=14483 vsize=11082080 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14545/stat : 14545 (java) S 14483 14486 8396 0 -1 1077944384 14 13209 0 0 0 0 5 3 20 0 15 0 107406807 11348049920 301904 33554432000 4194304 4196468 140731610537520 140467925673376 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14546] ppid=14483 vsize=11082080 memory=1212748 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14546/stat : 14546 (java) S 14483 14486 8396 0 -1 1077944384 1 13209 0 0 0 0 5 3 20 0 15 0 107406807 11348049920 301904 33554432000 4194304 4196468 140731610537520 140467777824384 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14547] ppid=14483 vsize=11082080 memory=3472328296227679313 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14547/stat : 14547 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140467470424656 140469133453211 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14548] ppid=14483 vsize=11082080 memory=33 CPUtime=7.74 cores=0,2,4,6
/proc/14486/task/14548/stat : 14548 (java) S 14483 14486 8396 0 -1 1077944384 29229 13209 0 0 762 4 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468557899888 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14549] ppid=14483 vsize=11082080 memory=6791534058613427641 CPUtime=7.25 cores=0,2,4,6
/proc/14486/task/14549/stat : 14549 (java) S 14483 14486 8396 0 -1 1077944384 32055 13209 0 0 713 4 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468556847088 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14550] ppid=14483 vsize=11082080 memory=1408 CPUtime=3.11 cores=0,2,4,6
/proc/14486/task/14550/stat : 14550 (java) S 14483 14486 8396 0 -1 1077944384 25164 13209 0 0 298 5 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468555794800 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14551] ppid=14483 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/14486/task/14551/stat : 14551 (java) S 14483 14486 8396 0 -1 1077944384 3 13209 0 0 0 0 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140467039627744 140469133444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
[pid=14486/tid=14552] ppid=14483 vsize=11082080 memory=2412 CPUtime=0.2 cores=0,2,4,6
/proc/14486/task/14552/stat : 14552 (java) S 14483 14486 8396 0 -1 1077944384 1358 13209 0 0 6 6 5 3 20 0 15 0 107406810 11348049920 301904 33554432000 4194304 4196468 140731610537520 140468554742704 140469133445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25743360 140731610540648 140731610543457 140731610543457 140731610546127 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1207616 KiB
Child status: 143
Real time (s): 231.938
CPU time (s): 252.093
CPU user time (s): 250.838
CPU system time (s): 1.25543
CPU usage (%): 108.69
Max. virtual memory (cumulated for all children) (KiB): 11082664
Max. memory (cumulated for all children) (KiB): 1782740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.838
system time used= 1.25543
maximum resident set size= 1782740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16284
involuntary context switches= 492
# summary of solver processes directly reported to runsolver:
# pid: 14486
# total CPU time (s): 252.093
# total CPU user time (s): 250.838
# total CPU system time (s): 1.25543
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50478 second user time and 2.099 second system time
The end