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-09-16	SAT (TO)	24	2520.62	635.293
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 (15241 MiB free)
  memory of node 1: 16384 MiB (11440 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399406-1568687534/watcher-4399406-1568687534 -o /tmp/evaluation-result-4399406-1568687534/solver-4399406-1568687534 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15014 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 313946360 HOME/instance-4399406-1568687534.xml 

running on 4 cores: 0,2,4,6

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=21709, runsolver pid=21706

[startup+0.103452 s]*
/proc/loadavg: 8.10 8.39 8.48 7/235 21725
/proc/meminfo: memFree=27307320/32770624 swapFree=66997372/67108860
[pid=21709] ppid=21706 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21709/stat : 21709 (xcsp3-exec) S 21706 21709 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445006429 115843072 363 33554432000 4194304 5098028 140721071593120 140721071591224 140237892657788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18493440 140721071596411 140721071596653 140721071596653 140721071599562 0
/proc/21709/statm: 28282 363 304 221 0 87 0
[pid=21711] ppid=21709 vsize=15144776 memory=29064 CPUtime=0.14 cores=0,2,4,6
/proc/21711/stat : 21711 (java) S 21709 21709 14983 0 -1 1077944320 5715 0 0 0 12 2 0 0 20 0 15 0 445006429 15508250624 7266 33554432000 4194304 4196468 140730389517280 140730389499824 139972249509623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
/proc/21711/statm: 3786194 7266 3179 1 0 3748377 0
[pid=21711/tid=21712] ppid=21709 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=0,2,4,6
/proc/21711/task/21712/stat : 21712 (java) R 21709 21709 14983 0 -1 4202560 3602 0 0 0 8 1 0 0 20 0 15 0 445006429 15508250624 7266 33554432000 4194304 4196468 140730389517280 139972253740944 139972249521558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21713] ppid=21709 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21713/stat : 21713 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006430 15508250624 7266 33554432000 4194304 4196468 140730389517280 139972185745680 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21714] ppid=21709 vsize=15144776 memory=140613423797888 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21714/stat : 21714 (java) S 21709 21709 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445006430 15508250624 7266 33554432000 4194304 4196468 140730389517280 139972184693136 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21715] ppid=21709 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21715/stat : 21715 (java) S 21709 21709 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445006430 15508250624 7266 33554432000 4194304 4196468 140730389517280 139972183640592 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21716] ppid=21709 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21716/stat : 21716 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006430 15508250624 7266 33554432000 4194304 4196468 140730389517280 139972182588048 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21717] ppid=21709 vsize=15144776 memory=140613423797888 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21717/stat : 21717 (java) S 21709 21709 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445006431 15508250624 7266 33554432000 4194304 4196468 140730389517280 139971785337328 139972249520770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21718] ppid=21709 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21718/stat : 21718 (java) S 21709 21709 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445006432 15508250624 7266 33554432000 4194304 4196468 140730389517280 139971784283552 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21719] ppid=21709 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21719/stat : 21719 (java) S 21709 21709 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445006432 15508250624 7266 33554432000 4194304 4196468 140730389517280 139971783230960 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21720] ppid=21709 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21720/stat : 21720 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445006434 15508250624 7266 33554432000 4194304 4196468 140730389517280 139971782179536 139972249528219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21721] ppid=21709 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21721/stat : 21721 (java) S 21709 21709 14983 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 445006434 15508250624 7266 33554432000 4194304 4196468 140730389517280 139971781126128 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21722] ppid=21709 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21722/stat : 21722 (java) S 21709 21709 14983 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 445006434 15508250624 7266 33554432000 4194304 4196468 140730389517280 139971780073584 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21723] ppid=21709 vsize=15144776 memory=140613423797888 CPUtime=0.02 cores=0,2,4,6
/proc/21711/task/21723/stat : 21723 (java) R 21709 21709 14983 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 445006434 15508250624 7266 33554432000 4194304 4196468 140730389517280 139971779021040 139972229429212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21724] ppid=21709 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21724/stat : 21724 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445006435 15508250624 7266 33554432000 4194304 4196468 140730389517280 139971777968736 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21725] ppid=21709 vsize=15144776 memory=140613423797888 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21725/stat : 21725 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006435 15508250624 7266 33554432000 4194304 4196468 140730389517280 139971709102896 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30516 KiB

