Trace number 4108955

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
NaPS 1.02? (TO) 1800.1 1800.4

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-27.opb
MD5SUMc3ba46c0ae63598a4f58d494ccf9f418
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark223.373
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9355
Total number of constraints199372
Number of constraints which are clauses178529
Number of constraints which are cardinality constraints (but not clauses)722
Number of constraints which are nor clauses,nor cardinality constraints20121
Minimum length of a constraint2
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.02b.
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED *** by signal 15
1800.08/1800.40	s UNKNOWN
1800.08/1800.40	c _____________________________________________________________________________
1800.08/1800.40	c 
1800.08/1800.40	c std/band forms        : 20840,3
1800.08/1800.40	c 2cl/3cl ITE-codings   : 23069,51
1800.08/1800.40	c BDD/srt/adr Max costs : 27,0,0
1800.08/1800.40	c BDDraw/bin/mul/srt/adr: 20843,0,0,0,0
1800.08/1800.40	c BDD nodes             : 128147
1800.08/1800.40	c Es1/CC detections     : 0,0
1800.08/1800.40	c SAT/UNSAT calls       : 0,0
1800.08/1800.40	c restarts              : 0
1800.08/1800.40	c conflicts             : 0              (0 /sec)
1800.08/1800.40	c decisions             : 0              (0 /sec)
1800.08/1800.40	c propagations          : 0              (0 /sec)
1800.08/1800.40	c inspects              : 0              (0 /sec)
1800.08/1800.40	c CPU time (solving tm) : 1799 s        (0 s)
1800.08/1800.40	c Time for Opt-base     : 0 s
1800.08/1800.40	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4108955-1466289498/watcher-4108955-1466289498 -o /tmp/evaluation-result-4108955-1466289498/solver-4108955-1466289498 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466276517-22624 --watchdog 1960 naps-1.02 HOME/instance-4108955-1466289498.opb 

pid=25155
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.43 2.37 2.30 4/176 25158
/proc/meminfo: memFree=29992896/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=6420 CPUtime=0 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 305 0 0 0 0 0 0 0 20 0 1 0 30996649 6574080 178 33554432000 4194304 5796924 140734789118864 140734789118088 5096680 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25158/statm: 1605 178 127 392 0 1204 0

[startup+0.100115 s]
/proc/loadavg: 2.43 2.37 2.30 4/176 25158
/proc/meminfo: memFree=29992896/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=7448 CPUtime=0.09 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 596 0 0 0 9 0 0 0 20 0 1 0 30996649 7626752 461 33554432000 4194304 5796924 140734789118864 140734789118088 4623737 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25158/statm: 1862 461 127 392 0 1461 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7448

[startup+0.200291 s]
/proc/loadavg: 2.43 2.37 2.30 4/176 25158
/proc/meminfo: memFree=29992896/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=8540 CPUtime=0.19 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 913 0 0 0 19 0 0 0 20 0 1 0 30996649 8744960 763 33554432000 4194304 5796924 140734789118864 140734789118088 4806991 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25158/statm: 2135 763 127 392 0 1734 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8540

[startup+0.300215 s]
/proc/loadavg: 2.43 2.37 2.30 4/176 25158
/proc/meminfo: memFree=29992896/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=9656 CPUtime=0.29 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 1238 0 0 0 29 0 0 0 20 0 1 0 30996649 9887744 1076 33554432000 4194304 5796924 140734789118864 140734789118088 5087724 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25158/statm: 2414 1076 127 392 0 2013 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9656

[startup+0.700184 s]
/proc/loadavg: 2.43 2.37 2.30 4/176 25158
/proc/meminfo: memFree=29992896/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=13832 CPUtime=0.69 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 2487 0 0 0 69 0 0 0 20 0 1 0 30996649 14163968 2265 33554432000 4194304 5796924 140734789118864 140734789118088 4366409 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25158/statm: 3458 2265 127 392 0 3057 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13832

[startup+1.50019 s]
/proc/loadavg: 2.40 2.37 2.29 4/177 25159
/proc/meminfo: memFree=29979596/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=22512 CPUtime=1.49 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 5009 0 0 0 149 0 0 0 20 0 1 0 30996649 23052288 5088 33554432000 4194304 5796924 140734789118864 140734789118024 5092416 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25158/statm: 5628 5088 127 392 0 5227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22512

[startup+3.10018 s]
/proc/loadavg: 2.40 2.37 2.29 3/177 25159
/proc/meminfo: memFree=29963232/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=42816 CPUtime=3.09 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 9825 0 0 0 307 2 0 0 20 0 1 0 30996649 43843584 9504 33554432000 4194304 5796924 140734789118864 140734789118232 5092487 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25158/statm: 10704 9504 127 392 0 10303 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42816

