Trace number 4082168

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.01 1800.31

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K183.opb
MD5SUM0350ceeb14af28f3be070cadc324c0d3
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 variables21777
Total number of constraints22145
Number of constraints which are clauses21962
Number of constraints which are cardinality constraints (but not clauses)183
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint183
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 184
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.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        : 181,0
1800.00/1800.30	c 2cl/3cl ITE-codings   : 20673,0
1800.00/1800.30	c BDD/srt/adr Max costs : 235,0,0
1800.00/1800.30	c BDDraw/bin/mul/srt/adr: 181,0,0,0,0
1800.00/1800.30	c BDD nodes             : 41708
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) : 1799 s        (0 s)
1800.00/1800.30	c Time for Opt-base     : 0 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-4082168-1465274869/watcher-4082168-1465274869 -o /tmp/evaluation-result-4082168-1465274869/solver-4082168-1465274869 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465254880-10346 --watchdog 1960 naps-1.02 HOME/instance-4082168-1465274869.opb 

pid=12527
running on 4 cores: 1,3,5,7

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.21 2.22 2.15 4/176 12530
/proc/meminfo: memFree=30418484/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=6712 CPUtime=0 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 109419839 6873088 251 33554432000 4194304 5796924 140736718256768 140734460133736 4659057 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 1678 251 127 392 0 1277 0

[startup+0.100176 s]
/proc/loadavg: 2.21 2.22 2.15 4/176 12530
/proc/meminfo: memFree=30418484/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=12200 CPUtime=0.09 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 1628 0 0 0 9 0 0 0 20 0 1 0 109419839 12492800 1460 33554432000 4194304 5796924 140736718256768 140734460133736 5096673 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 3050 1460 127 392 0 2649 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12200

[startup+0.200341 s]
/proc/loadavg: 2.21 2.22 2.15 4/176 12530
/proc/meminfo: memFree=30418484/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=13104 CPUtime=0.19 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 2021 0 0 0 19 0 0 0 20 0 1 0 109419839 13418496 1758 33554432000 4194304 5796924 140736718256768 140734460133736 4564275 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 3276 1758 127 392 0 2875 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13104

[startup+0.300342 s]
/proc/loadavg: 2.21 2.22 2.15 4/176 12530
/proc/meminfo: memFree=30418484/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=13796 CPUtime=0.29 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 2268 0 0 0 29 0 0 0 20 0 1 0 109419839 14127104 1982 33554432000 4194304 5796924 140736718256768 140736718255928 4806822 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 3449 1982 127 392 0 3048 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13796

[startup+0.700334 s]
/proc/loadavg: 2.21 2.22 2.15 4/176 12530
/proc/meminfo: memFree=30418484/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=19460 CPUtime=0.69 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 4036 0 0 0 69 0 0 0 20 0 1 0 109419839 19927040 3546 33554432000 4194304 5796924 140736718256768 140736718255928 5087766 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 4865 3546 140 392 0 4464 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19460

[startup+1.50035 s]
/proc/loadavg: 2.27 2.23 2.15 4/177 12531
/proc/meminfo: memFree=30390124/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=37760 CPUtime=1.49 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 9288 0 0 0 148 1 0 0 20 0 1 0 109419839 38666240 8026 33554432000 4194304 5796924 140736718256768 140736718254616 4594144 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 9440 8026 163 392 0 9039 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37760

[startup+3.10035 s]
/proc/loadavg: 2.27 2.23 2.15 4/177 12531
/proc/meminfo: memFree=30382204/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=43228 CPUtime=3.09 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 10132 0 0 0 308 1 0 0 20 0 1 0 109419839 44265472 8866 33554432000 4194304 5796924 140736718256768 140736718253816 4607747 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 10807 8866 165 392 0 10406 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43228

[startup+6.30034 s]
/proc/loadavg: 2.33 2.25 2.16 3/177 12531
/proc/meminfo: memFree=30371692/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=49100 CPUtime=6.29 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 11488 0 0 0 628 1 0 0 20 0 1 0 109419839 50278400 10217 33554432000 4194304 5796924 140736718256768 140736718253752 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 12275 10217 165 392 0 11874 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49100

