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 5a (2017-07-26)	SAT	5.5836201	2.1068699
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 (14944 MiB free)
  memory of node 1: 16384 MiB (14718 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272708-1502737073/watcher-4272708-1502737073 -o /tmp/evaluation-result-4272708-1502737073/solver-4272708-1502737073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 367453506 HOME/instance-4272708-1502737073.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
solver pid=25797, runsolver pid=25794
Current StackSize limit: 8192 KiB


[startup+0.101972 s]*
/proc/loadavg: 2.52 2.08 1.86 3/205 25807
/proc/meminfo: memFree=30365704/32770624 swapFree=67108860/67108860
[pid=25797] ppid=25794 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25797/stat : 25797 (xcsp3-exec) S 25794 25797 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927949 9740288 345 18446744073709551615 4194304 5098028 140736853643120 140736853641224 140276391961212 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 10301440 140736853647737 140736853647941 140736853647941 140736853651435 0
/proc/25797/statm: 2378 345 289 221 0 87 0
[pid=25799] ppid=25797 vsize=13574484 memory=18300 CPUtime=0.04 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25797 25797 897 0 -1 1077944320 3947 0 0 0 4 0 0 0 20 0 9 0 75927955 13900271616 4575 18446744073709551615 4194304 4196468 140729300513808 140729300496352 140435110223607 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
/proc/25799/statm: 3393621 4575 2138 1 0 3383118 0
[pid=25799/tid=25800] ppid=25797 vsize=13574484 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/25799/task/25800/stat : 25800 (java) R 25797 25797 897 0 -1 4202560 2652 0 0 0 4 0 0 0 20 0 9 0 75927955 13900271616 4575 18446744073709551615 4194304 4196468 140729300513808 140435114459000 140434710079345 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25801] ppid=25797 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25801/stat : 25801 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75927956 13900271616 4575 18446744073709551615 4194304 4196468 140729300513808 140434709932304 140435110233813 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25802] ppid=25797 vsize=13574484 memory=140440781144179 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25802/stat : 25802 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75927956 13900271616 4575 18446744073709551615 4194304 4196468 140729300513808 140434708879760 140435110233813 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25803] ppid=25797 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25803/stat : 25803 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75927956 13900271616 4575 18446744073709551615 4194304 4196468 140729300513808 140434707827216 140435110233813 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25804] ppid=25797 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25804/stat : 25804 (java) S 25797 25797 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75927956 13900271616 4575 18446744073709551615 4194304 4196468 140729300513808 140434706774672 140435110233813 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25805] ppid=25797 vsize=13575512 memory=140440781121152 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25805/stat : 25805 (java) S 25797 25797 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75927957 13901324288 4575 18446744073709551615 4194304 4196468 140729300513808 140434588781040 140435110234754 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25806] ppid=25797 vsize=13575512 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25806/stat : 25806 (java) S 25797 25797 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 10 0 75927958 13901324288 4575 18446744073709551615 4194304 4196468 140729300513808 140434587727264 140435110233813 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25807] ppid=25797 vsize=13575512 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25807/stat : 25807 (java) S 25797 25797 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 10 0 75927958 13901324288 4575 18446744073709551615 4194304 4196468 140729300513808 140434586674672 140435110233813 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25808] ppid=25797 vsize=13575512 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25808/stat : 25808 (java) R 25797 25797 897 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 75927960 13901324288 4575 18446744073709551615 4194304 4196468 140729300513808 140434585624032 140435110233813 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19680 KiB

