Trace number 4082171

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.09 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K199.opb
MD5SUM2cd10947adfbc402d943437a9cfa9f95
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23681
Total number of constraints24081
Number of constraints which are clauses23882
Number of constraints which are cardinality constraints (but not clauses)199
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint199
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
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.06/1800.50	c 
1800.06/1800.50	c *** TERMINATED *** by signal 15
1800.06/1800.50	s UNKNOWN
1800.06/1800.50	c _____________________________________________________________________________
1800.06/1800.50	c 
1800.06/1800.50	c std/band forms        : 197,0
1800.06/1800.50	c 2cl/3cl ITE-codings   : 22545,0
1800.06/1800.50	c BDD/srt/adr Max costs : 235,0,0
1800.06/1800.50	c BDDraw/bin/mul/srt/adr: 197,0,0,0,0
1800.06/1800.50	c BDD nodes             : 45484
1800.06/1800.50	c Es1/CC detections     : 0,0
1800.06/1800.50	c SAT/UNSAT calls       : 0,0
1800.06/1800.50	c restarts              : 0
1800.06/1800.50	c conflicts             : 0              (0 /sec)
1800.06/1800.50	c decisions             : 0              (0 /sec)
1800.06/1800.50	c propagations          : 0              (0 /sec)
1800.06/1800.50	c inspects              : 0              (0 /sec)
1800.06/1800.50	c CPU time (solving tm) : 1799 s        (0 s)
1800.06/1800.50	c Time for Opt-base     : 0 s
1800.06/1800.50	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-4082171-1465274956/watcher-4082171-1465274956 -o /tmp/evaluation-result-4082171-1465274956/solver-4082171-1465274956 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465274956-21529 --watchdog 1960 naps-1.02 HOME/instance-4082171-1465274956.opb 

pid=21543
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.23 1.30 1.63 2/170 21546
/proc/meminfo: memFree=31536032/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=6552 CPUtime=0 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 109430945 6709248 199 33554432000 4194304 5796924 140733473674416 140734857205128 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 1638 201 127 392 0 1237 0

[startup+0.100116 s]
/proc/loadavg: 1.23 1.30 1.63 2/170 21546
/proc/meminfo: memFree=31536032/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=12220 CPUtime=0.09 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 1613 0 0 0 9 0 0 0 20 0 1 0 109430945 12513280 1445 33554432000 4194304 5796924 140733473674416 140733473673688 4602800 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 3055 1445 127 392 0 2654 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12220

[startup+0.200314 s]
/proc/loadavg: 1.23 1.30 1.63 2/170 21546
/proc/meminfo: memFree=31536032/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=13068 CPUtime=0.19 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 2066 0 0 0 19 0 0 0 20 0 1 0 109430945 13381632 1805 33554432000 4194304 5796924 140733473674416 140733473673688 4639447 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 3267 1805 127 392 0 2866 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13068

[startup+0.300284 s]
/proc/loadavg: 1.23 1.30 1.63 2/170 21546
/proc/meminfo: memFree=31536032/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=13960 CPUtime=0.29 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 2346 0 0 0 29 0 0 0 20 0 1 0 109430945 14295040 2064 33554432000 4194304 5796924 140733473674416 140733473673640 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 3490 2064 127 392 0 3089 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13960

[startup+0.700234 s]
/proc/loadavg: 1.23 1.30 1.63 2/170 21546
/proc/meminfo: memFree=31536032/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=18332 CPUtime=0.68 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 3617 0 0 0 68 0 0 0 20 0 1 0 109430945 18771968 3291 33554432000 4194304 5796924 140733473674416 140733473673640 4360414 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 4583 3291 127 392 0 4182 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18332

[startup+1.50029 s]
/proc/loadavg: 1.23 1.30 1.63 3/177 21560
/proc/meminfo: memFree=31490748/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=40960 CPUtime=1.48 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 9595 0 0 0 147 1 0 0 20 0 1 0 109430945 41943040 8798 33554432000 4194304 5796924 140733473674416 140733473671704 4592040 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 10240 8798 163 392 0 9839 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40960

[startup+3.10029 s]
/proc/loadavg: 1.23 1.30 1.63 3/177 21560
/proc/meminfo: memFree=31466488/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=44740 CPUtime=3.08 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 10351 0 0 0 307 1 0 0 20 0 1 0 109430945 45813760 9550 33554432000 4194304 5796924 140733473674416 140733473671464 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 11185 9550 165 392 0 10784 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44740

