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 (4505 MiB free)
memory of node 1: 16384 MiB (2414 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404031-1568991057/watcher-4404031-1568991057 -o /var/tmp/evaluation-result-4404031-1568991057/solver-4404031-1568991057 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7232 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 512203913 HOME/instance-4404031-1568991057.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9018, runsolver pid=9015
[startup+0.100224 s]*
/proc/loadavg: 7.70 6.25 3.64 7/234 9034
/proc/meminfo: memFree=7069532/32770624 swapFree=67021824/67108860
[pid=9018] ppid=9015 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9018/stat : 9018 (xcsp3-exec) S 9015 9018 7201 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475378258 115843072 364 33554432000 4194304 5098028 140734798563568 140734798561672 139897333854844 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39919616 140734798566231 140734798566489 140734798566489 140734798569414 0
/proc/9018/statm: 28282 364 305 221 0 87 0
[pid=9020] ppid=9018 vsize=15144776 memory=29948 CPUtime=0.13 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9018 7201 0 -1 1077944320 5941 0 0 0 11 2 0 0 20 0 15 0 475378258 15508250624 7487 33554432000 4194304 4196468 140731105335488 140731105318032 139994799771383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
/proc/9020/statm: 3786194 7487 3179 1 0 3748377 0
[pid=9020/tid=9021] ppid=9018 vsize=15144776 memory=7899496949874922331 CPUtime=0.09 cores=0,2,4,6
/proc/9020/task/9021/stat : 9021 (java) R 9018 9018 7201 0 -1 4202560 3851 0 0 0 8 1 0 0 20 0 15 0 475378259 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994803999152 139994799783318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9022] ppid=9018 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994392291984 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9023] ppid=9018 vsize=15144776 memory=140562147669632 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994391239184 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9024] ppid=9018 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994390186384 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9025] ppid=9018 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9018 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475378259 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994389133584 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9026] ppid=9018 vsize=15144776 memory=140562147669632 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9018 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475378261 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994335538032 139994799782530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9027] ppid=9018 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9018 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475378261 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994334484000 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9028] ppid=9018 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9018 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475378261 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994333431152 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9029] ppid=9018 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475378264 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994332379472 139994799789979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9030] ppid=9018 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) S 9018 9018 7201 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 475378264 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994331326832 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9031] ppid=9018 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) S 9018 9018 7201 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 475378264 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994330274032 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9032] ppid=9018 vsize=15144776 memory=140562147669632 CPUtime=0.02 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) R 9018 9018 7201 0 -1 4202560 320 0 0 0 2 0 0 0 20 0 15 0 475378264 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994329221232 139994778725933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9033] ppid=9018 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475378264 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994328168672 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9034] ppid=9018 vsize=15144776 memory=140562147669632 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378264 15508250624 7487 33554432000 4194304 4196468 140731105335488 139994327116976 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31404 KiB
[startup+0.210916 s]*
/proc/loadavg: 7.70 6.25 3.64 9/234 9034
/proc/meminfo: memFree=7056760/32770624 swapFree=67021824/67108860
[pid=9018] ppid=9015 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9018/stat : 9018 (xcsp3-exec) S 9015 9018 7201 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475378258 115843072 364 33554432000 4194304 5098028 140734798563568 140734798561672 139897333854844 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39919616 140734798566231 140734798566489 140734798566489 140734798569414 0
/proc/9018/statm: 28282 364 305 221 0 87 0
[pid=9020] ppid=9018 vsize=15144776 memory=41052 CPUtime=0.34 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9018 7201 0 -1 1077944320 9461 0 0 0 30 4 0 0 20 0 15 0 475378258 15508250624 10263 33554432000 4194304 4196468 140731105335488 140731105318032 139994799771383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
/proc/9020/statm: 3786194 10263 3293 1 0 3748377 0
[pid=9020/tid=9021] ppid=9018 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9020/task/9021/stat : 9021 (java) R 9018 9018 7201 0 -1 4202560 6626 0 0 0 17 3 0 0 20 0 15 0 475378259 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994804009200 139994783851870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9022] ppid=9018 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994392291984 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9023] ppid=9018 vsize=15144776 memory=140562151224423 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994391239184 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9024] ppid=9018 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994390186384 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9025] ppid=9018 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9018 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475378259 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994389133584 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9026] ppid=9018 vsize=15144776 memory=140562147669632 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9018 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475378261 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994335538032 139994799782530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9027] ppid=9018 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9018 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475378261 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994334484000 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9028] ppid=9018 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9018 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475378261 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994333431152 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9029] ppid=9018 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475378264 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994332379472 139994799789979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9030] ppid=9018 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) R 9018 9018 7201 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 475378264 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994331326832 139994799782530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9031] ppid=9018 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) R 9018 9018 7201 0 -1 1077944384 427 0 0 0 3 0 0 0 20 0 15 0 475378264 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994330274032 139994799782530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9032] ppid=9018 vsize=15144776 memory=140562147669632 CPUtime=0.08 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) S 9018 9018 7201 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 15 0 475378264 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994329221232 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9033] ppid=9018 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475378264 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994328168672 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9034] ppid=9018 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378264 15508250624 10263 33554432000 4194304 4196468 140731105335488 139994327116976 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42508 KiB
[startup+0.310781 s]*
/proc/loadavg: 7.70 6.25 3.64 7/234 9034
/proc/meminfo: memFree=7049500/32770624 swapFree=67021824/67108860
[pid=9018] ppid=9015 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9018/stat : 9018 (xcsp3-exec) S 9015 9018 7201 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475378258 115843072 364 33554432000 4194304 5098028 140734798563568 140734798561672 139897333854844 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39919616 140734798566231 140734798566489 140734798566489 140734798569414 0
/proc/9018/statm: 28282 364 305 221 0 87 0
[pid=9020] ppid=9018 vsize=15149032 memory=49948 CPUtime=0.53 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9018 7201 0 -1 1077944320 10789 0 0 0 49 4 0 0 20 0 15 0 475378258 15512608768 12422 33554432000 4194304 4196468 140731105335488 140731105318032 139994799771383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
/proc/9020/statm: 3787258 12422 3352 1 0 3748377 0
[pid=9020/tid=9021] ppid=9018 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/9020/task/9021/stat : 9021 (java) R 9018 9018 7201 0 -1 4202560 7775 0 0 0 27 3 0 0 20 0 15 0 475378259 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994804002496 139994799793309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9022] ppid=9018 vsize=15149032 memory=13938 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994392291984 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9023] ppid=9018 vsize=15149032 memory=3566264 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994391239184 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9024] ppid=9018 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994390186384 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9025] ppid=9018 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9018 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475378259 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994389133584 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9026] ppid=9018 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9018 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475378261 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994335538032 139994799782530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9027] ppid=9018 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9018 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475378261 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994334484000 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9028] ppid=9018 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9018 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475378261 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994333431152 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9029] ppid=9018 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475378264 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994332379472 139994799789979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9030] ppid=9018 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) S 9018 9018 7201 0 -1 1077944384 363 0 0 0 3 0 0 0 20 0 15 0 475378264 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994331326832 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9031] ppid=9018 vsize=15149032 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) R 9018 9018 7201 0 -1 4202560 507 0 0 0 6 0 0 0 20 0 15 0 475378264 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994330264416 139994779603581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9032] ppid=9018 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) S 9018 9018 7201 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 15 0 475378264 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994329221232 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9033] ppid=9018 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475378264 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994328168672 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9034] ppid=9018 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378264 15512608768 12492 33554432000 4194304 4196468 140731105335488 139994327116976 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51404 KiB
[startup+0.701574 s]
/proc/loadavg: 7.70 6.25 3.64 9/234 9034
/proc/meminfo: memFree=7033744/32770624 swapFree=67021824/67108860
[pid=9018] ppid=9015 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9018/stat : 9018 (xcsp3-exec) S 9015 9018 7201 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475378258 115843072 364 33554432000 4194304 5098028 140734798563568 140734798561672 139897333854844 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39919616 140734798566231 140734798566489 140734798566489 140734798569414 0
/proc/9018/statm: 28282 364 305 221 0 87 0
[pid=9020] ppid=9018 vsize=15151156 memory=86068 CPUtime=1.69 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9018 7201 0 -1 1077944320 14270 0 0 0 163 6 0 0 20 0 15 0 475378258 15514783744 21517 33554432000 4194304 4196468 140731105335488 140731105318032 139994799771383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
/proc/9020/statm: 3787789 21517 3455 1 0 3748889 0
[pid=9020/tid=9021] ppid=9018 vsize=15151156 memory=12328 CPUtime=0.68 cores=0,2,4,6
/proc/9020/task/9021/stat : 9021 (java) R 9018 9018 7201 0 -1 4202560 8718 0 0 0 64 4 0 0 20 0 15 0 475378259 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994804007160 139994781420219 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9022] ppid=9018 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994392291984 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9023] ppid=9018 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994391239184 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9024] ppid=9018 vsize=15151156 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378259 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994390186384 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9025] ppid=9018 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9018 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475378259 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994389133584 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9026] ppid=9018 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9018 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475378261 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994335538032 139994799782530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9027] ppid=9018 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9018 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475378261 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994334484000 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9028] ppid=9018 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9018 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475378261 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994333431152 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9029] ppid=9018 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475378264 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994332379472 139994799789979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9030] ppid=9018 vsize=15151156 memory=836 CPUtime=0.29 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) R 9018 9018 7201 0 -1 4202560 1174 0 0 0 29 0 0 0 20 0 15 0 475378264 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994331311664 139994799783318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9031] ppid=9018 vsize=15151156 memory=1760 CPUtime=0.28 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) R 9018 9018 7201 0 -1 4202560 1142 0 0 0 28 0 0 0 20 0 15 0 475378264 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994330254592 139994779018183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9032] ppid=9018 vsize=15151156 memory=111632 CPUtime=0.4 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) R 9018 9018 7201 0 -1 4202560 1927 0 0 0 40 0 0 0 20 0 15 0 475378264 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994329215120 139994792106328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9033] ppid=9018 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475378264 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994328168672 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9034] ppid=9018 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9018 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475378264 15514783744 21517 33554432000 4194304 4196468 140731105335488 139994327116976 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 87524 KiB
[startup+1.50157 s]
/proc/loadavg: 7.70 6.25 3.64 8/234 9034
/proc/meminfo: memFree=6963892/32770624 swapFree=67021824/67108860
[pid=9018] ppid=9015 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9018/stat : 9018 (xcsp3-exec) S 9015 9018 7201 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475378258 115843072 364 33554432000 4194304 5098028 140734798563568 140734798561672 139897333854844 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39919616 140734798566231 140734798566489 140734798566489 140734798569414 0
/proc/9018/statm: 28282 364 305 221 0 87 0
[pid=9020] ppid=9018 vsize=15419460 memory=218092 CPUtime=4.34 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9018 7201 0 -1 1077944320 24020 0 0 0 421 13 0 0 20 0 19 0 475378258 15789527040 54523 33554432000 4194304 4196468 140731105335488 140731105318032 139994799771383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
/proc/9020/statm: 3854865 54523 3490 1 0 3815965 0
[pid=9020/tid=9021] ppid=9018 vsize=15419460 memory=6645459909858046000 CPUtime=1.37 cores=0,2,4,6
/proc/9020/task/9021/stat : 9021 (java) S 9018 9018 7201 0 -1 1077944384 11769 0 0 0 131 6 0 0 20 0 19 0 475378259 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994804012160 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9022] ppid=9018 vsize=15419460 memory=6944656592385698452 CPUtime=0.01 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9018 7201 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 19 0 475378259 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994392291984 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9023] ppid=9018 vsize=15419460 memory=-4866526891258710369 CPUtime=0.02 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9018 7201 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 19 0 475378259 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994391239184 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9024] ppid=9018 vsize=15419460 memory=-4504271847523324239 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9018 7201 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 475378259 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994390186384 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9025] ppid=9018 vsize=15419460 memory=6655300316396806240 CPUtime=0.02 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9018 7201 0 -1 1077944384 321 0 0 0 1 1 0 0 20 0 19 0 475378259 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994389133584 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9026] ppid=9018 vsize=15419460 memory=-8253362762721551490 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9018 7201 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 19 0 475378261 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994335538032 139994799782530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9027] ppid=9018 vsize=15419460 memory=7822038051842263963 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9018 7201 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475378261 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994334484000 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9028] ppid=9018 vsize=15419460 memory=7822038051842263957 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9018 7201 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 475378261 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994333431152 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9029] ppid=9018 vsize=15419460 memory=4132769004644038186 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475378264 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994332379472 139994799789979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9030] ppid=9018 vsize=15419460 memory=3047711591873946765 CPUtime=1.05 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) R 9018 9018 7201 0 -1 4202560 3367 0 0 0 105 0 0 0 20 0 19 0 475378264 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994331313616 139994784693136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9031] ppid=9018 vsize=15419460 memory=-6517945067560682637 CPUtime=1.04 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) R 9018 9018 7201 0 -1 4202560 3523 0 0 0 103 1 0 0 20 0 19 0 475378264 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994330263216 139994783268171 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9032] ppid=9018 vsize=15419460 memory=7377246124687064083 CPUtime=0.62 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) R 9018 9018 7201 0 -1 1077944384 3210 0 0 0 61 1 0 0 20 0 19 0 475378264 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994329221232 139994799782530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9033] ppid=9018 vsize=15419460 memory=8191324994196845656 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475378264 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994328168672 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9034] ppid=9018 vsize=15419460 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9018 7201 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475378264 15789527040 54523 33554432000 4194304 4196468 140731105335488 139994327116976 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
Current children cumulated CPU time: 4.34 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 219548 KiB
[startup+2.09111 s]
# the end of solver process 9018 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.95848 s, system=0.198035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60291 s]
/proc/loadavg: 7.70 6.25 3.64 8/234 9034
/proc/meminfo: memFree=6963892/32770624 swapFree=67021824/67108860
[pid=9018] ppid=9015 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9018/stat : 9018 (xcsp3-exec) S 9015 9018 7201 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475378258 115843072 364 33554432000 4194304 5098028 140734798563568 140734798561672 139897333854844 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39919616 140734798566231 140734798566489 140734798566489 140734798569414 0
/proc/9018/statm: 28282 364 305 221 0 87 0
[pid=9020] ppid=9018 vsize=15420488 memory=219136 CPUtime=4.73 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9018 7201 0 -1 1077944320 24531 0 0 0 459 14 0 0 20 0 20 0 475378258 15790579712 54784 33554432000 4194304 4196468 140731105335488 140731105318032 139994799771383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
/proc/9020/statm: 3855122 54784 3500 1 0 3816222 0
[pid=9020/tid=9021] ppid=9018 vsize=15420488 memory=3880 CPUtime=1.38 cores=0,2,4,6
/proc/9020/task/9021/stat : 9021 (java) S 9018 9018 7201 0 -1 1077944384 11778 0 0 0 132 6 0 0 20 0 20 0 475378259 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994804012160 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9022] ppid=9018 vsize=15420488 memory=7712 CPUtime=0.01 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9018 7201 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 20 0 475378259 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994392291984 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9023] ppid=9018 vsize=15420488 memory=1760 CPUtime=0.02 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9018 7201 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 20 0 475378259 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994391239184 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9024] ppid=9018 vsize=15420488 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9018 7201 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 475378259 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994390186384 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9025] ppid=9018 vsize=15420488 memory=6316 CPUtime=0.02 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9018 7201 0 -1 1077944384 321 0 0 0 1 1 0 0 20 0 20 0 475378259 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994389133584 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9026] ppid=9018 vsize=15420488 memory=828 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9018 7201 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 20 0 475378261 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994335538032 139994799782530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9027] ppid=9018 vsize=15420488 memory=736 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9018 7201 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 475378261 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994334484000 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9028] ppid=9018 vsize=15420488 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9018 7201 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 475378261 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994333431152 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9029] ppid=9018 vsize=15420488 memory=1076 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475378264 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994332379472 139994799789979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9030] ppid=9018 vsize=15420488 memory=3124 CPUtime=1.13 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) R 9018 9018 7201 0 -1 4202560 3445 0 0 0 113 0 0 0 20 0 20 0 475378264 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994331308032 139994783269970 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9031] ppid=9018 vsize=15420488 memory=1244 CPUtime=1.14 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) R 9018 9018 7201 0 -1 4202560 3726 0 0 0 113 1 0 0 20 0 20 0 475378264 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994330259912 139994779027955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9032] ppid=9018 vsize=15420488 memory=281123997800304 CPUtime=0.64 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) S 9018 9018 7201 0 -1 1077944384 3279 0 0 0 63 1 0 0 20 0 20 0 475378264 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994329221232 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9033] ppid=9018 vsize=15420488 memory=164 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475378264 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994328168672 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9034] ppid=9018 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9018 7201 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 475378264 15790579712 54784 33554432000 4194304 4196468 140731105335488 139994327116976 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 220592 KiB
[startup+2.00135 s]*
/proc/loadavg: 7.70 6.25 3.64 10/237 9193
/proc/meminfo: memFree=6823404/32770624 swapFree=67021824/67108860
[pid=9018] ppid=9015 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9018/stat : 9018 (xcsp3-exec) S 9015 9018 7201 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475378258 115843072 364 33554432000 4194304 5098028 140734798563568 140734798561672 139897333854844 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39919616 140734798566231 140734798566489 140734798566489 140734798569414 0
/proc/9018/statm: 28282 364 305 221 0 87 0
[pid=9020] ppid=9018 vsize=15487052 memory=285376 CPUtime=6.02 cores=0,2,4,6
/proc/9020/stat : 9020 (java) S 9018 9018 7201 0 -1 1077944320 27967 0 0 0 583 19 0 0 20 0 19 0 475378258 15858741248 71344 33554432000 4194304 4196468 140731105335488 140731105318032 139994799771383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
/proc/9020/statm: 3871763 71344 3508 1 0 3832863 0
[pid=9020/tid=9021] ppid=9018 vsize=15487052 memory=-8529664576700334017 CPUtime=1.39 cores=0,2,4,6
/proc/9020/task/9021/stat : 9021 (java) S 9018 9018 7201 0 -1 1077944384 11778 0 0 0 133 6 0 0 20 0 19 0 475378259 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994804012160 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9022] ppid=9018 vsize=15487052 memory=3472328295574039403 CPUtime=0.03 cores=0,2,4,6
/proc/9020/task/9022/stat : 9022 (java) S 9018 9018 7201 0 -1 1077944384 92 0 0 0 2 1 0 0 20 0 19 0 475378259 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994392291984 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9023] ppid=9018 vsize=15487052 memory=2319529761314018993 CPUtime=0.03 cores=0,2,4,6
/proc/9020/task/9023/stat : 9023 (java) S 9018 9018 7201 0 -1 1077944384 136 0 0 0 2 1 0 0 20 0 19 0 475378259 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994391239184 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9024] ppid=9018 vsize=15487052 memory=8025788822752027748 CPUtime=0.03 cores=0,2,4,6
/proc/9020/task/9024/stat : 9024 (java) S 9018 9018 7201 0 -1 1077944384 106 0 0 0 2 1 0 0 20 0 19 0 475378259 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994390186384 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9025] ppid=9018 vsize=15487052 memory=3473458624346731575 CPUtime=0.04 cores=0,2,4,6
/proc/9020/task/9025/stat : 9025 (java) S 9018 9018 7201 0 -1 1077944384 400 0 0 0 3 1 0 0 20 0 19 0 475378259 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994389133584 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9026] ppid=9018 vsize=15487052 memory=3467965190061008813 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9026/stat : 9026 (java) S 9018 9018 7201 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 19 0 475378261 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994335538032 139994799782530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9027] ppid=9018 vsize=15487052 memory=3976735869837390899 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9027/stat : 9027 (java) S 9018 9018 7201 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475378261 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994334484064 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9028] ppid=9018 vsize=15487052 memory=4639939496134862184 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9028/stat : 9028 (java) S 9018 9018 7201 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 475378261 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994333431168 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9029] ppid=9018 vsize=15487052 memory=6011017344915891814 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9029/stat : 9029 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475378264 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994332379472 139994799789979 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9030] ppid=9018 vsize=15487052 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/9020/task/9030/stat : 9030 (java) R 9018 9018 7201 0 -1 1077944384 3571 0 0 0 140 0 0 0 20 0 19 0 475378264 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994331326832 139994799782530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9031] ppid=9018 vsize=15487052 memory=3976735869837390899 CPUtime=1.44 cores=0,2,4,6
/proc/9020/task/9031/stat : 9031 (java) S 9018 9018 7201 0 -1 1077944384 3820 0 0 0 143 1 0 0 20 0 19 0 475378264 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994330274032 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9032] ppid=9018 vsize=15487052 memory=14064 CPUtime=0.74 cores=0,2,4,6
/proc/9020/task/9032/stat : 9032 (java) R 9018 9018 7201 0 -1 4202560 3478 0 0 0 73 1 0 0 20 0 19 0 475378264 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994329221232 139994778712997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9033] ppid=9018 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9033/stat : 9033 (java) S 9018 9018 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475378264 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994328168672 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9034] ppid=9018 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9034/stat : 9034 (java) S 9018 9018 7201 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475378264 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994327116976 139994799782530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9195] ppid=9018 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9195/stat : 9195 (java) S 9018 9018 7201 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475378459 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994247659520 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9196] ppid=9018 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9196/stat : 9196 (java) S 9018 9018 7201 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475378459 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994245555472 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9197] ppid=9018 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9197/stat : 9197 (java) R 9018 9018 7201 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 475378459 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994243452104 139994415816029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
[pid=9020/tid=9198] ppid=9018 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9020/task/9198/stat : 9198 (java) S 9018 9018 7201 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475378459 15858741248 71344 33554432000 4194304 4196468 140731105335488 139994246607888 139994799781589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37330944 140731105338331 140731105338506 140731105338506 140731105341391 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 286832 KiB
Child status: 0
Real time (s): 2.09115
CPU time (s): 6.15652
CPU user time (s): 5.95848
CPU system time (s): 0.198035
CPU usage (%): 294.408
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 286832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.95848
system time used= 0.198035
maximum resident set size= 296504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3189
involuntary context switches= 83
# summary of solver processes directly reported to runsolver:
# pid: 9018
# total CPU time (s): 6.15652
# total CPU user time (s): 5.95848
# total CPU system time (s): 0.198035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043627 second user time and 0.06435 second system time
The end