Trace number 4082410

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

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z7-s2.opb
MD5SUM826cee40b1a37b4e41d6d3a639f8df55
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-6346
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2023
Total number of constraints31798
Number of constraints which are clauses31790
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint2023
Number of terms in the objective function 1997
Biggest coefficient in the objective function 333
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 170608
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 735392
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 5003866
Number of bits of the biggest sum of numbers23
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.04/1800.50	c 
1800.04/1800.50	c *** TERMINATED *** by signal 15
1800.04/1800.50	s UNKNOWN
1800.04/1800.50	c _____________________________________________________________________________
1800.04/1800.50	c 
1800.04/1800.50	c std/band forms        : 16,0
1800.04/1800.50	c 2cl/3cl ITE-codings   : 0,0
1800.04/1800.50	c BDD/srt/adr Max costs : 0,0,21272
1800.04/1800.50	c BDDraw/bin/mul/srt/adr: 0,0,8,0,8
1800.04/1800.50	c BDD nodes             : 17525713
1800.04/1800.50	c Es1/CC detections     : 0,0
1800.04/1800.50	c SAT/UNSAT calls       : 0,0
1800.04/1800.50	c restarts              : 0
1800.04/1800.50	c conflicts             : 0              (0 /sec)
1800.04/1800.50	c decisions             : 0              (0 /sec)
1800.04/1800.50	c propagations          : 0              (0 /sec)
1800.04/1800.50	c inspects              : 0              (0 /sec)
1800.04/1800.50	c CPU time (solving tm) : 1799 s        (0 s)
1800.04/1800.50	c Time for Opt-base     : 19.19 s
1800.04/1800.50	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4082410-1465268975/watcher-4082410-1465268975 -o /tmp/evaluation-result-4082410-1465268975/solver-4082410-1465268975 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465266890-22980 --watchdog 1960 naps-1.02 HOME/instance-4082410-1465268975.opb 

pid=23310
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.38 2.45 2.31 4/178 23313
/proc/meminfo: memFree=19633908/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=7000 CPUtime=0 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 415 0 0 0 0 0 0 0 20 0 1 0 108830321 7168000 290 33554432000 4194304 5796924 140736300874592 140734107730696 5087606 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/23313/statm: 1750 290 117 392 0 1349 0

[startup+0.100161 s]
/proc/loadavg: 2.38 2.45 2.31 4/178 23313
/proc/meminfo: memFree=19633908/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=10012 CPUtime=0.09 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 1276 0 0 0 9 0 0 0 20 0 1 0 108830321 10252288 1056 33554432000 4194304 5796924 140736300874592 140736300872120 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 2503 1056 124 392 0 2102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10012

[startup+0.200347 s]
/proc/loadavg: 2.38 2.45 2.31 4/178 23313
/proc/meminfo: memFree=19633908/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=10316 CPUtime=0.19 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 1475 0 0 0 19 0 0 0 20 0 1 0 108830321 10563584 1205 33554432000 4194304 5796924 140736300874592 140736300872120 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 2579 1205 128 392 0 2178 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10316

[startup+0.300306 s]
/proc/loadavg: 2.38 2.45 2.31 4/178 23313
/proc/meminfo: memFree=19633908/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=10956 CPUtime=0.29 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 1691 0 0 0 29 0 0 0 20 0 1 0 108830321 11218944 1401 33554432000 4194304 5796924 140736300874592 140736300872120 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 2739 1401 128 392 0 2338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10956

[startup+0.700231 s]
/proc/loadavg: 2.38 2.45 2.31 4/178 23313
/proc/meminfo: memFree=19633908/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=12156 CPUtime=0.69 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 2103 0 0 0 69 0 0 0 20 0 1 0 108830321 12447744 1759 33554432000 4194304 5796924 140736300874592 140736300868408 4313110 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 3039 1759 139 392 0 2638 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12156

[startup+1.50023 s]
/proc/loadavg: 2.38 2.45 2.31 4/179 23314
/proc/meminfo: memFree=19577588/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=12156 CPUtime=1.49 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 2110 0 0 0 149 0 0 0 20 0 1 0 108830321 12447744 1766 33554432000 4194304 5796924 140736300874592 140736300868408 5092526 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 3039 1766 139 392 0 2638 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12156

[startup+3.10028 s]
/proc/loadavg: 2.38 2.45 2.31 4/179 23314
/proc/meminfo: memFree=19527508/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=43040 CPUtime=3.08 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 9990 0 0 0 308 0 0 0 20 0 1 0 108830321 44072960 9514 33554432000 4194304 5796924 140736300874592 140736300868408 4425326 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 10760 9514 143 392 0 10359 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43040

