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.6049399	1.16407
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 (14835 MiB free)
  memory of node 1: 16384 MiB (14961 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282521-1503116774/watcher-4282521-1503116774 -o /tmp/evaluation-result-4282521-1503116774/solver-4282521-1503116774 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8621 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1339773200 HOME/instance-4282521-1503116774.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=13611, runsolver pid=13608
Current StackSize limit: 8192 KiB


[startup+0.100198 s]*
/proc/loadavg: 1.39 1.65 1.65 3/203 13618
/proc/meminfo: memFree=30504980/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113897889 9740288 345 18446744073709551615 4194304 5098028 140736163068048 140736163066152 140488608109180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 40361984 140736163070328 140736163070533 140736163070533 140736163074027 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=13441356 memory=17204 CPUtime=0.01 cores=0,2,4,6
/proc/13613/stat : 13613 (java) S 13611 13611 8563 0 -1 1077944320 3555 0 0 0 1 0 0 0 20 0 7 0 113897897 13763948544 4301 18446744073709551615 4194304 4196468 140725049108928 140725049091472 139719261564663 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
/proc/13613/statm: 3360339 4301 2030 1 0 3349836 0
[pid=13613/tid=13614] ppid=13611 vsize=13507920 memory=-8713483618642589536 CPUtime=0.01 cores=0,2,4,6
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 8563 0 -1 4202560 2320 0 0 0 1 0 0 0 20 0 8 0 113897897 13832110080 4301 18446744073709551615 4194304 4196468 140725049108928 139719265797800 139719261586589 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13615] ppid=13611 vsize=13507920 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 113897898 13832110080 4301 18446744073709551615 4194304 4196468 140725049108928 139719180978704 139719261574869 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13616] ppid=13611 vsize=13507920 memory=139795542926976 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 113897898 13832110080 4301 18446744073709551615 4194304 4196468 140725049108928 139719179926160 139719261574869 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13617] ppid=13611 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 113897898 13832110080 4301 18446744073709551615 4194304 4196468 140725049108928 139718859680016 139719261574869 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13618] ppid=13611 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 113897898 13832110080 4301 18446744073709551615 4194304 4196468 140725049108928 139718858627472 139719261574869 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13619] ppid=13611 vsize=13507920 memory=139795542926976 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 113897899 13832110080 4301 18446744073709551615 4194304 4196468 140725049108928 139718762621680 139719261575810 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13620] ppid=13611 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 8563 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 113897900 13832110080 4301 18446744073709551615 4194304 4196468 140725049108928 139718761566800 139719261574869 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18584 KiB

[startup+0.209903 s]*
/proc/loadavg: 1.39 1.65 1.65 2/211 13626
/proc/meminfo: memFree=30502864/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113897889 9740288 345 18446744073709551615 4194304 5098028 140736163068048 140736163066152 140488608109180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 40361984 140736163070328 140736163070533 140736163070533 140736163074027 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=13907304 memory=20404 CPUtime=0.05 cores=0,2,4,6
/proc/13613/stat : 13613 (java) S 13611 13611 8563 0 -1 1077944320 4552 0 0 0 4 1 0 0 20 0 14 0 113897897 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 140725049091472 139719261564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
/proc/13613/statm: 3476826 5101 2559 1 0 3466323 0
[pid=13613/tid=13614] ppid=13611 vsize=13907304 memory=-6871798056524144002 CPUtime=0.04 cores=0,2,4,6
/proc/13613/task/13614/stat : 13614 (java) D 13611 13611 8563 0 -1 4202560 2727 0 0 0 4 0 0 0 20 0 14 0 113897897 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139719265802144 139719261586685 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13615] ppid=13611 vsize=13907304 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113897898 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139719180978704 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13616] ppid=13611 vsize=13907304 memory=139795542926976 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113897898 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139719179926160 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13617] ppid=13611 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113897898 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139718859680016 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13618] ppid=13611 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113897898 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139718858627472 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13619] ppid=13611 vsize=13907304 memory=139795542926976 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113897899 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139718762621680 139719261575810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13620] ppid=13611 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 113897900 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139718761567904 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13621] ppid=13611 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 113897900 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139718760514800 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13622] ppid=13611 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113897902 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139718759463376 139719261583259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13623] ppid=13611 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13623/stat : 13623 (java) S 13611 13611 8563 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 113897902 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139718758410480 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13624] ppid=13611 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13624/stat : 13624 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113897902 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139718757357936 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13625] ppid=13611 vsize=13907304 memory=139795542926976 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13625/stat : 13625 (java) S 13611 13611 8563 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 113897902 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139718756304880 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13626] ppid=13611 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113897903 14241079296 5101 18446744073709551615 4194304 4196468 140725049108928 139718755252576 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 21784 KiB