[startup+0.209856 s]*
/proc/loadavg: 2.52 2.08 1.86 3/211 25813
/proc/meminfo: memFree=30359036/32770624 swapFree=67108860/67108860
[pid=25797] ppid=25794 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25797/stat : 25797 (xcsp3-exec) S 25794 25797 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927949 9740288 345 18446744073709551615 4194304 5098028 140736853643120 140736853641224 140276391961212 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 10301440 140736853647737 140736853647941 140736853647941 140736853651435 0
/proc/25797/statm: 2378 345 289 221 0 87 0
[pid=25799] ppid=25797 vsize=13974352 memory=27508 CPUtime=0.12 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25797 25797 897 0 -1 1077944320 5364 0 0 0 11 1 0 0 20 0 15 0 75927955 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140729300496352 140435110223607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
/proc/25799/statm: 3493588 6877 2823 1 0 3482964 0
[pid=25799/tid=25800] ppid=25797 vsize=13974352 memory=-8774313645642428999 CPUtime=0.09 cores=0,2,4,6
/proc/25799/task/25800/stat : 25800 (java) R 25797 25797 897 0 -1 4202560 3382 0 0 0 8 1 0 0 20 0 15 0 75927955 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140435114440952 140435110235542 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25801] ppid=25797 vsize=13974352 memory=735272056725535336 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25801/stat : 25801 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434709932304 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25802] ppid=25797 vsize=13974352 memory=140440781121152 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25802/stat : 25802 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434708879760 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25803] ppid=25797 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25803/stat : 25803 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434707827216 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25804] ppid=25797 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25804/stat : 25804 (java) S 25797 25797 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927956 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434706774672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25805] ppid=25797 vsize=13974352 memory=140440781121152 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25805/stat : 25805 (java) S 25797 25797 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927957 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434588781040 140435110234754 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25806] ppid=25797 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25806/stat : 25806 (java) S 25797 25797 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927958 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434587727264 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25807] ppid=25797 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25807/stat : 25807 (java) S 25797 25797 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927958 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434586674672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25808] ppid=25797 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25808/stat : 25808 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434585623248 140435110242203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25809] ppid=25797 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25809/stat : 25809 (java) S 25797 25797 897 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 75927960 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434584569840 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25810] ppid=25797 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25810/stat : 25810 (java) S 25797 25797 897 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 75927960 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434583517296 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25811] ppid=25797 vsize=13974352 memory=140440781121152 CPUtime=0.01 cores=0,2,4,6
/proc/25799/task/25811/stat : 25811 (java) R 25797 25797 897 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 75927960 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434582464752 140435088245809 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25812] ppid=25797 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25812/stat : 25812 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434581412448 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25813] ppid=25797 vsize=13974352 memory=140440781121152 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25813/stat : 25813 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927966 14309736448 6877 18446744073709551615 4194304 4196468 140729300513808 140434580359984 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28888 KiB

[startup+0.31176 s]*
/proc/loadavg: 2.52 2.08 1.86 5/211 25813
/proc/meminfo: memFree=30345612/32770624 swapFree=67108860/67108860
[pid=25797] ppid=25794 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25797/stat : 25797 (xcsp3-exec) S 25794 25797 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927949 9740288 345 18446744073709551615 4194304 5098028 140736853643120 140736853641224 140276391961212 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 10301440 140736853647737 140736853647941 140736853647941 140736853651435 0
/proc/25797/statm: 2378 345 289 221 0 87 0
[pid=25799] ppid=25797 vsize=13974352 memory=39920 CPUtime=0.33 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25797 25797 897 0 -1 1077944320 9137 0 0 0 30 3 0 0 20 0 15 0 75927955 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140729300496352 140435110223607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
/proc/25799/statm: 3493588 9980 3048 1 0 3482964 0
[pid=25799/tid=25800] ppid=25797 vsize=13974352 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/25799/task/25800/stat : 25800 (java) R 25797 25797 897 0 -1 4202560 6279 0 0 0 17 2 0 0 20 0 15 0 75927955 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140435114450240 140435110245533 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25801] ppid=25797 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25801/stat : 25801 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434709932304 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25802] ppid=25797 vsize=13974352 memory=-8672958532971446211 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25802/stat : 25802 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434708879760 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25803] ppid=25797 vsize=13974352 memory=7100839861497530472 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25803/stat : 25803 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434707827216 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25804] ppid=25797 vsize=13974352 memory=7974038411334692957 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25804/stat : 25804 (java) S 25797 25797 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927956 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434706774672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25805] ppid=25797 vsize=13974352 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25805/stat : 25805 (java) S 25797 25797 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927957 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434588781040 140435110234754 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25806] ppid=25797 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25806/stat : 25806 (java) S 25797 25797 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927958 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434587727264 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25807] ppid=25797 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25807/stat : 25807 (java) S 25797 25797 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927958 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434586674672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25808] ppid=25797 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25808/stat : 25808 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434585623248 140435110242203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25809] ppid=25797 vsize=13974352 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25799/task/25809/stat : 25809 (java) S 25797 25797 897 0 -1 1077944384 596 0 0 0 3 0 0 0 20 0 15 0 75927960 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434584569840 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25810] ppid=25797 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25810/stat : 25810 (java) S 25797 25797 897 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 75927960 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434583517296 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25811] ppid=25797 vsize=13974352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25811/stat : 25811 (java) S 25797 25797 897 0 -1 1077944384 793 0 0 0 7 0 0 0 20 0 15 0 75927960 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434582464752 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25812] ppid=25797 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25812/stat : 25812 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434581412448 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25813] ppid=25797 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25813/stat : 25813 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927966 14309736448 9980 18446744073709551615 4194304 4196468 140729300513808 140434580359984 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41300 KiB