[startup+6.30028 s]
/proc/loadavg: 2.37 2.36 2.29 3/177 25159
/proc/meminfo: memFree=29921884/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=72128 CPUtime=6.29 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 17706 0 0 0 624 5 0 0 20 0 1 0 30996649 73859072 16345 33554432000 4194304 5796924 140734789118864 140734789116712 4606565 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 18032 16345 164 392 0 17631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72128

[startup+12.7003 s]
/proc/loadavg: 2.42 2.37 2.29 4/177 25159
/proc/meminfo: memFree=29909872/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=90644 CPUtime=12.68 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 18791 0 0 0 1263 5 0 0 20 0 1 0 30996649 92819456 21073 33554432000 4194304 5796924 140734789118864 140734789116104 4607171 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 22661 21073 165 392 0 22260 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 90644

[startup+25.5004 s]
/proc/loadavg: 2.35 2.36 2.29 3/177 25159
/proc/meminfo: memFree=29875252/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=128652 CPUtime=25.49 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 19335 0 0 0 2543 6 0 0 20 0 1 0 30996649 131739648 24657 33554432000 4194304 5796924 140734789118864 140734789116104 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 32163 24657 165 392 0 31762 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 128652

[startup+51.1004 s]
/proc/loadavg: 2.21 2.32 2.28 3/177 25159
/proc/meminfo: memFree=29852884/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=128652 CPUtime=51.08 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 19339 0 0 0 5102 6 0 0 20 0 1 0 30996649 131739648 26705 33554432000 4194304 5796924 140734789118864 140734789116104 4593521 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 32163 26705 165 392 0 31762 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128652

[startup+102.3 s]
/proc/loadavg: 2.26 2.33 2.28 4/177 25160
/proc/meminfo: memFree=29884632/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=128652 CPUtime=102.28 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 19961 0 0 0 10220 8 0 0 20 0 1 0 30996649 131739648 26705 33554432000 4194304 5796924 140734789118864 140734789116328 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 32163 26705 165 392 0 31762 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 128652

[startup+162.3 s]
/proc/loadavg: 2.25 2.31 2.27 3/178 25164
/proc/meminfo: memFree=29817248/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=177972 CPUtime=162.26 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 20616 0 0 0 16215 11 0 0 20 0 1 0 30996649 182243328 36166 33554432000 4194304 5796924 140734789118864 140734789116152 4608299 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 44493 36166 165 392 0 44092 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 177972

[startup+222.307 s]
/proc/loadavg: 2.24 2.30 2.27 3/177 25166
/proc/meminfo: memFree=29782696/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=208792 CPUtime=222.25 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 21783 0 0 0 22212 13 0 0 20 0 1 0 30996649 213803008 39874 33554432000 4194304 5796924 140734789118864 140734789116504 4607168 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 52198 39874 165 392 0 51797 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 208792

[startup+282.3 s]
/proc/loadavg: 2.13 2.26 2.26 3/177 25167
/proc/meminfo: memFree=29793948/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=208792 CPUtime=282.23 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 23299 0 0 0 28208 15 0 0 20 0 1 0 30996649 213803008 41410 33554432000 4194304 5796924 140734789118864 140734789116504 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 52198 41410 165 392 0 51797 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 208792

[startup+342.3 s]
/proc/loadavg: 2.18 2.25 2.26 3/177 25168
/proc/meminfo: memFree=29766228/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=208792 CPUtime=342.22 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 24824 0 0 0 34204 18 0 0 20 0 1 0 30996649 213803008 41410 33554432000 4194304 5796924 140734789118864 140734789116504 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 52198 41410 165 392 0 51797 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 208792

[startup+402.3 s]
/proc/loadavg: 2.18 2.23 2.25 3/177 25169
/proc/meminfo: memFree=29840828/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=128652 CPUtime=402.21 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 25591 0 0 0 40201 20 0 0 20 0 1 0 30996649 131739648 28916 33554432000 4194304 5796924 140734789118864 140734789116328 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 32163 28916 165 392 0 31762 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 128652

[startup+462.3 s]
/proc/loadavg: 2.18 2.22 2.24 3/177 25170
/proc/meminfo: memFree=29769904/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=177972 CPUtime=462.21 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 26547 0 0 0 46197 24 0 0 20 0 1 0 30996649 182243328 41372 33554432000 4194304 5796924 140734789118864 140734789116152 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 44493 41372 165 392 0 44092 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 177972

