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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-24	SAT	2.78579	1.16533
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 (13142 MiB free)
  memory of node 1: 16384 MiB (12479 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405832-1569400161/watcher-4405832-1569400161 -o /var/tmp/evaluation-result-4405832-1569400161/solver-4405832-1569400161 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569396625-26122 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4405832-1569400161.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 1.93 1.90 1.74 4/229 27450
/proc/meminfo: memFree=26220440/32770624 swapFree=67002128/67108860
[pid=27434] ppid=27431 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264685 115843072 364 33554432000 4194304 5098028 140727991024336 140727991022440 140682483868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9965568 140727991026519 140727991026777 140727991026777 140727991029702 0
/proc/27434/statm: 28282 364 305 221 0 87 0
[pid=27436] ppid=27434 vsize=15144776 memory=29728 CPUtime=0.13 cores=1,3,5,7
/proc/27436/stat : 27436 (java) S 27434 27434 26090 0 -1 1077944320 5849 0 0 0 13 0 0 0 20 0 15 0 516264685 15508250624 7432 33554432000 4194304 4196468 140726259557184 140726259539728 140451395088119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
/proc/27436/statm: 3786194 7432 3154 1 0 3748377 0
[pid=27436/tid=27437] ppid=27434 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27436/task/27437/stat : 27437 (java) R 27434 27434 26090 0 -1 4202560 3729 0 0 0 9 0 0 0 20 0 15 0 516264686 15508250624 7432 33554432000 4194304 4196468 140726259557184 140451399317760 140451395100054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27438] ppid=27434 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27438/stat : 27438 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15508250624 7432 33554432000 4194304 4196468 140726259557184 140451347708560 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27439] ppid=27434 vsize=15144776 memory=140193728341632 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27439/stat : 27439 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264686 15508250624 7432 33554432000 4194304 4196468 140726259557184 140451346655760 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27440] ppid=27434 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27440/stat : 27440 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15508250624 7432 33554432000 4194304 4196468 140726259557184 140451345602960 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27441] ppid=27434 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27441/stat : 27441 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15508250624 7432 33554432000 4194304 4196468 140726259557184 140451344550160 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27442] ppid=27434 vsize=15144776 memory=140193728341632 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27442/stat : 27442 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264688 15508250624 7432 33554432000 4194304 4196468 140726259557184 140450537610096 140451395099266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27443] ppid=27434 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27443/stat : 27443 (java) S 27434 27434 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264688 15508250624 7432 33554432000 4194304 4196468 140726259557184 140450536556064 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27444] ppid=27434 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27444/stat : 27444 (java) S 27434 27434 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264688 15508250624 7432 33554432000 4194304 4196468 140726259557184 140450535503216 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27445] ppid=27434 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27445/stat : 27445 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15508250624 7432 33554432000 4194304 4196468 140726259557184 140450534451536 140451395106715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27446] ppid=27434 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27446/stat : 27446 (java) S 27434 27434 26090 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 516264691 15508250624 7432 33554432000 4194304 4196468 140726259557184 140450533398896 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27447] ppid=27434 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27447/stat : 27447 (java) S 27434 27434 26090 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516264691 15508250624 7432 33554432000 4194304 4196468 140726259557184 140450532346096 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27448] ppid=27434 vsize=15144776 memory=140193728341632 CPUtime=0.02 cores=1,3,5,7
/proc/27436/task/27448/stat : 27448 (java) R 27434 27434 26090 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 516264691 15508250624 7432 33554432000 4194304 4196468 140726259557184 140450463737968 140451395100054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27449] ppid=27434 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27449/stat : 27449 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15508250624 7432 33554432000 4194304 4196468 140726259557184 140450462685408 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27450] ppid=27434 vsize=15144776 memory=140193728341632 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27450/stat : 27450 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264691 15508250624 7432 33554432000 4194304 4196468 140726259557184 140450461633712 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31184 KiB

