Trace number 4299898

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.56 2520.02

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g17-g37_c18.xml
MD5SUM15f6930ab26cfa444fe93224da66a51d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1784.38
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints113
Number of domains1
Minimum domain size120
Maximum domain size120
Distribution of domain sizes[{"size":120,"count":64}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":24},{"degree":5,"count":36}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":112},{"arity":64,"count":1}]
Number of extensional constraints112
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":112},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.04	c NACRE 1.0.4
2519.53/2520.01	c
2519.53/2520.01	c # time = 2519.53
2519.53/2520.01	c # Dec = 1469867
2519.53/2520.01	c # Propagate Calls = 4356878961
2519.53/2520.01	c # assignAt Calls = 2962238
2519.53/2520.01	c # removeAt Calls = 914248426
2519.53/2520.01	c # Run = 2812
2519.53/2520.01	c # Conflicts = 1441677
2519.53/2520.01	c # Memory used = 859.472 Mb
2519.53/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 (9680 MiB free)
  memory of node 1: 16384 MiB (12645 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299898-1532791782/watcher-4299898-1532791782 -o /tmp/evaluation-result-4299898-1532791782/solver-4299898-1532791782 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4299898-1532791782.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=29607, runsolver pid=29604

[startup+0.100166 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29608
/proc/meminfo: memFree=22850820/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=37236 memory=13760 CPUtime=0.1 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 3660 0 0 0 10 0 0 0 20 0 1 0 96741331 38129664 3440 33554432000 4194304 4933779 140725653156336 140725653153336 139919962694388 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 9309 3440 605 181 0 2926 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37236 KiB
Current children cumulated memory: 13760 KiB

[startup+0.209555 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29608
/proc/meminfo: memFree=22849580/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=38652 memory=15260 CPUtime=0.21 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 3998 0 0 0 21 0 0 0 20 0 1 0 96741331 39579648 3815 33554432000 4194304 4933779 140725653156336 140725653153880 139919968240032 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 9663 3815 605 181 0 3280 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38652 KiB
Current children cumulated memory: 15260 KiB

[startup+0.309044 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29608
/proc/meminfo: memFree=22847720/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=39808 memory=16404 CPUtime=0.3 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 4306 0 0 0 30 0 0 0 20 0 1 0 96741331 40763392 4101 33554432000 4194304 4933779 140725653156336 140725653153880 139919968240527 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 9952 4101 605 181 0 3569 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39808 KiB
Current children cumulated memory: 16404 KiB

[startup+0.700315 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29608
/proc/meminfo: memFree=22845116/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=44516 memory=21208 CPUtime=0.69 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 5492 0 0 0 69 0 0 0 20 0 1 0 96741331 45584384 5302 33554432000 4194304 4933779 140725653156336 140725653153880 139919968138406 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 11129 5302 605 181 0 4746 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44516 KiB
Current children cumulated memory: 21208 KiB

[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29608
/proc/meminfo: memFree=22839164/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=54184 memory=30724 CPUtime=1.49 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 7906 0 0 0 148 1 0 0 20 0 1 0 96741331 55484416 7681 33554432000 4194304 4933779 140725653156336 140725653154088 4380568 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 13546 7681 605 181 0 7163 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54184 KiB
Current children cumulated memory: 30724 KiB

[startup+3.10934 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29608
/proc/meminfo: memFree=22816112/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=71600 memory=48228 CPUtime=3.09 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 17990 0 0 0 307 2 0 0 20 0 1 0 96741331 73318400 12057 33554432000 4194304 4933779 140725653156336 140725653154104 4437547 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 17900 12057 605 181 0 11517 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71600 KiB
Current children cumulated memory: 48228 KiB

[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29608
/proc/meminfo: memFree=22791452/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=96192 memory=72728 CPUtime=6.29 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 34670 0 0 0 625 4 0 0 20 0 1 0 96741331 98500608 18182 33554432000 4194304 4933779 140725653156336 140725653154040 139919962802555 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 24048 18182 605 181 0 17665 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 96192 KiB
Current children cumulated memory: 72728 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29608
/proc/meminfo: memFree=22760080/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=123852 memory=100448 CPUtime=12.69 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 57584 0 0 0 1263 6 0 0 20 0 1 0 96741331 126824448 25112 33554432000 4194304 4933779 140725653156336 140725653154104 4380908 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 30963 25112 605 181 0 24580 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 123852 KiB
Current children cumulated memory: 100448 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29615
/proc/meminfo: memFree=22718400/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=157180 memory=133392 CPUtime=25.49 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 109900 0 0 0 2539 10 0 0 20 0 1 0 96741331 160952320 33348 33554432000 4194304 4933779 140725653156336 140725653154040 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 39295 33348 605 181 0 32912 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 157180 KiB
Current children cumulated memory: 133392 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29615
/proc/meminfo: memFree=22655036/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=205708 memory=182088 CPUtime=51.1 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 157856 0 0 0 5095 15 0 0 20 0 1 0 96741331 210644992 45522 33554432000 4194304 4933779 140725653156336 140725653154024 4335859 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 51427 45522 605 181 0 45044 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 205708 KiB
Current children cumulated memory: 182088 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29616
/proc/meminfo: memFree=22582876/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=263816 memory=240276 CPUtime=102.28 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 215514 0 0 0 10207 21 0 0 20 0 1 0 96741331 270147584 60069 33554432000 4194304 4933779 140725653156336 140725653154040 4335735 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 65954 60069 605 181 0 59571 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 263816 KiB
Current children cumulated memory: 240276 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29617
/proc/meminfo: memFree=22523808/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=316480 memory=292032 CPUtime=162.28 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 280745 0 0 0 16199 29 0 0 20 0 1 0 96741331 324075520 73008 33554432000 4194304 4933779 140725653156336 140725653154040 4437570 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 79120 73008 605 181 0 72737 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 316480 KiB
Current children cumulated memory: 292032 KiB

[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 29618
/proc/meminfo: memFree=22470580/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=351252 memory=326616 CPUtime=222.27 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 342684 0 0 0 22190 37 0 0 20 0 1 0 96741331 359682048 81654 33554432000 4194304 4933779 140725653156336 140725653154104 4388395 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 87813 81654 605 181 0 81430 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 326616 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 29619
/proc/meminfo: memFree=22430184/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=383080 memory=358704 CPUtime=282.28 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 368022 0 0 0 28186 42 0 0 20 0 1 0 96741331 392273920 89676 33554432000 4194304 4933779 140725653156336 140725653154040 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 95770 89676 605 181 0 89387 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 383080 KiB
Current children cumulated memory: 358704 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 29620
/proc/meminfo: memFree=22385760/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=410236 memory=385932 CPUtime=342.24 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 445562 0 0 0 34175 49 0 0 20 0 1 0 96741331 420081664 96483 33554432000 4194304 4933779 140725653156336 140725653154024 139919962802587 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 102559 96483 605 181 0 96176 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 410236 KiB
Current children cumulated memory: 385932 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29621
/proc/meminfo: memFree=22348812/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=433392 memory=409108 CPUtime=402.2 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 507584 0 0 0 40164 56 0 0 20 0 1 0 96741331 443793408 102277 33554432000 4194304 4933779 140725653156336 140725653154088 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 108348 102277 605 181 0 101965 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 433392 KiB
Current children cumulated memory: 409108 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29622
/proc/meminfo: memFree=22308416/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=454048 memory=429904 CPUtime=462.14 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 553617 0 0 0 46152 62 0 0 20 0 1 0 96741331 464945152 107476 33554432000 4194304 4933779 140725653156336 140725653154040 4388626 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 113512 107476 605 181 0 107129 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 454048 KiB
Current children cumulated memory: 429904 KiB


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

/proc/29607/statm: 180044 173810 605 181 0 173661 0
Current children cumulated CPU time: 1721.93 s
Current children cumulated vsize: 720176 KiB
Current children cumulated memory: 695240 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 29721
/proc/meminfo: memFree=22291204/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=733416 memory=708420 CPUtime=1781.93 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 867805 0 0 0 178074 119 0 0 20 0 1 0 96741331 751017984 177105 33554432000 4194304 4933779 140725653156336 140725653153848 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 183354 177105 605 181 0 176971 0
Current children cumulated CPU time: 1781.93 s
Current children cumulated vsize: 733416 KiB
Current children cumulated memory: 708420 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 29729
/proc/meminfo: memFree=22272788/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=744676 memory=719704 CPUtime=1841.92 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 889991 0 0 0 184070 122 0 0 20 0 1 0 96741331 762548224 179926 33554432000 4194304 4933779 140725653156336 140725653154040 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 186169 179926 605 181 0 179786 0
Current children cumulated CPU time: 1841.92 s
Current children cumulated vsize: 744676 KiB
Current children cumulated memory: 719704 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 29753
/proc/meminfo: memFree=22252876/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=755640 memory=730508 CPUtime=1901.92 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 914761 0 0 0 190066 126 0 0 20 0 1 0 96741331 773775360 182627 33554432000 4194304 4933779 140725653156336 140725653154088 139919962802420 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 188910 182627 605 181 0 182527 0
Current children cumulated CPU time: 1901.92 s
Current children cumulated vsize: 755640 KiB
Current children cumulated memory: 730508 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29754
/proc/meminfo: memFree=22219668/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=768712 memory=743628 CPUtime=1961.92 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 939190 0 0 0 196062 130 0 0 20 0 1 0 96741331 787161088 185907 33554432000 4194304 4933779 140725653156336 140725653154088 4437558 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 192178 185907 605 181 0 185795 0
Current children cumulated CPU time: 1961.92 s
Current children cumulated vsize: 768712 KiB
Current children cumulated memory: 743628 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29755
/proc/meminfo: memFree=22195256/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=785312 memory=760224 CPUtime=2021.89 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 968025 0 0 0 202054 135 0 0 20 0 1 0 96741331 804159488 190056 33554432000 4194304 4933779 140725653156336 140725653154040 4437536 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 196328 190056 605 181 0 189945 0
Current children cumulated CPU time: 2021.89 s
Current children cumulated vsize: 785312 KiB
Current children cumulated memory: 760224 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29756
/proc/meminfo: memFree=22128200/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=797656 memory=773528 CPUtime=2081.85 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 980450 0 0 0 208048 137 0 0 20 0 1 0 96741331 816799744 193382 33554432000 4194304 4933779 140725653156336 140725653154088 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 199414 193382 605 181 0 193031 0
Current children cumulated CPU time: 2081.85 s
Current children cumulated vsize: 797656 KiB
Current children cumulated memory: 773528 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29757
/proc/meminfo: memFree=22117236/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=808260 memory=784248 CPUtime=2141.84 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 985046 0 0 0 214045 139 0 0 20 0 1 0 96741331 827658240 196062 33554432000 4194304 4933779 140725653156336 140725653154040 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 202065 196062 605 181 0 195682 0
Current children cumulated CPU time: 2141.84 s
Current children cumulated vsize: 808260 KiB
Current children cumulated memory: 784248 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29758
/proc/meminfo: memFree=22102376/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=821648 memory=797712 CPUtime=2201.83 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 991794 0 0 0 220043 140 0 0 20 0 1 0 96741331 841367552 199428 33554432000 4194304 4933779 140725653156336 140725653154040 139919962802571 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 205412 199428 605 181 0 199029 0
Current children cumulated CPU time: 2201.83 s
Current children cumulated vsize: 821648 KiB
Current children cumulated memory: 797712 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29759
/proc/meminfo: memFree=22088736/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=835992 memory=811820 CPUtime=2261.83 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 997682 0 0 0 226042 141 0 0 20 0 1 0 96741331 856055808 202955 33554432000 4194304 4933779 140725653156336 140725653154088 139919962802595 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 208998 202955 605 181 0 202615 0
Current children cumulated CPU time: 2261.83 s
Current children cumulated vsize: 835992 KiB
Current children cumulated memory: 811820 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29760
/proc/meminfo: memFree=22060712/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=864116 memory=840080 CPUtime=2321.83 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 1011722 0 0 0 232039 144 0 0 20 0 1 0 96741331 884854784 210020 33554432000 4194304 4933779 140725653156336 140725653154040 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 216029 210020 605 181 0 209646 0
Current children cumulated CPU time: 2321.83 s
Current children cumulated vsize: 864116 KiB
Current children cumulated memory: 840080 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29761
/proc/meminfo: memFree=22058856/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=864984 memory=840912 CPUtime=2381.83 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 1022037 0 0 0 238038 145 0 0 20 0 1 0 96741331 885743616 210228 33554432000 4194304 4933779 140725653156336 140725653153848 4437547 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 216246 210228 605 181 0 209863 0
Current children cumulated CPU time: 2381.83 s
Current children cumulated vsize: 864984 KiB
Current children cumulated memory: 840912 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29769
/proc/meminfo: memFree=22047148/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=872528 memory=848316 CPUtime=2441.83 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 1032529 0 0 0 244036 147 0 0 20 0 1 0 96741331 893468672 212079 33554432000 4194304 4933779 140725653156336 140725653154040 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 218132 212079 605 181 0 211749 0
Current children cumulated CPU time: 2441.83 s
Current children cumulated vsize: 872528 KiB
Current children cumulated memory: 848316 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29770
/proc/meminfo: memFree=22037724/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=880664 memory=856568 CPUtime=2501.83 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 1045659 0 0 0 250034 149 0 0 20 0 1 0 96741331 901799936 214142 33554432000 4194304 4933779 140725653156336 140725653154040 139919968138084 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 220166 214142 605 181 0 213783 0
Current children cumulated CPU time: 2501.83 s
Current children cumulated vsize: 880664 KiB
Current children cumulated memory: 856568 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29771
/proc/meminfo: memFree=22034376/32770624 swapFree=67108860/67108860
[pid=29607] ppid=29604 vsize=883468 memory=859472 CPUtime=2519.53 cores=1,3,5,7
/proc/29607/stat : 29607 (nacre_mini_rele) R 29604 29607 27398 0 -1 4202496 1052748 0 0 0 251804 149 0 0 20 0 1 0 96741331 904671232 214868 33554432000 4194304 4933779 140725653156336 140725653154088 4437572 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 31662080 140725653165208 140725653165308 140725653165308 140725653168066 0
/proc/29607/statm: 220867 214868 605 181 0 214484 0
Current children cumulated CPU time: 2519.53 s
Current children cumulated vsize: 883468 KiB
Current children cumulated memory: 859472 KiB

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

[startup+2520.02 s]
# the end of solver process 29607 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.05 s, system=1.50993 s

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

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.56
CPU user time (s): 2518.05
CPU system time (s): 1.50993
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 883468
Max. memory (cumulated for all children) (KiB): 859472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.05
system time used= 1.50993
maximum resident set size= 859528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1052812
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= 382
involuntary context switches= 2454


# summary of solver processes directly reported to runsolver:
#   pid: 29607
#   total CPU time (s): 2519.56
#   total CPU user time (s): 2518.05
#   total CPU system time (s): 1.50993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1469 second user time and 18.3565 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 17:29:42
IDJOB=4299898
IDBENCH=141505
IDSOLVER=2764
FILE ID=node139/4299898-1532791782
RUNJOBID= node139-1532774055-27430
PBS_JOBID= 21022456
Free space on /tmp= 38716 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g17-g37_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299898-1532791782/watcher-4299898-1532791782 -o /tmp/evaluation-result-4299898-1532791782/solver-4299898-1532791782 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580  nacre_mini_release HOME/instance-4299898-1532791782.xml -ca -l100 -cm

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

MD5SUM BENCH= 15f6930ab26cfa444fe93224da66a51d
RANDOM SEED=1134741295

node139.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.80
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.80
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.80
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.80
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:        22862584 kB
MemAvailable:   30913516 kB
Buffers:          237508 kB
Cached:          7912632 kB
SwapCached:            0 kB
Active:          4093492 kB
Inactive:        5127680 kB
Active(anon):    1025408 kB
Inactive(anon):    73544 kB
Active(file):    3068084 kB
Inactive(file):  5054136 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:       1077940 kB
Mapped:            44148 kB
Shmem:             25228 kB
Slab:             385764 kB
SReclaimable:     357172 kB
SUnreclaim:        28592 kB
KernelStack:        3344 kB
PageTables:         7216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1372200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    892928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38716 MiB
End job on node139 at 2018-07-28 18:11:42