Trace number 4391512

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NACRE 1.0.5-Hybrid? (TO) 2400.07 2400.4

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-9_X2.xml
MD5SUMa7efa7459c7ca72744d0a792626ba479
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark573.798
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c NACRE 1.0.5
2400.05/2400.40	c
2400.05/2400.40	c # time = 2400.05
2400.05/2400.40	c # Dec = 2423061
2400.05/2400.40	c # Propagate Calls = 2870647295
2400.05/2400.40	c # assignAt Calls = 9303140
2400.05/2400.40	c # removeAt Calls = 207148877
2400.05/2400.40	c # Run = 4095
2400.05/2400.40	c # Conflicts = 2294459
2400.05/2400.40	c # Memory used = 322.688 Mb
2400.05/2400.40	s UNKNOWN

Verifier Data


Watcher Data 

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 (14683 MiB free)
  memory of node 1: 16384 MiB (14979 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391512-1568314626/watcher-4391512-1568314626 -o /tmp/evaluation-result-4391512-1568314626/solver-4391512-1568314626 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11108 --watchdog 2560 nacre_mini_release HOME/instance-4391512-1568314626.xml -ca -l100 -cm 

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

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

solver pid=13442, runsolver pid=13439

[startup+0.100109 s]*
/proc/loadavg: 2.00 2.01 2.05 3/206 13443
/proc/meminfo: memFree=30366620/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=33488 memory=10064 CPUtime=0.1 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 2706 0 0 0 10 0 0 0 20 0 1 0 407385279 34291712 2516 33554432000 4194304 4935366 140725324740752 140725324737752 4390489 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 8372 2516 607 181 0 1989 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33488 KiB
Current children cumulated memory: 10064 KiB

[startup+0.210077 s]*
/proc/loadavg: 2.00 2.01 2.05 3/206 13443
/proc/meminfo: memFree=30365876/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=34284 memory=10856 CPUtime=0.21 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 2892 0 0 0 21 0 0 0 20 0 1 0 407385279 35106816 2714 33554432000 4194304 4935366 140725324740752 140725324737752 140595862137829 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 8571 2714 607 181 0 2188 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34284 KiB
Current children cumulated memory: 10856 KiB

[startup+0.309756 s]*
/proc/loadavg: 2.00 2.01 2.05 3/206 13443
/proc/meminfo: memFree=30365132/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=35032 memory=11648 CPUtime=0.31 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 3088 0 0 0 31 0 0 0 20 0 1 0 407385279 35872768 2912 33554432000 4194304 4935366 140725324740752 140725324737752 140595862137829 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 8758 2912 608 181 0 2375 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35032 KiB
Current children cumulated memory: 11648 KiB

[startup+0.700238 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 13443
/proc/meminfo: memFree=30364016/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=37012 memory=13496 CPUtime=0.69 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 3582 0 0 0 69 0 0 0 20 0 1 0 407385279 37900288 3374 33554432000 4194304 4935366 140725324740752 140725324737752 4390680 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 9253 3374 608 181 0 2870 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37012 KiB
Current children cumulated memory: 13496 KiB

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 13443
/proc/meminfo: memFree=30361000/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=41020 memory=17464 CPUtime=1.49 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 4579 0 0 0 148 1 0 0 20 0 1 0 407385279 42004480 4366 33554432000 4194304 4935366 140725324740752 140725324738312 4461244 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 10255 4366 608 181 0 3872 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41020 KiB
Current children cumulated memory: 17464 KiB

[startup+3.10981 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13443
/proc/meminfo: memFree=30353760/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=46948 memory=23480 CPUtime=3.1 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 10296 0 0 0 309 1 0 0 20 0 1 0 407385279 48074752 5870 33554432000 4194304 4935366 140725324740752 140725324738504 4389996 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 11737 5870 608 181 0 5354 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 46948 KiB
Current children cumulated memory: 23480 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13443
/proc/meminfo: memFree=30346324/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=54912 memory=30708 CPUtime=6.29 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 17852 0 0 0 627 2 0 0 20 0 1 0 407385279 56229888 7677 33554432000 4194304 4935366 140725324740752 140725324738504 4461244 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 13728 7677 608 181 0 7345 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 54912 KiB
Current children cumulated memory: 30708 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13443
/proc/meminfo: memFree=30336608/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=64256 memory=40244 CPUtime=12.69 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 27745 0 0 0 1266 3 0 0 20 0 1 0 407385279 65798144 10061 33554432000 4194304 4935366 140725324740752 140725324738456 4390336 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 16064 10061 608 181 0 9681 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 64256 KiB
Current children cumulated memory: 40244 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13443
/proc/meminfo: memFree=30324024/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=76680 memory=53072 CPUtime=25.48 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 52541 0 0 0 2544 4 0 0 20 0 1 0 407385279 78520320 13268 33554432000 4194304 4935366 140725324740752 140725324738440 4461476 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 19170 13268 608 181 0 12787 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 76680 KiB
Current children cumulated memory: 53072 KiB

[startup+51.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13446
/proc/meminfo: memFree=30305180/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=94612 memory=70984 CPUtime=51.09 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 72097 0 0 0 5103 6 0 0 20 0 1 0 407385279 96882688 17746 33554432000 4194304 4935366 140725324740752 140725324738504 4389963 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 23653 17746 608 181 0 17270 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 94612 KiB
Current children cumulated memory: 70984 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13450
/proc/meminfo: memFree=30274660/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=117720 memory=92964 CPUtime=102.26 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 97442 0 0 0 10218 8 0 0 20 0 1 0 407385279 120545280 23241 33554432000 4194304 4935366 140725324740752 140725324738456 4461476 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 29430 23241 608 181 0 23047 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 117720 KiB
Current children cumulated memory: 92964 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13455
/proc/meminfo: memFree=30243028/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=133016 memory=108664 CPUtime=162.22 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 124094 0 0 0 16212 10 0 0 20 0 1 0 407385279 136208384 27166 33554432000 4194304 4935366 140725324740752 140725324738504 4461244 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 33254 27166 608 181 0 26871 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 133016 KiB
Current children cumulated memory: 108664 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13461
/proc/meminfo: memFree=30223868/32770624 swapFree=67008552/67108860
[pid=13442] ppid=13439 vsize=151920 memory=127588 CPUtime=222.2 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 133105 0 0 0 22208 12 0 0 20 0 1 0 407385279 155566080 31897 33554432000 4194304 4935366 140725324740752 140725324738440 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 37980 31897 608 181 0 31597 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 151920 KiB
Current children cumulated memory: 127588 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13471
/proc/meminfo: memFree=30207812/32770624 swapFree=67008556/67108860
[pid=13442] ppid=13439 vsize=169712 memory=145244 CPUtime=282.2 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 141892 0 0 0 28206 14 0 0 20 0 1 0 407385279 173785088 36311 33554432000 4194304 4935366 140725324740752 140725324738504 4461216 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 42428 36311 608 181 0 36045 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 169712 KiB
Current children cumulated memory: 145244 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13495
/proc/meminfo: memFree=30195648/32770624 swapFree=67008564/67108860
[pid=13442] ppid=13439 vsize=180520 memory=156244 CPUtime=342.19 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 153461 0 0 0 34203 16 0 0 20 0 1 0 407385279 184852480 39061 33554432000 4194304 4935366 140725324740752 140725324738264 4461227 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 45130 39061 608 181 0 38747 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 180520 KiB
Current children cumulated memory: 156244 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13501
/proc/meminfo: memFree=30175040/32770624 swapFree=67008564/67108860
[pid=13442] ppid=13439 vsize=190504 memory=166140 CPUtime=402.19 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 167730 0 0 0 40202 17 0 0 20 0 1 0 407385279 195076096 41535 33554432000 4194304 4935366 140725324740752 140725324738504 4461244 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 47626 41535 608 181 0 41243 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 190504 KiB
Current children cumulated memory: 166140 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13505
/proc/meminfo: memFree=30154444/32770624 swapFree=67008564/67108860
[pid=13442] ppid=13439 vsize=200020 memory=175524 CPUtime=462.18 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 183909 0 0 0 46200 18 0 0 20 0 1 0 407385279 204820480 43881 33554432000 4194304 4935366 140725324740752 140725324738440 4461069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 50005 43881 608 181 0 43622 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 200020 KiB
Current children cumulated memory: 175524 KiB


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

/proc/13442/statm: 76121 70010 608 181 0 69738 0
Current children cumulated CPU time: 1602.03 s
Current children cumulated vsize: 304484 KiB
Current children cumulated memory: 280040 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 13617
/proc/meminfo: memFree=29964332/32770624 swapFree=67008572/67108860
[pid=13442] ppid=13439 vsize=308292 memory=283728 CPUtime=1662.02 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 329949 0 0 0 166167 35 0 0 20 0 1 0 407385279 315691008 70932 33554432000 4194304 4935366 140725324740752 140725324738456 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 77073 70932 608 181 0 70690 0
Current children cumulated CPU time: 1662.02 s
Current children cumulated vsize: 308292 KiB
Current children cumulated memory: 283728 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 13621
/proc/meminfo: memFree=29959880/32770624 swapFree=67008572/67108860
[pid=13442] ppid=13439 vsize=312776 memory=288224 CPUtime=1722.02 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 337944 0 0 0 172166 36 0 0 20 0 1 0 407385279 320282624 72056 33554432000 4194304 4935366 140725324740752 140725324738440 4461084 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 78194 72056 608 181 0 71811 0
Current children cumulated CPU time: 1722.02 s
Current children cumulated vsize: 312776 KiB
Current children cumulated memory: 288224 KiB

[startup+1782.3 s]
/proc/loadavg: 2.65 2.18 2.10 3/205 13626
/proc/meminfo: memFree=29957160/32770624 swapFree=67008576/67108860
[pid=13442] ppid=13439 vsize=315372 memory=290820 CPUtime=1782.01 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 345805 0 0 0 178164 37 0 0 20 0 1 0 407385279 322940928 72705 33554432000 4194304 4935366 140725324740752 140725324738440 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 78843 72705 608 181 0 72460 0
Current children cumulated CPU time: 1782.01 s
Current children cumulated vsize: 315372 KiB
Current children cumulated memory: 290820 KiB

[startup+1842.3 s]
/proc/loadavg: 2.19 2.14 2.09 3/205 13693
/proc/meminfo: memFree=29963080/32770624 swapFree=67008576/67108860
[pid=13442] ppid=13439 vsize=317476 memory=293128 CPUtime=1842 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 352868 0 0 0 184162 38 0 0 20 0 1 0 407385279 325095424 73282 33554432000 4194304 4935366 140725324740752 140725324738504 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 79369 73282 608 181 0 72986 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 317476 KiB
Current children cumulated memory: 293128 KiB

[startup+1902.3 s]
/proc/loadavg: 2.07 2.11 2.08 3/205 13697
/proc/meminfo: memFree=29747320/32770624 swapFree=67008576/67108860
[pid=13442] ppid=13439 vsize=321832 memory=297388 CPUtime=1901.99 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 355888 0 0 0 190160 39 0 0 20 0 1 0 407385279 329555968 74347 33554432000 4194304 4935366 140725324740752 140725324738440 4461244 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 80458 74347 608 181 0 74075 0
Current children cumulated CPU time: 1901.99 s
Current children cumulated vsize: 321832 KiB
Current children cumulated memory: 297388 KiB

[startup+1962.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/205 13702
/proc/meminfo: memFree=29548044/32770624 swapFree=67008580/67108860
[pid=13442] ppid=13439 vsize=323028 memory=298600 CPUtime=1961.98 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 358493 0 0 0 196159 39 0 0 20 0 1 0 407385279 330780672 74650 33554432000 4194304 4935366 140725324740752 140725324738504 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 80757 74650 608 181 0 74374 0
Current children cumulated CPU time: 1961.98 s
Current children cumulated vsize: 323028 KiB
Current children cumulated memory: 298600 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/205 13708
/proc/meminfo: memFree=29379376/32770624 swapFree=67008580/67108860
[pid=13442] ppid=13439 vsize=329488 memory=305080 CPUtime=2021.98 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 364007 0 0 0 202158 40 0 0 20 0 1 0 407385279 337395712 76270 33554432000 4194304 4935366 140725324740752 140725324738440 4461247 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 82372 76270 608 181 0 75989 0
Current children cumulated CPU time: 2021.98 s
Current children cumulated vsize: 329488 KiB
Current children cumulated memory: 305080 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/205 13717
/proc/meminfo: memFree=29237264/32770624 swapFree=67008592/67108860
[pid=13442] ppid=13439 vsize=330780 memory=306412 CPUtime=2081.97 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 368546 0 0 0 208157 40 0 0 20 0 1 0 407385279 338718720 76603 33554432000 4194304 4935366 140725324740752 140725324738504 4461050 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 82695 76603 608 181 0 76312 0
Current children cumulated CPU time: 2081.97 s
Current children cumulated vsize: 330780 KiB
Current children cumulated memory: 306412 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/204 13721
/proc/meminfo: memFree=29102188/32770624 swapFree=67008592/67108860
[pid=13442] ppid=13439 vsize=335156 memory=310700 CPUtime=2141.97 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 374262 0 0 0 214156 41 0 0 20 0 1 0 407385279 343199744 77675 33554432000 4194304 4935366 140725324740752 140725324738440 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 83789 77675 608 181 0 77406 0
Current children cumulated CPU time: 2141.97 s
Current children cumulated vsize: 335156 KiB
Current children cumulated memory: 310700 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/205 13728
/proc/meminfo: memFree=28982900/32770624 swapFree=67008592/67108860
[pid=13442] ppid=13439 vsize=346284 memory=321760 CPUtime=2201.97 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 384136 0 0 0 220154 43 0 0 20 0 1 0 407385279 354594816 80440 33554432000 4194304 4935366 140725324740752 140725324738440 4461244 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 86571 80440 608 181 0 80188 0
Current children cumulated CPU time: 2201.97 s
Current children cumulated vsize: 346284 KiB
Current children cumulated memory: 321760 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/205 13732
/proc/meminfo: memFree=28853612/32770624 swapFree=67008592/67108860
[pid=13442] ppid=13439 vsize=346780 memory=322152 CPUtime=2261.96 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 392420 0 0 0 226152 44 0 0 20 0 1 0 407385279 355102720 80538 33554432000 4194304 4935366 140725324740752 140725324738440 4461247 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 86695 80538 608 181 0 80312 0
Current children cumulated CPU time: 2261.96 s
Current children cumulated vsize: 346780 KiB
Current children cumulated memory: 322152 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/205 13736
/proc/meminfo: memFree=28710960/32770624 swapFree=67008592/67108860
[pid=13442] ppid=13439 vsize=346976 memory=322352 CPUtime=2321.96 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 400912 0 0 0 232151 45 0 0 20 0 1 0 407385279 355303424 80588 33554432000 4194304 4935366 140725324740752 140725324738440 4461218 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 86744 80588 608 181 0 80361 0
Current children cumulated CPU time: 2321.96 s
Current children cumulated vsize: 346976 KiB
Current children cumulated memory: 322352 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 13742
/proc/meminfo: memFree=28580416/32770624 swapFree=67008592/67108860
[pid=13442] ppid=13439 vsize=346976 memory=322444 CPUtime=2381.95 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 409505 0 0 0 238149 46 0 0 20 0 1 0 407385279 355303424 80611 33554432000 4194304 4935366 140725324740752 140725324738440 4461216 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 86744 80611 608 181 0 80361 0
Current children cumulated CPU time: 2381.95 s
Current children cumulated vsize: 346976 KiB
Current children cumulated memory: 322444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 13743
/proc/meminfo: memFree=28553552/32770624 swapFree=67008592/67108860
[pid=13442] ppid=13439 vsize=347240 memory=322520 CPUtime=2400.05 cores=0,2,4,6
/proc/13442/stat : 13442 (nacre_mini_rele) R 13439 13442 11077 0 -1 4202496 409974 0 0 0 239959 46 0 0 20 0 1 0 407385279 355573760 80630 33554432000 4194304 4935366 140725324740752 140725324738504 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 33939456 140725324743681 140725324743781 140725324743781 140725324746690 0
/proc/13442/statm: 86810 80630 608 181 0 80427 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 347240 KiB
Current children cumulated memory: 322520 KiB

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

[startup+2400.4 s]
# the end of solver process 13442 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.6 s, system=0.467958 s

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

Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.07
CPU user time (s): 2399.6
CPU system time (s): 0.467958
CPU usage (%): 99.9859
Max. virtual memory (cumulated for all children) (KiB): 347240
Max. memory (cumulated for all children) (KiB): 322520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.6
system time used= 0.467958
maximum resident set size= 322736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 410017
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147
involuntary context switches= 1462


# summary of solver processes directly reported to runsolver:
#   pid: 13442
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2399.6
#   total CPU system time (s): 0.467958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.87783 second user time and 18.2613 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-12 20:56:16
IDJOB=4391512
IDBENCH=134580
IDSOLVER=2834
FILE ID=node132/4391512-1568314626
RUNJOBID= node132-1568304897-11108
PBS_JOBID= 21701117
Free space on /tmp= 60304 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-9_X2.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391512-1568314626/watcher-4391512-1568314626 -o /tmp/evaluation-result-4391512-1568314626/solver-4391512-1568314626 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11108 --watchdog 2560  nacre_mini_release HOME/instance-4391512-1568314626.xml -ca -l100 -cm

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a7efa7459c7ca72744d0a792626ba479
RANDOM SEED=1991061447

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30374224 kB
MemAvailable:   31717628 kB
Buffers:          115328 kB
Cached:          1498940 kB
SwapCached:         8740 kB
Active:           503272 kB
Inactive:        1313256 kB
Active(anon):     202328 kB
Inactive(anon):    26968 kB
Active(file):     300944 kB
Inactive(file):  1286288 kB
Unevictable:      110200 kB
Mlocked:          110200 kB
SwapTotal:      67108860 kB
SwapFree:       67008552 kB
Dirty:               812 kB
Writeback:             0 kB
AnonPages:        305732 kB
Mapped:            30936 kB
Shmem:             18420 kB
Slab:             173368 kB
SReclaimable:     144016 kB
SUnreclaim:        29352 kB
KernelStack:        3616 kB
PageTables:         6300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     699752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 60304 MiB
End job on node132 at 2019-09-12 21:36:17