Trace number 4082867

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
NaPS 1.02? (TO) 1800.04 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
MD5SUM292e71503f1e4f136e087e61da3c7ed4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark122
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 118
Optimality of the best value was proved NO
Number of variables2470
Total number of constraints4744
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4744
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1357
Number of bits of the biggest sum of numbers11
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.02/1800.40	c 
1800.02/1800.40	c *** TERMINATED *** by signal 15
1800.02/1800.40	s UNKNOWN
1800.02/1800.40	c _____________________________________________________________________________
1800.02/1800.40	c 
1800.02/1800.40	c std/band forms        : 12,2366
1800.02/1800.40	c 2cl/3cl ITE-codings   : 4470976,394576
1800.02/1800.40	c BDD/srt/adr Max costs : 1760,0,0
1800.02/1800.40	c BDDraw/bin/mul/srt/adr: 0,0,2378,0,0
1800.02/1800.40	c BDD nodes             : 5858538
1800.02/1800.40	c Es1/CC detections     : 0,0
1800.02/1800.40	c SAT/UNSAT calls       : 0,0
1800.02/1800.40	c restarts              : 0
1800.02/1800.40	c conflicts             : 0              (0 /sec)
1800.02/1800.40	c decisions             : 0              (0 /sec)
1800.02/1800.40	c propagations          : 0              (0 /sec)
1800.02/1800.40	c inspects              : 0              (0 /sec)
1800.02/1800.40	c CPU time (solving tm) : 1799 s        (0 s)
1800.02/1800.40	c Time for Opt-base     : 14.18 s
1800.02/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-4082867-1465244296/watcher-4082867-1465244296 -o /tmp/evaluation-result-4082867-1465244296/solver-4082867-1465244296 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465217932-31036 --watchdog 1960 naps-1.02 HOME/instance-4082867-1465244296.opb 

pid=4264
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.06 2.07 2.06 2/176 4267
/proc/meminfo: memFree=30577232/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=6564 CPUtime=0 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 106364299 6721536 204 33554432000 4194304 5796924 140733807244000 140735534395048 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 1641 204 124 392 0 1240 0

[startup+0.100139 s]
/proc/loadavg: 2.06 2.07 2.06 2/176 4267
/proc/meminfo: memFree=30577232/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=10128 CPUtime=0.09 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 1229 0 0 0 9 0 0 0 20 0 1 0 106364299 10371072 1103 33554432000 4194304 5796924 140733807244000 140735534395048 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 2532 1103 124 392 0 2131 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10128

[startup+0.200303 s]
/proc/loadavg: 2.06 2.07 2.06 2/176 4267
/proc/meminfo: memFree=30577232/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=14044 CPUtime=0.19 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 2184 0 0 0 19 0 0 0 20 0 1 0 106364299 14381056 2058 33554432000 4194304 5796924 140733807244000 140735534395048 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 3511 2059 124 392 0 3110 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14044

[startup+0.300271 s]
/proc/loadavg: 2.06 2.07 2.06 2/176 4267
/proc/meminfo: memFree=30577232/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=17836 CPUtime=0.29 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 3135 0 0 0 29 0 0 0 20 0 1 0 106364299 18264064 3009 33554432000 4194304 5796924 140733807244000 140735534395048 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 4459 3010 124 392 0 4058 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17836

[startup+0.700252 s]
/proc/loadavg: 2.06 2.07 2.06 2/176 4267
/proc/meminfo: memFree=30577232/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=31972 CPUtime=0.69 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 6850 0 0 0 68 1 0 0 20 0 1 0 106364299 32739328 6569 33554432000 4194304 5796924 140733807244000 140735534395048 5087488 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 7993 6569 139 392 0 7592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31972

[startup+1.50018 s]
/proc/loadavg: 2.06 2.07 2.06 4/177 4268
/proc/meminfo: memFree=30547112/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=34444 CPUtime=1.49 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 7557 0 0 0 148 1 0 0 20 0 1 0 106364299 35270656 7193 33554432000 4194304 5796924 140733807244000 140733807240216 4805600 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 8611 7193 139 392 0 8210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34444

[startup+3.10026 s]
/proc/loadavg: 2.06 2.07 2.06 4/177 4268
/proc/meminfo: memFree=30542584/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=39408 CPUtime=3.09 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 8706 0 0 0 308 1 0 0 20 0 1 0 106364299 40353792 8358 33554432000 4194304 5796924 140733807244000 140733807240216 5087571 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 9852 8358 139 392 0 9451 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39408