[startup+0.71012 s]
/proc/loadavg: 2.52 2.08 1.86 5/211 25813
/proc/meminfo: memFree=30330916/32770624 swapFree=67108860/67108860
[pid=25797] ppid=25794 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25797/stat : 25797 (xcsp3-exec) S 25794 25797 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927949 9740288 345 18446744073709551615 4194304 5098028 140736853643120 140736853641224 140276391961212 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 10301440 140736853647737 140736853647941 140736853647941 140736853651435 0
/proc/25797/statm: 2378 345 289 221 0 87 0
[pid=25799] ppid=25797 vsize=13980732 memory=76572 CPUtime=1.39 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25797 25797 897 0 -1 1077944320 13690 0 0 0 134 5 0 0 20 0 15 0 75927955 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140729300496352 140435110223607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
/proc/25799/statm: 3495183 19143 3167 1 0 3483476 0
[pid=25799/tid=25800] ppid=25797 vsize=13980732 memory=140440665883024 CPUtime=0.57 cores=0,2,4,6
/proc/25799/task/25800/stat : 25800 (java) R 25797 25797 897 0 -1 4202560 8366 0 0 0 54 3 0 0 20 0 15 0 75927955 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140435114460992 140435110235542 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25801] ppid=25797 vsize=13980732 memory=140440665883120 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25801/stat : 25801 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434709932304 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25802] ppid=25797 vsize=13980732 memory=140441135612482 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25802/stat : 25802 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434708879760 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25803] ppid=25797 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25803/stat : 25803 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434707827216 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25804] ppid=25797 vsize=13980732 memory=7164194915203179840 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25804/stat : 25804 (java) S 25797 25797 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434706774672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25805] ppid=25797 vsize=13980732 memory=140440781145537 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25805/stat : 25805 (java) S 25797 25797 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75927957 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434588781040 140435110234754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25806] ppid=25797 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25806/stat : 25806 (java) S 25797 25797 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927958 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434587727264 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25807] ppid=25797 vsize=13980732 memory=7738987742946094960 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25807/stat : 25807 (java) S 25797 25797 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927958 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434586674672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25808] ppid=25797 vsize=13980732 memory=4639360052868829540 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25808/stat : 25808 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434585623248 140435110242203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25809] ppid=25797 vsize=13980732 memory=8658346154379984678 CPUtime=0.27 cores=0,2,4,6
/proc/25799/task/25809/stat : 25809 (java) S 25797 25797 897 0 -1 1077944384 1510 0 0 0 27 0 0 0 20 0 15 0 75927960 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434584569840 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25810] ppid=25797 vsize=13980732 memory=4294969536 CPUtime=0.2 cores=0,2,4,6
/proc/25799/task/25810/stat : 25810 (java) S 25797 25797 897 0 -1 1077944384 750 0 0 0 20 0 0 0 20 0 15 0 75927960 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434583517296 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25811] ppid=25797 vsize=13980732 memory=2244 CPUtime=0.32 cores=0,2,4,6
/proc/25799/task/25811/stat : 25811 (java) R 25797 25797 897 0 -1 4202560 1757 0 0 0 32 0 0 0 20 0 15 0 75927960 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434582459792 140435089147557 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25812] ppid=25797 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25812/stat : 25812 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434581412448 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25813] ppid=25797 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25813/stat : 25813 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927966 14316269568 19143 18446744073709551615 4194304 4196468 140729300513808 140434580359984 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 77952 KiB