[startup+0.210997 s]*
/proc/loadavg: 8.10 8.39 8.48 6/235 21725
/proc/meminfo: memFree=27293864/32770624 swapFree=66997372/67108860
[pid=21709] ppid=21706 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21709/stat : 21709 (xcsp3-exec) S 21706 21709 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445006429 115843072 363 33554432000 4194304 5098028 140721071593120 140721071591224 140237892657788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18493440 140721071596411 140721071596653 140721071596653 140721071599562 0
/proc/21709/statm: 28282 363 304 221 0 87 0
[pid=21711] ppid=21709 vsize=15144776 memory=40452 CPUtime=0.34 cores=0,2,4,6
/proc/21711/stat : 21711 (java) S 21709 21709 14983 0 -1 1077944320 9317 0 0 0 31 3 0 0 20 0 15 0 445006429 15508250624 10113 33554432000 4194304 4196468 140730389517280 140730389499824 139972249509623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
/proc/21711/statm: 3786194 10113 3320 1 0 3748377 0
[pid=21711/tid=21712] ppid=21709 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21711/task/21712/stat : 21712 (java) R 21709 21709 14983 0 -1 4202560 6604 0 0 0 18 2 0 0 20 0 15 0 445006429 15508250624 10113 33554432000 4194304 4196468 140730389517280 139972253742720 139972249521558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21713] ppid=21709 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21713/stat : 21713 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006430 15508250624 10113 33554432000 4194304 4196468 140730389517280 139972185745680 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21714] ppid=21709 vsize=15144776 memory=288370989575509632 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21714/stat : 21714 (java) S 21709 21709 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445006430 15508250624 10113 33554432000 4194304 4196468 140730389517280 139972184693136 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21715] ppid=21709 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21715/stat : 21715 (java) S 21709 21709 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445006430 15508250624 10113 33554432000 4194304 4196468 140730389517280 139972183640592 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21716] ppid=21709 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21716/stat : 21716 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006430 15508250624 10113 33554432000 4194304 4196468 140730389517280 139972182588048 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21717] ppid=21709 vsize=15144776 memory=140613423797888 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21717/stat : 21717 (java) S 21709 21709 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445006431 15508250624 10113 33554432000 4194304 4196468 140730389517280 139971785337328 139972249520770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21718] ppid=21709 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21718/stat : 21718 (java) S 21709 21709 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445006432 15508250624 10113 33554432000 4194304 4196468 140730389517280 139971784283552 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21719] ppid=21709 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21719/stat : 21719 (java) S 21709 21709 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445006432 15508250624 10113 33554432000 4194304 4196468 140730389517280 139971783230960 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21720] ppid=21709 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21720/stat : 21720 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445006434 15508250624 10113 33554432000 4194304 4196468 140730389517280 139971782179536 139972249528219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21721] ppid=21709 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21711/task/21721/stat : 21721 (java) S 21709 21709 14983 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 15 0 445006434 15508250624 10113 33554432000 4194304 4196468 140730389517280 139971781126128 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21722] ppid=21709 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/21711/task/21722/stat : 21722 (java) S 21709 21709 14983 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 15 0 445006434 15508250624 10113 33554432000 4194304 4196468 140730389517280 139971780073584 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21723] ppid=21709 vsize=15144776 memory=140613423797888 CPUtime=0.08 cores=0,2,4,6
/proc/21711/task/21723/stat : 21723 (java) R 21709 21709 14983 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 15 0 445006434 15508250624 10113 33554432000 4194304 4196468 140730389517280 139971779020848 139972233754145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21724] ppid=21709 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21724/stat : 21724 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445006435 15508250624 10113 33554432000 4194304 4196468 140730389517280 139971777968736 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21725] ppid=21709 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21725/stat : 21725 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006435 15508250624 10113 33554432000 4194304 4196468 140730389517280 139971709102896 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41904 KiB