[startup+6.30028 s]
/proc/loadavg: 2.35 2.44 2.30 4/179 23314
/proc/meminfo: memFree=19225440/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=200532 CPUtime=6.29 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 49499 0 0 0 622 7 0 0 20 0 1 0 108830321 205344768 48891 33554432000 4194304 5796924 140736300874592 140736291277704 4425326 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 50133 48891 143 392 0 49732 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 200532

[startup+12.7003 s]
/proc/loadavg: 2.32 2.43 2.30 4/179 23314
/proc/meminfo: memFree=18616200/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=507884 CPUtime=12.68 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 122534 0 0 0 1250 18 0 0 20 0 1 0 108830321 520073216 125637 33554432000 4194304 5796924 140736300874592 140736293863640 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 126971 125637 143 392 0 126570 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 507884

[startup+25.5004 s]
/proc/loadavg: 2.25 2.41 2.30 4/179 23314
/proc/meminfo: memFree=17420560/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1101128 CPUtime=25.48 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 263134 0 0 0 2507 41 0 0 20 0 1 0 108830321 1127555072 273228 33554432000 4194304 5796924 140736300874592 140736291651160 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 275282 273230 143 392 0 274881 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1101128

[startup+51.1004 s]
/proc/loadavg: 2.30 2.41 2.30 4/180 23317
/proc/meminfo: memFree=16153864/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1250956 CPUtime=51.08 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 300621 0 0 0 5061 47 0 0 20 0 1 0 108830321 1280978944 311226 33554432000 4194304 5796924 140736300874592 140736300870808 4199792 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 312739 311226 190 392 0 312338 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1250956

[startup+102.3 s]
/proc/loadavg: 2.23 2.37 2.29 3/179 23318
/proc/meminfo: memFree=14438428/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1254124 CPUtime=102.28 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 301421 0 0 0 10181 47 0 0 20 0 1 0 108830321 1284222976 312026 33554432000 4194304 5796924 140736300874592 140736300870808 5087650 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 313531 312026 190 392 0 313130 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1254124

[startup+162.3 s]
/proc/loadavg: 2.12 2.32 2.27 3/179 23365
/proc/meminfo: memFree=28670736/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1254144 CPUtime=162.26 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 301458 0 0 0 16179 47 0 0 20 0 1 0 108830321 1284243456 312055 33554432000 4194304 5796924 140736300874592 140736300870808 5087504 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 313536 312055 190 392 0 313135 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1254144

[startup+222.308 s]
/proc/loadavg: 2.26 2.32 2.27 3/179 23367
/proc/meminfo: memFree=28667592/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1256916 CPUtime=222.26 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 302347 0 0 0 22179 47 0 0 20 0 1 0 108830321 1287081984 312930 33554432000 4194304 5796924 140736300874592 140736300870808 4806764 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 314229 312930 190 392 0 313828 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1256916

[startup+282.3 s]
/proc/loadavg: 2.27 2.32 2.27 3/179 23368
/proc/meminfo: memFree=28566916/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1369492 CPUtime=282.22 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 315127 0 0 0 28171 51 0 0 20 0 1 0 108830321 1402359808 338007 33554432000 4194304 5796924 140736300874592 140736300872984 4606495 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 342373 338007 217 392 0 341972 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1369492

[startup+342.3 s]
/proc/loadavg: 2.22 2.29 2.26 3/179 23369
/proc/meminfo: memFree=28560648/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1369492 CPUtime=342.21 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 315146 0 0 0 34170 51 0 0 20 0 1 0 108830321 1402359808 339544 33554432000 4194304 5796924 140736300874592 140736300872984 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 342373 339544 218 392 0 341972 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1369492

[startup+402.3 s]
/proc/loadavg: 2.36 2.31 2.27 4/179 23370
/proc/meminfo: memFree=28563980/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1369492 CPUtime=402.19 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 315219 0 0 0 40167 52 0 0 20 0 1 0 108830321 1402359808 338562 33554432000 4194304 5796924 140736300874592 140736300872056 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 342373 338562 218 392 0 341972 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1369492

[startup+462.3 s]
/proc/loadavg: 2.35 2.31 2.27 3/179 23371
/proc/meminfo: memFree=22555804/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1369492 CPUtime=462.17 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 315248 0 0 0 46165 52 0 0 20 0 1 0 108830321 1402359808 340610 33554432000 4194304 5796924 140736300874592 140736300872056 4568981 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 342373 340610 218 392 0 341972 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1369492