[startup+12.7003 s]
/proc/loadavg: 2.30 2.24 2.15 3/177 12531
/proc/meminfo: memFree=30319144/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=60844 CPUtime=12.69 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 13413 0 0 0 1267 2 0 0 20 0 1 0 109419839 62304256 12360 33554432000 4194304 5796924 140736718256768 140736718254008 4583094 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 15211 12360 166 392 0 14810 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60844

[startup+25.5003 s]
/proc/loadavg: 2.25 2.23 2.15 3/177 12531
/proc/meminfo: memFree=30330400/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=65308 CPUtime=25.48 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 13640 0 0 0 2546 2 0 0 20 0 1 0 109419839 66875392 14624 33554432000 4194304 5796924 140736718256768 140736718253832 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 16327 14624 166 392 0 15926 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65308

[startup+51.1004 s]
/proc/loadavg: 2.23 2.23 2.15 3/176 12531
/proc/meminfo: memFree=30233912/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=110592 CPUtime=51.08 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 15073 0 0 0 5105 3 0 0 20 0 1 0 109419839 113246208 21604 33554432000 4194304 5796924 140736718256768 140736718254008 4592017 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 27648 21604 166 392 0 27247 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110592

[startup+102.3 s]
/proc/loadavg: 2.17 2.21 2.15 3/177 12533
/proc/meminfo: memFree=30284060/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=110592 CPUtime=102.28 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 15967 0 0 0 10224 4 0 0 20 0 1 0 109419839 113246208 22088 33554432000 4194304 5796924 140736718256768 140736718254232 4592040 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 27648 22088 166 392 0 27247 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 110592

[startup+162.3 s]
/proc/loadavg: 2.14 2.19 2.15 3/178 12537
/proc/meminfo: memFree=30202700/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=159912 CPUtime=162.26 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 17755 0 0 0 16218 8 0 0 20 0 1 0 109419839 163749888 33023 33554432000 4194304 5796924 140736718256768 140736718254056 4606733 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 39978 33023 166 392 0 39577 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 159912

[startup+222.308 s]
/proc/loadavg: 2.15 2.19 2.15 4/177 12539
/proc/meminfo: memFree=30235940/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=112036 CPUtime=222.26 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 19153 0 0 0 22215 11 0 0 20 0 1 0 109419839 114724864 24649 33554432000 4194304 5796924 140736718256768 140736718254008 4606480 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 28009 24649 166 392 0 27608 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 112036

[startup+282.3 s]
/proc/loadavg: 2.24 2.21 2.16 3/177 12540
/proc/meminfo: memFree=30097304/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=192176 CPUtime=282.25 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 21279 0 0 0 28210 15 0 0 20 0 1 0 109419839 196788224 40170 33554432000 4194304 5796924 140736718256768 140736718254408 4591761 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 48044 40170 166 392 0 47643 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 192176

[startup+342.3 s]
/proc/loadavg: 2.21 2.21 2.16 4/177 12541
/proc/meminfo: memFree=30088780/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=192176 CPUtime=342.24 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 22905 0 0 0 34206 18 0 0 20 0 1 0 109419839 196788224 44266 33554432000 4194304 5796924 140736718256768 140736718254408 4568985 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 48044 44266 166 392 0 47643 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 192176

[startup+402.3 s]
/proc/loadavg: 2.21 2.21 2.16 3/177 12542
/proc/meminfo: memFree=30114692/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=192176 CPUtime=402.23 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 24533 0 0 0 40202 21 0 0 20 0 1 0 109419839 196788224 45802 33554432000 4194304 5796924 140736718256768 140736718254408 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 48044 45802 166 392 0 47643 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 192176

[startup+462.3 s]
/proc/loadavg: 2.25 2.22 2.17 3/177 12543
/proc/meminfo: memFree=30033688/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=192176 CPUtime=462.22 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 26161 0 0 0 46198 24 0 0 20 0 1 0 109419839 196788224 46314 33554432000 4194304 5796924 140736718256768 140736718254408 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 48044 46314 166 392 0 47643 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 192176

[startup+522.3 s]
/proc/loadavg: 2.27 2.22 2.17 3/177 12545
/proc/meminfo: memFree=30084736/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=192176 CPUtime=522.21 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 27789 0 0 0 52194 27 0 0 20 0 1 0 109419839 196788224 44778 33554432000 4194304 5796924 140736718256768 140736718254408 4606708 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 48044 44778 166 392 0 47643 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 192176

