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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT	2.09092	1.311
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 (15345 MiB free)
  memory of node 1: 16384 MiB (12957 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282195-1503158698/watcher-4282195-1503158698 -o /tmp/evaluation-result-4282195-1503158698/solver-4282195-1503158698 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1675922286 HOME/instance-4282195-1503158698.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=29556, runsolver pid=29553

[startup+0.100096 s]*
/proc/loadavg: 4.02 4.06 3.35 3/207 29563
/proc/meminfo: memFree=28976120/32770624 swapFree=67108860/67108860
[pid=29556] ppid=29553 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29556/stat : 29556 (xcsp3-exec) S 29553 29556 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278891 9740288 345 18446744073709551615 4194304 5098028 140725893833040 140725893831144 140234477081212 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10252288 140725893837177 140725893837382 140725893837382 140725893840875 0
/proc/29556/statm: 2378 345 289 221 0 87 0
[pid=29558] ppid=29556 vsize=13358712 memory=14896 CPUtime=0.01 cores=0,2,4,6
/proc/29558/stat : 29558 (java) S 29556 29556 17292 0 -1 1077944320 3478 0 0 0 1 0 0 0 20 0 6 0 14278900 13679321088 3724 18446744073709551615 4194304 4196468 140726860954256 140726860936800 140625336413943 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
/proc/29558/statm: 3339678 3724 1905 1 0 3329175 0
[pid=29558/tid=29559] ppid=29556 vsize=13358712 memory=-6871798056524144002 CPUtime=0.01 cores=0,2,4,6
/proc/29558/task/29559/stat : 29559 (java) R 29556 29556 17292 0 -1 4202560 2236 0 0 0 1 0 0 0 20 0 6 0 14278900 13679321088 3724 18446744073709551615 4194304 4196468 140726860954256 140625340650064 140625320494430 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29560] ppid=29556 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29560/stat : 29560 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 14278901 13679321088 3724 18446744073709551615 4194304 4196468 140726860954256 140625293379984 140625336424149 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29561] ppid=29556 vsize=13358712 memory=140108095665792 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29561/stat : 29561 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14278901 13679321088 3724 18446744073709551615 4194304 4196468 140726860954256 140625292327184 140625336424149 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29562] ppid=29556 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29562/stat : 29562 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 6 0 14278901 13679321088 3724 18446744073709551615 4194304 4196468 140726860954256 140625291274896 140625336424149 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29563] ppid=29556 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29563/stat : 29563 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 14278901 13679321088 3724 18446744073709551615 4194304 4196468 140726860954256 140625290222096 140625336424149 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16276 KiB

[startup+0.211014 s]*
/proc/loadavg: 4.02 4.06 3.35 3/216 29572
/proc/meminfo: memFree=28967736/32770624 swapFree=67108860/67108860
[pid=29556] ppid=29553 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29556/stat : 29556 (xcsp3-exec) S 29553 29556 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278891 9740288 345 18446744073709551615 4194304 5098028 140725893833040 140725893831144 140234477081212 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10252288 140725893837177 140725893837382 140725893837382 140725893840875 0
/proc/29556/statm: 2378 345 289 221 0 87 0
[pid=29558] ppid=29556 vsize=13974352 memory=27280 CPUtime=0.08 cores=0,2,4,6
/proc/29558/stat : 29558 (java) S 29556 29556 17292 0 -1 1077944320 5231 0 0 0 7 1 0 0 20 0 15 0 14278900 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140726860936800 140625336413943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
/proc/29558/statm: 3493588 6820 2721 1 0 3482964 0
[pid=29558/tid=29559] ppid=29556 vsize=13974352 memory=8390339637985935414 CPUtime=0.05 cores=0,2,4,6
/proc/29558/task/29559/stat : 29559 (java) R 29556 29556 17292 0 -1 4202560 3377 0 0 0 5 0 0 0 20 0 15 0 14278900 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140625340639632 140625336435869 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29560] ppid=29556 vsize=13974352 memory=288230613264378254 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29560/stat : 29560 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278901 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140625293379984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29561] ppid=29556 vsize=13974352 memory=140108095693374 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29561/stat : 29561 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278901 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140625292327184 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29562] ppid=29556 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29562/stat : 29562 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278901 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140625291274896 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29563] ppid=29556 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29563/stat : 29563 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278901 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140625290222096 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29564] ppid=29556 vsize=13974352 memory=140108095665792 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29564/stat : 29564 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278902 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140624454494832 140625336425090 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29565] ppid=29556 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29565/stat : 29565 (java) S 29556 29556 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14278903 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140624453440800 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29566] ppid=29556 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29566/stat : 29566 (java) S 29556 29556 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14278903 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140624452388464 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29567] ppid=29556 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29567/stat : 29567 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140624451336784 140625336432539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29568] ppid=29556 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29568/stat : 29568 (java) S 29556 29556 17292 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 14278906 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140624450283632 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29569] ppid=29556 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29569/stat : 29569 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140624449230832 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29570] ppid=29556 vsize=13974352 memory=140108095665792 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29570/stat : 29570 (java) S 29556 29556 17292 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 14278906 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140624448178544 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29571] ppid=29556 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29571/stat : 29571 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140624447125984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29572] ppid=29556 vsize=13974352 memory=140108095665792 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29572/stat : 29572 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278912 14309736448 6820 18446744073709551615 4194304 4196468 140726860954256 140624446073776 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28660 KiB

