2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	310	2520.49	633.693
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 (14880 MiB free)
  memory of node 1: 16384 MiB (15629 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393346-1568344218/watcher-4393346-1568344218 -o /tmp/evaluation-result-4393346-1568344218/solver-4393346-1568344218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568343521-17190 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 125395549 HOME/instance-4393346-1568344218.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=18017, runsolver pid=18014

[startup+0.100058 s]*
/proc/loadavg: 8.43 7.68 4.78 7/233 18033
/proc/meminfo: memFree=31224836/32770624 swapFree=66999976/67108860
[pid=18017] ppid=18014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18017/stat : 18017 (xcsp3-exec) S 18014 18017 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410335790 115843072 363 33554432000 4194304 5098028 140733269416080 140733269414184 140081025684092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37531648 140733269422971 140733269423213 140733269423213 140733269426122 0
/proc/18017/statm: 28282 363 304 221 0 87 0
[pid=18019] ppid=18017 vsize=15144768 memory=30000 CPUtime=0.13 cores=1,3,5,7
/proc/18019/stat : 18019 (java) S 18017 18017 15420 0 -1 1077944320 5948 0 0 0 12 1 0 0 20 0 15 0 410335790 15508242432 7500 33554432000 4194304 4196468 140731302580624 140731302563168 139807761133303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
/proc/18019/statm: 3786192 7500 3151 1 0 3748377 0
[pid=18019/tid=18020] ppid=18017 vsize=15144768 memory=7748307311448697419 CPUtime=0.09 cores=1,3,5,7
/proc/18019/task/18020/stat : 18020 (java) R 18017 18017 15420 0 -1 4202560 3816 0 0 0 9 0 0 0 20 0 15 0 410335790 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807765354576 139807761145238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18021] ppid=18017 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18021/stat : 18021 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807697369872 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18022] ppid=18017 vsize=15144768 memory=139752782685824 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18022/stat : 18022 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807696317328 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18023] ppid=18017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18023/stat : 18023 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807351692304 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18024] ppid=18017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18024/stat : 18024 (java) S 18017 18017 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410335791 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807350639760 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18025] ppid=18017 vsize=15144768 memory=139752782685824 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18025/stat : 18025 (java) S 18017 18017 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410335792 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807296907248 139807761144450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18026] ppid=18017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18026/stat : 18026 (java) S 18017 18017 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410335793 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807295853472 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18027] ppid=18017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18027/stat : 18027 (java) S 18017 18017 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410335793 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807294800880 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18028] ppid=18017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18028/stat : 18028 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410335796 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807293749456 139807761151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18029] ppid=18017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18029/stat : 18029 (java) R 18017 18017 15420 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 410335796 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807225276912 139807761144450 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18030] ppid=18017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18030/stat : 18030 (java) R 18017 18017 15420 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 410335796 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807224224368 139807761144450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18031] ppid=18017 vsize=15144768 memory=139752782685824 CPUtime=0.02 cores=1,3,5,7
/proc/18019/task/18031/stat : 18031 (java) R 18017 18017 15420 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 15 0 410335796 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807223171824 139807761144450 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18032] ppid=18017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18032/stat : 18032 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410335796 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807222119520 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18033] ppid=18017 vsize=15144768 memory=139752782685824 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18033/stat : 18033 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335796 15508242432 7500 33554432000 4194304 4196468 140731302580624 139807221066032 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31452 KiB

