Trace number 4100083

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.1 1800.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-dano3_3.opb
MD5SUM108953e78fcc72e03ac9c2dad6fbc1ae
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables404796
Total number of constraints3709
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints3706
Minimum length of a constraint11
Maximum length of a constraint15900
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 535830
Number of bits of the biggest sum of numbers20
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.50	c 
1800.02/1800.50	c *** TERMINATED *** by signal 15
1800.02/1800.50	s UNKNOWN
1800.02/1800.50	c _____________________________________________________________________________
1800.02/1800.50	c 
1800.02/1800.50	c std/band forms        : 1583,539
1800.02/1800.50	c 2cl/3cl ITE-codings   : 0,0
1800.02/1800.50	c BDD/srt/adr Max costs : 1286,113947,0
1800.02/1800.50	c BDDraw/bin/mul/srt/adr: 539,0,507,1076,0
1800.02/1800.50	c BDD nodes             : 120279205
1800.02/1800.50	c Es1/CC detections     : 0,0
1800.02/1800.50	c SAT/UNSAT calls       : 0,0
1800.02/1800.50	c restarts              : 0
1800.02/1800.50	c conflicts             : 0              (0 /sec)
1800.02/1800.50	c decisions             : 0              (0 /sec)
1800.02/1800.50	c propagations          : 0              (0 /sec)
1800.02/1800.50	c inspects              : 0              (0 /sec)
1800.02/1800.50	c CPU time (solving tm) : 1799 s        (0 s)
1800.02/1800.50	c Time for Opt-base     : 25.22 s
1800.02/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-4100083-1466211618/watcher-4100083-1466211618 -o /tmp/evaluation-result-4100083-1466211618/solver-4100083-1466211618 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466206100-325 --watchdog 1960 naps-1.02 HOME/instance-4100083-1466211618.opb 

pid=1663
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.03 2.03 2.00 4/177 1666
/proc/meminfo: memFree=31649688/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/1666/stat : 1666 (runsolver) R 1663 309 309 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 1 0 23211965 24911872 56 33554432000 4194304 4338465 140737089278848 140737089276384 4248268 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/1666/statm: 6082 56 10 36 0 2655 0

[startup+0.10012 s]
/proc/loadavg: 2.03 2.03 2.00 4/177 1666
/proc/meminfo: memFree=31649688/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=12484 CPUtime=0.08 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 1831 0 0 0 8 0 0 0 20 0 1 0 23211965 12783616 1641 33554432000 4194304 5796924 140735747470016 140735747469240 5087774 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 3121 1641 124 392 0 2720 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12484

[startup+0.200347 s]
/proc/loadavg: 2.03 2.03 2.00 4/177 1666
/proc/meminfo: memFree=31649688/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=16684 CPUtime=0.18 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 2904 0 0 0 18 0 0 0 20 0 1 0 23211965 17084416 2714 33554432000 4194304 5796924 140735747470016 140735747469240 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 4171 2714 124 392 0 3770 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 16684

[startup+0.300322 s]
/proc/loadavg: 2.03 2.03 2.00 4/177 1666
/proc/meminfo: memFree=31649688/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=20300 CPUtime=0.28 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 3760 0 0 0 28 0 0 0 20 0 1 0 23211965 20787200 3570 33554432000 4194304 5796924 140735747470016 140735747469240 5087682 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 5075 3570 124 392 0 4674 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20300

[startup+0.700241 s]
/proc/loadavg: 2.03 2.03 2.00 4/177 1666
/proc/meminfo: memFree=31649688/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=36024 CPUtime=0.69 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 7613 0 0 0 68 1 0 0 20 0 1 0 23211965 36888576 7332 33554432000 4194304 5796924 140735747470016 140735747469240 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 9006 7335 124 392 0 8605 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36024