[startup+0.309942 s]*
/proc/loadavg: 1.39 1.65 1.65 5/212 13627
/proc/meminfo: memFree=30493356/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113897889 9740288 345 18446744073709551615 4194304 5098028 140736163068048 140736163066152 140488608109180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 40361984 140736163070328 140736163070533 140736163070533 140736163074027 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=13974352 memory=31488 CPUtime=0.21 cores=0,2,4,6
/proc/13613/stat : 13613 (java) S 13611 13611 8563 0 -1 1077944320 6276 0 0 0 19 2 0 0 20 0 15 0 113897897 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 140725049091472 139719261564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
/proc/13613/statm: 3493588 7872 2964 1 0 3482964 0
[pid=13613/tid=13614] ppid=13611 vsize=13974352 memory=-8774313645642428999 CPUtime=0.12 cores=0,2,4,6
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 8563 0 -1 4202560 3516 0 0 0 11 1 0 0 20 0 15 0 113897897 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139719265799248 139719245645150 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13615] ppid=13611 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113897898 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139719180978704 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13616] ppid=13611 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139719179926160 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13617] ppid=13611 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718859680016 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13618] ppid=13611 vsize=13974352 memory=139795542933969 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718858627472 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13619] ppid=13611 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897899 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718762621680 139719261575810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13620] ppid=13611 vsize=13974352 memory=139795542926976 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113897900 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718761567904 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13621] ppid=13611 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113897900 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718760514800 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13622] ppid=13611 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113897902 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718759463376 139719261583259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13623] ppid=13611 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13613/task/13623/stat : 13623 (java) S 13611 13611 8563 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 15 0 113897902 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718758410480 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13624] ppid=13611 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13613/task/13624/stat : 13624 (java) S 13611 13611 8563 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 113897902 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718757357936 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13625] ppid=13611 vsize=13974352 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13613/task/13625/stat : 13625 (java) R 13611 13611 8563 0 -1 4202560 736 0 0 0 4 0 0 0 20 0 15 0 113897902 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718756304880 139719240604289 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13626] ppid=13611 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113897903 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718755252576 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13627] ppid=13611 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13627/stat : 13627 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113897913 14309736448 7872 18446744073709551615 4194304 4196468 140725049108928 139718754200624 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32868 KiB

[startup+0.700711 s]
/proc/loadavg: 1.39 1.65 1.65 6/212 13627
/proc/meminfo: memFree=30477364/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113897889 9740288 345 18446744073709551615 4194304 5098028 140736163068048 140736163066152 140488608109180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 40361984 140736163070328 140736163070533 140736163070533 140736163074027 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=13978684 memory=72024 CPUtime=1.13 cores=0,2,4,6
/proc/13613/stat : 13613 (java) S 13611 13611 8563 0 -1 1077944320 13181 0 0 0 108 5 0 0 20 0 15 0 113897897 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 140725049091472 139719261564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
/proc/13613/statm: 3494671 18006 3159 1 0 3482964 0
[pid=13613/tid=13614] ppid=13611 vsize=13978684 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 8563 0 -1 4202560 7868 0 0 0 46 3 0 0 20 0 15 0 113897897 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139719265803424 139718859826382 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13615] ppid=13611 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113897898 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139719180978704 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13616] ppid=13611 vsize=13978684 memory=8319106358719820342 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139719179926160 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13617] ppid=13611 vsize=13978684 memory=7368001489804094033 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718859680016 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13618] ppid=13611 vsize=13978684 memory=7014470040326004800 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718858627472 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13619] ppid=13611 vsize=13978684 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113897899 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718762621680 139719261575810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13620] ppid=13611 vsize=13978684 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113897900 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718761567904 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13621] ppid=13611 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113897900 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718760514800 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13622] ppid=13611 vsize=13978684 memory=139795414131312 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113897902 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718759463376 139719261583259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13623] ppid=13611 vsize=13978684 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/13613/task/13623/stat : 13623 (java) S 13611 13611 8563 0 -1 1077944384 1457 0 0 0 17 0 0 0 20 0 15 0 113897902 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718758410480 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13624] ppid=13611 vsize=13978684 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/13613/task/13624/stat : 13624 (java) R 13611 13611 8563 0 -1 4202560 773 0 0 0 16 0 0 0 20 0 15 0 113897902 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718757344496 139719241757617 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13625] ppid=13611 vsize=13978684 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/13613/task/13625/stat : 13625 (java) R 13611 13611 8563 0 -1 1077944384 1773 0 0 0 28 0 0 0 20 0 15 0 113897902 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718756300224 139719261574869 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13626] ppid=13611 vsize=13978684 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113897903 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718755252576 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13627] ppid=13611 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13627/stat : 13627 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113897913 14314172416 18006 18446744073709551615 4194304 4196468 140725049108928 139718754200624 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 73404 KiB