[startup+6.30029 s]
/proc/loadavg: 1.29 1.31 1.64 3/177 21560
/proc/meminfo: memFree=31453356/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=50812 CPUtime=6.29 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 11688 0 0 0 627 2 0 0 20 0 1 0 109430945 52031488 11387 33554432000 4194304 5796924 140733473674416 140733473671528 4606844 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 12703 11387 165 392 0 12302 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50812

[startup+12.7003 s]
/proc/loadavg: 1.34 1.33 1.64 3/177 21560
/proc/meminfo: memFree=31446584/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=61112 CPUtime=12.68 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 13027 0 0 0 1266 2 0 0 20 0 1 0 109430945 62578688 13740 33554432000 4194304 5796924 140733473674416 140733473671464 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 15278 13740 165 392 0 14877 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61112

[startup+25.5004 s]
/proc/loadavg: 1.49 1.36 1.64 3/177 21560
/proc/meminfo: memFree=31400448/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=96376 CPUtime=25.48 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 15119 0 0 0 2544 4 0 0 20 0 1 0 109430945 98689024 20511 33554432000 4194304 5796924 140733473674416 140733473671704 4591910 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 24094 20511 166 392 0 23693 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 96376

[startup+51.1004 s]
/proc/loadavg: 1.66 1.41 1.65 3/178 21563
/proc/meminfo: memFree=31347472/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=127268 CPUtime=51.08 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 16812 0 0 0 5103 5 0 0 20 0 1 0 109430945 130322432 23759 33554432000 4194304 5796924 140733473674416 140733473671704 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 31817 23759 166 392 0 31416 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 127268

[startup+102.3 s]
/proc/loadavg: 1.92 1.51 1.67 3/178 21564
/proc/meminfo: memFree=31332176/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=115692 CPUtime=102.27 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 19425 0 0 0 10219 8 0 0 20 0 1 0 109430945 118468608 26848 33554432000 4194304 5796924 140733473674416 140733473671704 4594694 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 28923 26848 166 392 0 28522 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 115692

[startup+162.3 s]
/proc/loadavg: 2.02 1.61 1.69 3/177 21565
/proc/meminfo: memFree=31254128/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=165480 CPUtime=162.25 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 22196 0 0 0 16213 12 0 0 20 0 1 0 109430945 169451520 35330 33554432000 4194304 5796924 140733473674416 140733473672056 4594698 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 41370 35330 166 392 0 40969 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 165480

[startup+222.307 s]
/proc/loadavg: 2.01 1.68 1.71 3/177 21567
/proc/meminfo: memFree=31280008/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=165644 CPUtime=222.24 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 24380 0 0 0 22210 14 0 0 20 0 1 0 109430945 169619456 39611 33554432000 4194304 5796924 140733473674416 140733473672056 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 41411 39611 166 392 0 41010 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 165644

[startup+282.3 s]
/proc/loadavg: 2.04 1.75 1.73 3/177 21568
/proc/meminfo: memFree=31212500/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=171312 CPUtime=282.23 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 27403 0 0 0 28205 18 0 0 20 0 1 0 109430945 175423488 41526 33554432000 4194304 5796924 140733473674416 140733473672056 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 42828 41526 166 392 0 42427 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 171312

[startup+342.3 s]
/proc/loadavg: 2.06 1.81 1.75 3/177 21569
/proc/meminfo: memFree=31195132/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=177056 CPUtime=342.22 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 29918 0 0 0 34201 21 0 0 20 0 1 0 109430945 181305344 39864 33554432000 4194304 5796924 140733473674416 140733473672056 4593713 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 44264 39864 166 392 0 43863 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 177056

[startup+402.3 s]
/proc/loadavg: 2.12 1.87 1.77 3/177 21570
/proc/meminfo: memFree=31212744/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=132496 CPUtime=402.21 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 31920 0 0 0 40197 24 0 0 20 0 1 0 109430945 135675904 31872 33554432000 4194304 5796924 140733473674416 140733473671704 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 33124 31872 166 392 0 32723 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 132496

[startup+462.3 s]
/proc/loadavg: 2.08 1.91 1.79 3/177 21571
/proc/meminfo: memFree=31121828/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=232372 CPUtime=462.19 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 33608 0 0 0 46192 27 0 0 20 0 1 0 109430945 237948928 53997 33554432000 4194304 5796924 140733473674416 140733473672056 4583109 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 58093 53997 166 392 0 57692 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 232372

