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 (15233 MiB free)
memory of node 1: 16384 MiB (12044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400604-1568697232/watcher-4400604-1568697232 -o /tmp/evaluation-result-4400604-1568697232/solver-4400604-1568697232 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 363714070 HOME/instance-4400604-1568697232.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
Current StackSize limit: 8192 KiB
solver pid=6247, runsolver pid=6244
[startup+0.102409 s]*
/proc/loadavg: 8.71 8.73 8.61 6/235 6263
/proc/meminfo: memFree=27915816/32770624 swapFree=66997372/67108860
[pid=6247] ppid=6244 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6247/stat : 6247 (xcsp3-exec) S 6244 6247 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445976304 115843072 363 33554432000 4194304 5098028 140731861588528 140731861586632 140647216419452 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37183488 140731861590907 140731861591149 140731861591149 140731861594058 0
/proc/6247/statm: 28282 363 304 221 0 87 0
[pid=6249] ppid=6247 vsize=15144776 memory=28952 CPUtime=0.14 cores=0,2,4,6
/proc/6249/stat : 6249 (java) S 6247 6247 24272 0 -1 1077944320 5706 0 0 0 12 2 0 0 20 0 15 0 445976305 15508250624 7238 33554432000 4194304 4196468 140731930558096 140731930540640 140500113506039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
/proc/6249/statm: 3786194 7238 3184 1 0 3748377 0
[pid=6249/tid=6250] ppid=6247 vsize=15144776 memory=-7828588039587135835 CPUtime=0.09 cores=0,2,4,6
/proc/6249/task/6250/stat : 6250 (java) R 6247 6247 24272 0 -1 4202560 3586 0 0 0 8 1 0 0 20 0 15 0 445976305 15508250624 7238 33554432000 4194304 4196468 140731930558096 140500117737360 140500097586526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6251] ppid=6247 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6251/stat : 6251 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15508250624 7238 33554432000 4194304 4196468 140731930558096 140500066126864 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6252] ppid=6247 vsize=15144776 memory=140496822986368 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6252/stat : 6252 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15508250624 7238 33554432000 4194304 4196468 140731930558096 140500065074320 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6253] ppid=6247 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6253/stat : 6253 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15508250624 7238 33554432000 4194304 4196468 140731930558096 140500064021264 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6254] ppid=6247 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6254/stat : 6254 (java) S 6247 6247 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445976306 15508250624 7238 33554432000 4194304 4196468 140731930558096 140500062968720 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6255] ppid=6247 vsize=15144776 memory=140496822986368 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6255/stat : 6255 (java) S 6247 6247 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445976307 15508250624 7238 33554432000 4194304 4196468 140731930558096 140498987620592 140500113517186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6256] ppid=6247 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6256/stat : 6256 (java) S 6247 6247 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445976308 15508250624 7238 33554432000 4194304 4196468 140731930558096 140498986566816 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6257] ppid=6247 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6257/stat : 6257 (java) S 6247 6247 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445976308 15508250624 7238 33554432000 4194304 4196468 140731930558096 140498985513712 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6258] ppid=6247 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6258/stat : 6258 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445976310 15508250624 7238 33554432000 4194304 4196468 140731930558096 140498676045776 140500113524635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6259] ppid=6247 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6259/stat : 6259 (java) R 6247 6247 24272 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 445976310 15508250624 7238 33554432000 4194304 4196468 140731930558096 140498674993904 140500113517186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6260] ppid=6247 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6260/stat : 6260 (java) R 6247 6247 24272 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 15 0 445976310 15508250624 7238 33554432000 4194304 4196468 140731930558096 140498673941360 140500094141719 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6261] ppid=6247 vsize=15144776 memory=140496822986368 CPUtime=0.02 cores=0,2,4,6
/proc/6249/task/6261/stat : 6261 (java) R 6247 6247 24272 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 15 0 445976310 15508250624 7238 33554432000 4194304 4196468 140731930558096 140498672888304 140500092206908 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6262] ppid=6247 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6262/stat : 6262 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445976310 15508250624 7238 33554432000 4194304 4196468 140731930558096 140498671836000 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6263] ppid=6247 vsize=15144776 memory=140496822986368 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6263/stat : 6263 (java) R 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976311 15508250624 7238 33554432000 4194304 4196468 140731930558096 140498670783024 140500113517186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30404 KiB
[startup+0.210769 s]*
/proc/loadavg: 8.71 8.73 8.61 9/235 6263
/proc/meminfo: memFree=27903080/32770624 swapFree=66997372/67108860
[pid=6247] ppid=6244 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6247/stat : 6247 (xcsp3-exec) S 6244 6247 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445976304 115843072 363 33554432000 4194304 5098028 140731861588528 140731861586632 140647216419452 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37183488 140731861590907 140731861591149 140731861591149 140731861594058 0
/proc/6247/statm: 28282 363 304 221 0 87 0
[pid=6249] ppid=6247 vsize=15144776 memory=40912 CPUtime=0.34 cores=0,2,4,6
/proc/6249/stat : 6249 (java) S 6247 6247 24272 0 -1 1077944320 9443 0 0 0 30 4 0 0 20 0 15 0 445976305 15508250624 10228 33554432000 4194304 4196468 140731930558096 140731930540640 140500113506039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
/proc/6249/statm: 3786194 10228 3295 1 0 3748377 0
[pid=6249/tid=6250] ppid=6247 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/6249/task/6250/stat : 6250 (java) R 6247 6247 24272 0 -1 4202560 6612 0 0 0 17 3 0 0 20 0 15 0 445976305 15508250624 10228 33554432000 4194304 4196468 140731930558096 140500117744352 140500113527386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6251] ppid=6247 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6251/stat : 6251 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15508250624 10228 33554432000 4194304 4196468 140731930558096 140500066126864 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6252] ppid=6247 vsize=15144776 memory=3617992472732231328 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6252/stat : 6252 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15508250624 10228 33554432000 4194304 4196468 140731930558096 140500065074320 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6253] ppid=6247 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6253/stat : 6253 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15508250624 10228 33554432000 4194304 4196468 140731930558096 140500064021264 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6254] ppid=6247 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6254/stat : 6254 (java) S 6247 6247 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445976306 15508250624 10228 33554432000 4194304 4196468 140731930558096 140500062968720 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6255] ppid=6247 vsize=15144776 memory=140496822986368 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6255/stat : 6255 (java) S 6247 6247 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445976307 15508250624 10228 33554432000 4194304 4196468 140731930558096 140498987620592 140500113517186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6256] ppid=6247 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6256/stat : 6256 (java) S 6247 6247 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445976308 15508250624 10228 33554432000 4194304 4196468 140731930558096 140498986566816 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6257] ppid=6247 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6257/stat : 6257 (java) S 6247 6247 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445976308 15508250624 10228 33554432000 4194304 4196468 140731930558096 140498985513712 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6258] ppid=6247 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6258/stat : 6258 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445976310 15508250624 10228 33554432000 4194304 4196468 140731930558096 140498676045776 140500113524635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6259] ppid=6247 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6249/task/6259/stat : 6259 (java) S 6247 6247 24272 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 15 0 445976310 15508250624 10228 33554432000 4194304 4196468 140731930558096 140498674993904 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6260] ppid=6247 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/6249/task/6260/stat : 6260 (java) S 6247 6247 24272 0 -1 1077944384 418 0 0 0 3 0 0 0 20 0 15 0 445976310 15508250624 10228 33554432000 4194304 4196468 140731930558096 140498673941360 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6261] ppid=6247 vsize=15144776 memory=140496822986368 CPUtime=0.08 cores=0,2,4,6
/proc/6249/task/6261/stat : 6261 (java) R 6247 6247 24272 0 -1 1077944384 795 0 0 0 8 0 0 0 20 0 15 0 445976310 15508250624 10228 33554432000 4194304 4196468 140731930558096 140498672888304 140500113517186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6262] ppid=6247 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6262/stat : 6262 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445976310 15508250624 10228 33554432000 4194304 4196468 140731930558096 140498671836000 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6263] ppid=6247 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6263/stat : 6263 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976311 15508250624 10228 33554432000 4194304 4196468 140731930558096 140498670783024 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42364 KiB
[startup+0.318752 s]*
/proc/loadavg: 8.71 8.73 8.61 8/235 6263
/proc/meminfo: memFree=27895548/32770624 swapFree=66997372/67108860
[pid=6247] ppid=6244 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6247/stat : 6247 (xcsp3-exec) S 6244 6247 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445976304 115843072 363 33554432000 4194304 5098028 140731861588528 140731861586632 140647216419452 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37183488 140731861590907 140731861591149 140731861591149 140731861594058 0
/proc/6247/statm: 28282 363 304 221 0 87 0
[pid=6249] ppid=6247 vsize=15149032 memory=50200 CPUtime=0.54 cores=0,2,4,6
/proc/6249/stat : 6249 (java) S 6247 6247 24272 0 -1 1077944320 10927 0 0 0 50 4 0 0 20 0 15 0 445976305 15512608768 12550 33554432000 4194304 4196468 140731930558096 140731930540640 140500113506039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
/proc/6249/statm: 3787258 12550 3366 1 0 3748377 0
[pid=6249/tid=6250] ppid=6247 vsize=15149032 memory=27992919332356134 CPUtime=0.3 cores=0,2,4,6
/proc/6249/task/6250/stat : 6250 (java) R 6247 6247 24272 0 -1 4202560 7868 0 0 0 27 3 0 0 20 0 15 0 445976305 15512608768 12615 33554432000 4194304 4196468 140731930558096 140500117741584 140500113517974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6251] ppid=6247 vsize=15149032 memory=288230596084498767 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6251/stat : 6251 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15512608768 12615 33554432000 4194304 4196468 140731930558096 140500066126864 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6252] ppid=6247 vsize=15149032 memory=13847482257905424 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6252/stat : 6252 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15512608768 12615 33554432000 4194304 4196468 140731930558096 140500065074320 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6253] ppid=6247 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6253/stat : 6253 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15512608768 12615 33554432000 4194304 4196468 140731930558096 140500064021264 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6254] ppid=6247 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6254/stat : 6254 (java) S 6247 6247 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445976306 15512608768 12615 33554432000 4194304 4196468 140731930558096 140500062968720 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6255] ppid=6247 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6255/stat : 6255 (java) S 6247 6247 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445976307 15512608768 12615 33554432000 4194304 4196468 140731930558096 140498987620592 140500113517186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6256] ppid=6247 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6256/stat : 6256 (java) S 6247 6247 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445976308 15512608768 12615 33554432000 4194304 4196468 140731930558096 140498986566816 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6257] ppid=6247 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6257/stat : 6257 (java) S 6247 6247 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445976308 15512608768 12615 33554432000 4194304 4196468 140731930558096 140498985513712 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6258] ppid=6247 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6258/stat : 6258 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445976310 15512608768 12615 33554432000 4194304 4196468 140731930558096 140498676045776 140500113524635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6259] ppid=6247 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6249/task/6259/stat : 6259 (java) S 6247 6247 24272 0 -1 1077944384 347 0 0 0 3 0 0 0 20 0 15 0 445976310 15512608768 12615 33554432000 4194304 4196468 140731930558096 140498674993904 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6260] ppid=6247 vsize=15149032 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6249/task/6260/stat : 6260 (java) S 6247 6247 24272 0 -1 1077944384 523 0 0 0 6 0 0 0 20 0 15 0 445976310 15512608768 12615 33554432000 4194304 4196468 140731930558096 140498673941360 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6261] ppid=6247 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6249/task/6261/stat : 6261 (java) S 6247 6247 24272 0 -1 1077944384 895 0 0 0 12 0 0 0 20 0 15 0 445976310 15512608768 12615 33554432000 4194304 4196468 140731930558096 140498672888304 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6262] ppid=6247 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6262/stat : 6262 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445976310 15512608768 12615 33554432000 4194304 4196468 140731930558096 140498671836000 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6263] ppid=6247 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6263/stat : 6263 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976311 15512608768 12615 33554432000 4194304 4196468 140731930558096 140498670783024 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51652 KiB
[startup+0.700794 s]
/proc/loadavg: 8.71 8.73 8.61 7/235 6263
/proc/meminfo: memFree=27875352/32770624 swapFree=66997372/67108860
[pid=6247] ppid=6244 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6247/stat : 6247 (xcsp3-exec) S 6244 6247 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445976304 115843072 363 33554432000 4194304 5098028 140731861588528 140731861586632 140647216419452 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37183488 140731861590907 140731861591149 140731861591149 140731861594058 0
/proc/6247/statm: 28282 363 304 221 0 87 0
[pid=6249] ppid=6247 vsize=15151156 memory=101224 CPUtime=1.75 cores=0,2,4,6
/proc/6249/stat : 6249 (java) S 6247 6247 24272 0 -1 1077944320 14371 0 0 0 169 6 0 0 20 0 15 0 445976305 15514783744 25306 33554432000 4194304 4196468 140731930558096 140731930540640 140500113506039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
/proc/6249/statm: 3787789 25306 3447 1 0 3748889 0
[pid=6249/tid=6250] ppid=6247 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/6249/task/6250/stat : 6250 (java) R 6247 6247 24272 0 -1 4202560 8430 0 0 0 64 4 0 0 20 0 15 0 445976305 15514783744 25306 33554432000 4194304 4196468 140731930558096 140500117741504 140500095154973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6251] ppid=6247 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6251/stat : 6251 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15514783744 25306 33554432000 4194304 4196468 140731930558096 140500066126864 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6252] ppid=6247 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6252/stat : 6252 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15514783744 25306 33554432000 4194304 4196468 140731930558096 140500065074320 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6253] ppid=6247 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6253/stat : 6253 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976306 15514783744 25306 33554432000 4194304 4196468 140731930558096 140500064021264 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6254] ppid=6247 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6254/stat : 6254 (java) S 6247 6247 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445976306 15514783744 25306 33554432000 4194304 4196468 140731930558096 140500062968720 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6255] ppid=6247 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6255/stat : 6255 (java) S 6247 6247 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445976307 15514783744 25306 33554432000 4194304 4196468 140731930558096 140498987620592 140500113517186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6256] ppid=6247 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6256/stat : 6256 (java) S 6247 6247 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445976308 15514783744 25306 33554432000 4194304 4196468 140731930558096 140498986566816 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6257] ppid=6247 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6257/stat : 6257 (java) S 6247 6247 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445976308 15514783744 25306 33554432000 4194304 4196468 140731930558096 140498985513712 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6258] ppid=6247 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6258/stat : 6258 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445976310 15514783744 25306 33554432000 4194304 4196468 140731930558096 140498676045776 140500113524635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6259] ppid=6247 vsize=15151156 memory=812 CPUtime=0.32 cores=0,2,4,6
/proc/6249/task/6259/stat : 6259 (java) R 6247 6247 24272 0 -1 4202560 1174 0 0 0 32 0 0 0 20 0 15 0 445976310 15514783744 25306 33554432000 4194304 4196468 140731930558096 140498674982048 140500096917097 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6260] ppid=6247 vsize=15151156 memory=1764 CPUtime=0.35 cores=0,2,4,6
/proc/6249/task/6260/stat : 6260 (java) R 6247 6247 24272 0 -1 4202560 1435 0 0 0 35 0 0 0 20 0 15 0 445976310 15514783744 25306 33554432000 4194304 4196468 140731930558096 140498673932864 140500106605886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6261] ppid=6247 vsize=15151156 memory=111628 CPUtime=0.37 cores=0,2,4,6
/proc/6249/task/6261/stat : 6261 (java) S 6247 6247 24272 0 -1 1077944384 2025 0 0 0 37 0 0 0 20 0 15 0 445976310 15514783744 25306 33554432000 4194304 4196468 140731930558096 140498672888304 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6262] ppid=6247 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6262/stat : 6262 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445976310 15514783744 25306 33554432000 4194304 4196468 140731930558096 140498671836000 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6263] ppid=6247 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6263/stat : 6263 (java) S 6247 6247 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445976311 15514783744 25306 33554432000 4194304 4196468 140731930558096 140498670783024 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 102676 KiB
[startup+1.50078 s]
/proc/loadavg: 8.71 8.73 8.61 9/235 6263
/proc/meminfo: memFree=27795428/32770624 swapFree=66997372/67108860
[pid=6247] ppid=6244 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6247/stat : 6247 (xcsp3-exec) S 6244 6247 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445976304 115843072 363 33554432000 4194304 5098028 140731861588528 140731861586632 140647216419452 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37183488 140731861590907 140731861591149 140731861591149 140731861594058 0
/proc/6247/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/6249/stat : 6249 (java) S 6247 6247 24272 0 -1 1077944320 151901 0 0 0 207247 122 0 0 20 0 19 0 445976305 15789527040 971772 33554432000 4194304 4196468 140731930558096 140731930540640 140500113506039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
/proc/6249/statm: 3854865 971772 3534 1 0 3815965 0
[pid=6249/tid=6250] ppid=6247 vsize=15419460 memory=288230596050944315 CPUtime=3.53 cores=0,2,4,6
/proc/6249/task/6250/stat : 6250 (java) S 6247 6247 24272 0 -1 1077944384 12385 0 0 0 346 7 0 0 20 0 19 0 445976305 15789527040 971772 33554432000 4194304 4196468 140731930558096 140500117746816 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6251] ppid=6247 vsize=15419460 memory=14689699524512400 CPUtime=0.48 cores=0,2,4,6
/proc/6249/task/6251/stat : 6251 (java) S 6247 6247 24272 0 -1 1077944384 1174 0 0 0 39 9 0 0 20 0 19 0 445976306 15789527040 971772 33554432000 4194304 4196468 140731930558096 140500066126864 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6252] ppid=6247 vsize=15419460 memory=2512 CPUtime=0.47 cores=0,2,4,6
/proc/6249/task/6252/stat : 6252 (java) S 6247 6247 24272 0 -1 1077944384 4759 0 0 0 38 9 0 0 20 0 19 0 445976306 15789527040 971772 33554432000 4194304 4196468 140731930558096 140500065074320 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6253] ppid=6247 vsize=15419460 memory=1436 CPUtime=0.49 cores=0,2,4,6
/proc/6249/task/6253/stat : 6253 (java) S 6247 6247 24272 0 -1 1077944384 4633 0 0 0 40 9 0 0 20 0 19 0 445976306 15789527040 971772 33554432000 4194304 4196468 140731930558096 140500064021264 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6254] ppid=6247 vsize=15419460 memory=812 CPUtime=0.52 cores=0,2,4,6
/proc/6249/task/6254/stat : 6254 (java) S 6247 6247 24272 0 -1 1077944384 1947 0 0 0 42 10 0 0 20 0 19 0 445976306 15789527040 971772 33554432000 4194304 4196468 140731930558096 140500062968720 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6255] ppid=6247 vsize=15419460 memory=1764 CPUtime=0.06 cores=0,2,4,6
/proc/6249/task/6255/stat : 6255 (java) S 6247 6247 24272 0 -1 1077944384 4796 0 0 0 4 2 0 0 20 0 19 0 445976307 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498987620592 140500113517186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6256] ppid=6247 vsize=15419460 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6256/stat : 6256 (java) S 6247 6247 24272 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445976308 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498986566880 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6257] ppid=6247 vsize=15419460 memory=796 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6257/stat : 6257 (java) S 6247 6247 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445976308 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498985513728 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6258] ppid=6247 vsize=15419460 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6258/stat : 6258 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445976310 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498676045776 140500113524635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6259] ppid=6247 vsize=15419460 memory=3284 CPUtime=6.47 cores=0,2,4,6
/proc/6249/task/6259/stat : 6259 (java) S 6247 6247 24272 0 -1 1077944384 26970 0 0 0 644 3 0 0 20 0 19 0 445976310 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498674993904 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6260] ppid=6247 vsize=15419460 memory=1452 CPUtime=6.53 cores=0,2,4,6
/proc/6249/task/6260/stat : 6260 (java) S 6247 6247 24272 0 -1 1077944384 31485 0 0 0 651 2 0 0 20 0 19 0 445976310 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498673941360 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6261] ppid=6247 vsize=15419460 memory=3887088 CPUtime=1.25 cores=0,2,4,6
/proc/6249/task/6261/stat : 6261 (java) S 6247 6247 24272 0 -1 1077944384 13210 0 0 0 123 2 0 0 20 0 19 0 445976310 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498672888304 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6262] ppid=6247 vsize=15419460 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6262/stat : 6262 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445976310 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498671836000 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6263] ppid=6247 vsize=15419460 memory=4872558044660077418 CPUtime=0.22 cores=0,2,4,6
/proc/6249/task/6263/stat : 6263 (java) S 6247 6247 24272 0 -1 1077944384 1374 0 0 0 7 15 0 0 20 0 19 0 445976311 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498670783024 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6264] ppid=6247 vsize=15419460 memory=4872558044660077418 CPUtime=513.93 cores=0,2,4,6
/proc/6249/task/6264/stat : 6264 (java) R 6247 6247 24272 0 -1 4202560 3185 0 0 0 51392 1 0 0 20 0 19 0 445976744 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498659703656 140499748447260 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6265] ppid=6247 vsize=15419460 memory=2012 CPUtime=512.72 cores=0,2,4,6
/proc/6249/task/6265/stat : 6265 (java) R 6247 6247 24272 0 -1 4202560 38422 0 0 0 51211 61 0 0 20 0 19 0 445976744 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498658654704 140499743897548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6266] ppid=6247 vsize=15419460 memory=4104 CPUtime=512.36 cores=0,2,4,6
/proc/6249/task/6266/stat : 6266 (java) R 6247 6247 24272 0 -1 4202560 2473 0 0 0 51235 1 0 0 20 0 19 0 445976744 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498657598848 140499742391790 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6267] ppid=6247 vsize=15419460 memory=8112282956445269571 CPUtime=514.53 cores=0,2,4,6
/proc/6249/task/6267/stat : 6267 (java) R 6247 6247 24272 0 -1 4202560 3747 0 0 0 51452 1 0 0 20 0 19 0 445976744 15789527040 971772 33554432000 4194304 4196468 140731930558096 140498656547400 140499749797830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
Current children cumulated CPU time: 2073.69 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3888540 KiB
[startup+582.302 s]
/proc/loadavg: 5.74 7.31 8.07 6/238 6429
/proc/meminfo: memFree=19240896/32770624 swapFree=66997372/67108860
[pid=6247] ppid=6244 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6247/stat : 6247 (xcsp3-exec) S 6244 6247 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445976304 115843072 363 33554432000 4194304 5098028 140731861588528 140731861586632 140647216419452 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37183488 140731861590907 140731861591149 140731861591149 140731861594058 0
/proc/6247/statm: 28282 363 304 221 0 87 0
[pid=6249] ppid=6247 vsize=15419460 memory=3761916 CPUtime=2312.56 cores=0,2,4,6
/proc/6249/stat : 6249 (java) S 6247 6247 24272 0 -1 1077944320 158383 0 0 0 231133 123 0 0 20 0 19 0 445976305 15789527040 940479 33554432000 4194304 4196468 140731930558096 140731930540640 140500113506039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
/proc/6249/statm: 3854865 940479 3534 1 0 3815965 0
[pid=6249/tid=6250] ppid=6247 vsize=15419460 memory=14689699524512400 CPUtime=3.53 cores=0,2,4,6
/proc/6249/task/6250/stat : 6250 (java) S 6247 6247 24272 0 -1 1077944384 12385 0 0 0 346 7 0 0 20 0 19 0 445976305 15789527040 940479 33554432000 4194304 4196468 140731930558096 140500117746816 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6251] ppid=6247 vsize=15419460 memory=1764 CPUtime=0.51 cores=0,2,4,6
/proc/6249/task/6251/stat : 6251 (java) S 6247 6247 24272 0 -1 1077944384 1676 0 0 0 42 9 0 0 20 0 19 0 445976306 15789527040 940479 33554432000 4194304 4196468 140731930558096 140500066126864 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6252] ppid=6247 vsize=15419460 memory=111628 CPUtime=0.5 cores=0,2,4,6
/proc/6249/task/6252/stat : 6252 (java) S 6247 6247 24272 0 -1 1077944384 4952 0 0 0 41 9 0 0 20 0 19 0 445976306 15789527040 940479 33554432000 4194304 4196468 140731930558096 140500065074320 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6253] ppid=6247 vsize=15419460 memory=796 CPUtime=0.51 cores=0,2,4,6
/proc/6249/task/6253/stat : 6253 (java) S 6247 6247 24272 0 -1 1077944384 5331 0 0 0 42 9 0 0 20 0 19 0 445976306 15789527040 940479 33554432000 4194304 4196468 140731930558096 140500064021264 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6254] ppid=6247 vsize=15419460 memory=1412 CPUtime=0.54 cores=0,2,4,6
/proc/6249/task/6254/stat : 6254 (java) S 6247 6247 24272 0 -1 1077944384 2053 0 0 0 44 10 0 0 20 0 19 0 445976306 15789527040 940479 33554432000 4194304 4196468 140731930558096 140500062968720 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6255] ppid=6247 vsize=15419460 memory=3312 CPUtime=0.06 cores=0,2,4,6
/proc/6249/task/6255/stat : 6255 (java) S 6247 6247 24272 0 -1 1077944384 5302 0 0 0 4 2 0 0 20 0 19 0 445976307 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498987620592 140500113517186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6256] ppid=6247 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6256/stat : 6256 (java) S 6247 6247 24272 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445976308 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498986566880 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6257] ppid=6247 vsize=15419460 memory=3762428 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6257/stat : 6257 (java) S 6247 6247 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445976308 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498985513728 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6258] ppid=6247 vsize=15419460 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6258/stat : 6258 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445976310 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498676045776 140500113524635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6259] ppid=6247 vsize=15419460 memory=3180 CPUtime=6.48 cores=0,2,4,6
/proc/6249/task/6259/stat : 6259 (java) S 6247 6247 24272 0 -1 1077944384 26975 0 0 0 645 3 0 0 20 0 19 0 445976310 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498674993904 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6260] ppid=6247 vsize=15419460 memory=1452 CPUtime=6.53 cores=0,2,4,6
/proc/6249/task/6260/stat : 6260 (java) S 6247 6247 24272 0 -1 1077944384 31489 0 0 0 651 2 0 0 20 0 19 0 445976310 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498673941360 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6261] ppid=6247 vsize=15419460 memory=8351008 CPUtime=1.25 cores=0,2,4,6
/proc/6249/task/6261/stat : 6261 (java) S 6247 6247 24272 0 -1 1077944384 13225 0 0 0 123 2 0 0 20 0 19 0 445976310 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498672888304 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6262] ppid=6247 vsize=15419460 memory=7810763844726514514 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6262/stat : 6262 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445976310 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498671836000 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6263] ppid=6247 vsize=15419460 memory=4715435516538746410 CPUtime=0.28 cores=0,2,4,6
/proc/6249/task/6263/stat : 6263 (java) S 6247 6247 24272 0 -1 1077944384 1404 0 0 0 9 19 0 0 20 0 19 0 445976311 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498670783024 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6264] ppid=6247 vsize=15419460 memory=-8486080722631693414 CPUtime=573.87 cores=0,2,4,6
/proc/6249/task/6264/stat : 6264 (java) R 6247 6247 24272 0 -1 4202560 3545 0 0 0 57386 1 0 0 20 0 19 0 445976744 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498659706192 140499747649181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6265] ppid=6247 vsize=15419460 memory=-7666414585839465563 CPUtime=572.27 cores=0,2,4,6
/proc/6249/task/6265/stat : 6265 (java) R 6247 6247 24272 0 -1 4202560 41858 0 0 0 57165 62 0 0 20 0 19 0 445976744 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498658651648 140499747723605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6266] ppid=6247 vsize=15419460 memory=-6520478321162704286 CPUtime=572.15 cores=0,2,4,6
/proc/6249/task/6266/stat : 6266 (java) R 6247 6247 24272 0 -1 4202560 2666 0 0 0 57214 1 0 0 20 0 19 0 445976744 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498657599096 140499750126370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6267] ppid=6247 vsize=15419460 memory=-7521736447810188379 CPUtime=573.94 cores=0,2,4,6
/proc/6249/task/6267/stat : 6267 (java) R 6247 6247 24272 0 -1 4202560 4181 0 0 0 57393 1 0 0 20 0 19 0 445976744 15789527040 940479 33554432000 4194304 4196468 140731930558096 140498656547400 140499748087391 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
Current children cumulated CPU time: 2312.56 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3763368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.302 s]
/proc/loadavg: 5.55 7.14 8.00 6/238 6430
/proc/meminfo: memFree=19272072/32770624 swapFree=66997372/67108860
[pid=6247] ppid=6244 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6247/stat : 6247 (xcsp3-exec) S 6244 6247 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445976304 115843072 363 33554432000 4194304 5098028 140731861588528 140731861586632 140647216419452 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37183488 140731861590907 140731861591149 140731861591149 140731861594058 0
/proc/6247/statm: 28282 363 304 221 0 87 0
[pid=6249] ppid=6247 vsize=15419460 memory=3730624 CPUtime=2400.15 cores=0,2,4,6
/proc/6249/stat : 6249 (java) S 6247 6247 24272 0 -1 1077944320 162177 0 0 0 239891 124 0 0 20 0 19 0 445976305 15789527040 932656 33554432000 4194304 4196468 140731930558096 140731930540640 140500113506039 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
/proc/6249/statm: 3854865 932656 3534 1 0 3815965 0
[pid=6249/tid=6250] ppid=6247 vsize=15419460 memory=14689699524512400 CPUtime=3.53 cores=0,2,4,6
/proc/6249/task/6250/stat : 6250 (java) S 6247 6247 24272 0 -1 1077944384 12385 0 0 0 346 7 0 0 20 0 19 0 445976305 15789527040 932656 33554432000 4194304 4196468 140731930558096 140500117746816 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6251] ppid=6247 vsize=15419460 memory=26248 CPUtime=0.52 cores=0,2,4,6
/proc/6249/task/6251/stat : 6251 (java) S 6247 6247 24272 0 -1 1077944384 1682 0 0 0 43 9 0 0 20 0 19 0 445976306 15789527040 932656 33554432000 4194304 4196468 140731930558096 140500066126864 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6252] ppid=6247 vsize=15419460 memory=1452 CPUtime=0.5 cores=0,2,4,6
/proc/6249/task/6252/stat : 6252 (java) S 6247 6247 24272 0 -1 1077944384 4962 0 0 0 41 9 0 0 20 0 19 0 445976306 15789527040 932656 33554432000 4194304 4196468 140731930558096 140500065074320 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6253] ppid=6247 vsize=15419460 memory=3730624 CPUtime=0.52 cores=0,2,4,6
/proc/6249/task/6253/stat : 6253 (java) S 6247 6247 24272 0 -1 1077944384 5334 0 0 0 43 9 0 0 20 0 19 0 445976306 15789527040 932656 33554432000 4194304 4196468 140731930558096 140500064021264 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6254] ppid=6247 vsize=15419460 memory=1560 CPUtime=0.55 cores=0,2,4,6
/proc/6249/task/6254/stat : 6254 (java) S 6247 6247 24272 0 -1 1077944384 2065 0 0 0 45 10 0 0 20 0 19 0 445976306 15789527040 932656 33554432000 4194304 4196468 140731930558096 140500062968720 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6255] ppid=6247 vsize=15419460 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/6249/task/6255/stat : 6255 (java) S 6247 6247 24272 0 -1 1077944384 5303 0 0 0 5 2 0 0 20 0 19 0 445976307 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498987620592 140500113517186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6256] ppid=6247 vsize=15419460 memory=26248 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6256/stat : 6256 (java) S 6247 6247 24272 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445976308 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498986566880 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6257] ppid=6247 vsize=15419460 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6257/stat : 6257 (java) S 6247 6247 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445976308 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498985513728 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6258] ppid=6247 vsize=15419460 memory=500 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6258/stat : 6258 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445976310 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498676045776 140500113524635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6259] ppid=6247 vsize=15419460 memory=1560 CPUtime=6.48 cores=0,2,4,6
/proc/6249/task/6259/stat : 6259 (java) S 6247 6247 24272 0 -1 1077944384 27249 0 0 0 645 3 0 0 20 0 19 0 445976310 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498674993904 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6260] ppid=6247 vsize=15419460 memory=932 CPUtime=6.54 cores=0,2,4,6
/proc/6249/task/6260/stat : 6260 (java) S 6247 6247 24272 0 -1 1077944384 33034 0 0 0 652 2 0 0 20 0 19 0 445976310 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498673941360 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6261] ppid=6247 vsize=15419460 memory=3768 CPUtime=1.25 cores=0,2,4,6
/proc/6249/task/6261/stat : 6261 (java) S 6247 6247 24272 0 -1 1077944384 13393 0 0 0 123 2 0 0 20 0 19 0 445976310 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498672888304 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6262] ppid=6247 vsize=15419460 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/6249/task/6262/stat : 6262 (java) S 6247 6247 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445976310 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498671836000 140500113516245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6263] ppid=6247 vsize=15419460 memory=6036 CPUtime=0.3 cores=0,2,4,6
/proc/6249/task/6263/stat : 6263 (java) S 6247 6247 24272 0 -1 1077944384 1407 0 0 0 10 20 0 0 20 0 19 0 445976311 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498670783024 140500113517186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6264] ppid=6247 vsize=15419460 memory=14008 CPUtime=595.74 cores=0,2,4,6
/proc/6249/task/6264/stat : 6264 (java) R 6247 6247 24272 0 -1 4202560 3567 0 0 0 59573 1 0 0 20 0 19 0 445976744 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498659706512 140499749511829 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6265] ppid=6247 vsize=15419460 memory=2124 CPUtime=594.25 cores=0,2,4,6
/proc/6249/task/6265/stat : 6265 (java) R 6247 6247 24272 0 -1 4202560 43532 0 0 0 59362 63 0 0 20 0 19 0 445976744 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498658654232 140499739578470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6266] ppid=6247 vsize=15419460 memory=26248 CPUtime=594.12 cores=0,2,4,6
/proc/6249/task/6266/stat : 6266 (java) R 6247 6247 24272 0 -1 4202560 2701 0 0 0 59411 1 0 0 20 0 19 0 445976744 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498657599720 140499749121117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
[pid=6249/tid=6267] ppid=6247 vsize=15419460 memory=288230574492221466 CPUtime=595.64 cores=0,2,4,6
/proc/6249/task/6267/stat : 6267 (java) R 6247 6247 24272 0 -1 4202560 4222 0 0 0 59563 1 0 0 20 0 19 0 445976744 15789527040 932656 33554432000 4194304 4196468 140731930558096 140498656547400 140499749797859 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140731930563567 140731930563738 140731930563738 140731930566607 0
Current children cumulated CPU time: 2400.15 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3732076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.336 s]
# the end of solver process 6247 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001239 s, system=0.001239 s
[startup+604.4 s]
# the end of solver process 6249 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.22 s, system=1.26467 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): 604.4
CPU time (s): 2400.48
CPU user time (s): 2399.22
CPU system time (s): 1.26467
CPU usage (%): 397.168
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 4232956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.22
system time used= 1.26467
maximum resident set size= 4235600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163324
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17382
involuntary context switches= 38833
# summary of solver processes directly reported to runsolver:
# pid: 6247,6249
# total CPU time (s): 2400.48
# total CPU user time (s): 2399.22
# total CPU system time (s): 1.26467
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90328 second user time and 6.73977 second system time
The end