[startup+0.319821 s]*
/proc/loadavg: 8.10 8.39 8.48 7/235 21725
/proc/meminfo: memFree=27286220/32770624 swapFree=66997372/67108860
[pid=21709] ppid=21706 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21709/stat : 21709 (xcsp3-exec) S 21706 21709 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445006429 115843072 363 33554432000 4194304 5098028 140721071593120 140721071591224 140237892657788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18493440 140721071596411 140721071596653 140721071596653 140721071599562 0
/proc/21709/statm: 28282 363 304 221 0 87 0
[pid=21711] ppid=21709 vsize=15149032 memory=50216 CPUtime=0.54 cores=0,2,4,6
/proc/21711/stat : 21711 (java) S 21709 21709 14983 0 -1 1077944320 10959 0 0 0 50 4 0 0 20 0 15 0 445006429 15512608768 12554 33554432000 4194304 4196468 140730389517280 140730389499824 139972249509623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
/proc/21711/statm: 3787258 12554 3361 1 0 3748377 0
[pid=21711/tid=21712] ppid=21709 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/21711/task/21712/stat : 21712 (java) R 21709 21709 14983 0 -1 4202560 7863 0 0 0 28 2 0 0 20 0 15 0 445006429 15512608768 12619 33554432000 4194304 4196468 140730389517280 139972253740736 139972249531549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21713] ppid=21709 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21713/stat : 21713 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006430 15512608768 12619 33554432000 4194304 4196468 140730389517280 139972185745680 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21714] ppid=21709 vsize=15149032 memory=288230376155155389 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21714/stat : 21714 (java) S 21709 21709 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445006430 15512608768 12619 33554432000 4194304 4196468 140730389517280 139972184693136 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21715] ppid=21709 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21715/stat : 21715 (java) S 21709 21709 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445006430 15512608768 12619 33554432000 4194304 4196468 140730389517280 139972183640592 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21716] ppid=21709 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21716/stat : 21716 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006430 15512608768 12619 33554432000 4194304 4196468 140730389517280 139972182588048 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21717] ppid=21709 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21717/stat : 21717 (java) S 21709 21709 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445006431 15512608768 12619 33554432000 4194304 4196468 140730389517280 139971785337328 139972249520770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21718] ppid=21709 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21718/stat : 21718 (java) S 21709 21709 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445006432 15512608768 12619 33554432000 4194304 4196468 140730389517280 139971784283552 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21719] ppid=21709 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21719/stat : 21719 (java) S 21709 21709 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445006432 15512608768 12619 33554432000 4194304 4196468 140730389517280 139971783230960 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21720] ppid=21709 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21720/stat : 21720 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445006434 15512608768 12619 33554432000 4194304 4196468 140730389517280 139971782179536 139972249528219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21721] ppid=21709 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21711/task/21721/stat : 21721 (java) S 21709 21709 14983 0 -1 1077944384 395 0 0 0 3 0 0 0 20 0 15 0 445006434 15512608768 12619 33554432000 4194304 4196468 140730389517280 139971781126128 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21722] ppid=21709 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/21711/task/21722/stat : 21722 (java) S 21709 21709 14983 0 -1 1077944384 451 0 0 0 5 0 0 0 20 0 15 0 445006434 15512608768 12619 33554432000 4194304 4196468 140730389517280 139971780073584 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21723] ppid=21709 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21711/task/21723/stat : 21723 (java) S 21709 21709 14983 0 -1 1077944384 950 0 0 0 12 0 0 0 20 0 15 0 445006434 15512608768 12619 33554432000 4194304 4196468 140730389517280 139971779021040 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21724] ppid=21709 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21724/stat : 21724 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445006435 15512608768 12619 33554432000 4194304 4196468 140730389517280 139971777968736 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21725] ppid=21709 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21725/stat : 21725 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006435 15512608768 12619 33554432000 4194304 4196468 140730389517280 139971709102896 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51668 KiB

