Trace number 4300306

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.4? (TO) 2519.81 2520.01

General information on the benchmark

NameFrb/
frb-53-24-1-mgd_c18.xml
MD5SUMe77860b1077c007311080ac2a4bc32f8
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables53
Number of constraints475
Number of domains1
Minimum domain size24
Maximum domain size24
Distribution of domain sizes[{"size":24,"count":53}]
Minimum variable degree12
Maximum variable degree25
Distribution of variable degrees[{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":6},{"degree":16,"count":3},{"degree":17,"count":7},{"degree":18,"count":3},{"degree":19,"count":10},{"degree":20,"count":3},{"degree":21,"count":4},{"degree":22,"count":1},{"degree":23,"count":3},{"degree":24,"count":3},{"degree":25,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":475}]
Number of extensional constraints475
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":475}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.06	c NACRE 1.0.4
2519.80/2520.00	c
2519.80/2520.01	c # time = 2519.8
2519.80/2520.01	c # Dec = 2589602
2519.80/2520.01	c # Propagate Calls = 1212105602
2519.80/2520.01	c # assignAt Calls = 4687527
2519.80/2520.01	c # removeAt Calls = 391446373
2519.80/2520.01	c # Run = 4349
2519.80/2520.01	c # Conflicts = 2544327
2519.80/2520.01	c # Memory used = 240.196 Mb
2519.80/2520.01	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 (8939 MiB free)
  memory of node 1: 16384 MiB (12652 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300306-1532797545/watcher-4300306-1532797545 -o /tmp/evaluation-result-4300306-1532797545/solver-4300306-1532797545 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580 nacre_mini_release HOME/instance-4300306-1532797545.xml -ca -l100 -cm 

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

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

solver pid=23441, runsolver pid=23438

[startup+0.100161 s]*
/proc/loadavg: 2.04 2.11 2.09 3/188 23442
/proc/meminfo: memFree=22104816/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=32244 memory=8744 CPUtime=0.1 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 2391 0 0 0 10 0 0 0 20 0 1 0 97317669 33017856 2186 33554432000 4194304 4933779 140721211614400 140721211611400 4380463 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 8061 2186 599 181 0 1678 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32244 KiB
Current children cumulated memory: 8744 KiB

[startup+0.209468 s]*
/proc/loadavg: 2.04 2.11 2.09 3/188 23442
/proc/meminfo: memFree=22103700/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=33324 memory=9836 CPUtime=0.21 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 2667 0 0 0 21 0 0 0 20 0 1 0 97317669 34123776 2459 33554432000 4194304 4933779 140721211614400 140721211611400 140402009091045 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 8331 2459 600 181 0 1948 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33324 KiB
Current children cumulated memory: 9836 KiB

[startup+0.308879 s]*
/proc/loadavg: 2.04 2.11 2.09 3/188 23442
/proc/meminfo: memFree=22102584/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=34248 memory=10892 CPUtime=0.31 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 2902 0 0 0 31 0 0 0 20 0 1 0 97317669 35069952 2723 33554432000 4194304 4933779 140721211614400 140721211611400 140402015282418 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 8562 2723 600 181 0 2179 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 10892 KiB

[startup+0.700283 s]
/proc/loadavg: 2.04 2.11 2.09 3/188 23442
/proc/meminfo: memFree=22100724/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=37636 memory=13972 CPUtime=0.69 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 3714 0 0 0 69 0 0 0 20 0 1 0 97317669 38539264 3493 33554432000 4194304 4933779 140721211614400 140721211611400 140402009091045 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 9409 3493 600 181 0 3026 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37636 KiB
Current children cumulated memory: 13972 KiB

[startup+1.5003 s]
/proc/loadavg: 2.04 2.11 2.09 3/188 23442
/proc/meminfo: memFree=22096056/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=43344 memory=19564 CPUtime=1.49 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 5146 0 0 0 149 0 0 0 20 0 1 0 97317669 44384256 4891 33554432000 4194304 4933779 140721211614400 140721211611400 140402009091045 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 10836 4891 600 181 0 4453 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43344 KiB
Current children cumulated memory: 19564 KiB

[startup+3.10938 s]
/proc/loadavg: 2.04 2.10 2.09 3/188 23442
/proc/meminfo: memFree=22086672/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=49364 memory=25796 CPUtime=3.09 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 11165 0 0 0 309 0 0 0 20 0 1 0 97317669 50548736 6449 33554432000 4194304 4933779 140721211614400 140721211611400 140402009091045 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 12341 6449 600 181 0 5958 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 25796 KiB

[startup+6.3003 s]
/proc/loadavg: 2.04 2.10 2.09 3/188 23442
/proc/meminfo: memFree=22080348/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=55836 memory=32608 CPUtime=6.29 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 18699 0 0 0 628 1 0 0 20 0 1 0 97317669 57176064 8152 33554432000 4194304 4933779 140721211614400 140721211611912 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 13959 8152 600 181 0 7576 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 55836 KiB
Current children cumulated memory: 32608 KiB

[startup+12.7003 s]
/proc/loadavg: 2.04 2.10 2.09 3/188 23442
/proc/meminfo: memFree=22071584/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=64916 memory=41028 CPUtime=12.69 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 28357 0 0 0 1267 2 0 0 20 0 1 0 97317669 66473984 10257 33554432000 4194304 4933779 140721211614400 140721211611912 4437462 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 16229 10257 600 181 0 9846 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 64916 KiB
Current children cumulated memory: 41028 KiB

[startup+25.5004 s]
/proc/loadavg: 2.03 2.10 2.09 3/187 23442
/proc/meminfo: memFree=22060296/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=75348 memory=51560 CPUtime=25.49 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 51473 0 0 0 2545 4 0 0 20 0 1 0 97317669 77156352 12890 33554432000 4194304 4933779 140721211614400 140721211612088 140402009088527 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 18837 12890 600 181 0 12454 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 75348 KiB
Current children cumulated memory: 51560 KiB

[startup+51.1095 s]
/proc/loadavg: 2.02 2.09 2.09 3/187 23442
/proc/meminfo: memFree=22044480/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=88508 memory=65104 CPUtime=51.1 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 68578 0 0 0 5104 6 0 0 20 0 1 0 97317669 90632192 16276 33554432000 4194304 4933779 140721211614400 140721211612152 4380612 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 22127 16276 600 181 0 15744 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 88508 KiB
Current children cumulated memory: 65104 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/187 23443
/proc/meminfo: memFree=22022532/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=106696 memory=82048 CPUtime=102.29 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 89935 0 0 0 10220 9 0 0 20 0 1 0 97317669 109256704 20512 33554432000 4194304 4933779 140721211614400 140721211612088 4437792 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 26674 20512 600 181 0 20291 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 106696 KiB
Current children cumulated memory: 82048 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/187 23444
/proc/meminfo: memFree=22002440/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=120392 memory=95996 CPUtime=162.28 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 113730 0 0 0 16216 12 0 0 20 0 1 0 97317669 123281408 23999 33554432000 4194304 4933779 140721211614400 140721211612088 4437830 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 30098 23999 600 181 0 23715 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 120392 KiB
Current children cumulated memory: 95996 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/187 23445
/proc/meminfo: memFree=21984396/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=131936 memory=107856 CPUtime=222.24 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 134971 0 0 0 22210 14 0 0 20 0 1 0 97317669 135102464 26964 33554432000 4194304 4933779 140721211614400 140721211612152 4437558 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 32984 26964 600 181 0 26601 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 131936 KiB
Current children cumulated memory: 107856 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/187 23453
/proc/meminfo: memFree=21971944/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=141516 memory=117528 CPUtime=282.22 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 138669 0 0 0 28207 15 0 0 20 0 1 0 97317669 144912384 29382 33554432000 4194304 4933779 140721211614400 140721211612088 4437570 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 35379 29382 600 181 0 28996 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 141516 KiB
Current children cumulated memory: 117528 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 23454
/proc/meminfo: memFree=21959156/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=150508 memory=126564 CPUtime=342.22 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 144470 0 0 0 34205 17 0 0 20 0 1 0 97317669 154120192 31641 33554432000 4194304 4933779 140721211614400 140721211612088 4437570 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 37627 31641 600 181 0 31244 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 150508 KiB
Current children cumulated memory: 126564 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/187 23455
/proc/meminfo: memFree=21948644/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=157656 memory=133724 CPUtime=402.22 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 151936 0 0 0 40204 18 0 0 20 0 1 0 97317669 161439744 33431 33554432000 4194304 4933779 140721211614400 140721211612088 4437820 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 39414 33431 600 181 0 33031 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 157656 KiB
Current children cumulated memory: 133724 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23456
/proc/meminfo: memFree=21938164/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=163464 memory=139512 CPUtime=462.23 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 160792 0 0 0 46203 20 0 0 20 0 1 0 97317669 167387136 34878 33554432000 4194304 4933779 140721211614400 140721211611912 4437547 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 40866 34878 600 181 0 34483 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 163464 KiB
Current children cumulated memory: 139512 KiB


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

/proc/23441/statm: 59826 53519 600 181 0 53443 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 239304 KiB
Current children cumulated memory: 214076 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23495
/proc/meminfo: memFree=21809288/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=241128 memory=216200 CPUtime=1782.13 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 249593 0 0 0 178174 39 0 0 20 0 1 0 97317669 246915072 54050 33554432000 4194304 4933779 140721211614400 140721211612104 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 60282 54050 600 181 0 53899 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 241128 KiB
Current children cumulated memory: 216200 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23496
/proc/meminfo: memFree=21805196/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=243388 memory=218412 CPUtime=1842.13 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 252031 0 0 0 184173 40 0 0 20 0 1 0 97317669 249229312 54603 33554432000 4194304 4933779 140721211614400 140721211612088 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 60847 54603 600 181 0 54464 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 243388 KiB
Current children cumulated memory: 218412 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23557
/proc/meminfo: memFree=21987252/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=245324 memory=220320 CPUtime=1902.12 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 254901 0 0 0 190172 40 0 0 20 0 1 0 97317669 251211776 55080 33554432000 4194304 4933779 140721211614400 140721211612104 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 61331 55080 600 181 0 54948 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 245324 KiB
Current children cumulated memory: 220320 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23558
/proc/meminfo: memFree=21967412/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=247712 memory=222616 CPUtime=1962.12 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 258376 0 0 0 196171 41 0 0 20 0 1 0 97317669 253657088 55654 33554432000 4194304 4933779 140721211614400 140721211612088 4437567 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 61928 55654 600 181 0 55545 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 247712 KiB
Current children cumulated memory: 222616 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23559
/proc/meminfo: memFree=21953488/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=249232 memory=224408 CPUtime=2022.12 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 261808 0 0 0 202170 42 0 0 20 0 1 0 97317669 255213568 56102 33554432000 4194304 4933779 140721211614400 140721211612104 4437558 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 62308 56102 600 181 0 55925 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 249232 KiB
Current children cumulated memory: 224408 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23567
/proc/meminfo: memFree=21938632/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=251692 memory=226564 CPUtime=2082.11 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 263701 0 0 0 208169 42 0 0 20 0 1 0 97317669 257732608 56641 33554432000 4194304 4933779 140721211614400 140721211612088 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 62923 56641 600 181 0 56540 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 251692 KiB
Current children cumulated memory: 226564 KiB

[startup+2142.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/187 23568
/proc/meminfo: memFree=21929836/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=253432 memory=228476 CPUtime=2142.11 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 265892 0 0 0 214168 43 0 0 20 0 1 0 97317669 259514368 57119 33554432000 4194304 4933779 140721211614400 140721211612104 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 63358 57119 600 181 0 56975 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 253432 KiB
Current children cumulated memory: 228476 KiB

[startup+2202.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/187 23569
/proc/meminfo: memFree=21920592/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=255612 memory=230552 CPUtime=2202.1 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 268603 0 0 0 220167 43 0 0 20 0 1 0 97317669 261746688 57638 33554432000 4194304 4933779 140721211614400 140721211612104 4437824 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 63903 57638 600 181 0 57520 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 255612 KiB
Current children cumulated memory: 230552 KiB

[startup+2262.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 23570
/proc/meminfo: memFree=21911036/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=257800 memory=232820 CPUtime=2262.1 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 271821 0 0 0 226166 44 0 0 20 0 1 0 97317669 263987200 58205 33554432000 4194304 4933779 140721211614400 140721211611912 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 64450 58205 600 181 0 58067 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 257800 KiB
Current children cumulated memory: 232820 KiB

[startup+2322.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/187 23571
/proc/meminfo: memFree=21903776/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=259632 memory=234796 CPUtime=2322.09 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 273744 0 0 0 232165 44 0 0 20 0 1 0 97317669 265863168 58699 33554432000 4194304 4933779 140721211614400 140721211611912 4380307 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 64908 58699 600 181 0 58525 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 259632 KiB
Current children cumulated memory: 234796 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 23572
/proc/meminfo: memFree=21897132/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=261464 memory=236216 CPUtime=2382.09 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 275977 0 0 0 238165 44 0 0 20 0 1 0 97317669 267739136 59054 33554432000 4194304 4933779 140721211614400 140721211612088 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 65366 59054 600 181 0 58983 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 261464 KiB
Current children cumulated memory: 236216 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 23573
/proc/meminfo: memFree=21891552/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=262624 memory=237448 CPUtime=2442.09 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 278349 0 0 0 244164 45 0 0 20 0 1 0 97317669 268926976 59362 33554432000 4194304 4933779 140721211614400 140721211612104 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 65656 59362 600 181 0 59273 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 262624 KiB
Current children cumulated memory: 237448 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23574
/proc/meminfo: memFree=21885600/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=264776 memory=239716 CPUtime=2502.09 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 281214 0 0 0 250163 46 0 0 20 0 1 0 97317669 271130624 59929 33554432000 4194304 4933779 140721211614400 140721211612104 4437796 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 66194 59929 600 181 0 59811 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 264776 KiB
Current children cumulated memory: 239716 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23575
/proc/meminfo: memFree=21883740/32770624 swapFree=67108796/67108860
[pid=23441] ppid=23438 vsize=265320 memory=240196 CPUtime=2519.8 cores=1,3,5,7
/proc/23441/stat : 23441 (nacre_mini_rele) R 23438 23441 24279 0 -1 4202496 284104 0 0 0 251934 46 0 0 20 0 1 0 97317669 271687680 60049 33554432000 4194304 4933779 140721211614400 140721211611912 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 28266496 140721211622552 140721211622652 140721211622652 140721211625410 0
/proc/23441/statm: 66330 60049 600 181 0 59947 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 265320 KiB
Current children cumulated memory: 240196 KiB

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

[startup+2520.01 s]
# the end of solver process 23441 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.34 s, system=0.467982 s

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

Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.81
CPU user time (s): 2519.34
CPU system time (s): 0.467982
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 265320
Max. memory (cumulated for all children) (KiB): 240196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.34
system time used= 0.467982
maximum resident set size= 240284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284147
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= 116
involuntary context switches= 1767


# summary of solver processes directly reported to runsolver:
#   pid: 23441
#   total CPU time (s): 2519.81
#   total CPU user time (s): 2519.34
#   total CPU system time (s): 0.467982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6277 second user time and 17.5875 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 19:05:45
IDJOB=4300306
IDBENCH=141583
IDSOLVER=2764
FILE ID=node138/4300306-1532797545
RUNJOBID= node138-1532773607-19388
PBS_JOBID= 21022455
Free space on /tmp= 53800 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/Frb/frb-53-24-1-mgd_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300306-1532797545/watcher-4300306-1532797545 -o /tmp/evaluation-result-4300306-1532797545/solver-4300306-1532797545 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580  nacre_mini_release HOME/instance-4300306-1532797545.xml -ca -l100 -cm

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

MD5SUM BENCH= e77860b1077c007311080ac2a4bc32f8
RANDOM SEED=718819347

node138.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.71
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.71
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.71
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.71
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:        22110824 kB
MemAvailable:   31774304 kB
Buffers:          211756 kB
Cached:          9655492 kB
SwapCached:           44 kB
Active:          2698948 kB
Inactive:        7378472 kB
Active(anon):     154284 kB
Inactive(anon):    83488 kB
Active(file):    2544664 kB
Inactive(file):  7294984 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              1164 kB
Writeback:             0 kB
AnonPages:        217240 kB
Mapped:            39444 kB
Shmem:             25164 kB
Slab:             280388 kB
SReclaimable:     252292 kB
SUnreclaim:        28096 kB
KernelStack:        3376 kB
PageTables:         5456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53800 MiB
End job on node138 at 2018-07-28 19:47:45