[startup+1.16401 s]
# the end of solver process 13611 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.53042 s, system=0.074517 s

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

[startup+0.80572 s]
/proc/loadavg: 1.39 1.65 1.65 6/212 13627
/proc/meminfo: memFree=30477364/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113897889 9740288 345 18446744073709551615 4194304 5098028 140736163068048 140736163066152 140488608109180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 40361984 140736163070328 140736163070533 140736163070533 140736163074027 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=13980732 memory=80244 CPUtime=1.46 cores=0,2,4,6
/proc/13613/stat : 13613 (java) S 13611 13611 8563 0 -1 1077944320 14069 0 0 0 141 5 0 0 20 0 15 0 113897897 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 140725049091472 139719261564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
/proc/13613/statm: 3495183 20061 3167 1 0 3483476 0
[pid=13613/tid=13614] ppid=13611 vsize=13980732 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 8563 0 -1 4202560 8380 0 0 0 56 4 0 0 20 0 15 0 113897897 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139719265800496 139718863662627 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13615] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139719180978704 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13616] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139719179926160 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13617] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718859680016 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13618] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718858627472 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13619] ppid=13611 vsize=13980732 memory=9130442918505838980 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113897899 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718762621680 139719261575810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13620] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113897900 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718761567904 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13621] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113897900 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718760514800 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13622] ppid=13611 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113897902 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718759463376 139719261583259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13623] ppid=13611 vsize=13980732 memory=1792 CPUtime=0.25 cores=0,2,4,6
/proc/13613/task/13623/stat : 13623 (java) R 13611 13611 8563 0 -1 4202560 1490 0 0 0 25 0 0 0 20 0 15 0 113897902 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718758410480 139719261576598 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13624] ppid=13611 vsize=13980732 memory=960 CPUtime=0.23 cores=0,2,4,6
/proc/13613/task/13624/stat : 13624 (java) R 13611 13611 8563 0 -1 4202560 941 0 0 0 23 0 0 0 20 0 15 0 113897902 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718757357936 139719240821238 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13625] ppid=13611 vsize=13980732 memory=1240 CPUtime=0.34 cores=0,2,4,6
/proc/13613/task/13625/stat : 13625 (java) R 13611 13611 8563 0 -1 1077944384 1948 0 0 0 34 0 0 0 20 0 15 0 113897902 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718756298832 139719261574869 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13626] ppid=13611 vsize=13980732 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113897903 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718755252576 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13627] ppid=13611 vsize=13980732 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13627/stat : 13627 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113897913 14316269568 20061 18446744073709551615 4194304 4196468 140725049108928 139718754200624 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 81624 KiB

[startup+1.00069 s]*
/proc/loadavg: 1.39 1.65 1.65 5/212 13627
/proc/meminfo: memFree=30431320/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113897889 9740288 345 18446744073709551615 4194304 5098028 140736163068048 140736163066152 140488608109180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 40361984 140736163070328 140736163070533 140736163070533 140736163074027 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=13980732 memory=95244 CPUtime=2.14 cores=0,2,4,6
/proc/13613/stat : 13613 (java) S 13611 13611 8563 0 -1 1077944320 15865 0 0 0 208 6 0 0 20 0 15 0 113897897 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 140725049091472 139719261564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
/proc/13613/statm: 3495183 23811 3182 1 0 3483476 0
[pid=13613/tid=13614] ppid=13611 vsize=13980732 memory=-6871798056524144002 CPUtime=0.81 cores=0,2,4,6
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 8563 0 -1 4202560 8478 0 0 0 77 4 0 0 20 0 15 0 113897897 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139719265804000 139718859821727 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13615] ppid=13611 vsize=13980732 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139719180978704 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13616] ppid=13611 vsize=13980732 memory=279590957283776 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139719179926160 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13617] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718859680016 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13618] ppid=13611 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718858627472 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13619] ppid=13611 vsize=13980732 memory=139795542926976 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113897899 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718762621680 139719261575810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13620] ppid=13611 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113897900 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718761567904 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13621] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113897900 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718760514800 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13622] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113897902 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718759463376 139719261583259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13623] ppid=13611 vsize=13980732 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/13613/task/13623/stat : 13623 (java) R 13611 13611 8563 0 -1 4202560 1920 0 0 0 44 0 0 0 20 0 15 0 113897902 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718758401808 139719253854112 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13624] ppid=13611 vsize=13980732 memory=139795414384911 CPUtime=0.43 cores=0,2,4,6
/proc/13613/task/13624/stat : 13624 (java) R 13611 13611 8563 0 -1 4202560 1846 0 0 0 43 0 0 0 20 0 15 0 113897902 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718757344048 139719245061252 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13625] ppid=13611 vsize=13980732 memory=139795542929184 CPUtime=0.43 cores=0,2,4,6
/proc/13613/task/13625/stat : 13625 (java) R 13611 13611 8563 0 -1 1077944384 2315 0 0 0 43 0 0 0 20 0 15 0 113897902 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718756304880 139719261575810 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13626] ppid=13611 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113897903 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718755252576 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13627] ppid=13611 vsize=13980732 memory=139795542926976 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13627/stat : 13627 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113897913 14316269568 23811 18446744073709551615 4194304 4196468 140725049108928 139718754200624 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
Current children cumulated CPU time: 2.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 96624 KiB