[startup+582.3 s]
/proc/loadavg: 2.10 2.18 2.16 3/177 12546
/proc/meminfo: memFree=30040428/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=193796 CPUtime=582.2 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 29821 0 0 0 58190 30 0 0 20 0 1 0 109419839 198447104 40063 33554432000 4194304 5796924 140736718256768 140736718254408 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 48449 40063 166 392 0 48048 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 193796


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


[startup+942.3 s]
/proc/loadavg: 2.20 2.15 2.14 3/177 12579
/proc/meminfo: memFree=30043504/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=175536 CPUtime=942.13 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 39525 0 0 0 94167 46 0 0 20 0 1 0 109419839 179748864 41874 33554432000 4194304 5796924 140736718256768 140736718254056 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 43884 41874 166 392 0 43483 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 175536

[startup+1002.3 s]
/proc/loadavg: 2.20 2.17 2.15 4/177 12580
/proc/meminfo: memFree=29886312/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=337832 CPUtime=1002.11 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 41471 0 0 0 100163 48 0 0 20 0 1 0 109419839 345939968 63746 33554432000 4194304 5796924 140736718256768 140736718254408 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 84458 63746 166 392 0 84057 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 337832

[startup+1062.3 s]
/proc/loadavg: 2.14 2.15 2.14 3/177 12581
/proc/meminfo: memFree=30077640/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=209364 CPUtime=1062.11 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 42536 0 0 0 106160 51 0 0 20 0 1 0 109419839 214388736 46793 33554432000 4194304 5796924 140736718256768 140736718254408 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 52341 46793 166 392 0 51940 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 209364

[startup+1122.3 s]
/proc/loadavg: 2.10 2.13 2.14 3/177 12583
/proc/meminfo: memFree=29913236/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=340840 CPUtime=1122.1 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 43903 0 0 0 112157 53 0 0 20 0 1 0 109419839 349020160 67574 33554432000 4194304 5796924 140736718256768 140736718254408 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 85210 67574 166 392 0 84809 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 340840

[startup+1182.3 s]
/proc/loadavg: 2.11 2.12 2.13 3/177 12584
/proc/meminfo: memFree=29921040/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=214628 CPUtime=1182.09 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 45538 0 0 0 118153 56 0 0 20 0 1 0 109419839 219779072 49641 33554432000 4194304 5796924 140736718256768 140736718254408 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 53657 49641 166 392 0 53256 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 214628

[startup+1242.3 s]
/proc/loadavg: 2.13 2.13 2.13 3/177 12585
/proc/meminfo: memFree=29981904/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=346104 CPUtime=1242.08 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 46904 0 0 0 124150 58 0 0 20 0 1 0 109419839 354410496 70934 33554432000 4194304 5796924 140736718256768 140736718254408 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 86526 70934 166 392 0 86125 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 346104

[startup+1302.3 s]
/proc/loadavg: 2.09 2.12 2.12 3/177 12586
/proc/meminfo: memFree=29988224/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=216536 CPUtime=1302.08 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 48206 0 0 0 130147 61 0 0 20 0 1 0 109419839 221732864 48582 33554432000 4194304 5796924 140736718256768 140736718254408 4606410 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 54134 48582 166 392 0 53733 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 216536

[startup+1362.3 s]
/proc/loadavg: 2.32 2.18 2.14 3/178 12590
/proc/meminfo: memFree=29833260/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=348012 CPUtime=1362.07 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 49573 0 0 0 136144 63 0 0 20 0 1 0 109419839 356364288 69363 33554432000 4194304 5796924 140736718256768 140736718254408 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 87003 69363 166 392 0 86602 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 348012

[startup+1422.3 s]
/proc/loadavg: 2.29 2.19 2.15 4/177 12592
/proc/meminfo: memFree=29889972/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=185716 CPUtime=1422.06 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 49997 0 0 0 142139 67 0 0 20 0 1 0 109419839 190173184 40835 33554432000 4194304 5796924 140736718256768 140736718254232 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 46429 40835 166 392 0 46028 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 185716

[startup+1482.3 s]
/proc/loadavg: 2.22 2.18 2.15 4/177 12593
/proc/meminfo: memFree=29960828/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=266624 CPUtime=1482.05 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 51437 0 0 0 148135 70 0 0 20 0 1 0 109419839 273022976 65267 33554432000 4194304 5796924 140736718256768 140736718254408 4606491 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 66656 65267 166 392 0 66255 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 266624

