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 (7704 MiB free)
memory of node 1: 16384 MiB (9584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394159-1568330734/watcher-4394159-1568330734 -o /tmp/evaluation-result-4394159-1568330734/solver-4394159-1568330734 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1010437371 HOME/instance-4394159-1568330734.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23250, runsolver pid=23247
Current StackSize limit: 8192 KiB
[startup+0.101592 s]*
/proc/loadavg: 8.67 8.43 6.65 7/234 23266
/proc/meminfo: memFree=17686428/32770624 swapFree=66959212/67108860
[pid=23250] ppid=23247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23250/stat : 23250 (xcsp3-exec) S 23247 23250 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013535 115843072 362 33554432000 4194304 5098028 140729880756368 140729880754472 140424014914172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38658048 140729880765306 140729880765549 140729880765549 140729880768458 0
/proc/23250/statm: 28282 362 304 221 0 87 0
[pid=23252] ppid=23250 vsize=15144768 memory=30196 CPUtime=0.13 cores=1,3,5,7
/proc/23252/stat : 23252 (java) S 23250 23250 18186 0 -1 1077944320 5991 0 0 0 12 1 0 0 20 0 15 0 409013535 15508242432 7549 33554432000 4194304 4196468 140723841971376 140723841953920 140010839125751 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
/proc/23252/statm: 3786192 7549 3146 1 0 3748377 0
[pid=23252/tid=23253] ppid=23250 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/23252/task/23253/stat : 23253 (java) R 23250 23250 18186 0 -1 4202560 3880 0 0 0 8 1 0 0 20 0 15 0 409013536 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010843356752 140010839147098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23254] ppid=23250 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23254/stat : 23254 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013536 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010431310480 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23255] ppid=23250 vsize=15144768 memory=140309854353024 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23255/stat : 23255 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013537 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010430257680 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23256] ppid=23250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23256/stat : 23256 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013537 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010429204880 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23257] ppid=23250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23257/stat : 23257 (java) S 23250 23250 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013537 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010428152080 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23258] ppid=23250 vsize=15144768 memory=140309854353024 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23258/stat : 23258 (java) S 23250 23250 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013538 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010374904688 140010839136898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23259] ppid=23250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23259/stat : 23259 (java) S 23250 23250 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409013538 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010373850656 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23260] ppid=23250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23260/stat : 23260 (java) S 23250 23250 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409013539 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010372797808 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23261] ppid=23250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23261/stat : 23261 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013541 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010371746128 140010839144347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23262] ppid=23250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23262/stat : 23262 (java) S 23250 23250 18186 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 409013541 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010370693488 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23263] ppid=23250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23263/stat : 23263 (java) R 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013541 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010369640688 140010839136898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23264] ppid=23250 vsize=15144768 memory=140309854353024 CPUtime=0.02 cores=1,3,5,7
/proc/23252/task/23264/stat : 23264 (java) R 23250 23250 18186 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 409013541 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010368587888 140010818253974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23265] ppid=23250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23265/stat : 23265 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013541 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010367535328 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23266] ppid=23250 vsize=15144768 memory=140309854353024 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23266/stat : 23266 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013541 15508242432 7549 33554432000 4194304 4196468 140723841971376 140010366483632 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31644 KiB
[startup+0.210885 s]*
/proc/loadavg: 8.67 8.43 6.65 7/234 23266
/proc/meminfo: memFree=17673900/32770624 swapFree=66959212/67108860
[pid=23250] ppid=23247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23250/stat : 23250 (xcsp3-exec) S 23247 23250 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013535 115843072 362 33554432000 4194304 5098028 140729880756368 140729880754472 140424014914172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38658048 140729880765306 140729880765549 140729880765549 140729880768458 0
/proc/23250/statm: 28282 362 304 221 0 87 0
[pid=23252] ppid=23250 vsize=15144768 memory=41168 CPUtime=0.35 cores=1,3,5,7
/proc/23252/stat : 23252 (java) S 23250 23250 18186 0 -1 1077944320 9494 0 0 0 32 3 0 0 20 0 15 0 409013535 15508242432 10292 33554432000 4194304 4196468 140723841971376 140723841953920 140010839125751 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
/proc/23252/statm: 3786192 10292 3301 1 0 3748377 0
[pid=23252/tid=23253] ppid=23250 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23252/task/23253/stat : 23253 (java) R 23250 23250 18186 0 -1 4202560 6687 0 0 0 18 2 0 0 20 0 15 0 409013536 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010843362512 140010839147677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23254] ppid=23250 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23254/stat : 23254 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013536 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010431310480 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23255] ppid=23250 vsize=15144768 memory=3688925096569403040 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23255/stat : 23255 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013537 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010430257680 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23256] ppid=23250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23256/stat : 23256 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013537 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010429204880 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23257] ppid=23250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23257/stat : 23257 (java) S 23250 23250 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013537 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010428152080 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23258] ppid=23250 vsize=15144768 memory=140309854353024 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23258/stat : 23258 (java) S 23250 23250 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409013538 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010374904688 140010839136898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23259] ppid=23250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23259/stat : 23259 (java) S 23250 23250 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409013538 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010373850656 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23260] ppid=23250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23260/stat : 23260 (java) S 23250 23250 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409013539 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010372797808 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23261] ppid=23250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23261/stat : 23261 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013541 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010371746128 140010839144347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23262] ppid=23250 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23252/task/23262/stat : 23262 (java) S 23250 23250 18186 0 -1 1077944384 643 0 0 0 2 0 0 0 20 0 15 0 409013541 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010370693488 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23263] ppid=23250 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23252/task/23263/stat : 23263 (java) S 23250 23250 18186 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 409013541 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010369640688 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23264] ppid=23250 vsize=15144768 memory=140309854353024 CPUtime=0.08 cores=1,3,5,7
/proc/23252/task/23264/stat : 23264 (java) S 23250 23250 18186 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 409013541 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010368587888 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23265] ppid=23250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23265/stat : 23265 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013541 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010367535328 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23266] ppid=23250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23266/stat : 23266 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013541 15508242432 10292 33554432000 4194304 4196468 140723841971376 140010366483632 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42616 KiB
[startup+0.320946 s]*
/proc/loadavg: 8.67 8.43 6.65 6/234 23266
/proc/meminfo: memFree=17666880/32770624 swapFree=66959212/67108860
[pid=23250] ppid=23247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23250/stat : 23250 (xcsp3-exec) S 23247 23250 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013535 115843072 362 33554432000 4194304 5098028 140729880756368 140729880754472 140424014914172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38658048 140729880765306 140729880765549 140729880765549 140729880768458 0
/proc/23250/statm: 28282 362 304 221 0 87 0
[pid=23252] ppid=23250 vsize=15149024 memory=50564 CPUtime=0.55 cores=1,3,5,7
/proc/23252/stat : 23252 (java) S 23250 23250 18186 0 -1 1077944320 10974 0 0 0 51 4 0 0 20 0 15 0 409013535 15512600576 12641 33554432000 4194304 4196468 140723841971376 140723841953920 140010839125751 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
/proc/23252/statm: 3787256 12641 3358 1 0 3748377 0
[pid=23252/tid=23253] ppid=23250 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/23252/task/23253/stat : 23253 (java) R 23250 23250 18186 0 -1 4202560 7942 0 0 0 28 3 0 0 20 0 15 0 409013536 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010843355520 140010823206238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23254] ppid=23250 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23254/stat : 23254 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013536 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010431310480 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23255] ppid=23250 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23255/stat : 23255 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013537 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010430257680 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23256] ppid=23250 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23256/stat : 23256 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013537 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010429204880 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23257] ppid=23250 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23257/stat : 23257 (java) S 23250 23250 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013537 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010428152080 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23258] ppid=23250 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23258/stat : 23258 (java) S 23250 23250 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409013538 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010374904688 140010839136898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23259] ppid=23250 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23259/stat : 23259 (java) S 23250 23250 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409013538 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010373850656 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23260] ppid=23250 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23260/stat : 23260 (java) S 23250 23250 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409013539 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010372797808 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23261] ppid=23250 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23261/stat : 23261 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013541 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010371746128 140010839144347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23262] ppid=23250 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/23252/task/23262/stat : 23262 (java) S 23250 23250 18186 0 -1 1077944384 747 0 0 0 4 0 0 0 20 0 15 0 409013541 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010370693488 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23263] ppid=23250 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23252/task/23263/stat : 23263 (java) S 23250 23250 18186 0 -1 1077944384 129 0 0 0 4 0 0 0 20 0 15 0 409013541 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010369640688 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23264] ppid=23250 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23252/task/23264/stat : 23264 (java) S 23250 23250 18186 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 15 0 409013541 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010368587888 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23265] ppid=23250 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23265/stat : 23265 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013541 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010367535328 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23266] ppid=23250 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23266/stat : 23266 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013541 15512600576 12641 33554432000 4194304 4196468 140723841971376 140010366483632 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52012 KiB
[startup+0.702189 s]
/proc/loadavg: 8.67 8.43 6.65 9/234 23266
/proc/meminfo: memFree=17646572/32770624 swapFree=66959212/67108860
[pid=23250] ppid=23247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23250/stat : 23250 (xcsp3-exec) S 23247 23250 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013535 115843072 362 33554432000 4194304 5098028 140729880756368 140729880754472 140424014914172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38658048 140729880765306 140729880765549 140729880765549 140729880768458 0
/proc/23250/statm: 28282 362 304 221 0 87 0
[pid=23252] ppid=23250 vsize=15151148 memory=87028 CPUtime=1.68 cores=1,3,5,7
/proc/23252/stat : 23252 (java) S 23250 23250 18186 0 -1 1077944320 14533 0 0 0 163 5 0 0 20 0 15 0 409013535 15514775552 21730 33554432000 4194304 4196468 140723841971376 140723841953920 140010839125751 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
/proc/23252/statm: 3787787 21757 3454 1 0 3748889 0
[pid=23252/tid=23253] ppid=23250 vsize=15151148 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/23252/task/23253/stat : 23253 (java) S 23250 23250 18186 0 -1 1077944384 8745 0 0 0 64 3 0 0 20 0 15 0 409013536 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010843363024 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23254] ppid=23250 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23254/stat : 23254 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013536 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010431310480 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23255] ppid=23250 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23255/stat : 23255 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013537 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010430257680 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23256] ppid=23250 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23256/stat : 23256 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013537 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010429204880 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23257] ppid=23250 vsize=15151148 memory=38304 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23257/stat : 23257 (java) S 23250 23250 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013537 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010428152080 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23258] ppid=23250 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23258/stat : 23258 (java) S 23250 23250 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409013538 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010374904688 140010839136898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23259] ppid=23250 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23259/stat : 23259 (java) S 23250 23250 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409013538 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010373850656 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23260] ppid=23250 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23260/stat : 23260 (java) S 23250 23250 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409013539 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010372797808 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23261] ppid=23250 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23261/stat : 23261 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013541 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010371746128 140010839144347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23262] ppid=23250 vsize=15151148 memory=1720 CPUtime=0.27 cores=1,3,5,7
/proc/23252/task/23262/stat : 23262 (java) R 23250 23250 18186 0 -1 4202560 1516 0 0 0 27 0 0 0 20 0 15 0 409013541 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010370682000 140010820647039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23263] ppid=23250 vsize=15151148 memory=10604 CPUtime=0.29 cores=1,3,5,7
/proc/23252/task/23263/stat : 23263 (java) R 23250 23250 18186 0 -1 1077944384 867 0 0 0 29 0 0 0 20 0 15 0 409013541 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010369633712 140010839135957 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23264] ppid=23250 vsize=15151148 memory=3360 CPUtime=0.41 cores=1,3,5,7
/proc/23252/task/23264/stat : 23264 (java) S 23250 23250 18186 0 -1 1077944384 2100 0 0 0 41 0 0 0 20 0 15 0 409013541 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010368587888 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23265] ppid=23250 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23265/stat : 23265 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013541 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010367535328 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23266] ppid=23250 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23266/stat : 23266 (java) S 23250 23250 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013541 15514775552 21757 33554432000 4194304 4196468 140723841971376 140010366483632 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 88476 KiB
[startup+1.50083 s]
/proc/loadavg: 8.67 8.43 6.65 10/234 23266
/proc/meminfo: memFree=17539028/32770624 swapFree=66959212/67108860
[pid=23250] ppid=23247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23250/stat : 23250 (xcsp3-exec) S 23247 23250 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013535 115843072 362 33554432000 4194304 5098028 140729880756368 140729880754472 140424014914172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38658048 140729880765306 140729880765549 140729880765549 140729880768458 0
/proc/23250/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23252/task/23259/stat : 23259 (java) S 23250 23250 18186 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 409013538 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010373850720 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23260] ppid=23250 vsize=15487044 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23260/stat : 23260 (java) S 23250 23250 18186 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 409013539 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010372797824 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23261] ppid=23250 vsize=15487044 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23261/stat : 23261 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409013541 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010371746128 140010839144347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23262] ppid=23250 vsize=15487044 memory=24292 CPUtime=1.85 cores=1,3,5,7
/proc/23252/task/23262/stat : 23262 (java) R 23250 23250 18186 0 -1 4202560 4227 0 0 0 185 0 0 0 20 0 19 0 409013541 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010370680408 140010823519508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23263] ppid=23250 vsize=15487044 memory=26500 CPUtime=2.02 cores=1,3,5,7
/proc/23252/task/23263/stat : 23263 (java) R 23250 23250 18186 0 -1 4202560 4366 0 0 0 201 1 0 0 20 0 19 0 409013541 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010369626848 140010820670712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23264] ppid=23250 vsize=15487044 memory=28708 CPUtime=0.86 cores=1,3,5,7
/proc/23252/task/23264/stat : 23264 (java) S 23250 23250 18186 0 -1 1077944384 4726 0 0 0 85 1 0 0 20 0 19 0 409013541 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010368587888 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23265] ppid=23250 vsize=15487044 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23265/stat : 23265 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409013541 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010367535328 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23266] ppid=23250 vsize=15487044 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23266/stat : 23266 (java) S 23250 23250 18186 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 409013541 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010366483632 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23551] ppid=23250 vsize=15487044 memory=11 CPUtime=0.22 cores=1,3,5,7
/proc/23252/task/23551/stat : 23551 (java) R 23250 23250 18186 0 -1 4202560 19 0 0 0 22 0 0 0 20 0 19 0 409013809 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010282638360 140010455263391 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23552] ppid=23250 vsize=15487044 memory=1350 CPUtime=0.29 cores=1,3,5,7
/proc/23252/task/23552/stat : 23552 (java) R 23250 23250 18186 0 -1 4202560 32 0 0 0 29 0 0 0 20 0 19 0 409013809 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010284746648 140010453583150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23553] ppid=23250 vsize=15487044 memory=27076 CPUtime=0.21 cores=1,3,5,7
/proc/23252/task/23553/stat : 23553 (java) R 23250 23250 18186 0 -1 4202560 23 0 0 0 21 0 0 0 20 0 19 0 409013809 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010287902936 140010455263391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23554] ppid=23250 vsize=15487044 memory=1 CPUtime=0.24 cores=1,3,5,7
/proc/23252/task/23554/stat : 23554 (java) R 23250 23250 18186 0 -1 4202560 40 0 0 0 24 0 0 0 20 0 19 0 409013809 15858733056 162492 33554432000 4194304 4196468 140723841971376 140010283688088 140010447732800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
Current children cumulated CPU time: 9.68 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 651416 KiB
[startup+4.00095 s]*
/proc/loadavg: 8.77 8.46 6.67 11/238 23554
/proc/meminfo: memFree=17062732/32770624 swapFree=66959212/67108860
[pid=23250] ppid=23247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23250/stat : 23250 (xcsp3-exec) S 23247 23250 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013535 115843072 362 33554432000 4194304 5098028 140729880756368 140729880754472 140424014914172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38658048 140729880765306 140729880765549 140729880765549 140729880768458 0
/proc/23250/statm: 28282 362 304 221 0 87 0
[pid=23252] ppid=23250 vsize=15487044 memory=653952 CPUtime=12.88 cores=1,3,5,7
/proc/23252/stat : 23252 (java) S 23250 23250 18186 0 -1 1077944320 34424 0 0 0 1247 41 0 0 20 0 19 0 409013535 15858733056 163488 33554432000 4194304 4196468 140723841971376 140723841953920 140010839125751 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
/proc/23252/statm: 3871761 163488 3532 1 0 3832863 0
[pid=23252/tid=23253] ppid=23250 vsize=15487044 memory=6791534058613427641 CPUtime=1.75 cores=1,3,5,7
/proc/23252/task/23253/stat : 23253 (java) S 23250 23250 18186 0 -1 1077944384 10880 0 0 0 169 6 0 0 20 0 19 0 409013536 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010843366528 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23254] ppid=23250 vsize=15487044 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/23252/task/23254/stat : 23254 (java) S 23250 23250 18186 0 -1 1077944384 527 0 0 0 14 6 0 0 20 0 19 0 409013536 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010431310480 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23255] ppid=23250 vsize=15487044 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23252/task/23255/stat : 23255 (java) S 23250 23250 18186 0 -1 1077944384 300 0 0 0 13 6 0 0 20 0 19 0 409013537 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010430257680 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23256] ppid=23250 vsize=15487044 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/23252/task/23256/stat : 23256 (java) S 23250 23250 18186 0 -1 1077944384 799 0 0 0 13 5 0 0 20 0 19 0 409013537 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010429204880 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23257] ppid=23250 vsize=15487044 memory=7588653376941864456 CPUtime=0.2 cores=1,3,5,7
/proc/23252/task/23257/stat : 23257 (java) S 23250 23250 18186 0 -1 1077944384 535 0 0 0 14 6 0 0 20 0 19 0 409013537 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010428152080 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23258] ppid=23250 vsize=15487044 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23252/task/23258/stat : 23258 (java) S 23250 23250 18186 0 -1 1077944384 754 0 0 0 1 0 0 0 20 0 19 0 409013538 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010374904688 140010839136898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23259] ppid=23250 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23259/stat : 23259 (java) S 23250 23250 18186 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 409013538 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010373850720 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23260] ppid=23250 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23260/stat : 23260 (java) S 23250 23250 18186 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 409013539 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010372797824 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23261] ppid=23250 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23261/stat : 23261 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409013541 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010371746128 140010839144347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23262] ppid=23250 vsize=15487044 memory=0 CPUtime=2.28 cores=1,3,5,7
/proc/23252/task/23262/stat : 23262 (java) R 23250 23250 18186 0 -1 4202560 4464 0 0 0 228 0 0 0 20 0 19 0 409013541 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010370680032 140010823529121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23263] ppid=23250 vsize=15487044 memory=8243103963152648752 CPUtime=2.51 cores=1,3,5,7
/proc/23252/task/23263/stat : 23263 (java) R 23250 23250 18186 0 -1 4202560 4574 0 0 0 250 1 0 0 20 0 19 0 409013541 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010369626568 140010824047708 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23264] ppid=23250 vsize=15487044 memory=5119107123380234377 CPUtime=0.89 cores=1,3,5,7
/proc/23252/task/23264/stat : 23264 (java) S 23250 23250 18186 0 -1 1077944384 4801 0 0 0 88 1 0 0 20 0 19 0 409013541 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010368587888 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23265] ppid=23250 vsize=15487044 memory=8243103963152648752 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23265/stat : 23265 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409013541 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010367535328 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23266] ppid=23250 vsize=15487044 memory=3461490914657787847 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23266/stat : 23266 (java) S 23250 23250 18186 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 409013541 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010366483632 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23551] ppid=23250 vsize=15487044 memory=7649399367118500657 CPUtime=0.79 cores=1,3,5,7
/proc/23252/task/23551/stat : 23551 (java) R 23250 23250 18186 0 -1 4202560 19 0 0 0 79 0 0 0 20 0 19 0 409013809 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010282638744 140010452730880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23552] ppid=23250 vsize=15487044 memory=3907348561523320499 CPUtime=0.72 cores=1,3,5,7
/proc/23252/task/23552/stat : 23552 (java) R 23250 23250 18186 0 -1 4202560 55 0 0 0 72 0 0 0 20 0 19 0 409013809 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010284744920 140010456140993 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23553] ppid=23250 vsize=15487044 memory=4049052952914636847 CPUtime=0.7 cores=1,3,5,7
/proc/23252/task/23553/stat : 23553 (java) R 23250 23250 18186 0 -1 4202560 24 0 0 0 70 0 0 0 20 0 19 0 409013809 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010287902712 140010455206910 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23554] ppid=23250 vsize=15487044 memory=7822038052226416701 CPUtime=0.99 cores=1,3,5,7
/proc/23252/task/23554/stat : 23554 (java) R 23250 23250 18186 0 -1 4202560 64 0 0 0 99 0 0 0 20 0 19 0 409013809 15858733056 163488 33554432000 4194304 4196468 140723841971376 140010283692264 140010457245424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
Current children cumulated CPU time: 12.88 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 655400 KiB
[startup+4.40395 s]
/proc/loadavg: 8.77 8.46 6.67 11/238 23554
/proc/meminfo: memFree=17062732/32770624 swapFree=66959212/67108860
[pid=23250] ppid=23247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23250/stat : 23250 (xcsp3-exec) S 23247 23250 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013535 115843072 362 33554432000 4194304 5098028 140729880756368 140729880754472 140424014914172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38658048 140729880765306 140729880765549 140729880765549 140729880768458 0
/proc/23250/statm: 28282 362 304 221 0 87 0
[pid=23252] ppid=23250 vsize=15487044 memory=656712 CPUtime=14.45 cores=1,3,5,7
/proc/23252/stat : 23252 (java) S 23250 23250 18186 0 -1 1077944320 35429 0 0 0 1403 42 0 0 20 0 19 0 409013535 15858733056 164178 33554432000 4194304 4196468 140723841971376 140723841953920 140010839125751 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
/proc/23252/statm: 3871761 164178 3536 1 0 3832863 0
[pid=23252/tid=23253] ppid=23250 vsize=15487044 memory=2209 CPUtime=1.75 cores=1,3,5,7
/proc/23252/task/23253/stat : 23253 (java) S 23250 23250 18186 0 -1 1077944384 10880 0 0 0 169 6 0 0 20 0 19 0 409013536 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010843366528 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23254] ppid=23250 vsize=15487044 memory=8996 CPUtime=0.2 cores=1,3,5,7
/proc/23252/task/23254/stat : 23254 (java) S 23250 23250 18186 0 -1 1077944384 527 0 0 0 14 6 0 0 20 0 19 0 409013536 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010431310480 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23255] ppid=23250 vsize=15487044 memory=5964 CPUtime=0.19 cores=1,3,5,7
/proc/23252/task/23255/stat : 23255 (java) S 23250 23250 18186 0 -1 1077944384 300 0 0 0 13 6 0 0 20 0 19 0 409013537 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010430257680 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23256] ppid=23250 vsize=15487044 memory=6656426216303648864 CPUtime=0.18 cores=1,3,5,7
/proc/23252/task/23256/stat : 23256 (java) S 23250 23250 18186 0 -1 1077944384 799 0 0 0 13 5 0 0 20 0 19 0 409013537 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010429204880 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23257] ppid=23250 vsize=15487044 memory=6656426216303648864 CPUtime=0.2 cores=1,3,5,7
/proc/23252/task/23257/stat : 23257 (java) S 23250 23250 18186 0 -1 1077944384 535 0 0 0 14 6 0 0 20 0 19 0 409013537 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010428152080 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23258] ppid=23250 vsize=15487044 memory=1216 CPUtime=0.01 cores=1,3,5,7
/proc/23252/task/23258/stat : 23258 (java) S 23250 23250 18186 0 -1 1077944384 754 0 0 0 1 0 0 0 20 0 19 0 409013538 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010374904688 140010839136898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23259] ppid=23250 vsize=15487044 memory=984 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23259/stat : 23259 (java) S 23250 23250 18186 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 409013538 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010373850720 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23260] ppid=23250 vsize=15487044 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23260/stat : 23260 (java) S 23250 23250 18186 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 409013539 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010372797824 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23261] ppid=23250 vsize=15487044 memory=-1189914978686163229 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23261/stat : 23261 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409013541 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010371746128 140010839144347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23262] ppid=23250 vsize=15487044 memory=6656426216303648864 CPUtime=2.49 cores=1,3,5,7
/proc/23252/task/23262/stat : 23262 (java) S 23250 23250 18186 0 -1 1077944384 4497 0 0 0 248 1 0 0 20 0 19 0 409013541 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010370693488 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23263] ppid=23250 vsize=15487044 memory=6944652177228980320 CPUtime=2.74 cores=1,3,5,7
/proc/23252/task/23263/stat : 23263 (java) R 23250 23250 18186 0 -1 4202560 5521 0 0 0 273 1 0 0 20 0 19 0 409013541 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010369627120 140010822654571 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23264] ppid=23250 vsize=15487044 memory=6944656575208382560 CPUtime=0.9 cores=1,3,5,7
/proc/23252/task/23264/stat : 23264 (java) S 23250 23250 18186 0 -1 1077944384 4811 0 0 0 89 1 0 0 20 0 19 0 409013541 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010368587888 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23265] ppid=23250 vsize=15487044 memory=-8990767739041718224 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23265/stat : 23265 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409013541 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010367535328 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23266] ppid=23250 vsize=15487044 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23266/stat : 23266 (java) S 23250 23250 18186 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 409013541 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010366483632 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23551] ppid=23250 vsize=15487044 memory=8257237230706253920 CPUtime=1.15 cores=1,3,5,7
/proc/23252/task/23551/stat : 23551 (java) R 23250 23250 18186 0 -1 4202560 19 0 0 0 115 0 0 0 20 0 19 0 409013809 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010282640632 140010457568698 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23552] ppid=23250 vsize=15487044 memory=-9181546050914066336 CPUtime=0.98 cores=1,3,5,7
/proc/23252/task/23552/stat : 23552 (java) R 23250 23250 18186 0 -1 4202560 56 0 0 0 98 0 0 0 20 0 19 0 409013809 15858733056 164178 33554432000 4194304 4196468 140723841971376 140010284744920 140010455123129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23553] ppid=23250 vsize=15487044 memory=-7240599211820661557 CPUtime=0.89 cores=1,3,5,7
/proc/23252/task/23553/stat : 23553 (java) R 23250 23250 18186 0 -1 4202560 28 0 0 0 89 0 0 0 20 0 19 0 409013809 15858733056 164244 33554432000 4194304 4196468 140723841971376 140010287902920 140010455263357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23554] ppid=23250 vsize=15487044 memory=8508281403247921567 CPUtime=1.3 cores=1,3,5,7
/proc/23252/task/23554/stat : 23554 (java) R 23250 23250 18186 0 -1 4202560 73 0 0 0 130 0 0 0 20 0 19 0 409013809 15858733056 164244 33554432000 4194304 4196468 140723841971376 140010283693432 140010457245588 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
Current children cumulated CPU time: 14.45 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 658160 KiB
[startup+4.8007 s]
/proc/loadavg: 8.77 8.46 6.67 11/238 23554
/proc/meminfo: memFree=17062732/32770624 swapFree=66959212/67108860
[pid=23250] ppid=23247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23250/stat : 23250 (xcsp3-exec) S 23247 23250 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013535 115843072 362 33554432000 4194304 5098028 140729880756368 140729880754472 140424014914172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38658048 140729880765306 140729880765549 140729880765549 140729880768458 0
/proc/23250/statm: 28282 362 304 221 0 87 0
[pid=23252] ppid=23250 vsize=15487044 memory=655032 CPUtime=14.82 cores=1,3,5,7
/proc/23252/stat : 23252 (java) S 23250 23250 18186 0 -1 1077944320 36318 0 0 0 1440 42 0 0 20 0 12 0 409013535 15858733056 163758 33554432000 4194304 4196468 140723841971376 140723841953920 140010839125751 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
/proc/23252/statm: 3871761 163758 3536 1 0 3832863 0
[pid=23252/tid=23253] ppid=23250 vsize=15487044 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/23252/task/23253/stat : 23253 (java) D 23250 23250 18186 0 -1 4202560 10896 0 0 0 169 6 0 0 20 0 12 0 409013536 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010843368760 140010831811383 0 0 0 16800975 18446744072100461701 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23254] ppid=23250 vsize=15487044 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/23252/task/23254/stat : 23254 (java) S 23250 23250 18186 0 -1 1077944384 527 0 0 0 14 6 0 0 20 0 12 0 409013536 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010431310480 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23255] ppid=23250 vsize=15487044 memory=1448 CPUtime=0.19 cores=1,3,5,7
/proc/23252/task/23255/stat : 23255 (java) S 23250 23250 18186 0 -1 1077944384 300 0 0 0 13 6 0 0 20 0 12 0 409013537 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010430257680 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23256] ppid=23250 vsize=15487044 memory=638100 CPUtime=0.18 cores=1,3,5,7
/proc/23252/task/23256/stat : 23256 (java) S 23250 23250 18186 0 -1 1077944384 799 0 0 0 13 5 0 0 20 0 12 0 409013537 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010429204880 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23257] ppid=23250 vsize=15487044 memory=1967567 CPUtime=0.2 cores=1,3,5,7
/proc/23252/task/23257/stat : 23257 (java) S 23250 23250 18186 0 -1 1077944384 535 0 0 0 14 6 0 0 20 0 12 0 409013537 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010428152080 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23259] ppid=23250 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23259/stat : 23259 (java) S 23250 23250 18186 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 12 0 409013538 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010373850720 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23260] ppid=23250 vsize=15487044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23260/stat : 23260 (java) S 23250 23250 18186 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 12 0 409013539 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010372797824 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23262] ppid=23250 vsize=15487044 memory=0 CPUtime=2.5 cores=1,3,5,7
/proc/23252/task/23262/stat : 23262 (java) S 23250 23250 18186 0 -1 1077944384 4498 0 0 0 249 1 0 0 20 0 12 0 409013541 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010370693488 140010839136898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23263] ppid=23250 vsize=15487044 memory=0 CPUtime=2.84 cores=1,3,5,7
/proc/23252/task/23263/stat : 23263 (java) S 23250 23250 18186 0 -1 1077944384 6363 0 0 0 283 1 0 0 20 0 12 0 409013541 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010369625200 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23264] ppid=23250 vsize=15487044 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/23252/task/23264/stat : 23264 (java) S 23250 23250 18186 0 -1 1077944384 4817 0 0 0 89 1 0 0 20 0 12 0 409013541 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010368583264 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
[pid=23252/tid=23265] ppid=23250 vsize=15487044 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23252/task/23265/stat : 23265 (java) S 23250 23250 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 409013541 15858733056 163758 33554432000 4194304 4196468 140723841971376 140010367535328 140010839135957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34349056 140723841975279 140723841975450 140723841975450 140723841978319 0
Current children cumulated CPU time: 14.82 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 656480 KiB
Child status: 0
Real time (s): 4.86572
CPU time (s): 14.8372
CPU user time (s): 14.4045
CPU system time (s): 0.432689
CPU usage (%): 304.933
Max. virtual memory (cumulated for all children) (KiB): 15600172
Max. memory (cumulated for all children) (KiB): 658160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4045
system time used= 0.432689
maximum resident set size= 659088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36907
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4562
involuntary context switches= 512
# summary of solver processes directly reported to runsolver:
# pid: 23250
# total CPU time (s): 14.8372
# total CPU user time (s): 14.4045
# total CPU system time (s): 0.432689
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05375 second user time and 0.097353 second system time
The end