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 (5027 MiB free)
memory of node 1: 16384 MiB (5560 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404004-1568989987/watcher-4404004-1568989987 -o /var/tmp/evaluation-result-4404004-1568989987/solver-4404004-1568989987 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5359 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2063454009 HOME/instance-4404004-1568989987.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
Current StackSize limit: 8192 KiB
solver pid=5387, runsolver pid=5381
[startup+0.100059 s]*
/proc/loadavg: 0.93 1.17 1.41 5/230 5419
/proc/meminfo: memFree=10806976/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15144776 memory=30728 CPUtime=0.12 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 5591 0 0 0 11 1 0 0 20 0 15 0 474940558 15508250624 7682 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3786194 7682 3142 1 0 3748377 0
[pid=5390/tid=5392] ppid=5387 vsize=15144776 memory=7100839852958450802 CPUtime=0.09 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) R 5387 5387 5327 0 -1 4202560 3541 0 0 0 8 1 0 0 20 0 15 0 474940558 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558715136656 140558710923866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558245713184 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558244660848 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140558242556016 140558710913666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140557511812288 140558710923866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0.02 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) R 5387 5387 5327 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140557510760816 140558710923866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7682 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 32180 KiB
[startup+0.213618 s]*
/proc/loadavg: 0.93 1.17 1.41 8/230 5419
/proc/meminfo: memFree=10780872/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15144776 memory=42600 CPUtime=0.35 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 9417 0 0 0 32 3 0 0 20 0 15 0 474940558 15508250624 10650 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3786194 10650 3268 1 0 3748377 0
[pid=5390/tid=5392] ppid=5387 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) S 5387 5387 5327 0 -1 1077944384 6535 0 0 0 18 2 0 0 20 0 15 0 474940558 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558715137504 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15144776 memory=140700859213970 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558245713184 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558244660848 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) S 5387 5387 5327 0 -1 1077944384 592 0 0 0 2 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140558242556016 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) S 5387 5387 5327 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140557511813104 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15144776 memory=140700855871104 CPUtime=0.08 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 10650 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44052 KiB
[startup+0.312559 s]*
/proc/loadavg: 0.93 1.17 1.41 7/230 5419
/proc/meminfo: memFree=10768260/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15149032 memory=51308 CPUtime=0.52 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 10624 0 1 0 48 4 0 0 20 0 15 0 474940558 15512608768 12827 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3787258 12827 3324 1 0 3748377 0
[pid=5390/tid=5392] ppid=5387 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) R 5387 5387 5327 0 -1 4202560 7652 0 1 0 26 3 0 0 20 0 15 0 474940558 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558715133632 140558694983006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474940561 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558245713184 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558244660848 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15149032 memory=3047711566422646390 CPUtime=0.04 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) S 5387 5387 5327 0 -1 1077944384 602 0 0 0 4 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140558242556016 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) S 5387 5387 5327 0 -1 1077944384 194 0 0 0 4 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140557511813104 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15149032 memory=8325818968683490714 CPUtime=0.13 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 881 0 0 0 13 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15512608768 12827 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52760 KiB
[startup+0.701214 s]
/proc/loadavg: 0.93 1.17 1.41 10/230 5419
/proc/meminfo: memFree=10730216/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15151156 memory=114172 CPUtime=1.68 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 14564 0 1 0 162 6 0 0 20 0 15 0 474940558 15514783744 28543 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3787789 28543 3444 1 0 3748889 0
[pid=5390/tid=5392] ppid=5387 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) R 5387 5387 5327 0 -1 4202560 8263 0 1 0 63 4 0 0 20 0 15 0 474940558 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558715135472 140558710924445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) R 5387 5387 5327 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 474940561 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558246767216 140558703619671 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15151156 memory=43040 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558245713184 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15151156 memory=992 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558244660848 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15151156 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15151156 memory=1432 CPUtime=0.34 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 4202560 1856 0 0 0 34 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140558242542040 140558692446737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15151156 memory=11624 CPUtime=0.34 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 1437 0 0 0 34 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140557511799128 140558692447311 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15151156 memory=740 CPUtime=0.29 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 1701 0 0 0 29 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140557510755136 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15514783744 28543 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 115624 KiB
[startup+1.50553 s]
/proc/loadavg: 0.93 1.17 1.41 9/234 5427
/proc/meminfo: memFree=10599700/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 4202560 7214 0 0 0 222 1 0 0 20 0 19 0 474940564 15789527040 100038 33554432000 4194304 4196468 140734699839328 140558242541408 140558690558928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15419460 memory=7014751519700636518 CPUtime=2.29 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 5935 0 0 0 228 1 0 0 20 0 19 0 474940564 15789527040 100038 33554432000 4194304 4196468 140734699839328 140557511794464 140558703999355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15419460 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 3880 0 0 0 71 1 0 0 20 0 19 0 474940564 15789527040 100038 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100038 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15419460 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100038 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 401604 KiB
[startup+4.24694 s]
# the end of solver process 5387 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.9881 s, system=0.225619 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.21117 s]
/proc/loadavg: 0.93 1.17 1.41 11/238 5435
/proc/meminfo: memFree=10260080/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15419460 memory=400252 CPUtime=9.25 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 31813 0 1 0 904 21 0 0 20 0 19 0 474940558 15789527040 100063 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3854865 100063 3528 1 0 3815965 0
[pid=5390/tid=5392] ppid=5387 vsize=15419460 memory=6656426216303648864 CPUtime=2.45 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) S 5387 5387 5327 0 -1 1077944384 11104 0 1 0 239 6 0 0 20 0 19 0 474940558 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558715143296 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15419460 memory=8112282956445269571 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 697 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15419460 memory=1412 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15419460 memory=1408 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 180 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15419460 memory=2432 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 148 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15419460 memory=2424 CPUtime=0.01 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 19 0 474940561 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558245713248 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558244660864 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15419460 memory=308200 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15419460 memory=161576 CPUtime=2.27 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 4202560 7226 0 0 0 226 1 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140558242555120 140558689316489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15419460 memory=1732 CPUtime=2.39 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 5957 0 0 0 238 1 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140557511805224 140558694385836 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15419460 memory=1452 CPUtime=0.74 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 3893 0 0 0 73 1 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15419460 memory=130076 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15419460 memory=780 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100063 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 9.25 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 401704 KiB
[startup+4.0007 s]*
/proc/loadavg: 0.93 1.17 1.41 13/238 5447
/proc/meminfo: memFree=10248248/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15419460 memory=402504 CPUtime=12.36 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 32562 0 1 0 1215 21 0 0 20 0 19 0 474940558 15789527040 100626 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3854865 100626 3535 1 0 3815965 0
[pid=5390/tid=5392] ppid=5387 vsize=15419460 memory=604974435181658243 CPUtime=2.45 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) S 5387 5387 5327 0 -1 1077944384 11104 0 1 0 239 6 0 0 20 0 19 0 474940558 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558715143296 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15419460 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 697 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15419460 memory=140700855880050 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15419460 memory=6944656575208382560 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 180 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15419460 memory=9126232286719478932 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 148 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 19 0 474940561 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15419460 memory=4210985976767669586 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558245713248 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15419460 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558244660864 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15419460 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15419460 memory=0 CPUtime=2.98 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 4202560 7596 0 0 0 297 1 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140558242542040 140558695826885 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15419460 memory=11205724500836 CPUtime=3.07 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 6075 0 0 0 306 1 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557511806128 140558695658819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15419460 memory=140700855871104 CPUtime=0.82 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) S 5387 5387 5327 0 -1 1077944384 4004 0 0 0 80 2 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15419460 memory=140700713110223 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15419460 memory=281401426009632 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5444] ppid=5387 vsize=15419460 memory=281401426014048 CPUtime=0.43 cores=1,3,5,7
/proc/5390/task/5444/stat : 5444 (java) R 5387 5387 5327 0 -1 4202560 19 0 0 0 43 0 0 0 20 0 19 0 474940893 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557188574680 140558334102800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5445] ppid=5387 vsize=15419460 memory=281401426018464 CPUtime=0.39 cores=1,3,5,7
/proc/5390/task/5445/stat : 5445 (java) R 5387 5387 5327 0 -1 4202560 18 0 0 0 39 0 0 0 20 0 19 0 474940893 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557503965704 140558333091516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5446] ppid=5387 vsize=15419460 memory=4638778398332698720 CPUtime=0.34 cores=1,3,5,7
/proc/5390/task/5446/stat : 5446 (java) R 5387 5387 5327 0 -1 4202560 17 0 0 0 34 0 0 0 20 0 19 0 474940893 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557189628600 140558332709710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5447] ppid=5387 vsize=15419460 memory=6935649255759568960 CPUtime=0.29 cores=1,3,5,7
/proc/5390/task/5447/stat : 5447 (java) R 5387 5387 5327 0 -1 4202560 26 0 0 0 29 0 0 0 20 0 19 0 474940893 15789527040 100626 33554432000 4194304 4196468 140734699839328 140557190679272 140558332378623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 12.36 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 403956 KiB
[startup+4.2044 s]
/proc/loadavg: 0.93 1.17 1.41 13/238 5447
/proc/meminfo: memFree=10248248/32770624 swapFree=66972236/67108860
[pid=5387] ppid=5381 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5387/stat : 5387 (xcsp3-exec) S 5381 5387 5327 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 363 33554432000 4194304 5098028 140732168969536 140732168967640 140317320962684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35803136 140732168971094 140732168971353 140732168971353 140732168974278 0
/proc/5387/statm: 28282 363 305 221 0 87 0
[pid=5390] ppid=5387 vsize=15419460 memory=402960 CPUtime=13.1 cores=1,3,5,7
/proc/5390/stat : 5390 (java) S 5387 5387 5327 0 -1 1077944320 32635 0 1 0 1289 21 0 0 20 0 19 0 474940558 15789527040 100740 33554432000 4194304 4196468 140734699839328 140734699821872 140558710902519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
/proc/5390/statm: 3854865 100740 3535 1 0 3815965 0
[pid=5390/tid=5392] ppid=5387 vsize=15419460 memory=7013343114107841133 CPUtime=2.45 cores=1,3,5,7
/proc/5390/task/5392/stat : 5392 (java) S 5387 5387 5327 0 -1 1077944384 11104 0 1 0 239 6 0 0 20 0 19 0 474940558 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558715143296 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5394] ppid=5387 vsize=15419460 memory=7019257425709197167 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5394/stat : 5394 (java) S 5387 5387 5327 0 -1 1077944384 697 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558647138704 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5397] ppid=5387 vsize=15419460 memory=8170745150040658258 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5397/stat : 5397 (java) S 5387 5387 5327 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558646085904 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5399] ppid=5387 vsize=15419460 memory=140700712992145 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5399/stat : 5399 (java) S 5387 5387 5327 0 -1 1077944384 180 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558645033616 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5400] ppid=5387 vsize=15419460 memory=6655300316396806240 CPUtime=0.06 cores=1,3,5,7
/proc/5390/task/5400/stat : 5400 (java) S 5387 5387 5327 0 -1 1077944384 148 0 0 0 4 2 0 0 20 0 19 0 474940559 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558299879952 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5402] ppid=5387 vsize=15419460 memory=6944656575208382560 CPUtime=0.01 cores=1,3,5,7
/proc/5390/task/5402/stat : 5402 (java) S 5387 5387 5327 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 19 0 474940561 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558246767216 140558710913666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5404] ppid=5387 vsize=15419460 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5404/stat : 5404 (java) S 5387 5387 5327 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558245713248 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5406] ppid=5387 vsize=15419460 memory=8328137078682933384 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5406/stat : 5406 (java) S 5387 5387 5327 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558244660864 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5408] ppid=5387 vsize=15419460 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5408/stat : 5408 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558243609168 140558710921115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5409] ppid=5387 vsize=15419460 memory=6935649255877011281 CPUtime=3.14 cores=1,3,5,7
/proc/5390/task/5409/stat : 5409 (java) R 5387 5387 5327 0 -1 4202560 7629 0 0 0 313 1 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140558242542080 140558703136933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5410] ppid=5387 vsize=15419460 memory=4638778398332698720 CPUtime=3.2 cores=1,3,5,7
/proc/5390/task/5410/stat : 5410 (java) R 5387 5387 5327 0 -1 4202560 6092 0 0 0 319 1 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557511799872 140558695831079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5411] ppid=5387 vsize=15419460 memory=7444843076533644388 CPUtime=0.83 cores=1,3,5,7
/proc/5390/task/5411/stat : 5411 (java) R 5387 5387 5327 0 -1 1077944384 4025 0 0 0 81 2 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557510760816 140558710913666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5416] ppid=5387 vsize=15419460 memory=5787213827046467687 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5416/stat : 5416 (java) S 5387 5387 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557509708256 140558710912725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5418] ppid=5387 vsize=15419460 memory=4640204490969339242 CPUtime=0 cores=1,3,5,7
/proc/5390/task/5418/stat : 5418 (java) S 5387 5387 5327 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557508656048 140558710913666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5444] ppid=5387 vsize=15419460 memory=5938367083642962016 CPUtime=0.52 cores=1,3,5,7
/proc/5390/task/5444/stat : 5444 (java) R 5387 5387 5327 0 -1 1077944384 19 0 0 0 52 0 0 0 20 0 19 0 474940893 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557188580560 140558710912725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5445] ppid=5387 vsize=15419460 memory=164720343 CPUtime=0.49 cores=1,3,5,7
/proc/5390/task/5445/stat : 5445 (java) R 5387 5387 5327 0 -1 1077944384 18 0 0 0 49 0 0 0 20 0 19 0 474940893 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557503968848 140558710912725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5446] ppid=5387 vsize=15419460 memory=140700713033683 CPUtime=0.47 cores=1,3,5,7
/proc/5390/task/5446/stat : 5446 (java) R 5387 5387 5327 0 -1 1077944384 18 0 0 0 47 0 0 0 20 0 19 0 474940893 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557189633488 140558710912725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
[pid=5390/tid=5447] ppid=5387 vsize=15419460 memory=281401426071616 CPUtime=0.4 cores=1,3,5,7
/proc/5390/task/5447/stat : 5447 (java) R 5387 5387 5327 0 -1 1077944384 26 0 0 0 40 0 0 0 20 0 19 0 474940893 15789527040 100740 33554432000 4194304 4196468 140734699839328 140557190685520 140558710912725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27623424 140734699840475 140734699840650 140734699840650 140734699843535 0
Current children cumulated CPU time: 13.1 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 404412 KiB
Child status: 0
Real time (s): 4.247
CPU time (s): 13.2137
CPU user time (s): 12.9881
CPU system time (s): 0.225619
CPU usage (%): 311.13
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 404412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.9881
system time used= 0.225619
maximum resident set size= 403992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33379
page faults= 1
swaps= 0
block input operations= 368
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2686
involuntary context switches= 344
# summary of solver processes directly reported to runsolver:
# pid: 5387
# total CPU time (s): 13.2137
# total CPU user time (s): 12.9881
# total CPU system time (s): 0.225619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048333 second user time and 0.090746 second system time
The end