[startup+0.707737 s]
/proc/loadavg: 8.10 8.39 8.48 9/235 21725
/proc/meminfo: memFree=27266156/32770624 swapFree=66997372/67108860
[pid=21709] ppid=21706 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21709/stat : 21709 (xcsp3-exec) S 21706 21709 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445006429 115843072 363 33554432000 4194304 5098028 140721071593120 140721071591224 140237892657788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18493440 140721071596411 140721071596653 140721071596653 140721071599562 0
/proc/21709/statm: 28282 363 304 221 0 87 0
[pid=21711] ppid=21709 vsize=15151156 memory=110168 CPUtime=1.76 cores=0,2,4,6
/proc/21711/stat : 21711 (java) S 21709 21709 14983 0 -1 1077944320 14608 0 0 0 171 5 0 0 20 0 15 0 445006429 15514783744 27542 33554432000 4194304 4196468 140730389517280 140730389499824 139972249509623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
/proc/21711/statm: 3787789 27542 3445 1 0 3748889 0
[pid=21711/tid=21712] ppid=21709 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/21711/task/21712/stat : 21712 (java) R 21709 21709 14983 0 -1 4202560 8370 0 0 0 65 3 0 0 20 0 15 0 445006429 15514783744 27542 33554432000 4194304 4196468 140730389517280 139972253745304 139971863283730 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21713] ppid=21709 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21713/stat : 21713 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006430 15514783744 27542 33554432000 4194304 4196468 140730389517280 139972185745680 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21714] ppid=21709 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21714/stat : 21714 (java) S 21709 21709 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445006430 15514783744 27542 33554432000 4194304 4196468 140730389517280 139972184693136 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21715] ppid=21709 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21715/stat : 21715 (java) S 21709 21709 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445006430 15514783744 27542 33554432000 4194304 4196468 140730389517280 139972183640592 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21716] ppid=21709 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21716/stat : 21716 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006430 15514783744 27542 33554432000 4194304 4196468 140730389517280 139972182588048 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21717] ppid=21709 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21717/stat : 21717 (java) S 21709 21709 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445006431 15514783744 27542 33554432000 4194304 4196468 140730389517280 139971785337328 139972249520770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21718] ppid=21709 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21718/stat : 21718 (java) S 21709 21709 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445006432 15514783744 27542 33554432000 4194304 4196468 140730389517280 139971784283552 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21719] ppid=21709 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21719/stat : 21719 (java) S 21709 21709 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445006432 15514783744 27542 33554432000 4194304 4196468 140730389517280 139971783230960 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21720] ppid=21709 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21720/stat : 21720 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445006434 15514783744 27542 33554432000 4194304 4196468 140730389517280 139971782179536 139972249528219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21721] ppid=21709 vsize=15151156 memory=1764 CPUtime=0.36 cores=0,2,4,6
/proc/21711/task/21721/stat : 21721 (java) R 21709 21709 14983 0 -1 4202560 1588 0 0 0 36 0 0 0 20 0 15 0 445006434 15514783744 27542 33554432000 4194304 4196468 140730389517280 139971781126128 139972228868889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21722] ppid=21709 vsize=15151156 memory=111628 CPUtime=0.37 cores=0,2,4,6
/proc/21711/task/21722/stat : 21722 (java) R 21709 21709 14983 0 -1 4202560 1563 0 0 0 37 0 0 0 20 0 15 0 445006434 15514783744 27542 33554432000 4194304 4196468 140730389517280 139971780059384 139972226779002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21723] ppid=21709 vsize=15151156 memory=796 CPUtime=0.31 cores=0,2,4,6
/proc/21711/task/21723/stat : 21723 (java) S 21709 21709 14983 0 -1 1077944384 1781 0 0 0 31 0 0 0 20 0 15 0 445006434 15514783744 27542 33554432000 4194304 4196468 140730389517280 139971779021040 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21724] ppid=21709 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21724/stat : 21724 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445006435 15514783744 27542 33554432000 4194304 4196468 140730389517280 139971777968736 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21725] ppid=21709 vsize=15151156 memory=920 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21725/stat : 21725 (java) S 21709 21709 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445006435 15514783744 27542 33554432000 4194304 4196468 140730389517280 139971709102896 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 111620 KiB

[startup+1.50274 s]
/proc/loadavg: 8.01 8.37 8.47 6/235 21725
/proc/meminfo: memFree=27184616/32770624 swapFree=66997372/67108860
[pid=21709] ppid=21706 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21709/stat : 21709 (xcsp3-exec) S 21706 21709 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445006429 115843072 363 33554432000 4194304 5098028 140721071593120 140721071591224 140237892657788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18493440 140721071596411 140721071596653 140721071596653 140721071599562 0
/proc/21709/statm: 28282 363 304 221 0 87 0

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

