Trace number 4082158

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.08 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K160.opb
MD5SUM4be3ef5c0a6baf670611a9fd5e5deae8
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 variables19040
Total number of constraints19362
Number of constraints which are clauses19202
Number of constraints which are cardinality constraints (but not clauses)160
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint160
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 161
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.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED *** by signal 15
1800.07/1800.40	s UNKNOWN
1800.07/1800.40	c _____________________________________________________________________________
1800.07/1800.40	c 
1800.07/1800.40	c std/band forms        : 158,0
1800.07/1800.40	c 2cl/3cl ITE-codings   : 17982,0
1800.07/1800.40	c BDD/srt/adr Max costs : 235,0,0
1800.07/1800.40	c BDDraw/bin/mul/srt/adr: 158,0,0,0,0
1800.07/1800.40	c BDD nodes             : 36280
1800.07/1800.40	c Es1/CC detections     : 0,0
1800.07/1800.40	c SAT/UNSAT calls       : 0,0
1800.07/1800.40	c restarts              : 0
1800.07/1800.40	c conflicts             : 0              (0 /sec)
1800.07/1800.40	c decisions             : 0              (0 /sec)
1800.07/1800.40	c propagations          : 0              (0 /sec)
1800.07/1800.40	c inspects              : 0              (0 /sec)
1800.07/1800.40	c CPU time (solving tm) : 1799 s        (0 s)
1800.07/1800.40	c Time for Opt-base     : 0 s
1800.07/1800.40	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4082158-1465276608/watcher-4082158-1465276608 -o /tmp/evaluation-result-4082158-1465276608/solver-4082158-1465276608 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465244211-28759 --watchdog 1960 naps-1.02 HOME/instance-4082158-1465276608.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 3182
/proc/meminfo: memFree=30977856/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=6820 CPUtime=0 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 109593405 6983680 250 33554432000 4194304 5796924 140733804642976 140734566142808 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 1705 250 127 392 0 1304 0

