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 (13437 MiB free)
memory of node 1: 16384 MiB (15169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400822-1568687945/watcher-4400822-1568687945 -o /tmp/evaluation-result-4400822-1568687945/solver-4400822-1568687945 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568673290-5122 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=479243401 HOME/instance-4400822-1568687945.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
solver pid=9007, runsolver pid=9004
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 1.65 1.52 1.42 3/227 9050
/proc/meminfo: memFree=29258772/32770624 swapFree=67001972/67108860
[pid=9007] ppid=9004 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/9007/stat : 9007 (bash) S 9004 9007 5090 0 -1 4202496 892 5691 0 0 0 0 0 1 20 0 1 0 444708469 115974144 404 33554432000 4194304 5098028 140725105620624 140725105614632 140646934744064 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 8220672 140725105628181 140725105628305 140725105628305 140725105631214 0
/proc/9007/statm: 28314 404 320 221 0 119 0
[pid=9034] ppid=9007 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/9034/stat : 9034 (bash) S 9007 9007 5090 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 444708471 115974144 178 33554432000 4194304 5098028 140725105620624 140725105613304 140646934569596 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8220672 140725105628181 140725105628305 140725105628305 140725105631214 0
/proc/9034/statm: 28314 178 94 221 0 119 0
[pid=9035] ppid=9034 vsize=10659708 memory=25172 CPUtime=0.05 cores=1,3,5,7
/proc/9035/stat : 9035 (java) S 9034 9007 5090 0 -1 1077944320 4731 0 0 0 5 0 0 0 20 0 12 0 444708471 10915540992 6293 33554432000 4194304 4196468 140730324094736 140730324077280 140624049037047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
/proc/9035/statm: 2664927 6293 2625 1 0 2627468 0
[pid=9035/tid=9037] ppid=9034 vsize=10659708 memory=-2915660008065455518 CPUtime=0.04 cores=1,3,5,7
/proc/9035/task/9037/stat : 9037 (java) D 9034 9007 5090 0 -1 4202560 2834 0 0 0 4 0 0 0 20 0 12 0 444708471 10915540992 6293 33554432000 4194304 4196468 140730324094736 140624053280056 140624041722679 0 0 0 16800975 18446744072099945605 0 0 -1 7 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9035/tid=9038] ppid=9034 vsize=10659708 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/9035/task/9038/stat : 9038 (java) S 9034 9007 5090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 444708472 10915540992 6293 33554432000 4194304 4196468 140730324094736 140623655807760 140624049047253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9035/tid=9039] ppid=9034 vsize=10659708 memory=140023648851584 CPUtime=0 cores=1,3,5,7
/proc/9035/task/9039/stat : 9039 (java) S 9034 9007 5090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 444708472 10915540992 6293 33554432000 4194304 4196468 140730324094736 140623654755216 140624049047253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9035/tid=9040] ppid=9034 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9035/task/9040/stat : 9040 (java) S 9034 9007 5090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 444708472 10915540992 6293 33554432000 4194304 4196468 140730324094736 140623653702672 140624049047253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9035/tid=9041] ppid=9034 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9035/task/9041/stat : 9041 (java) S 9034 9007 5090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 12 0 444708472 10915540992 6293 33554432000 4194304 4196468 140730324094736 140623652650128 140624049047253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9035/tid=9043] ppid=9034 vsize=10659708 memory=140023648851584 CPUtime=0 cores=1,3,5,7
/proc/9035/task/9043/stat : 9043 (java) S 9034 9007 5090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 12 0 444708474 10915540992 6293 33554432000 4194304 4196468 140730324094736 140623607153568 140624049047253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9035/tid=9044] ppid=9034 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9035/task/9044/stat : 9044 (java) S 9034 9007 5090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 12 0 444708474 10915540992 6293 33554432000 4194304 4196468 140730324094736 140623606100976 140624049047253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9035/tid=9046] ppid=9034 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9035/task/9046/stat : 9046 (java) S 9034 9007 5090 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 12 0 444708476 10915540992 6293 33554432000 4194304 4196468 140730324094736 140623536445936 140624049048194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9035/tid=9047] ppid=9034 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9035/task/9047/stat : 9047 (java) S 9034 9007 5090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 444708476 10915540992 6293 33554432000 4194304 4196468 140730324094736 140623535393392 140624049048194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9035/tid=9048] ppid=9034 vsize=10659708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9035/task/9048/stat : 9048 (java) S 9034 9007 5090 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 12 0 444708476 10915540992 6293 33554432000 4194304 4196468 140730324094736 140623534340848 140624049048194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9035/tid=9049] ppid=9034 vsize=10659708 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9035/task/9049/stat : 9049 (java) S 9034 9007 5090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 444708477 10915540992 6293 33554432000 4194304 4196468 140730324094736 140623533288544 140624049047253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9764864 140730324100236 140730324100250 140730324100250 140730324103119 0
[pid=9036] ppid=9034 vsize=113492 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/9036/stat : 9036 (awk) S 9034 9007 5090 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 444708471 116215808 308 33554432000 4194304 4609284 140735756977312 140735756976488 140448972426240 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 30470144 140735756981436 140735756981466 140735756981466 140735756984303 0
/proc/9036/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10999712 KiB
Current children cumulated memory: 28732 KiB
[startup+0.266003 s]*
/proc/loadavg: 1.65 1.52 1.42 4/227 9073
/proc/meminfo: memFree=29254580/32770624 swapFree=67001972/67108860
[pid=9007] ppid=9004 vsize=10819712 memory=37320 CPUtime=0.2 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9004 9007 5090 0 -1 1077944320 6975 13129 0 0 12 1 5 2 20 0 15 0 444708469 11079385088 9330 33554432000 4194304 4196468 140736354143024 140736354125568 140533181619959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
/proc/9007/statm: 2704928 9330 3132 1 0 2667149 0
[pid=9007/tid=9060] ppid=9004 vsize=10819712 memory=7022364594140610616 CPUtime=0.15 cores=1,3,5,7
/proc/9007/task/9060/stat : 9060 (java) R 9004 9007 5090 0 -1 4202560 3513 13129 0 0 7 1 5 2 20 0 15 0 444708486 11079385088 9330 33554432000 4194304 4196468 140736354143024 140533153452640 140532756021953 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9061] ppid=9004 vsize=10819712 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9061/stat : 9061 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708487 11079385088 9330 33554432000 4194304 4196468 140736354143024 140533185861904 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9062] ppid=9004 vsize=10819712 memory=140023648860845 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9062/stat : 9062 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708487 11079385088 9330 33554432000 4194304 4196468 140736354143024 140533084752272 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9063] ppid=9004 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9063/stat : 9063 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708487 11079385088 9330 33554432000 4194304 4196468 140736354143024 140533083699728 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9064] ppid=9004 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9064/stat : 9064 (java) S 9004 9007 5090 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 15 0 444708487 11079385088 9330 33554432000 4194304 4196468 140736354143024 140533082647184 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9065] ppid=9004 vsize=10819712 memory=140023648851584 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9065/stat : 9065 (java) S 9004 9007 5090 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 15 0 444708488 11079385088 9330 33554432000 4194304 4196468 140736354143024 140532640414192 140533181631106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9066] ppid=9004 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9066/stat : 9066 (java) S 9004 9007 5090 0 -1 1077944384 33 13129 0 0 0 0 5 2 20 0 15 0 444708489 11079385088 9330 33554432000 4194304 4196468 140736354143024 140532639360416 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9067] ppid=9004 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9067/stat : 9067 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708489 11079385088 9330 33554432000 4194304 4196468 140736354143024 140532068115952 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9068] ppid=9004 vsize=10819712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9068/stat : 9068 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11079385088 9330 33554432000 4194304 4196468 140736354143024 140531760716496 140533181638555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9069] ppid=9004 vsize=10819712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9007/task/9069/stat : 9069 (java) S 9004 9007 5090 0 -1 1077944384 364 13129 0 0 1 0 5 2 20 0 15 0 444708492 11079385088 9330 33554432000 4194304 4196468 140736354143024 140532283074544 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9070] ppid=9004 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9070/stat : 9070 (java) R 9004 9007 5090 0 -1 1077944384 264 13129 0 0 0 0 5 2 20 0 15 0 444708492 11079385088 9330 33554432000 4194304 4196468 140736354143024 140532282022000 140533181631106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9071] ppid=9004 vsize=10819712 memory=140023648851584 CPUtime=0.09 cores=1,3,5,7
/proc/9007/task/9071/stat : 9071 (java) R 9004 9007 5090 0 -1 4202560 578 13129 0 0 2 0 5 2 20 0 15 0 444708492 11079385088 9330 33554432000 4194304 4196468 140736354143024 140532280964032 140533173857086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9072] ppid=9004 vsize=10819712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9072/stat : 9072 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11079385088 9330 33554432000 4194304 4196468 140736354143024 140531727157856 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9073] ppid=9004 vsize=10819712 memory=140023648851584 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9073/stat : 9073 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708492 11079385088 9330 33554432000 4194304 4196468 140736354143024 140532279917360 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 37320 KiB
[startup+0.310645 s]*
/proc/loadavg: 1.65 1.52 1.42 3/227 9073
/proc/meminfo: memFree=29250044/32770624 swapFree=67001972/67108860
[pid=9007] ppid=9004 vsize=10821220 memory=42532 CPUtime=0.27 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9004 9007 5090 0 -1 1077944320 8663 13129 0 0 18 2 5 2 20 0 15 0 444708469 11080929280 10633 33554432000 4194304 4196468 140736354143024 140736354125568 140533181619959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
/proc/9007/statm: 2705305 10633 3309 1 0 2667405 0
[pid=9007/tid=9060] ppid=9004 vsize=10821220 memory=604724047662167475 CPUtime=0.19 cores=1,3,5,7
/proc/9007/task/9060/stat : 9060 (java) R 9004 9007 5090 0 -1 4202560 5354 13129 0 0 11 1 5 2 20 0 15 0 444708486 11080929280 10765 33554432000 4194304 4196468 140736354143024 140533153441248 140533174299677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9061] ppid=9004 vsize=10821220 memory=302304349248552983 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9061/stat : 9061 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708487 11080929280 10765 33554432000 4194304 4196468 140736354143024 140533185861904 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9062] ppid=9004 vsize=10821220 memory=15259255238304614 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9062/stat : 9062 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708487 11080929280 10765 33554432000 4194304 4196468 140736354143024 140533084752272 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9063] ppid=9004 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9063/stat : 9063 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708487 11080929280 10765 33554432000 4194304 4196468 140736354143024 140533083699728 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9064] ppid=9004 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9064/stat : 9064 (java) S 9004 9007 5090 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 15 0 444708487 11080929280 10831 33554432000 4194304 4196468 140736354143024 140533082647184 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9065] ppid=9004 vsize=10821220 memory=140023648851584 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9065/stat : 9065 (java) S 9004 9007 5090 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 15 0 444708488 11080929280 10831 33554432000 4194304 4196468 140736354143024 140532640414192 140533181631106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9066] ppid=9004 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9066/stat : 9066 (java) S 9004 9007 5090 0 -1 1077944384 33 13129 0 0 0 0 5 2 20 0 15 0 444708489 11080929280 10831 33554432000 4194304 4196468 140736354143024 140532639360416 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9067] ppid=9004 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9067/stat : 9067 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708489 11080929280 10897 33554432000 4194304 4196468 140736354143024 140532068115952 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9068] ppid=9004 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9068/stat : 9068 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11080929280 10897 33554432000 4194304 4196468 140736354143024 140531760716496 140533181638555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9069] ppid=9004 vsize=10821220 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9007/task/9069/stat : 9069 (java) S 9004 9007 5090 0 -1 1077944384 382 13129 0 0 2 0 5 2 20 0 15 0 444708492 11080929280 10897 33554432000 4194304 4196468 140736354143024 140532283074544 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9070] ppid=9004 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9070/stat : 9070 (java) S 9004 9007 5090 0 -1 1077944384 265 13129 0 0 0 0 5 2 20 0 15 0 444708492 11080929280 10897 33554432000 4194304 4196468 140736354143024 140532282022000 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9071] ppid=9004 vsize=10821220 memory=140023648851584 CPUtime=0.1 cores=1,3,5,7
/proc/9007/task/9071/stat : 9071 (java) S 9004 9007 5090 0 -1 1077944384 594 13129 0 0 3 0 5 2 20 0 15 0 444708492 11080929280 10963 33554432000 4194304 4196468 140736354143024 140532280969456 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9072] ppid=9004 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9072/stat : 9072 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11080929280 10963 33554432000 4194304 4196468 140736354143024 140531727157856 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9073] ppid=9004 vsize=10821220 memory=140023648851584 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9073/stat : 9073 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708492 11080929280 10963 33554432000 4194304 4196468 140736354143024 140532279917360 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 42532 KiB
[startup+0.701774 s]
/proc/loadavg: 1.65 1.52 1.42 3/227 9073
/proc/meminfo: memFree=29235228/32770624 swapFree=67001972/67108860
[pid=9007] ppid=9004 vsize=10822316 memory=75224 CPUtime=0.89 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9004 9007 5090 0 -1 1077944320 14347 13129 0 0 76 6 5 2 20 0 15 0 444708469 11082051584 18806 33554432000 4194304 4196468 140736354143024 140736354125568 140533181619959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
/proc/9007/statm: 2705579 18806 3484 1 0 2667661 0
[pid=9007/tid=9060] ppid=9004 vsize=10822316 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/9007/task/9060/stat : 9060 (java) R 9004 9007 5090 0 -1 1077944384 9913 13129 0 0 46 4 5 2 20 0 15 0 444708486 11082051584 18806 33554432000 4194304 4196468 140736354143024 140533153420112 140533181630165 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9061] ppid=9004 vsize=10822316 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9061/stat : 9061 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708487 11082051584 18806 33554432000 4194304 4196468 140736354143024 140533185861904 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9062] ppid=9004 vsize=10822316 memory=8458433173657171509 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9062/stat : 9062 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708487 11082051584 18806 33554432000 4194304 4196468 140736354143024 140533084752272 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9063] ppid=9004 vsize=10822316 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9063/stat : 9063 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708487 11082051584 18806 33554432000 4194304 4196468 140736354143024 140533083699728 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9064] ppid=9004 vsize=10822316 memory=7548 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9064/stat : 9064 (java) S 9004 9007 5090 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 15 0 444708487 11082051584 18806 33554432000 4194304 4196468 140736354143024 140533082647184 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9065] ppid=9004 vsize=10822316 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9065/stat : 9065 (java) S 9004 9007 5090 0 -1 1077944384 5 13129 0 0 0 0 5 2 20 0 15 0 444708488 11082051584 18806 33554432000 4194304 4196468 140736354143024 140532640414192 140533181631106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9066] ppid=9004 vsize=10822316 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9066/stat : 9066 (java) S 9004 9007 5090 0 -1 1077944384 33 13129 0 0 0 0 5 2 20 0 15 0 444708489 11082051584 18806 33554432000 4194304 4196468 140736354143024 140532639360416 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9067] ppid=9004 vsize=10822316 memory=6036 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9067/stat : 9067 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708489 11082051584 18806 33554432000 4194304 4196468 140736354143024 140532068115952 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9068] ppid=9004 vsize=10822316 memory=772 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9068/stat : 9068 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11082051584 18806 33554432000 4194304 4196468 140736354143024 140531760716496 140533181638555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9069] ppid=9004 vsize=10822316 memory=1556 CPUtime=0.14 cores=1,3,5,7
/proc/9007/task/9069/stat : 9069 (java) R 9004 9007 5090 0 -1 4202560 720 13129 0 0 7 0 5 2 20 0 15 0 444708492 11082051584 18806 33554432000 4194304 4196468 140736354143024 140532283073728 140533181641306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9070] ppid=9004 vsize=10822316 memory=1056 CPUtime=0.13 cores=1,3,5,7
/proc/9007/task/9070/stat : 9070 (java) R 9004 9007 5090 0 -1 4202560 683 13129 0 0 6 0 5 2 20 0 15 0 444708492 11082051584 18806 33554432000 4194304 4196468 140736354143024 140532282022000 140533161053364 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9071] ppid=9004 vsize=10822316 memory=4639098309541129060 CPUtime=0.22 cores=1,3,5,7
/proc/9007/task/9071/stat : 9071 (java) R 9004 9007 5090 0 -1 4202560 770 13129 0 0 15 0 5 2 20 0 15 0 444708492 11082051584 18806 33554432000 4194304 4196468 140736354143024 140532280969456 140533181631894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9072] ppid=9004 vsize=10822316 memory=6081102367496366441 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9072/stat : 9072 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11082051584 18806 33554432000 4194304 4196468 140736354143024 140531727157856 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9073] ppid=9004 vsize=10822316 memory=6004820471124940137 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9073/stat : 9073 (java) S 9004 9007 5090 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 444708492 11082051584 18806 33554432000 4194304 4196468 140736354143024 140532279917360 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
Current children cumulated CPU time: 0.89 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 75224 KiB
[startup+1.5055 s]
/proc/loadavg: 1.65 1.52 1.42 7/227 9073
/proc/meminfo: memFree=29195652/32770624 swapFree=67001972/67108860
[pid=9007] ppid=9004 vsize=10832632 memory=223572 CPUtime=3.08 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9004 9007 5090 0 -1 1077944320 26387 13129 0 0 290 11 5 2 20 0 15 0 444708469 11092615168 55893 33554432000 4194304 4196468 140736354143024 140736354125568 140533181619959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
/proc/9007/statm: 2708158 55893 3575 1 0 2670221 0
[pid=9007/tid=9060] ppid=9004 vsize=10832632 memory=33 CPUtime=1.33 cores=1,3,5,7
/proc/9007/task/9060/stat : 9060 (java) S 9004 9007 5090 0 -1 1077944384 14780 13129 0 0 120 6 5 2 20 0 15 0 444708486 11092615168 55893 33554432000 4194304 4196468 140736354143024 140533153440688 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9061] ppid=9004 vsize=10832632 memory=8475934422797934688 CPUtime=0.08 cores=1,3,5,7
/proc/9007/task/9061/stat : 9061 (java) R 9004 9007 5090 0 -1 4202560 45 13129 0 0 1 0 5 2 20 0 15 0 444708487 11092615168 55893 33554432000 4194304 4196468 140736354143024 140533185862104 140533166320864 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9062] ppid=9004 vsize=10832632 memory=-6876588461455810464 CPUtime=0.08 cores=1,3,5,7
/proc/9007/task/9062/stat : 9062 (java) R 9004 9007 5090 0 -1 4202560 25 13129 0 0 1 0 5 2 20 0 15 0 444708487 11092615168 55893 33554432000 4194304 4196468 140736354143024 140533084752272 140533174719659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9063] ppid=9004 vsize=10832632 memory=8303054830060986464 CPUtime=0.08 cores=1,3,5,7
/proc/9007/task/9063/stat : 9063 (java) R 9004 9007 5090 0 -1 4202560 189 13129 0 0 1 0 5 2 20 0 15 0 444708487 11092615168 55893 33554432000 4194304 4196468 140736354143024 140533083699728 140533166616363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9064] ppid=9004 vsize=10832632 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
################
# More data... #
################
/proc/9007/task/9060/stat : 9060 (java) R 9004 9007 5090 0 -1 4202560 400696 13129 0 0 236209 109 5 2 20 0 15 0 444708486 11107315712 653210 33554432000 4194304 4196468 140736354143024 140533153455440 140532775547888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9061] ppid=9004 vsize=10846988 memory=8112282956445269571 CPUtime=11.89 cores=1,3,5,7
/proc/9007/task/9061/stat : 9061 (java) S 9004 9007 5090 0 -1 1077944384 21166 13129 0 0 1118 64 5 2 20 0 15 0 444708487 11107315712 653210 33554432000 4194304 4196468 140736354143024 140533185861904 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9062] ppid=9004 vsize=10846988 memory=4000 CPUtime=11.89 cores=1,3,5,7
/proc/9007/task/9062/stat : 9062 (java) S 9004 9007 5090 0 -1 1077944384 19857 13129 0 0 1118 64 5 2 20 0 15 0 444708487 11107315712 653210 33554432000 4194304 4196468 140736354143024 140533084752272 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9063] ppid=9004 vsize=10846988 memory=7548 CPUtime=11.93 cores=1,3,5,7
/proc/9007/task/9063/stat : 9063 (java) S 9004 9007 5090 0 -1 1077944384 19913 13129 0 0 1120 66 5 2 20 0 15 0 444708487 11107315712 653210 33554432000 4194304 4196468 140736354143024 140533083699728 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9064] ppid=9004 vsize=10846988 memory=2832 CPUtime=11.88 cores=1,3,5,7
/proc/9007/task/9064/stat : 9064 (java) S 9004 9007 5090 0 -1 1077944384 21638 13129 0 0 1115 66 5 2 20 0 15 0 444708487 11107315712 653210 33554432000 4194304 4196468 140736354143024 140533082647184 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9065] ppid=9004 vsize=10846988 memory=988 CPUtime=5.54 cores=1,3,5,7
/proc/9007/task/9065/stat : 9065 (java) S 9004 9007 5090 0 -1 1077944384 22112 13129 0 0 472 75 5 2 20 0 15 0 444708488 11107315712 653210 33554432000 4194304 4196468 140736354143024 140532640414192 140533181631106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9066] ppid=9004 vsize=10846988 memory=2012 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9066/stat : 9066 (java) S 9004 9007 5090 0 -1 1077944384 41 13129 0 0 0 0 5 2 20 0 15 0 444708489 11107315712 653210 33554432000 4194304 4196468 140736354143024 140532639360480 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9067] ppid=9004 vsize=10846988 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9067/stat : 9067 (java) S 9004 9007 5090 0 -1 1077944384 5 13129 0 0 0 0 5 2 20 0 15 0 444708489 11107315712 653210 33554432000 4194304 4196468 140736354143024 140532068115968 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9068] ppid=9004 vsize=10846988 memory=580 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9068/stat : 9068 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11107315712 653210 33554432000 4194304 4196468 140736354143024 140531760716496 140533181638555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9069] ppid=9004 vsize=10846988 memory=1440 CPUtime=6.74 cores=1,3,5,7
/proc/9007/task/9069/stat : 9069 (java) S 9004 9007 5090 0 -1 1077944384 24603 13129 0 0 664 3 5 2 20 0 15 0 444708492 11107315712 653210 33554432000 4194304 4196468 140736354143024 140532283074544 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9070] ppid=9004 vsize=10846988 memory=1768 CPUtime=6.8 cores=1,3,5,7
/proc/9007/task/9070/stat : 9070 (java) S 9004 9007 5090 0 -1 1077944384 18985 13129 0 0 670 3 5 2 20 0 15 0 444708492 11107315712 653210 33554432000 4194304 4196468 140736354143024 140532282022000 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9071] ppid=9004 vsize=10846988 memory=111636 CPUtime=2.5 cores=1,3,5,7
/proc/9007/task/9071/stat : 9071 (java) S 9004 9007 5090 0 -1 1077944384 11100 13129 0 0 239 4 5 2 20 0 15 0 444708492 11107315712 653210 33554432000 4194304 4196468 140736354143024 140532280969456 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9072] ppid=9004 vsize=10846988 memory=808 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9072/stat : 9072 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11107315712 653210 33554432000 4194304 4196468 140736354143024 140531727157856 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9073] ppid=9004 vsize=10846988 memory=1804 CPUtime=1.4 cores=1,3,5,7
/proc/9007/task/9073/stat : 9073 (java) S 9004 9007 5090 0 -1 1077944384 864 13129 0 0 59 74 5 2 20 0 15 0 444708492 11107315712 653210 33554432000 4194304 4196468 140736354143024 140532279917360 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
Current children cumulated CPU time: 2433.3 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2612840 KiB
[startup+2442.3 s]
/proc/loadavg: 1.35 1.48 1.41 3/227 9446
/proc/meminfo: memFree=27402132/32770624 swapFree=67001980/67108860
[pid=9007] ppid=9004 vsize=10846988 memory=2751852 CPUtime=2493.43 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9004 9007 5090 0 -1 1077944320 614966 13129 0 0 248844 492 5 2 20 0 15 0 444708469 11107315712 687963 33554432000 4194304 4196468 140736354143024 140736354125568 140533181619959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
/proc/9007/statm: 2711747 687963 3641 1 0 2673805 0
[pid=9007/tid=9060] ppid=9004 vsize=10846988 memory=580 CPUtime=2423.21 cores=1,3,5,7
/proc/9007/task/9060/stat : 9060 (java) R 9004 9007 5090 0 -1 4202560 450998 13129 0 0 242201 113 5 2 20 0 15 0 444708486 11107315712 687963 33554432000 4194304 4196468 140736354143024 140533153455472 140532770450337 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9061] ppid=9004 vsize=10846988 memory=1696 CPUtime=11.92 cores=1,3,5,7
/proc/9007/task/9061/stat : 9061 (java) S 9004 9007 5090 0 -1 1077944384 21533 13129 0 0 1120 65 5 2 20 0 15 0 444708487 11107315712 687963 33554432000 4194304 4196468 140736354143024 140533185861904 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9062] ppid=9004 vsize=10846988 memory=8112282956445269571 CPUtime=11.91 cores=1,3,5,7
/proc/9007/task/9062/stat : 9062 (java) S 9004 9007 5090 0 -1 1077944384 20198 13129 0 0 1120 64 5 2 20 0 15 0 444708487 11107315712 687963 33554432000 4194304 4196468 140736354143024 140533084752272 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9063] ppid=9004 vsize=10846988 memory=912 CPUtime=11.96 cores=1,3,5,7
/proc/9007/task/9063/stat : 9063 (java) S 9004 9007 5090 0 -1 1077944384 20121 13129 0 0 1123 66 5 2 20 0 15 0 444708487 11107315712 687963 33554432000 4194304 4196468 140736354143024 140533083699728 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9064] ppid=9004 vsize=10846988 memory=1440 CPUtime=11.9 cores=1,3,5,7
/proc/9007/task/9064/stat : 9064 (java) S 9004 9007 5090 0 -1 1077944384 21880 13129 0 0 1117 66 5 2 20 0 15 0 444708487 11107315712 687963 33554432000 4194304 4196468 140736354143024 140533082647184 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9065] ppid=9004 vsize=10846988 memory=1768 CPUtime=5.56 cores=1,3,5,7
/proc/9007/task/9065/stat : 9065 (java) S 9004 9007 5090 0 -1 1077944384 22385 13129 0 0 474 75 5 2 20 0 15 0 444708488 11107315712 687963 33554432000 4194304 4196468 140736354143024 140532640414192 140533181631106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9066] ppid=9004 vsize=10846988 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9066/stat : 9066 (java) S 9004 9007 5090 0 -1 1077944384 41 13129 0 0 0 0 5 2 20 0 15 0 444708489 11107315712 687963 33554432000 4194304 4196468 140736354143024 140532639360480 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9067] ppid=9004 vsize=10846988 memory=1696 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9067/stat : 9067 (java) S 9004 9007 5090 0 -1 1077944384 5 13129 0 0 0 0 5 2 20 0 15 0 444708489 11107315712 687963 33554432000 4194304 4196468 140736354143024 140532068115968 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9068] ppid=9004 vsize=10846988 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9068/stat : 9068 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11107315712 687963 33554432000 4194304 4196468 140736354143024 140531760716496 140533181638555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9069] ppid=9004 vsize=10846988 memory=3616 CPUtime=6.74 cores=1,3,5,7
/proc/9007/task/9069/stat : 9069 (java) S 9004 9007 5090 0 -1 1077944384 24605 13129 0 0 664 3 5 2 20 0 15 0 444708492 11107315712 687963 33554432000 4194304 4196468 140736354143024 140532283074544 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9070] ppid=9004 vsize=10846988 memory=45276 CPUtime=6.8 cores=1,3,5,7
/proc/9007/task/9070/stat : 9070 (java) S 9004 9007 5090 0 -1 1077944384 18987 13129 0 0 670 3 5 2 20 0 15 0 444708492 11107315712 687963 33554432000 4194304 4196468 140736354143024 140532282022000 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9071] ppid=9004 vsize=10846988 memory=2727780 CPUtime=2.5 cores=1,3,5,7
/proc/9007/task/9071/stat : 9071 (java) S 9004 9007 5090 0 -1 1077944384 11102 13129 0 0 239 4 5 2 20 0 15 0 444708492 11107315712 687963 33554432000 4194304 4196468 140736354143024 140532280969456 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9072] ppid=9004 vsize=10846988 memory=11852 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9072/stat : 9072 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11107315712 687963 33554432000 4194304 4196468 140736354143024 140531727157856 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9073] ppid=9004 vsize=10846988 memory=532 CPUtime=1.44 cores=1,3,5,7
/proc/9007/task/9073/stat : 9073 (java) S 9004 9007 5090 0 -1 1077944384 895 13129 0 0 61 76 5 2 20 0 15 0 444708492 11107315712 687963 33554432000 4194304 4196468 140736354143024 140532279917360 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
Current children cumulated CPU time: 2493.43 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2751852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.8 s]
/proc/loadavg: 1.50 1.51 1.42 3/228 9449
/proc/meminfo: memFree=27295824/32770624 swapFree=67001980/67108860
[pid=9007] ppid=9004 vsize=10846988 memory=2857404 CPUtime=2520.03 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9004 9007 5090 0 -1 1077944320 634920 13129 0 0 251498 498 5 2 20 0 15 0 444708469 11107315712 714351 33554432000 4194304 4196468 140736354143024 140736354125568 140533181619959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
/proc/9007/statm: 2711747 714351 3641 1 0 2673805 0
[pid=9007/tid=9060] ppid=9004 vsize=10846988 memory=2857404 CPUtime=2449.68 cores=1,3,5,7
/proc/9007/task/9060/stat : 9060 (java) R 9004 9007 5090 0 -1 4202560 470280 13129 0 0 244846 115 5 2 20 0 15 0 444708486 11107315712 714351 33554432000 4194304 4196468 140736354143024 140533153455584 140532776046934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9061] ppid=9004 vsize=10846988 memory=2278980 CPUtime=11.95 cores=1,3,5,7
/proc/9007/task/9061/stat : 9061 (java) S 9004 9007 5090 0 -1 1077944384 21565 13129 0 0 1122 66 5 2 20 0 15 0 444708487 11107315712 714351 33554432000 4194304 4196468 140736354143024 140533185861904 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9062] ppid=9004 vsize=10846988 memory=2820388 CPUtime=11.94 cores=1,3,5,7
/proc/9007/task/9062/stat : 9062 (java) S 9004 9007 5090 0 -1 1077944384 20240 13129 0 0 1122 65 5 2 20 0 15 0 444708487 11107315712 714351 33554432000 4194304 4196468 140736354143024 140533084752272 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9063] ppid=9004 vsize=10846988 memory=2820468 CPUtime=11.99 cores=1,3,5,7
/proc/9007/task/9063/stat : 9063 (java) S 9004 9007 5090 0 -1 1077944384 20237 13129 0 0 1125 67 5 2 20 0 15 0 444708487 11107315712 714351 33554432000 4194304 4196468 140736354143024 140533083699728 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9064] ppid=9004 vsize=10846988 memory=2824632 CPUtime=11.93 cores=1,3,5,7
/proc/9007/task/9064/stat : 9064 (java) S 9004 9007 5090 0 -1 1077944384 22083 13129 0 0 1119 67 5 2 20 0 15 0 444708487 11107315712 714351 33554432000 4194304 4196468 140736354143024 140533082647184 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9065] ppid=9004 vsize=10846988 memory=2824632 CPUtime=5.57 cores=1,3,5,7
/proc/9007/task/9065/stat : 9065 (java) S 9004 9007 5090 0 -1 1077944384 22631 13129 0 0 474 76 5 2 20 0 15 0 444708488 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532640414192 140533181631106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9066] ppid=9004 vsize=10846988 memory=2857404 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9066/stat : 9066 (java) S 9004 9007 5090 0 -1 1077944384 41 13129 0 0 0 0 5 2 20 0 15 0 444708489 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532639360480 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9067] ppid=9004 vsize=10846988 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9067/stat : 9067 (java) S 9004 9007 5090 0 -1 1077944384 5 13129 0 0 0 0 5 2 20 0 15 0 444708489 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532068115968 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9068] ppid=9004 vsize=10846988 memory=2820388 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9068/stat : 9068 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140531760716496 140533181638555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9069] ppid=9004 vsize=10846988 memory=2751668 CPUtime=6.74 cores=1,3,5,7
/proc/9007/task/9069/stat : 9069 (java) S 9004 9007 5090 0 -1 1077944384 24607 13129 0 0 664 3 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532283074544 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9070] ppid=9004 vsize=10846988 memory=2820468 CPUtime=6.81 cores=1,3,5,7
/proc/9007/task/9070/stat : 9070 (java) S 9004 9007 5090 0 -1 1077944384 18989 13129 0 0 671 3 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532282022000 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9071] ppid=9004 vsize=10846988 memory=5937543566882268499 CPUtime=2.5 cores=1,3,5,7
/proc/9007/task/9071/stat : 9071 (java) S 9004 9007 5090 0 -1 1077944384 11104 13129 0 0 239 4 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532280969456 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9072] ppid=9004 vsize=10846988 memory=2857404 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9072/stat : 9072 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140531727157856 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9073] ppid=9004 vsize=10846988 memory=4000 CPUtime=1.45 cores=1,3,5,7
/proc/9007/task/9073/stat : 9073 (java) S 9004 9007 5090 0 -1 1077944384 922 13129 0 0 62 76 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532279917360 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2857404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.84 s]
# the end of solver process 9007 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.06 s, system=5.03946 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.8 s]
/proc/loadavg: 1.50 1.51 1.42 3/228 9449
/proc/meminfo: memFree=27295824/32770624 swapFree=67001980/67108860
[pid=9007] ppid=9004 vsize=10846988 memory=2857404 CPUtime=2520.03 cores=1,3,5,7
/proc/9007/stat : 9007 (java) S 9004 9007 5090 0 -1 1077944320 634920 13129 0 0 251498 498 5 2 20 0 15 0 444708469 11107315712 714351 33554432000 4194304 4196468 140736354143024 140736354125568 140533181619959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
/proc/9007/statm: 2711747 714351 3641 1 0 2673805 0
[pid=9007/tid=9060] ppid=9004 vsize=10846988 memory=2857404 CPUtime=2449.68 cores=1,3,5,7
/proc/9007/task/9060/stat : 9060 (java) R 9004 9007 5090 0 -1 4202560 470280 13129 0 0 244846 115 5 2 20 0 15 0 444708486 11107315712 714351 33554432000 4194304 4196468 140736354143024 140533153455584 140532776046934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9061] ppid=9004 vsize=10846988 memory=2278980 CPUtime=11.95 cores=1,3,5,7
/proc/9007/task/9061/stat : 9061 (java) S 9004 9007 5090 0 -1 1077944384 21565 13129 0 0 1122 66 5 2 20 0 15 0 444708487 11107315712 714351 33554432000 4194304 4196468 140736354143024 140533185861904 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9062] ppid=9004 vsize=10846988 memory=2820388 CPUtime=11.94 cores=1,3,5,7
/proc/9007/task/9062/stat : 9062 (java) S 9004 9007 5090 0 -1 1077944384 20240 13129 0 0 1122 65 5 2 20 0 15 0 444708487 11107315712 714351 33554432000 4194304 4196468 140736354143024 140533084752272 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9063] ppid=9004 vsize=10846988 memory=2820468 CPUtime=11.99 cores=1,3,5,7
/proc/9007/task/9063/stat : 9063 (java) S 9004 9007 5090 0 -1 1077944384 20237 13129 0 0 1125 67 5 2 20 0 15 0 444708487 11107315712 714351 33554432000 4194304 4196468 140736354143024 140533083699728 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9064] ppid=9004 vsize=10846988 memory=2824632 CPUtime=11.93 cores=1,3,5,7
/proc/9007/task/9064/stat : 9064 (java) S 9004 9007 5090 0 -1 1077944384 22083 13129 0 0 1119 67 5 2 20 0 15 0 444708487 11107315712 714351 33554432000 4194304 4196468 140736354143024 140533082647184 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9065] ppid=9004 vsize=10846988 memory=2824632 CPUtime=5.57 cores=1,3,5,7
/proc/9007/task/9065/stat : 9065 (java) S 9004 9007 5090 0 -1 1077944384 22631 13129 0 0 474 76 5 2 20 0 15 0 444708488 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532640414192 140533181631106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9066] ppid=9004 vsize=10846988 memory=2857404 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9066/stat : 9066 (java) S 9004 9007 5090 0 -1 1077944384 41 13129 0 0 0 0 5 2 20 0 15 0 444708489 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532639360480 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9067] ppid=9004 vsize=10846988 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9067/stat : 9067 (java) S 9004 9007 5090 0 -1 1077944384 5 13129 0 0 0 0 5 2 20 0 15 0 444708489 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532068115968 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9068] ppid=9004 vsize=10846988 memory=2820388 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9068/stat : 9068 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140531760716496 140533181638555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9069] ppid=9004 vsize=10846988 memory=2751668 CPUtime=6.74 cores=1,3,5,7
/proc/9007/task/9069/stat : 9069 (java) S 9004 9007 5090 0 -1 1077944384 24607 13129 0 0 664 3 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532283074544 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9070] ppid=9004 vsize=10846988 memory=2820468 CPUtime=6.81 cores=1,3,5,7
/proc/9007/task/9070/stat : 9070 (java) S 9004 9007 5090 0 -1 1077944384 18989 13129 0 0 671 3 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532282022000 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9071] ppid=9004 vsize=10846988 memory=5937543566882268499 CPUtime=2.5 cores=1,3,5,7
/proc/9007/task/9071/stat : 9071 (java) S 9004 9007 5090 0 -1 1077944384 11104 13129 0 0 239 4 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532280969456 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9072] ppid=9004 vsize=10846988 memory=2857404 CPUtime=0.07 cores=1,3,5,7
/proc/9007/task/9072/stat : 9072 (java) S 9004 9007 5090 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140531727157856 140533181630165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
[pid=9007/tid=9073] ppid=9004 vsize=10846988 memory=4000 CPUtime=1.45 cores=1,3,5,7
/proc/9007/task/9073/stat : 9073 (java) S 9004 9007 5090 0 -1 1077944384 922 13129 0 0 62 76 5 2 20 0 15 0 444708492 11107315712 714351 33554432000 4194304 4196468 140736354143024 140532279917360 140533181631106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140736354147056 140736354149573 140736354149573 140736354152399 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2857404 KiB
Child status: 143
Real time (s): 2468.84
CPU time (s): 2520.1
CPU user time (s): 2515.06
CPU system time (s): 5.03946
CPU usage (%): 102.076
Max. virtual memory (cumulated for all children) (KiB): 10999712
Max. memory (cumulated for all children) (KiB): 2857404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.06
system time used= 5.03946
maximum resident set size= 2861620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166882
involuntary context switches= 5943
# summary of solver processes directly reported to runsolver:
# pid: 9007
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.06
# total CPU system time (s): 5.03946
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7423 second user time and 24.1046 second system time
The end