[startup+0.211209 s]*
/proc/loadavg: 1.93 1.90 1.74 3/229 27450
/proc/meminfo: memFree=26207460/32770624 swapFree=67002128/67108860
[pid=27434] ppid=27431 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264685 115843072 364 33554432000 4194304 5098028 140727991024336 140727991022440 140682483868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9965568 140727991026519 140727991026777 140727991026777 140727991029702 0
/proc/27434/statm: 28282 364 305 221 0 87 0
[pid=27436] ppid=27434 vsize=15144776 memory=41076 CPUtime=0.35 cores=1,3,5,7
/proc/27436/stat : 27436 (java) S 27434 27434 26090 0 -1 1077944320 9505 0 0 0 33 2 0 0 20 0 15 0 516264685 15508250624 10269 33554432000 4194304 4196468 140726259557184 140726259539728 140451395088119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
/proc/27436/statm: 3786194 10269 3307 1 0 3748377 0
[pid=27436/tid=27437] ppid=27434 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27436/task/27437/stat : 27437 (java) R 27434 27434 26090 0 -1 4202560 6649 0 0 0 19 1 0 0 20 0 15 0 516264686 15508250624 10269 33554432000 4194304 4196468 140726259557184 140451399323104 140451395100054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27438] ppid=27434 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27438/stat : 27438 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15508250624 10269 33554432000 4194304 4196468 140726259557184 140451347708560 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27439] ppid=27434 vsize=15144776 memory=140193732175241 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27439/stat : 27439 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264686 15508250624 10269 33554432000 4194304 4196468 140726259557184 140451346655760 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27440] ppid=27434 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27440/stat : 27440 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15508250624 10269 33554432000 4194304 4196468 140726259557184 140451345602960 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27441] ppid=27434 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27441/stat : 27441 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15508250624 10269 33554432000 4194304 4196468 140726259557184 140451344550160 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27442] ppid=27434 vsize=15144776 memory=140193728341632 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27442/stat : 27442 (java) S 27434 27434 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516264688 15508250624 10269 33554432000 4194304 4196468 140726259557184 140450537610096 140451395099266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27443] ppid=27434 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27443/stat : 27443 (java) S 27434 27434 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264688 15508250624 10269 33554432000 4194304 4196468 140726259557184 140450536556064 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27444] ppid=27434 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27444/stat : 27444 (java) S 27434 27434 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264688 15508250624 10269 33554432000 4194304 4196468 140726259557184 140450535503216 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27445] ppid=27434 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27445/stat : 27445 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15508250624 10269 33554432000 4194304 4196468 140726259557184 140450534451536 140451395106715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27446] ppid=27434 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27436/task/27446/stat : 27446 (java) S 27434 27434 26090 0 -1 1077944384 621 0 0 0 3 0 0 0 20 0 15 0 516264691 15508250624 10269 33554432000 4194304 4196468 140726259557184 140450533398896 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27447] ppid=27434 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27436/task/27447/stat : 27447 (java) S 27434 27434 26090 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 516264691 15508250624 10269 33554432000 4194304 4196468 140726259557184 140450532346096 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27448] ppid=27434 vsize=15144776 memory=140193728341632 CPUtime=0.08 cores=1,3,5,7
/proc/27436/task/27448/stat : 27448 (java) R 27434 27434 26090 0 -1 4202560 735 0 0 0 8 0 0 0 20 0 15 0 516264691 15508250624 10269 33554432000 4194304 4196468 140726259557184 140450463737968 140451395109466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27449] ppid=27434 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27449/stat : 27449 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15508250624 10269 33554432000 4194304 4196468 140726259557184 140450462685408 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27450] ppid=27434 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27450/stat : 27450 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264691 15508250624 10269 33554432000 4194304 4196468 140726259557184 140450461633712 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42532 KiB

