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 (3457 MiB free)
memory of node 1: 16384 MiB (8170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295386-1532551584/watcher-4295386-1532551584 -o /tmp/evaluation-result-4295386-1532551584/solver-4295386-1532551584 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532535188-26470 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1314343639 -superng HOME/instance-4295386-1532551584.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=29581, runsolver pid=29578
[startup+0.100096 s]*
/proc/loadavg: 1.39 1.44 1.37 3/206 29638
/proc/meminfo: memFree=11898856/32770624 swapFree=67108860/67108860
[pid=29581] ppid=29578 vsize=9972712 memory=18592 CPUtime=0.09 cores=1,3,5,7
/proc/29581/stat : 29581 (java) S 29578 29581 26438 0 -1 1077944320 4255 12895 0 0 1 1 4 3 20 0 6 0 72721536 10212057088 4648 33554432000 4194304 4196468 140737200188448 140737200170992 139718692085495 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
/proc/29581/statm: 2493178 4648 1934 1 0 2481616 0
[pid=29581/tid=29634] ppid=29578 vsize=9972712 memory=4279135703946986127 CPUtime=0.08 cores=1,3,5,7
/proc/29581/task/29634/stat : 29634 (java) R 29578 29581 26438 0 -1 4202560 2064 12895 0 0 1 0 4 3 20 0 6 0 72721545 10212057088 4648 33554432000 4194304 4196468 140737200188448 139718663922256 139718677768021 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29635] ppid=29578 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29635/stat : 29635 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 6 0 72721546 10212057088 4648 33554432000 4194304 4196468 140737200188448 139718696327696 139718692095701 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29636] ppid=29578 vsize=9972712 memory=139770721441408 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29636/stat : 29636 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 6 0 72721546 10212057088 4648 33554432000 4194304 4196468 140737200188448 139718584601232 139718692095701 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29637] ppid=29578 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29637/stat : 29637 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 6 0 72721546 10212057088 4648 33554432000 4194304 4196468 140737200188448 139718583548176 139718692095701 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29638] ppid=29578 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29638/stat : 29638 (java) S 29578 29581 26438 0 -1 1077944384 2 12895 0 0 0 0 4 3 20 0 6 0 72721546 10212057088 4648 33554432000 4194304 4196468 140737200188448 139718582495632 139718692095701 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.209872 s]*
/proc/loadavg: 1.39 1.44 1.37 3/215 29647
/proc/meminfo: memFree=11878692/32770624 swapFree=67108860/67108860
[pid=29581] ppid=29578 vsize=10818904 memory=45108 CPUtime=0.26 cores=1,3,5,7
/proc/29581/stat : 29581 (java) S 29578 29581 26438 0 -1 1077944320 9144 12895 0 0 17 2 4 3 20 0 15 0 72721536 11078557696 11277 33554432000 4194304 4196468 140737200188448 140737200170992 139718692085495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
/proc/29581/statm: 2704726 11277 2964 1 0 2667149 0
[pid=29581/tid=29634] ppid=29578 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/29581/task/29634/stat : 29634 (java) R 29578 29581 26438 0 -1 4202560 5776 12895 0 0 10 1 4 3 20 0 15 0 72721545 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718663910304 139718676166012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29635] ppid=29578 vsize=10818904 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29635/stat : 29635 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721546 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718696327696 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29636] ppid=29578 vsize=10818904 memory=139770721826953 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29636/stat : 29636 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721546 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718584601232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29637] ppid=29578 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29637/stat : 29637 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721546 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718583548176 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29638] ppid=29578 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29638/stat : 29638 (java) S 29578 29581 26438 0 -1 1077944384 2 12895 0 0 0 0 4 3 20 0 15 0 72721546 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718582495632 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29639] ppid=29578 vsize=10818904 memory=139770721441408 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29639/stat : 29639 (java) S 29578 29581 26438 0 -1 1077944384 2 12895 0 0 0 0 4 3 20 0 15 0 72721547 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718150793968 139718692096642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29640] ppid=29578 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29640/stat : 29640 (java) S 29578 29581 26438 0 -1 1077944384 33 12895 0 0 0 0 4 3 20 0 15 0 72721548 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718149740192 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29641] ppid=29578 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29641/stat : 29641 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721548 11078557696 11277 33554432000 4194304 4196468 140737200188448 139717567833328 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29642] ppid=29578 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29642/stat : 29642 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721550 11078557696 11277 33554432000 4194304 4196468 140737200188448 139717260433872 139718692104091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29643] ppid=29578 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29581/task/29643/stat : 29643 (java) S 29578 29581 26438 0 -1 1077944384 542 12895 0 0 1 0 4 3 20 0 15 0 72721550 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718116182256 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29644] ppid=29578 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29644/stat : 29644 (java) S 29578 29581 26438 0 -1 1077944384 54 12895 0 0 0 0 4 3 20 0 15 0 72721550 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718115129712 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29645] ppid=29578 vsize=10818904 memory=139770721441408 CPUtime=0.1 cores=1,3,5,7
/proc/29581/task/29645/stat : 29645 (java) R 29578 29581 26438 0 -1 4202560 537 12895 0 0 3 0 4 3 20 0 15 0 72721551 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718114076656 139718692106842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29646] ppid=29578 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29646/stat : 29646 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721551 11078557696 11277 33554432000 4194304 4196468 140737200188448 139717226875232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29647] ppid=29578 vsize=10818904 memory=139770721441408 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29647/stat : 29647 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721551 11078557696 11277 33554432000 4194304 4196468 140737200188448 139718113025072 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45108 KiB
[startup+0.310475 s]*
/proc/loadavg: 1.39 1.44 1.37 3/215 29647
/proc/meminfo: memFree=11865744/32770624 swapFree=67108860/67108860
[pid=29581] ppid=29578 vsize=10819352 memory=52984 CPUtime=0.39 cores=1,3,5,7
/proc/29581/stat : 29581 (java) S 29578 29581 26438 0 -1 1077944320 10344 12895 0 0 29 3 4 3 20 0 15 0 72721536 11079016448 13246 33554432000 4194304 4196468 140737200188448 140737200170992 139718692085495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
/proc/29581/statm: 2704838 13246 3083 1 0 2667149 0
[pid=29581/tid=29634] ppid=29578 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/29581/task/29634/stat : 29634 (java) R 29578 29581 26438 0 -1 4202560 6963 12895 0 0 19 2 4 3 20 0 15 0 72721545 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718663897504 139718673649024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29635] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29635/stat : 29635 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721546 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718696327696 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29636] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29636/stat : 29636 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721546 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718584601232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29637] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29637/stat : 29637 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721546 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718583548176 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29638] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29638/stat : 29638 (java) S 29578 29581 26438 0 -1 1077944384 2 12895 0 0 0 0 4 3 20 0 15 0 72721546 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718582495632 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29639] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29639/stat : 29639 (java) S 29578 29581 26438 0 -1 1077944384 2 12895 0 0 0 0 4 3 20 0 15 0 72721547 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718150793968 139718692096642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29640] ppid=29578 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29640/stat : 29640 (java) S 29578 29581 26438 0 -1 1077944384 33 12895 0 0 0 0 4 3 20 0 15 0 72721548 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718149740192 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29641] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29641/stat : 29641 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721548 11079016448 13246 33554432000 4194304 4196468 140737200188448 139717567833328 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29642] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29642/stat : 29642 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721550 11079016448 13246 33554432000 4194304 4196468 140737200188448 139717260433872 139718692104091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29643] ppid=29578 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29581/task/29643/stat : 29643 (java) S 29578 29581 26438 0 -1 1077944384 543 12895 0 0 2 0 4 3 20 0 15 0 72721550 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718116182256 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29644] ppid=29578 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29581/task/29644/stat : 29644 (java) S 29578 29581 26438 0 -1 1077944384 54 12895 0 0 1 0 4 3 20 0 15 0 72721550 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718115129712 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29645] ppid=29578 vsize=10819352 memory=139770721441408 CPUtime=0.12 cores=1,3,5,7
/proc/29581/task/29645/stat : 29645 (java) S 29578 29581 26438 0 -1 1077944384 548 12895 0 0 5 0 4 3 20 0 15 0 72721551 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718114076656 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29646] ppid=29578 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29646/stat : 29646 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721551 11079016448 13246 33554432000 4194304 4196468 140737200188448 139717226875232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29647] ppid=29578 vsize=10819352 memory=139770721441408 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29647/stat : 29647 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721551 11079016448 13246 33554432000 4194304 4196468 140737200188448 139718113025072 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52984 KiB
[startup+0.700747 s]
/proc/loadavg: 1.39 1.44 1.37 4/215 29647
/proc/meminfo: memFree=11856936/32770624 swapFree=67108860/67108860
[pid=29581] ppid=29578 vsize=10819352 memory=85232 CPUtime=0.98 cores=1,3,5,7
/proc/29581/stat : 29581 (java) S 29578 29581 26438 0 -1 1077944320 16405 12895 0 0 87 4 4 3 20 0 15 0 72721536 11079016448 21308 33554432000 4194304 4196468 140737200188448 140737200170992 139718692085495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
/proc/29581/statm: 2704838 21308 3239 1 0 2667149 0
[pid=29581/tid=29634] ppid=29578 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/29581/task/29634/stat : 29634 (java) R 29578 29581 26438 0 -1 4202560 11979 12895 0 0 56 3 4 3 20 0 15 0 72721545 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718663906320 139718672360817 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29635] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29635/stat : 29635 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721546 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718696327696 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29636] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29636/stat : 29636 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721546 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718584601232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29637] ppid=29578 vsize=10819352 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29637/stat : 29637 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721546 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718583548176 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29638] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29638/stat : 29638 (java) S 29578 29581 26438 0 -1 1077944384 2 12895 0 0 0 0 4 3 20 0 15 0 72721546 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718582495632 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29639] ppid=29578 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29639/stat : 29639 (java) S 29578 29581 26438 0 -1 1077944384 5 12895 0 0 0 0 4 3 20 0 15 0 72721547 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718150793968 139718692096642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29640] ppid=29578 vsize=10819352 memory=139770583986896 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29640/stat : 29640 (java) S 29578 29581 26438 0 -1 1077944384 33 12895 0 0 0 0 4 3 20 0 15 0 72721548 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718149740192 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29641] ppid=29578 vsize=10819352 memory=139771120714339 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29641/stat : 29641 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721548 11079016448 21308 33554432000 4194304 4196468 140737200188448 139717567833328 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29642] ppid=29578 vsize=10819352 memory=10592 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29642/stat : 29642 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721550 11079016448 21308 33554432000 4194304 4196468 140737200188448 139717260433872 139718692104091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29643] ppid=29578 vsize=10819352 memory=7234564758908855872 CPUtime=0.14 cores=1,3,5,7
/proc/29581/task/29643/stat : 29643 (java) S 29578 29581 26438 0 -1 1077944384 945 12895 0 0 7 0 4 3 20 0 15 0 72721550 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718116182256 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29644] ppid=29578 vsize=10819352 memory=7597685182856913236 CPUtime=0.16 cores=1,3,5,7
/proc/29581/task/29644/stat : 29644 (java) S 29578 29581 26438 0 -1 1077944384 645 12895 0 0 9 0 4 3 20 0 15 0 72721550 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718115129712 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29645] ppid=29578 vsize=10819352 memory=5787221545506525541 CPUtime=0.2 cores=1,3,5,7
/proc/29581/task/29645/stat : 29645 (java) S 29578 29581 26438 0 -1 1077944384 597 12895 0 0 13 0 4 3 20 0 15 0 72721551 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718114076656 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29646] ppid=29578 vsize=10819352 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29646/stat : 29646 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721551 11079016448 21308 33554432000 4194304 4196468 140737200188448 139717226875232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29647] ppid=29578 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29647/stat : 29647 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721551 11079016448 21308 33554432000 4194304 4196468 140737200188448 139718113025072 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85232 KiB
[startup+1.50072 s]
/proc/loadavg: 1.39 1.44 1.37 3/215 29647
/proc/meminfo: memFree=11811100/32770624 swapFree=67108860/67108860
[pid=29581] ppid=29578 vsize=10834252 memory=176168 CPUtime=2.24 cores=1,3,5,7
/proc/29581/stat : 29581 (java) S 29578 29581 26438 0 -1 1077944320 23563 12895 0 0 208 9 4 3 20 0 15 0 72721536 11094274048 44042 33554432000 4194304 4196468 140737200188448 140737200170992 139718692085495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
/proc/29581/statm: 2708563 44042 3468 1 0 2670221 0
[pid=29581/tid=29634] ppid=29578 vsize=10834252 memory=12813 CPUtime=1.42 cores=1,3,5,7
/proc/29581/task/29634/stat : 29634 (java) R 29578 29581 26438 0 -1 4202560 17528 12895 0 0 130 5 4 3 20 0 15 0 72721545 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718663915808 139718676165982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29635] ppid=29578 vsize=10834252 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29635/stat : 29635 (java) S 29578 29581 26438 0 -1 1077944384 282 12895 0 0 0 0 4 3 20 0 15 0 72721546 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718696327696 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29636] ppid=29578 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29581/task/29636/stat : 29636 (java) S 29578 29581 26438 0 -1 1077944384 21 12895 0 0 1 0 4 3 20 0 15 0 72721546 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718584601232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29637] ppid=29578 vsize=10834252 memory=771 CPUtime=0.08 cores=1,3,5,7
/proc/29581/task/29637/stat : 29637 (java) S 29578 29581 26438 0 -1 1077944384 49 12895 0 0 1 0 4 3 20 0 15 0 72721546 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718583548176 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29638] ppid=29578 vsize=10834252 memory=85232 CPUtime=0.08 cores=1,3,5,7
/proc/29581/task/29638/stat : 29638 (java) S 29578 29581 26438 0 -1 1077944384 89 12895 0 0 1 0 4 3 20 0 15 0 72721546 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718582495632 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29639] ppid=29578 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29581/task/29639/stat : 29639 (java) S 29578 29581 26438 0 -1 1077944384 58 12895 0 0 1 0 4 3 20 0 15 0 72721547 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718150793968 139718692096642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29640] ppid=29578 vsize=10834252 memory=279541167915504 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29640/stat : 29640 (java) S 29578 29581 26438 0 -1 1077944384 34 12895 0 0 0 0 4 3 20 0 15 0 72721548 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718149740256 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29641] ppid=29578 vsize=10834252 memory=279541167966304 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29641/stat : 29641 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721548 11094274048 44042 33554432000 4194304 4196468 140737200188448 139717567833344 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29642] ppid=29578 vsize=10834252 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29642/stat : 29642 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721550 11094274048 44042 33554432000 4194304 4196468 140737200188448 139717260433872 139718692104091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29643] ppid=29578 vsize=10834252 memory=4638778398332698720 CPUtime=0.29 cores=1,3,5,7
/proc/29581/task/29643/stat : 29643 (java) S 29578 29581 26438 0 -1 1077944384 1481 12895 0 0 22 0 4 3 20 0 15 0 72721550 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718116182256 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29644] ppid=29578 vsize=10834252 memory=279541168249728 CPUtime=0.25 cores=1,3,5,7
/proc/29581/task/29644/stat : 29644 (java) S 29578 29581 26438 0 -1 1077944384 843 12895 0 0 18 0 4 3 20 0 15 0 72721550 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718115129712 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29645] ppid=29578 vsize=10834252 memory=-7531822216213012384 CPUtime=0.36 cores=1,3,5,7
/proc/29581/task/29645/stat : 29645 (java) S 29578 29581 26438 0 -1 1077944384 986 12895 0 0 29 0 4 3 20 0 15 0 72721551 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718114076656 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29646] ppid=29578 vsize=10834252 memory=-7531822216213012384 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29646/stat : 29646 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721551 11094274048 44042 33554432000 4194304 4196468 140737200188448 139717226875232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29647] ppid=29578 vsize=10834252 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29647/stat : 29647 (java) S 29578 29581 26438 0 -1 1077944384 1 12895 0 0 0 0 4 3 20 0 15 0 72721551 11094274048 44042 33554432000 4194304 4196468 140737200188448 139718113025072 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/29581/task/29634/stat : 29634 (java) R 29578 29581 26438 0 -1 4202560 84102 12895 0 0 236062 41 4 3 20 0 15 0 72721545 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718663921232 139718260032764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29635] ppid=29578 vsize=10914144 memory=716708 CPUtime=8.74 cores=1,3,5,7
/proc/29581/task/29635/stat : 29635 (java) S 29578 29581 26438 0 -1 1077944384 10921 12895 0 0 823 44 4 3 20 0 15 0 72721546 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718696327696 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29636] ppid=29578 vsize=10914144 memory=716740 CPUtime=8.72 cores=1,3,5,7
/proc/29581/task/29636/stat : 29636 (java) S 29578 29581 26438 0 -1 1077944384 4930 12895 0 0 818 47 4 3 20 0 15 0 72721546 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718584601232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29637] ppid=29578 vsize=10914144 memory=716740 CPUtime=8.73 cores=1,3,5,7
/proc/29581/task/29637/stat : 29637 (java) S 29578 29581 26438 0 -1 1077944384 10380 12895 0 0 817 49 4 3 20 0 15 0 72721546 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718583548176 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29638] ppid=29578 vsize=10914144 memory=716740 CPUtime=8.74 cores=1,3,5,7
/proc/29581/task/29638/stat : 29638 (java) S 29578 29581 26438 0 -1 1077944384 6199 12895 0 0 818 49 4 3 20 0 15 0 72721546 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718582495632 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29639] ppid=29578 vsize=10914144 memory=0 CPUtime=8.29 cores=1,3,5,7
/proc/29581/task/29639/stat : 29639 (java) S 29578 29581 26438 0 -1 1077944384 9306 12895 0 0 773 49 4 3 20 0 15 0 72721547 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718150793968 139718692096642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29640] ppid=29578 vsize=10914144 memory=239889 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29640/stat : 29640 (java) S 29578 29581 26438 0 -1 1077944384 38 12895 0 0 0 0 4 3 20 0 15 0 72721548 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718149740320 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29641] ppid=29578 vsize=10914144 memory=716740 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29641/stat : 29641 (java) S 29578 29581 26438 0 -1 1077944384 4 12895 0 0 0 0 4 3 20 0 15 0 72721548 11176083456 179185 33554432000 4194304 4196468 140737200188448 139717567833344 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29642] ppid=29578 vsize=10914144 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29642/stat : 29642 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721550 11176083456 179185 33554432000 4194304 4196468 140737200188448 139717260433872 139718692104091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29643] ppid=29578 vsize=10914144 memory=3848 CPUtime=8.63 cores=1,3,5,7
/proc/29581/task/29643/stat : 29643 (java) S 29578 29581 26438 0 -1 1077944384 34395 12895 0 0 848 8 4 3 20 0 15 0 72721550 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718116182256 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29644] ppid=29578 vsize=10914144 memory=716740 CPUtime=7.79 cores=1,3,5,7
/proc/29581/task/29644/stat : 29644 (java) S 29578 29581 26438 0 -1 1077944384 18665 12895 0 0 767 5 4 3 20 0 15 0 72721550 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718115129712 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29645] ppid=29578 vsize=10914144 memory=716740 CPUtime=3.37 cores=1,3,5,7
/proc/29581/task/29645/stat : 29645 (java) S 29578 29581 26438 0 -1 1077944384 22598 12895 0 0 325 5 4 3 20 0 15 0 72721551 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718114076656 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29646] ppid=29578 vsize=10914144 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29646/stat : 29646 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721551 11176083456 179185 33554432000 4194304 4196468 140737200188448 139717226875232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29647] ppid=29578 vsize=10914144 memory=16436 CPUtime=1.45 cores=1,3,5,7
/proc/29581/task/29647/stat : 29647 (java) S 29578 29581 26438 0 -1 1077944384 720 12895 0 0 65 73 4 3 20 0 15 0 72721551 11176083456 179185 33554432000 4194304 4196468 140737200188448 139718113025072 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
Current children cumulated CPU time: 2425.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 716740 KiB
[startup+2442.3 s]
/proc/loadavg: 1.01 1.23 1.32 3/215 29870
/proc/meminfo: memFree=11110508/32770624 swapFree=67108860/67108860
[pid=29581] ppid=29578 vsize=10914144 memory=716764 CPUtime=2485.66 cores=1,3,5,7
/proc/29581/stat : 29581 (java) S 29578 29581 26438 0 -1 1077944320 205275 12895 0 0 248243 316 4 3 20 0 15 0 72721536 11176083456 179191 33554432000 4194304 4196468 140737200188448 140737200170992 139718692085495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
/proc/29581/statm: 2728536 179191 3524 1 0 2690189 0
[pid=29581/tid=29634] ppid=29578 vsize=10914144 memory=716740 CPUtime=2420.57 cores=1,3,5,7
/proc/29581/task/29634/stat : 29634 (java) R 29578 29581 26438 0 -1 4202560 84547 12895 0 0 242009 41 4 3 20 0 15 0 72721545 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718663920928 139718270452292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29635] ppid=29578 vsize=10914144 memory=716764 CPUtime=8.97 cores=1,3,5,7
/proc/29581/task/29635/stat : 29635 (java) S 29578 29581 26438 0 -1 1077944384 11205 12895 0 0 845 45 4 3 20 0 15 0 72721546 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718696327696 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29636] ppid=29578 vsize=10914144 memory=716764 CPUtime=8.95 cores=1,3,5,7
/proc/29581/task/29636/stat : 29636 (java) S 29578 29581 26438 0 -1 1077944384 4946 12895 0 0 840 48 4 3 20 0 15 0 72721546 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718584601232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29637] ppid=29578 vsize=10914144 memory=716764 CPUtime=8.96 cores=1,3,5,7
/proc/29581/task/29637/stat : 29637 (java) S 29578 29581 26438 0 -1 1077944384 10392 12895 0 0 839 50 4 3 20 0 15 0 72721546 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718583548176 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29638] ppid=29578 vsize=10914144 memory=716764 CPUtime=8.98 cores=1,3,5,7
/proc/29581/task/29638/stat : 29638 (java) S 29578 29581 26438 0 -1 1077944384 6232 12895 0 0 841 50 4 3 20 0 15 0 72721546 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718582495632 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29639] ppid=29578 vsize=10914144 memory=716764 CPUtime=8.49 cores=1,3,5,7
/proc/29581/task/29639/stat : 29639 (java) S 29578 29581 26438 0 -1 1077944384 9336 12895 0 0 793 49 4 3 20 0 15 0 72721547 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718150793968 139718692096642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29640] ppid=29578 vsize=10914144 memory=716764 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29640/stat : 29640 (java) S 29578 29581 26438 0 -1 1077944384 38 12895 0 0 0 0 4 3 20 0 15 0 72721548 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718149740320 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29641] ppid=29578 vsize=10914144 memory=716764 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29641/stat : 29641 (java) S 29578 29581 26438 0 -1 1077944384 4 12895 0 0 0 0 4 3 20 0 15 0 72721548 11176083456 179191 33554432000 4194304 4196468 140737200188448 139717567833344 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29642] ppid=29578 vsize=10914144 memory=716740 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29642/stat : 29642 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721550 11176083456 179191 33554432000 4194304 4196468 140737200188448 139717260433872 139718692104091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29643] ppid=29578 vsize=10914144 memory=9992 CPUtime=8.63 cores=1,3,5,7
/proc/29581/task/29643/stat : 29643 (java) S 29578 29581 26438 0 -1 1077944384 34395 12895 0 0 848 8 4 3 20 0 15 0 72721550 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718116182256 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29644] ppid=29578 vsize=10914144 memory=1228 CPUtime=7.79 cores=1,3,5,7
/proc/29581/task/29644/stat : 29644 (java) S 29578 29581 26438 0 -1 1077944384 18665 12895 0 0 767 5 4 3 20 0 15 0 72721550 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718115129712 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29645] ppid=29578 vsize=10914144 memory=716764 CPUtime=3.37 cores=1,3,5,7
/proc/29581/task/29645/stat : 29645 (java) S 29578 29581 26438 0 -1 1077944384 22598 12895 0 0 325 5 4 3 20 0 15 0 72721551 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718114076656 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29646] ppid=29578 vsize=10914144 memory=716764 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29646/stat : 29646 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721551 11176083456 179191 33554432000 4194304 4196468 140737200188448 139717226875232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29647] ppid=29578 vsize=10914144 memory=303430223234596890 CPUtime=1.48 cores=1,3,5,7
/proc/29581/task/29647/stat : 29647 (java) S 29578 29581 26438 0 -1 1077944384 723 12895 0 0 67 74 4 3 20 0 15 0 72721551 11176083456 179191 33554432000 4194304 4196468 140737200188448 139718113025072 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
Current children cumulated CPU time: 2485.66 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 716764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.3 s]
/proc/loadavg: 1.13 1.24 1.32 6/215 29871
/proc/meminfo: memFree=11107784/32770624 swapFree=67108860/67108860
[pid=29581] ppid=29578 vsize=10914144 memory=716800 CPUtime=2520.04 cores=1,3,5,7
/proc/29581/stat : 29581 (java) S 29578 29581 26438 0 -1 1077944320 205828 12895 0 0 251677 320 4 3 20 0 15 0 72721536 11176083456 179200 33554432000 4194304 4196468 140737200188448 140737200170992 139718692085495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
/proc/29581/statm: 2728536 179200 3524 1 0 2690189 0
[pid=29581/tid=29634] ppid=29578 vsize=10914144 memory=716800 CPUtime=2454.25 cores=1,3,5,7
/proc/29581/task/29634/stat : 29634 (java) R 29578 29581 26438 0 -1 4202560 84813 12895 0 0 245377 41 4 3 20 0 15 0 72721545 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718663921008 139718671284973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29635] ppid=29578 vsize=10914144 memory=56 CPUtime=9.1 cores=1,3,5,7
/proc/29581/task/29635/stat : 29635 (java) S 29578 29581 26438 0 -1 1077944384 11239 12895 0 0 858 45 4 3 20 0 15 0 72721546 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718696327696 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29636] ppid=29578 vsize=10914144 memory=716800 CPUtime=9.08 cores=1,3,5,7
/proc/29581/task/29636/stat : 29636 (java) S 29578 29581 26438 0 -1 1077944384 4976 12895 0 0 853 48 4 3 20 0 15 0 72721546 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718584601232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29637] ppid=29578 vsize=10914144 memory=716800 CPUtime=9.09 cores=1,3,5,7
/proc/29581/task/29637/stat : 29637 (java) S 29578 29581 26438 0 -1 1077944384 10399 12895 0 0 852 50 4 3 20 0 15 0 72721546 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718583548176 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29638] ppid=29578 vsize=10914144 memory=716800 CPUtime=9.11 cores=1,3,5,7
/proc/29581/task/29638/stat : 29638 (java) S 29578 29581 26438 0 -1 1077944384 6250 12895 0 0 854 50 4 3 20 0 15 0 72721546 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718582495632 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29639] ppid=29578 vsize=10914144 memory=716800 CPUtime=8.62 cores=1,3,5,7
/proc/29581/task/29639/stat : 29639 (java) S 29578 29581 26438 0 -1 1077944384 9511 12895 0 0 805 50 4 3 20 0 15 0 72721547 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718150793968 139718692096642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29640] ppid=29578 vsize=10914144 memory=716764 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29640/stat : 29640 (java) S 29578 29581 26438 0 -1 1077944384 38 12895 0 0 0 0 4 3 20 0 15 0 72721548 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718149740320 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29641] ppid=29578 vsize=10914144 memory=10592 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29641/stat : 29641 (java) S 29578 29581 26438 0 -1 1077944384 4 12895 0 0 0 0 4 3 20 0 15 0 72721548 11176083456 179200 33554432000 4194304 4196468 140737200188448 139717567833344 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29642] ppid=29578 vsize=10914144 memory=716800 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29642/stat : 29642 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721550 11176083456 179200 33554432000 4194304 4196468 140737200188448 139717260433872 139718692104091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29643] ppid=29578 vsize=10914144 memory=716800 CPUtime=8.63 cores=1,3,5,7
/proc/29581/task/29643/stat : 29643 (java) S 29578 29581 26438 0 -1 1077944384 34397 12895 0 0 848 8 4 3 20 0 15 0 72721550 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718116182256 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29644] ppid=29578 vsize=10914144 memory=716800 CPUtime=7.79 cores=1,3,5,7
/proc/29581/task/29644/stat : 29644 (java) S 29578 29581 26438 0 -1 1077944384 18667 12895 0 0 767 5 4 3 20 0 15 0 72721550 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718115129712 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29645] ppid=29578 vsize=10914144 memory=716800 CPUtime=3.37 cores=1,3,5,7
/proc/29581/task/29645/stat : 29645 (java) S 29578 29581 26438 0 -1 1077944384 22600 12895 0 0 325 5 4 3 20 0 15 0 72721551 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718114076656 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29646] ppid=29578 vsize=10914144 memory=716800 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29646/stat : 29646 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721551 11176083456 179200 33554432000 4194304 4196468 140737200188448 139717226875232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29647] ppid=29578 vsize=10914144 memory=716800 CPUtime=1.5 cores=1,3,5,7
/proc/29581/task/29647/stat : 29647 (java) S 29578 29581 26438 0 -1 1077944384 740 12895 0 0 68 75 4 3 20 0 15 0 72721551 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718113025072 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 716800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.34 s]
# the end of solver process 29581 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.84 s, system=3.2429 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.3 s]
/proc/loadavg: 1.13 1.24 1.32 6/215 29871
/proc/meminfo: memFree=11107784/32770624 swapFree=67108860/67108860
[pid=29581] ppid=29578 vsize=10914144 memory=716800 CPUtime=2520.04 cores=1,3,5,7
/proc/29581/stat : 29581 (java) S 29578 29581 26438 0 -1 1077944320 205828 12895 0 0 251677 320 4 3 20 0 15 0 72721536 11176083456 179200 33554432000 4194304 4196468 140737200188448 140737200170992 139718692085495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
/proc/29581/statm: 2728536 179200 3524 1 0 2690189 0
[pid=29581/tid=29634] ppid=29578 vsize=10914144 memory=716800 CPUtime=2454.25 cores=1,3,5,7
/proc/29581/task/29634/stat : 29634 (java) R 29578 29581 26438 0 -1 4202560 84813 12895 0 0 245377 41 4 3 20 0 15 0 72721545 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718663921008 139718671284973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29635] ppid=29578 vsize=10914144 memory=56 CPUtime=9.1 cores=1,3,5,7
/proc/29581/task/29635/stat : 29635 (java) S 29578 29581 26438 0 -1 1077944384 11239 12895 0 0 858 45 4 3 20 0 15 0 72721546 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718696327696 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29636] ppid=29578 vsize=10914144 memory=716800 CPUtime=9.08 cores=1,3,5,7
/proc/29581/task/29636/stat : 29636 (java) S 29578 29581 26438 0 -1 1077944384 4976 12895 0 0 853 48 4 3 20 0 15 0 72721546 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718584601232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29637] ppid=29578 vsize=10914144 memory=716800 CPUtime=9.09 cores=1,3,5,7
/proc/29581/task/29637/stat : 29637 (java) S 29578 29581 26438 0 -1 1077944384 10399 12895 0 0 852 50 4 3 20 0 15 0 72721546 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718583548176 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29638] ppid=29578 vsize=10914144 memory=716800 CPUtime=9.11 cores=1,3,5,7
/proc/29581/task/29638/stat : 29638 (java) S 29578 29581 26438 0 -1 1077944384 6250 12895 0 0 854 50 4 3 20 0 15 0 72721546 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718582495632 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29639] ppid=29578 vsize=10914144 memory=716800 CPUtime=8.62 cores=1,3,5,7
/proc/29581/task/29639/stat : 29639 (java) S 29578 29581 26438 0 -1 1077944384 9511 12895 0 0 805 50 4 3 20 0 15 0 72721547 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718150793968 139718692096642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29640] ppid=29578 vsize=10914144 memory=716764 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29640/stat : 29640 (java) S 29578 29581 26438 0 -1 1077944384 38 12895 0 0 0 0 4 3 20 0 15 0 72721548 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718149740320 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29641] ppid=29578 vsize=10914144 memory=10592 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29641/stat : 29641 (java) S 29578 29581 26438 0 -1 1077944384 4 12895 0 0 0 0 4 3 20 0 15 0 72721548 11176083456 179200 33554432000 4194304 4196468 140737200188448 139717567833344 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29642] ppid=29578 vsize=10914144 memory=716800 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29642/stat : 29642 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721550 11176083456 179200 33554432000 4194304 4196468 140737200188448 139717260433872 139718692104091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29643] ppid=29578 vsize=10914144 memory=716800 CPUtime=8.63 cores=1,3,5,7
/proc/29581/task/29643/stat : 29643 (java) S 29578 29581 26438 0 -1 1077944384 34397 12895 0 0 848 8 4 3 20 0 15 0 72721550 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718116182256 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29644] ppid=29578 vsize=10914144 memory=716800 CPUtime=7.79 cores=1,3,5,7
/proc/29581/task/29644/stat : 29644 (java) S 29578 29581 26438 0 -1 1077944384 18667 12895 0 0 767 5 4 3 20 0 15 0 72721550 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718115129712 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29645] ppid=29578 vsize=10914144 memory=716800 CPUtime=3.37 cores=1,3,5,7
/proc/29581/task/29645/stat : 29645 (java) S 29578 29581 26438 0 -1 1077944384 22600 12895 0 0 325 5 4 3 20 0 15 0 72721551 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718114076656 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29646] ppid=29578 vsize=10914144 memory=716800 CPUtime=0.07 cores=1,3,5,7
/proc/29581/task/29646/stat : 29646 (java) S 29578 29581 26438 0 -1 1077944384 3 12895 0 0 0 0 4 3 20 0 15 0 72721551 11176083456 179200 33554432000 4194304 4196468 140737200188448 139717226875232 139718692095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
[pid=29581/tid=29647] ppid=29578 vsize=10914144 memory=716800 CPUtime=1.5 cores=1,3,5,7
/proc/29581/task/29647/stat : 29647 (java) S 29578 29581 26438 0 -1 1077944384 740 12895 0 0 68 75 4 3 20 0 15 0 72721551 11176083456 179200 33554432000 4194304 4196468 140737200188448 139718113025072 139718692096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140737200195755 140737200199004 140737200199004 140737200201679 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 716800 KiB
Child status: 143
Real time (s): 2476.34
CPU time (s): 2520.08
CPU user time (s): 2516.84
CPU system time (s): 3.2429
CPU usage (%): 101.767
Max. virtual memory (cumulated for all children) (KiB): 10917000
Max. memory (cumulated for all children) (KiB): 716800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.84
system time used= 3.2429
maximum resident set size= 721004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219463
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 244163
involuntary context switches= 7921
# summary of solver processes directly reported to runsolver:
# pid: 29581
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.84
# total CPU system time (s): 3.2429
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8067 second user time and 22.359 second system time
The end