Trace number 4298589

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.9 2520.01

General information on the benchmark

NameGracefulGraph/
GracefulGraph-K06-P02_c18.xml
MD5SUM53e7831caef8c5f41b7e6921221d2be5
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 variables90
Number of constraints38
Number of domains2
Minimum domain size36
Maximum domain size37
Distribution of domain sizes[{"size":36,"count":36},{"size":37,"count":12}]
Minimum variable degree0
Maximum variable degree7
Distribution of variable degrees[{"degree":0,"count":42},{"degree":2,"count":36},{"degree":7,"count":12}]
Minimum constraint arity3
Maximum constraint arity36
Distribution of constraint arities[{"arity":3,"count":36},{"arity":12,"count":1},{"arity":36,"count":1}]
Number of extensional constraints0
Number of intensional constraints36
Distribution of constraint types[{"type":"intension","count":36},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c NACRE 1.0.4
2519.88/2520.01	c
2519.88/2520.01	c # time = 2519.88
2519.88/2520.01	c # Dec = 1109072
2519.88/2520.01	c # Propagate Calls = 836133831
2519.88/2520.01	c # assignAt Calls = 1332146
2519.88/2520.01	c # removeAt Calls = 204456841
2519.88/2520.01	c # Run = 2047
2519.88/2520.01	c # Conflicts = 1096710
2519.88/2520.01	c # Memory used = 236.496 Mb
2519.88/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 (9012 MiB free)
  memory of node 1: 16384 MiB (12658 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298589-1532776755/watcher-4298589-1532776755 -o /tmp/evaluation-result-4298589-1532776755/solver-4298589-1532776755 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580 nacre_mini_release HOME/instance-4298589-1532776755.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
solver pid=20694, runsolver pid=20691
Current StackSize limit: 8192 KiB


[startup+0.100142 s]*
/proc/loadavg: 2.00 2.00 1.95 3/187 20695
/proc/meminfo: memFree=22188088/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=27708 memory=4520 CPUtime=0.1 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 1295 0 0 0 10 0 0 0 20 0 1 0 95238634 28372992 1130 33554432000 4194304 4933779 140727962289344 140727962286344 4369280 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 6927 1130 610 181 0 544 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27708 KiB
Current children cumulated memory: 4520 KiB

[startup+0.209296 s]*
/proc/loadavg: 2.00 2.00 1.95 3/187 20695
/proc/meminfo: memFree=22188088/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=27840 memory=4520 CPUtime=0.21 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 1315 0 0 0 21 0 0 0 20 0 1 0 95238634 28508160 1130 33554432000 4194304 4933779 140727962289344 140727962286344 140259183201933 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 6960 1130 610 181 0 577 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27840 KiB
Current children cumulated memory: 4520 KiB

[startup+0.308711 s]*
/proc/loadavg: 2.00 2.00 1.95 3/187 20695
/proc/meminfo: memFree=22187764/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=27840 memory=4520 CPUtime=0.31 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 1331 0 0 0 31 0 0 0 20 0 1 0 95238634 28508160 1130 33554432000 4194304 4933779 140727962289344 140727962286344 4482208 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 6960 1130 610 181 0 577 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27840 KiB
Current children cumulated memory: 4520 KiB

[startup+0.700274 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20695
/proc/meminfo: memFree=22187516/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=28232 memory=5048 CPUtime=0.69 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 1426 0 0 0 69 0 0 0 20 0 1 0 95238634 28909568 1262 33554432000 4194304 4933779 140727962289344 140727962287496 4367264 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 7058 1262 610 181 0 675 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28232 KiB
Current children cumulated memory: 5048 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20695
/proc/meminfo: memFree=22187144/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=28756 memory=5340 CPUtime=1.49 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 1542 0 0 0 149 0 0 0 20 0 1 0 95238634 29446144 1335 33554432000 4194304 4933779 140727962289344 140727962287496 140259183209445 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 7189 1335 610 181 0 806 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28756 KiB
Current children cumulated memory: 5340 KiB

[startup+3.10882 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20695
/proc/meminfo: memFree=22185672/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=29920 memory=6612 CPUtime=3.1 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 2619 0 0 0 310 0 0 0 20 0 1 0 95238634 30638080 1653 33554432000 4194304 4933779 140727962289344 140727962287496 140259184129969 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 7480 1653 610 181 0 1097 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29920 KiB
Current children cumulated memory: 6612 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20695
/proc/meminfo: memFree=22182772/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=32308 memory=9024 CPUtime=6.29 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 4328 0 0 0 629 0 0 0 20 0 1 0 95238634 33083392 2256 33554432000 4194304 4933779 140727962289344 140727962287112 140259183956724 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 8077 2256 610 181 0 1694 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32308 KiB
Current children cumulated memory: 9024 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20695
/proc/meminfo: memFree=22177812/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=37424 memory=14012 CPUtime=12.69 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 7384 0 0 0 1268 1 0 0 20 0 1 0 95238634 38322176 3503 33554432000 4194304 4933779 140727962289344 140727962287112 140259183209445 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 9356 3503 610 181 0 2973 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 37424 KiB
Current children cumulated memory: 14012 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20695
/proc/meminfo: memFree=22167744/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=47120 memory=23484 CPUtime=25.49 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 17622 0 0 0 2548 1 0 0 20 0 1 0 95238634 48250880 5871 33554432000 4194304 4933779 140727962289344 140727962287112 4482231 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 11780 5871 610 181 0 5397 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 47120 KiB
Current children cumulated memory: 23484 KiB

[startup+51.1093 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20702
/proc/meminfo: memFree=22153664/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=58236 memory=34756 CPUtime=51.1 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 27310 0 0 0 5108 2 0 0 20 0 1 0 95238634 59633664 8689 33554432000 4194304 4933779 140727962289344 140727962287112 4372837 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 14559 8689 610 181 0 8176 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 58236 KiB
Current children cumulated memory: 34756 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20703
/proc/meminfo: memFree=22135972/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=74352 memory=50468 CPUtime=102.28 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 41255 0 0 0 10224 4 0 0 20 0 1 0 95238634 76136448 12617 33554432000 4194304 4933779 140727962289344 140727962287096 140259183207024 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 18588 12617 610 181 0 12205 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 74352 KiB
Current children cumulated memory: 50468 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20704
/proc/meminfo: memFree=22120572/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=88244 memory=64752 CPUtime=162.28 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 47606 0 0 0 16223 5 0 0 20 0 1 0 95238634 90361856 16188 33554432000 4194304 4933779 140727962289344 140727962287032 140259184129972 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 22061 16188 610 181 0 15678 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 88244 KiB
Current children cumulated memory: 64752 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20705
/proc/meminfo: memFree=22109188/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=97712 memory=74176 CPUtime=222.27 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 53718 0 0 0 22222 5 0 0 20 0 1 0 95238634 100057088 18544 33554432000 4194304 4933779 140727962289344 140727962287096 140259184135594 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 24428 18544 610 181 0 18045 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 97712 KiB
Current children cumulated memory: 74176 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20706
/proc/meminfo: memFree=22092052/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=112588 memory=89252 CPUtime=282.26 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 63707 0 0 0 28219 7 0 0 20 0 1 0 95238634 115290112 22313 33554432000 4194304 4933779 140727962289344 140727962287096 140259183207166 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 28147 22313 610 181 0 21764 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 112588 KiB
Current children cumulated memory: 89252 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20707
/proc/meminfo: memFree=22082568/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=120204 memory=96848 CPUtime=342.26 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 66753 0 0 0 34218 8 0 0 20 0 1 0 95238634 123088896 24212 33554432000 4194304 4933779 140727962289344 140727962287048 4372346 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 30051 24212 610 181 0 23668 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 120204 KiB
Current children cumulated memory: 96848 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20709
/proc/meminfo: memFree=22071676/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=129928 memory=105316 CPUtime=402.25 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 72365 0 0 0 40216 9 0 0 20 0 1 0 95238634 133046272 26329 33554432000 4194304 4933779 140727962289344 140727962287032 4372909 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 32482 26329 610 181 0 26099 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 129928 KiB
Current children cumulated memory: 105316 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/187 20710
/proc/meminfo: memFree=22065904/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=133672 memory=109296 CPUtime=462.25 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 78282 0 0 0 46216 9 0 0 20 0 1 0 95238634 136880128 27324 33554432000 4194304 4933779 140727962289344 140727962287048 140259183207002 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 33418 27324 610 181 0 27035 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 133672 KiB
Current children cumulated memory: 109296 KiB


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

/proc/20694/statm: 57456 51555 610 181 0 51073 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 229824 KiB
Current children cumulated memory: 206220 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/187 20748
/proc/meminfo: memFree=21933264/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=235316 memory=211672 CPUtime=1782.2 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 176399 0 0 0 178198 22 0 0 20 0 1 0 95238634 240963584 52918 33554432000 4194304 4933779 140727962289344 140727962287048 4482272 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 58829 52918 610 181 0 52446 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 235316 KiB
Current children cumulated memory: 211672 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 20749
/proc/meminfo: memFree=21927424/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=239304 memory=215604 CPUtime=1842.2 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 180821 0 0 0 184198 22 0 0 20 0 1 0 95238634 245047296 53901 33554432000 4194304 4933779 140727962289344 140727962287048 4370069 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 59826 53901 610 181 0 53443 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 239304 KiB
Current children cumulated memory: 215604 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/188 20880
/proc/meminfo: memFree=22045260/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=244912 memory=221440 CPUtime=1902.19 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 186782 0 0 0 190196 23 0 0 20 0 1 0 95238634 250789888 55360 33554432000 4194304 4933779 140727962289344 140727962287048 4437570 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 61228 55360 610 181 0 54845 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 244912 KiB
Current children cumulated memory: 221440 KiB

[startup+1962.3 s]
/proc/loadavg: 1.97 2.00 2.00 3/188 20941
/proc/meminfo: memFree=21773236/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=248128 memory=224512 CPUtime=1962.19 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 193494 0 0 0 196195 24 0 0 20 0 1 0 95238634 254083072 56128 33554432000 4194304 4933779 140727962289344 140727962287048 4365852 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 62032 56128 610 181 0 55649 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 248128 KiB
Current children cumulated memory: 224512 KiB

[startup+2022.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/188 20942
/proc/meminfo: memFree=21656748/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=252044 memory=228456 CPUtime=2022.18 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 196130 0 0 0 202194 24 0 0 20 0 1 0 95238634 258093056 57114 33554432000 4194304 4933779 140727962289344 140727962287096 4437389 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 63011 57114 610 181 0 56628 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 252044 KiB
Current children cumulated memory: 228456 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/188 20943
/proc/meminfo: memFree=21604796/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=254308 memory=230824 CPUtime=2082.19 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 199143 0 0 0 208194 25 0 0 20 0 1 0 95238634 260411392 57706 33554432000 4194304 4933779 140727962289344 140727962287048 140259183207044 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 63577 57706 610 181 0 57194 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 254308 KiB
Current children cumulated memory: 230824 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/188 20944
/proc/meminfo: memFree=21544708/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=257128 memory=233748 CPUtime=2142.18 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 202951 0 0 0 214193 25 0 0 20 0 1 0 95238634 263299072 58437 33554432000 4194304 4933779 140727962289344 140727962287048 140259184129972 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 64282 58437 610 181 0 57899 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 257128 KiB
Current children cumulated memory: 233748 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 20946
/proc/meminfo: memFree=21498096/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=257824 memory=234228 CPUtime=2202.18 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 206751 0 0 0 220192 26 0 0 20 0 1 0 95238634 264011776 58557 33554432000 4194304 4933779 140727962289344 140727962287032 4437824 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 64456 58557 610 181 0 58073 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 257824 KiB
Current children cumulated memory: 234228 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 20947
/proc/meminfo: memFree=21451528/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=257824 memory=234420 CPUtime=2262.18 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 210504 0 0 0 226192 26 0 0 20 0 1 0 95238634 264011776 58605 33554432000 4194304 4933779 140727962289344 140727962287032 4482217 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 64456 58605 610 181 0 58073 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 257824 KiB
Current children cumulated memory: 234420 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 20948
/proc/meminfo: memFree=21417172/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=258024 memory=234620 CPUtime=2322.18 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 214193 0 0 0 232192 26 0 0 20 0 1 0 95238634 264216576 58655 33554432000 4194304 4933779 140727962289344 140727962287032 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 64506 58655 610 181 0 58123 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 258024 KiB
Current children cumulated memory: 234620 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/186 20950
/proc/meminfo: memFree=21234596/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=258312 memory=234916 CPUtime=2382.18 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 218027 0 0 0 238191 27 0 0 20 0 1 0 95238634 264511488 58729 33554432000 4194304 4933779 140727962289344 140727962287032 140259184135583 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 64578 58729 610 181 0 58195 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 258312 KiB
Current children cumulated memory: 234916 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 20952
/proc/meminfo: memFree=20960628/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=258312 memory=234960 CPUtime=2442.18 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 221746 0 0 0 244191 27 0 0 20 0 1 0 95238634 264511488 58740 33554432000 4194304 4933779 140727962289344 140727962287032 4367156 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 64578 58740 610 181 0 58195 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 258312 KiB
Current children cumulated memory: 234960 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/189 20962
/proc/meminfo: memFree=20692012/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=259576 memory=236196 CPUtime=2502.17 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 225794 0 0 0 250190 27 0 0 20 0 1 0 95238634 265805824 59049 33554432000 4194304 4933779 140727962289344 140727962287032 4212112 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 64894 59049 610 181 0 58511 0
Current children cumulated CPU time: 2502.17 s
Current children cumulated vsize: 259576 KiB
Current children cumulated memory: 236196 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.00 3/189 20985
/proc/meminfo: memFree=20627648/32770624 swapFree=67108796/67108860
[pid=20694] ppid=20691 vsize=259844 memory=236496 CPUtime=2519.88 cores=1,3,5,7
/proc/20694/stat : 20694 (nacre_mini_rele) R 20691 20694 24279 0 -1 4202496 229454 0 0 0 251961 27 0 0 20 0 1 0 95238634 266080256 59124 33554432000 4194304 4933779 140727962289344 140727962287048 140259183218591 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 16879616 140727962297496 140727962297596 140727962297596 140727962300354 0
/proc/20694/statm: 64961 59124 610 181 0 58578 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 259844 KiB
Current children cumulated memory: 236496 KiB

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

[startup+2520.01 s]
# the end of solver process 20694 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.61 s, system=0.28299 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.9
CPU user time (s): 2519.61
CPU system time (s): 0.28299
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 259844
Max. memory (cumulated for all children) (KiB): 236496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.61
system time used= 0.28299
maximum resident set size= 236572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229497
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= 71
involuntary context switches= 1554


# summary of solver processes directly reported to runsolver:
#   pid: 20694
#   total CPU time (s): 2519.9
#   total CPU user time (s): 2519.61
#   total CPU system time (s): 0.28299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.41676 second user time and 17.4162 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 13:19:15
IDJOB=4298589
IDBENCH=141170
IDSOLVER=2764
FILE ID=node138/4298589-1532776755
RUNJOBID= node138-1532773607-19388
PBS_JOBID= 21022455
Free space on /tmp= 53800 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K06-P02_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298589-1532776755/watcher-4298589-1532776755 -o /tmp/evaluation-result-4298589-1532776755/solver-4298589-1532776755 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580  nacre_mini_release HOME/instance-4298589-1532776755.xml -ca -l100 -cm

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

MD5SUM BENCH= 53e7831caef8c5f41b7e6921221d2be5
RANDOM SEED=1343988725

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:        22190508 kB
MemAvailable:   31844776 kB
Buffers:          210048 kB
Cached:          9648432 kB
SwapCached:           44 kB
Active:          2623720 kB
Inactive:        7373392 kB
Active(anon):      83004 kB
Inactive(anon):    83488 kB
Active(file):    2540716 kB
Inactive(file):  7289904 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:               980 kB
Writeback:             0 kB
AnonPages:        145632 kB
Mapped:            38452 kB
Shmem:             25164 kB
Slab:             280608 kB
SReclaimable:     252108 kB
SUnreclaim:        28500 kB
KernelStack:        3328 kB
PageTables:         5388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     432560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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 14:01:15