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 (14152 MiB free)
memory of node 1: 16384 MiB (10793 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406560-1569402360/watcher-4406560-1569402360 -o /var/tmp/evaluation-result-4406560-1569402360/solver-4406560-1569402360 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1569396628-31596 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406560-1569402360.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=32674, runsolver pid=32671
Current StackSize limit: 8192 KiB
[startup+0.100313 s]*
/proc/loadavg: 1.48 1.58 1.66 4/231 32690
/proc/meminfo: memFree=25530032/32770624 swapFree=66997160/67108860
[pid=32674] ppid=32671 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (xcsp3-exec) S 32671 32674 31565 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516174285 115843072 363 33554432000 4194304 5098028 140720470708000 140720470706104 140008734581372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38232064 140720470709080 140720470709337 140720470709337 140720470712262 0
/proc/32674/statm: 28282 363 305 221 0 87 0
[pid=32676] ppid=32674 vsize=15144776 memory=28668 CPUtime=0.12 cores=0,2,4,6
/proc/32676/stat : 32676 (java) S 32674 32674 31565 0 -1 1077944320 5640 0 0 0 11 1 0 0 20 0 15 0 516174285 15508250624 7167 33554432000 4194304 4196468 140721799092064 140721799074608 140016756698871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
/proc/32676/statm: 3786194 7167 3117 1 0 3748377 0
[pid=32676/tid=32677] ppid=32674 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/32676/task/32677/stat : 32677 (java) R 32674 32674 31565 0 -1 4202560 3591 0 0 0 8 0 0 0 20 0 15 0 516174285 15508250624 7167 33554432000 4194304 4196468 140721799092064 140016760923200 140016756710806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32678] ppid=32674 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32678/stat : 32678 (java) S 32674 32674 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516174286 15508250624 7167 33554432000 4194304 4196468 140721799092064 140016684739216 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32679] ppid=32674 vsize=15144776 memory=140360752211584 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32679/stat : 32679 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15508250624 7167 33554432000 4194304 4196468 140721799092064 140016683686416 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32680] ppid=32674 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32680/stat : 32680 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15508250624 7167 33554432000 4194304 4196468 140721799092064 140016682633616 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32681] ppid=32674 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32681/stat : 32681 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15508250624 7167 33554432000 4194304 4196468 140721799092064 140016681580816 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32682] ppid=32674 vsize=15144776 memory=140360752211584 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32682/stat : 32682 (java) S 32674 32674 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516174287 15508250624 7167 33554432000 4194304 4196468 140721799092064 140015763471216 140016756710018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32683] ppid=32674 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32683/stat : 32683 (java) S 32674 32674 31565 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516174288 15508250624 7167 33554432000 4194304 4196468 140721799092064 140015762417184 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32684] ppid=32674 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32684/stat : 32684 (java) S 32674 32674 31565 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516174288 15508250624 7167 33554432000 4194304 4196468 140721799092064 140015761364336 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32685] ppid=32674 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32685/stat : 32685 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15508250624 7167 33554432000 4194304 4196468 140721799092064 140015760312656 140016756717467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32686] ppid=32674 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32686/stat : 32686 (java) S 32674 32674 31565 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 516174291 15508250624 7167 33554432000 4194304 4196468 140721799092064 140015759260016 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32687] ppid=32674 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32687/stat : 32687 (java) S 32674 32674 31565 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516174291 15508250624 7167 33554432000 4194304 4196468 140721799092064 140015758207216 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32688] ppid=32674 vsize=15144776 memory=140360752211584 CPUtime=0.01 cores=0,2,4,6
/proc/32676/task/32688/stat : 32688 (java) R 32674 32674 31565 0 -1 4202560 322 0 0 0 1 0 0 0 20 0 15 0 516174291 15508250624 7167 33554432000 4194304 4196468 140721799092064 140015757154416 140016735375392 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32689] ppid=32674 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32689/stat : 32689 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15508250624 7167 33554432000 4194304 4196468 140721799092064 140015756101856 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32690] ppid=32674 vsize=15144776 memory=140360752211584 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32690/stat : 32690 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174291 15508250624 7167 33554432000 4194304 4196468 140721799092064 140015755050160 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30120 KiB
[startup+0.210664 s]*
/proc/loadavg: 1.48 1.58 1.66 4/231 32690
/proc/meminfo: memFree=25517316/32770624 swapFree=66997160/67108860
[pid=32674] ppid=32671 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (xcsp3-exec) S 32671 32674 31565 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516174285 115843072 363 33554432000 4194304 5098028 140720470708000 140720470706104 140008734581372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38232064 140720470709080 140720470709337 140720470709337 140720470712262 0
/proc/32674/statm: 28282 363 305 221 0 87 0
[pid=32676] ppid=32674 vsize=15144776 memory=41064 CPUtime=0.34 cores=0,2,4,6
/proc/32676/stat : 32676 (java) S 32674 32674 31565 0 -1 1077944320 9463 0 0 0 30 4 0 0 20 0 15 0 516174285 15508250624 10266 33554432000 4194304 4196468 140721799092064 140721799074608 140016756698871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
/proc/32676/statm: 3786194 10266 3307 1 0 3748377 0
[pid=32676/tid=32677] ppid=32674 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/32676/task/32677/stat : 32677 (java) R 32674 32674 31565 0 -1 4202560 6598 0 0 0 17 3 0 0 20 0 15 0 516174285 15508250624 10266 33554432000 4194304 4196468 140721799092064 140016760935936 140016740779358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32678] ppid=32674 vsize=15144776 memory=2128866 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32678/stat : 32678 (java) S 32674 32674 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516174286 15508250624 10266 33554432000 4194304 4196468 140721799092064 140016684739216 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32679] ppid=32674 vsize=15144776 memory=140360756112238 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32679/stat : 32679 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15508250624 10266 33554432000 4194304 4196468 140721799092064 140016683686416 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32680] ppid=32674 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32680/stat : 32680 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15508250624 10266 33554432000 4194304 4196468 140721799092064 140016682633616 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32681] ppid=32674 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32681/stat : 32681 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15508250624 10266 33554432000 4194304 4196468 140721799092064 140016681580816 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32682] ppid=32674 vsize=15144776 memory=140360752211584 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32682/stat : 32682 (java) S 32674 32674 31565 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516174287 15508250624 10266 33554432000 4194304 4196468 140721799092064 140015763471216 140016756710018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32683] ppid=32674 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32683/stat : 32683 (java) S 32674 32674 31565 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516174288 15508250624 10266 33554432000 4194304 4196468 140721799092064 140015762417184 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32684] ppid=32674 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32684/stat : 32684 (java) S 32674 32674 31565 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516174288 15508250624 10266 33554432000 4194304 4196468 140721799092064 140015761364336 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32685] ppid=32674 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32685/stat : 32685 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15508250624 10266 33554432000 4194304 4196468 140721799092064 140015760312656 140016756717467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32686] ppid=32674 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32676/task/32686/stat : 32686 (java) S 32674 32674 31565 0 -1 1077944384 561 0 0 0 2 0 0 0 20 0 15 0 516174291 15508250624 10266 33554432000 4194304 4196468 140721799092064 140015759260016 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32687] ppid=32674 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32676/task/32687/stat : 32687 (java) S 32674 32674 31565 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 516174291 15508250624 10266 33554432000 4194304 4196468 140721799092064 140015758207216 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32688] ppid=32674 vsize=15144776 memory=140360752211584 CPUtime=0.08 cores=0,2,4,6
/proc/32676/task/32688/stat : 32688 (java) S 32674 32674 31565 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 15 0 516174291 15508250624 10266 33554432000 4194304 4196468 140721799092064 140015757154416 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32689] ppid=32674 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32689/stat : 32689 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15508250624 10266 33554432000 4194304 4196468 140721799092064 140015756101856 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32690] ppid=32674 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32690/stat : 32690 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174291 15508250624 10266 33554432000 4194304 4196468 140721799092064 140015755050160 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42516 KiB
[startup+0.311093 s]*
/proc/loadavg: 1.48 1.58 1.66 6/231 32690
/proc/meminfo: memFree=25511792/32770624 swapFree=66997160/67108860
[pid=32674] ppid=32671 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (xcsp3-exec) S 32671 32674 31565 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516174285 115843072 363 33554432000 4194304 5098028 140720470708000 140720470706104 140008734581372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38232064 140720470709080 140720470709337 140720470709337 140720470712262 0
/proc/32674/statm: 28282 363 305 221 0 87 0
[pid=32676] ppid=32674 vsize=15149032 memory=49664 CPUtime=0.53 cores=0,2,4,6
/proc/32676/stat : 32676 (java) S 32674 32674 31565 0 -1 1077944320 10767 0 0 0 48 5 0 0 20 0 15 0 516174285 15512608768 12416 33554432000 4194304 4196468 140721799092064 140721799074608 140016756698871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
/proc/32676/statm: 3787258 12416 3343 1 0 3748377 0
[pid=32676/tid=32677] ppid=32674 vsize=15149032 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/32676/task/32677/stat : 32677 (java) R 32674 32674 31565 0 -1 4202560 7713 0 0 0 26 3 0 0 20 0 15 0 516174285 15512608768 12416 33554432000 4194304 4196468 140721799092064 140016760932656 140016756720797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32678] ppid=32674 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32678/stat : 32678 (java) S 32674 32674 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516174286 15512608768 12416 33554432000 4194304 4196468 140721799092064 140016684739216 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32679] ppid=32674 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32679/stat : 32679 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15512608768 12416 33554432000 4194304 4196468 140721799092064 140016683686416 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32680] ppid=32674 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32680/stat : 32680 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15512608768 12416 33554432000 4194304 4196468 140721799092064 140016682633616 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32681] ppid=32674 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32681/stat : 32681 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15512608768 12416 33554432000 4194304 4196468 140721799092064 140016681580816 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32682] ppid=32674 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32682/stat : 32682 (java) S 32674 32674 31565 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516174287 15512608768 12416 33554432000 4194304 4196468 140721799092064 140015763471216 140016756710018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32683] ppid=32674 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32683/stat : 32683 (java) S 32674 32674 31565 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516174288 15512608768 12416 33554432000 4194304 4196468 140721799092064 140015762417184 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32684] ppid=32674 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32684/stat : 32684 (java) S 32674 32674 31565 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516174288 15512608768 12416 33554432000 4194304 4196468 140721799092064 140015761364336 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32685] ppid=32674 vsize=15149032 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32685/stat : 32685 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15512608768 12416 33554432000 4194304 4196468 140721799092064 140015760312656 140016756717467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32686] ppid=32674 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/32676/task/32686/stat : 32686 (java) S 32674 32674 31565 0 -1 1077944384 572 0 0 0 4 0 0 0 20 0 15 0 516174291 15512608768 12416 33554432000 4194304 4196468 140721799092064 140015759260016 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32687] ppid=32674 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32676/task/32687/stat : 32687 (java) R 32674 32674 31565 0 -1 4202560 345 0 0 0 4 0 0 0 20 0 15 0 516174291 15512608768 12416 33554432000 4194304 4196468 140721799092064 140015758197600 140016738221469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32688] ppid=32674 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/32676/task/32688/stat : 32688 (java) S 32674 32674 31565 0 -1 1077944384 830 0 0 0 13 0 0 0 20 0 15 0 516174291 15512608768 12416 33554432000 4194304 4196468 140721799092064 140015757154416 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32689] ppid=32674 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32689/stat : 32689 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15512608768 12416 33554432000 4194304 4196468 140721799092064 140015756101856 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32690] ppid=32674 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32690/stat : 32690 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174291 15512608768 12416 33554432000 4194304 4196468 140721799092064 140015755050160 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51116 KiB
[startup+0.700828 s]
/proc/loadavg: 1.48 1.58 1.66 4/231 32690
/proc/meminfo: memFree=25498752/32770624 swapFree=66997160/67108860
[pid=32674] ppid=32671 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (xcsp3-exec) S 32671 32674 31565 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516174285 115843072 363 33554432000 4194304 5098028 140720470708000 140720470706104 140008734581372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38232064 140720470709080 140720470709337 140720470709337 140720470712262 0
/proc/32674/statm: 28282 363 305 221 0 87 0
[pid=32676] ppid=32674 vsize=15151156 memory=69100 CPUtime=1.5 cores=0,2,4,6
/proc/32676/stat : 32676 (java) S 32674 32674 31565 0 -1 1077944320 14052 0 0 0 144 6 0 0 20 0 15 0 516174285 15514783744 17275 33554432000 4194304 4196468 140721799092064 140721799074608 140016756698871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
/proc/32676/statm: 3787789 17275 3449 1 0 3748889 0
[pid=32676/tid=32677] ppid=32674 vsize=15151156 memory=33 CPUtime=0.66 cores=0,2,4,6
/proc/32676/task/32677/stat : 32677 (java) R 32674 32674 31565 0 -1 4202560 9111 0 0 0 62 4 0 0 20 0 15 0 516174285 15514783744 17275 33554432000 4194304 4196468 140721799092064 140016760933104 140016356831410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32678] ppid=32674 vsize=15151156 memory=288230608904420306 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32678/stat : 32678 (java) S 32674 32674 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516174286 15514783744 17275 33554432000 4194304 4196468 140721799092064 140016684739216 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32679] ppid=32674 vsize=15151156 memory=15535211066729520 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32679/stat : 32679 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15514783744 17275 33554432000 4194304 4196468 140721799092064 140016683686416 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32680] ppid=32674 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32680/stat : 32680 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15514783744 17275 33554432000 4194304 4196468 140721799092064 140016682633616 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32681] ppid=32674 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32681/stat : 32681 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174286 15514783744 17275 33554432000 4194304 4196468 140721799092064 140016681580816 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32682] ppid=32674 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32682/stat : 32682 (java) S 32674 32674 31565 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516174287 15514783744 17275 33554432000 4194304 4196468 140721799092064 140015763471216 140016756710018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32683] ppid=32674 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32683/stat : 32683 (java) S 32674 32674 31565 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516174288 15514783744 17275 33554432000 4194304 4196468 140721799092064 140015762417184 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32684] ppid=32674 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32684/stat : 32684 (java) S 32674 32674 31565 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516174288 15514783744 17275 33554432000 4194304 4196468 140721799092064 140015761364336 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32685] ppid=32674 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32685/stat : 32685 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 17275 33554432000 4194304 4196468 140721799092064 140015760312656 140016756717467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32686] ppid=32674 vsize=15151156 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/32676/task/32686/stat : 32686 (java) R 32674 32674 31565 0 -1 4202560 1255 0 0 0 27 0 0 0 20 0 15 0 516174291 15514783744 17275 33554432000 4194304 4196468 140721799092064 140015759250992 140016738242594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32687] ppid=32674 vsize=15151156 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/32676/task/32687/stat : 32687 (java) S 32674 32674 31565 0 -1 1077944384 956 0 0 0 23 0 0 0 20 0 15 0 516174291 15514783744 17275 33554432000 4194304 4196468 140721799092064 140015758207216 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32688] ppid=32674 vsize=15151156 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/32676/task/32688/stat : 32688 (java) S 32674 32674 31565 0 -1 1077944384 1428 0 0 0 30 0 0 0 20 0 15 0 516174291 15514783744 17275 33554432000 4194304 4196468 140721799092064 140015757154416 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32689] ppid=32674 vsize=15151156 memory=4639074098508484688 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32689/stat : 32689 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 17275 33554432000 4194304 4196468 140721799092064 140015756101856 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32690] ppid=32674 vsize=15151156 memory=7593456435364982122 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32690/stat : 32690 (java) S 32674 32674 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 17275 33554432000 4194304 4196468 140721799092064 140015755050160 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 70552 KiB
[startup+1.50083 s]
/proc/loadavg: 1.48 1.58 1.66 3/231 32690
/proc/meminfo: memFree=25490032/32770624 swapFree=66997160/67108860
[pid=32674] ppid=32671 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (xcsp3-exec) S 32671 32674 31565 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516174285 115843072 363 33554432000 4194304 5098028 140720470708000 140720470706104 140008734581372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38232064 140720470709080 140720470709337 140720470709337 140720470712262 0
/proc/32674/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/32676/task/32684/stat : 32684 (java) S 32674 32674 31565 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 516174288 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015761364352 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32685] ppid=32674 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32685/stat : 32685 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015760312656 140016756717467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32686] ppid=32674 vsize=15151156 memory=6791534058613427641 CPUtime=1.75 cores=0,2,4,6
/proc/32676/task/32686/stat : 32686 (java) S 32674 32674 31565 0 -1 1077944384 13439 0 0 0 174 1 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015759260016 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32687] ppid=32674 vsize=15151156 memory=202320 CPUtime=1.97 cores=0,2,4,6
/proc/32676/task/32687/stat : 32687 (java) S 32674 32674 31565 0 -1 1077944384 16523 0 0 0 195 2 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015758207216 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32688] ppid=32674 vsize=15151156 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/32676/task/32688/stat : 32688 (java) S 32674 32674 31565 0 -1 1077944384 7804 0 0 0 46 1 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015757154416 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32689] ppid=32674 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32689/stat : 32689 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015756101856 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32690] ppid=32674 vsize=15151156 memory=2016 CPUtime=0.6 cores=0,2,4,6
/proc/32676/task/32690/stat : 32690 (java) S 32674 32674 31565 0 -1 1077944384 1175 0 0 0 28 32 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015755050160 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
Current children cumulated CPU time: 2267.11 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 203772 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 1.94 1.85 3/230 529
/proc/meminfo: memFree=24346272/32770624 swapFree=66997164/67108860
[pid=32674] ppid=32671 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (xcsp3-exec) S 32671 32674 31565 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516174285 115843072 363 33554432000 4194304 5098028 140720470708000 140720470706104 140008734581372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38232064 140720470709080 140720470709337 140720470709337 140720470712262 0
/proc/32674/statm: 28282 363 305 221 0 87 0
[pid=32676] ppid=32674 vsize=15151156 memory=202320 CPUtime=2327.14 cores=0,2,4,6
/proc/32676/stat : 32676 (java) S 32674 32674 31565 0 -1 1077944320 68759 0 0 0 232668 46 0 0 20 0 15 0 516174285 15514783744 50580 33554432000 4194304 4196468 140721799092064 140721799074608 140016756698871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
/proc/32676/statm: 3787789 50580 3508 1 0 3748889 0
[pid=32676/tid=32677] ppid=32674 vsize=15151156 memory=202320 CPUtime=2322.1 cores=0,2,4,6
/proc/32676/task/32677/stat : 32677 (java) R 32674 32674 31565 0 -1 4202560 18793 0 0 0 232200 10 0 0 20 0 15 0 516174285 15514783744 50580 33554432000 4194304 4196468 140721799092064 140016760938400 140016358777355 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32678] ppid=32674 vsize=15151156 memory=202320 CPUtime=0.02 cores=0,2,4,6
/proc/32676/task/32678/stat : 32678 (java) S 32674 32674 31565 0 -1 1077944384 2454 0 0 0 2 0 0 0 20 0 15 0 516174286 15514783744 50580 33554432000 4194304 4196468 140721799092064 140016684739216 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32679] ppid=32674 vsize=15151156 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/32676/task/32679/stat : 32679 (java) S 32674 32674 31565 0 -1 1077944384 1409 0 0 0 1 0 0 0 20 0 15 0 516174286 15514783744 50580 33554432000 4194304 4196468 140721799092064 140016683686416 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32680] ppid=32674 vsize=15151156 memory=202320 CPUtime=0.01 cores=0,2,4,6
/proc/32676/task/32680/stat : 32680 (java) S 32674 32674 31565 0 -1 1077944384 1717 0 0 0 1 0 0 0 20 0 15 0 516174286 15514783744 50580 33554432000 4194304 4196468 140721799092064 140016682633616 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32681] ppid=32674 vsize=15151156 memory=202320 CPUtime=0.02 cores=0,2,4,6
/proc/32676/task/32681/stat : 32681 (java) S 32674 32674 31565 0 -1 1077944384 1331 0 0 0 2 0 0 0 20 0 15 0 516174286 15514783744 50580 33554432000 4194304 4196468 140721799092064 140016681580816 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32682] ppid=32674 vsize=15151156 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/32676/task/32682/stat : 32682 (java) S 32674 32674 31565 0 -1 1077944384 2629 0 0 0 3 1 0 0 20 0 15 0 516174287 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015763471216 140016756710018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32683] ppid=32674 vsize=15151156 memory=202320 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32683/stat : 32683 (java) S 32674 32674 31565 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 516174288 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015762417248 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32684] ppid=32674 vsize=15151156 memory=202320 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32684/stat : 32684 (java) S 32674 32674 31565 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 516174288 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015761364352 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32685] ppid=32674 vsize=15151156 memory=202320 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32685/stat : 32685 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015760312656 140016756717467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32686] ppid=32674 vsize=15151156 memory=1452 CPUtime=1.75 cores=0,2,4,6
/proc/32676/task/32686/stat : 32686 (java) S 32674 32674 31565 0 -1 1077944384 13439 0 0 0 174 1 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015759260016 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32687] ppid=32674 vsize=15151156 memory=1452 CPUtime=1.97 cores=0,2,4,6
/proc/32676/task/32687/stat : 32687 (java) S 32674 32674 31565 0 -1 1077944384 16525 0 0 0 195 2 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015758207216 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32688] ppid=32674 vsize=15151156 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/32676/task/32688/stat : 32688 (java) S 32674 32674 31565 0 -1 1077944384 7804 0 0 0 46 1 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015757154416 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32689] ppid=32674 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32689/stat : 32689 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015756101856 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32690] ppid=32674 vsize=15151156 memory=1452 CPUtime=0.62 cores=0,2,4,6
/proc/32676/task/32690/stat : 32690 (java) S 32674 32674 31565 0 -1 1077944384 1204 0 0 0 29 33 0 0 20 0 15 0 516174291 15514783744 50580 33554432000 4194304 4196468 140721799092064 140015755050160 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
Current children cumulated CPU time: 2327.14 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 203772 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 1.97 1.86 3/229 536
/proc/meminfo: memFree=24349300/32770624 swapFree=66997164/67108860
[pid=32674] ppid=32671 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (xcsp3-exec) S 32671 32674 31565 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516174285 115843072 363 33554432000 4194304 5098028 140720470708000 140720470706104 140008734581372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38232064 140720470709080 140720470709337 140720470709337 140720470712262 0
/proc/32674/statm: 28282 363 305 221 0 87 0
[pid=32676] ppid=32674 vsize=15151156 memory=200268 CPUtime=2387.15 cores=0,2,4,6
/proc/32676/stat : 32676 (java) S 32674 32674 31565 0 -1 1077944320 69374 0 0 0 238669 46 0 0 20 0 15 0 516174285 15514783744 50067 33554432000 4194304 4196468 140721799092064 140721799074608 140016756698871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
/proc/32676/statm: 3787789 50067 3508 1 0 3748889 0
[pid=32676/tid=32677] ppid=32674 vsize=15151156 memory=200268 CPUtime=2382.1 cores=0,2,4,6
/proc/32676/task/32677/stat : 32677 (java) R 32674 32674 31565 0 -1 4202560 18829 0 0 0 238200 10 0 0 20 0 15 0 516174285 15514783744 50067 33554432000 4194304 4196468 140721799092064 140016760938464 140016357266958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32678] ppid=32674 vsize=15151156 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/32676/task/32678/stat : 32678 (java) S 32674 32674 31565 0 -1 1077944384 2496 0 0 0 2 0 0 0 20 0 15 0 516174286 15514783744 50067 33554432000 4194304 4196468 140721799092064 140016684739216 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32679] ppid=32674 vsize=15151156 memory=200268 CPUtime=0.01 cores=0,2,4,6
/proc/32676/task/32679/stat : 32679 (java) S 32674 32674 31565 0 -1 1077944384 1419 0 0 0 1 0 0 0 20 0 15 0 516174286 15514783744 50067 33554432000 4194304 4196468 140721799092064 140016683686416 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32680] ppid=32674 vsize=15151156 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/32676/task/32680/stat : 32680 (java) S 32674 32674 31565 0 -1 1077944384 1737 0 0 0 2 0 0 0 20 0 15 0 516174286 15514783744 50067 33554432000 4194304 4196468 140721799092064 140016682633616 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32681] ppid=32674 vsize=15151156 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/32676/task/32681/stat : 32681 (java) S 32674 32674 31565 0 -1 1077944384 1660 0 0 0 2 0 0 0 20 0 15 0 516174286 15514783744 50067 33554432000 4194304 4196468 140721799092064 140016681580816 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32682] ppid=32674 vsize=15151156 memory=200268 CPUtime=0.04 cores=0,2,4,6
/proc/32676/task/32682/stat : 32682 (java) S 32674 32674 31565 0 -1 1077944384 2803 0 0 0 3 1 0 0 20 0 15 0 516174287 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015763471216 140016756710018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32683] ppid=32674 vsize=15151156 memory=200268 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32683/stat : 32683 (java) S 32674 32674 31565 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 516174288 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015762417248 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32684] ppid=32674 vsize=15151156 memory=200268 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32684/stat : 32684 (java) S 32674 32674 31565 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 516174288 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015761364352 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32685] ppid=32674 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32685/stat : 32685 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015760312656 140016756717467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32686] ppid=32674 vsize=15151156 memory=932 CPUtime=1.75 cores=0,2,4,6
/proc/32676/task/32686/stat : 32686 (java) S 32674 32674 31565 0 -1 1077944384 13439 0 0 0 174 1 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015759260016 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32687] ppid=32674 vsize=15151156 memory=3680 CPUtime=1.98 cores=0,2,4,6
/proc/32676/task/32687/stat : 32687 (java) S 32674 32674 31565 0 -1 1077944384 16525 0 0 0 196 2 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015758207216 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32688] ppid=32674 vsize=15151156 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/32676/task/32688/stat : 32688 (java) S 32674 32674 31565 0 -1 1077944384 7804 0 0 0 46 1 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015757154416 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32689] ppid=32674 vsize=15151156 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32689/stat : 32689 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015756101856 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32690] ppid=32674 vsize=15151156 memory=3624 CPUtime=0.64 cores=0,2,4,6
/proc/32676/task/32690/stat : 32690 (java) S 32674 32674 31565 0 -1 1077944384 1208 0 0 0 30 34 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015755050160 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
Current children cumulated CPU time: 2387.15 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 201720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2395.2 s]
/proc/loadavg: 2.04 1.97 1.87 3/228 536
/proc/meminfo: memFree=24349812/32770624 swapFree=66997164/67108860
[pid=32674] ppid=32671 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32674/stat : 32674 (xcsp3-exec) S 32671 32674 31565 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516174285 115843072 363 33554432000 4194304 5098028 140720470708000 140720470706104 140008734581372 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38232064 140720470709080 140720470709337 140720470709337 140720470712262 0
/proc/32674/statm: 28282 363 305 221 0 87 0
[pid=32676] ppid=32674 vsize=15151156 memory=200268 CPUtime=2400.06 cores=0,2,4,6
/proc/32676/stat : 32676 (java) S 32674 32674 31565 0 -1 1077944320 69378 0 0 0 239960 46 0 0 20 0 15 0 516174285 15514783744 50067 33554432000 4194304 4196468 140721799092064 140721799074608 140016756698871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
/proc/32676/statm: 3787789 50067 3508 1 0 3748889 0
[pid=32676/tid=32677] ppid=32674 vsize=15151156 memory=1412 CPUtime=2395 cores=0,2,4,6
/proc/32676/task/32677/stat : 32677 (java) R 32674 32674 31565 0 -1 4202560 18833 0 0 0 239490 10 0 0 20 0 15 0 516174285 15514783744 50067 33554432000 4194304 4196468 140721799092064 140016760938464 140016357266967 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32678] ppid=32674 vsize=15151156 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/32676/task/32678/stat : 32678 (java) S 32674 32674 31565 0 -1 1077944384 2496 0 0 0 2 0 0 0 20 0 15 0 516174286 15514783744 50067 33554432000 4194304 4196468 140721799092064 140016684739216 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32679] ppid=32674 vsize=15151156 memory=3624 CPUtime=0.01 cores=0,2,4,6
/proc/32676/task/32679/stat : 32679 (java) S 32674 32674 31565 0 -1 1077944384 1419 0 0 0 1 0 0 0 20 0 15 0 516174286 15514783744 50067 33554432000 4194304 4196468 140721799092064 140016683686416 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32680] ppid=32674 vsize=15151156 memory=65100 CPUtime=0.02 cores=0,2,4,6
/proc/32676/task/32680/stat : 32680 (java) S 32674 32674 31565 0 -1 1077944384 1737 0 0 0 2 0 0 0 20 0 15 0 516174286 15514783744 50067 33554432000 4194304 4196468 140721799092064 140016682633616 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32681] ppid=32674 vsize=15151156 memory=988 CPUtime=0.02 cores=0,2,4,6
/proc/32676/task/32681/stat : 32681 (java) S 32674 32674 31565 0 -1 1077944384 1660 0 0 0 2 0 0 0 20 0 15 0 516174286 15514783744 50067 33554432000 4194304 4196468 140721799092064 140016681580816 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32682] ppid=32674 vsize=15151156 memory=6132 CPUtime=0.04 cores=0,2,4,6
/proc/32676/task/32682/stat : 32682 (java) S 32674 32674 31565 0 -1 1077944384 2803 0 0 0 3 1 0 0 20 0 15 0 516174287 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015763471216 140016756710018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32683] ppid=32674 vsize=15151156 memory=612 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32683/stat : 32683 (java) S 32674 32674 31565 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 516174288 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015762417248 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32684] ppid=32674 vsize=15151156 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32684/stat : 32684 (java) S 32674 32674 31565 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 516174288 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015761364352 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32685] ppid=32674 vsize=15151156 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32685/stat : 32685 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015760312656 140016756717467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32686] ppid=32674 vsize=15151156 memory=14060 CPUtime=1.75 cores=0,2,4,6
/proc/32676/task/32686/stat : 32686 (java) S 32674 32674 31565 0 -1 1077944384 13439 0 0 0 174 1 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015759260016 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32687] ppid=32674 vsize=15151156 memory=3680 CPUtime=1.98 cores=0,2,4,6
/proc/32676/task/32687/stat : 32687 (java) S 32674 32674 31565 0 -1 1077944384 16525 0 0 0 196 2 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015758207216 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32688] ppid=32674 vsize=15151156 memory=836 CPUtime=0.47 cores=0,2,4,6
/proc/32676/task/32688/stat : 32688 (java) S 32674 32674 31565 0 -1 1077944384 7804 0 0 0 46 1 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015757154416 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32689] ppid=32674 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/32676/task/32689/stat : 32689 (java) S 32674 32674 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015756101856 140016756709077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
[pid=32676/tid=32690] ppid=32674 vsize=15151156 memory=1720 CPUtime=0.64 cores=0,2,4,6
/proc/32676/task/32690/stat : 32690 (java) S 32674 32674 31565 0 -1 1077944384 1208 0 0 0 30 34 0 0 20 0 15 0 516174291 15514783744 50067 33554432000 4194304 4196468 140721799092064 140015755050160 140016756710018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 26402816 140721799099355 140721799099530 140721799099530 140721799102415 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 201720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2395.21 s]
# the end of solver process 32674 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001059 s, system=0.001494 s
[startup+2395.21 s]
# the end of solver process 32676 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.61 s, system=0.471536 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2395.21
CPU time (s): 2400.08
CPU user time (s): 2399.61
CPU system time (s): 0.471536
CPU usage (%): 100.203
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 222796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.61
system time used= 0.471536
maximum resident set size= 222384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54973
involuntary context switches= 2350
# summary of solver processes directly reported to runsolver:
# pid: 32674,32676
# total CPU time (s): 2400.08
# total CPU user time (s): 2399.61
# total CPU system time (s): 0.471536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2705 second user time and 21.5555 second system time
The end