/proc/21711/stat : 21711 (java) S 21709 21709 14983 0 -1 1077944320 98849 0 0 0 207132 87 0 0 20 0 19 0 445006429 15790579712 533817 33554432000 4194304 4196468 140730389517280 140730389499824 139972249509623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
/proc/21711/statm: 3855122 533817 3541 1 0 3816222 0
[pid=21711/tid=21712] ppid=21709 vsize=15420488 memory=2135268 CPUtime=2.24 cores=0,2,4,6
/proc/21711/task/21712/stat : 21712 (java) S 21709 21709 14983 0 -1 1077944384 11045 0 0 0 217 7 0 0 20 0 19 0 445006429 15790579712 533817 33554432000 4194304 4196468 140730389517280 139972253750400 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21713] ppid=21709 vsize=15420488 memory=2133068 CPUtime=1.14 cores=0,2,4,6
/proc/21711/task/21713/stat : 21713 (java) S 21709 21709 14983 0 -1 1077944384 4264 0 0 0 106 8 0 0 20 0 19 0 445006430 15790579712 533817 33554432000 4194304 4196468 140730389517280 139972185745680 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21714] ppid=21709 vsize=15420488 memory=2133220 CPUtime=1.12 cores=0,2,4,6
/proc/21711/task/21714/stat : 21714 (java) S 21709 21709 14983 0 -1 1077944384 6048 0 0 0 103 9 0 0 20 0 19 0 445006430 15790579712 533817 33554432000 4194304 4196468 140730389517280 139972184693136 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21715] ppid=21709 vsize=15420488 memory=2135268 CPUtime=1.12 cores=0,2,4,6
/proc/21711/task/21715/stat : 21715 (java) S 21709 21709 14983 0 -1 1077944384 2437 0 0 0 103 9 0 0 20 0 19 0 445006430 15790579712 533817 33554432000 4194304 4196468 140730389517280 139972183640592 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21716] ppid=21709 vsize=15420488 memory=2135268 CPUtime=1.12 cores=0,2,4,6
/proc/21711/task/21716/stat : 21716 (java) S 21709 21709 14983 0 -1 1077944384 2371 0 0 0 103 9 0 0 20 0 19 0 445006430 15790579712 533817 33554432000 4194304 4196468 140730389517280 139972182588048 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21717] ppid=21709 vsize=15420488 memory=1452 CPUtime=0.45 cores=0,2,4,6
/proc/21711/task/21717/stat : 21717 (java) S 21709 21709 14983 0 -1 1077944384 5608 0 0 0 39 6 0 0 20 0 19 0 445006431 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971785337328 139972249520770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21718] ppid=21709 vsize=15420488 memory=2132916 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21718/stat : 21718 (java) S 21709 21709 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445006432 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971784283616 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21719] ppid=21709 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21719/stat : 21719 (java) S 21709 21709 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445006432 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971783230976 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21720] ppid=21709 vsize=15420488 memory=2135268 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21720/stat : 21720 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445006434 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971782179536 139972249528219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21721] ppid=21709 vsize=15420488 memory=2133220 CPUtime=3.75 cores=0,2,4,6
/proc/21711/task/21721/stat : 21721 (java) S 21709 21709 14983 0 -1 1077944384 17614 0 0 0 373 2 0 0 20 0 19 0 445006434 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971781126128 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21722] ppid=21709 vsize=15420488 memory=1452 CPUtime=3.53 cores=0,2,4,6
/proc/21711/task/21722/stat : 21722 (java) S 21709 21709 14983 0 -1 1077944384 11887 0 0 0 352 1 0 0 20 0 19 0 445006434 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971780073584 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21723] ppid=21709 vsize=15420488 memory=1452 CPUtime=0.88 cores=0,2,4,6
/proc/21711/task/21723/stat : 21723 (java) S 21709 21709 14983 0 -1 1077944384 12002 0 0 0 87 1 0 0 20 0 19 0 445006434 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971779021040 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 83 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21724] ppid=21709 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21724/stat : 21724 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445006435 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971777968736 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21725] ppid=21709 vsize=15420488 memory=2133068 CPUtime=0.28 cores=0,2,4,6
/proc/21711/task/21725/stat : 21725 (java) S 21709 21709 14983 0 -1 1077944384 600 0 0 0 14 14 0 0 20 0 19 0 445006435 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971709102896 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21742] ppid=21709 vsize=15420488 memory=1452 CPUtime=514.19 cores=0,2,4,6
/proc/21711/task/21742/stat : 21742 (java) R 21709 21709 14983 0 -1 4202560 1359 0 0 0 51419 0 0 0 20 0 19 0 445006704 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971696963240 139971868133961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21743] ppid=21709 vsize=15420488 memory=1452 CPUtime=513.59 cores=0,2,4,6
/proc/21711/task/21743/stat : 21743 (java) R 21709 21709 14983 0 -1 4202560 7038 0 0 0 51346 13 0 0 20 0 19 0 445006704 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971698019584 139971869563072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21744] ppid=21709 vsize=15420488 memory=6791534058613427641 CPUtime=513.48 cores=0,2,4,6
/proc/21711/task/21744/stat : 21744 (java) R 21709 21709 14983 0 -1 4202560 11540 0 0 0 51330 18 0 0 20 0 19 0 445006704 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971700121600 139971868746076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21745] ppid=21709 vsize=15420488 memory=2012 CPUtime=514.47 cores=0,2,4,6
/proc/21711/task/21745/stat : 21745 (java) R 21709 21709 14983 0 -1 4202560 3195 0 0 0 51444 3 0 0 20 0 19 0 445006704 15790579712 533817 33554432000 4194304 4196468 140730389517280 139971695910480 139971867966868 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
Current children cumulated CPU time: 2072.19 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 2136720 KiB