[startup+0.310825 s]*
/proc/loadavg: 4.02 4.06 3.35 3/216 29572
/proc/meminfo: memFree=28951884/32770624 swapFree=67108860/67108860
[pid=29556] ppid=29553 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29556/stat : 29556 (xcsp3-exec) S 29553 29556 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278891 9740288 345 18446744073709551615 4194304 5098028 140725893833040 140725893831144 140234477081212 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10252288 140725893837177 140725893837382 140725893837382 140725893840875 0
/proc/29556/statm: 2378 345 289 221 0 87 0
[pid=29558] ppid=29556 vsize=13974352 memory=39104 CPUtime=0.26 cores=0,2,4,6
/proc/29558/stat : 29558 (java) S 29556 29556 17292 0 -1 1077944320 8846 0 0 0 24 2 0 0 20 0 15 0 14278900 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140726860936800 140625336413943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
/proc/29558/statm: 3493588 9776 2984 1 0 3482964 0
[pid=29558/tid=29559] ppid=29556 vsize=13974352 memory=8390339637985935414 CPUtime=0.16 cores=0,2,4,6
/proc/29558/task/29559/stat : 29559 (java) R 29556 29556 17292 0 -1 4202560 6064 0 0 0 14 2 0 0 20 0 15 0 14278900 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140625340649408 140625336435869 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29560] ppid=29556 vsize=13974352 memory=301741412146489742 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29560/stat : 29560 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278901 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140625293379984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29561] ppid=29556 vsize=13974352 memory=140108095693374 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29561/stat : 29561 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278901 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140625292327184 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29562] ppid=29556 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29562/stat : 29562 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278901 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140625291274896 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29563] ppid=29556 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29563/stat : 29563 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278901 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140625290222096 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29564] ppid=29556 vsize=13974352 memory=8392725983852964065 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29564/stat : 29564 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278902 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140624454494832 140625336425090 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29565] ppid=29556 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29565/stat : 29565 (java) S 29556 29556 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14278903 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140624453440800 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29566] ppid=29556 vsize=13974352 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29566/stat : 29566 (java) S 29556 29556 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14278903 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140624452388464 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29567] ppid=29556 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29567/stat : 29567 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140624451336784 140625336432539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29568] ppid=29556 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29558/task/29568/stat : 29568 (java) S 29556 29556 17292 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 14278906 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140624450283632 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29569] ppid=29556 vsize=13974352 memory=3472328279047811119 CPUtime=0.01 cores=0,2,4,6
/proc/29558/task/29569/stat : 29569 (java) S 29556 29556 17292 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 14278906 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140624449230832 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29570] ppid=29556 vsize=13974352 memory=140108095665792 CPUtime=0.05 cores=0,2,4,6
/proc/29558/task/29570/stat : 29570 (java) S 29556 29556 17292 0 -1 1077944384 710 0 0 0 5 0 0 0 20 0 15 0 14278906 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140624448178544 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29571] ppid=29556 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29571/stat : 29571 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140624447125984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29572] ppid=29556 vsize=13974352 memory=140108095665792 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29572/stat : 29572 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278912 14309736448 9776 18446744073709551615 4194304 4196468 140726860954256 140624446073776 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40484 KiB

