Trace number 4103667

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 NameAnswerobjective functionCPU timeWall clock time
NaPS 1.02? (TO) 1800.01 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scrs8.opb
MD5SUMb043e07da3f326ab58c20906a4694dad
Bench CategoryOPT-BIGINT (optimisation, big integers)
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
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables35070
Total number of constraints488
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints488
Minimum length of a constraint30
Maximum length of a constraint1110
Number of terms in the objective function 24750
Biggest coefficient in the objective function 284830543390965760000
Number of bits for the biggest coefficient in the objective function 68
Sum of the numbers in the objective function 7193462013935082558288
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 284830543390965760000
Number of bits of the biggest number in a constraint 68
Biggest sum of numbers in a constraint 7193462013935082558288
Number of bits of the biggest sum of numbers73
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.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED *** by signal 15
1800.00/1800.30	s UNKNOWN
1800.00/1800.30	c _____________________________________________________________________________
1800.00/1800.30	c 
1800.00/1800.30	c std/band forms        : 74,51
1800.00/1800.30	c 2cl/3cl ITE-codings   : 0,0
1800.00/1800.30	c BDD/srt/adr Max costs : 65250,15300,117
1800.00/1800.30	c BDDraw/bin/mul/srt/adr: 39,0,9,74,2
1800.00/1800.30	c BDD nodes             : 3369362
1800.00/1800.30	c Es1/CC detections     : 0,0
1800.00/1800.30	c SAT/UNSAT calls       : 0,0
1800.00/1800.30	c restarts              : 0
1800.00/1800.30	c conflicts             : 0              (0 /sec)
1800.00/1800.30	c decisions             : 0              (0 /sec)
1800.00/1800.30	c propagations          : 0              (0 /sec)
1800.00/1800.30	c inspects              : 0              (0 /sec)
1800.00/1800.30	c CPU time (solving tm) : 1800 s        (0 s)
1800.00/1800.30	c Time for Opt-base     : 1744 s
1800.00/1800.30	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-4103667-1466263754/watcher-4103667-1466263754 -o /tmp/evaluation-result-4103667-1466263754/solver-4103667-1466263754 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466240351-7952 --watchdog 1960 naps-1.02 HOME/instance-4103667-1466263754.opb 

pid=10558
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: 1.98 2.02 2.00 4/176 10561
/proc/meminfo: memFree=30142788/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=6992 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 409 0 0 0 0 0 0 0 20 0 1 0 28425888 7159808 284 33554432000 4194304 5796924 140733589387872 140736848241912 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 1748 284 114 392 0 1347 0

[startup+0.100176 s]
/proc/loadavg: 1.98 2.02 2.00 4/176 10561
/proc/meminfo: memFree=30142788/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=15532 CPUtime=0.09 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 2485 0 0 0 9 0 0 0 20 0 1 0 28425888 15904768 2236 33554432000 4194304 5796924 140733589387872 140736848241912 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 3916 2243 117 392 0 3515 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15532

[startup+0.20035 s]
/proc/loadavg: 1.98 2.02 2.00 4/176 10561
/proc/meminfo: memFree=30142788/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=17620 CPUtime=0.19 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 3091 0 0 0 19 0 0 0 20 0 1 0 28425888 18042880 2792 33554432000 4194304 5796924 140733589387872 140736848241912 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 4405 2792 128 392 0 4004 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17620

[startup+0.300279 s]
/proc/loadavg: 1.98 2.02 2.00 4/176 10561
/proc/meminfo: memFree=30142788/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=21300 CPUtime=0.29 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 3857 0 0 0 29 0 0 0 20 0 1 0 28425888 21811200 3558 33554432000 4194304 5796924 140733589387872 140736848241912 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 5325 3558 128 392 0 4924 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21300

[startup+0.700231 s]
/proc/loadavg: 1.98 2.02 2.00 4/176 10561
/proc/meminfo: memFree=30142788/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=30652 CPUtime=0.68 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 6246 0 0 0 68 0 0 0 20 0 1 0 28425888 31387648 5947 33554432000 4194304 5796924 140733589387872 140736848241912 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 7663 5947 128 392 0 7262 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 30652

