Trace number 4293745

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) 2519.99 2520.01

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin16_c18.xml
MD5SUM5947b7d603c6960c1f689b2eabbe33a0
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 variables14400
Number of constraints1088
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":14400}]
Minimum variable degree10
Maximum variable degree10
Distribution of variable degrees[{"degree":10,"count":14400}]
Minimum constraint arity120
Maximum constraint arity225
Distribution of constraint arities[{"arity":120,"count":960},{"arity":225,"count":128}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1088}]
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 (8597 MiB free)
  memory of node 1: 16384 MiB (10843 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293745-1532351442/watcher-4293745-1532351442 -o /tmp/evaluation-result-4293745-1532351442/solver-4293745-1532351442 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532329897-14442 --watchdog 2580 macht 2520 HOME/instance-4293745-1532351442.xml 

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

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=18350, runsolver pid=18347

[startup+0.100117 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18351
/proc/meminfo: memFree=19892276/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=47112 memory=16576 CPUtime=0.1 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 4466 0 0 0 10 0 0 0 20 0 1 0 52707394 48242688 4144 33554432000 4194304 36388820 140734802897360 140734802897360 7750646 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 11778 4144 443 7860 0 3883 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47112 KiB
Current children cumulated memory: 16576 KiB

[startup+0.209827 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18351
/proc/meminfo: memFree=19892276/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=47376 memory=17104 CPUtime=0.21 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 4555 0 0 0 21 0 0 0 20 0 1 0 52707394 48513024 4276 33554432000 4194304 36388820 140734802897360 140734802897360 4212568 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 11844 4276 443 7860 0 3949 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47376 KiB
Current children cumulated memory: 17104 KiB

[startup+0.309317 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18351
/proc/meminfo: memFree=19891904/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=47640 memory=17368 CPUtime=0.31 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 4611 0 0 0 31 0 0 0 20 0 1 0 52707394 48783360 4342 33554432000 4194304 36388820 140734802897360 140734802897360 4212581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 11910 4342 443 7860 0 4015 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47640 KiB
Current children cumulated memory: 17368 KiB

[startup+0.70023 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18351
/proc/meminfo: memFree=19891532/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=48300 memory=17896 CPUtime=0.69 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 4762 0 0 0 69 0 0 0 20 0 1 0 52707394 49459200 4474 33554432000 4194304 36388820 140734802897360 140734802897360 4212597 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 12075 4474 443 7860 0 4180 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48300 KiB
Current children cumulated memory: 17896 KiB

[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18351
/proc/meminfo: memFree=19890912/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=48960 memory=18688 CPUtime=1.49 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 4947 0 0 0 149 0 0 0 20 0 1 0 52707394 50135040 4672 33554432000 4194304 36388820 140734802897360 140734802891128 4212581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 12240 4672 443 7860 0 4345 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 18688 KiB

[startup+3.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18351
/proc/meminfo: memFree=19888680/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=50940 memory=20636 CPUtime=3.1 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 8721 0 0 0 310 0 0 0 20 0 1 0 52707394 52162560 5159 33554432000 4194304 36388820 140734802897360 140734802890760 4212585 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 12735 5159 443 7860 0 4840 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 50940 KiB
Current children cumulated memory: 20636 KiB

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18351
/proc/meminfo: memFree=19882916/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=56352 memory=26092 CPUtime=6.29 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 13150 0 0 0 626 3 0 0 20 0 1 0 52707394 57704448 6523 33554432000 4194304 36388820 140734802897360 140734802891192 4212581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 14088 6523 443 7860 0 6193 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 56352 KiB
Current children cumulated memory: 26092 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18351
/proc/meminfo: memFree=19873504/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=66252 memory=35912 CPUtime=12.69 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 19928 0 0 0 1265 4 0 0 20 0 1 0 52707394 67842048 8978 33554432000 4194304 36388820 140734802897360 140734802891288 4212591 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 16563 8978 446 7860 0 8668 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 66252 KiB
Current children cumulated memory: 35912 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18351
/proc/meminfo: memFree=19853936/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=84556 memory=54092 CPUtime=25.48 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 33790 0 0 0 2543 5 0 0 20 0 1 0 52707394 86585344 13523 33554432000 4194304 36388820 140734802897360 140734802781160 4661733 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 21139 13523 477 7860 0 13244 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 84556 KiB
Current children cumulated memory: 54092 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18351
/proc/meminfo: memFree=19852108/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=85784 memory=55572 CPUtime=51.08 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 34611 0 0 0 5101 7 0 0 20 0 1 0 52707394 87842816 13893 33554432000 4194304 36388820 140734802897360 140734802781160 4661669 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 21446 13893 487 7860 0 13551 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 85784 KiB
Current children cumulated memory: 55572 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18352
/proc/meminfo: memFree=19851436/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=86760 memory=56524 CPUtime=102.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 35481 0 0 0 10216 11 0 0 20 0 1 0 52707394 88842240 14131 33554432000 4194304 36388820 140734802897360 140734802781160 4661765 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 21690 14131 489 7860 0 13795 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 86760 KiB
Current children cumulated memory: 56524 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18353
/proc/meminfo: memFree=19850088/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=88116 memory=57848 CPUtime=162.26 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 36516 0 0 0 16210 16 0 0 20 0 1 0 52707394 90230784 14462 33554432000 4194304 36388820 140734802897360 140734802781160 8047671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 22029 14462 489 7860 0 14134 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 88116 KiB
Current children cumulated memory: 57848 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18354
/proc/meminfo: memFree=19848604/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=89336 memory=59204 CPUtime=222.26 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 37280 0 0 0 22205 21 0 0 20 0 1 0 52707394 91480064 14801 33554432000 4194304 36388820 140734802897360 140734802781160 4661765 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 22334 14801 489 7860 0 14439 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 89336 KiB
Current children cumulated memory: 59204 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18355
/proc/meminfo: memFree=19847944/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=90140 memory=59972 CPUtime=282.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 37874 0 0 0 28201 26 0 0 20 0 1 0 52707394 92303360 14993 33554432000 4194304 36388820 140734802897360 140734802781160 4661669 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 22535 14993 489 7860 0 14640 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 90140 KiB
Current children cumulated memory: 59972 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18356
/proc/meminfo: memFree=19847284/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=90772 memory=60732 CPUtime=342.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 38461 0 0 0 34196 31 0 0 20 0 1 0 52707394 92950528 15183 33554432000 4194304 36388820 140734802897360 140734802781160 4661664 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 22693 15183 489 7860 0 14798 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 90772 KiB
Current children cumulated memory: 60732 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18357
/proc/meminfo: memFree=19846612/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=91220 memory=60956 CPUtime=402.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 38976 0 0 0 40191 36 0 0 20 0 1 0 52707394 93409280 15239 33554432000 4194304 36388820 140734802897360 140734802781160 4661664 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 22805 15239 489 7860 0 14910 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 91220 KiB
Current children cumulated memory: 60956 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18358
/proc/meminfo: memFree=19846060/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=91724 memory=61540 CPUtime=462.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 39552 0 0 0 46185 42 0 0 20 0 1 0 52707394 93925376 15385 33554432000 4194304 36388820 140734802897360 140734802781160 4661664 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 22931 15385 489 7860 0 15036 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 91724 KiB
Current children cumulated memory: 61540 KiB


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

/proc/18350/statm: 23867 16349 490 7860 0 15972 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 95468 KiB
Current children cumulated memory: 65396 KiB

[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/187 18405
/proc/meminfo: memFree=19840820/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95604 memory=65492 CPUtime=1782.26 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 49275 0 0 0 178096 130 0 0 20 0 1 0 52707394 97898496 16373 33554432000 4194304 36388820 140734802897360 140734802781160 4661765 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23901 16373 490 7860 0 16006 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65492 KiB

[startup+1842.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/187 18467
/proc/meminfo: memFree=19847928/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95604 memory=65492 CPUtime=1842.26 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 49560 0 0 0 184092 134 0 0 20 0 1 0 52707394 97898496 16373 33554432000 4194304 36388820 140734802897360 140734802781160 4661765 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23901 16373 490 7860 0 16006 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65492 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 18528
/proc/meminfo: memFree=19838848/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95604 memory=65536 CPUtime=1902.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 49814 0 0 0 190088 139 0 0 20 0 1 0 52707394 97898496 16384 33554432000 4194304 36388820 140734802897360 140734802781160 4661664 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23901 16384 490 7860 0 16006 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65536 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18529
/proc/meminfo: memFree=19836728/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95604 memory=65560 CPUtime=1962.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 50133 0 0 0 196084 143 0 0 20 0 1 0 52707394 97898496 16390 33554432000 4194304 36388820 140734802897360 140734802781160 4431227 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23901 16390 490 7860 0 16006 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65560 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18530
/proc/meminfo: memFree=19836300/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95604 memory=65560 CPUtime=2022.26 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 50371 0 0 0 202080 146 0 0 20 0 1 0 52707394 97898496 16390 33554432000 4194304 36388820 140734802897360 140734802781160 4661669 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23901 16390 490 7860 0 16006 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65560 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18531
/proc/meminfo: memFree=19835740/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95604 memory=65560 CPUtime=2082.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 50604 0 0 0 208078 149 0 0 20 0 1 0 52707394 97898496 16390 33554432000 4194304 36388820 140734802897360 140734802781160 4251152 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23901 16390 490 7860 0 16006 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 65560 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18532
/proc/meminfo: memFree=19835384/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95744 memory=65560 CPUtime=2142.26 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 50932 0 0 0 214076 150 0 0 20 0 1 0 52707394 98041856 16390 33554432000 4194304 36388820 140734802897360 140734802781160 4661664 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23936 16390 490 7860 0 16041 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 95744 KiB
Current children cumulated memory: 65560 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18533
/proc/meminfo: memFree=19835432/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95744 memory=65680 CPUtime=2202.26 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 51213 0 0 0 220072 154 0 0 20 0 1 0 52707394 98041856 16420 33554432000 4194304 36388820 140734802897360 140734802781160 4661664 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23936 16420 490 7860 0 16041 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 95744 KiB
Current children cumulated memory: 65680 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18534
/proc/meminfo: memFree=19835496/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95744 memory=65680 CPUtime=2262.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 51485 0 0 0 226069 158 0 0 20 0 1 0 52707394 98041856 16420 33554432000 4194304 36388820 140734802897360 140734802781160 4661664 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23936 16420 490 7860 0 16041 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 95744 KiB
Current children cumulated memory: 65680 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18535
/proc/meminfo: memFree=19835064/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95744 memory=65704 CPUtime=2322.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 51848 0 0 0 232065 162 0 0 20 0 1 0 52707394 98041856 16426 33554432000 4194304 36388820 140734802897360 140734802781160 4661656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23936 16426 490 7860 0 16041 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 95744 KiB
Current children cumulated memory: 65704 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18544
/proc/meminfo: memFree=19834520/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95896 memory=65704 CPUtime=2382.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 52249 0 0 0 238060 167 0 0 20 0 1 0 52707394 98197504 16426 33554432000 4194304 36388820 140734802897360 140734802781160 6663719 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23974 16426 490 7860 0 16079 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 95896 KiB
Current children cumulated memory: 65704 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18545
/proc/meminfo: memFree=19834832/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=95896 memory=65772 CPUtime=2442.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 52547 0 0 0 244057 170 0 0 20 0 1 0 52707394 98197504 16443 33554432000 4194304 36388820 140734802897360 140734802781160 4424725 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 23974 16443 490 7860 0 16079 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 95896 KiB
Current children cumulated memory: 65772 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18546
/proc/meminfo: memFree=19834980/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=96028 memory=65976 CPUtime=2502.27 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 52914 0 0 0 250051 176 0 0 20 0 1 0 52707394 98332672 16494 33554432000 4194304 36388820 140734802897360 140734802781160 4567371 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 24007 16494 490 7860 0 16112 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 96028 KiB
Current children cumulated memory: 65976 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18546
/proc/meminfo: memFree=19834980/32770624 swapFree=67108860/67108860
[pid=18350] ppid=18347 vsize=96028 memory=65980 CPUtime=2519.98 cores=0,2,4,6
/proc/18350/stat : 18350 (macht) R 18347 18350 14411 0 -1 4202496 53171 0 0 0 251821 177 0 0 20 0 1 0 52707394 98332672 16495 33554432000 4194304 36388820 140734802897360 140734802781160 4661664 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41750528 140734802900155 140734802900233 140734802900233 140734802902991 0
/proc/18350/statm: 24007 16495 490 7860 0 16112 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 96028 KiB
Current children cumulated memory: 65980 KiB

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

[startup+2520.01 s]
# the end of solver process 18350 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.22 s, system=1.772 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): 2519.99
CPU user time (s): 2518.22
CPU system time (s): 1.772
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 96028
Max. memory (cumulated for all children) (KiB): 65980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.22
system time used= 1.772
maximum resident set size= 65980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53171
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= 27
involuntary context switches= 3182


# summary of solver processes directly reported to runsolver:
#   pid: 18350
#   total CPU time (s): 2519.99
#   total CPU user time (s): 2518.22
#   total CPU system time (s): 1.772

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.75019 second user time and 19.3422 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-23 15:10:42
IDJOB=4293745
IDBENCH=141231
IDSOLVER=2753
FILE ID=node107/4293745-1532351442
RUNJOBID= node107-1532329897-14442
PBS_JOBID= 21018999
Free space on /tmp= 55072 MiB

SOLVER NAME= macht 2018.06.11
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin16_c18.xml
COMMAND LINE= macht TIMELIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293745-1532351442/watcher-4293745-1532351442 -o /tmp/evaluation-result-4293745-1532351442/solver-4293745-1532351442 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532329897-14442 --watchdog 2580  macht 2520 HOME/instance-4293745-1532351442.xml

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

MD5SUM BENCH= 5947b7d603c6960c1f689b2eabbe33a0
RANDOM SEED=28013279

node107.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.40
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.40
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.40
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.40
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:        19908524 kB
MemAvailable:   31924584 kB
Buffers:          268108 kB
Cached:         11892648 kB
SwapCached:            0 kB
Active:          1793752 kB
Inactive:       10436364 kB
Active(anon):      72360 kB
Inactive(anon):    16860 kB
Active(file):    1721392 kB
Inactive(file): 10419504 kB
Unevictable:        7152 kB
Mlocked:            7152 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             52916 kB
Writeback:             0 kB
AnonPages:         76264 kB
Mapped:            39116 kB
Shmem:             17036 kB
Slab:             330900 kB
SReclaimable:     303624 kB
SUnreclaim:        27276 kB
KernelStack:        3312 kB
PageTables:         5024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 55020 MiB
End job on node107 at 2018-07-23 15:52:42