[startup+0.702448 s]
/proc/loadavg: 4.02 4.06 3.35 5/216 29572
/proc/meminfo: memFree=28940224/32770624 swapFree=67108860/67108860
[pid=29556] ppid=29553 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29556/stat : 29556 (xcsp3-exec) S 29553 29556 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278891 9740288 345 18446744073709551615 4194304 5098028 140725893833040 140725893831144 140234477081212 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10252288 140725893837177 140725893837382 140725893837382 140725893840875 0
/proc/29556/statm: 2378 345 289 221 0 87 0
[pid=29558] ppid=29556 vsize=13980732 memory=84676 CPUtime=1.17 cores=0,2,4,6
/proc/29558/stat : 29558 (java) S 29556 29556 17292 0 -1 1077944320 12665 0 0 0 112 5 0 0 20 0 15 0 14278900 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140726860936800 140625336413943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
/proc/29558/statm: 3495183 21169 3159 1 0 3483476 0
[pid=29558/tid=29559] ppid=29556 vsize=13980732 memory=2467123168769 CPUtime=0.54 cores=0,2,4,6
/proc/29558/task/29559/stat : 29559 (java) R 29556 29556 17292 0 -1 4202560 8461 0 0 0 50 4 0 0 20 0 15 0 14278900 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140625340652240 140625336435290 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29560] ppid=29556 vsize=13980732 memory=2484303037953 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29560/stat : 29560 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140625293379984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29561] ppid=29556 vsize=13980732 memory=52956 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29561/stat : 29561 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140625292327184 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29562] ppid=29556 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29562/stat : 29562 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140625291274896 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29563] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29563/stat : 29563 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140625290222096 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29564] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29564/stat : 29564 (java) S 29556 29556 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14278902 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140624454494832 140625336425090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29565] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29565/stat : 29565 (java) S 29556 29556 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14278903 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140624453440800 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29566] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29566/stat : 29566 (java) S 29556 29556 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14278903 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140624452388464 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29567] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29567/stat : 29567 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140624451336784 140625336432539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29568] ppid=29556 vsize=13980732 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/29558/task/29568/stat : 29568 (java) R 29556 29556 17292 0 -1 4202560 1026 0 0 0 20 0 0 0 20 0 15 0 14278906 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140624450272432 140625317958047 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29569] ppid=29556 vsize=13980732 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/29558/task/29569/stat : 29569 (java) R 29556 29556 17292 0 -1 4202560 710 0 0 0 19 0 0 0 20 0 15 0 14278906 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140624449222288 140625320801184 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29570] ppid=29556 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/29558/task/29570/stat : 29570 (java) S 29556 29556 17292 0 -1 1077944384 1158 0 0 0 21 0 0 0 20 0 15 0 14278906 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140624448178544 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29571] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29571/stat : 29571 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140624447125984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29572] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29572/stat : 29572 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278912 14316269568 21169 18446744073709551615 4194304 4196468 140726860954256 140624446073776 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 86056 KiB

[startup+1.31097 s]
# the end of solver process 29556 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.03437 s, system=0.056555 s

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

[startup+0.801011 s]
/proc/loadavg: 4.02 4.06 3.35 5/216 29572
/proc/meminfo: memFree=28940224/32770624 swapFree=67108860/67108860
[pid=29556] ppid=29553 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29556/stat : 29556 (xcsp3-exec) S 29553 29556 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278891 9740288 345 18446744073709551615 4194304 5098028 140725893833040 140725893831144 140234477081212 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10252288 140725893837177 140725893837382 140725893837382 140725893840875 0
/proc/29556/statm: 2378 345 289 221 0 87 0
[pid=29558] ppid=29556 vsize=13980732 memory=84788 CPUtime=1.43 cores=0,2,4,6
/proc/29558/stat : 29558 (java) S 29556 29556 17292 0 -1 1077944320 12698 0 0 0 138 5 0 0 20 0 15 0 14278900 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140726860936800 140625336413943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
/proc/29558/statm: 3495183 21197 3160 1 0 3483476 0
[pid=29558/tid=29559] ppid=29556 vsize=13980732 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/29558/task/29559/stat : 29559 (java) R 29556 29556 17292 0 -1 4202560 8461 0 0 0 60 4 0 0 20 0 15 0 14278900 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140625340651024 140624966643894 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29560] ppid=29556 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29560/stat : 29560 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140625293379984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29561] ppid=29556 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29561/stat : 29561 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140625292327184 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29562] ppid=29556 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29562/stat : 29562 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140625291274896 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29563] ppid=29556 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29563/stat : 29563 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140625290222096 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29564] ppid=29556 vsize=13980732 memory=-2895008908443675764 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29564/stat : 29564 (java) S 29556 29556 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14278902 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140624454494832 140625336425090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29565] ppid=29556 vsize=13980732 memory=8332364631144490854 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29565/stat : 29565 (java) S 29556 29556 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14278903 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140624453440800 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29566] ppid=29556 vsize=13980732 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29566/stat : 29566 (java) S 29556 29556 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14278903 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140624452388464 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29567] ppid=29556 vsize=13980732 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29567/stat : 29567 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140624451336784 140625336432539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29568] ppid=29556 vsize=13980732 memory=8514726395715218844 CPUtime=0.28 cores=0,2,4,6
/proc/29558/task/29568/stat : 29568 (java) S 29556 29556 17292 0 -1 1077944384 1047 0 0 0 28 0 0 0 20 0 15 0 14278906 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140624450283632 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29569] ppid=29556 vsize=13980732 memory=4949696295807330948 CPUtime=0.27 cores=0,2,4,6
/proc/29558/task/29569/stat : 29569 (java) S 29556 29556 17292 0 -1 1077944384 721 0 0 0 27 0 0 0 20 0 15 0 14278906 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140624449230832 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29570] ppid=29556 vsize=13980732 memory=9124443767561732153 CPUtime=0.21 cores=0,2,4,6
/proc/29558/task/29570/stat : 29570 (java) S 29556 29556 17292 0 -1 1077944384 1159 0 0 0 21 0 0 0 20 0 15 0 14278906 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140624448178544 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29571] ppid=29556 vsize=13980732 memory=-7677926825137650786 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29571/stat : 29571 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140624447125984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29572] ppid=29556 vsize=13980732 memory=140108095672785 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29572/stat : 29572 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278912 14316269568 21197 18446744073709551615 4194304 4196468 140726860954256 140624446073776 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 86168 KiB