[startup+522.3 s]
/proc/loadavg: 2.27 2.24 2.25 3/177 25172
/proc/meminfo: memFree=29781432/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=208792 CPUtime=522.19 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 27877 0 0 0 52193 26 0 0 20 0 1 0 30996649 213803008 45506 33554432000 4194304 5796924 140734789118864 140734789116504 4606744 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 52198 45506 165 392 0 51797 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 208792

[startup+582.3 s]
/proc/loadavg: 2.34 2.27 2.26 3/177 25219
/proc/meminfo: memFree=29336244/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=128652 CPUtime=582.19 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 28650 0 0 0 58190 29 0 0 20 0 1 0 30996649 131739648 29940 33554432000 4194304 5796924 140734789118864 140734789116328 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 32163 29940 165 392 0 31762 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 128652


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


[startup+882.307 s]
/proc/loadavg: 2.22 2.19 2.22 3/177 25228
/proc/meminfo: memFree=27177780/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=208792 CPUtime=882.15 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 34882 0 0 0 88176 39 0 0 20 0 1 0 30996649 213803008 50545 33554432000 4194304 5796924 140734789118864 140734789116504 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 52198 50545 165 392 0 51797 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 208792

[startup+942.3 s]
/proc/loadavg: 2.18 2.19 2.21 3/177 25229
/proc/meminfo: memFree=27165100/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=209676 CPUtime=942.13 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 36679 0 0 0 94172 41 0 0 20 0 1 0 30996649 214708224 47671 33554432000 4194304 5796924 140734789118864 140734789116504 4606596 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 52419 47671 165 392 0 52018 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 209676

[startup+1002.3 s]
/proc/loadavg: 2.16 2.18 2.20 3/177 25230
/proc/meminfo: memFree=27145556/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=210468 CPUtime=1002.12 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 38462 0 0 0 100168 44 0 0 20 0 1 0 30996649 215519232 44797 33554432000 4194304 5796924 140734789118864 140734789116504 4606744 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 52617 44797 165 392 0 52216 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 210468

[startup+1062.3 s]
/proc/loadavg: 2.21 2.19 2.20 3/177 25231
/proc/meminfo: memFree=27233636/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=180752 CPUtime=1062.12 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 39743 0 0 0 106165 47 0 0 20 0 1 0 30996649 185090048 40398 33554432000 4194304 5796924 140734789118864 140734789116152 4593382 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 45188 40398 165 392 0 44787 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 180752

[startup+1122.3 s]
/proc/loadavg: 2.20 2.18 2.19 3/177 25233
/proc/meminfo: memFree=27081916/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=261660 CPUtime=1122.1 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 41186 0 0 0 112162 48 0 0 20 0 1 0 30996649 267939840 53054 33554432000 4194304 5796924 140734789118864 140734789116504 4592027 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 65415 53054 165 392 0 65014 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 261660

[startup+1182.3 s]
/proc/loadavg: 2.25 2.19 2.19 3/177 25234
/proc/meminfo: memFree=27144308/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=213212 CPUtime=1182.1 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 42366 0 0 0 118159 51 0 0 20 0 1 0 30996649 218329088 49579 33554432000 4194304 5796924 140734789118864 140734789116504 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 53303 49579 165 392 0 52902 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 213212

[startup+1242.3 s]
/proc/loadavg: 2.36 2.23 2.20 4/177 25235
/proc/meminfo: memFree=27108056/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=183816 CPUtime=1242.09 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 43731 0 0 0 124156 53 0 0 20 0 1 0 30996649 188227584 44748 33554432000 4194304 5796924 140734789118864 140734789116152 4607212 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 45954 44748 165 392 0 45553 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 183816

[startup+1302.3 s]
/proc/loadavg: 2.18 2.20 2.19 3/176 25236
/proc/meminfo: memFree=27159680/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=264724 CPUtime=1302.06 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 45194 0 0 0 130151 55 0 0 20 0 1 0 30996649 271077376 56380 33554432000 4194304 5796924 140734789118864 140734789116504 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 66181 56380 165 392 0 65780 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 264724

[startup+1362.3 s]
/proc/loadavg: 2.23 2.22 2.19 3/178 25241
/proc/meminfo: memFree=27141076/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=215228 CPUtime=1362.06 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 46108 0 0 0 136148 58 0 0 20 0 1 0 30996649 220393472 51106 33554432000 4194304 5796924 140734789118864 140734789116504 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 53807 51106 165 392 0 53406 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 215228

[startup+1422.3 s]
/proc/loadavg: 2.25 2.22 2.19 3/178 25266
/proc/meminfo: memFree=27203824/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=185860 CPUtime=1422.05 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 47478 0 0 0 142144 61 0 0 20 0 1 0 30996649 190320640 42187 33554432000 4194304 5796924 140734789118864 140734789116152 4607241 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 46465 42187 165 392 0 46064 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 185860