[startup+0.317459 s]*
/proc/loadavg: 1.93 1.90 1.74 4/229 27450
/proc/meminfo: memFree=26200428/32770624 swapFree=67002128/67108860
[pid=27434] ppid=27431 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264685 115843072 364 33554432000 4194304 5098028 140727991024336 140727991022440 140682483868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9965568 140727991026519 140727991026777 140727991026777 140727991029702 0
/proc/27434/statm: 28282 364 305 221 0 87 0
[pid=27436] ppid=27434 vsize=15149032 memory=50608 CPUtime=0.54 cores=1,3,5,7
/proc/27436/stat : 27436 (java) S 27434 27434 26090 0 -1 1077944320 10951 0 0 0 51 3 0 0 20 0 15 0 516264685 15512608768 12652 33554432000 4194304 4196468 140726259557184 140726259539728 140451395088119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
/proc/27436/statm: 3787258 12652 3357 1 0 3748377 0
[pid=27436/tid=27437] ppid=27434 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/27436/task/27437/stat : 27437 (java) R 27434 27434 26090 0 -1 4202560 7926 0 0 0 28 2 0 0 20 0 15 0 516264686 15512608768 12652 33554432000 4194304 4196468 140726259557184 140451399317952 140451379168606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27438] ppid=27434 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27438/stat : 27438 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15512608768 12652 33554432000 4194304 4196468 140726259557184 140451347708560 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27439] ppid=27434 vsize=15149032 memory=3844132 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27439/stat : 27439 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264686 15512608768 12652 33554432000 4194304 4196468 140726259557184 140451346655760 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27440] ppid=27434 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27440/stat : 27440 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15512608768 12652 33554432000 4194304 4196468 140726259557184 140451345602960 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27441] ppid=27434 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27441/stat : 27441 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15512608768 12652 33554432000 4194304 4196468 140726259557184 140451344550160 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27442] ppid=27434 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27442/stat : 27442 (java) S 27434 27434 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516264688 15512608768 12652 33554432000 4194304 4196468 140726259557184 140450537610096 140451395099266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27443] ppid=27434 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27443/stat : 27443 (java) S 27434 27434 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264688 15512608768 12652 33554432000 4194304 4196468 140726259557184 140450536556064 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27444] ppid=27434 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27444/stat : 27444 (java) S 27434 27434 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264688 15512608768 12652 33554432000 4194304 4196468 140726259557184 140450535503216 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27445] ppid=27434 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27445/stat : 27445 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15512608768 12652 33554432000 4194304 4196468 140726259557184 140450534451536 140451395106715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27446] ppid=27434 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27436/task/27446/stat : 27446 (java) S 27434 27434 26090 0 -1 1077944384 636 0 0 0 5 0 0 0 20 0 15 0 516264691 15512608768 12652 33554432000 4194304 4196468 140726259557184 140450533398896 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27447] ppid=27434 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27436/task/27447/stat : 27447 (java) S 27434 27434 26090 0 -1 1077944384 284 0 0 0 4 0 0 0 20 0 15 0 516264691 15512608768 12652 33554432000 4194304 4196468 140726259557184 140450532346096 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27448] ppid=27434 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27436/task/27448/stat : 27448 (java) S 27434 27434 26090 0 -1 1077944384 801 0 0 0 12 0 0 0 20 0 15 0 516264691 15512608768 12652 33554432000 4194304 4196468 140726259557184 140450463737968 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27449] ppid=27434 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27449/stat : 27449 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15512608768 12652 33554432000 4194304 4196468 140726259557184 140450462685408 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27450] ppid=27434 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27450/stat : 27450 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264691 15512608768 12652 33554432000 4194304 4196468 140726259557184 140450461633712 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52064 KiB