[startup+522.3 s]
/proc/loadavg: 2.34 2.31 2.27 3/180 23421
/proc/meminfo: memFree=28867848/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=522.14 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 315798 0 0 0 52162 52 0 0 20 0 1 0 108830321 1433919488 342658 33554432000 4194304 5796924 140736300874592 140736300872232 4607218 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 342658 218 392 0 349677 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1400312

[startup+582.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/179 23422
/proc/meminfo: memFree=28857560/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1369492 CPUtime=582.11 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 316258 0 0 0 58158 53 0 0 20 0 1 0 108830321 1402359808 339407 33554432000 4194304 5796924 140736300874592 140736300872056 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 342373 339407 218 392 0 341972 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1369492


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


[startup+942.3 s]
/proc/loadavg: 2.34 2.31 2.27 3/179 23432
/proc/meminfo: memFree=28763812/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1369492 CPUtime=941.97 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 319469 0 0 0 94140 57 0 0 20 0 1 0 108830321 1402359808 339844 33554432000 4194304 5796924 140736300874592 140736300872056 4606721 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 342373 339844 218 392 0 341972 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1369492

[startup+1002.3 s]
/proc/loadavg: 2.35 2.31 2.27 3/179 23433
/proc/meminfo: memFree=28797484/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1001.97 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 320065 0 0 0 100139 58 0 0 20 0 1 0 108830321 1433919488 341959 33554432000 4194304 5796924 140736300874592 140736300872232 4606495 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 341959 218 392 0 349677 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 1400312

[startup+1062.3 s]
/proc/loadavg: 2.17 2.27 2.26 3/179 23434
/proc/meminfo: memFree=28749388/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1061.96 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 320069 0 0 0 106138 58 0 0 20 0 1 0 108830321 1433919488 344007 33554432000 4194304 5796924 140736300874592 140736300872232 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 344007 218 392 0 349677 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1400312

[startup+1122.3 s]
/proc/loadavg: 2.45 2.32 2.28 3/179 23436
/proc/meminfo: memFree=28735776/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1369492 CPUtime=1121.95 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 320493 0 0 0 112136 59 0 0 20 0 1 0 108830321 1402359808 340356 33554432000 4194304 5796924 140736300874592 140736300872056 4606708 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 342373 340356 218 392 0 341972 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1369492

[startup+1182.3 s]
/proc/loadavg: 2.41 2.32 2.28 3/179 23437
/proc/meminfo: memFree=28763736/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1181.94 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 321081 0 0 0 118134 60 0 0 20 0 1 0 108830321 1433919488 342471 33554432000 4194304 5796924 140736300874592 140736300872232 4568961 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 342471 218 392 0 349677 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1400312

[startup+1242.3 s]
/proc/loadavg: 2.24 2.29 2.27 4/180 23441
/proc/meminfo: memFree=28702856/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1241.92 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 321085 0 0 0 124132 60 0 0 20 0 1 0 108830321 1433919488 344519 33554432000 4194304 5796924 140736300874592 140736300872232 4606704 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 344519 218 392 0 349677 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1400312

[startup+1302.3 s]
/proc/loadavg: 2.37 2.31 2.28 4/179 23442
/proc/meminfo: memFree=28718976/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1369492 CPUtime=1301.92 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 321509 0 0 0 130130 62 0 0 20 0 1 0 108830321 1402359808 340356 33554432000 4194304 5796924 140736300874592 140736300872056 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 342373 340356 218 392 0 341972 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1369492

[startup+1362.3 s]
/proc/loadavg: 2.37 2.31 2.28 3/179 23443
/proc/meminfo: memFree=28711228/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1361.91 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 322101 0 0 0 136129 62 0 0 20 0 1 0 108830321 1433919488 342983 33554432000 4194304 5796924 140736300874592 140736300872232 4594144 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 342983 218 392 0 349677 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1400312

[startup+1422.3 s]
/proc/loadavg: 2.27 2.30 2.27 4/179 23445
/proc/meminfo: memFree=28711524/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1421.9 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 322105 0 0 0 142128 62 0 0 20 0 1 0 108830321 1433919488 345031 33554432000 4194304 5796924 140736300874592 140736300872232 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 345031 218 392 0 349677 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1400312

[startup+1482.3 s]
/proc/loadavg: 2.44 2.33 2.28 4/179 23446
/proc/meminfo: memFree=28766644/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1369492 CPUtime=1481.89 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 322529 0 0 0 148125 64 0 0 20 0 1 0 108830321 1402359808 340356 33554432000 4194304 5796924 140736300874592 140736300872056 4607261 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 342373 340356 218 392 0 341972 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1369492

[startup+1542.31 s]
/proc/loadavg: 2.35 2.33 2.28 4/179 23447
/proc/meminfo: memFree=28753420/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1541.89 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 323126 0 0 0 154125 64 0 0 20 0 1 0 108830321 1433919488 342471 33554432000 4194304 5796924 140736300874592 140736300872232 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 342471 218 392 0 349677 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1400312

[startup+1602.3 s]
/proc/loadavg: 2.26 2.30 2.27 3/179 23448
/proc/meminfo: memFree=28688312/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1601.87 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 323130 0 0 0 160123 64 0 0 20 0 1 0 108830321 1433919488 344519 33554432000 4194304 5796924 140736300874592 140736300872232 4606645 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 344519 218 392 0 349677 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1400312

[startup+1662.3 s]
/proc/loadavg: 2.42 2.33 2.28 4/179 23449
/proc/meminfo: memFree=28687396/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1369492 CPUtime=1661.86 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 323555 0 0 0 166121 65 0 0 20 0 1 0 108830321 1402359808 339332 33554432000 4194304 5796924 140736300874592 140736300872056 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 342373 339332 218 392 0 341972 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1369492

[startup+1722.3 s]
/proc/loadavg: 2.33 2.32 2.27 3/179 23451
/proc/meminfo: memFree=28686592/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1721.85 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 323943 0 0 0 172119 66 0 0 20 0 1 0 108830321 1433919488 341247 33554432000 4194304 5796924 140736300874592 140736300872232 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 341247 218 392 0 349677 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1400312

[startup+1782.3 s]
/proc/loadavg: 2.25 2.30 2.27 3/179 23452
/proc/meminfo: memFree=28647972/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1781.84 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 324150 0 0 0 178118 66 0 0 20 0 1 0 108830321 1433919488 343495 33554432000 4194304 5796924 140736300874592 140736300872232 4606523 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 343495 218 392 0 349677 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1400312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.30 2.27 4/179 23452
/proc/meminfo: memFree=28713192/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1800.04 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 324151 0 0 0 179938 66 0 0 20 0 1 0 108830321 1433919488 344007 33554432000 4194304 5796924 140736300874592 140736300872232 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 344007 218 392 0 349677 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1400312

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.30 2.27 4/179 23452
/proc/meminfo: memFree=28713192/32872528 swapFree=15540/1663004
[pid=23313] ppid=23310 vsize=1400312 CPUtime=1800.04 cores=0,2,4,6
/proc/23313/stat : 23313 (naps-1.02) R 23310 23313 22964 0 -1 4202496 324151 0 0 0 179938 66 0 0 20 0 1 0 108830321 1433919488 344007 33554432000 4194304 5796924 140736300874592 140736300872232 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23313/statm: 350078 344007 218 392 0 349677 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1400312

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.38
CPU system time (s): 0.674897
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1449632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.674897
maximum resident set size= 1428660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324162
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= 335
involuntary context switches= 2296

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29719 second user time and 7.37688 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-07 05:09:35
IDJOB=4082410
IDBENCH=89884
IDSOLVER=2544
FILE ID=node134/4082410-1465268975
RUNJOBID= node134-1465266890-22980
PBS_JOBID= 19843300
Free space on /tmp= 70968 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4082410-1465268975/watcher-4082410-1465268975 -o /tmp/evaluation-result-4082410-1465268975/solver-4082410-1465268975 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465266890-22980 --watchdog 1960  naps-1.02 HOME/instance-4082410-1465268975.opb

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

MD5SUM BENCH= 826cee40b1a37b4e41d6d3a639f8df55
RANDOM SEED=1153800178

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.403
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.403
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.403
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.56
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.403
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:        19635032 kB
Buffers:          122376 kB
Cached:          1056512 kB
SwapCached:         2124 kB
Active:         10494712 kB
Inactive:         305064 kB
Active(anon):    9621604 kB
Inactive(anon):     1564 kB
Active(file):     873108 kB
Inactive(file):   303500 kB
Unevictable:     1663004 kB
Mlocked:           15540 kB
SwapTotal:      67108856 kB
SwapFree:       67098500 kB
Dirty:              4740 kB
Writeback:             0 kB
AnonPages:      11283296 kB
Mapped:             8844 kB
Shmem:                 0 kB
Slab:             623600 kB
SReclaimable:      67592 kB
SUnreclaim:       556008 kB
KernelStack:        1472 kB
PageTables:        26232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   11983496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2971648 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= 71724 MiB
End job on node134 at 2016-06-07 05:39:36