[startup+0.479716 s]*
/proc/loadavg: 8.43 7.68 4.78 11/233 18033
/proc/meminfo: memFree=31183612/32770624 swapFree=66999976/67108860
[pid=18017] ppid=18014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18017/stat : 18017 (xcsp3-exec) S 18014 18017 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410335790 115843072 363 33554432000 4194304 5098028 140733269416080 140733269414184 140081025684092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37531648 140733269422971 140733269423213 140733269423213 140733269426122 0
/proc/18017/statm: 28282 363 304 221 0 87 0
[pid=18019] ppid=18017 vsize=15151148 memory=69588 CPUtime=1.1 cores=1,3,5,7
/proc/18019/stat : 18019 (java) S 18017 18017 15420 0 -1 1077944320 13169 0 0 0 105 5 0 0 20 0 15 0 410335790 15514775552 17397 33554432000 4194304 4196468 140731302580624 140731302563168 139807761133303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
/proc/18019/statm: 3787787 17397 3425 1 0 3748889 0
[pid=18019/tid=18020] ppid=18017 vsize=15151148 memory=7883960649037381690 CPUtime=0.46 cores=1,3,5,7
/proc/18019/task/18020/stat : 18020 (java) R 18017 18017 15420 0 -1 4202560 8192 0 0 0 44 2 0 0 20 0 15 0 410335790 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807765369712 139807376404231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18021] ppid=18017 vsize=15151148 memory=13675 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18021/stat : 18021 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807697369872 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18022] ppid=18017 vsize=15151148 memory=139752782702483 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18022/stat : 18022 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807696317328 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18023] ppid=18017 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18023/stat : 18023 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807351692304 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18024] ppid=18017 vsize=15151148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18024/stat : 18024 (java) S 18017 18017 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807350639760 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18025] ppid=18017 vsize=15151148 memory=139752782685824 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18025/stat : 18025 (java) S 18017 18017 15420 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410335792 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807296907248 139807761144450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18026] ppid=18017 vsize=15151148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18026/stat : 18026 (java) S 18017 18017 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410335793 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807295853472 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18027] ppid=18017 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18027/stat : 18027 (java) S 18017 18017 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410335793 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807294800880 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18028] ppid=18017 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18028/stat : 18028 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410335796 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807293749456 139807761151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18029] ppid=18017 vsize=15151148 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/18019/task/18029/stat : 18029 (java) R 18017 18017 15420 0 -1 4202560 1442 0 0 0 18 0 0 0 20 0 15 0 410335796 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807225269936 139807742309226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18030] ppid=18017 vsize=15151148 memory=-1 CPUtime=0.16 cores=1,3,5,7
/proc/18019/task/18030/stat : 18030 (java) R 18017 18017 15420 0 -1 4202560 679 0 0 0 16 0 0 0 20 0 15 0 410335796 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807224210392 139807740377182 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18031] ppid=18017 vsize=15151148 memory=139752782685824 CPUtime=0.24 cores=1,3,5,7
/proc/18019/task/18031/stat : 18031 (java) R 18017 18017 15420 0 -1 4202560 1548 0 0 0 24 0 0 0 20 0 15 0 410335796 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807223171008 139807740494148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18032] ppid=18017 vsize=15151148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18032/stat : 18032 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410335796 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807222119520 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18033] ppid=18017 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18033/stat : 18033 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335796 15514775552 17397 33554432000 4194304 4196468 140731302580624 139807221066032 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 71040 KiB