[startup+522.3 s]
/proc/loadavg: 2.03 1.92 1.80 3/177 21573
/proc/meminfo: memFree=31168820/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=188800 CPUtime=522.18 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 36520 0 0 0 52187 31 0 0 20 0 1 0 109430945 193331200 43847 33554432000 4194304 5796924 140733473674416 140733473672056 4583132 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 47200 43847 166 392 0 46799 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 188800

[startup+582.3 s]
/proc/loadavg: 2.01 1.93 1.81 3/177 21574
/proc/meminfo: memFree=31102288/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=320276 CPUtime=582.18 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 37750 0 0 0 58185 33 0 0 20 0 1 0 109430945 327962624 62959 33554432000 4194304 5796924 140733473674416 140733473672056 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 80069 62959 166 392 0 79668 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 320276


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


[startup+942.3 s]
/proc/loadavg: 2.07 2.05 1.90 3/177 21607
/proc/meminfo: memFree=31078336/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=238888 CPUtime=942.11 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 45821 0 0 0 94164 47 0 0 20 0 1 0 109430945 244621312 58183 33554432000 4194304 5796924 140733473674416 140733473672056 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 59722 58183 166 392 0 59321 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 238888

[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 1.91 3/177 21608
/proc/meminfo: memFree=31076844/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=322216 CPUtime=1002.09 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 47037 0 0 0 100159 50 0 0 20 0 1 0 109430945 329949184 76745 33554432000 4194304 5796924 140733473674416 140733473671528 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 80554 76745 166 392 0 80153 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 322216

[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 1.91 3/177 21609
/proc/meminfo: memFree=31095284/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=194576 CPUtime=1062.05 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 49543 0 0 0 106153 52 0 0 20 0 1 0 109430945 199245824 46713 33554432000 4194304 5796924 140733473674416 140733473672056 4568957 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 48644 46713 166 392 0 48243 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 194576

[startup+1122.3 s]
/proc/loadavg: 2.10 2.06 1.92 3/177 21610
/proc/meminfo: memFree=31087776/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=326832 CPUtime=1122.04 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 50808 0 0 0 112150 54 0 0 20 0 1 0 109430945 334675968 67392 33554432000 4194304 5796924 140733473674416 140733473671400 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 81708 67392 166 392 0 81307 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 326832

[startup+1182.3 s]
/proc/loadavg: 2.14 2.08 1.93 3/177 21612
/proc/meminfo: memFree=30927796/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=462276 CPUtime=1182.04 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 52117 0 0 0 118148 56 0 0 20 0 1 0 109430945 473370624 84029 33554432000 4194304 5796924 140733473674416 140733473671528 4606809 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 115569 84029 166 392 0 115168 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 462276

[startup+1242.3 s]
/proc/loadavg: 2.05 2.06 1.93 3/177 21613
/proc/meminfo: memFree=31148472/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=251324 CPUtime=1242.03 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 54910 0 0 0 124145 58 0 0 20 0 1 0 109430945 257355776 49719 33554432000 4194304 5796924 140733473674416 140733473672056 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 62831 49719 166 392 0 62430 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 251324

[startup+1302.3 s]
/proc/loadavg: 2.12 2.09 1.95 3/178 21617
/proc/meminfo: memFree=30980268/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=333120 CPUtime=1302.01 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 55783 0 0 0 130142 59 0 0 20 0 1 0 109430945 341114880 70168 33554432000 4194304 5796924 140733473674416 140733473671528 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 83280 70168 166 392 0 82879 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 333120

[startup+1362.3 s]
/proc/loadavg: 2.04 2.07 1.95 3/177 21618
/proc/meminfo: memFree=31012132/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=467184 CPUtime=1361.98 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 56803 0 0 0 136137 61 0 0 20 0 1 0 109430945 478396416 87058 33554432000 4194304 5796924 140733473674416 140733473671400 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 116796 87058 166 392 0 116395 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 467184

[startup+1422.3 s]
/proc/loadavg: 2.07 2.07 1.95 3/177 21619
/proc/meminfo: memFree=31079448/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=206656 CPUtime=1421.96 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 58394 0 0 0 142133 63 0 0 20 0 1 0 109430945 211615744 45344 33554432000 4194304 5796924 140733473674416 140733473672056 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 51664 45344 166 392 0 51263 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 206656

[startup+1482.3 s]
/proc/loadavg: 2.06 2.07 1.96 3/177 21621
/proc/meminfo: memFree=31114684/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=338516 CPUtime=1481.95 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 59562 0 0 0 148130 65 0 0 20 0 1 0 109430945 346640384 67971 33554432000 4194304 5796924 140733473674416 140733473672056 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 84629 67971 166 392 0 84228 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 338516

[startup+1542.31 s]
/proc/loadavg: 2.09 2.07 1.96 3/177 21622
/proc/meminfo: memFree=30934228/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=472192 CPUtime=1541.94 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 60428 0 0 0 154128 66 0 0 20 0 1 0 109430945 483524608 86211 33554432000 4194304 5796924 140733473674416 140733473671464 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 118048 86211 166 392 0 117647 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 472192

[startup+1602.3 s]
/proc/loadavg: 2.09 2.07 1.97 3/177 21623
/proc/meminfo: memFree=30793488/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=475164 CPUtime=1601.93 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 61148 0 0 0 160126 67 0 0 20 0 1 0 109430945 486567936 102772 33554432000 4194304 5796924 140733473674416 140733473671528 4594694 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 118791 102772 166 392 0 118390 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 475164

[startup+1662.3 s]
/proc/loadavg: 2.12 2.08 1.98 3/177 21624
/proc/meminfo: memFree=31076412/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=263216 CPUtime=1661.92 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 63028 0 0 0 166122 70 0 0 20 0 1 0 109430945 269533184 58788 33554432000 4194304 5796924 140733473674416 140733473671464 4607241 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 65804 58788 166 392 0 65403 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 263216

[startup+1722.3 s]
/proc/loadavg: 2.11 2.08 1.98 3/177 21625
/proc/meminfo: memFree=30913132/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=344980 CPUtime=1721.88 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 63668 0 0 0 172117 71 0 0 20 0 1 0 109430945 353259520 78030 33554432000 4194304 5796924 140733473674416 140733473671464 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 86245 78030 166 392 0 85844 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 344980

[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 1.98 3/177 21627
/proc/meminfo: memFree=30982864/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=478528 CPUtime=1781.87 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 64476 0 0 0 178113 74 0 0 20 0 1 0 109430945 490012672 94671 33554432000 4194304 5796924 140733473674416 140733473671464 4606771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 119632 94671 166 392 0 119231 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 478528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.03 2.06 1.98 4/177 21627
/proc/meminfo: memFree=30929804/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=479088 CPUtime=1800.06 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 64644 0 0 0 179932 74 0 0 20 0 1 0 109430945 490586112 98927 33554432000 4194304 5796924 140733473674416 140733473671400 4606771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 119772 98927 166 392 0 119371 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 479088

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

[startup+1800.5 s]
/proc/loadavg: 2.03 2.06 1.98 4/177 21627
/proc/meminfo: memFree=30929804/32872528 swapFree=10608/190480
[pid=21546] ppid=21543 vsize=479088 CPUtime=1800.06 cores=0,2,4,6
/proc/21546/stat : 21546 (naps-1.02) R 21543 21546 21513 0 -1 4202496 64644 0 0 0 179932 74 0 0 20 0 1 0 109430945 490586112 98927 33554432000 4194304 5796924 140733473674416 140733473671400 4606771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/21546/statm: 119772 98927 166 392 0 119371 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 479088

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.33
CPU system time (s): 0.759884
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 526028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.759884
maximum resident set size= 463852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64656
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= 222
involuntary context switches= 1994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6832 second user time and 15.3497 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-07 06:49:16
IDJOB=4082171
IDBENCH=90145
IDSOLVER=2544
FILE ID=node102/4082171-1465274956
RUNJOBID= node102-1465274956-21529
PBS_JOBID= 19843304
Free space on /tmp= 71740 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K199.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4082171-1465274956/watcher-4082171-1465274956 -o /tmp/evaluation-result-4082171-1465274956/solver-4082171-1465274956 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465274956-21529 --watchdog 1960  naps-1.02 HOME/instance-4082171-1465274956.opb

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

MD5SUM BENCH= 2cd10947adfbc402d943437a9cfa9f95
RANDOM SEED=1215527232

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.470
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.56
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.470
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.470
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.470
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31536948 kB
Buffers:          120588 kB
Cached:           272064 kB
SwapCached:         2720 kB
Active:            83452 kB
Inactive:         312524 kB
Active(anon):       3508 kB
Inactive(anon):     2248 kB
Active(file):      79944 kB
Inactive(file):   310276 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098700 kB
Dirty:              5444 kB
Writeback:             0 kB
AnonPages:        192568 kB
Mapped:             7444 kB
Shmem:                 0 kB
Slab:             616576 kB
SReclaimable:      60588 kB
SUnreclaim:       555988 kB
KernelStack:        1336 kB
PageTables:         4360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     287480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71728 MiB
End job on node102 at 2016-06-07 07:19:17