[startup+1.20078 s]
/proc/loadavg: 4.02 4.06 3.35 3/216 29572
/proc/meminfo: memFree=28907736/32770624 swapFree=67108860/67108860
[pid=29556] ppid=29553 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29556/stat : 29556 (xcsp3-exec) S 29553 29556 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278891 9740288 345 18446744073709551615 4194304 5098028 140725893833040 140725893831144 140234477081212 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10252288 140725893837177 140725893837382 140725893837382 140725893840875 0
/proc/29556/statm: 2378 345 289 221 0 87 0
[pid=29558] ppid=29556 vsize=13980732 memory=89424 CPUtime=1.95 cores=0,2,4,6
/proc/29558/stat : 29558 (java) S 29556 29556 17292 0 -1 1077944320 13204 0 0 0 190 5 0 0 20 0 15 0 14278900 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140726860936800 140625336413943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
/proc/29558/statm: 3495183 22356 3170 1 0 3483476 0
[pid=29558/tid=29559] ppid=29556 vsize=13980732 memory=170926133 CPUtime=1.04 cores=0,2,4,6
/proc/29558/task/29559/stat : 29559 (java) R 29556 29556 17292 0 -1 4202560 8700 0 0 0 100 4 0 0 20 0 15 0 14278900 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140625340650928 140624966643899 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29560] ppid=29556 vsize=13980732 memory=7739276948478127727 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29560/stat : 29560 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140625293379984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29561] ppid=29556 vsize=13980732 memory=6935649255861407824 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29561/stat : 29561 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140625292327184 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29562] ppid=29556 vsize=13980732 memory=7100839861566347365 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29562/stat : 29562 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140625291274896 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29563] ppid=29556 vsize=13980732 memory=-5345911753256963030 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29563/stat : 29563 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14278901 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140625290222096 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29564] ppid=29556 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29564/stat : 29564 (java) S 29556 29556 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14278902 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140624454494832 140625336425090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29565] ppid=29556 vsize=13980732 memory=-7533511066075829596 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29565/stat : 29565 (java) S 29556 29556 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14278903 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140624453440800 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29566] ppid=29556 vsize=13980732 memory=-7595718148000617571 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29566/stat : 29566 (java) S 29556 29556 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14278903 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140624452388464 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29567] ppid=29556 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29567/stat : 29567 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140624451336784 140625336432539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29568] ppid=29556 vsize=13980732 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/29558/task/29568/stat : 29568 (java) S 29556 29556 17292 0 -1 1077944384 1059 0 0 0 34 0 0 0 20 0 15 0 14278906 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140624450283632 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29569] ppid=29556 vsize=13980732 memory=140107940402980 CPUtime=0.32 cores=0,2,4,6
/proc/29558/task/29569/stat : 29569 (java) S 29556 29556 17292 0 -1 1077944384 749 0 0 0 32 0 0 0 20 0 15 0 14278906 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140624449230832 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29570] ppid=29556 vsize=13980732 memory=1380 CPUtime=0.23 cores=0,2,4,6
/proc/29558/task/29570/stat : 29570 (java) R 29556 29556 17292 0 -1 4202560 1431 0 0 0 23 0 0 0 20 0 15 0 14278906 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140624448178544 140625315397668 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29571] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29571/stat : 29571 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14278906 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140624447125984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29572] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29572/stat : 29572 (java) S 29556 29556 17292 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 14278912 14316269568 22356 18446744073709551615 4194304 4196468 140726860954256 140624446073776 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 90804 KiB

