Trace number 4296107

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
macht 2018.06.11? (TO) 2520.04 2520.01

General information on the benchmark

NameEternity/
Eternity-15-15_c18.xml
MD5SUM07f6a500cdb84e44b97e5b2e1697edff
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 variables705
Number of constraints286
Number of domains2
Minimum domain size22
Maximum domain size225
Distribution of domain sizes[{"size":22,"count":480},{"size":225,"count":225}]
Minimum variable degree1
Maximum variable degree16
Distribution of variable degrees[{"degree":1,"count":14},{"degree":2,"count":690},{"degree":16,"count":1}]
Minimum constraint arity1
Maximum constraint arity225
Distribution of constraint arities[{"arity":1,"count":60},{"arity":5,"count":225},{"arity":225,"count":1}]
Number of extensional constraints225
Number of intensional constraints60
Distribution of constraint types[{"type":"extension","count":225},{"type":"intension","count":60},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Version 18.06.11

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296107-1532603323/watcher-4296107-1532603323 -o /tmp/evaluation-result-4296107-1532603323/solver-4296107-1532603323 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532595686-29544 --watchdog 2580 macht 2520 HOME/instance-4296107-1532603323.xml 

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=31770, runsolver pid=31767
Current StackSize limit: 8192 KiB


[startup+0.100163 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 31771
/proc/meminfo: memFree=9860660/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=41936 memory=11680 CPUtime=0.1 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 3106 0 0 0 10 0 0 0 20 0 1 0 77895448 42942464 2920 33554432000 4194304 36388820 140722636521312 140722636521312 6634142 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 10523 2920 437 7860 0 2628 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41936 KiB
Current children cumulated memory: 11680 KiB

[startup+0.209551 s]*
/proc/loadavg: 2.00 2.01 1.96 4/187 31771
/proc/meminfo: memFree=9855792/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=47152 memory=16960 CPUtime=0.21 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 4391 0 0 0 21 0 0 0 20 0 1 0 77895448 48283648 4240 33554432000 4194304 36388820 140722636521312 140722636518488 7657094 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 11788 4240 437 7860 0 3893 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47152 KiB
Current children cumulated memory: 16960 KiB

[startup+0.30956 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 31771
/proc/meminfo: memFree=9849600/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=53652 memory=22768 CPUtime=0.31 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 5867 0 0 0 30 1 0 0 20 0 1 0 77895448 54939648 5692 33554432000 4194304 36388820 140722636521312 140722636518488 4356260 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13413 5692 484 7860 0 5518 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 53652 KiB
Current children cumulated memory: 22768 KiB

[startup+0.70037 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 31771
/proc/meminfo: memFree=9849600/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=53792 memory=23032 CPUtime=0.69 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 5899 0 0 0 68 1 0 0 20 0 1 0 77895448 55083008 5758 33554432000 4194304 36388820 140722636521312 140722636518488 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13448 5758 487 7860 0 5553 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53792 KiB
Current children cumulated memory: 23032 KiB

[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 31771
/proc/meminfo: memFree=9849600/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=53972 memory=23032 CPUtime=1.49 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 5941 0 0 0 148 1 0 0 20 0 1 0 77895448 55267328 5758 33554432000 4194304 36388820 140722636521312 140722636514680 4356489 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13493 5758 487 7860 0 5598 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 23032 KiB

[startup+3.10933 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 31771
/proc/meminfo: memFree=9849104/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=53972 memory=23296 CPUtime=3.1 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 9477 0 0 0 309 1 0 0 20 0 1 0 77895448 55267328 5824 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13493 5824 487 7860 0 5598 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 23296 KiB

[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 31771
/proc/meminfo: memFree=9834932/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=54104 memory=23364 CPUtime=6.29 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 12793 0 0 0 628 1 0 0 20 0 1 0 77895448 55402496 5841 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13526 5841 487 7860 0 5631 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 54104 KiB
Current children cumulated memory: 23364 KiB

[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 1.97 3/187 31771
/proc/meminfo: memFree=9848636/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=54104 memory=23428 CPUtime=12.69 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 15810 0 0 0 1268 1 0 0 20 0 1 0 77895448 55402496 5857 33554432000 4194304 36388820 140722636521312 140722636514680 4356493 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13526 5857 487 7860 0 5631 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 54104 KiB
Current children cumulated memory: 23428 KiB

[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 1.97 3/187 31771
/proc/meminfo: memFree=9848204/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=54632 memory=24016 CPUtime=25.49 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 24081 0 0 0 2548 1 0 0 20 0 1 0 77895448 55943168 6004 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13658 6004 496 7860 0 5763 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 54632 KiB
Current children cumulated memory: 24016 KiB

[startup+51.1093 s]
/proc/loadavg: 2.04 2.03 1.97 3/187 31771
/proc/meminfo: memFree=9848052/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=54764 memory=24156 CPUtime=51.1 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 25635 0 0 0 5108 2 0 0 20 0 1 0 77895448 56078336 6039 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13691 6039 498 7860 0 5796 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 54764 KiB
Current children cumulated memory: 24156 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/188 31780
/proc/meminfo: memFree=9845916/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=55032 memory=24488 CPUtime=102.29 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 25952 0 0 0 10227 2 0 0 20 0 1 0 77895448 56352768 6122 33554432000 4194304 36388820 140722636521312 140722636514680 6663715 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13758 6122 498 7860 0 5863 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 55032 KiB
Current children cumulated memory: 24488 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 31781
/proc/meminfo: memFree=9845660/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=55560 memory=24964 CPUtime=162.29 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 26498 0 0 0 16227 2 0 0 20 0 1 0 77895448 56893440 6241 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13890 6241 498 7860 0 5995 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 55560 KiB
Current children cumulated memory: 24964 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 31782
/proc/meminfo: memFree=9845856/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=55560 memory=25020 CPUtime=222.29 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 26934 0 0 0 22227 2 0 0 20 0 1 0 77895448 56893440 6255 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13890 6255 498 7860 0 5995 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 55560 KiB
Current children cumulated memory: 25020 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 31783
/proc/meminfo: memFree=9845360/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=55692 memory=25060 CPUtime=282.29 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 27363 0 0 0 28227 2 0 0 20 0 1 0 77895448 57028608 6265 33554432000 4194304 36388820 140722636521312 140722636514680 4356489 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13923 6265 498 7860 0 6028 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 55692 KiB
Current children cumulated memory: 25060 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 31784
/proc/meminfo: memFree=9845868/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=55824 memory=25212 CPUtime=342.29 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 27881 0 0 0 34227 2 0 0 20 0 1 0 77895448 57163776 6303 33554432000 4194304 36388820 140722636521312 140722636514680 4356554 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13956 6303 498 7860 0 6061 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 55824 KiB
Current children cumulated memory: 25212 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 31785
/proc/meminfo: memFree=9846132/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=55824 memory=25260 CPUtime=402.29 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 28390 0 0 0 40227 2 0 0 20 0 1 0 77895448 57163776 6315 33554432000 4194304 36388820 140722636521312 140722636514680 4356489 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13956 6315 498 7860 0 6061 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 55824 KiB
Current children cumulated memory: 25260 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 31786
/proc/meminfo: memFree=9846100/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=55824 memory=25328 CPUtime=462.29 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 28891 0 0 0 46227 2 0 0 20 0 1 0 77895448 57163776 6332 33554432000 4194304 36388820 140722636521312 140722636514680 4356496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 13956 6332 498 7860 0 6061 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 55824 KiB
Current children cumulated memory: 25328 KiB


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

/proc/31770/statm: 14088 6428 498 7860 0 6193 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 25712 KiB

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/187 31888
/proc/meminfo: memFree=9840548/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56352 memory=25728 CPUtime=1782.31 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 36311 0 0 0 178227 4 0 0 20 0 1 0 77895448 57704448 6432 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14088 6432 498 7860 0 6193 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 25728 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/187 31889
/proc/meminfo: memFree=9840388/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56352 memory=25728 CPUtime=1842.31 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 36433 0 0 0 184227 4 0 0 20 0 1 0 77895448 57704448 6432 33554432000 4194304 36388820 140722636521312 140722636514680 6663738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14088 6432 498 7860 0 6193 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 25728 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 31897
/proc/meminfo: memFree=9839692/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56352 memory=25756 CPUtime=1902.31 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 36628 0 0 0 190227 4 0 0 20 0 1 0 77895448 57704448 6439 33554432000 4194304 36388820 140722636521312 140722636514680 4356493 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14088 6439 498 7860 0 6193 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 25756 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 31898
/proc/meminfo: memFree=9840072/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56352 memory=25764 CPUtime=1962.31 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 36748 0 0 0 196227 4 0 0 20 0 1 0 77895448 57704448 6441 33554432000 4194304 36388820 140722636521312 140722636514680 4356554 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14088 6441 498 7860 0 6193 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 25764 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 31899
/proc/meminfo: memFree=9840408/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56352 memory=25764 CPUtime=2022.31 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 36870 0 0 0 202227 4 0 0 20 0 1 0 77895448 57704448 6441 33554432000 4194304 36388820 140722636521312 140722636514680 6663715 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14088 6441 498 7860 0 6193 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 25764 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 31900
/proc/meminfo: memFree=9840632/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56352 memory=25764 CPUtime=2082.31 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 37065 0 0 0 208227 4 0 0 20 0 1 0 77895448 57704448 6441 33554432000 4194304 36388820 140722636521312 140722636514680 4356489 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14088 6441 498 7860 0 6193 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 25764 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 31901
/proc/meminfo: memFree=9840620/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56352 memory=25780 CPUtime=2142.31 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 37204 0 0 0 214227 4 0 0 20 0 1 0 77895448 57704448 6445 33554432000 4194304 36388820 140722636521312 140722636514680 6663715 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14088 6445 498 7860 0 6193 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 25780 KiB

[startup+2202.3 s]
/proc/loadavg: 2.34 2.09 2.00 3/187 31902
/proc/meminfo: memFree=9840224/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56352 memory=25784 CPUtime=2202.32 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 37338 0 0 0 220227 5 0 0 20 0 1 0 77895448 57704448 6446 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14088 6446 498 7860 0 6193 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 25784 KiB

[startup+2262.3 s]
/proc/loadavg: 2.27 2.13 2.02 3/187 31903
/proc/meminfo: memFree=9840180/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56484 memory=25784 CPUtime=2262.32 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 37534 0 0 0 226227 5 0 0 20 0 1 0 77895448 57839616 6446 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14121 6446 498 7860 0 6226 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 56484 KiB
Current children cumulated memory: 25784 KiB

[startup+2322.3 s]
/proc/loadavg: 2.10 2.11 2.02 3/187 31904
/proc/meminfo: memFree=9840408/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56484 memory=25800 CPUtime=2322.32 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 37665 0 0 0 232227 5 0 0 20 0 1 0 77895448 57839616 6450 33554432000 4194304 36388820 140722636521312 140722636514680 4356493 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14121 6450 498 7860 0 6226 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 56484 KiB
Current children cumulated memory: 25800 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 2.09 2.02 3/187 31905
/proc/meminfo: memFree=9840388/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56484 memory=25800 CPUtime=2382.32 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 37795 0 0 0 238227 5 0 0 20 0 1 0 77895448 57839616 6450 33554432000 4194304 36388820 140722636521312 140722636514680 4356507 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14121 6450 498 7860 0 6226 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 56484 KiB
Current children cumulated memory: 25800 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/187 31906
/proc/meminfo: memFree=9840236/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56484 memory=25816 CPUtime=2442.32 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 37993 0 0 0 244227 5 0 0 20 0 1 0 77895448 57839616 6454 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14121 6454 498 7860 0 6226 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 56484 KiB
Current children cumulated memory: 25816 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.06 2.02 3/188 31915
/proc/meminfo: memFree=9839396/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56484 memory=25820 CPUtime=2502.33 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 38118 0 0 0 250227 6 0 0 20 0 1 0 77895448 57839616 6455 33554432000 4194304 36388820 140722636521312 140722636514680 4356489 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14121 6455 498 7860 0 6226 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 56484 KiB
Current children cumulated memory: 25820 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.06 2.02 3/188 31915
/proc/meminfo: memFree=9839600/32770624 swapFree=67108860/67108860
[pid=31770] ppid=31767 vsize=56484 memory=25820 CPUtime=2520.03 cores=1,3,5,7
/proc/31770/stat : 31770 (macht) R 31767 31770 29512 0 -1 4202496 38237 0 0 0 251997 6 0 0 20 0 1 0 77895448 57839616 6455 33554432000 4194304 36388820 140722636521312 140722636514680 4356472 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 47796224 140722636526779 140722636526857 140722636526857 140722636529615 0
/proc/31770/statm: 14121 6455 498 7860 0 6226 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 56484 KiB
Current children cumulated memory: 25820 KiB

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

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2520.04
CPU user time (s): 2519.98
CPU system time (s): 0.06
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 56484
Max. memory (cumulated for all children) (KiB): 25820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.06
maximum resident set size= 25820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38237
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= 9
involuntary context switches= 844


# summary of solver processes directly reported to runsolver:
#   pid: 31770
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.98
#   total CPU system time (s): 0.06

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.81783 second user time and 16.6043 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-26 13:08:43
IDJOB=4296107
IDBENCH=141653
IDSOLVER=2753
FILE ID=node137/4296107-1532603323
RUNJOBID= node137-1532595686-29544
PBS_JOBID= 21021973
Free space on /tmp= 48104 MiB

SOLVER NAME= macht 2018.06.11
BENCH NAME= XCSP18/Eternity/Eternity-15-15_c18.xml
COMMAND LINE= macht TIMELIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4296107-1532603323/watcher-4296107-1532603323 -o /tmp/evaluation-result-4296107-1532603323/solver-4296107-1532603323 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532595686-29544 --watchdog 2580  macht 2520 HOME/instance-4296107-1532603323.xml

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

MD5SUM BENCH= 07f6a500cdb84e44b97e5b2e1697edff
RANDOM SEED=143562081

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         9871480 kB
MemAvailable:   31924788 kB
Buffers:          221672 kB
Cached:         21764120 kB
SwapCached:            0 kB
Active:          3409088 kB
Inactive:       18636020 kB
Active(anon):       8876 kB
Inactive(anon):    78480 kB
Active(file):    3400212 kB
Inactive(file): 18557540 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             55488 kB
Writeback:             0 kB
AnonPages:        183396 kB
Mapped:            43312 kB
Shmem:             25228 kB
Slab:             552644 kB
SReclaimable:     524016 kB
SUnreclaim:        28628 kB
KernelStack:        3360 kB
PageTables:         5012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48052 MiB
End job on node137 at 2018-07-26 13:50:43