[startup+582.303 s]
/proc/loadavg: 8.38 8.41 8.43 10/240 22184
/proc/meminfo: memFree=29016324/32770624 swapFree=66997372/67108860
[pid=21709] ppid=21706 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21709/stat : 21709 (xcsp3-exec) S 21706 21709 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445006429 115843072 363 33554432000 4194304 5098028 140721071593120 140721071591224 140237892657788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18493440 140721071596411 140721071596653 140721071596653 140721071599562 0
/proc/21709/statm: 28282 363 304 221 0 87 0
[pid=21711] ppid=21709 vsize=15420488 memory=2041108 CPUtime=2310.23 cores=0,2,4,6
/proc/21711/stat : 21711 (java) S 21709 21709 14983 0 -1 1077944320 109280 0 0 0 230932 91 0 0 20 0 19 0 445006429 15790579712 510277 33554432000 4194304 4196468 140730389517280 140730389499824 139972249509623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
/proc/21711/statm: 3855122 510277 3557 1 0 3816222 0
[pid=21711/tid=21712] ppid=21709 vsize=15420488 memory=2041080 CPUtime=2.24 cores=0,2,4,6
/proc/21711/task/21712/stat : 21712 (java) S 21709 21709 14983 0 -1 1077944384 11045 0 0 0 217 7 0 0 20 0 19 0 445006429 15790579712 510277 33554432000 4194304 4196468 140730389517280 139972253750400 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21713] ppid=21709 vsize=15420488 memory=2041108 CPUtime=1.45 cores=0,2,4,6
/proc/21711/task/21713/stat : 21713 (java) S 21709 21709 14983 0 -1 1077944384 4663 0 0 0 136 9 0 0 20 0 19 0 445006430 15790579712 510277 33554432000 4194304 4196468 140730389517280 139972185745680 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21714] ppid=21709 vsize=15420488 memory=2041108 CPUtime=1.43 cores=0,2,4,6
/proc/21711/task/21714/stat : 21714 (java) S 21709 21709 14983 0 -1 1077944384 6441 0 0 0 134 9 0 0 20 0 19 0 445006430 15790579712 510277 33554432000 4194304 4196468 140730389517280 139972184693136 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21715] ppid=21709 vsize=15420488 memory=2132916 CPUtime=1.43 cores=0,2,4,6
/proc/21711/task/21715/stat : 21715 (java) S 21709 21709 14983 0 -1 1077944384 2720 0 0 0 134 9 0 0 20 0 19 0 445006430 15790579712 510277 33554432000 4194304 4196468 140730389517280 139972183640592 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21716] ppid=21709 vsize=15420488 memory=2041080 CPUtime=1.43 cores=0,2,4,6
/proc/21711/task/21716/stat : 21716 (java) S 21709 21709 14983 0 -1 1077944384 2994 0 0 0 134 9 0 0 20 0 19 0 445006430 15790579712 510277 33554432000 4194304 4196468 140730389517280 139972182588048 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21717] ppid=21709 vsize=15420488 memory=2041108 CPUtime=0.57 cores=0,2,4,6
/proc/21711/task/21717/stat : 21717 (java) S 21709 21709 14983 0 -1 1077944384 13243 0 0 0 49 8 0 0 20 0 19 0 445006431 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971785337328 139972249520770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21718] ppid=21709 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21718/stat : 21718 (java) S 21709 21709 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445006432 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971784283616 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21719] ppid=21709 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21719/stat : 21719 (java) S 21709 21709 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445006432 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971783230976 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21720] ppid=21709 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21720/stat : 21720 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445006434 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971782179536 139972249528219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21721] ppid=21709 vsize=15420488 memory=1452 CPUtime=3.75 cores=0,2,4,6
/proc/21711/task/21721/stat : 21721 (java) S 21709 21709 14983 0 -1 1077944384 17617 0 0 0 373 2 0 0 20 0 19 0 445006434 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971781126128 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21722] ppid=21709 vsize=15420488 memory=1452 CPUtime=3.53 cores=0,2,4,6
/proc/21711/task/21722/stat : 21722 (java) S 21709 21709 14983 0 -1 1077944384 11889 0 0 0 352 1 0 0 20 0 19 0 445006434 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971780073584 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21723] ppid=21709 vsize=15420488 memory=2041080 CPUtime=0.88 cores=0,2,4,6
/proc/21711/task/21723/stat : 21723 (java) S 21709 21709 14983 0 -1 1077944384 12004 0 0 0 87 1 0 0 20 0 19 0 445006434 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971779021040 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 83 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21724] ppid=21709 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21724/stat : 21724 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445006435 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971777968736 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21725] ppid=21709 vsize=15420488 memory=1452 CPUtime=0.28 cores=0,2,4,6
/proc/21711/task/21725/stat : 21725 (java) S 21709 21709 14983 0 -1 1077944384 627 0 0 0 14 14 0 0 20 0 19 0 445006435 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971709102896 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21742] ppid=21709 vsize=15420488 memory=3504 CPUtime=573.46 cores=0,2,4,6
/proc/21711/task/21742/stat : 21742 (java) R 21709 21709 14983 0 -1 4202560 1562 0 0 0 57346 0 0 0 20 0 19 0 445006704 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971696962736 139971863673718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21743] ppid=21709 vsize=15420488 memory=48120 CPUtime=572.63 cores=0,2,4,6
/proc/21711/task/21743/stat : 21743 (java) R 21709 21709 14983 0 -1 4202560 7318 0 0 0 57250 13 0 0 20 0 19 0 445006704 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971698019584 139971868797920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21744] ppid=21709 vsize=15420488 memory=3028 CPUtime=572.66 cores=0,2,4,6
/proc/21711/task/21744/stat : 21744 (java) R 21709 21709 14983 0 -1 4202560 11909 0 0 0 57248 18 0 0 20 0 19 0 445006704 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971700121720 139971868134111 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21745] ppid=21709 vsize=15420488 memory=2012 CPUtime=573.64 cores=0,2,4,6
/proc/21711/task/21745/stat : 21745 (java) R 21709 21709 14983 0 -1 4202560 3407 0 0 0 57361 3 0 0 20 0 19 0 445006704 15790579712 510277 33554432000 4194304 4196468 140730389517280 139971695910728 139971867967154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
Current children cumulated CPU time: 2310.23 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 2042560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+635.202 s]
/proc/loadavg: 8.16 8.35 8.41 10/239 22188
/proc/meminfo: memFree=29016088/32770624 swapFree=66997372/67108860
[pid=21709] ppid=21706 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21709/stat : 21709 (xcsp3-exec) S 21706 21709 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445006429 115843072 363 33554432000 4194304 5098028 140721071593120 140721071591224 140237892657788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18493440 140721071596411 140721071596653 140721071596653 140721071599562 0
/proc/21709/statm: 28282 363 304 221 0 87 0
[pid=21711] ppid=21709 vsize=15420488 memory=2041452 CPUtime=2520.28 cores=0,2,4,6
/proc/21711/stat : 21711 (java) S 21709 21709 14983 0 -1 1077944320 113258 0 0 0 251934 94 0 0 20 0 19 0 445006429 15790579712 510363 33554432000 4194304 4196468 140730389517280 140730389499824 139972249509623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
/proc/21711/statm: 3855122 510363 3557 1 0 3816222 0
[pid=21711/tid=21712] ppid=21709 vsize=15420488 memory=2043880 CPUtime=2.24 cores=0,2,4,6
/proc/21711/task/21712/stat : 21712 (java) S 21709 21709 14983 0 -1 1077944384 11045 0 0 0 217 7 0 0 20 0 19 0 445006429 15790579712 510363 33554432000 4194304 4196468 140730389517280 139972253750400 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21713] ppid=21709 vsize=15420488 memory=4872558044660077418 CPUtime=1.77 cores=0,2,4,6
/proc/21711/task/21713/stat : 21713 (java) S 21709 21709 14983 0 -1 1077944384 5185 0 0 0 168 9 0 0 20 0 19 0 445006430 15790579712 510363 33554432000 4194304 4196468 140730389517280 139972185745680 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21714] ppid=21709 vsize=15420488 memory=796 CPUtime=1.75 cores=0,2,4,6
/proc/21711/task/21714/stat : 21714 (java) S 21709 21709 14983 0 -1 1077944384 6961 0 0 0 166 9 0 0 20 0 19 0 445006430 15790579712 510363 33554432000 4194304 4196468 140730389517280 139972184693136 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21715] ppid=21709 vsize=15420488 memory=1808 CPUtime=1.74 cores=0,2,4,6
/proc/21711/task/21715/stat : 21715 (java) S 21709 21709 14983 0 -1 1077944384 2976 0 0 0 165 9 0 0 20 0 19 0 445006430 15790579712 510363 33554432000 4194304 4196468 140730389517280 139972183640592 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21716] ppid=21709 vsize=15420488 memory=6791534058613427641 CPUtime=1.75 cores=0,2,4,6
/proc/21711/task/21716/stat : 21716 (java) S 21709 21709 14983 0 -1 1077944384 3418 0 0 0 166 9 0 0 20 0 19 0 445006430 15790579712 510363 33554432000 4194304 4196468 140730389517280 139972182588048 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21717] ppid=21709 vsize=15420488 memory=12024 CPUtime=0.65 cores=0,2,4,6
/proc/21711/task/21717/stat : 21717 (java) S 21709 21709 14983 0 -1 1077944384 14136 0 0 0 55 10 0 0 20 0 19 0 445006431 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971785337328 139972249520770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21718] ppid=21709 vsize=15420488 memory=500 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21718/stat : 21718 (java) S 21709 21709 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445006432 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971784283616 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21719] ppid=21709 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21719/stat : 21719 (java) S 21709 21709 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445006432 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971783230976 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21720] ppid=21709 vsize=15420488 memory=2042464 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21720/stat : 21720 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445006434 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971782179536 139972249528219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21721] ppid=21709 vsize=15420488 memory=6791534058613427641 CPUtime=3.75 cores=0,2,4,6
/proc/21711/task/21721/stat : 21721 (java) S 21709 21709 14983 0 -1 1077944384 17628 0 0 0 373 2 0 0 20 0 19 0 445006434 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971781126128 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21722] ppid=21709 vsize=15420488 memory=2828 CPUtime=3.53 cores=0,2,4,6
/proc/21711/task/21722/stat : 21722 (java) S 21709 21709 14983 0 -1 1077944384 11893 0 0 0 352 1 0 0 20 0 19 0 445006434 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971780073584 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21723] ppid=21709 vsize=15420488 memory=676 CPUtime=0.88 cores=0,2,4,6
/proc/21711/task/21723/stat : 21723 (java) S 21709 21709 14983 0 -1 1077944384 12011 0 0 0 87 1 0 0 20 0 19 0 445006434 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971779021040 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 83 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21724] ppid=21709 vsize=15420488 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/21711/task/21724/stat : 21724 (java) S 21709 21709 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445006435 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971777968736 139972249519829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21725] ppid=21709 vsize=15420488 memory=1548 CPUtime=0.28 cores=0,2,4,6
/proc/21711/task/21725/stat : 21725 (java) S 21709 21709 14983 0 -1 1077944384 665 0 0 0 14 14 0 0 20 0 19 0 445006435 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971709102896 139972249520770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21742] ppid=21709 vsize=15420488 memory=48120 CPUtime=625.62 cores=0,2,4,6
/proc/21711/task/21742/stat : 21742 (java) R 21709 21709 14983 0 -1 4202560 1814 0 0 0 62561 1 0 0 20 0 19 0 445006704 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971696963240 139971868134106 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21743] ppid=21709 vsize=15420488 memory=3028 CPUtime=624.85 cores=0,2,4,6
/proc/21711/task/21743/stat : 21743 (java) R 21709 21709 14983 0 -1 4202560 7627 0 0 0 62472 13 0 0 20 0 19 0 445006704 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971698017104 139971868797712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21744] ppid=21709 vsize=15420488 memory=2012 CPUtime=624.89 cores=0,2,4,6
/proc/21711/task/21744/stat : 21744 (java) R 21709 21709 14983 0 -1 4202560 12449 0 0 0 62471 18 0 0 20 0 19 0 445006704 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971700124256 139971868746168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
[pid=21711/tid=21745] ppid=21709 vsize=15420488 memory=1388 CPUtime=625.72 cores=0,2,4,6
/proc/21711/task/21745/stat : 21745 (java) R 21709 21709 14983 0 -1 4202560 3609 0 0 0 62568 4 0 0 20 0 19 0 445006704 15790579712 510363 33554432000 4194304 4196468 140730389517280 139971695910208 139971868135490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9256960 140730389521391 140730389521562 140730389521562 140730389524431 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 2042904 KiB

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

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

[startup+635.293 s]
# the end of solver process 21711 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.65 s, system=0.96338 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): 635.293
CPU time (s): 2520.62
CPU user time (s): 2519.65
CPU system time (s): 0.96338
CPU usage (%): 396.765
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 2177600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.96338
maximum resident set size= 2202980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37832
involuntary context switches= 39227


# summary of solver processes directly reported to runsolver:
#   pid: 21709,21711
#   total CPU time (s): 2520.62
#   total CPU user time (s): 2519.65
#   total CPU system time (s): 0.96338

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99943 second user time and 7.01393 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml
MD5SUM	395c447fdc403b125102e151795ddb76
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	24
Best CPU time to get the best result obtained on this benchmark	29.6788
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	8260
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	3
Maximum variable degree	129
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":8260}]
Number of extensional constraints	0
Number of intensional constraints	8260
Distribution of constraint types	[{"type":"intension","count":8260}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399406

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