[startup+1542.31 s]
/proc/loadavg: 2.28 2.21 2.16 3/177 12594
/proc/meminfo: memFree=29813252/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=348012 CPUtime=1542.04 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 51986 0 0 0 154133 71 0 0 20 0 1 0 109419839 356364288 83187 33554432000 4194304 5796924 140736718256768 140736718254408 4606495 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 87003 83187 166 392 0 86602 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 348012

[startup+1602.3 s]
/proc/loadavg: 2.24 2.20 2.16 3/177 12595
/proc/meminfo: memFree=29856124/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=266624 CPUtime=1602.02 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 54108 0 0 0 160126 76 0 0 20 0 1 0 109419839 273022976 57587 33554432000 4194304 5796924 140736718256768 140736718254408 4592040 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 66656 57587 166 392 0 66255 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 266624

[startup+1662.3 s]
/proc/loadavg: 2.20 2.19 2.15 3/177 12596
/proc/meminfo: memFree=29978480/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=348012 CPUtime=1662.02 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 54660 0 0 0 166124 78 0 0 20 0 1 0 109419839 356364288 77555 33554432000 4194304 5796924 140736718256768 140736718254408 4583292 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 87003 77555 166 392 0 86602 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 348012

[startup+1722.3 s]
/proc/loadavg: 2.18 2.19 2.15 3/177 12598
/proc/meminfo: memFree=30031584/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=185716 CPUtime=1722.01 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 55380 0 0 0 172119 82 0 0 20 0 1 0 109419839 190173184 42371 33554432000 4194304 5796924 140736718256768 140736718254232 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 46429 42371 166 392 0 46028 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 185716

[startup+1782.3 s]
/proc/loadavg: 2.12 2.17 2.15 3/177 12645
/proc/meminfo: memFree=30155796/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=266624 CPUtime=1782 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 56900 0 0 0 178115 85 0 0 20 0 1 0 109419839 273022976 65346 33554432000 4194304 5796924 140736718256768 140736718254408 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 66656 65346 166 392 0 66255 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 266624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.09 2.16 2.14 3/177 12645
/proc/meminfo: memFree=30122480/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=348012 CPUtime=1800 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 57345 0 0 0 179914 86 0 0 20 0 1 0 109419839 356364288 71411 33554432000 4194304 5796924 140736718256768 140736718254408 4606593 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 87003 71411 166 392 0 86602 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 348012

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

[startup+1800.3 s]
/proc/loadavg: 2.09 2.16 2.14 3/177 12645
/proc/meminfo: memFree=30122480/32872528 swapFree=14956/1314940
[pid=12530] ppid=12527 vsize=348012 CPUtime=1800 cores=1,3,5,7
/proc/12530/stat : 12530 (naps-1.02) R 12527 12530 10329 0 -1 4202496 57345 0 0 0 179914 86 0 0 20 0 1 0 109419839 356364288 71411 33554432000 4194304 5796924 140736718256768 140736718254408 4606593 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/12530/statm: 87003 71411 166 392 0 86602 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 348012

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.15
CPU system time (s): 0.866868
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 529592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.866868
maximum resident set size= 407020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54631 second user time and 6.96394 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-07 06:47:49
IDJOB=4082168
IDBENCH=90144
IDSOLVER=2544
FILE ID=node131/4082168-1465274869
RUNJOBID= node131-1465254880-10346
PBS_JOBID= 19843271
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 0350ceeb14af28f3be070cadc324c0d3
RANDOM SEED=804563333

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.395
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:        30418120 kB
Buffers:           99344 kB
Cached:           228084 kB
SwapCached:         5096 kB
Active:           159748 kB
Inactive:         237804 kB
Active(anon):      67936 kB
Inactive(anon):     4668 kB
Active(file):      91812 kB
Inactive(file):   233136 kB
Unevictable:     1314940 kB
Mlocked:           14956 kB
SwapTotal:      67108856 kB
SwapFree:       67096212 kB
Dirty:              5452 kB
Writeback:             0 kB
AnonPages:       1508296 kB
Mapped:             8728 kB
Shmem:                 0 kB
Slab:             608580 kB
SReclaimable:      52640 kB
SUnreclaim:       555940 kB
KernelStack:        1472 kB
PageTables:         6928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1510920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1445888 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 node131 at 2016-06-07 07:17:49