[startup+6.30023 s]
/proc/loadavg: 2.14 2.09 2.07 3/177 4268
/proc/meminfo: memFree=30526848/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=47500 CPUtime=6.29 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 10799 0 0 0 627 2 0 0 20 0 1 0 106364299 48640000 10303 33554432000 4194304 5796924 140733807244000 140733807240216 5092509 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 11875 10303 139 392 0 11474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47500

[startup+12.7002 s]
/proc/loadavg: 2.13 2.08 2.07 3/177 4268
/proc/meminfo: memFree=30500896/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=64192 CPUtime=12.69 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 13420 0 0 0 1266 3 0 0 20 0 1 0 106364299 65732608 14161 33554432000 4194304 5796924 140733807244000 140733807240216 4810989 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 16048 14161 139 392 0 15647 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64192

[startup+25.5002 s]
/proc/loadavg: 2.10 2.08 2.07 3/177 4268
/proc/meminfo: memFree=30448664/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=98612 CPUtime=25.48 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 18657 0 0 0 2544 4 0 0 20 0 1 0 106364299 100978688 22383 33554432000 4194304 5796924 140733807244000 140733807240216 4806853 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 24653 22383 139 392 0 24252 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98612

[startup+51.1003 s]
/proc/loadavg: 2.06 2.07 2.06 3/177 4268
/proc/meminfo: memFree=30346488/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=156032 CPUtime=51.09 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 26849 0 0 0 5101 8 0 0 20 0 1 0 106364299 159776768 37566 33554432000 4194304 5796924 140733807244000 140733807240216 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 39008 37566 139 392 0 38607 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 156032