[startup+0.520716 s]*
/proc/loadavg: 8.43 7.68 4.78 8/233 18033
/proc/meminfo: memFree=31176448/32770624 swapFree=66999976/67108860
[pid=18017] ppid=18014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18017/stat : 18017 (xcsp3-exec) S 18014 18017 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410335790 115843072 363 33554432000 4194304 5098028 140733269416080 140733269414184 140081025684092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37531648 140733269422971 140733269423213 140733269423213 140733269426122 0
/proc/18017/statm: 28282 363 304 221 0 87 0
[pid=18019] ppid=18017 vsize=15151148 memory=80216 CPUtime=1.23 cores=1,3,5,7
/proc/18019/stat : 18019 (java) S 18017 18017 15420 0 -1 1077944320 13263 0 0 0 118 5 0 0 20 0 15 0 410335790 15514775552 20054 33554432000 4194304 4196468 140731302580624 140731302563168 139807761133303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
/proc/18019/statm: 3787787 20054 3428 1 0 3748889 0
[pid=18019/tid=18020] ppid=18017 vsize=15151148 memory=1398722017469774279 CPUtime=0.51 cores=1,3,5,7
/proc/18019/task/18020/stat : 18020 (java) R 18017 18017 15420 0 -1 4202560 8199 0 0 0 48 3 0 0 20 0 15 0 410335790 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807765367832 139807379325645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18021] ppid=18017 vsize=15151148 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18021/stat : 18021 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807697369872 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18022] ppid=18017 vsize=15151148 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18022/stat : 18022 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807696317328 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18023] ppid=18017 vsize=15151148 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18023/stat : 18023 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807351692304 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18024] ppid=18017 vsize=15151148 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18024/stat : 18024 (java) S 18017 18017 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807350639760 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18025] ppid=18017 vsize=15151148 memory=-7595490506177102494 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18025/stat : 18025 (java) S 18017 18017 15420 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410335792 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807296907248 139807761144450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18026] ppid=18017 vsize=15151148 memory=-7533229591079788448 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18026/stat : 18026 (java) S 18017 18017 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410335793 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807295853472 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18027] ppid=18017 vsize=15151148 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18027/stat : 18027 (java) S 18017 18017 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410335793 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807294800880 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18028] ppid=18017 vsize=15151148 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18028/stat : 18028 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410335796 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807293749456 139807761151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18029] ppid=18017 vsize=15151148 memory=7827413994055111515 CPUtime=0.22 cores=1,3,5,7
/proc/18019/task/18029/stat : 18029 (java) S 18017 18017 15420 0 -1 1077944384 1461 0 0 0 22 0 0 0 20 0 15 0 410335796 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807225266384 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18030] ppid=18017 vsize=15151148 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/18019/task/18030/stat : 18030 (java) R 18017 18017 15420 0 -1 1077944384 706 0 0 0 20 0 0 0 20 0 15 0 410335796 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807224213040 139807761143509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18031] ppid=18017 vsize=15151148 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/18019/task/18031/stat : 18031 (java) R 18017 18017 15420 0 -1 4202560 1590 0 0 0 26 1 0 0 20 0 15 0 410335796 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807223171920 139807753370430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18032] ppid=18017 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18032/stat : 18032 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410335796 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807222119520 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18033] ppid=18017 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18033/stat : 18033 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335796 15514775552 20054 33554432000 4194304 4196468 140731302580624 139807221066032 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 81668 KiB

[startup+0.715716 s]*
/proc/loadavg: 8.43 7.68 4.78 10/233 18033
/proc/meminfo: memFree=31137160/32770624 swapFree=66999976/67108860
[pid=18017] ppid=18014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18017/stat : 18017 (xcsp3-exec) S 18014 18017 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410335790 115843072 363 33554432000 4194304 5098028 140733269416080 140733269414184 140081025684092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37531648 140733269422971 140733269423213 140733269423213 140733269426122 0
/proc/18017/statm: 28282 363 304 221 0 87 0
[pid=18019] ppid=18017 vsize=15151148 memory=118752 CPUtime=1.86 cores=1,3,5,7
/proc/18019/stat : 18019 (java) S 18017 18017 15420 0 -1 1077944320 14695 0 0 0 180 6 0 0 20 0 15 0 410335790 15514775552 29688 33554432000 4194304 4196468 140731302580624 140731302563168 139807761133303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
/proc/18019/statm: 3787787 29688 3448 1 0 3748889 0
[pid=18019/tid=18020] ppid=18017 vsize=15151148 memory=1398722017469774279 CPUtime=0.7 cores=1,3,5,7
/proc/18019/task/18020/stat : 18020 (java) R 18017 18017 15420 0 -1 4202560 8949 0 0 0 66 4 0 0 20 0 15 0 410335790 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807765370744 139807740733631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18021] ppid=18017 vsize=15151148 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18021/stat : 18021 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807697369872 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18022] ppid=18017 vsize=15151148 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18022/stat : 18022 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807696317328 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18023] ppid=18017 vsize=15151148 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18023/stat : 18023 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807351692304 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18024] ppid=18017 vsize=15151148 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18024/stat : 18024 (java) S 18017 18017 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410335791 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807350639760 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18025] ppid=18017 vsize=15151148 memory=-7595490506177102494 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18025/stat : 18025 (java) S 18017 18017 15420 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410335792 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807296907248 139807761144450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18026] ppid=18017 vsize=15151148 memory=-7533229591079788448 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18026/stat : 18026 (java) S 18017 18017 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410335793 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807295853472 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18027] ppid=18017 vsize=15151148 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18027/stat : 18027 (java) S 18017 18017 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410335793 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807294800880 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18028] ppid=18017 vsize=15151148 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18028/stat : 18028 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410335796 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807293749456 139807761151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18029] ppid=18017 vsize=15151148 memory=7827413994055111515 CPUtime=0.41 cores=1,3,5,7
/proc/18019/task/18029/stat : 18029 (java) R 18017 18017 15420 0 -1 4202560 1674 0 0 0 41 0 0 0 20 0 15 0 410335796 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807225268864 139807740850439 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18030] ppid=18017 vsize=15151148 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/18019/task/18030/stat : 18030 (java) R 18017 18017 15420 0 -1 4202560 999 0 0 0 39 0 0 0 20 0 15 0 410335796 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807224215696 139807745520352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18031] ppid=18017 vsize=15151148 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/18019/task/18031/stat : 18031 (java) R 18017 18017 15420 0 -1 1077944384 1768 0 0 0 32 1 0 0 20 0 15 0 410335796 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807223171824 139807761144450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18032] ppid=18017 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18032/stat : 18032 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410335796 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807222119520 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18033] ppid=18017 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18033/stat : 18033 (java) S 18017 18017 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410335796 15514775552 29688 33554432000 4194304 4196468 140731302580624 139807221066032 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 120204 KiB