[startup+0.700868 s]
/proc/loadavg: 1.94 1.90 1.74 7/229 27450
/proc/meminfo: memFree=26187376/32770624 swapFree=67002128/67108860
[pid=27434] ppid=27431 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264685 115843072 364 33554432000 4194304 5098028 140727991024336 140727991022440 140682483868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9965568 140727991026519 140727991026777 140727991026777 140727991029702 0
/proc/27434/statm: 28282 364 305 221 0 87 0
[pid=27436] ppid=27434 vsize=15151156 memory=76688 CPUtime=1.59 cores=1,3,5,7
/proc/27436/stat : 27436 (java) S 27434 27434 26090 0 -1 1077944320 14382 0 0 0 154 5 0 0 20 0 15 0 516264685 15514783744 19172 33554432000 4194304 4196468 140726259557184 140726259539728 140451395088119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
/proc/27436/statm: 3787789 19172 3449 1 0 3748889 0
[pid=27436/tid=27437] ppid=27434 vsize=15151156 memory=36124 CPUtime=0.68 cores=1,3,5,7
/proc/27436/task/27437/stat : 27437 (java) R 27434 27434 26090 0 -1 4202560 9014 0 0 0 65 3 0 0 20 0 15 0 516264686 15514783744 19172 33554432000 4194304 4196468 140726259557184 140451399320888 140451017542352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27438] ppid=27434 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27438/stat : 27438 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 19172 33554432000 4194304 4196468 140726259557184 140451347708560 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27439] ppid=27434 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27439/stat : 27439 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 19172 33554432000 4194304 4196468 140726259557184 140451346655760 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27440] ppid=27434 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27440/stat : 27440 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 19172 33554432000 4194304 4196468 140726259557184 140451345602960 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27441] ppid=27434 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27441/stat : 27441 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 19172 33554432000 4194304 4196468 140726259557184 140451344550160 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27442] ppid=27434 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27442/stat : 27442 (java) S 27434 27434 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 19172 33554432000 4194304 4196468 140726259557184 140450537610096 140451395099266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27443] ppid=27434 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27443/stat : 27443 (java) S 27434 27434 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 19172 33554432000 4194304 4196468 140726259557184 140450536556064 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27444] ppid=27434 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27444/stat : 27444 (java) S 27434 27434 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 19172 33554432000 4194304 4196468 140726259557184 140450535503216 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27445] ppid=27434 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27445/stat : 27445 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 19172 33554432000 4194304 4196468 140726259557184 140450534451536 140451395106715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27446] ppid=27434 vsize=15151156 memory=2676 CPUtime=0.31 cores=1,3,5,7
/proc/27436/task/27446/stat : 27446 (java) R 27434 27434 26090 0 -1 4202560 1661 0 0 0 31 0 0 0 20 0 15 0 516264691 15514783744 19172 33554432000 4194304 4196468 140726259557184 140450533386768 140451375788734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27447] ppid=27434 vsize=15151156 memory=1764 CPUtime=0.29 cores=1,3,5,7
/proc/27436/task/27447/stat : 27447 (java) R 27434 27434 26090 0 -1 4202560 1164 0 0 0 29 0 0 0 20 0 15 0 516264691 15514783744 19172 33554432000 4194304 4196468 140726259557184 140450532346096 140451378574078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27448] ppid=27434 vsize=15151156 memory=111632 CPUtime=0.28 cores=1,3,5,7
/proc/27436/task/27448/stat : 27448 (java) S 27434 27434 26090 0 -1 1077944384 1232 0 0 0 28 0 0 0 20 0 15 0 516264691 15514783744 19172 33554432000 4194304 4196468 140726259557184 140450463737968 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27449] ppid=27434 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27449/stat : 27449 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 19172 33554432000 4194304 4196468 140726259557184 140450462685408 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27450] ppid=27434 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27450/stat : 27450 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 19172 33554432000 4194304 4196468 140726259557184 140450461633712 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 78144 KiB

[startup+1.16528 s]
# the end of solver process 27434 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.71164 s, system=0.074155 s

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