[startup+102.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/177 4269
/proc/meminfo: memFree=28506656/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2311672 CPUtime=102.28 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 137347 0 0 0 10164 64 0 0 20 0 1 0 106364299 2367152128 517460 33554432000 4194304 5796924 140733807244000 140733807241112 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 577918 517460 159 392 0 577517 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2311672

[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/178 4273
/proc/meminfo: memFree=28398696/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2319196 CPUtime=162.27 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 139218 0 0 0 16162 65 0 0 20 0 1 0 106364299 2374856704 519331 33554432000 4194304 5796924 140733807244000 140733807241112 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 579799 519331 167 392 0 579398 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2319196

[startup+222.307 s]
/proc/loadavg: 2.12 2.08 2.06 3/177 4275
/proc/meminfo: memFree=28485884/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2320648 CPUtime=222.26 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 139579 0 0 0 22161 65 0 0 20 0 1 0 106364299 2376343552 519692 33554432000 4194304 5796924 140733807244000 140733807241112 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 580162 519692 168 392 0 579761 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2320648

[startup+282.3 s]
/proc/loadavg: 2.18 2.10 2.07 3/177 4276
/proc/meminfo: memFree=28380736/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2321836 CPUtime=282.25 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 139889 0 0 0 28160 65 0 0 20 0 1 0 106364299 2377560064 520002 33554432000 4194304 5796924 140733807244000 140733807241112 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 580459 520002 168 392 0 580058 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2321836

[startup+342.3 s]
/proc/loadavg: 2.20 2.11 2.08 3/177 4277
/proc/meminfo: memFree=28471048/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2322628 CPUtime=342.23 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 140114 0 0 0 34158 65 0 0 20 0 1 0 106364299 2378371072 520230 33554432000 4194304 5796924 140733807244000 140733807240984 4583342 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 580657 520230 168 392 0 580256 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2322628

[startup+402.3 s]
/proc/loadavg: 2.17 2.12 2.08 3/177 4278
/proc/meminfo: memFree=28398284/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2323320 CPUtime=402.22 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 140271 0 0 0 40157 65 0 0 20 0 1 0 106364299 2379079680 520415 33554432000 4194304 5796924 140733807244000 140733807241112 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 580830 520415 168 392 0 580429 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2323320

[startup+462.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/177 4279
/proc/meminfo: memFree=28500424/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2323584 CPUtime=462.21 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 140359 0 0 0 46155 66 0 0 20 0 1 0 106364299 2379350016 520486 33554432000 4194304 5796924 140733807244000 140733807241112 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 580896 520486 168 392 0 580495 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2323584

[startup+522.3 s]
/proc/loadavg: 2.26 2.15 2.10 3/177 4281
/proc/meminfo: memFree=28408672/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2324772 CPUtime=522.2 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 140666 0 0 0 52154 66 0 0 20 0 1 0 106364299 2380566528 520781 33554432000 4194304 5796924 140733807244000 140733807241112 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 581193 520781 168 392 0 580792 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2324772

[startup+582.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/177 4282
/proc/meminfo: memFree=28343440/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2325300 CPUtime=582.18 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 140813 0 0 0 58152 66 0 0 20 0 1 0 106364299 2381107200 520914 33554432000 4194304 5796924 140733807244000 140733807241112 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 581325 520914 168 392 0 580924 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 2325300


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


[startup+882.307 s]
/proc/loadavg: 2.18 2.17 2.11 3/177 4291
/proc/meminfo: memFree=28457956/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2327016 CPUtime=882.12 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141307 0 0 0 88146 66 0 0 20 0 1 0 106364299 2382864384 525144 33554432000 4194304 5796924 140733807244000 140733807240984 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 581754 525144 168 392 0 581353 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 2327016

[startup+942.3 s]
/proc/loadavg: 2.17 2.17 2.11 3/177 4292
/proc/meminfo: memFree=28370296/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2327544 CPUtime=942.1 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141432 0 0 0 94144 66 0 0 20 0 1 0 106364299 2383405056 526933 33554432000 4194304 5796924 140733807244000 140733807241112 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 581886 526933 168 392 0 581485 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 2327544

[startup+1002.3 s]
/proc/loadavg: 2.37 2.22 2.12 4/177 4338
/proc/meminfo: memFree=28734080/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2327936 CPUtime=1002.06 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141562 0 0 0 100140 66 0 0 20 0 1 0 106364299 2383806464 527953 33554432000 4194304 5796924 140733807244000 140733807241272 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 581984 527953 168 392 0 581583 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 2327936

[startup+1062.3 s]
/proc/loadavg: 2.25 2.20 2.12 3/177 4339
/proc/meminfo: memFree=28725600/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2328068 CPUtime=1062.05 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141595 0 0 0 106139 66 0 0 20 0 1 0 106364299 2383941632 527986 33554432000 4194304 5796924 140733807244000 140733807241112 4583342 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582017 527986 168 392 0 581616 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 2328068

[startup+1122.3 s]
/proc/loadavg: 2.14 2.18 2.12 3/177 4341
/proc/meminfo: memFree=28696404/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2328200 CPUtime=1122.04 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141638 0 0 0 112138 66 0 0 20 0 1 0 106364299 2384076800 528540 33554432000 4194304 5796924 140733807244000 140733807241112 4583342 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582050 528540 168 392 0 581649 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 2328200

[startup+1182.3 s]
/proc/loadavg: 2.24 2.19 2.12 3/177 4342
/proc/meminfo: memFree=28685804/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2328332 CPUtime=1182.03 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141664 0 0 0 118137 66 0 0 20 0 1 0 106364299 2384211968 528566 33554432000 4194304 5796924 140733807244000 140733807241112 4583226 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582083 528566 168 392 0 581682 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 2328332

[startup+1242.3 s]
/proc/loadavg: 2.26 2.20 2.12 3/177 4343
/proc/meminfo: memFree=28681420/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2328464 CPUtime=1242.02 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141682 0 0 0 124136 66 0 0 20 0 1 0 106364299 2384347136 528584 33554432000 4194304 5796924 140733807244000 140733807241112 4606392 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582116 528584 168 392 0 581715 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 2328464

[startup+1302.3 s]
/proc/loadavg: 2.14 2.18 2.12 3/177 4344
/proc/meminfo: memFree=28680304/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2328596 CPUtime=1302.02 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141725 0 0 0 130136 66 0 0 20 0 1 0 106364299 2384482304 528627 33554432000 4194304 5796924 140733807244000 140733807241112 4583132 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582149 528627 168 392 0 581748 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 2328596

[startup+1362.3 s]
/proc/loadavg: 2.24 2.19 2.12 3/178 4348
/proc/meminfo: memFree=28680152/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2328816 CPUtime=1362.01 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141769 0 0 0 136135 66 0 0 20 0 1 0 106364299 2384707584 528671 33554432000 4194304 5796924 140733807244000 140733807241272 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582204 528671 168 392 0 581803 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 2328816

[startup+1422.3 s]
/proc/loadavg: 2.14 2.17 2.12 3/176 4349
/proc/meminfo: memFree=28680160/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2328816 CPUtime=1422 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141790 0 0 0 142134 66 0 0 20 0 1 0 106364299 2384707584 528692 33554432000 4194304 5796924 140733807244000 140733807241272 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582204 528692 168 392 0 581803 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 2328816

[startup+1482.3 s]
/proc/loadavg: 2.15 2.16 2.12 3/177 4351
/proc/meminfo: memFree=28679232/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2328948 CPUtime=1481.98 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141830 0 0 0 148132 66 0 0 20 0 1 0 106364299 2384842752 528719 33554432000 4194304 5796924 140733807244000 140733807241112 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582237 528719 168 392 0 581836 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 2328948

[startup+1542.31 s]
/proc/loadavg: 2.29 2.19 2.12 3/177 4352
/proc/meminfo: memFree=28678496/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2328948 CPUtime=1541.98 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141844 0 0 0 154132 66 0 0 20 0 1 0 106364299 2384842752 528928 33554432000 4194304 5796924 140733807244000 140733807241112 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582237 528928 168 392 0 581836 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 2328948

[startup+1602.3 s]
/proc/loadavg: 2.16 2.17 2.12 3/177 4353
/proc/meminfo: memFree=28677364/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2329080 CPUtime=1601.96 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141877 0 0 0 160130 66 0 0 20 0 1 0 106364299 2384977920 528949 33554432000 4194304 5796924 140733807244000 140733807240984 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582270 528949 169 392 0 581869 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 2329080

[startup+1662.3 s]
/proc/loadavg: 2.21 2.18 2.12 3/177 4354
/proc/meminfo: memFree=28677772/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2329468 CPUtime=1661.95 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141943 0 0 0 166129 66 0 0 20 0 1 0 106364299 2385375232 529015 33554432000 4194304 5796924 140733807244000 140733807241272 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582367 529015 169 392 0 581966 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 2329468

[startup+1722.3 s]
/proc/loadavg: 2.26 2.19 2.13 3/177 4355
/proc/meminfo: memFree=28676548/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2329468 CPUtime=1721.94 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141946 0 0 0 172128 66 0 0 20 0 1 0 106364299 2385375232 529144 33554432000 4194304 5796924 140733807244000 140733807241272 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582367 529144 169 392 0 581966 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 2329468

[startup+1782.3 s]
/proc/loadavg: 2.23 2.20 2.13 3/177 4357
/proc/meminfo: memFree=28634848/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2329468 CPUtime=1781.93 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141946 0 0 0 178127 66 0 0 20 0 1 0 106364299 2385375232 529144 33554432000 4194304 5796924 140733807244000 140733807241272 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582367 529144 169 392 0 581966 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 2329468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.25 2.21 2.13 3/177 4357
/proc/meminfo: memFree=28676428/32872528 swapFree=13072/1184284
[pid=4267] ppid=4264 vsize=2329468 CPUtime=1800.02 cores=1,3,5,7
/proc/4267/stat : 4267 (naps-1.02) R 4264 4267 31019 0 -1 4202496 141946 0 0 0 179936 66 0 0 20 0 1 0 106364299 2385375232 529144 33554432000 4194304 5796924 140733807244000 140733807241272 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/4267/statm: 582367 529144 169 392 0 581966 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2329468

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 4267 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.04
CPU user time (s): 1799.37
CPU system time (s): 0.675897
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 2810544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.675897
maximum resident set size= 2359904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141958
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= 189
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55631 second user time and 6.91695 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-06 22:18:16
IDJOB=4082867
IDBENCH=2640
IDSOLVER=2544
FILE ID=node115/4082867-1465244296
RUNJOBID= node115-1465217932-31036
PBS_JOBID= 19843209
Free space on /tmp= 71736 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4082867-1465244296/watcher-4082867-1465244296 -o /tmp/evaluation-result-4082867-1465244296/solver-4082867-1465244296 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465217932-31036 --watchdog 1960  naps-1.02 HOME/instance-4082867-1465244296.opb

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

MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4
RANDOM SEED=1874310724

node115.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.174
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.34
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.174
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.174
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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.57
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.174
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.174
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.57
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.174
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.57
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.174
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:        30577612 kB
Buffers:           19028 kB
Cached:            78500 kB
SwapCached:         1644 kB
Active:           354680 kB
Inactive:          52628 kB
Active(anon):     310716 kB
Inactive(anon):     1264 kB
Active(file):      43964 kB
Inactive(file):    51364 kB
Unevictable:     1184284 kB
Mlocked:           13072 kB
SwapTotal:      67108856 kB
SwapFree:       67098376 kB
Dirty:              5072 kB
Writeback:             0 kB
AnonPages:       1495600 kB
Mapped:             7740 kB
Shmem:                 0 kB
Slab:             566424 kB
SReclaimable:      10420 kB
SUnreclaim:       556004 kB
KernelStack:        1424 kB
PageTables:         6956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1691324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1282048 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= 71732 MiB
End job on node115 at 2016-06-06 22:48:17