[startup+1.3007 s]
/proc/loadavg: 4.02 4.06 3.35 3/216 29572
/proc/meminfo: memFree=28907736/32770624 swapFree=67108860/67108860
[pid=29556] ppid=29553 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29556/stat : 29556 (xcsp3-exec) S 29553 29556 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14278891 9740288 345 18446744073709551615 4194304 5098028 140725893833040 140725893831144 140234477081212 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10252288 140725893837177 140725893837382 140725893837382 140725893840875 0
/proc/29556/statm: 2378 345 289 221 0 87 0
[pid=29558] ppid=29556 vsize=13980732 memory=91648 CPUtime=2.08 cores=0,2,4,6
/proc/29558/stat : 29558 (java) S 29556 29556 17292 0 -1 1077944320 15583 0 0 0 203 5 0 0 20 0 13 0 14278900 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140726860936800 140625336413943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
/proc/29558/statm: 3495183 22912 3172 1 0 3483476 0
[pid=29558/tid=29559] ppid=29556 vsize=13980732 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/29558/task/29559/stat : 29559 (java) S 29556 29556 17292 0 -1 1077944384 9715 0 0 0 109 4 0 0 20 0 13 0 14278900 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140625340656784 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29560] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29560/stat : 29560 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 14278901 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140625293379984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29561] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29561/stat : 29561 (java) S 29556 29556 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 14278901 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140625292327184 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29562] ppid=29556 vsize=13980732 memory=5788626802952987989 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29562/stat : 29562 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 14278901 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140625291274896 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29563] ppid=29556 vsize=13980732 memory=4638778419807998288 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29563/stat : 29563 (java) S 29556 29556 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 14278901 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140625290222096 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29564] ppid=29556 vsize=13980732 memory=7668334281006146642 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29564/stat : 29564 (java) S 29556 29556 17292 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 13 0 14278902 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140624454495040 140625336425090 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29565] ppid=29556 vsize=13980732 memory=7019253006186668142 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29565/stat : 29565 (java) S 29556 29556 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 14278903 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140624453440800 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29566] ppid=29556 vsize=13980732 memory=52956 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29566/stat : 29566 (java) S 29556 29556 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 14278903 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140624452388464 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29568] ppid=29556 vsize=13980732 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/29558/task/29568/stat : 29568 (java) S 29556 29556 17292 0 -1 1077944384 1747 0 0 0 35 0 0 0 20 0 13 0 14278906 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140624450267824 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29569] ppid=29556 vsize=13980732 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/29558/task/29569/stat : 29569 (java) S 29556 29556 17292 0 -1 1077944384 872 0 0 0 33 0 0 0 20 0 13 0 14278906 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140624449221936 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29570] ppid=29556 vsize=13980732 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/29558/task/29570/stat : 29570 (java) S 29556 29556 17292 0 -1 1077944384 1869 0 0 0 24 0 0 0 20 0 13 0 14278906 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140624448178544 140625336425090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
[pid=29558/tid=29571] ppid=29556 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29558/task/29571/stat : 29571 (java) S 29556 29556 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 14278906 14316269568 22912 18446744073709551615 4194304 4196468 140726860954256 140624447125984 140625336424149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17219584 140726860960178 140726860960354 140726860960354 140726860963791 0
Current children cumulated CPU time: 2.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 93028 KiB

Child status: 0
Real time (s): 1.311
CPU time (s): 2.09092
CPU user time (s): 2.03437
CPU system time (s): 0.056555
CPU usage (%): 159.49
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 93028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.03437
system time used= 0.056555
maximum resident set size= 91704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16149
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= 1552
involuntary context switches= 6


# summary of solver processes directly reported to runsolver:
#   pid: 29556
#   total CPU time (s): 2.09092
#   total CPU user time (s): 2.03437
#   total CPU system time (s): 0.056555

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024865 second user time and 0.065813 second system time

The end
Name	Domino/ Domino-m1-s1/Domino-300-300.xml
MD5SUM	f2877c27d9d8eb249e584ffb90778d14
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	0.0095349997
Satisfiable
(Un)Satisfiability was proved
Number of variables	300
Number of constraints	2
Number of domains	1
Minimum domain size	300
Maximum domain size	300
Distribution of domain sizes	[{"size":300,"count":300}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":298},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	300
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":300,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective
Trace number 4282195

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