[startup+0.801002 s]
/proc/loadavg: 1.94 1.90 1.74 7/229 27450
/proc/meminfo: memFree=26187376/32770624 swapFree=67002128/67108860
[pid=27434] ppid=27431 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264685 115843072 364 33554432000 4194304 5098028 140727991024336 140727991022440 140682483868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9965568 140727991026519 140727991026777 140727991026777 140727991029702 0
/proc/27434/statm: 28282 364 305 221 0 87 0
[pid=27436] ppid=27434 vsize=15151156 memory=85192 CPUtime=1.9 cores=1,3,5,7
/proc/27436/stat : 27436 (java) S 27434 27434 26090 0 -1 1077944320 14968 0 0 0 185 5 0 0 20 0 15 0 516264685 15514783744 21298 33554432000 4194304 4196468 140726259557184 140726259539728 140451395088119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
/proc/27436/statm: 3787789 21298 3449 1 0 3748889 0
[pid=27436/tid=27437] ppid=27434 vsize=15151156 memory=280387142378944 CPUtime=0.77 cores=1,3,5,7
/proc/27436/task/27437/stat : 27437 (java) R 27434 27434 26090 0 -1 4202560 9017 0 0 0 74 3 0 0 20 0 15 0 516264686 15514783744 21298 33554432000 4194304 4196468 140726259557184 140451399320888 140451021208064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27438] ppid=27434 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27438/stat : 27438 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 21298 33554432000 4194304 4196468 140726259557184 140451347708560 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27439] ppid=27434 vsize=15151156 memory=288230583199596876 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27439/stat : 27439 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 21298 33554432000 4194304 4196468 140726259557184 140451346655760 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27440] ppid=27434 vsize=15151156 memory=3470735 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27440/stat : 27440 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 21298 33554432000 4194304 4196468 140726259557184 140451345602960 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27441] ppid=27434 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27441/stat : 27441 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 21298 33554432000 4194304 4196468 140726259557184 140451344550160 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27442] ppid=27434 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27442/stat : 27442 (java) S 27434 27434 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 21298 33554432000 4194304 4196468 140726259557184 140450537610096 140451395099266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27443] ppid=27434 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27443/stat : 27443 (java) S 27434 27434 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 21298 33554432000 4194304 4196468 140726259557184 140450536556064 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27444] ppid=27434 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27444/stat : 27444 (java) S 27434 27434 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 21298 33554432000 4194304 4196468 140726259557184 140450535503216 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27445] ppid=27434 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27445/stat : 27445 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 21298 33554432000 4194304 4196468 140726259557184 140450534451536 140451395106715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27446] ppid=27434 vsize=15151156 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/27436/task/27446/stat : 27446 (java) R 27434 27434 26090 0 -1 4202560 1884 0 0 0 41 0 0 0 20 0 15 0 516264691 15514783744 21298 33554432000 4194304 4196468 140726259557184 140450533390224 140451378582538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27447] ppid=27434 vsize=15151156 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/27436/task/27447/stat : 27447 (java) R 27434 27434 26090 0 -1 4202560 1490 0 0 0 39 0 0 0 20 0 15 0 516264691 15514783744 21298 33554432000 4194304 4196468 140726259557184 140450532332880 140451374781215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27448] ppid=27434 vsize=15151156 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/27436/task/27448/stat : 27448 (java) S 27434 27434 26090 0 -1 1077944384 1266 0 0 0 29 0 0 0 20 0 15 0 516264691 15514783744 21298 33554432000 4194304 4196468 140726259557184 140450463737968 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27449] ppid=27434 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27449/stat : 27449 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 21298 33554432000 4194304 4196468 140726259557184 140450462685408 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27450] ppid=27434 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27450/stat : 27450 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 21298 33554432000 4194304 4196468 140726259557184 140450461633712 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 86648 KiB