[startup+1.50025 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 1667
/proc/meminfo: memFree=31604172/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=67048 CPUtime=1.48 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 15417 0 0 0 147 1 0 0 20 0 1 0 23211965 68657152 14971 33554432000 4194304 5796924 140735747470016 140735747467432 4840430 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 16762 14971 124 392 0 16361 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 67048

[startup+3.10023 s]
/proc/loadavg: 2.02 2.03 2.00 4/178 1667
/proc/meminfo: memFree=31560652/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=132456 CPUtime=3.08 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 30917 0 0 0 304 4 0 0 20 0 1 0 23211965 135634944 30141 33554432000 4194304 5796924 140735747470016 140735747467432 5087772 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 33114 30141 124 392 0 32713 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 132456

[startup+6.30021 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 1667
/proc/meminfo: memFree=31434292/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=257156 CPUtime=6.28 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 61170 0 0 0 619 9 0 0 20 0 1 0 23211965 263327744 60757 33554432000 4194304 5796924 140735747470016 140735747467512 5092493 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 64289 60757 124 392 0 63888 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 257156

[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 1667
/proc/meminfo: memFree=31221744/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=441536 CPUtime=12.68 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 106334 0 0 0 1252 16 0 0 20 0 1 0 23211965 452132864 107158 33554432000 4194304 5796924 140735747470016 140735747469240 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 110384 107158 128 392 0 109983 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 441536

[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 1667
/proc/meminfo: memFree=30979932/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=659936 CPUtime=25.48 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 158400 0 0 0 2525 23 0 0 20 0 1 0 23211965 675774464 161779 33554432000 4194304 5796924 140735747470016 140735747467880 4810736 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 164984 161779 130 392 0 164583 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 659936

[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 1740
/proc/meminfo: memFree=31061360/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=648620 CPUtime=51.07 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 158764 0 0 0 5084 23 0 0 20 0 1 0 23211965 664186880 158980 33554432000 4194304 5796924 140735747470016 140735747466232 5092518 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 162155 158980 144 392 0 161754 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 648620

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 1741
/proc/meminfo: memFree=30798612/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=880792 CPUtime=102.27 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 193074 0 0 0 10198 29 0 0 20 0 1 0 23211965 901931008 216122 33554432000 4194304 5796924 140735747470016 140735747467000 5096609 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 220198 216122 151 392 0 219797 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 880792

[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 1742
/proc/meminfo: memFree=30651880/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=1009588 CPUtime=162.25 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 207704 0 0 0 16193 32 0 0 20 0 1 0 23211965 1033818112 246290 33554432000 4194304 5796924 140735747470016 140735746549624 5092509 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 252397 246290 151 392 0 251996 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1009588

[startup+222.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 1743
/proc/meminfo: memFree=30451932/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=1174724 CPUtime=222.25 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 220927 0 0 0 22187 38 0 0 20 0 1 0 23211965 1202917376 286154 33554432000 4194304 5796924 140735747470016 140735747467000 5092526 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 293681 286154 151 392 0 293280 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1174724

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 1744
/proc/meminfo: memFree=30372056/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=1270412 CPUtime=282.23 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 233700 0 0 0 28183 40 0 0 20 0 1 0 23211965 1300901888 304548 33554432000 4194304 5796924 140735747470016 140735747467000 5092425 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 317603 304548 151 392 0 317202 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1270412

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1746
/proc/meminfo: memFree=30345180/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=1317272 CPUtime=342.22 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 245419 0 0 0 34180 42 0 0 20 0 1 0 23211965 1348886528 321888 33554432000 4194304 5796924 140735747470016 140735747467000 5092432 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 329318 321888 151 392 0 328917 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1317272

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 1747
/proc/meminfo: memFree=30100984/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=1609128 CPUtime=402.21 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 259780 0 0 0 40170 51 0 0 20 0 1 0 23211965 1647747072 383509 33554432000 4194304 5796924 140735747470016 140735747467000 4269354 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 402282 383509 151 392 0 401881 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1609128

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 1748
/proc/meminfo: memFree=30023664/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=1658892 CPUtime=462.18 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 272276 0 0 0 46164 54 0 0 20 0 1 0 23211965 1698705408 402103 33554432000 4194304 5796924 140735747470016 140735746604680 4243195 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 414723 402103 151 392 0 414322 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1658892

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1749
/proc/meminfo: memFree=29916516/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=1708524 CPUtime=522.15 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 284721 0 0 0 52159 56 0 0 20 0 1 0 23211965 1749528576 420654 33554432000 4194304 5796924 140735747470016 140735746595752 4806802 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 427131 420654 151 392 0 426730 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1708524

[startup+582.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 1753
/proc/meminfo: memFree=29830012/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=1863528 CPUtime=582.12 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 297744 0 0 0 58153 59 0 0 20 0 1 0 23211965 1908252672 439254 33554432000 4194304 5796924 140735747470016 140735747467000 5092558 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 465882 439254 151 392 0 465481 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1863528


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


[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1760
/proc/meminfo: memFree=29031152/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=2651280 CPUtime=941.95 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 372797 0 0 0 94111 84 0 0 20 0 1 0 23211965 2714910720 632609 33554432000 4194304 5796924 140735747470016 140735747467000 5087488 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 662820 632609 151 392 0 662419 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 2651280

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1762
/proc/meminfo: memFree=28908988/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=2697876 CPUtime=1001.94 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 384478 0 0 0 100107 87 0 0 20 0 1 0 23211965 2762625024 650422 33554432000 4194304 5796924 140735747470016 140735747467000 5077846 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 674469 650422 151 392 0 674068 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 2697876

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1763
/proc/meminfo: memFree=28952632/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=2747508 CPUtime=1061.93 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 396893 0 0 0 106104 89 0 0 20 0 1 0 23211965 2813448192 668969 33554432000 4194304 5796924 140735747470016 140735747467000 4805636 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 686877 668969 151 392 0 686476 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 2747508

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1764
/proc/meminfo: memFree=28826560/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=2797272 CPUtime=1121.91 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 409348 0 0 0 112100 91 0 0 20 0 1 0 23211965 2864406528 687045 33554432000 4194304 5796924 140735747470016 140735747467000 5087538 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 699318 687045 151 392 0 698917 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 2797272

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1765
/proc/meminfo: memFree=28806464/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=2844396 CPUtime=1181.91 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 421139 0 0 0 118097 94 0 0 20 0 1 0 23211965 2912661504 704968 33554432000 4194304 5796924 140735747470016 140735747467000 4805602 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 711099 704968 151 392 0 710698 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 2844396

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1770
/proc/meminfo: memFree=28631288/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=3127744 CPUtime=1241.9 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 433254 0 0 0 124090 100 0 0 20 0 1 0 23211965 3202809856 722704 33554432000 4194304 5796924 140735747470016 140735747467000 5092542 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 781936 722704 151 392 0 781535 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 3127744

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1772
/proc/meminfo: memFree=28498332/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=3174736 CPUtime=1301.89 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 444983 0 0 0 130087 102 0 0 20 0 1 0 23211965 3250929664 740054 33554432000 4194304 5796924 140735747470016 140735747467000 5077966 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 793684 740054 151 392 0 793283 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 3174736

[startup+1362.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/178 1991
/proc/meminfo: memFree=27746648/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=3893332 CPUtime=1361.88 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 457151 0 0 0 136063 125 0 0 20 0 1 0 23211965 3986771968 925041 33554432000 4194304 5796924 140735747470016 140735747467000 5096709 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 973333 925041 151 392 0 972932 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 3893332

[startup+1422.3 s]
/proc/loadavg: 2.06 2.05 2.02 3/177 1992
/proc/meminfo: memFree=27602076/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=3941248 CPUtime=1421.88 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 469129 0 0 0 142061 127 0 0 20 0 1 0 23211965 4035837952 943151 33554432000 4194304 5796924 140735747470016 140735747467000 4870732 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 985312 943151 151 392 0 984911 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 3941248

[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/177 1993
/proc/meminfo: memFree=27598232/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=3988240 CPUtime=1481.86 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 480884 0 0 0 148058 128 0 0 20 0 1 0 23211965 4083957760 960527 33554432000 4194304 5796924 140735747470016 140735747467000 5100064 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 997060 960527 151 392 0 996659 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 3988240

[startup+1542.31 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 1994
/proc/meminfo: memFree=27464208/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=4029688 CPUtime=1541.86 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 491270 0 0 0 154055 131 0 0 20 0 1 0 23211965 4126400512 976534 33554432000 4194304 5796924 140735747470016 140735747467000 4863673 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 1007422 976534 151 392 0 1007021 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 4029688

[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 1996
/proc/meminfo: memFree=27464744/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=4082092 CPUtime=1601.84 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 504386 0 0 0 160051 133 0 0 20 0 1 0 23211965 4180062208 995271 33554432000 4194304 5796924 140735747470016 140735747467000 5087682 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 1020523 995271 151 392 0 1020122 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 4082092

[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 1997
/proc/meminfo: memFree=27321272/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=4129084 CPUtime=1661.84 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 516139 0 0 0 166049 135 0 0 20 0 1 0 23211965 4228182016 1013156 33554432000 4194304 5796924 140735747470016 140735747467000 5100101 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 1032271 1013156 151 392 0 1031870 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 4129084

[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 1998
/proc/meminfo: memFree=27324520/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=4176208 CPUtime=1721.83 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 527937 0 0 0 172046 137 0 0 20 0 1 0 23211965 4276436992 1030575 33554432000 4194304 5796924 140735747470016 140735746573464 5077846 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 1044052 1030575 151 392 0 1043651 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 4176208

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/178 2002
/proc/meminfo: memFree=27182104/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=4220692 CPUtime=1781.81 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 539058 0 0 0 178042 139 0 0 20 0 1 0 23211965 4321988608 1047317 33554432000 4194304 5796924 140735747470016 140735747467000 4425196 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 1055173 1047317 151 392 0 1054772 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 4220692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.07 2.02 3/178 2002
/proc/meminfo: memFree=27143524/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=4236268 CPUtime=1800.02 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 542959 0 0 0 179862 140 0 0 20 0 1 0 23211965 4337938432 1052751 33554432000 4194304 5796924 140735747470016 140735747467000 4443080 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 1059067 1052751 151 392 0 1058666 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4236268

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.07 2.02 3/178 2002
/proc/meminfo: memFree=27143524/32872528 swapFree=241348/274052
[pid=1666] ppid=1663 vsize=4236268 CPUtime=1800.02 cores=0,2,4,6
/proc/1666/stat : 1666 (naps-1.02) R 1663 1666 309 0 -1 4202496 542959 0 0 0 179862 140 0 0 20 0 1 0 23211965 4337938432 1052751 33554432000 4194304 5796924 140735747470016 140735747467000 4443080 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/1666/statm: 1059067 1052751 151 392 0 1058666 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4236268

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.1
CPU user time (s): 1798.62
CPU system time (s): 1.47578
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 4524544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.47578
maximum resident set size= 4310024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 542972
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= 344
involuntary context switches= 1952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.87726 second user time and 6.591 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-18 03:00:19
IDJOB=4100083
IDBENCH=1571
IDSOLVER=2544
FILE ID=node107/4100083-1466211618
RUNJOBID= node107-1466206100-325
PBS_JOBID= 19918165
Free space on /tmp= 71648 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-dano3_3.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100083-1466211618/watcher-4100083-1466211618 -o /tmp/evaluation-result-4100083-1466211618/solver-4100083-1466211618 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466206100-325 --watchdog 1960  naps-1.02 HOME/instance-4100083-1466211618.opb

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

MD5SUM BENCH= 108953e78fcc72e03ac9c2dad6fbc1ae
RANDOM SEED=1596398413

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31650240 kB
Buffers:           36168 kB
Cached:           100232 kB
SwapCached:         2500 kB
Active:           181204 kB
Inactive:          65140 kB
Active(anon):     110384 kB
Inactive(anon):     2004 kB
Active(file):      70820 kB
Inactive(file):    63136 kB
Unevictable:      274052 kB
Mlocked:          241348 kB
SwapTotal:      67108856 kB
SwapFree:       67099396 kB
Dirty:             36952 kB
Writeback:             8 kB
AnonPages:        382880 kB
Mapped:             7676 kB
Shmem:                 0 kB
Slab:             571836 kB
SReclaimable:      15280 kB
SUnreclaim:       556556 kB
KernelStack:        1472 kB
PageTables:         4924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     506400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71684 MiB
End job on node107 at 2016-06-18 03:30:20