[startup+1.50172 s]
/proc/loadavg: 8.43 7.68 4.78 8/233 18033
/proc/meminfo: memFree=31054600/32770624 swapFree=66999976/67108860
[pid=18017] ppid=18014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18017/stat : 18017 (xcsp3-exec) S 18014 18017 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410335790 115843072 363 33554432000 4194304 5098028 140733269416080 140733269414184 140081025684092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37531648 140733269422971 140733269423213 140733269423213 140733269426122 0
/proc/18017/statm: 28282 363 304 221 0 87 0

################
# More data... #
################

/proc/18019/stat : 18019 (java) S 18017 18017 15420 0 -1 1077944320 85164 0 0 0 207711 50 0 0 20 0 19 0 410335790 16060067840 206811 33554432000 4194304 4196468 140731302580624 140731302563168 139807761133303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
/proc/18019/statm: 3920915 206811 3519 1 0 3882017 0
[pid=18019/tid=18020] ppid=18017 vsize=15683660 memory=827756 CPUtime=1.37 cores=1,3,5,7
/proc/18019/task/18020/stat : 18020 (java) S 18017 18017 15420 0 -1 1077944384 9398 0 0 0 132 5 0 0 20 0 19 0 410335790 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807765374080 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18021] ppid=18017 vsize=15683660 memory=827756 CPUtime=0.18 cores=1,3,5,7
/proc/18019/task/18021/stat : 18021 (java) S 18017 18017 15420 0 -1 1077944384 2174 0 0 0 14 4 0 0 20 0 19 0 410335791 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807697369872 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18022] ppid=18017 vsize=15683660 memory=827756 CPUtime=0.18 cores=1,3,5,7
/proc/18019/task/18022/stat : 18022 (java) S 18017 18017 15420 0 -1 1077944384 2625 0 0 0 14 4 0 0 20 0 19 0 410335791 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807696317328 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18023] ppid=18017 vsize=15683660 memory=827756 CPUtime=0.17 cores=1,3,5,7
/proc/18019/task/18023/stat : 18023 (java) S 18017 18017 15420 0 -1 1077944384 2085 0 0 0 13 4 0 0 20 0 19 0 410335791 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807351692304 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18024] ppid=18017 vsize=15683660 memory=827244 CPUtime=0.18 cores=1,3,5,7
/proc/18019/task/18024/stat : 18024 (java) S 18017 18017 15420 0 -1 1077944384 2228 0 0 0 14 4 0 0 20 0 19 0 410335791 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807350639760 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18025] ppid=18017 vsize=15683660 memory=1452 CPUtime=0.08 cores=1,3,5,7
/proc/18019/task/18025/stat : 18025 (java) S 18017 18017 15420 0 -1 1077944384 3176 0 0 0 6 2 0 0 20 0 19 0 410335792 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807296907248 139807761144450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18026] ppid=18017 vsize=15683660 memory=139752666567464 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18026/stat : 18026 (java) S 18017 18017 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410335793 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807295853536 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18027] ppid=18017 vsize=15683660 memory=7662423297890071102 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18027/stat : 18027 (java) S 18017 18017 15420 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410335793 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807294800896 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18028] ppid=18017 vsize=15683660 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18028/stat : 18028 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410335796 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807293749456 139807761151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18029] ppid=18017 vsize=15683660 memory=828784 CPUtime=2.4 cores=1,3,5,7
/proc/18019/task/18029/stat : 18029 (java) S 18017 18017 15420 0 -1 1077944384 15022 0 0 0 239 1 0 0 20 0 19 0 410335796 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807225276912 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18030] ppid=18017 vsize=15683660 memory=6791534058613427641 CPUtime=2.71 cores=1,3,5,7
/proc/18019/task/18030/stat : 18030 (java) S 18017 18017 15420 0 -1 1077944384 19483 0 0 0 269 2 0 0 20 0 19 0 410335796 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807224224368 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18031] ppid=18017 vsize=15683660 memory=11852 CPUtime=0.74 cores=1,3,5,7
/proc/18019/task/18031/stat : 18031 (java) S 18017 18017 15420 0 -1 1077944384 8757 0 0 0 72 2 0 0 20 0 19 0 410335796 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807223171824 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18032] ppid=18017 vsize=15683660 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18032/stat : 18032 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410335796 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807222119520 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18033] ppid=18017 vsize=15683660 memory=828784 CPUtime=0.18 cores=1,3,5,7
/proc/18019/task/18033/stat : 18033 (java) S 18017 18017 15420 0 -1 1077944384 1295 0 0 0 0 18 0 0 20 0 19 0 410335796 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807221066032 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18134] ppid=18017 vsize=15683660 memory=0 CPUtime=438.23 cores=1,3,5,7
/proc/18019/task/18134/stat : 18134 (java) R 18017 18017 15420 0 -1 4202560 901 0 0 0 43823 0 0 0 20 0 19 0 410343924 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807207881712 139807382323874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18135] ppid=18017 vsize=15683660 memory=7156875565334030447 CPUtime=439.8 cores=1,3,5,7
/proc/18019/task/18135/stat : 18135 (java) R 18017 18017 15420 0 -1 4202560 5681 0 0 0 43977 3 0 0 20 0 19 0 410343924 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807205777800 139807383112158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18136] ppid=18017 vsize=15683660 memory=1452 CPUtime=437.76 cores=1,3,5,7
/proc/18019/task/18136/stat : 18136 (java) R 18017 18017 15420 0 -1 4202560 791 0 0 0 43776 0 0 0 20 0 19 0 410343924 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807209989160 139807383112303 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18137] ppid=18017 vsize=15683660 memory=830836 CPUtime=438.51 cores=1,3,5,7
/proc/18019/task/18137/stat : 18137 (java) R 18017 18017 15420 0 -1 4202560 3556 0 0 0 43844 7 0 0 20 0 19 0 410343924 16060067840 206811 33554432000 4194304 4196468 140731302580624 139807212095680 139807383112236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
Current children cumulated CPU time: 2077.61 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 828696 KiB