[startup+1482.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 25267
/proc/meminfo: memFree=27110144/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=266768 CPUtime=1482.03 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 48918 0 0 0 148140 63 0 0 20 0 1 0 30996649 273170432 55355 33554432000 4194304 5796924 140734789118864 140734789116504 4607209 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 66692 55355 165 392 0 66291 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 266768

[startup+1542.31 s]
/proc/loadavg: 2.19 2.21 2.18 4/177 25268
/proc/meminfo: memFree=27155752/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=217888 CPUtime=1542.03 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 49987 0 0 0 154138 65 0 0 20 0 1 0 30996649 223117312 46652 33554432000 4194304 5796924 140734789118864 140734789116504 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 54472 46652 165 392 0 54071 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 217888

[startup+1602.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 25269
/proc/meminfo: memFree=27054200/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=267976 CPUtime=1602.02 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 50830 0 0 0 160135 67 0 0 20 0 1 0 30996649 274407424 57193 33554432000 4194304 5796924 140734789118864 140734789116504 4606565 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 66994 57193 165 392 0 66593 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 267976

[startup+1662.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 25270
/proc/meminfo: memFree=27109552/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=219100 CPUtime=1662.01 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 51905 0 0 0 166132 69 0 0 20 0 1 0 30996649 224358400 49003 33554432000 4194304 5796924 140734789118864 140734789116504 4607241 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 54775 49003 165 392 0 54374 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 219100

[startup+1722.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/176 25271
/proc/meminfo: memFree=27115904/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=269188 CPUtime=1722 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 52752 0 0 0 172129 71 0 0 20 0 1 0 30996649 275648512 58520 33554432000 4194304 5796924 140734789118864 140734789116504 4606802 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 67297 58520 165 392 0 66896 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 269188

[startup+1782.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 25273
/proc/meminfo: memFree=27062548/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=220144 CPUtime=1781.99 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 53784 0 0 0 178126 73 0 0 20 0 1 0 30996649 225427456 49776 33554432000 4194304 5796924 140734789118864 140734789116504 4606744 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 55036 49776 165 392 0 54635 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 220144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 25273
/proc/meminfo: memFree=26978548/32872528 swapFree=1497824/1644992
[pid=25158] ppid=25155 vsize=220144 CPUtime=1800.08 cores=0,2,4,6
/proc/25158/stat : 25158 (naps-1.02) R 25155 25158 22608 0 -1 4202496 53791 0 0 0 179935 73 0 0 20 0 1 0 30996649 225427456 53360 33554432000 4194304 5796924 140734789118864 140734789116504 4593382 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25158/statm: 55036 53360 165 392 0 54635 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 220144

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25158 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.36
CPU system time (s): 0.741887
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 270232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.741887
maximum resident set size= 248420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53803
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= 45
involuntary context switches= 1866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.38733 second user time and 7.09692 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-19 00:38:18
IDJOB=4108955
IDBENCH=89757
IDSOLVER=2544
FILE ID=node124/4108955-1466289498
RUNJOBID= node124-1466276517-22624
PBS_JOBID= 19918264
Free space on /tmp= 71708 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-27.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108955-1466289498/watcher-4108955-1466289498 -o /tmp/evaluation-result-4108955-1466289498/solver-4108955-1466289498 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466276517-22624 --watchdog 1960  naps-1.02 HOME/instance-4108955-1466289498.opb

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

MD5SUM BENCH= c3ba46c0ae63598a4f58d494ccf9f418
RANDOM SEED=1289065946

node124.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.58
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
cpu MHz		: 2666.791
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 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 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 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
cpu MHz		: 2666.791
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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 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 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 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
cpu MHz		: 2666.791
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 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 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 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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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 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 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 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
cpu MHz		: 2666.791
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.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
cpu MHz		: 2666.791
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29993276 kB
Buffers:          101932 kB
Cached:           173060 kB
SwapCached:         2804 kB
Active:           309632 kB
Inactive:         140292 kB
Active(anon):     172508 kB
Inactive(anon):     4488 kB
Active(file):     137124 kB
Inactive(file):   135804 kB
Unevictable:     1644992 kB
Mlocked:         1497824 kB
SwapTotal:      67108856 kB
SwapFree:       67099796 kB
Dirty:             12088 kB
Writeback:             0 kB
AnonPages:       1793340 kB
Mapped:             9624 kB
Shmem:                 0 kB
Slab:             642752 kB
SReclaimable:      86704 kB
SUnreclaim:       556048 kB
KernelStack:        1456 kB
PageTables:         7700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1957764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71348 MiB
End job on node124 at 2016-06-19 01:08:19