[startup+1.00196 s]*
/proc/loadavg: 1.94 1.90 1.74 4/229 27450
/proc/meminfo: memFree=26141896/32770624 swapFree=67002128/67108860
[pid=27434] ppid=27431 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264685 115843072 364 33554432000 4194304 5098028 140727991024336 140727991022440 140682483868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9965568 140727991026519 140727991026777 140727991026777 140727991029702 0
/proc/27434/statm: 28282 364 305 221 0 87 0
[pid=27436] ppid=27434 vsize=15151156 memory=108520 CPUtime=2.34 cores=1,3,5,7
/proc/27436/stat : 27436 (java) S 27434 27434 26090 0 -1 1077944320 15178 0 0 0 228 6 0 0 20 0 15 0 516264685 15514783744 27130 33554432000 4194304 4196468 140726259557184 140726259539728 140451395088119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
/proc/27436/statm: 3787789 27130 3449 1 0 3748889 0
[pid=27436/tid=27437] ppid=27434 vsize=15151156 memory=4211863184479126159 CPUtime=0.99 cores=1,3,5,7
/proc/27436/task/27437/stat : 27437 (java) R 27434 27434 26090 0 -1 4202560 9028 0 0 0 95 4 0 0 20 0 15 0 516264686 15514783744 27130 33554432000 4194304 4196468 140726259557184 140451399324968 140451395100054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27438] ppid=27434 vsize=15151156 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27438/stat : 27438 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 27130 33554432000 4194304 4196468 140726259557184 140451347708560 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27439] ppid=27434 vsize=15151156 memory=280387299396544 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27439/stat : 27439 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 27130 33554432000 4194304 4196468 140726259557184 140451346655760 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27440] ppid=27434 vsize=15151156 memory=4134606225630022328 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27440/stat : 27440 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 27130 33554432000 4194304 4196468 140726259557184 140451345602960 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27441] ppid=27434 vsize=15151156 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27441/stat : 27441 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 27130 33554432000 4194304 4196468 140726259557184 140451344550160 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27442] ppid=27434 vsize=15151156 memory=3472468489956021936 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27442/stat : 27442 (java) S 27434 27434 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 27130 33554432000 4194304 4196468 140726259557184 140450537610096 140451395099266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27443] ppid=27434 vsize=15151156 memory=3472328295574037100 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27443/stat : 27443 (java) S 27434 27434 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 27130 33554432000 4194304 4196468 140726259557184 140450536556064 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27444] ppid=27434 vsize=15151156 memory=6944652027076318631 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27444/stat : 27444 (java) S 27434 27434 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 27130 33554432000 4194304 4196468 140726259557184 140450535503216 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27445] ppid=27434 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27445/stat : 27445 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 27130 33554432000 4194304 4196468 140726259557184 140450534451536 140451395106715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27446] ppid=27434 vsize=15151156 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/27436/task/27446/stat : 27446 (java) S 27434 27434 26090 0 -1 1077944384 1972 0 0 0 51 0 0 0 20 0 15 0 516264691 15514783744 27130 33554432000 4194304 4196468 140726259557184 140450533398896 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27447] ppid=27434 vsize=15151156 memory=3905500701923620913 CPUtime=0.5 cores=1,3,5,7
/proc/27436/task/27447/stat : 27447 (java) S 27434 27434 26090 0 -1 1077944384 1572 0 0 0 50 0 0 0 20 0 15 0 516264691 15514783744 27130 33554432000 4194304 4196468 140726259557184 140450532346096 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27448] ppid=27434 vsize=15151156 memory=140193728341632 CPUtime=0.3 cores=1,3,5,7
/proc/27436/task/27448/stat : 27448 (java) R 27434 27434 26090 0 -1 4202560 1295 0 0 0 30 0 0 0 20 0 15 0 516264691 15514783744 27130 33554432000 4194304 4196468 140726259557184 140450463737968 140451373692417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27449] ppid=27434 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27449/stat : 27449 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 27130 33554432000 4194304 4196468 140726259557184 140450462685408 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27450] ppid=27434 vsize=15151156 memory=140193728341632 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27450/stat : 27450 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 27130 33554432000 4194304 4196468 140726259557184 140450461633712 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 109976 KiB