[startup+1.50076 s]
/proc/loadavg: 2.52 2.08 1.86 5/211 25813
/proc/meminfo: memFree=30292636/32770624 swapFree=67108860/67108860
[pid=25797] ppid=25794 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25797/stat : 25797 (xcsp3-exec) S 25794 25797 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927949 9740288 345 18446744073709551615 4194304 5098028 140736853643120 140736853641224 140276391961212 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 10301440 140736853647737 140736853647941 140736853647941 140736853651435 0
/proc/25797/statm: 2378 345 289 221 0 87 0
[pid=25799] ppid=25797 vsize=13980732 memory=126644 CPUtime=3.97 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25797 25797 897 0 -1 1077944320 23859 0 0 0 390 7 0 0 20 0 15 0 75927955 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140729300496352 140435110223607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
/proc/25799/statm: 3495183 31661 3197 1 0 3483476 0
[pid=25799/tid=25800] ppid=25797 vsize=13980732 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/25799/task/25800/stat : 25800 (java) R 25797 25797 897 0 -1 4202560 9447 0 0 0 132 4 0 0 20 0 15 0 75927955 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140435114458000 140434716262024 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25801] ppid=25797 vsize=13980732 memory=-8412656567168561567 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25801/stat : 25801 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434709932304 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25802] ppid=25797 vsize=13980732 memory=-7595761213516906336 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25802/stat : 25802 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434708879760 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25803] ppid=25797 vsize=13980732 memory=8128038100524242582 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25803/stat : 25803 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434707827216 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25804] ppid=25797 vsize=13980732 memory=6944656592452807325 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25804/stat : 25804 (java) S 25797 25797 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434706774672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25805] ppid=25797 vsize=13980732 memory=7682475212697334586 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25805/stat : 25805 (java) S 25797 25797 897 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 75927957 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434588781040 140435110234754 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25806] ppid=25797 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25806/stat : 25806 (java) S 25797 25797 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927958 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434587727264 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25807] ppid=25797 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25807/stat : 25807 (java) S 25797 25797 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927958 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434586674672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25808] ppid=25797 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25808/stat : 25808 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434585623248 140435110242203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25809] ppid=25797 vsize=13980732 memory=6944656592455097440 CPUtime=1.02 cores=0,2,4,6
/proc/25799/task/25809/stat : 25809 (java) R 25797 25797 897 0 -1 4202560 5403 0 0 0 102 0 0 0 20 0 15 0 75927960 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434584557552 140435090917539 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25810] ppid=25797 vsize=13980732 memory=6943526294502006880 CPUtime=0.96 cores=0,2,4,6
/proc/25799/task/25810/stat : 25810 (java) R 25797 25797 897 0 -1 4202560 4243 0 0 0 96 0 0 0 20 0 15 0 75927960 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434583507408 140435093746921 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25811] ppid=25797 vsize=13980732 memory=6944656592387989600 CPUtime=0.59 cores=0,2,4,6
/proc/25799/task/25811/stat : 25811 (java) S 25797 25797 897 0 -1 1077944384 3446 0 0 0 58 1 0 0 20 0 15 0 75927960 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434582464752 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25812] ppid=25797 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25812/stat : 25812 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434581412448 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25813] ppid=25797 vsize=13980732 memory=7682475212697334547 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25813/stat : 25813 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927966 14316269568 31661 18446744073709551615 4194304 4196468 140729300513808 140434580359984 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 128024 KiB