[startup+1.11 s]
/proc/loadavg: 1.39 1.65 1.65 5/212 13627
/proc/meminfo: memFree=30431320/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113897889 9740288 345 18446744073709551615 4194304 5098028 140736163068048 140736163066152 140488608109180 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 40361984 140736163070328 140736163070533 140736163070533 140736163074027 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=13980732 memory=99044 CPUtime=2.46 cores=0,2,4,6
/proc/13613/stat : 13613 (java) S 13611 13611 8563 0 -1 1077944320 16799 0 0 0 240 6 0 0 20 0 15 0 113897897 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 140725049091472 139719261564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
/proc/13613/statm: 3495183 24761 3182 1 0 3483476 0
[pid=13613/tid=13614] ppid=13611 vsize=13980732 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 8563 0 -1 4202560 8484 0 0 0 87 4 0 0 20 0 15 0 113897897 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139719265802928 139718864610422 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13615] ppid=13611 vsize=13980732 memory=279590828502800 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139719180978704 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13616] ppid=13611 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139719179926160 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13617] ppid=13611 vsize=13980732 memory=14973360639576424 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718859680016 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13618] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113897898 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718858627472 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13619] ppid=13611 vsize=13980732 memory=9044 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113897899 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718762621680 139719261575810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13620] ppid=13611 vsize=13980732 memory=11316 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113897900 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718761567904 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13621] ppid=13611 vsize=13980732 memory=13588 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113897900 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718760514800 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13622] ppid=13611 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113897902 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718759463376 139719261583259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13623] ppid=13611 vsize=13980732 memory=72024 CPUtime=0.54 cores=0,2,4,6
/proc/13613/task/13623/stat : 13623 (java) R 13611 13611 8563 0 -1 4202560 2228 0 0 0 54 0 0 0 20 0 15 0 113897902 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718758391496 139719242264967 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13624] ppid=13611 vsize=13980732 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/13613/task/13624/stat : 13624 (java) R 13611 13611 8563 0 -1 4202560 2367 0 0 0 53 0 0 0 20 0 15 0 113897902 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718757344288 139719240810462 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13625] ppid=13611 vsize=13980732 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/13613/task/13625/stat : 13625 (java) S 13611 13611 8563 0 -1 1077944384 2410 0 0 0 45 1 0 0 20 0 15 0 113897902 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718756304880 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13626] ppid=13611 vsize=13980732 memory=279590828522176 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113897903 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718755252576 139719261574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
[pid=13613/tid=13627] ppid=13611 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13613/task/13627/stat : 13627 (java) S 13611 13611 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113897913 14316269568 24761 18446744073709551615 4194304 4196468 140725049108928 139718754200624 139719261575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140725049110961 140725049111137 140725049111137 140725049114575 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 100424 KiB

Child status: 0
Real time (s): 1.16407
CPU time (s): 2.60494
CPU user time (s): 2.53042
CPU system time (s): 0.074517
CPU usage (%): 223.779
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 100424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.53042
system time used= 0.074517
maximum resident set size= 104020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17397
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= 1782
involuntary context switches= 10


# summary of solver processes directly reported to runsolver:
#   pid: 13611
#   total CPU time (s): 2.60494
#   total CPU user time (s): 2.53042
#   total CPU system time (s): 0.074517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035738 second user time and 0.048351 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-65-sum.xml
MD5SUM	509258906292bc50c375c4c8839ad257
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.513255
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	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":21},{"degree":5,"count":42},{"degree":6,"count":93},{"degree":7,"count":96},{"degree":8,"count":126},{"degree":9,"count":99},{"degree":10,"count":78},{"degree":11,"count":42}]
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 4282521

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
