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 (15227 MiB free)
memory of node 1: 16384 MiB (15504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269863-1502820040/watcher-4269863-1502820040 -o /tmp/evaluation-result-4269863-1502820040/solver-4269863-1502820040 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1429922796 HOME/instance-4269863-1502820040.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23243, runsolver pid=23240
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 2.02 1.77 1.68 3/209 23253
/proc/meminfo: memFree=31459288/32770624 swapFree=67108764/67108860
[pid=23243] ppid=23240 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23243/stat : 23243 (xcsp3-exec) S 23240 23243 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 129510606 9740288 345 18446744073709551615 4194304 5098028 140727464649440 140727464647544 140490720567932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 32280576 140727464653176 140727464653381 140727464653381 140727464656875 0
/proc/23243/statm: 2378 345 289 221 0 87 0
[pid=23245] ppid=23243 vsize=13840740 memory=19144 CPUtime=0.05 cores=1,3,5,7
/proc/23245/stat : 23245 (java) S 23243 23243 4674 0 -1 1077944320 4193 0 0 0 4 1 0 0 20 0 13 0 129510611 14172917760 4786 18446744073709551615 4194304 4196468 140726516276240 140726516258784 140062614818551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
/proc/23245/statm: 3460185 4786 2258 1 0 3449682 0
[pid=23245/tid=23246] ppid=23243 vsize=13840740 memory=8508281356422055842 CPUtime=0.04 cores=1,3,5,7
/proc/23245/task/23246/stat : 23246 (java) R 23243 23243 4674 0 -1 4202560 2710 0 0 0 4 0 0 0 20 0 13 0 129510611 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062619052440 140062596212285 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23247] ppid=23243 vsize=13840740 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23247/stat : 23247 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 129510612 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062575716880 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23248] ppid=23243 vsize=13840740 memory=139982678517376 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23248/stat : 23248 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 129510612 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062214253200 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23249] ppid=23243 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23249/stat : 23249 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 129510612 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062213200144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23250] ppid=23243 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23250/stat : 23250 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 129510612 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062212147600 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23251] ppid=23243 vsize=13840740 memory=139982678517376 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23251/stat : 23251 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 129510613 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062093163248 140062614829698 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23252] ppid=23243 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23252/stat : 23252 (java) S 23243 23243 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 129510614 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062092109472 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23253] ppid=23243 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23253/stat : 23253 (java) S 23243 23243 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 129510614 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062091056368 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23254] ppid=23243 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23254/stat : 23254 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 129510616 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062090004944 140062614837147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23255] ppid=23243 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23255/stat : 23255 (java) R 23243 23243 4674 0 -1 4202560 277 0 0 0 0 0 0 0 20 0 13 0 129510616 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062088939296 140062599215230 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23256] ppid=23243 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23256/stat : 23256 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 129510616 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062087899200 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23257] ppid=23243 vsize=13840740 memory=139982678517376 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23257/stat : 23257 (java) S 23243 23243 4674 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 13 0 129510616 14172917760 4918 18446744073709551615 4194304 4196468 140726516276240 140062086846448 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13850252 KiB
Current children cumulated memory: 20524 KiB
[startup+0.210386 s]*
/proc/loadavg: 2.02 1.77 1.68 6/215 23259
/proc/meminfo: memFree=31452120/32770624 swapFree=67108764/67108860
[pid=23243] ppid=23240 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23243/stat : 23243 (xcsp3-exec) S 23240 23243 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 129510606 9740288 345 18446744073709551615 4194304 5098028 140727464649440 140727464647544 140490720567932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 32280576 140727464653176 140727464653381 140727464653381 140727464656875 0
/proc/23243/statm: 2378 345 289 221 0 87 0
[pid=23245] ppid=23243 vsize=13974352 memory=30360 CPUtime=0.16 cores=1,3,5,7
/proc/23245/stat : 23245 (java) S 23243 23243 4674 0 -1 1077944320 6037 0 0 0 15 1 0 0 20 0 15 0 129510611 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140726516258784 140062614818551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
/proc/23245/statm: 3493588 7590 2916 1 0 3482964 0
[pid=23245/tid=23246] ppid=23243 vsize=13974352 memory=7022364594140610616 CPUtime=0.1 cores=1,3,5,7
/proc/23245/task/23246/stat : 23246 (java) R 23243 23243 4674 0 -1 4202560 3429 0 0 0 10 0 0 0 20 0 15 0 129510611 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062619048720 140062614830486 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23247] ppid=23243 vsize=13974352 memory=4294979926 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23247/stat : 23247 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062575716880 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23248] ppid=23243 vsize=13974352 memory=4051185237690410656 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23248/stat : 23248 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062214253200 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23249] ppid=23243 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23249/stat : 23249 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062213200144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23250] ppid=23243 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23250/stat : 23250 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129510612 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062212147600 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23251] ppid=23243 vsize=13974352 memory=139982678517376 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23251/stat : 23251 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129510613 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062093163248 140062614829698 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23252] ppid=23243 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23252/stat : 23252 (java) S 23243 23243 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129510614 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062092109472 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23253] ppid=23243 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23253/stat : 23253 (java) S 23243 23243 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129510614 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062091056368 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23254] ppid=23243 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23254/stat : 23254 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510616 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062090004944 140062614837147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23255] ppid=23243 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23255/stat : 23255 (java) R 23243 23243 4674 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 129510616 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062088952048 140062614829698 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23256] ppid=23243 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23256/stat : 23256 (java) R 23243 23243 4674 0 -1 4202560 173 0 0 0 0 0 0 0 20 0 15 0 129510616 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062087899504 140062593981680 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23257] ppid=23243 vsize=13974352 memory=139982678517376 CPUtime=0.03 cores=1,3,5,7
/proc/23245/task/23257/stat : 23257 (java) R 23243 23243 4674 0 -1 4202560 701 0 0 0 3 0 0 0 20 0 15 0 129510616 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062086842392 140062593737120 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23258] ppid=23243 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23258/stat : 23258 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510617 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062085794144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23259] ppid=23243 vsize=13974352 memory=139982678517376 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23259/stat : 23259 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510621 14309736448 7590 18446744073709551615 4194304 4196468 140726516276240 140062084742192 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31740 KiB
[startup+0.314424 s]*
/proc/loadavg: 2.02 1.77 1.68 5/215 23259
/proc/meminfo: memFree=31440120/32770624 swapFree=67108764/67108860
[pid=23243] ppid=23240 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23243/stat : 23243 (xcsp3-exec) S 23240 23243 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 129510606 9740288 345 18446744073709551615 4194304 5098028 140727464649440 140727464647544 140490720567932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 32280576 140727464653176 140727464653381 140727464653381 140727464656875 0
/proc/23243/statm: 2378 345 289 221 0 87 0
[pid=23245] ppid=23243 vsize=13978608 memory=40204 CPUtime=0.35 cores=1,3,5,7
/proc/23245/stat : 23245 (java) S 23243 23243 4674 0 -1 1077944320 9718 0 0 0 32 3 0 0 20 0 15 0 129510611 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140726516258784 140062614818551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
/proc/23245/statm: 3494652 10051 3050 1 0 3482964 0
[pid=23245/tid=23246] ppid=23243 vsize=13978608 memory=4278483708103473607 CPUtime=0.21 cores=1,3,5,7
/proc/23245/task/23246/stat : 23246 (java) R 23243 23243 4674 0 -1 4202560 6897 0 0 0 19 2 0 0 20 0 15 0 129510611 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062619041488 140062614840477 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23247] ppid=23243 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23247/stat : 23247 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062575716880 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23248] ppid=23243 vsize=13978608 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23248/stat : 23248 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062214253200 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23249] ppid=23243 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23249/stat : 23249 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062213200144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23250] ppid=23243 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23250/stat : 23250 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129510612 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062212147600 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23251] ppid=23243 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23251/stat : 23251 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129510613 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062093163248 140062614829698 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23252] ppid=23243 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23252/stat : 23252 (java) S 23243 23243 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129510614 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062092109472 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23253] ppid=23243 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23253/stat : 23253 (java) S 23243 23243 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129510614 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062091056368 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23254] ppid=23243 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23254/stat : 23254 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510616 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062090004944 140062614837147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23255] ppid=23243 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23245/task/23255/stat : 23255 (java) S 23243 23243 4674 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 15 0 129510616 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062088952048 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23256] ppid=23243 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23245/task/23256/stat : 23256 (java) S 23243 23243 4674 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 15 0 129510616 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062087899504 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23257] ppid=23243 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23245/task/23257/stat : 23257 (java) R 23243 23243 4674 0 -1 4202560 763 0 0 0 8 0 0 0 20 0 15 0 129510616 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062086846448 140726516693192 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23258] ppid=23243 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23258/stat : 23258 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510617 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062085794144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23259] ppid=23243 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23259/stat : 23259 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510621 14314094592 10051 18446744073709551615 4194304 4196468 140726516276240 140062084742192 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41584 KiB
[startup+0.701458 s]
/proc/loadavg: 2.02 1.77 1.68 6/215 23259
/proc/meminfo: memFree=31428176/32770624 swapFree=67108764/67108860
[pid=23243] ppid=23240 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23243/stat : 23243 (xcsp3-exec) S 23240 23243 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 129510606 9740288 345 18446744073709551615 4194304 5098028 140727464649440 140727464647544 140490720567932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 32280576 140727464653176 140727464653381 140727464653381 140727464656875 0
/proc/23243/statm: 2378 345 289 221 0 87 0
[pid=23245] ppid=23243 vsize=13978684 memory=87296 CPUtime=1.39 cores=1,3,5,7
/proc/23245/stat : 23245 (java) S 23243 23243 4674 0 -1 1077944320 13510 0 0 0 134 5 0 0 20 0 15 0 129510611 14314172416 21824 18446744073709551615 4194304 4196468 140726516276240 140726516258784 140062614818551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
/proc/23245/statm: 3494671 21824 3172 1 0 3482964 0
[pid=23245/tid=23246] ppid=23243 vsize=13978684 memory=139982580878352 CPUtime=0.57 cores=1,3,5,7
/proc/23245/task/23246/stat : 23246 (java) R 23243 23243 4674 0 -1 4202560 7948 0 0 0 54 3 0 0 20 0 15 0 129510611 14314172416 21824 18446744073709551615 4194304 4196468 140726516276240 140062619053264 140062259397670 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23247] ppid=23243 vsize=13978684 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23247/stat : 23247 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14314172416 21824 18446744073709551615 4194304 4196468 140726516276240 140062575716880 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23248] ppid=23243 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23248/stat : 23248 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062214253200 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23249] ppid=23243 vsize=13978684 memory=139982580755872 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23249/stat : 23249 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062213200144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23250] ppid=23243 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23250/stat : 23250 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129510612 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062212147600 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23251] ppid=23243 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23251/stat : 23251 (java) S 23243 23243 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 129510613 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062093163248 140062614829698 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23252] ppid=23243 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23252/stat : 23252 (java) S 23243 23243 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129510614 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062092109472 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23253] ppid=23243 vsize=13978684 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23253/stat : 23253 (java) S 23243 23243 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129510614 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062091056368 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23254] ppid=23243 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23254/stat : 23254 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510616 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062090004944 140062614837147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23255] ppid=23243 vsize=13978684 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/23245/task/23255/stat : 23255 (java) R 23243 23243 4674 0 -1 4202560 1749 0 0 0 26 0 0 0 20 0 15 0 129510616 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062088943696 140062594506980 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23256] ppid=23243 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/23245/task/23256/stat : 23256 (java) R 23243 23243 4674 0 -1 4202560 1115 0 0 0 23 0 0 0 20 0 15 0 129510616 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062087886048 140062600499261 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23257] ppid=23243 vsize=13978684 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/23245/task/23257/stat : 23257 (java) S 23243 23243 4674 0 -1 1077944384 1391 0 0 0 29 0 0 0 20 0 15 0 129510616 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062086846448 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23258] ppid=23243 vsize=13978684 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23258/stat : 23258 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510617 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062085794144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23259] ppid=23243 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23259/stat : 23259 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510621 14314172416 22336 18446744073709551615 4194304 4196468 140726516276240 140062084742192 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 88676 KiB
[startup+1.50085 s]
/proc/loadavg: 2.02 1.77 1.68 3/215 23259
/proc/meminfo: memFree=31383952/32770624 swapFree=67108764/67108860
[pid=23243] ppid=23240 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23243/stat : 23243 (xcsp3-exec) S 23240 23243 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 129510606 9740288 345 18446744073709551615 4194304 5098028 140727464649440 140727464647544 140490720567932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 32280576 140727464653176 140727464653381 140727464653381 140727464656875 0
/proc/23243/statm: 2378 345 289 221 0 87 0
[pid=23245] ppid=23243 vsize=13980732 memory=114684 CPUtime=2.34 cores=1,3,5,7
/proc/23245/stat : 23245 (java) S 23243 23243 4674 0 -1 1077944320 14795 0 0 0 229 5 0 0 20 0 15 0 129510611 14316269568 28671 18446744073709551615 4194304 4196468 140726516276240 140726516258784 140062614818551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
/proc/23245/statm: 3495183 28671 3178 1 0 3483476 0
[pid=23245/tid=23246] ppid=23243 vsize=13980732 memory=0 CPUtime=1.38 cores=1,3,5,7
################
# More data... #
################
/proc/23243/stat : 23243 (xcsp3-exec) S 23240 23243 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 129510606 9740288 345 18446744073709551615 4194304 5098028 140727464649440 140727464647544 140490720567932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 32280576 140727464653176 140727464653381 140727464653381 140727464656875 0
/proc/23243/statm: 2378 345 289 221 0 87 0
[pid=23245] ppid=23243 vsize=13980732 memory=165176 CPUtime=5.13 cores=1,3,5,7
/proc/23245/stat : 23245 (java) S 23243 23243 4674 0 -1 1077944320 21237 0 0 0 505 8 0 0 20 0 15 0 129510611 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140726516258784 140062614818551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
/proc/23245/statm: 3495183 41294 3190 1 0 3483476 0
[pid=23245/tid=23246] ppid=23243 vsize=13980732 memory=0 CPUtime=3.06 cores=1,3,5,7
/proc/23245/task/23246/stat : 23246 (java) R 23243 23243 4674 0 -1 4202560 10329 0 0 0 301 5 0 0 20 0 15 0 129510611 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062619055856 140062614830486 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23247] ppid=23243 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23247/stat : 23247 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062575716880 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23248] ppid=23243 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23248/stat : 23248 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062214253200 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23249] ppid=23243 vsize=13980732 memory=13564886244395551 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23249/stat : 23249 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062213200144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23250] ppid=23243 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23250/stat : 23250 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062212147600 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23251] ppid=23243 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23251/stat : 23251 (java) S 23243 23243 4674 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 129510613 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062093163248 140062614829698 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23252] ppid=23243 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23252/stat : 23252 (java) S 23243 23243 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129510614 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062092109472 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23253] ppid=23243 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23253/stat : 23253 (java) S 23243 23243 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129510614 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062091056368 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23254] ppid=23243 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23254/stat : 23254 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510616 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062090004944 140062614837147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23255] ppid=23243 vsize=13980732 memory=2241 CPUtime=0.8 cores=1,3,5,7
/proc/23245/task/23255/stat : 23255 (java) S 23243 23243 4674 0 -1 1077944384 3478 0 0 0 80 0 0 0 20 0 15 0 129510616 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062088952048 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23256] ppid=23243 vsize=13980732 memory=2012 CPUtime=0.79 cores=1,3,5,7
/proc/23245/task/23256/stat : 23256 (java) R 23243 23243 4674 0 -1 4202560 3420 0 0 0 79 0 0 0 20 0 15 0 129510616 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062087899504 140062594037273 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23257] ppid=23243 vsize=13980732 memory=11056 CPUtime=0.43 cores=1,3,5,7
/proc/23245/task/23257/stat : 23257 (java) S 23243 23243 4674 0 -1 1077944384 2642 0 0 0 43 0 0 0 20 0 15 0 129510616 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062086846448 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23258] ppid=23243 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23258/stat : 23258 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510617 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062085794144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23259] ppid=23243 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23259/stat : 23259 (java) S 23243 23243 4674 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 129510621 14316269568 41294 18446744073709551615 4194304 4196468 140726516276240 140062084742192 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 166556 KiB
[startup+4.80075 s]
/proc/loadavg: 1.94 1.75 1.67 3/215 23259
/proc/meminfo: memFree=31311852/32770624 swapFree=67108764/67108860
[pid=23243] ppid=23240 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23243/stat : 23243 (xcsp3-exec) S 23240 23243 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 129510606 9740288 345 18446744073709551615 4194304 5098028 140727464649440 140727464647544 140490720567932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 32280576 140727464653176 140727464653381 140727464653381 140727464656875 0
/proc/23243/statm: 2378 345 289 221 0 87 0
[pid=23245] ppid=23243 vsize=13980732 memory=173988 CPUtime=7.64 cores=1,3,5,7
/proc/23245/stat : 23245 (java) S 23243 23243 4674 0 -1 1077944320 21986 0 0 0 755 9 0 0 20 0 15 0 129510611 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140726516258784 140062614818551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
/proc/23245/statm: 3495183 43497 3199 1 0 3483476 0
[pid=23245/tid=23246] ppid=23243 vsize=13980732 memory=0 CPUtime=4.67 cores=1,3,5,7
/proc/23245/task/23246/stat : 23246 (java) R 23243 23243 4674 0 -1 4202560 10346 0 0 0 461 6 0 0 20 0 15 0 129510611 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062619057544 140062260390530 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23247] ppid=23243 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23247/stat : 23247 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062575716880 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23248] ppid=23243 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23248/stat : 23248 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062214253200 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23249] ppid=23243 vsize=13980732 memory=122876 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23249/stat : 23249 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062213200144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23250] ppid=23243 vsize=13980732 memory=11056 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23250/stat : 23250 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062212147600 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23251] ppid=23243 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23251/stat : 23251 (java) S 23243 23243 4674 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 129510613 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062093163248 140062614829698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23252] ppid=23243 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23252/stat : 23252 (java) S 23243 23243 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129510614 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062092109472 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23253] ppid=23243 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23253/stat : 23253 (java) S 23243 23243 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129510614 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062091056368 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23254] ppid=23243 vsize=13980732 memory=984 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23254/stat : 23254 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510616 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062090004944 140062614837147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23255] ppid=23243 vsize=13980732 memory=1728 CPUtime=1.22 cores=1,3,5,7
/proc/23245/task/23255/stat : 23255 (java) S 23243 23243 4674 0 -1 1077944384 3939 0 0 0 121 1 0 0 20 0 15 0 129510616 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062088952048 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23256] ppid=23243 vsize=13980732 memory=168020 CPUtime=1.25 cores=1,3,5,7
/proc/23245/task/23256/stat : 23256 (java) S 23243 23243 4674 0 -1 1077944384 3555 0 0 0 124 1 0 0 20 0 15 0 129510616 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062087899504 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23257] ppid=23243 vsize=13980732 memory=1444 CPUtime=0.48 cores=1,3,5,7
/proc/23245/task/23257/stat : 23257 (java) S 23243 23243 4674 0 -1 1077944384 2716 0 0 0 48 0 0 0 20 0 15 0 129510616 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062086846448 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23258] ppid=23243 vsize=13980732 memory=12304 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23258/stat : 23258 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510617 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062085794144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23259] ppid=23243 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23259/stat : 23259 (java) S 23243 23243 4674 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 129510621 14316269568 43497 18446744073709551615 4194304 4196468 140726516276240 140062084742192 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
Current children cumulated CPU time: 7.64 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 175368 KiB
[startup+5.60072 s]
/proc/loadavg: 1.94 1.75 1.67 3/215 23259
/proc/meminfo: memFree=31307224/32770624 swapFree=67108764/67108860
[pid=23243] ppid=23240 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23243/stat : 23243 (xcsp3-exec) S 23240 23243 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 129510606 9740288 345 18446744073709551615 4194304 5098028 140727464649440 140727464647544 140490720567932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 32280576 140727464653176 140727464653381 140727464653381 140727464656875 0
/proc/23243/statm: 2378 345 289 221 0 87 0
[pid=23245] ppid=23243 vsize=13980732 memory=176224 CPUtime=8.48 cores=1,3,5,7
/proc/23245/stat : 23245 (java) S 23243 23243 4674 0 -1 1077944320 23701 0 0 0 839 9 0 0 20 0 15 0 129510611 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140726516258784 140062614818551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
/proc/23245/statm: 3495183 44056 3202 1 0 3483476 0
[pid=23245/tid=23246] ppid=23243 vsize=13980732 memory=1228 CPUtime=5.46 cores=1,3,5,7
/proc/23245/task/23246/stat : 23246 (java) R 23243 23243 4674 0 -1 4202560 10637 0 0 0 540 6 0 0 20 0 15 0 129510611 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062619055088 140062260727458 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23247] ppid=23243 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23247/stat : 23247 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062575716880 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23248] ppid=23243 vsize=13980732 memory=6498285520082 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23248/stat : 23248 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062214253200 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23249] ppid=23243 vsize=13980732 memory=291045367276110134 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23249/stat : 23249 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062213200144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23250] ppid=23243 vsize=13980732 memory=13564886244395551 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23250/stat : 23250 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062212147600 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23251] ppid=23243 vsize=13980732 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23251/stat : 23251 (java) S 23243 23243 4674 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 129510613 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062093163248 140062614829698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23252] ppid=23243 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23252/stat : 23252 (java) S 23243 23243 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129510614 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062092109472 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23253] ppid=23243 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23253/stat : 23253 (java) S 23243 23243 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129510614 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062091056368 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23254] ppid=23243 vsize=13980732 memory=6656373276535711081 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23254/stat : 23254 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510616 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062090004944 140062614837147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23255] ppid=23243 vsize=13980732 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/23245/task/23255/stat : 23255 (java) S 23243 23243 4674 0 -1 1077944384 4159 0 0 0 122 1 0 0 20 0 15 0 129510616 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062088952048 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23256] ppid=23243 vsize=13980732 memory=3618553808916886454 CPUtime=1.28 cores=1,3,5,7
/proc/23245/task/23256/stat : 23256 (java) S 23243 23243 4674 0 -1 1077944384 3955 0 0 0 127 1 0 0 20 0 15 0 129510616 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062087899504 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23257] ppid=23243 vsize=13980732 memory=3545943151940250560 CPUtime=0.48 cores=1,3,5,7
/proc/23245/task/23257/stat : 23257 (java) S 23243 23243 4674 0 -1 1077944384 2985 0 0 0 48 0 0 0 20 0 15 0 129510616 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062086846448 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23258] ppid=23243 vsize=13980732 memory=139982580775872 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23258/stat : 23258 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510617 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062085794144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23259] ppid=23243 vsize=13980732 memory=279965161635792 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23259/stat : 23259 (java) S 23243 23243 4674 0 -1 1077944384 486 0 0 0 0 0 0 0 20 0 15 0 129510621 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062084742192 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
Current children cumulated CPU time: 8.48 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 177604 KiB
[startup+5.80068 s]
/proc/loadavg: 1.94 1.75 1.67 3/215 23259
/proc/meminfo: memFree=31307224/32770624 swapFree=67108764/67108860
[pid=23243] ppid=23240 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23243/stat : 23243 (xcsp3-exec) S 23240 23243 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 129510606 9740288 345 18446744073709551615 4194304 5098028 140727464649440 140727464647544 140490720567932 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 32280576 140727464653176 140727464653381 140727464653381 140727464656875 0
/proc/23243/statm: 2378 345 289 221 0 87 0
[pid=23245] ppid=23243 vsize=13980732 memory=176224 CPUtime=8.68 cores=1,3,5,7
/proc/23245/stat : 23245 (java) S 23243 23243 4674 0 -1 1077944320 23849 0 0 0 859 9 0 0 20 0 15 0 129510611 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140726516258784 140062614818551 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
/proc/23245/statm: 3495183 44056 3202 1 0 3483476 0
[pid=23245/tid=23246] ppid=23243 vsize=13980732 memory=0 CPUtime=5.66 cores=1,3,5,7
/proc/23245/task/23246/stat : 23246 (java) R 23243 23243 4674 0 -1 4202560 10785 0 0 0 560 6 0 0 20 0 15 0 129510611 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062619055088 140062260746528 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23247] ppid=23243 vsize=13980732 memory=-8311738553153378854 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23247/stat : 23247 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062575716880 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23248] ppid=23243 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23248/stat : 23248 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062214253200 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23249] ppid=23243 vsize=13980732 memory=6153431502485413986 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23249/stat : 23249 (java) S 23243 23243 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062213200144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23250] ppid=23243 vsize=13980732 memory=7739276948478388073 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23250/stat : 23250 (java) S 23243 23243 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 129510612 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062212147600 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23251] ppid=23243 vsize=13980732 memory=4640767346415259729 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23251/stat : 23251 (java) S 23243 23243 4674 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 129510613 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062093163248 140062614829698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23252] ppid=23243 vsize=13980732 memory=-7028383565733675155 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23252/stat : 23252 (java) S 23243 23243 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 129510614 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062092109472 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23253] ppid=23243 vsize=13980732 memory=-7028383565733676694 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23253/stat : 23253 (java) S 23243 23243 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 129510614 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062091056368 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23254] ppid=23243 vsize=13980732 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23254/stat : 23254 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510616 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062090004944 140062614837147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23255] ppid=23243 vsize=13980732 memory=7682744562830902035 CPUtime=1.23 cores=1,3,5,7
/proc/23245/task/23255/stat : 23255 (java) S 23243 23243 4674 0 -1 1077944384 4159 0 0 0 122 1 0 0 20 0 15 0 129510616 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062088952048 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23256] ppid=23243 vsize=13980732 memory=4137287014106042739 CPUtime=1.28 cores=1,3,5,7
/proc/23245/task/23256/stat : 23256 (java) S 23243 23243 4674 0 -1 1077944384 3955 0 0 0 127 1 0 0 20 0 15 0 129510616 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062087899504 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23257] ppid=23243 vsize=13980732 memory=-7595718147998060693 CPUtime=0.48 cores=1,3,5,7
/proc/23245/task/23257/stat : 23257 (java) S 23243 23243 4674 0 -1 1077944384 2985 0 0 0 48 0 0 0 20 0 15 0 129510616 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062086846448 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23258] ppid=23243 vsize=13980732 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23258/stat : 23258 (java) S 23243 23243 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 129510617 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062085794144 140062614828757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
[pid=23245/tid=23259] ppid=23243 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23245/task/23259/stat : 23259 (java) S 23243 23243 4674 0 -1 1077944384 486 0 0 0 0 0 0 0 20 0 15 0 129510621 14316269568 44056 18446744073709551615 4194304 4196468 140726516276240 140062084742192 140062614829698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140726516277681 140726516277857 140726516277857 140726516281295 0
Current children cumulated CPU time: 8.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 177604 KiB
Child status: 0
Real time (s): 5.86703
CPU time (s): 8.76895
CPU user time (s): 8.66116
CPU system time (s): 0.107792
CPU usage (%): 149.461
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 177604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.66116
system time used= 0.107792
maximum resident set size= 176552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2165
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 23243
# total CPU time (s): 8.76895
# total CPU user time (s): 8.66116
# total CPU system time (s): 0.107792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063278 second user time and 0.092842 second system time
The end