[startup+2.1068 s]
# the end of solver process 25797 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.48738 s, system=0.096234 s

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

[startup+1.60093 s]
/proc/loadavg: 2.52 2.08 1.86 5/211 25813
/proc/meminfo: memFree=30292636/32770624 swapFree=67108860/67108860
[pid=25797] ppid=25794 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25797/stat : 25797 (xcsp3-exec) S 25794 25797 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927949 9740288 345 18446744073709551615 4194304 5098028 140736853643120 140736853641224 140276391961212 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 10301440 140736853647737 140736853647941 140736853647941 140736853651435 0
/proc/25797/statm: 2378 345 289 221 0 87 0
[pid=25799] ppid=25797 vsize=13980732 memory=130992 CPUtime=4.28 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25797 25797 897 0 -1 1077944320 23969 0 0 0 421 7 0 0 20 0 15 0 75927955 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140729300496352 140435110223607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
/proc/25799/statm: 3495183 32748 3201 1 0 3483476 0
[pid=25799/tid=25800] ppid=25797 vsize=13980732 memory=6944652176420515888 CPUtime=1.46 cores=0,2,4,6
/proc/25799/task/25800/stat : 25800 (java) R 25797 25797 897 0 -1 4202560 9458 0 0 0 142 4 0 0 20 0 15 0 75927955 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140435114462128 140434716658348 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25801] ppid=25797 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25801/stat : 25801 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434709932304 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25802] ppid=25797 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25802/stat : 25802 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434708879760 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25803] ppid=25797 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25803/stat : 25803 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434707827216 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25804] ppid=25797 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25804/stat : 25804 (java) S 25797 25797 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434706774672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25805] ppid=25797 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25805/stat : 25805 (java) S 25797 25797 897 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 75927957 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434588781040 140435110234754 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25806] ppid=25797 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25806/stat : 25806 (java) S 25797 25797 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927958 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434587727264 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25807] ppid=25797 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25807/stat : 25807 (java) S 25797 25797 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927958 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434586674672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25808] ppid=25797 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25808/stat : 25808 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434585623248 140435110242203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25809] ppid=25797 vsize=13980732 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/25799/task/25809/stat : 25809 (java) R 25797 25797 897 0 -1 4202560 5430 0 0 0 112 0 0 0 20 0 15 0 75927960 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434584557552 140435095331585 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25810] ppid=25797 vsize=13980732 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/25799/task/25810/stat : 25810 (java) R 25797 25797 897 0 -1 4202560 4297 0 0 0 106 0 0 0 20 0 15 0 75927960 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434583507024 140435093707034 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25811] ppid=25797 vsize=13980732 memory=667680 CPUtime=0.6 cores=0,2,4,6
/proc/25799/task/25811/stat : 25811 (java) S 25797 25797 897 0 -1 1077944384 3464 0 0 0 59 1 0 0 20 0 15 0 75927960 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434582464752 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25812] ppid=25797 vsize=13980732 memory=7800344859672537426 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25812/stat : 25812 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434581412448 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25813] ppid=25797 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25813/stat : 25813 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927966 14316269568 32748 18446744073709551615 4194304 4196468 140729300513808 140434580359984 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 132372 KiB

