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 (8680 MiB free)
memory of node 1: 16384 MiB (2743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393072-1568317970/watcher-4393072-1568317970 -o /tmp/evaluation-result-4393072-1568317970/solver-4393072-1568317970 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1157254519 HOME/instance-4393072-1568317970.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21265, runsolver pid=21262
[startup+0.101492 s]*
/proc/loadavg: 7.55 7.22 7.48 3/229 21281
/proc/meminfo: memFree=11680644/32770624 swapFree=66977612/67108860
[pid=21265] ppid=21262 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21265/stat : 21265 (xcsp3-exec) S 21262 21265 15592 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408054415 115843072 362 33554432000 4194304 5098028 140734807694496 140734807692600 140602032943740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28364800 140734807696250 140734807696493 140734807696493 140734807699402 0
/proc/21265/statm: 28282 362 304 221 0 87 0
[pid=21267] ppid=21265 vsize=15144768 memory=30032 CPUtime=0.13 cores=0,2,4,6
/proc/21267/stat : 21267 (java) S 21265 21265 15592 0 -1 1077944320 5922 0 0 0 12 1 0 0 20 0 15 0 408054415 15508242432 7508 33554432000 4194304 4196468 140724471506464 140724471489008 139974457417463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
/proc/21267/statm: 3786192 7508 3164 1 0 3748377 0
[pid=21267/tid=21268] ppid=21265 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/21267/task/21268/stat : 21268 (java) R 21265 21265 15592 0 -1 4202560 3831 0 0 0 8 1 0 0 20 0 15 0 408054416 15508242432 7508 33554432000 4194304 4196468 140724471506464 139974461650256 139974449654590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21269] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21269/stat : 21269 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054416 15508242432 7508 33554432000 4194304 4196468 140724471506464 139974050110224 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21270] ppid=21265 vsize=15144768 memory=4123245987245483680 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21270/stat : 21270 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054416 15508242432 7508 33554432000 4194304 4196468 140724471506464 139974049057680 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21271] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21271/stat : 21271 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054416 15508242432 7508 33554432000 4194304 4196468 140724471506464 139974048005136 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21272] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21272/stat : 21272 (java) S 21265 21265 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408054416 15508242432 7508 33554432000 4194304 4196468 140724471506464 139974046952592 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21273] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21273/stat : 21273 (java) S 21265 21265 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408054418 15508242432 7508 33554432000 4194304 4196468 140724471506464 139973993220080 139974457428610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21274] ppid=21265 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21274/stat : 21274 (java) S 21265 21265 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408054418 15508242432 7508 33554432000 4194304 4196468 140724471506464 139973992166304 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21275] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21275/stat : 21275 (java) S 21265 21265 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408054419 15508242432 7508 33554432000 4194304 4196468 140724471506464 139973923693552 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21276] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21276/stat : 21276 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15508242432 7508 33554432000 4194304 4196468 140724471506464 139973922642128 139974457436059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21277] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21277/stat : 21277 (java) R 21265 21265 15592 0 -1 4202560 444 0 0 0 0 0 0 0 20 0 15 0 408054421 15508242432 7508 33554432000 4194304 4196468 140724471506464 139973921589744 139974449654590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21278] ppid=21265 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21278/stat : 21278 (java) R 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15508242432 7508 33554432000 4194304 4196468 140724471506464 139973920537200 139974457428610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21279] ppid=21265 vsize=15144768 memory=139826792654464 CPUtime=0.02 cores=0,2,4,6
/proc/21267/task/21279/stat : 21279 (java) R 21265 21265 15592 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 408054421 15508242432 7508 33554432000 4194304 4196468 140724471506464 139973919484656 139974436794881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21280] ppid=21265 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21280/stat : 21280 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15508242432 7508 33554432000 4194304 4196468 140724471506464 139973918432352 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21281] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21281/stat : 21281 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054422 15508242432 7508 33554432000 4194304 4196468 140724471506464 139973917378864 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31480 KiB
[startup+0.210816 s]*
/proc/loadavg: 7.55 7.22 7.48 4/229 21281
/proc/meminfo: memFree=11667912/32770624 swapFree=66977612/67108860
[pid=21265] ppid=21262 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21265/stat : 21265 (xcsp3-exec) S 21262 21265 15592 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408054415 115843072 362 33554432000 4194304 5098028 140734807694496 140734807692600 140602032943740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28364800 140734807696250 140734807696493 140734807696493 140734807699402 0
/proc/21265/statm: 28282 362 304 221 0 87 0
[pid=21267] ppid=21265 vsize=15144768 memory=40892 CPUtime=0.35 cores=0,2,4,6
/proc/21267/stat : 21267 (java) S 21265 21265 15592 0 -1 1077944320 9447 0 0 0 32 3 0 0 20 0 15 0 408054415 15508242432 10223 33554432000 4194304 4196468 140724471506464 140724471489008 139974457417463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
/proc/21267/statm: 3786192 10223 3265 1 0 3748377 0
[pid=21267/tid=21268] ppid=21265 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21267/task/21268/stat : 21268 (java) R 21265 21265 15592 0 -1 4202560 6650 0 0 0 18 2 0 0 20 0 15 0 408054416 15508242432 10223 33554432000 4194304 4196468 140724471506464 139974461648736 139974441497950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21269] ppid=21265 vsize=15144768 memory=1898157 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21269/stat : 21269 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054416 15508242432 10223 33554432000 4194304 4196468 140724471506464 139974050110224 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21270] ppid=21265 vsize=15144768 memory=139826795502499 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21270/stat : 21270 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054416 15508242432 10223 33554432000 4194304 4196468 140724471506464 139974049057680 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21271] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21271/stat : 21271 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054416 15508242432 10223 33554432000 4194304 4196468 140724471506464 139974048005136 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21272] ppid=21265 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21272/stat : 21272 (java) S 21265 21265 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408054416 15508242432 10223 33554432000 4194304 4196468 140724471506464 139974046952592 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21273] ppid=21265 vsize=15144768 memory=139826792654464 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21273/stat : 21273 (java) S 21265 21265 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408054418 15508242432 10223 33554432000 4194304 4196468 140724471506464 139973993220080 139974457428610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21274] ppid=21265 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21274/stat : 21274 (java) S 21265 21265 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408054418 15508242432 10223 33554432000 4194304 4196468 140724471506464 139973992166304 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21275] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21275/stat : 21275 (java) S 21265 21265 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408054419 15508242432 10223 33554432000 4194304 4196468 140724471506464 139973923693552 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21276] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21276/stat : 21276 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15508242432 10223 33554432000 4194304 4196468 140724471506464 139973922642128 139974457436059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21277] ppid=21265 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21267/task/21277/stat : 21277 (java) S 21265 21265 15592 0 -1 1077944384 718 0 0 0 3 0 0 0 20 0 15 0 408054421 15508242432 10223 33554432000 4194304 4196468 140724471506464 139973921589744 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21278] ppid=21265 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21267/task/21278/stat : 21278 (java) S 21265 21265 15592 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 408054421 15508242432 10223 33554432000 4194304 4196468 140724471506464 139973920537200 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21279] ppid=21265 vsize=15144768 memory=139826792654464 CPUtime=0.08 cores=0,2,4,6
/proc/21267/task/21279/stat : 21279 (java) R 21265 21265 15592 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 15 0 408054421 15508242432 10223 33554432000 4194304 4196468 140724471506464 139973919484656 139974441497950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21280] ppid=21265 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21280/stat : 21280 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15508242432 10223 33554432000 4194304 4196468 140724471506464 139973918432352 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21281] ppid=21265 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21281/stat : 21281 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054422 15508242432 10223 33554432000 4194304 4196468 140724471506464 139973917378864 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42340 KiB
[startup+0.310722 s]*
/proc/loadavg: 7.55 7.22 7.48 7/229 21281
/proc/meminfo: memFree=11660528/32770624 swapFree=66977612/67108860
[pid=21265] ppid=21262 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21265/stat : 21265 (xcsp3-exec) S 21262 21265 15592 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408054415 115843072 362 33554432000 4194304 5098028 140734807694496 140734807692600 140602032943740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28364800 140734807696250 140734807696493 140734807696493 140734807699402 0
/proc/21265/statm: 28282 362 304 221 0 87 0
[pid=21267] ppid=21265 vsize=15149024 memory=50144 CPUtime=0.54 cores=0,2,4,6
/proc/21267/stat : 21267 (java) S 21265 21265 15592 0 -1 1077944320 10851 0 0 0 50 4 0 0 20 0 15 0 408054415 15512600576 12536 33554432000 4194304 4196468 140724471506464 140724471489008 139974457417463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
/proc/21267/statm: 3787256 12536 3348 1 0 3748377 0
[pid=21267/tid=21268] ppid=21265 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/21267/task/21268/stat : 21268 (java) R 21265 21265 15592 0 -1 4202560 7844 0 0 0 27 3 0 0 20 0 15 0 408054416 15512600576 12536 33554432000 4194304 4196468 140724471506464 139974461648576 139974441497950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21269] ppid=21265 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21269/stat : 21269 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054416 15512600576 12536 33554432000 4194304 4196468 140724471506464 139974050110224 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21270] ppid=21265 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21270/stat : 21270 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054416 15512600576 12536 33554432000 4194304 4196468 140724471506464 139974049057680 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21271] ppid=21265 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21271/stat : 21271 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054416 15512600576 12536 33554432000 4194304 4196468 140724471506464 139974048005136 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21272] ppid=21265 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21272/stat : 21272 (java) S 21265 21265 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408054416 15512600576 12536 33554432000 4194304 4196468 140724471506464 139974046952592 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21273] ppid=21265 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21273/stat : 21273 (java) S 21265 21265 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408054418 15512600576 12536 33554432000 4194304 4196468 140724471506464 139973993220080 139974457428610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21274] ppid=21265 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21274/stat : 21274 (java) S 21265 21265 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408054418 15512600576 12536 33554432000 4194304 4196468 140724471506464 139973992166304 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21275] ppid=21265 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21275/stat : 21275 (java) S 21265 21265 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408054419 15512600576 12536 33554432000 4194304 4196468 140724471506464 139973923693552 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21276] ppid=21265 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21276/stat : 21276 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15512600576 12536 33554432000 4194304 4196468 140724471506464 139973922642128 139974457436059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21277] ppid=21265 vsize=15149024 memory=7827413994055111515 CPUtime=0.06 cores=0,2,4,6
/proc/21267/task/21277/stat : 21277 (java) S 21265 21265 15592 0 -1 1077944384 808 0 0 0 6 0 0 0 20 0 15 0 408054421 15512600576 12536 33554432000 4194304 4196468 140724471506464 139973921589744 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21278] ppid=21265 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21267/task/21278/stat : 21278 (java) S 21265 21265 15592 0 -1 1077944384 62 0 0 0 3 0 0 0 20 0 15 0 408054421 15512600576 12536 33554432000 4194304 4196468 140724471506464 139973920537200 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21279] ppid=21265 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21267/task/21279/stat : 21279 (java) S 21265 21265 15592 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 15 0 408054421 15512600576 12536 33554432000 4194304 4196468 140724471506464 139973919484656 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21280] ppid=21265 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21280/stat : 21280 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15512600576 12536 33554432000 4194304 4196468 140724471506464 139973918432352 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21281] ppid=21265 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21281/stat : 21281 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054422 15512600576 12536 33554432000 4194304 4196468 140724471506464 139973917378864 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51592 KiB
[startup+0.707125 s]
/proc/loadavg: 7.55 7.22 7.48 8/229 21281
/proc/meminfo: memFree=11627152/32770624 swapFree=66977612/67108860
[pid=21265] ppid=21262 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21265/stat : 21265 (xcsp3-exec) S 21262 21265 15592 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408054415 115843072 362 33554432000 4194304 5098028 140734807694496 140734807692600 140602032943740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28364800 140734807696250 140734807696493 140734807696493 140734807699402 0
/proc/21265/statm: 28282 362 304 221 0 87 0
[pid=21267] ppid=21265 vsize=15149024 memory=195704 CPUtime=1.42 cores=0,2,4,6
/proc/21267/stat : 21267 (java) S 21265 21265 15592 0 -1 1077944320 13032 0 0 0 133 9 0 0 20 0 15 0 408054415 15512600576 48926 33554432000 4194304 4196468 140724471506464 140724471489008 139974457417463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
/proc/21267/statm: 3787256 48926 3402 1 0 3748377 0
[pid=21267/tid=21268] ppid=21265 vsize=15149024 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/21267/task/21268/stat : 21268 (java) S 21265 21265 15592 0 -1 1077944384 8041 0 0 0 62 5 0 0 20 0 15 0 408054416 15512600576 48926 33554432000 4194304 4196468 140724471506464 139974461656640 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21269] ppid=21265 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21269/stat : 21269 (java) R 21265 21265 15592 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 408054416 15512600576 48926 33554432000 4194304 4196468 140724471506464 139974050110224 139974450514299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21270] ppid=21265 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21270/stat : 21270 (java) R 21265 21265 15592 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 408054416 15512600576 48926 33554432000 4194304 4196468 140724471506464 139974049057680 139974450514299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21271] ppid=21265 vsize=15149024 memory=704 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21271/stat : 21271 (java) R 21265 21265 15592 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 15 0 408054416 15512600576 48926 33554432000 4194304 4196468 140724471506464 139974048005024 139974450514299 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21272] ppid=21265 vsize=15149024 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21272/stat : 21272 (java) R 21265 21265 15592 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 15 0 408054416 15512600576 48926 33554432000 4194304 4196468 140724471506464 139974046952592 139974450517310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21273] ppid=21265 vsize=15149024 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21273/stat : 21273 (java) S 21265 21265 15592 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 408054418 15512600576 48926 33554432000 4194304 4196468 140724471506464 139973993218592 139974457427669 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21274] ppid=21265 vsize=15149024 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21274/stat : 21274 (java) S 21265 21265 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408054418 15512600576 48926 33554432000 4194304 4196468 140724471506464 139973992166304 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21275] ppid=21265 vsize=15149024 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21275/stat : 21275 (java) S 21265 21265 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408054419 15512600576 48926 33554432000 4194304 4196468 140724471506464 139973923693552 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21276] ppid=21265 vsize=15149024 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21276/stat : 21276 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15512600576 48926 33554432000 4194304 4196468 140724471506464 139973922642128 139974457436059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21277] ppid=21265 vsize=15149024 memory=5952 CPUtime=0.25 cores=0,2,4,6
/proc/21267/task/21277/stat : 21277 (java) S 21265 21265 15592 0 -1 1077944384 1328 0 0 0 25 0 0 0 20 0 15 0 408054421 15512600576 48926 33554432000 4194304 4196468 140724471506464 139973921589744 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21278] ppid=21265 vsize=15149024 memory=7552 CPUtime=0.23 cores=0,2,4,6
/proc/21267/task/21278/stat : 21278 (java) S 21265 21265 15592 0 -1 1077944384 928 0 0 0 23 0 0 0 20 0 15 0 408054421 15512600576 48926 33554432000 4194304 4196468 140724471506464 139973920537200 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21279] ppid=21265 vsize=15149024 memory=2832 CPUtime=0.18 cores=0,2,4,6
/proc/21267/task/21279/stat : 21279 (java) S 21265 21265 15592 0 -1 1077944384 1359 0 0 0 18 0 0 0 20 0 15 0 408054421 15512600576 48926 33554432000 4194304 4196468 140724471506464 139973919484656 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21280] ppid=21265 vsize=15149024 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21280/stat : 21280 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15512600576 48926 33554432000 4194304 4196468 140724471506464 139973918432352 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21281] ppid=21265 vsize=15149024 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21281/stat : 21281 (java) S 21265 21265 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408054422 15512600576 48926 33554432000 4194304 4196468 140724471506464 139973917378864 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 197152 KiB
[startup+1.50112 s]
/proc/loadavg: 7.55 7.22 7.48 6/229 21281
/proc/meminfo: memFree=11414472/32770624 swapFree=66977612/67108860
[pid=21265] ppid=21262 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21265/stat : 21265 (xcsp3-exec) S 21262 21265 15592 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408054415 115843072 362 33554432000 4194304 5098028 140734807694496 140734807692600 140602032943740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28364800 140734807696250 140734807696493 140734807696493 140734807699402 0
/proc/21265/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/21267/task/21270/stat : 21270 (java) R 21265 21265 15592 0 -1 4202560 590380 0 0 0 25488 465 0 0 20 0 15 0 408054416 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139974049057880 139974442115102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21271] ppid=21265 vsize=15151148 memory=1056 CPUtime=259.92 cores=0,2,4,6
/proc/21267/task/21271/stat : 21271 (java) R 21265 21265 15592 0 -1 4202560 390876 0 0 0 25523 469 0 0 20 0 15 0 408054416 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139974048005336 139974442368141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21272] ppid=21265 vsize=15151148 memory=2596 CPUtime=260.2 cores=0,2,4,6
/proc/21267/task/21272/stat : 21272 (java) R 21265 21265 15592 0 -1 4202560 570648 0 0 0 25657 363 0 0 20 0 15 0 408054416 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139974046952488 139974450045671 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21273] ppid=21265 vsize=15151148 memory=4100 CPUtime=51.06 cores=0,2,4,6
/proc/21267/task/21273/stat : 21273 (java) S 21265 21265 15592 0 -1 1077944384 77457 0 0 0 5100 6 0 0 20 0 15 0 408054418 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139973993218400 139974457427669 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21274] ppid=21265 vsize=15151148 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21274/stat : 21274 (java) S 21265 21265 15592 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 408054418 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139973992166368 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21275] ppid=21265 vsize=15151148 memory=3160 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21275/stat : 21275 (java) S 21265 21265 15592 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 408054419 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139973923693568 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21276] ppid=21265 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21276/stat : 21276 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139973922642128 139974457436059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21277] ppid=21265 vsize=15151148 memory=1448 CPUtime=1.87 cores=0,2,4,6
/proc/21267/task/21277/stat : 21277 (java) S 21265 21265 15592 0 -1 1077944384 6553 0 0 0 184 3 0 0 20 0 15 0 408054421 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139973921589744 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21278] ppid=21265 vsize=15151148 memory=1448 CPUtime=2 cores=0,2,4,6
/proc/21267/task/21278/stat : 21278 (java) S 21265 21265 15592 0 -1 1077944384 6950 0 0 0 199 1 0 0 20 0 15 0 408054421 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139973920537200 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21279] ppid=21265 vsize=15151148 memory=12780148 CPUtime=0.62 cores=0,2,4,6
/proc/21267/task/21279/stat : 21279 (java) S 21265 21265 15592 0 -1 1077944384 7236 0 0 0 60 2 0 0 20 0 15 0 408054421 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139973919484656 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21280] ppid=21265 vsize=15151148 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21280/stat : 21280 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139973918432352 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21281] ppid=21265 vsize=15151148 memory=3176 CPUtime=0.15 cores=0,2,4,6
/proc/21267/task/21281/stat : 21281 (java) S 21265 21265 15592 0 -1 1077944384 436 0 0 0 7 8 0 0 20 0 15 0 408054422 15514775552 3195037 33554432000 4194304 4196468 140724471506464 139973917378864 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
Current children cumulated CPU time: 1166.37 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12781596 KiB
[startup+387.201 s]
/proc/loadavg: 7.26 6.98 7.22 6/232 21593
/proc/meminfo: memFree=8075336/32770624 swapFree=66977612/67108860
[pid=21265] ppid=21262 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21265/stat : 21265 (xcsp3-exec) S 21262 21265 15592 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408054415 115843072 362 33554432000 4194304 5098028 140734807694496 140734807692600 140602032943740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28364800 140734807696250 140734807696493 140734807696493 140734807699402 0
/proc/21265/statm: 28282 362 304 221 0 87 0
[pid=21267] ppid=21265 vsize=15151148 memory=12780160 CPUtime=1176.42 cores=0,2,4,6
/proc/21267/stat : 21267 (java) S 21265 21265 15592 0 -1 1077944320 2068006 0 0 0 115871 1771 0 0 20 0 15 0 408054415 15514775552 3195040 33554432000 4194304 4196468 140724471506464 140724471489008 139974457417463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
/proc/21267/statm: 3787787 3195040 3511 1 0 3748889 0
[pid=21267/tid=21268] ppid=21265 vsize=15151148 memory=12780148 CPUtime=71.06 cores=0,2,4,6
/proc/21267/task/21268/stat : 21268 (java) S 21265 21265 15592 0 -1 1077944384 26986 0 0 0 7092 14 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974461656960 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21269] ppid=21265 vsize=15151148 memory=1448 CPUtime=262.16 cores=0,2,4,6
/proc/21267/task/21269/stat : 21269 (java) S 21265 21265 15592 0 -1 1077944384 388197 0 0 0 25775 441 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974050110224 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21270] ppid=21265 vsize=15151148 memory=1448 CPUtime=261.84 cores=0,2,4,6
/proc/21267/task/21270/stat : 21270 (java) S 21265 21265 15592 0 -1 1077944384 590973 0 0 0 25719 465 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974049057680 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21271] ppid=21265 vsize=15151148 memory=3616 CPUtime=262.2 cores=0,2,4,6
/proc/21267/task/21271/stat : 21271 (java) S 21265 21265 15592 0 -1 1077944384 391051 0 0 0 25751 469 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974048005136 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21272] ppid=21265 vsize=15151148 memory=38144 CPUtime=262.49 cores=0,2,4,6
/proc/21267/task/21272/stat : 21272 (java) S 21265 21265 15592 0 -1 1077944384 570780 0 0 0 25885 364 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974046952592 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21273] ppid=21265 vsize=15151148 memory=988 CPUtime=51.94 cores=0,2,4,6
/proc/21267/task/21273/stat : 21273 (java) R 21265 21265 15592 0 -1 4202560 77458 0 0 0 5188 6 0 0 20 0 15 0 408054418 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973993218512 139974441875066 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21274] ppid=21265 vsize=15151148 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21274/stat : 21274 (java) S 21265 21265 15592 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 408054418 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973992166368 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21275] ppid=21265 vsize=15151148 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21275/stat : 21275 (java) S 21265 21265 15592 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 408054419 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973923693568 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21276] ppid=21265 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21276/stat : 21276 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973922642128 139974457436059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21277] ppid=21265 vsize=15151148 memory=12780148 CPUtime=1.87 cores=0,2,4,6
/proc/21267/task/21277/stat : 21277 (java) S 21265 21265 15592 0 -1 1077944384 6554 0 0 0 184 3 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973921589504 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21278] ppid=21265 vsize=15151148 memory=988 CPUtime=2 cores=0,2,4,6
/proc/21267/task/21278/stat : 21278 (java) S 21265 21265 15592 0 -1 1077944384 6950 0 0 0 199 1 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973920537248 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21279] ppid=21265 vsize=15151148 memory=2004 CPUtime=0.62 cores=0,2,4,6
/proc/21267/task/21279/stat : 21279 (java) S 21265 21265 15592 0 -1 1077944384 7236 0 0 0 60 2 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973919484704 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21280] ppid=21265 vsize=15151148 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21280/stat : 21280 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973918432352 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21281] ppid=21265 vsize=15151148 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/21267/task/21281/stat : 21281 (java) S 21265 21265 15592 0 -1 1077944384 436 0 0 0 7 8 0 0 20 0 15 0 408054422 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973917378864 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
Current children cumulated CPU time: 1176.42 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12781608 KiB
[startup+388.801 s]
/proc/loadavg: 7.26 6.98 7.22 6/232 21593
/proc/meminfo: memFree=8075336/32770624 swapFree=66977612/67108860
[pid=21265] ppid=21262 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21265/stat : 21265 (xcsp3-exec) S 21262 21265 15592 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408054415 115843072 362 33554432000 4194304 5098028 140734807694496 140734807692600 140602032943740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28364800 140734807696250 140734807696493 140734807696493 140734807699402 0
/proc/21265/statm: 28282 362 304 221 0 87 0
[pid=21267] ppid=21265 vsize=15151148 memory=12780160 CPUtime=1178.02 cores=0,2,4,6
/proc/21267/stat : 21267 (java) S 21265 21265 15592 0 -1 1077944320 2068008 0 0 0 116031 1771 0 0 20 0 15 0 408054415 15514775552 3195040 33554432000 4194304 4196468 140724471506464 140724471489008 139974457417463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
/proc/21267/statm: 3787787 3195040 3511 1 0 3748889 0
[pid=21267/tid=21268] ppid=21265 vsize=15151148 memory=1448 CPUtime=71.06 cores=0,2,4,6
/proc/21267/task/21268/stat : 21268 (java) S 21265 21265 15592 0 -1 1077944384 26986 0 0 0 7092 14 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974461656960 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21269] ppid=21265 vsize=15151148 memory=12780148 CPUtime=262.16 cores=0,2,4,6
/proc/21267/task/21269/stat : 21269 (java) S 21265 21265 15592 0 -1 1077944384 388197 0 0 0 25775 441 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974050110224 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21270] ppid=21265 vsize=15151148 memory=6791534058613427641 CPUtime=261.84 cores=0,2,4,6
/proc/21267/task/21270/stat : 21270 (java) S 21265 21265 15592 0 -1 1077944384 590973 0 0 0 25719 465 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974049057680 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21271] ppid=21265 vsize=15151148 memory=1448 CPUtime=262.2 cores=0,2,4,6
/proc/21267/task/21271/stat : 21271 (java) S 21265 21265 15592 0 -1 1077944384 391051 0 0 0 25751 469 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974048005136 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21272] ppid=21265 vsize=15151148 memory=12780160 CPUtime=262.49 cores=0,2,4,6
/proc/21267/task/21272/stat : 21272 (java) S 21265 21265 15592 0 -1 1077944384 570780 0 0 0 25885 364 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974046952592 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21273] ppid=21265 vsize=15151148 memory=1768 CPUtime=53.54 cores=0,2,4,6
/proc/21267/task/21273/stat : 21273 (java) R 21265 21265 15592 0 -1 4202560 77460 0 0 0 5348 6 0 0 20 0 15 0 408054418 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973993218512 139974442413864 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21274] ppid=21265 vsize=15151148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21274/stat : 21274 (java) S 21265 21265 15592 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 408054418 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973992166368 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21275] ppid=21265 vsize=15151148 memory=38144 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21275/stat : 21275 (java) S 21265 21265 15592 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 408054419 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973923693568 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21276] ppid=21265 vsize=15151148 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21276/stat : 21276 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973922642128 139974457436059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21277] ppid=21265 vsize=15151148 memory=780 CPUtime=1.87 cores=0,2,4,6
/proc/21267/task/21277/stat : 21277 (java) S 21265 21265 15592 0 -1 1077944384 6554 0 0 0 184 3 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973921589504 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21278] ppid=21265 vsize=15151148 memory=3252 CPUtime=2 cores=0,2,4,6
/proc/21267/task/21278/stat : 21278 (java) S 21265 21265 15592 0 -1 1077944384 6950 0 0 0 199 1 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973920537248 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21279] ppid=21265 vsize=15151148 memory=1112 CPUtime=0.62 cores=0,2,4,6
/proc/21267/task/21279/stat : 21279 (java) S 21265 21265 15592 0 -1 1077944384 7236 0 0 0 60 2 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973919484704 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21280] ppid=21265 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21280/stat : 21280 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973918432352 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21281] ppid=21265 vsize=15151148 memory=12780148 CPUtime=0.15 cores=0,2,4,6
/proc/21267/task/21281/stat : 21281 (java) S 21265 21265 15592 0 -1 1077944384 436 0 0 0 7 8 0 0 20 0 15 0 408054422 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973917378864 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
Current children cumulated CPU time: 1178.02 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12781608 KiB
[startup+389.201 s]
/proc/loadavg: 7.26 6.98 7.22 6/232 21593
/proc/meminfo: memFree=8075336/32770624 swapFree=66977612/67108860
[pid=21265] ppid=21262 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21265/stat : 21265 (xcsp3-exec) S 21262 21265 15592 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408054415 115843072 362 33554432000 4194304 5098028 140734807694496 140734807692600 140602032943740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28364800 140734807696250 140734807696493 140734807696493 140734807699402 0
/proc/21265/statm: 28282 362 304 221 0 87 0
[pid=21267] ppid=21265 vsize=15151148 memory=12780160 CPUtime=1178.42 cores=0,2,4,6
/proc/21267/stat : 21267 (java) S 21265 21265 15592 0 -1 1077944320 2068009 0 0 0 116071 1771 0 0 20 0 15 0 408054415 15514775552 3195040 33554432000 4194304 4196468 140724471506464 140724471489008 139974457417463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
/proc/21267/statm: 3787787 3195040 3511 1 0 3748889 0
[pid=21267/tid=21268] ppid=21265 vsize=15151148 memory=1448 CPUtime=71.06 cores=0,2,4,6
/proc/21267/task/21268/stat : 21268 (java) S 21265 21265 15592 0 -1 1077944384 26986 0 0 0 7092 14 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974461656960 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21269] ppid=21265 vsize=15151148 memory=916 CPUtime=262.16 cores=0,2,4,6
/proc/21267/task/21269/stat : 21269 (java) S 21265 21265 15592 0 -1 1077944384 388197 0 0 0 25775 441 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974050110224 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21270] ppid=21265 vsize=15151148 memory=3848 CPUtime=261.84 cores=0,2,4,6
/proc/21267/task/21270/stat : 21270 (java) S 21265 21265 15592 0 -1 1077944384 590973 0 0 0 25719 465 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974049057680 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21271] ppid=21265 vsize=15151148 memory=3176 CPUtime=262.2 cores=0,2,4,6
/proc/21267/task/21271/stat : 21271 (java) S 21265 21265 15592 0 -1 1077944384 391051 0 0 0 25751 469 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974048005136 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21272] ppid=21265 vsize=15151148 memory=2596 CPUtime=262.49 cores=0,2,4,6
/proc/21267/task/21272/stat : 21272 (java) S 21265 21265 15592 0 -1 1077944384 570780 0 0 0 25885 364 0 0 20 0 15 0 408054416 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139974046952592 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21273] ppid=21265 vsize=15151148 memory=4100 CPUtime=53.94 cores=0,2,4,6
/proc/21267/task/21273/stat : 21273 (java) R 21265 21265 15592 0 -1 4202560 77461 0 0 0 5388 6 0 0 20 0 15 0 408054418 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973993218512 139974442413867 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21274] ppid=21265 vsize=15151148 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21274/stat : 21274 (java) S 21265 21265 15592 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 408054418 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973992166368 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21275] ppid=21265 vsize=15151148 memory=3084 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21275/stat : 21275 (java) S 21265 21265 15592 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 408054419 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973923693568 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21276] ppid=21265 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21276/stat : 21276 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973922642128 139974457436059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21277] ppid=21265 vsize=15151148 memory=12780160 CPUtime=1.87 cores=0,2,4,6
/proc/21267/task/21277/stat : 21277 (java) S 21265 21265 15592 0 -1 1077944384 6554 0 0 0 184 3 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973921589504 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21278] ppid=21265 vsize=15151148 memory=1412 CPUtime=2 cores=0,2,4,6
/proc/21267/task/21278/stat : 21278 (java) S 21265 21265 15592 0 -1 1077944384 6950 0 0 0 199 1 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973920537248 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21279] ppid=21265 vsize=15151148 memory=1448 CPUtime=0.62 cores=0,2,4,6
/proc/21267/task/21279/stat : 21279 (java) S 21265 21265 15592 0 -1 1077944384 7236 0 0 0 60 2 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973919484704 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21280] ppid=21265 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21267/task/21280/stat : 21280 (java) S 21265 21265 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408054421 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973918432352 139974457427669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
[pid=21267/tid=21281] ppid=21265 vsize=15151148 memory=12780160 CPUtime=0.15 cores=0,2,4,6
/proc/21267/task/21281/stat : 21281 (java) S 21265 21265 15592 0 -1 1077944384 436 0 0 0 7 8 0 0 20 0 15 0 408054422 15514775552 3195040 33554432000 4194304 4196468 140724471506464 139973917378864 139974457428610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36511744 140724471509999 140724471510170 140724471510170 140724471513039 0
Current children cumulated CPU time: 1178.42 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12781608 KiB
[startup+389.401 s]
/proc/loadavg: 7.26 6.98 7.22 6/232 21593
/proc/meminfo: memFree=8075336/32770624 swapFree=66977612/67108860
[pid=21265] ppid=21262 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21265/stat : 21265 (xcsp3-exec) S 21262 21265 15592 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408054415 115843072 362 33554432000 4194304 5098028 140734807694496 140734807692600 140602032943740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28364800 140734807696250 140734807696493 140734807696493 140734807699402 0
/proc/21265/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 1
Real time (s): 389.483
CPU time (s): 1178.72
CPU user time (s): 1160.87
CPU system time (s): 17.8458
CPU usage (%): 302.636
Max. virtual memory (cumulated for all children) (KiB): 15264276
Max. memory (cumulated for all children) (KiB): 12781616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1160.87
system time used= 17.8458
maximum resident set size= 12780428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2069659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15526
involuntary context switches= 26517
# summary of solver processes directly reported to runsolver:
# pid: 21265
# total CPU time (s): 1178.72
# total CPU user time (s): 1160.87
# total CPU system time (s): 17.8458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.46671 second user time and 4.02411 second system time
The end