[startup+1.50024 s]
/proc/loadavg: 1.98 2.02 2.00 3/177 10562
/proc/meminfo: memFree=30113776/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=35140 CPUtime=1.49 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 7681 0 0 0 148 1 0 0 20 0 1 0 28425888 35983360 7108 33554432000 4194304 5796924 140733589387872 140733589387096 5087500 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 8785 7108 140 392 0 8384 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35140

[startup+3.10023 s]
/proc/loadavg: 1.98 2.02 2.00 3/177 10562
/proc/meminfo: memFree=30113492/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=35140 CPUtime=3.09 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 7681 0 0 0 308 1 0 0 20 0 1 0 28425888 35983360 7108 33554432000 4194304 5796924 140733589387872 140733589384088 4313368 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 8785 7108 140 392 0 8384 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35140

[startup+6.30024 s]
/proc/loadavg: 2.06 2.03 2.00 4/177 10562
/proc/meminfo: memFree=30113544/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=35140 CPUtime=6.29 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 7681 0 0 0 628 1 0 0 20 0 1 0 28425888 35983360 7108 33554432000 4194304 5796924 140733589387872 140733589384088 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 8785 7108 140 392 0 8384 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35140

[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 10562
/proc/meminfo: memFree=30113480/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=35140 CPUtime=12.69 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 7681 0 0 0 1268 1 0 0 20 0 1 0 28425888 35983360 7108 33554432000 4194304 5796924 140733589387872 140733589384088 5087504 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 8785 7108 140 392 0 8384 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35140

[startup+25.5003 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 10562
/proc/meminfo: memFree=30113000/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=35140 CPUtime=25.49 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 7681 0 0 0 2548 1 0 0 20 0 1 0 28425888 35983360 7108 33554432000 4194304 5796924 140733589387872 140733589384088 5087497 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 8785 7108 140 392 0 8384 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35140

[startup+51.1004 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 10565
/proc/meminfo: memFree=30039908/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=107704 CPUtime=51.09 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 26005 0 0 0 5105 4 0 0 20 0 1 0 28425888 110288896 25102 33554432000 4194304 5796924 140733589387872 140733589382360 5100600 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 26926 25102 145 392 0 26525 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 107704

[startup+102.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/178 10566
/proc/meminfo: memFree=30040972/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=107016 CPUtime=102.28 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 26884 0 0 0 10224 4 0 0 20 0 1 0 28425888 109584384 24991 33554432000 4194304 5796924 140733589387872 140733589382440 5092604 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 26754 24991 151 392 0 26353 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 107016

[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 10567
/proc/meminfo: memFree=30039392/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=107492 CPUtime=162.27 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 27785 0 0 0 16223 4 0 0 20 0 1 0 28425888 110071808 25157 33554432000 4194304 5796924 140733589387872 140733589382440 4199797 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 26873 25157 151 392 0 26472 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 107492

[startup+222.307 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 10568
/proc/meminfo: memFree=30037652/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=109028 CPUtime=222.27 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 29548 0 0 0 22223 4 0 0 20 0 1 0 28425888 111644672 25410 33554432000 4194304 5796924 140733589387872 140733589382440 5096544 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 27257 25410 151 392 0 26856 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 109028

[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 10570
/proc/meminfo: memFree=30030312/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=112056 CPUtime=282.25 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 30761 0 0 0 28221 4 0 0 20 0 1 0 28425888 114745344 26231 33554432000 4194304 5796924 140733589387872 140733589382440 5092518 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 28014 26231 151 392 0 27613 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 112056

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10571
/proc/meminfo: memFree=30029604/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=112588 CPUtime=342.24 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 30974 0 0 0 34220 4 0 0 20 0 1 0 28425888 115290112 26444 33554432000 4194304 5796924 140733589387872 140733589382440 5092651 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 28147 26444 191 392 0 27746 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 112588

[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 10572
/proc/meminfo: memFree=30026408/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=112924 CPUtime=402.23 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 31109 0 0 0 40219 4 0 0 20 0 1 0 28425888 115634176 26579 33554432000 4194304 5796924 140733589387872 140733589382440 4839574 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 28231 26579 191 392 0 27830 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 112924

[startup+462.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 10573
/proc/meminfo: memFree=30025816/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=114864 CPUtime=462.22 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 31332 0 0 0 46218 4 0 0 20 0 1 0 28425888 117620736 26802 33554432000 4194304 5796924 140733589387872 140733589382440 5087494 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 28716 26802 191 392 0 28315 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 114864

[startup+522.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 10574
/proc/meminfo: memFree=30024860/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=115252 CPUtime=522.21 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 31521 0 0 0 52217 4 0 0 20 0 1 0 28425888 118018048 26991 33554432000 4194304 5796924 140733589387872 140733589382440 5092427 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 28813 26991 191 392 0 28412 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 115252

[startup+582.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 10576
/proc/meminfo: memFree=30023840/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=115588 CPUtime=582.2 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 31650 0 0 0 58216 4 0 0 20 0 1 0 28425888 118362112 27120 33554432000 4194304 5796924 140733589387872 140733589382440 5092502 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 28897 27120 191 392 0 28496 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 115588


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


[startup+942.3 s]
/proc/loadavg: 2.12 2.09 2.01 3/177 10586
/proc/meminfo: memFree=30007336/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=125976 CPUtime=942.14 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 33468 0 0 0 94209 5 0 0 20 0 1 0 28425888 128999424 29812 33554432000 4194304 5796924 140733589387872 140733589382440 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 31494 29812 191 392 0 31093 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 125976

[startup+1002.3 s]
/proc/loadavg: 2.12 2.10 2.02 3/177 10587
/proc/meminfo: memFree=30006920/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=125976 CPUtime=1002.13 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 33535 0 0 0 100208 5 0 0 20 0 1 0 28425888 128999424 29875 33554432000 4194304 5796924 140733589387872 140733589384856 5087772 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 31494 29875 191 392 0 31093 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 125976

[startup+1062.3 s]
/proc/loadavg: 2.08 2.09 2.02 3/177 10588
/proc/meminfo: memFree=30006052/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=126744 CPUtime=1062.12 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 33766 0 0 0 106207 5 0 0 20 0 1 0 28425888 129785856 30106 33554432000 4194304 5796924 140733589387872 140733589382440 4809198 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 31686 30106 191 392 0 31285 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 126744

[startup+1122.3 s]
/proc/loadavg: 2.06 2.09 2.02 3/176 10589
/proc/meminfo: memFree=30006320/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=127080 CPUtime=1122.11 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 33900 0 0 0 112206 5 0 0 20 0 1 0 28425888 130129920 30240 33554432000 4194304 5796924 140733589387872 140733589382440 4295860 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 31770 30240 191 392 0 31369 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 127080

[startup+1182.3 s]
/proc/loadavg: 2.02 2.07 2.01 3/177 10592
/proc/meminfo: memFree=30004356/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=130536 CPUtime=1182.1 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 34130 0 0 0 118205 5 0 0 20 0 1 0 28425888 133668864 30470 33554432000 4194304 5796924 140733589387872 140733589382440 4199797 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 32634 30470 191 392 0 32233 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 130536

[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/177 10593
/proc/meminfo: memFree=30003620/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=130932 CPUtime=1242.09 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 34314 0 0 0 124204 5 0 0 20 0 1 0 28425888 134074368 30654 33554432000 4194304 5796924 140733589387872 140733589382440 5087579 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 32733 30654 191 392 0 32332 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 130932

[startup+1302.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/178 10597
/proc/meminfo: memFree=30002792/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=131324 CPUtime=1302.08 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 34458 0 0 0 130203 5 0 0 20 0 1 0 28425888 134475776 30798 33554432000 4194304 5796924 140733589387872 140733589382440 5096569 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 32831 30798 191 392 0 32430 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 131324

[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 10598
/proc/meminfo: memFree=30001804/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=132044 CPUtime=1362.07 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 34720 0 0 0 136202 5 0 0 20 0 1 0 28425888 135213056 31060 33554432000 4194304 5796924 140733589387872 140733589382440 5096660 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 33011 31060 191 392 0 32610 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 132044

[startup+1422.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 10599
/proc/meminfo: memFree=30001056/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=132380 CPUtime=1422.07 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 34856 0 0 0 142202 5 0 0 20 0 1 0 28425888 135557120 31196 33554432000 4194304 5796924 140733589387872 140733589382440 4295922 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 33095 31196 191 392 0 32694 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 132380

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 10601
/proc/meminfo: memFree=30001180/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=132420 CPUtime=1482.05 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 34866 0 0 0 148200 5 0 0 20 0 1 0 28425888 135598080 31206 33554432000 4194304 5796924 140733589387872 140733589384088 5096673 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 33105 31206 191 392 0 32704 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 132420

[startup+1542.31 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 10602
/proc/meminfo: memFree=29986588/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=149416 CPUtime=1542.05 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 36637 0 0 0 154200 5 0 0 20 0 1 0 28425888 153001984 34940 33554432000 4194304 5796924 140733589387872 140733589382440 4865554 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 37354 34940 191 392 0 36953 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 149416

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 10603
/proc/meminfo: memFree=29983244/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=152088 CPUtime=1602.03 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 37395 0 0 0 160198 5 0 0 20 0 1 0 28425888 155738112 35698 33554432000 4194304 5796924 140733589387872 140733589382440 5087504 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 38022 35698 191 392 0 37621 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 152088

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 10604
/proc/meminfo: memFree=29980080/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=152816 CPUtime=1662.02 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 37643 0 0 0 166197 5 0 0 20 0 1 0 28425888 156483584 36457 33554432000 4194304 5796924 140733589387872 140733589382440 4199797 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 38204 36457 191 392 0 37803 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 152816

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 10650
/proc/meminfo: memFree=31456532/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=153148 CPUtime=1722.01 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 37735 0 0 0 172196 5 0 0 20 0 1 0 28425888 156823552 36549 33554432000 4194304 5796924 140733589387872 140733589382440 5096680 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 38287 36549 191 392 0 37886 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 153148

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10652
/proc/meminfo: memFree=31376208/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=153148 CPUtime=1782 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 37737 0 0 0 178195 5 0 0 20 0 1 0 28425888 156823552 36549 33554432000 4194304 5796924 140733589387872 140733589384088 5092432 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 38287 36549 191 392 0 37886 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 153148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 10653
/proc/meminfo: memFree=31375924/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=153148 CPUtime=1800 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 37737 0 0 0 179995 5 0 0 20 0 1 0 28425888 156823552 36549 33554432000 4194304 5796924 140733589387872 140733589384088 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 38287 36549 191 392 0 37886 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 153148

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 10561 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 10653
/proc/meminfo: memFree=31375924/32872528 swapFree=190484/190484
[pid=10561] ppid=10558 vsize=153148 CPUtime=1800 cores=0,2,4,6
/proc/10561/stat : 10561 (naps-1.02) R 10558 10561 7936 0 -1 4202496 37737 0 0 0 179995 5 0 0 20 0 1 0 28425888 156823552 36549 33554432000 4194304 5796924 140733589387872 140733589384088 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10561/statm: 38287 36549 191 392 0 37886 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 153148

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.95
CPU system time (s): 0.06099
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 153616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.06099
maximum resident set size= 147404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37749
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= 24
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82527 second user time and 6.64099 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-18 17:29:14
IDJOB=4103667
IDBENCH=2425
IDSOLVER=2544
FILE ID=node102/4103667-1466263754
RUNJOBID= node102-1466240351-7952
PBS_JOBID= 19918190
Free space on /tmp= 71684 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scrs8.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103667-1466263754/watcher-4103667-1466263754 -o /tmp/evaluation-result-4103667-1466263754/solver-4103667-1466263754 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466240351-7952 --watchdog 1960  naps-1.02 HOME/instance-4103667-1466263754.opb

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

MD5SUM BENCH= b043e07da3f326ab58c20906a4694dad
RANDOM SEED=477622568

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30142804 kB
Buffers:          130544 kB
Cached:           216616 kB
SwapCached:         1896 kB
Active:          1582652 kB
Inactive:         214672 kB
Active(anon):    1448000 kB
Inactive(anon):     4516 kB
Active(file):     134652 kB
Inactive(file):   210156 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67099164 kB
Dirty:              6260 kB
Writeback:             0 kB
AnonPages:       1640524 kB
Mapped:             9356 kB
Shmem:                 0 kB
Slab:             608416 kB
SReclaimable:      52140 kB
SUnreclaim:       556276 kB
KernelStack:        1424 kB
PageTables:         7352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1773064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 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= 71720 MiB
End job on node102 at 2016-06-18 17:59:14