[startup+1.11051 s]
/proc/loadavg: 1.94 1.90 1.74 4/229 27450
/proc/meminfo: memFree=26141896/32770624 swapFree=67002128/67108860
[pid=27434] ppid=27431 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516264685 115843072 364 33554432000 4194304 5098028 140727991024336 140727991022440 140682483868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9965568 140727991026519 140727991026777 140727991026777 140727991029702 0
/proc/27434/statm: 28282 364 305 221 0 87 0
[pid=27436] ppid=27434 vsize=15151156 memory=110968 CPUtime=2.64 cores=1,3,5,7
/proc/27436/stat : 27436 (java) S 27434 27434 26090 0 -1 1077944320 19323 0 0 0 258 6 0 0 20 0 15 0 516264685 15514783744 27742 33554432000 4194304 4196468 140726259557184 140726259539728 140451395088119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
/proc/27436/statm: 3787789 27742 3457 1 0 3748889 0
[pid=27436/tid=27437] ppid=27434 vsize=15151156 memory=36124 CPUtime=1.09 cores=1,3,5,7
/proc/27436/task/27437/stat : 27437 (java) R 27434 27434 26090 0 -1 4202560 9495 0 0 0 105 4 0 0 20 0 15 0 516264686 15514783744 27742 33554432000 4194304 4196468 140726259557184 140451399323264 140451395100054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27438] ppid=27434 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27438/stat : 27438 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 27742 33554432000 4194304 4196468 140726259557184 140451347708560 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27439] ppid=27434 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27439/stat : 27439 (java) S 27434 27434 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 27742 33554432000 4194304 4196468 140726259557184 140451346655760 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27440] ppid=27434 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27440/stat : 27440 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 27742 33554432000 4194304 4196468 140726259557184 140451345602960 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27441] ppid=27434 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27441/stat : 27441 (java) S 27434 27434 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516264686 15514783744 27742 33554432000 4194304 4196468 140726259557184 140451344550160 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27442] ppid=27434 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27442/stat : 27442 (java) S 27434 27434 26090 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 27742 33554432000 4194304 4196468 140726259557184 140450537610096 140451395099266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27443] ppid=27434 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27443/stat : 27443 (java) S 27434 27434 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 27742 33554432000 4194304 4196468 140726259557184 140450536556064 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27444] ppid=27434 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27444/stat : 27444 (java) S 27434 27434 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516264688 15514783744 27742 33554432000 4194304 4196468 140726259557184 140450535503216 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27445] ppid=27434 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27445/stat : 27445 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 27742 33554432000 4194304 4196468 140726259557184 140450534451536 140451395106715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27446] ppid=27434 vsize=15151156 memory=2676 CPUtime=0.6 cores=1,3,5,7
/proc/27436/task/27446/stat : 27446 (java) R 27434 27434 26090 0 -1 4202560 3377 0 0 0 60 0 0 0 20 0 15 0 516264691 15514783744 27742 33554432000 4194304 4196468 140726259557184 140450533385440 140451373110714 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27447] ppid=27434 vsize=15151156 memory=1764 CPUtime=0.59 cores=1,3,5,7
/proc/27436/task/27447/stat : 27447 (java) R 27434 27434 26090 0 -1 4202560 3376 0 0 0 59 0 0 0 20 0 15 0 516264691 15514783744 27742 33554432000 4194304 4196468 140726259557184 140450532339120 140451374443119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27448] ppid=27434 vsize=15151156 memory=111632 CPUtime=0.32 cores=1,3,5,7
/proc/27436/task/27448/stat : 27448 (java) S 27434 27434 26090 0 -1 1077944384 1696 0 0 0 32 0 0 0 20 0 15 0 516264691 15514783744 27742 33554432000 4194304 4196468 140726259557184 140450463737968 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27449] ppid=27434 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27449/stat : 27449 (java) S 27434 27434 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 27742 33554432000 4194304 4196468 140726259557184 140450462685408 140451395098325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
[pid=27436/tid=27450] ppid=27434 vsize=15151156 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/27436/task/27450/stat : 27450 (java) S 27434 27434 26090 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 516264691 15514783744 27742 33554432000 4194304 4196468 140726259557184 140450461633712 140451395099266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8052736 140726259565531 140726259565706 140726259565706 140726259568591 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 112424 KiB

Child status: 0
Real time (s): 1.16533
CPU time (s): 2.78579
CPU user time (s): 2.71164
CPU system time (s): 0.074155
CPU usage (%): 239.055
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 112424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.71164
system time used= 0.074155
maximum resident set size= 111380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1590
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 27434
#   total CPU time (s): 2.78579
#   total CPU user time (s): 2.71164
#   total CPU system time (s): 0.074155

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031937 second user time and 0.057008 second system time

The end
Name	MagicSequence/MagicSequence-card-s1/ MagicSequence-800-ca.xml
MD5SUM	bba643cbf375a501e11ba296082ede1c
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	2.78579
Satisfiable
(Un)Satisfiability was proved
Number of variables	800
Number of constraints	3
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":800}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":800}]
Minimum constraint arity	800
Maximum constraint arity	800
Distribution of constraint arities	[{"arity":800,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective
Trace number 4405832

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