[startup+582.311 s]
/proc/loadavg: 8.54 8.31 6.48 9/237 18254
/proc/meminfo: memFree=28515532/32770624 swapFree=66999980/67108860
[pid=18017] ppid=18014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18017/stat : 18017 (xcsp3-exec) S 18014 18017 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410335790 115843072 363 33554432000 4194304 5098028 140733269416080 140733269414184 140081025684092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37531648 140733269422971 140733269423213 140733269423213 140733269426122 0
/proc/18017/statm: 28282 363 304 221 0 87 0
[pid=18019] ppid=18017 vsize=15683660 memory=858472 CPUtime=2316.21 cores=1,3,5,7
/proc/18019/stat : 18019 (java) S 18017 18017 15420 0 -1 1077944320 86769 0 0 0 231570 51 0 0 20 0 19 0 410335790 16060067840 214618 33554432000 4194304 4196468 140731302580624 140731302563168 139807761133303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
/proc/18019/statm: 3920915 214618 3519 1 0 3882017 0
[pid=18019/tid=18020] ppid=18017 vsize=15683660 memory=858472 CPUtime=1.37 cores=1,3,5,7
/proc/18019/task/18020/stat : 18020 (java) S 18017 18017 15420 0 -1 1077944384 9398 0 0 0 132 5 0 0 20 0 19 0 410335790 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807765374080 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18021] ppid=18017 vsize=15683660 memory=858472 CPUtime=0.26 cores=1,3,5,7
/proc/18019/task/18021/stat : 18021 (java) S 18017 18017 15420 0 -1 1077944384 2297 0 0 0 22 4 0 0 20 0 19 0 410335791 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807697369872 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18022] ppid=18017 vsize=15683660 memory=858472 CPUtime=0.26 cores=1,3,5,7
/proc/18019/task/18022/stat : 18022 (java) S 18017 18017 15420 0 -1 1077944384 2719 0 0 0 22 4 0 0 20 0 19 0 410335791 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807696317328 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18023] ppid=18017 vsize=15683660 memory=1452 CPUtime=0.26 cores=1,3,5,7
/proc/18019/task/18023/stat : 18023 (java) S 18017 18017 15420 0 -1 1077944384 2171 0 0 0 21 5 0 0 20 0 19 0 410335791 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807351692304 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18024] ppid=18017 vsize=15683660 memory=47881 CPUtime=0.26 cores=1,3,5,7
/proc/18019/task/18024/stat : 18024 (java) S 18017 18017 15420 0 -1 1077944384 2650 0 0 0 22 4 0 0 20 0 19 0 410335791 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807350639760 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18025] ppid=18017 vsize=15683660 memory=48036 CPUtime=0.11 cores=1,3,5,7
/proc/18019/task/18025/stat : 18025 (java) S 18017 18017 15420 0 -1 1077944384 3461 0 0 0 9 2 0 0 20 0 19 0 410335792 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807296907248 139807761144450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18026] ppid=18017 vsize=15683660 memory=33 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18026/stat : 18026 (java) S 18017 18017 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410335793 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807295853536 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18027] ppid=18017 vsize=15683660 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18027/stat : 18027 (java) S 18017 18017 15420 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410335793 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807294800896 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18028] ppid=18017 vsize=15683660 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18028/stat : 18028 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410335796 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807293749456 139807761151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18029] ppid=18017 vsize=15683660 memory=856424 CPUtime=2.4 cores=1,3,5,7
/proc/18019/task/18029/stat : 18029 (java) S 18017 18017 15420 0 -1 1077944384 15024 0 0 0 239 1 0 0 20 0 19 0 410335796 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807225276912 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18030] ppid=18017 vsize=15683660 memory=1452 CPUtime=2.71 cores=1,3,5,7
/proc/18019/task/18030/stat : 18030 (java) S 18017 18017 15420 0 -1 1077944384 19486 0 0 0 269 2 0 0 20 0 19 0 410335796 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807224224368 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18031] ppid=18017 vsize=15683660 memory=856424 CPUtime=0.74 cores=1,3,5,7
/proc/18019/task/18031/stat : 18031 (java) S 18017 18017 15420 0 -1 1077944384 8759 0 0 0 72 2 0 0 20 0 19 0 410335796 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807223171824 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18032] ppid=18017 vsize=15683660 memory=856424 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18032/stat : 18032 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410335796 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807222119520 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18033] ppid=18017 vsize=15683660 memory=580 CPUtime=0.2 cores=1,3,5,7
/proc/18019/task/18033/stat : 18033 (java) S 18017 18017 15420 0 -1 1077944384 1319 0 0 0 0 20 0 0 20 0 19 0 410335796 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807221066032 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18134] ppid=18017 vsize=15683660 memory=-3622645143214314312 CPUtime=497.77 cores=1,3,5,7
/proc/18019/task/18134/stat : 18134 (java) R 18017 18017 15420 0 -1 4202560 993 0 0 0 49777 0 0 0 20 0 19 0 410343924 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807207881960 139807383112328 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18135] ppid=18017 vsize=15683660 memory=1564 CPUtime=499.45 cores=1,3,5,7
/proc/18019/task/18135/stat : 18135 (java) R 18017 18017 15420 0 -1 4202560 5960 0 0 0 49942 3 0 0 20 0 19 0 410343924 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807205780480 139807383112108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18136] ppid=18017 vsize=15683660 memory=1452 CPUtime=497.31 cores=1,3,5,7
/proc/18019/task/18136/stat : 18136 (java) R 18017 18017 15420 0 -1 4202560 916 0 0 0 49731 0 0 0 20 0 19 0 410343924 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807209988616 139807383112236 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18137] ppid=18017 vsize=15683660 memory=858472 CPUtime=497.98 cores=1,3,5,7
/proc/18019/task/18137/stat : 18137 (java) R 18017 18017 15420 0 -1 4202560 3624 0 0 0 49791 7 0 0 20 0 19 0 410343924 16060067840 214618 33554432000 4194304 4196468 140731302580624 139807212092992 139807383799795 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
Current children cumulated CPU time: 2316.21 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 859924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+633.602 s]
/proc/loadavg: 8.73 8.41 6.62 9/238 18265
/proc/meminfo: memFree=28465440/32770624 swapFree=66999980/67108860
[pid=18017] ppid=18014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18017/stat : 18017 (xcsp3-exec) S 18014 18017 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410335790 115843072 363 33554432000 4194304 5098028 140733269416080 140733269414184 140081025684092 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37531648 140733269422971 140733269423213 140733269423213 140733269426122 0
/proc/18017/statm: 28282 363 304 221 0 87 0
[pid=18019] ppid=18017 vsize=15683660 memory=862568 CPUtime=2520.15 cores=1,3,5,7
/proc/18019/stat : 18019 (java) S 18017 18017 15420 0 -1 1077944320 88895 0 0 0 251962 53 0 0 20 0 19 0 410335790 16060067840 215642 33554432000 4194304 4196468 140731302580624 140731302563168 139807761133303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
/proc/18019/statm: 3920915 215642 3519 1 0 3882017 0
[pid=18019/tid=18020] ppid=18017 vsize=15683660 memory=16106965717748363 CPUtime=1.37 cores=1,3,5,7
/proc/18019/task/18020/stat : 18020 (java) S 18017 18017 15420 0 -1 1077944384 9398 0 0 0 132 5 0 0 20 0 19 0 410335790 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807765374080 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18021] ppid=18017 vsize=15683660 memory=8097585836374254951 CPUtime=0.31 cores=1,3,5,7
/proc/18019/task/18021/stat : 18021 (java) S 18017 18017 15420 0 -1 1077944384 2454 0 0 0 27 4 0 0 20 0 19 0 410335791 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807697369872 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18022] ppid=18017 vsize=15683660 memory=7378696572821269075 CPUtime=0.32 cores=1,3,5,7
/proc/18019/task/18022/stat : 18022 (java) S 18017 18017 15420 0 -1 1077944384 2769 0 0 0 27 5 0 0 20 0 19 0 410335791 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807696317328 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18023] ppid=18017 vsize=15683660 memory=8028018610790755432 CPUtime=0.31 cores=1,3,5,7
/proc/18019/task/18023/stat : 18023 (java) S 18017 18017 15420 0 -1 1077944384 2262 0 0 0 26 5 0 0 20 0 19 0 410335791 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807351692304 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18024] ppid=18017 vsize=15683660 memory=-5874771483550381248 CPUtime=0.31 cores=1,3,5,7
/proc/18019/task/18024/stat : 18024 (java) S 18017 18017 15420 0 -1 1077944384 2991 0 0 0 27 4 0 0 20 0 19 0 410335791 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807350639760 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18025] ppid=18017 vsize=15683660 memory=8028018610790755432 CPUtime=0.15 cores=1,3,5,7
/proc/18019/task/18025/stat : 18025 (java) S 18017 18017 15420 0 -1 1077944384 3737 0 0 0 12 3 0 0 20 0 19 0 410335792 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807296907248 139807761144450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18026] ppid=18017 vsize=15683660 memory=7379823568093209706 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18026/stat : 18026 (java) S 18017 18017 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410335793 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807295853536 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18027] ppid=18017 vsize=15683660 memory=7228391104333701483 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18027/stat : 18027 (java) S 18017 18017 15420 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 410335793 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807294800896 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18028] ppid=18017 vsize=15683660 memory=6372714867537372521 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18028/stat : 18028 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410335796 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807293749456 139807761151899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18029] ppid=18017 vsize=15683660 memory=7517449408496166248 CPUtime=2.4 cores=1,3,5,7
/proc/18019/task/18029/stat : 18029 (java) S 18017 18017 15420 0 -1 1077944384 15027 0 0 0 239 1 0 0 20 0 19 0 410335796 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807225276912 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18030] ppid=18017 vsize=15683660 memory=8026655061652826215 CPUtime=2.71 cores=1,3,5,7
/proc/18019/task/18030/stat : 18030 (java) S 18017 18017 15420 0 -1 1077944384 20167 0 0 0 269 2 0 0 20 0 19 0 410335796 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807224224368 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18031] ppid=18017 vsize=15683660 memory=7085123613936869989 CPUtime=0.74 cores=1,3,5,7
/proc/18019/task/18031/stat : 18031 (java) S 18017 18017 15420 0 -1 1077944384 8769 0 0 0 72 2 0 0 20 0 19 0 410335796 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807223171824 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18032] ppid=18017 vsize=15683660 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/18019/task/18032/stat : 18032 (java) S 18017 18017 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410335796 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807222119520 139807761143509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18033] ppid=18017 vsize=15683660 memory=964 CPUtime=0.22 cores=1,3,5,7
/proc/18019/task/18033/stat : 18033 (java) S 18017 18017 15420 0 -1 1077944384 1352 0 0 0 0 22 0 0 20 0 19 0 410335796 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807221066032 139807761144450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18134] ppid=18017 vsize=15683660 memory=14008 CPUtime=548.74 cores=1,3,5,7
/proc/18019/task/18134/stat : 18134 (java) R 18017 18017 15420 0 -1 4202560 1078 0 0 0 54874 0 0 0 20 0 19 0 410343924 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807207881880 139807383112226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18135] ppid=18017 vsize=15683660 memory=2116 CPUtime=550.33 cores=1,3,5,7
/proc/18019/task/18135/stat : 18135 (java) R 18017 18017 15420 0 -1 4202560 6181 0 0 0 55030 3 0 0 20 0 19 0 410343924 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807205780512 139807382928141 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18136] ppid=18017 vsize=15683660 memory=19352 CPUtime=548.36 cores=1,3,5,7
/proc/18019/task/18136/stat : 18136 (java) R 18017 18017 15420 0 -1 4202560 992 0 0 0 54836 0 0 0 20 0 19 0 410343924 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807209988368 139807384081939 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
[pid=18019/tid=18137] ppid=18017 vsize=15683660 memory=11852 CPUtime=548.76 cores=1,3,5,7
/proc/18019/task/18137/stat : 18137 (java) R 18017 18017 15420 0 -1 4202560 3726 0 0 0 54869 7 0 0 20 0 19 0 410343924 16060067840 215642 33554432000 4194304 4196468 140731302580624 139807212093104 139807383112280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731302585327 140731302585498 140731302585498 140731302588367 0
Current children cumulated CPU time: 2520.15 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 864020 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+633.617 s]
# the end of solver process 18017 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001116 s, system=0.001116 s

[startup+633.693 s]
# the end of solver process 18019 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.95 s, system=0.542053 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 633.693
CPU time (s): 2520.49
CPU user time (s): 2519.95
CPU system time (s): 0.542053
CPU usage (%): 397.747
Max. virtual memory (cumulated for all children) (KiB): 15796788
Max. memory (cumulated for all children) (KiB): 1135464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.542053
maximum resident set size= 1147904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90193
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21317
involuntary context switches= 56468


# summary of solver processes directly reported to runsolver:
#   pid: 18017,18019
#   total CPU time (s): 2520.49
#   total CPU user time (s): 2519.95
#   total CPU system time (s): 0.542053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.00219 second user time and 7.22304 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml
MD5SUM	bcb3f3ceeead4664bdf41fd123f1defa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	310
Best CPU time to get the best result obtained on this benchmark	91.9938
Satisfiable
(Un)Satisfiability was proved
Number of variables	660
Number of constraints	5350
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":660}]
Minimum variable degree	3
Maximum variable degree	107
Distribution of variable degrees	[{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":5350}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4393346

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
