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 (9705 MiB free)
memory of node 1: 16384 MiB (13004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387427-1568304314/watcher-4387427-1568304314 -o /tmp/evaluation-result-4387427-1568304314/solver-4387427-1568304314 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568286551-1787 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1110564454 HOME/instance-4387427-1568304314.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=7536, runsolver pid=7533
[startup+0.109464 s]*
/proc/loadavg: 1.99 1.57 1.47 3/221 7594
/proc/meminfo: memFree=23243620/32770624 swapFree=67108848/67108860
[pid=7536] ppid=7533 vsize=10355560 memory=21700 CPUtime=0.1 cores=1,3,5,7
/proc/7536/stat : 7536 (java) S 7533 7536 466 0 -1 1077944320 4686 13138 0 0 2 1 5 2 20 0 9 0 406368795 10604093440 5425 33554432000 4194304 4196468 140724399591856 140724399574400 140482522140407 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
/proc/7536/statm: 2588890 5425 2102 1 0 2551431 0
[pid=7536/tid=7589] ppid=7533 vsize=10355560 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/7536/task/7589/stat : 7589 (java) R 7533 7536 466 0 -1 4202560 2462 13138 0 0 1 0 5 2 20 0 9 0 406368804 10604093440 5425 33554432000 4194304 4196468 140724399591856 140482493976432 140482507822933 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7590] ppid=7533 vsize=10355560 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7590/stat : 7590 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 9 0 406368805 10604093440 5425 33554432000 4194304 4196468 140724399591856 140482526383248 140482522150613 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7591] ppid=7533 vsize=10355560 memory=139886868084352 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7591/stat : 7591 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 9 0 406368805 10604093440 5425 33554432000 4194304 4196468 140724399591856 140482414656528 140482522150613 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7592] ppid=7533 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7592/stat : 7592 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 9 0 406368805 10604093440 5425 33554432000 4194304 4196468 140724399591856 140482413603728 140482522150613 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7593] ppid=7533 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7593/stat : 7593 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 9 0 406368805 10604093440 5425 33554432000 4194304 4196468 140724399591856 140482412550928 140482522150613 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7594] ppid=7533 vsize=10355560 memory=139886868084352 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7594/stat : 7594 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 9 0 406368806 10604093440 5425 33554432000 4194304 4196468 140724399591856 140481980725616 140482522151554 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7595] ppid=7533 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7595/stat : 7595 (java) S 7533 7536 466 0 -1 1077944384 33 13138 0 0 0 0 5 2 20 0 9 0 406368806 10604093440 5425 33554432000 4194304 4196468 140724399591856 140481979671584 140482522150613 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7596] ppid=7533 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7596/stat : 7596 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 9 0 406368807 10604093440 5425 33554432000 4194304 4196468 140724399591856 140481870685104 140482522150613 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21700 KiB
[startup+0.210596 s]*
/proc/loadavg: 1.99 1.57 1.47 4/229 7602
/proc/meminfo: memFree=23225216/32770624 swapFree=67108848/67108860
[pid=7536] ppid=7533 vsize=10818940 memory=42084 CPUtime=0.26 cores=1,3,5,7
/proc/7536/stat : 7536 (java) S 7533 7536 466 0 -1 1077944320 6811 13138 0 0 17 2 5 2 20 0 15 0 406368795 11078594560 10521 33554432000 4194304 4196468 140724399591856 140724399574400 140482522140407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
/proc/7536/statm: 2704735 10521 2982 1 0 2667149 0
[pid=7536/tid=7589] ppid=7533 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/7536/task/7589/stat : 7589 (java) R 7533 7536 466 0 -1 4202560 3308 13138 0 0 11 1 5 2 20 0 15 0 406368804 11078594560 10521 33554432000 4194304 4196468 140724399591856 140482493973232 140482522162333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7590] ppid=7533 vsize=10818940 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7590/stat : 7590 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368805 11078594560 10521 33554432000 4194304 4196468 140724399591856 140482526383248 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7591] ppid=7533 vsize=10818940 memory=139886868091547 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7591/stat : 7591 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368805 11078594560 10521 33554432000 4194304 4196468 140724399591856 140482414656528 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7592] ppid=7533 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7592/stat : 7592 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368805 11078594560 10521 33554432000 4194304 4196468 140724399591856 140482413603728 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7593] ppid=7533 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7593/stat : 7593 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368805 11078594560 10521 33554432000 4194304 4196468 140724399591856 140482412550928 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7594] ppid=7533 vsize=10818940 memory=139886868084352 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7594/stat : 7594 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368806 11078594560 10521 33554432000 4194304 4196468 140724399591856 140481980725616 140482522151554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7595] ppid=7533 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7595/stat : 7595 (java) S 7533 7536 466 0 -1 1077944384 33 13138 0 0 0 0 5 2 20 0 15 0 406368806 11078594560 10521 33554432000 4194304 4196468 140724399591856 140481979671584 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7596] ppid=7533 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7596/stat : 7596 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368807 11078594560 10521 33554432000 4194304 4196468 140724399591856 140481870685040 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7597] ppid=7533 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7597/stat : 7597 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368809 11078594560 10521 33554432000 4194304 4196468 140724399591856 140481266706256 140482522159003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7598] ppid=7533 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7536/task/7598/stat : 7598 (java) S 7533 7536 466 0 -1 1077944384 474 13138 0 0 1 0 5 2 20 0 15 0 406368809 11078594560 10521 33554432000 4194304 4196468 140724399591856 140481946114928 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7599] ppid=7533 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7599/stat : 7599 (java) S 7533 7536 466 0 -1 1077944384 164 13138 0 0 0 0 5 2 20 0 15 0 406368809 11078594560 10521 33554432000 4194304 4196468 140724399591856 140481945062128 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7600] ppid=7533 vsize=10818940 memory=139886868084352 CPUtime=0.1 cores=1,3,5,7
/proc/7536/task/7600/stat : 7600 (java) S 7533 7536 466 0 -1 1077944384 625 13138 0 0 3 0 5 2 20 0 15 0 406368809 11078594560 10521 33554432000 4194304 4196468 140724399591856 140481944009328 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7601] ppid=7533 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7601/stat : 7601 (java) S 7533 7536 466 0 -1 1077944384 3 13138 0 0 0 0 5 2 20 0 15 0 406368810 11078594560 10521 33554432000 4194304 4196468 140724399591856 140480796945120 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7602] ppid=7533 vsize=10818940 memory=139886868084352 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7602/stat : 7602 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368810 11078594560 10521 33554432000 4194304 4196468 140724399591856 140481942956720 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 42084 KiB
[startup+0.31098 s]*
/proc/loadavg: 1.99 1.57 1.47 3/229 7602
/proc/meminfo: memFree=23214716/32770624 swapFree=67108848/67108860
[pid=7536] ppid=7533 vsize=10820244 memory=53416 CPUtime=0.4 cores=1,3,5,7
/proc/7536/stat : 7536 (java) S 7533 7536 466 0 -1 1077944320 10554 13138 0 0 30 3 5 2 20 0 15 0 406368795 11079929856 13354 33554432000 4194304 4196468 140724399591856 140724399574400 140482522140407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
/proc/7536/statm: 2705061 13354 3301 1 0 2667149 0
[pid=7536/tid=7589] ppid=7533 vsize=10820244 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/7536/task/7589/stat : 7589 (java) R 7533 7536 466 0 -1 4202560 7023 13138 0 0 20 2 5 2 20 0 15 0 406368804 11079929856 13354 33554432000 4194304 4196468 140724399591856 140482493958512 140482522162333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7590] ppid=7533 vsize=10820244 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7590/stat : 7590 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368805 11079929856 13354 33554432000 4194304 4196468 140724399591856 140482526383248 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7591] ppid=7533 vsize=10820244 memory=-6733704525061579059 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7591/stat : 7591 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368805 11079929856 13354 33554432000 4194304 4196468 140724399591856 140482414656528 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7592] ppid=7533 vsize=10820244 memory=139886868091345 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7592/stat : 7592 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368805 11079929856 13354 33554432000 4194304 4196468 140724399591856 140482413603728 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7593] ppid=7533 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7593/stat : 7593 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368805 11079929856 13354 33554432000 4194304 4196468 140724399591856 140482412550928 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7594] ppid=7533 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7594/stat : 7594 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368806 11079929856 13354 33554432000 4194304 4196468 140724399591856 140481980725616 140482522151554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7595] ppid=7533 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7595/stat : 7595 (java) S 7533 7536 466 0 -1 1077944384 33 13138 0 0 0 0 5 2 20 0 15 0 406368806 11079929856 13354 33554432000 4194304 4196468 140724399591856 140481979671584 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7596] ppid=7533 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7596/stat : 7596 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368807 11079929856 13354 33554432000 4194304 4196468 140724399591856 140481870685040 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7597] ppid=7533 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7597/stat : 7597 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368809 11079929856 13354 33554432000 4194304 4196468 140724399591856 140481266706256 140482522159003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7598] ppid=7533 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7536/task/7598/stat : 7598 (java) R 7533 7536 466 0 -1 4202560 483 13138 0 0 2 0 5 2 20 0 15 0 406368809 11079929856 13354 33554432000 4194304 4196468 140724399591856 140481946114928 140482500014592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7599] ppid=7533 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7536/task/7599/stat : 7599 (java) S 7533 7536 466 0 -1 1077944384 165 13138 0 0 1 0 5 2 20 0 15 0 406368809 11079929856 13354 33554432000 4194304 4196468 140724399591856 140481945062128 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7600] ppid=7533 vsize=10820244 memory=139886868084352 CPUtime=0.13 cores=1,3,5,7
/proc/7536/task/7600/stat : 7600 (java) S 7533 7536 466 0 -1 1077944384 637 13138 0 0 6 0 5 2 20 0 15 0 406368809 11079929856 13354 33554432000 4194304 4196468 140724399591856 140481944009328 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7601] ppid=7533 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7601/stat : 7601 (java) S 7533 7536 466 0 -1 1077944384 3 13138 0 0 0 0 5 2 20 0 15 0 406368810 11079929856 13354 33554432000 4194304 4196468 140724399591856 140480796945120 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7602] ppid=7533 vsize=10820244 memory=139886868084352 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7602/stat : 7602 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368810 11079929856 13354 33554432000 4194304 4196468 140724399591856 140481942956720 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 53416 KiB
[startup+0.702143 s]
/proc/loadavg: 1.99 1.57 1.47 5/229 7602
/proc/meminfo: memFree=23199136/32770624 swapFree=67108848/67108860
[pid=7536] ppid=7533 vsize=10824340 memory=83120 CPUtime=1.15 cores=1,3,5,7
/proc/7536/stat : 7536 (java) S 7533 7536 466 0 -1 1077944320 14599 13138 0 0 103 5 5 2 20 0 15 0 406368795 11084124160 20780 33554432000 4194304 4196468 140724399591856 140724399574400 140482522140407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
/proc/7536/statm: 2706085 20780 3509 1 0 2668173 0
[pid=7536/tid=7589] ppid=7533 vsize=10824340 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/7536/task/7589/stat : 7589 (java) R 7533 7536 466 0 -1 4202560 10267 13138 0 0 55 4 5 2 20 0 15 0 406368804 11084124160 20780 33554432000 4194304 4196468 140724399591856 140482493960592 140482522161754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7590] ppid=7533 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7590/stat : 7590 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368805 11084124160 20780 33554432000 4194304 4196468 140724399591856 140482526383248 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7591] ppid=7533 vsize=10824340 memory=4294631754218 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7591/stat : 7591 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368805 11084124160 20780 33554432000 4194304 4196468 140724399591856 140482414656528 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7592] ppid=7533 vsize=10824340 memory=56747734 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7592/stat : 7592 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368805 11084124160 20780 33554432000 4194304 4196468 140724399591856 140482413603728 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7593] ppid=7533 vsize=10824340 memory=6235304476340226460 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7593/stat : 7593 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368805 11084124160 20780 33554432000 4194304 4196468 140724399591856 140482412550928 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7594] ppid=7533 vsize=10824340 memory=1100 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7594/stat : 7594 (java) S 7533 7536 466 0 -1 1077944384 5 13138 0 0 0 0 5 2 20 0 15 0 406368806 11084124160 20780 33554432000 4194304 4196468 140724399591856 140481980725616 140482522151554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7595] ppid=7533 vsize=10824340 memory=15208 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7595/stat : 7595 (java) S 7533 7536 466 0 -1 1077944384 33 13138 0 0 0 0 5 2 20 0 15 0 406368806 11084124160 20780 33554432000 4194304 4196468 140724399591856 140481979671584 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7596] ppid=7533 vsize=10824340 memory=23096 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7596/stat : 7596 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368807 11084124160 20780 33554432000 4194304 4196468 140724399591856 140481870685040 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7597] ppid=7533 vsize=10824340 memory=4048 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7597/stat : 7597 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368809 11084124160 20780 33554432000 4194304 4196468 140724399591856 140481266706256 140482522159003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7598] ppid=7533 vsize=10824340 memory=14288 CPUtime=0.22 cores=1,3,5,7
/proc/7536/task/7598/stat : 7598 (java) S 7533 7536 466 0 -1 1077944384 862 13138 0 0 15 0 5 2 20 0 15 0 406368809 11084124160 20780 33554432000 4194304 4196468 140724399591856 140481946114928 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7599] ppid=7533 vsize=10824340 memory=504 CPUtime=0.19 cores=1,3,5,7
/proc/7536/task/7599/stat : 7599 (java) S 7533 7536 466 0 -1 1077944384 406 13138 0 0 12 0 5 2 20 0 15 0 406368809 11084124160 20780 33554432000 4194304 4196468 140724399591856 140481945062128 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7600] ppid=7533 vsize=10824340 memory=1728 CPUtime=0.25 cores=1,3,5,7
/proc/7536/task/7600/stat : 7600 (java) S 7533 7536 466 0 -1 1077944384 805 13138 0 0 18 0 5 2 20 0 15 0 406368809 11084124160 20780 33554432000 4194304 4196468 140724399591856 140481944009328 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7601] ppid=7533 vsize=10824340 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7601/stat : 7601 (java) S 7533 7536 466 0 -1 1077944384 3 13138 0 0 0 0 5 2 20 0 15 0 406368810 11084124160 20780 33554432000 4194304 4196468 140724399591856 140480796945120 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7602] ppid=7533 vsize=10824340 memory=7017546525117540948 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7602/stat : 7602 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368810 11084124160 20780 33554432000 4194304 4196468 140724399591856 140481942956720 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 83120 KiB
[startup+1.50115 s]
/proc/loadavg: 1.99 1.57 1.47 5/229 7602
/proc/meminfo: memFree=23144776/32770624 swapFree=67108848/67108860
[pid=7536] ppid=7533 vsize=10834656 memory=196420 CPUtime=3.21 cores=1,3,5,7
/proc/7536/stat : 7536 (java) S 7533 7536 466 0 -1 1077944320 26992 13138 0 0 303 11 5 2 20 0 15 0 406368795 11094687744 49105 33554432000 4194304 4196468 140724399591856 140724399574400 140482522140407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
/proc/7536/statm: 2708664 49105 3581 1 0 2670733 0
[pid=7536/tid=7589] ppid=7533 vsize=10834656 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/7536/task/7589/stat : 7589 (java) R 7533 7536 466 0 -1 4202560 15549 13138 0 0 130 6 5 2 20 0 15 0 406368804 11094687744 49105 33554432000 4194304 4196468 140724399591856 140482493973696 140482506220894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7590] ppid=7533 vsize=10834656 memory=279773498937984 CPUtime=0.08 cores=1,3,5,7
/proc/7536/task/7590/stat : 7590 (java) S 7533 7536 466 0 -1 1077944384 38 13138 0 0 1 0 5 2 20 0 15 0 406368805 11094687744 49105 33554432000 4194304 4196468 140724399591856 140482526383248 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7591] ppid=7533 vsize=10834656 memory=7305218370954487636 CPUtime=0.08 cores=1,3,5,7
/proc/7536/task/7591/stat : 7591 (java) S 7533 7536 466 0 -1 1077944384 27 13138 0 0 1 0 5 2 20 0 15 0 406368805 11094687744 49105 33554432000 4194304 4196468 140724399591856 140482414656528 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7592] ppid=7533 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7536/task/7592/stat : 7592 (java) S 7533 7536 466 0 -1 1077944384 309 13138 0 0 1 0 5 2 20 0 15 0 406368805 11094687744 49105 33554432000 4194304 4196468 140724399591856 140482413603728 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7593] ppid=7533 vsize=10834656 memory=6994781559841273980 CPUtime=0.08 cores=1,3,5,7
/proc/7536/task/7593/stat : 7593 (java) S 7533 7536 466 0 -1 1077944384 83 13138 0 0 1 0 5 2 20 0 15 0 406368805 11094687744 49105 33554432000 4194304 4196468 140724399591856 140482412550928 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7594] ppid=7533 vsize=10834656 memory=7100839852556452247 CPUtime=0.08 cores=1,3,5,7
/proc/7536/task/7594/stat : 7594 (java) S 7533 7536 466 0 -1 1077944384 864 13138 0 0 1 0 5 2 20 0 15 0 406368806 11094687744 49105 33554432000 4194304 4196468 140724399591856 140481980725616 140482522151554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7595] ppid=7533 vsize=10834656 memory=7100839852556452247 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7595/stat : 7595 (java) S 7533 7536 466 0 -1 1077944384 34 13138 0 0 0 0 5 2 20 0 15 0 406368806 11094687744 49105 33554432000 4194304 4196468 140724399591856 140481979671648 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7596] ppid=7533 vsize=10834656 memory=4627829668795872141 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7596/stat : 7596 (java) S 7533 7536 466 0 -1 1077944384 1 13138 0 0 0 0 5 2 20 0 15 0 406368807 11094687744 49105 33554432000 4194304 4196468 140724399591856 140481870685056 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7597] ppid=7533 vsize=10834656 memory=4498404016631593314 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7597/stat : 7597 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368809 11094687744 49105 33554432000 4194304 4196468 140724399591856 140481266706256 140482522159003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7598] ppid=7533 vsize=10834656 memory=-8614213584521512614 CPUtime=0.66 cores=1,3,5,7
/proc/7536/task/7598/stat : 7598 (java) S 7533 7536 466 0 -1 1077944384 2216 13138 0 0 59 0 5 2 20 0 15 0 406368809 11094687744 49105 33554432000 4194304 4196468 140724399591856 140481946114928 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7599] ppid=7533 vsize=10834656 memory=-7240599211820661557 CPUtime=0.7 cores=1,3,5,7
/proc/7536/task/7599/stat : 7599 (java) S 7533 7536 466 0 -1 1077944384 3418 13138 0 0 63 0 5 2 20 0 15 0 406368809 11094687744 49105 33554432000 4194304 4196468 140724399591856 140481945062128 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7600] ppid=7533 vsize=10834656 memory=4196912344889787449 CPUtime=0.5 cores=1,3,5,7
/proc/7536/task/7600/stat : 7600 (java) S 7533 7536 466 0 -1 1077944384 2242 13138 0 0 43 0 5 2 20 0 15 0 406368809 11094687744 49105 33554432000 4194304 4196468 140724399591856 140481944009328 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
################
# More data... #
################
/proc/7536/task/7589/stat : 7589 (java) R 7533 7536 466 0 -1 4202560 462353 13138 0 0 219946 93 5 2 20 0 15 0 406368804 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140482493975696 140482097920416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7590] ppid=7533 vsize=10846964 memory=279773499522176 CPUtime=50.68 cores=1,3,5,7
/proc/7536/task/7590/stat : 7590 (java) S 7533 7536 466 0 -1 1077944384 42433 13138 0 0 4958 103 5 2 20 0 15 0 406368805 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140482526383248 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7591] ppid=7533 vsize=10846964 memory=4763740 CPUtime=50.84 cores=1,3,5,7
/proc/7536/task/7591/stat : 7591 (java) S 7533 7536 466 0 -1 1077944384 53794 13138 0 0 4970 107 5 2 20 0 15 0 406368805 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140482414656528 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7592] ppid=7533 vsize=10846964 memory=4763744 CPUtime=50.61 cores=1,3,5,7
/proc/7536/task/7592/stat : 7592 (java) S 7533 7536 466 0 -1 1077944384 48441 13138 0 0 4944 110 5 2 20 0 15 0 406368805 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140482413603728 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7593] ppid=7533 vsize=10846964 memory=4763744 CPUtime=50.24 cores=1,3,5,7
/proc/7536/task/7593/stat : 7593 (java) S 7533 7536 466 0 -1 1077944384 45754 13138 0 0 4906 111 5 2 20 0 15 0 406368805 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140482412550928 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7594] ppid=7533 vsize=10846964 memory=4763744 CPUtime=10.59 cores=1,3,5,7
/proc/7536/task/7594/stat : 7594 (java) S 7533 7536 466 0 -1 1077944384 67102 13138 0 0 1040 12 5 2 20 0 15 0 406368806 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140481980725616 140482522151554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7595] ppid=7533 vsize=10846964 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7595/stat : 7595 (java) S 7533 7536 466 0 -1 1077944384 51 13138 0 0 0 0 5 2 20 0 15 0 406368806 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140481979671712 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7596] ppid=7533 vsize=10846964 memory=1636 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7596/stat : 7596 (java) S 7533 7536 466 0 -1 1077944384 10 13138 0 0 0 0 5 2 20 0 15 0 406368807 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140481870685056 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7597] ppid=7533 vsize=10846964 memory=4763744 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7597/stat : 7597 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368809 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140481266706256 140482522159003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7598] ppid=7533 vsize=10846964 memory=4763744 CPUtime=6.19 cores=1,3,5,7
/proc/7536/task/7598/stat : 7598 (java) S 7533 7536 466 0 -1 1077944384 55816 13138 0 0 602 10 5 2 20 0 15 0 406368809 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140481946114928 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7599] ppid=7533 vsize=10846964 memory=4763744 CPUtime=6.01 cores=1,3,5,7
/proc/7536/task/7599/stat : 7599 (java) S 7533 7536 466 0 -1 1077944384 55812 13138 0 0 587 7 5 2 20 0 15 0 406368809 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140481945062128 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7600] ppid=7533 vsize=10846964 memory=2352 CPUtime=4.06 cores=1,3,5,7
/proc/7536/task/7600/stat : 7600 (java) S 7533 7536 466 0 -1 1077944384 50688 13138 0 0 389 10 5 2 20 0 15 0 406368809 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140481944009328 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7601] ppid=7533 vsize=10846964 memory=1808 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7601/stat : 7601 (java) S 7533 7536 466 0 -1 1077944384 3 13138 0 0 0 0 5 2 20 0 15 0 406368810 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140480796945120 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7602] ppid=7533 vsize=10846964 memory=920 CPUtime=1.44 cores=1,3,5,7
/proc/7536/task/7602/stat : 7602 (java) S 7533 7536 466 0 -1 1077944384 2171 13138 0 0 62 75 5 2 20 0 15 0 406368810 11107291136 1190936 33554432000 4194304 4196468 140724399591856 140481942956720 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
Current children cumulated CPU time: 2430.62 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4763744 KiB
[startup+2322.3 s]
/proc/loadavg: 1.47 1.49 1.52 6/228 7951
/proc/meminfo: memFree=17347896/32770624 swapFree=67108848/67108860
[pid=7536] ppid=7533 vsize=10846964 memory=4763752 CPUtime=2490.8 cores=1,3,5,7
/proc/7536/stat : 7536 (java) S 7533 7536 466 0 -1 1077944320 900028 13138 0 0 248447 626 5 2 20 0 15 0 406368795 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140724399574400 140482522140407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
/proc/7536/statm: 2711741 1190938 3633 1 0 2673805 0
[pid=7536/tid=7589] ppid=7533 vsize=10846964 memory=4763752 CPUtime=2260.4 cores=1,3,5,7
/proc/7536/task/7589/stat : 7589 (java) R 7533 7536 466 0 -1 4202560 472325 13138 0 0 225938 95 5 2 20 0 15 0 406368804 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140482493975440 140482102579264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7590] ppid=7533 vsize=10846964 memory=4763752 CPUtime=50.73 cores=1,3,5,7
/proc/7536/task/7590/stat : 7590 (java) S 7533 7536 466 0 -1 1077944384 42691 13138 0 0 4963 103 5 2 20 0 15 0 406368805 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140482526383248 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7591] ppid=7533 vsize=10846964 memory=4763744 CPUtime=50.89 cores=1,3,5,7
/proc/7536/task/7591/stat : 7591 (java) S 7533 7536 466 0 -1 1077944384 55401 13138 0 0 4975 107 5 2 20 0 15 0 406368805 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140482414656528 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7592] ppid=7533 vsize=10846964 memory=4763752 CPUtime=50.66 cores=1,3,5,7
/proc/7536/task/7592/stat : 7592 (java) S 7533 7536 466 0 -1 1077944384 48543 13138 0 0 4949 110 5 2 20 0 15 0 406368805 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140482413603728 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7593] ppid=7533 vsize=10846964 memory=4763752 CPUtime=50.28 cores=1,3,5,7
/proc/7536/task/7593/stat : 7593 (java) S 7533 7536 466 0 -1 1077944384 46045 13138 0 0 4910 111 5 2 20 0 15 0 406368805 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140482412550928 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7594] ppid=7533 vsize=10846964 memory=4763752 CPUtime=10.61 cores=1,3,5,7
/proc/7536/task/7594/stat : 7594 (java) S 7533 7536 466 0 -1 1077944384 67422 13138 0 0 1042 12 5 2 20 0 15 0 406368806 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140481980725616 140482522151554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7595] ppid=7533 vsize=10846964 memory=4763752 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7595/stat : 7595 (java) S 7533 7536 466 0 -1 1077944384 51 13138 0 0 0 0 5 2 20 0 15 0 406368806 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140481979671712 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7596] ppid=7533 vsize=10846964 memory=4763752 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7596/stat : 7596 (java) S 7533 7536 466 0 -1 1077944384 10 13138 0 0 0 0 5 2 20 0 15 0 406368807 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140481870685056 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7597] ppid=7533 vsize=10846964 memory=7374758023436981604 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7597/stat : 7597 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368809 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140481266706256 140482522159003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7598] ppid=7533 vsize=10846964 memory=4763752 CPUtime=6.19 cores=1,3,5,7
/proc/7536/task/7598/stat : 7598 (java) S 7533 7536 466 0 -1 1077944384 56627 13138 0 0 602 10 5 2 20 0 15 0 406368809 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140481946114928 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7599] ppid=7533 vsize=10846964 memory=4763752 CPUtime=6.02 cores=1,3,5,7
/proc/7536/task/7599/stat : 7599 (java) S 7533 7536 466 0 -1 1077944384 55814 13138 0 0 588 7 5 2 20 0 15 0 406368809 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140481945062128 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7600] ppid=7533 vsize=10846964 memory=8112282956445269571 CPUtime=4.06 cores=1,3,5,7
/proc/7536/task/7600/stat : 7600 (java) S 7533 7536 466 0 -1 1077944384 50690 13138 0 0 389 10 5 2 20 0 15 0 406368809 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140481944009328 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7601] ppid=7533 vsize=10846964 memory=4763752 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7601/stat : 7601 (java) S 7533 7536 466 0 -1 1077944384 3 13138 0 0 0 0 5 2 20 0 15 0 406368810 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140480796945120 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7602] ppid=7533 vsize=10846964 memory=4763752 CPUtime=1.47 cores=1,3,5,7
/proc/7536/task/7602/stat : 7602 (java) S 7533 7536 466 0 -1 1077944384 2195 13138 0 0 64 76 5 2 20 0 15 0 406368810 11107291136 1190938 33554432000 4194304 4196468 140724399591856 140481942956720 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
Current children cumulated CPU time: 2490.8 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4763752 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2351.5 s]
/proc/loadavg: 1.43 1.48 1.51 3/229 7954
/proc/meminfo: memFree=17361152/32770624 swapFree=67108848/67108860
[pid=7536] ppid=7533 vsize=10846964 memory=4763856 CPUtime=2520.07 cores=1,3,5,7
/proc/7536/stat : 7536 (java) S 7533 7536 466 0 -1 1077944320 911366 13138 0 0 251371 629 5 2 20 0 15 0 406368795 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140724399574400 140482522140407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
/proc/7536/statm: 2711741 1190964 3633 1 0 2673805 0
[pid=7536/tid=7589] ppid=7533 vsize=10846964 memory=4763752 CPUtime=2289.58 cores=1,3,5,7
/proc/7536/task/7589/stat : 7589 (java) R 7533 7536 466 0 -1 4202560 481116 13138 0 0 228855 96 5 2 20 0 15 0 406368804 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140482493975696 140482102565888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7590] ppid=7533 vsize=10846964 memory=4763752 CPUtime=50.75 cores=1,3,5,7
/proc/7536/task/7590/stat : 7590 (java) S 7533 7536 466 0 -1 1077944384 42890 13138 0 0 4965 103 5 2 20 0 15 0 406368805 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140482526383248 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7591] ppid=7533 vsize=10846964 memory=4763752 CPUtime=50.91 cores=1,3,5,7
/proc/7536/task/7591/stat : 7591 (java) S 7533 7536 466 0 -1 1077944384 55644 13138 0 0 4977 107 5 2 20 0 15 0 406368805 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140482414656528 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7592] ppid=7533 vsize=10846964 memory=4763752 CPUtime=50.68 cores=1,3,5,7
/proc/7536/task/7592/stat : 7592 (java) S 7533 7536 466 0 -1 1077944384 48719 13138 0 0 4951 110 5 2 20 0 15 0 406368805 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140482413603728 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7593] ppid=7533 vsize=10846964 memory=4763856 CPUtime=50.3 cores=1,3,5,7
/proc/7536/task/7593/stat : 7593 (java) S 7533 7536 466 0 -1 1077944384 47633 13138 0 0 4912 111 5 2 20 0 15 0 406368805 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140482412550928 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7594] ppid=7533 vsize=10846964 memory=4763856 CPUtime=10.62 cores=1,3,5,7
/proc/7536/task/7594/stat : 7594 (java) S 7533 7536 466 0 -1 1077944384 67726 13138 0 0 1042 13 5 2 20 0 15 0 406368806 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481980725616 140482522151554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7595] ppid=7533 vsize=10846964 memory=4763856 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7595/stat : 7595 (java) S 7533 7536 466 0 -1 1077944384 51 13138 0 0 0 0 5 2 20 0 15 0 406368806 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481979671712 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7596] ppid=7533 vsize=10846964 memory=4763856 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7596/stat : 7596 (java) S 7533 7536 466 0 -1 1077944384 10 13138 0 0 0 0 5 2 20 0 15 0 406368807 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481870685056 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7597] ppid=7533 vsize=10846964 memory=4763856 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7597/stat : 7597 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368809 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481266706256 140482522159003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7598] ppid=7533 vsize=10846964 memory=0 CPUtime=6.19 cores=1,3,5,7
/proc/7536/task/7598/stat : 7598 (java) S 7533 7536 466 0 -1 1077944384 56630 13138 0 0 602 10 5 2 20 0 15 0 406368809 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481946114928 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7599] ppid=7533 vsize=10846964 memory=4763856 CPUtime=6.02 cores=1,3,5,7
/proc/7536/task/7599/stat : 7599 (java) S 7533 7536 466 0 -1 1077944384 55822 13138 0 0 588 7 5 2 20 0 15 0 406368809 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481945062128 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7600] ppid=7533 vsize=10846964 memory=4763856 CPUtime=4.06 cores=1,3,5,7
/proc/7536/task/7600/stat : 7600 (java) S 7533 7536 466 0 -1 1077944384 50694 13138 0 0 389 10 5 2 20 0 15 0 406368809 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481944009328 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7601] ppid=7533 vsize=10846964 memory=3924 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7601/stat : 7601 (java) S 7533 7536 466 0 -1 1077944384 3 13138 0 0 0 0 5 2 20 0 15 0 406368810 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140480796945120 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7602] ppid=7533 vsize=10846964 memory=37928 CPUtime=1.5 cores=1,3,5,7
/proc/7536/task/7602/stat : 7602 (java) S 7533 7536 466 0 -1 1077944384 2217 13138 0 0 65 78 5 2 20 0 15 0 406368810 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481942956720 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4763856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2351.55 s]
# the end of solver process 7536 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.79 s, system=6.35041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2351.5 s]
/proc/loadavg: 1.43 1.48 1.51 3/229 7954
/proc/meminfo: memFree=17361152/32770624 swapFree=67108848/67108860
[pid=7536] ppid=7533 vsize=10846964 memory=4763856 CPUtime=2520.07 cores=1,3,5,7
/proc/7536/stat : 7536 (java) S 7533 7536 466 0 -1 1077944320 911366 13138 0 0 251371 629 5 2 20 0 15 0 406368795 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140724399574400 140482522140407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
/proc/7536/statm: 2711741 1190964 3633 1 0 2673805 0
[pid=7536/tid=7589] ppid=7533 vsize=10846964 memory=4763752 CPUtime=2289.58 cores=1,3,5,7
/proc/7536/task/7589/stat : 7589 (java) R 7533 7536 466 0 -1 4202560 481116 13138 0 0 228855 96 5 2 20 0 15 0 406368804 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140482493975696 140482102565888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7590] ppid=7533 vsize=10846964 memory=4763752 CPUtime=50.75 cores=1,3,5,7
/proc/7536/task/7590/stat : 7590 (java) S 7533 7536 466 0 -1 1077944384 42890 13138 0 0 4965 103 5 2 20 0 15 0 406368805 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140482526383248 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7591] ppid=7533 vsize=10846964 memory=4763752 CPUtime=50.91 cores=1,3,5,7
/proc/7536/task/7591/stat : 7591 (java) S 7533 7536 466 0 -1 1077944384 55644 13138 0 0 4977 107 5 2 20 0 15 0 406368805 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140482414656528 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7592] ppid=7533 vsize=10846964 memory=4763752 CPUtime=50.68 cores=1,3,5,7
/proc/7536/task/7592/stat : 7592 (java) S 7533 7536 466 0 -1 1077944384 48719 13138 0 0 4951 110 5 2 20 0 15 0 406368805 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140482413603728 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7593] ppid=7533 vsize=10846964 memory=4763856 CPUtime=50.3 cores=1,3,5,7
/proc/7536/task/7593/stat : 7593 (java) S 7533 7536 466 0 -1 1077944384 47633 13138 0 0 4912 111 5 2 20 0 15 0 406368805 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140482412550928 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7594] ppid=7533 vsize=10846964 memory=4763856 CPUtime=10.62 cores=1,3,5,7
/proc/7536/task/7594/stat : 7594 (java) S 7533 7536 466 0 -1 1077944384 67726 13138 0 0 1042 13 5 2 20 0 15 0 406368806 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481980725616 140482522151554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7595] ppid=7533 vsize=10846964 memory=4763856 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7595/stat : 7595 (java) S 7533 7536 466 0 -1 1077944384 51 13138 0 0 0 0 5 2 20 0 15 0 406368806 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481979671712 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7596] ppid=7533 vsize=10846964 memory=4763856 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7596/stat : 7596 (java) S 7533 7536 466 0 -1 1077944384 10 13138 0 0 0 0 5 2 20 0 15 0 406368807 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481870685056 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7597] ppid=7533 vsize=10846964 memory=4763856 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7597/stat : 7597 (java) S 7533 7536 466 0 -1 1077944384 2 13138 0 0 0 0 5 2 20 0 15 0 406368809 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481266706256 140482522159003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7598] ppid=7533 vsize=10846964 memory=0 CPUtime=6.19 cores=1,3,5,7
/proc/7536/task/7598/stat : 7598 (java) S 7533 7536 466 0 -1 1077944384 56630 13138 0 0 602 10 5 2 20 0 15 0 406368809 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481946114928 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7599] ppid=7533 vsize=10846964 memory=4763856 CPUtime=6.02 cores=1,3,5,7
/proc/7536/task/7599/stat : 7599 (java) S 7533 7536 466 0 -1 1077944384 55822 13138 0 0 588 7 5 2 20 0 15 0 406368809 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481945062128 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7600] ppid=7533 vsize=10846964 memory=4763856 CPUtime=4.06 cores=1,3,5,7
/proc/7536/task/7600/stat : 7600 (java) S 7533 7536 466 0 -1 1077944384 50694 13138 0 0 389 10 5 2 20 0 15 0 406368809 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481944009328 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7601] ppid=7533 vsize=10846964 memory=3924 CPUtime=0.07 cores=1,3,5,7
/proc/7536/task/7601/stat : 7601 (java) S 7533 7536 466 0 -1 1077944384 3 13138 0 0 0 0 5 2 20 0 15 0 406368810 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140480796945120 140482522150613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
[pid=7536/tid=7602] ppid=7533 vsize=10846964 memory=37928 CPUtime=1.5 cores=1,3,5,7
/proc/7536/task/7602/stat : 7602 (java) S 7533 7536 466 0 -1 1077944384 2217 13138 0 0 65 78 5 2 20 0 15 0 406368810 11107291136 1190964 33554432000 4194304 4196468 140724399591856 140481942956720 140482522151554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 31076352 140724399598325 140724399600837 140724399600837 140724399603663 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 4763856 KiB
Child status: 143
Real time (s): 2351.55
CPU time (s): 2520.14
CPU user time (s): 2513.79
CPU system time (s): 6.35041
CPU usage (%): 107.17
Max. virtual memory (cumulated for all children) (KiB): 10847640
Max. memory (cumulated for all children) (KiB): 8180820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.79
system time used= 6.35041
maximum resident set size= 8195196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926939
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79366
involuntary context switches= 4664
# summary of solver processes directly reported to runsolver:
# pid: 7536
# total CPU time (s): 2520.14
# total CPU user time (s): 2513.79
# total CPU system time (s): 6.35041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6054 second user time and 22.7944 second system time
The end