[startup+0.100166 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 3182
/proc/meminfo: memFree=30977856/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=12188 CPUtime=0.09 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 1620 0 0 0 9 0 0 0 20 0 1 0 109593405 12480512 1453 33554432000 4194304 5796924 140733804642976 140734566142808 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 3047 1453 127 392 0 2646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12188

[startup+0.200308 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 3182
/proc/meminfo: memFree=30977856/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=12360 CPUtime=0.19 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 1742 0 0 0 19 0 0 0 20 0 1 0 109593405 12656640 1565 33554432000 4194304 5796924 140733804642976 140734566142808 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 3090 1565 127 392 0 2689 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12360

[startup+0.300262 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 3182
/proc/meminfo: memFree=30977856/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=12988 CPUtime=0.29 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 1947 0 0 0 29 0 0 0 20 0 1 0 109593405 13299712 1750 33554432000 4194304 5796924 140733804642976 140734566142808 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 3247 1750 127 392 0 2846 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12988

[startup+0.700238 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 3182
/proc/meminfo: memFree=30977856/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=18328 CPUtime=0.68 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 3507 0 0 0 68 0 0 0 20 0 1 0 109593405 18767872 3136 33554432000 4194304 5796924 140733804642976 140733804641288 4425326 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 4582 3136 140 392 0 4181 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18328

[startup+1.50027 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3183
/proc/meminfo: memFree=30949544/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=35196 CPUtime=1.49 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 7613 0 0 0 148 1 0 0 20 0 1 0 109593405 36040704 7220 33554432000 4194304 5796924 140733804642976 140733804641288 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 8799 7220 165 392 0 8398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35196

[startup+3.10029 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3183
/proc/meminfo: memFree=30945520/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=39132 CPUtime=3.09 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 8482 0 0 0 308 1 0 0 20 0 1 0 109593405 40071168 8086 33554432000 4194304 5796924 140733804642976 140733804640616 4569704 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 9783 8086 165 392 0 9382 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39132

[startup+6.30028 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3183
/proc/meminfo: memFree=30937864/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=46908 CPUtime=6.29 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 10227 0 0 0 627 2 0 0 20 0 1 0 109593405 48033792 9570 33554432000 4194304 5796924 140733804642976 140733804640216 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 11727 9570 166 392 0 11326 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46908

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3183
/proc/meminfo: memFree=30921612/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=46908 CPUtime=12.69 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 10957 0 0 0 1267 2 0 0 20 0 1 0 109593405 48033792 10531 33554432000 4194304 5796924 140733804642976 140733804640440 4606328 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 11727 10531 166 392 0 11326 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46908

[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3183
/proc/meminfo: memFree=31002456/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=104140 CPUtime=25.49 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 12167 0 0 0 2546 3 0 0 20 0 1 0 109593405 106639360 21959 33554432000 4194304 5796924 140733804642976 140733804640216 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 26035 21959 166 392 0 25634 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 104140

[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3183
/proc/meminfo: memFree=30946000/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=104136 CPUtime=51.08 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 12258 0 0 0 5105 3 0 0 20 0 1 0 109593405 106635264 20565 33554432000 4194304 5796924 140733804642976 140733804640216 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 26034 20565 166 392 0 25633 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 104136

[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3184
/proc/meminfo: memFree=30844404/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=153456 CPUtime=102.28 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 13366 0 0 0 10222 6 0 0 20 0 1 0 109593405 157138944 28496 33554432000 4194304 5796924 140733804642976 140733804640440 4592027 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 38364 28496 166 392 0 37963 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 153456

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3185
/proc/meminfo: memFree=30862540/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=184276 CPUtime=162.26 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 15480 0 0 0 16217 9 0 0 20 0 1 0 109593405 188698624 32978 33554432000 4194304 5796924 140733804642976 140733804640264 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 46069 32978 166 392 0 45668 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 184276

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 3189
/proc/meminfo: memFree=30916352/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=154016 CPUtime=222.26 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 17319 0 0 0 22213 13 0 0 20 0 1 0 109593405 157712384 34614 33554432000 4194304 5796924 140733804642976 140733804640264 4595132 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 38504 34614 166 392 0 38103 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 154016

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3190
/proc/meminfo: memFree=30790368/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=184836 CPUtime=282.24 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 19091 0 0 0 28208 16 0 0 20 0 1 0 109593405 189272064 43385 33554432000 4194304 5796924 140733804642976 140733804640616 4606771 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 46209 43385 166 392 0 45808 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 184836

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3192
/proc/meminfo: memFree=30829440/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=234924 CPUtime=342.23 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 20579 0 0 0 34204 19 0 0 20 0 1 0 109593405 240562176 49318 33554432000 4194304 5796924 140733804642976 140733804640616 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 58731 49318 166 392 0 58330 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 234924

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3193
/proc/meminfo: memFree=30729692/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=234924 CPUtime=402.22 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 21766 0 0 0 40199 23 0 0 20 0 1 0 109593405 240562176 53414 33554432000 4194304 5796924 140733804642976 140733804640616 4596098 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 58731 53414 166 392 0 58330 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 234924

[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 3194
/proc/meminfo: memFree=30797436/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=234924 CPUtime=462.21 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 22954 0 0 0 46195 26 0 0 20 0 1 0 109593405 240562176 54438 33554432000 4194304 5796924 140733804642976 140733804640616 4592071 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 58731 54438 166 392 0 58330 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 234924

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3195
/proc/meminfo: memFree=30720864/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=234924 CPUtime=522.21 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 24143 0 0 0 52191 30 0 0 20 0 1 0 109593405 240562176 52902 33554432000 4194304 5796924 140733804642976 140733804640616 4607255 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 58731 52902 166 392 0 58330 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 234924

[startup+582.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 3196
/proc/meminfo: memFree=30812712/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=255344 CPUtime=582.2 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 25718 0 0 0 58187 33 0 0 20 0 1 0 109593405 261472256 49856 33554432000 4194304 5796924 140733804642976 140733804640616 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 63836 49856 166 392 0 63435 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 255344


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


[startup+882.307 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 3205
/proc/meminfo: memFree=30836748/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=125116 CPUtime=882.16 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 31432 0 0 0 88170 46 0 0 20 0 1 0 109593405 128118784 28245 33554432000 4194304 5796924 140733804642976 140733804640440 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 31279 28245 166 392 0 30878 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 125116

[startup+942.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 3207
/proc/meminfo: memFree=30633816/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=255344 CPUtime=942.14 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 32635 0 0 0 94166 48 0 0 20 0 1 0 109593405 261472256 60608 33554432000 4194304 5796924 140733804642976 140733804640616 4591877 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 63836 60608 166 392 0 63435 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 255344

[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 3208
/proc/meminfo: memFree=30809836/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=205256 CPUtime=1002.13 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 34035 0 0 0 100163 50 0 0 20 0 1 0 109593405 210182144 44947 33554432000 4194304 5796924 140733804642976 140733804640616 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 51314 44947 166 392 0 50913 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 205256

[startup+1062.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 3209
/proc/meminfo: memFree=30631728/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=336732 CPUtime=1062.12 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 34893 0 0 0 106160 52 0 0 20 0 1 0 109593405 344813568 68288 33554432000 4194304 5796924 140733804642976 140733804640616 4593800 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 84183 68288 166 392 0 83782 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 336732

[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 3302
/proc/meminfo: memFree=30972736/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=205256 CPUtime=1122.11 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 35786 0 0 0 112156 55 0 0 20 0 1 0 109593405 210182144 48531 33554432000 4194304 5796924 140733804642976 140733804640616 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 51314 48531 166 392 0 50913 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 205256

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 3303
/proc/meminfo: memFree=30868152/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=336732 CPUtime=1182.09 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 36663 0 0 0 118152 57 0 0 20 0 1 0 109593405 344813568 70848 33554432000 4194304 5796924 140733804642976 140733804640616 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 84183 70848 166 392 0 83782 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 336732

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 3305
/proc/meminfo: memFree=30928980/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=255344 CPUtime=1242.07 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 38221 0 0 0 124147 60 0 0 20 0 1 0 109593405 261472256 50711 33554432000 4194304 5796924 140733804642976 140733804640616 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 63836 50711 166 392 0 63435 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 255344

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3306
/proc/meminfo: memFree=30819436/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=336732 CPUtime=1302.06 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 38775 0 0 0 130145 61 0 0 20 0 1 0 109593405 344813568 72727 33554432000 4194304 5796924 140733804642976 140733804640616 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 84183 72727 166 392 0 83782 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 336732

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3307
/proc/meminfo: memFree=30921404/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=208740 CPUtime=1362.05 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 40623 0 0 0 136139 66 0 0 20 0 1 0 109593405 213749760 48849 33554432000 4194304 5796924 140733804642976 140733804640616 4606534 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 52185 48849 166 392 0 51784 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 208740

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 3311
/proc/meminfo: memFree=30805744/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=340216 CPUtime=1422.04 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 41479 0 0 0 142136 68 0 0 20 0 1 0 109593405 348381184 71678 33554432000 4194304 5796924 140733804642976 140733804640616 4606526 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 85054 71678 166 392 0 84653 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 340216

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3312
/proc/meminfo: memFree=30992440/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=179856 CPUtime=1482.03 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 42730 0 0 0 148130 73 0 0 20 0 1 0 109593405 184172544 42098 33554432000 4194304 5796924 140733804642976 140733804640264 4607194 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 44964 42098 166 392 0 44563 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 179856

[startup+1542.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3314
/proc/meminfo: memFree=30849032/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=342152 CPUtime=1542.03 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 44169 0 0 0 154128 75 0 0 20 0 1 0 109593405 350363648 66530 33554432000 4194304 5796924 140733804642976 140733804640616 4606704 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 85538 66530 166 392 0 85137 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 342152

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3315
/proc/meminfo: memFree=30768724/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=474412 CPUtime=1602.01 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 44671 0 0 0 160124 77 0 0 20 0 1 0 109593405 485797888 85939 33554432000 4194304 5796924 140733804642976 140733804640616 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 118603 85939 166 392 0 118202 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 474412

[startup+1662.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/177 3316
/proc/meminfo: memFree=30842992/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=263568 CPUtime=1662 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 46099 0 0 0 166119 81 0 0 20 0 1 0 109593405 269893632 59583 33554432000 4194304 5796924 140733804642976 140733804640616 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 65892 59583 166 392 0 65491 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 263568

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 3317
/proc/meminfo: memFree=30766040/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=344956 CPUtime=1721.98 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 46671 0 0 0 172116 82 0 0 20 0 1 0 109593405 353234944 80575 33554432000 4194304 5796924 140733804642976 140733804640616 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 86239 80575 166 392 0 85838 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 344956

[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 3318
/proc/meminfo: memFree=30933860/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=213480 CPUtime=1781.97 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 48069 0 0 0 178110 87 0 0 20 0 1 0 109593405 218603520 48018 33554432000 4194304 5796924 140733804642976 140733804640616 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 53370 48018 166 392 0 52969 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 213480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.04 2.00 4/177 3318
/proc/meminfo: memFree=30854884/32872528 swapFree=12328/568296
[pid=3182] ppid=3179 vsize=263568 CPUtime=1800.07 cores=0,2,4,6
/proc/3182/stat : 3182 (naps-1.02) R 3179 3182 28743 0 -1 4202496 48385 0 0 0 179919 88 0 0 20 0 1 0 109593405 269893632 55999 33554432000 4194304 5796924 140733804642976 140733804640616 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3182/statm: 65892 55999 166 392 0 65491 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 263568

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.19
CPU system time (s): 0.890864
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 526536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.890864
maximum resident set size= 409132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48397
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= 82
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.24935 second user time and 7.2189 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 07:16:48
IDJOB=4082158
IDBENCH=90187
IDSOLVER=2544
FILE ID=node138/4082158-1465276608
RUNJOBID= node138-1465244211-28759
PBS_JOBID= 19843251
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= 4be3ef5c0a6baf670611a9fd5e5deae8
RANDOM SEED=556240960

node138.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.807
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.61
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.807
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.56
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.807
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.807
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.807
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.807
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.807
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.807
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:        30978912 kB
Buffers:           96452 kB
Cached:           202952 kB
SwapCached:        46740 kB
Active:           337728 kB
Inactive:         249756 kB
Active(anon):     242892 kB
Inactive(anon):    47688 kB
Active(file):      94836 kB
Inactive(file):   202068 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:              5076 kB
Writeback:             4 kB
AnonPages:        812904 kB
Mapped:             8844 kB
Shmem:                 0 kB
Slab:             602076 kB
SReclaimable:      45552 kB
SUnreclaim:       556524 kB
KernelStack:        1456 kB
PageTables:         5400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1024984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    720896 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= 71740 MiB
End job on node138 at 2016-06-07 07:46:49