[startup+2.00068 s]*
/proc/loadavg: 2.52 2.08 1.86 6/211 25813
/proc/meminfo: memFree=30238340/32770624 swapFree=67108860/67108860
[pid=25797] ppid=25794 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25797/stat : 25797 (xcsp3-exec) S 25794 25797 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927949 9740288 345 18446744073709551615 4194304 5098028 140736853643120 140736853641224 140276391961212 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 10301440 140736853647737 140736853647941 140736853647941 140736853651435 0
/proc/25797/statm: 2378 345 289 221 0 87 0
[pid=25799] ppid=25797 vsize=13980732 memory=156352 CPUtime=5.44 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25797 25797 897 0 -1 1077944320 24267 0 0 0 536 8 0 0 20 0 15 0 75927955 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140729300496352 140435110223607 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
/proc/25799/statm: 3495183 39088 3203 1 0 3483476 0
[pid=25799/tid=25800] ppid=25797 vsize=13980732 memory=-8774313645642428999 CPUtime=1.87 cores=0,2,4,6
/proc/25799/task/25800/stat : 25800 (java) R 25797 25797 897 0 -1 4202560 9502 0 0 0 183 4 0 0 20 0 15 0 75927955 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140435114462128 140434716210695 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25801] ppid=25797 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25801/stat : 25801 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434709932304 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25802] ppid=25797 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25802/stat : 25802 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434708879760 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25803] ppid=25797 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25803/stat : 25803 (java) S 25797 25797 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434707827216 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25804] ppid=25797 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25804/stat : 25804 (java) S 25797 25797 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927956 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434706774672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25805] ppid=25797 vsize=13980732 memory=280877507162264 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25805/stat : 25805 (java) S 25797 25797 897 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 75927957 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434588781040 140435110234754 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25806] ppid=25797 vsize=13980732 memory=-8412656567318647667 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25806/stat : 25806 (java) S 25797 25797 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927958 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434587727264 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25807] ppid=25797 vsize=13980732 memory=4427205132082312746 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25807/stat : 25807 (java) S 25797 25797 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927958 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434586674672 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25808] ppid=25797 vsize=13980732 memory=-8412652152092201843 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25808/stat : 25808 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434585623248 140435110242203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25809] ppid=25797 vsize=13980732 memory=-7023579799431922829 CPUtime=1.49 cores=0,2,4,6
/proc/25799/task/25809/stat : 25809 (java) S 25797 25797 897 0 -1 1077944384 5524 0 0 0 149 0 0 0 20 0 15 0 75927960 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434584569840 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25810] ppid=25797 vsize=13980732 memory=4426639978525455914 CPUtime=1.38 cores=0,2,4,6
/proc/25799/task/25810/stat : 25810 (java) S 25797 25797 897 0 -1 1077944384 4377 0 0 0 138 0 0 0 20 0 15 0 75927960 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434583517296 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25811] ppid=25797 vsize=13980732 memory=7811614964889703013 CPUtime=0.65 cores=0,2,4,6
/proc/25799/task/25811/stat : 25811 (java) R 25797 25797 897 0 -1 1077944384 3544 0 0 0 64 1 0 0 20 0 15 0 75927960 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434582464752 140435110234754 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25812] ppid=25797 vsize=13980732 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25812/stat : 25812 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927960 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434581412448 140435110233813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
[pid=25799/tid=25813] ppid=25797 vsize=13980732 memory=4572164749098055210 CPUtime=0 cores=0,2,4,6
/proc/25799/task/25813/stat : 25813 (java) S 25797 25797 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927966 14316269568 39088 18446744073709551615 4194304 4196468 140729300513808 140434580359984 140435110234754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38510592 140729300521393 140729300521569 140729300521569 140729300525007 0
Current children cumulated CPU time: 5.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 157732 KiB

Child status: 0
Real time (s): 2.10687
CPU time (s): 5.58362
CPU user time (s): 5.48738
CPU system time (s): 0.096234
CPU usage (%): 265.02
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 157732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.48738
system time used= 0.096234
maximum resident set size= 163160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25174
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= 2277
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 25797
#   total CPU time (s): 5.58362
#   total CPU user time (s): 5.48738
#   total CPU system time (s): 0.096234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036105 second user time and 0.064795 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-23-sum.xml
MD5SUM	0997a7a078e28dc29749c8fbf3dd0f9a
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.484846
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	4
Maximum variable degree	11
Distribution of variable degrees	[{"degree":4,"count":12},{"degree":5,"count":81},{"degree":6,"count":72},{"degree":7,"count":105},{"degree":8,"count":111},{"degree":9,"count":84},{"degree":10,"count":75},{"degree":11,"count":60}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4272708

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
