Trace number 4100067

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? 1265.05 1265.31

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-swath3.opb
MD5SUM32714c9455a4b8ce29c8524e810d65a9
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262226
Optimality of the best value was proved YES
Number of variables49335
Total number of constraints4902
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)209
Number of constraints which are nor clauses,nor cardinality constraints4693
Minimum length of a constraint1
Maximum length of a constraint46934
Number of terms in the objective function 31
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 524318
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 557088
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.
1264.44/1264.79	terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
1264.44/1264.79	c 
1264.44/1264.79	c *** TERMINATED *** by signal 6
1264.44/1264.79	s UNKNOWN
1264.44/1264.79	c _____________________________________________________________________________
1264.44/1264.79	c 
1264.44/1264.79	c std/band forms        : 4206,104
1264.44/1264.79	c 2cl/3cl ITE-codings   : 16700658,6909663
1264.44/1264.79	c BDD/srt/adr Max costs : 204407,0,109880
1264.44/1264.79	c BDDraw/bin/mul/srt/adr: 483,0,3826,0,1
1264.44/1264.79	c BDD nodes             : 42112051
1264.44/1264.79	c Es1/CC detections     : 0,0
1264.44/1264.79	c SAT/UNSAT calls       : 0,0
1264.44/1264.79	c restarts              : 0
1264.44/1264.79	c conflicts             : 0              (0 /sec)
1264.44/1264.79	c decisions             : 0              (0 /sec)
1264.44/1264.79	c propagations          : 0              (0 /sec)
1264.44/1264.79	c inspects              : 0              (0 /sec)
1264.44/1264.79	c CPU time (solving tm) : 1260 s        (0 s)
1264.44/1264.79	c Time for Opt-base     : 645.6 s
1264.44/1264.79	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-4100067-1467020148/watcher-4100067-1467020148 -o /tmp/evaluation-result-4100067-1467020148/solver-4100067-1467020148 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467020148-28663 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4100067-1467020148.opb 

pid=28679
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.01 0.00 3/172 28682
/proc/meminfo: memFree=31553192/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=6728 CPUtime=0 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 35055626 6889472 224 33554432000 4194304 5796924 140735139946320 140737188801304 5091201 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1682 231 124 392 0 1281 0

[startup+0.100165 s]
/proc/loadavg: 0.00 0.01 0.00 3/172 28682
/proc/meminfo: memFree=31553192/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=13812 CPUtime=0.09 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 2084 0 0 0 9 0 0 0 20 0 1 0 35055626 14143488 1916 33554432000 4194304 5796924 140735139946320 140737188801304 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 3453 1916 124 392 0 3052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13812

[startup+0.20028 s]
/proc/loadavg: 0.00 0.01 0.00 3/172 28682
/proc/meminfo: memFree=31553192/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=20928 CPUtime=0.19 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 3900 0 0 0 19 0 0 0 20 0 1 0 35055626 21430272 3649 33554432000 4194304 5796924 140735139946320 140737188801304 4621249 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 5232 3649 124 392 0 4831 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20928

[startup+0.300267 s]
/proc/loadavg: 0.00 0.01 0.00 3/172 28682
/proc/meminfo: memFree=31553192/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=34392 CPUtime=0.28 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 7165 0 0 0 28 0 0 0 20 0 1 0 35055626 35217408 6738 33554432000 4194304 5796924 140735139946320 140737188801304 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 8631 6742 124 392 0 8230 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 34392

[startup+0.70023 s]
/proc/loadavg: 0.00 0.01 0.00 3/172 28682
/proc/meminfo: memFree=31553192/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=60760 CPUtime=0.69 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 16360 0 0 0 67 2 0 0 20 0 1 0 35055626 62218240 13236 33554432000 4194304 5796924 140735139946320 140735139943848 4805632 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 15190 13236 124 392 0 14789 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60760

[startup+1.50019 s]
/proc/loadavg: 0.00 0.01 0.00 3/177 28694
/proc/meminfo: memFree=31467536/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=59200 CPUtime=1.48 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 19898 0 0 0 146 2 0 0 20 0 1 0 35055626 60620800 12070 33554432000 4194304 5796924 140735139946320 140735139945544 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 14800 12070 124 392 0 14399 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 59200

[startup+3.1002 s]
/proc/loadavg: 0.00 0.01 0.00 3/177 28694
/proc/meminfo: memFree=31426484/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=108512 CPUtime=3.08 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 32255 0 0 0 305 3 0 0 20 0 1 0 35055626 111116288 24427 33554432000 4194304 5796924 140735139946320 140735139943736 4810736 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 27128 24427 130 392 0 26727 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 108512

[startup+6.3002 s]
/proc/loadavg: 0.16 0.04 0.01 3/177 28694
/proc/meminfo: memFree=31353936/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=108512 CPUtime=6.28 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 32255 0 0 0 625 3 0 0 20 0 1 0 35055626 111116288 24427 33554432000 4194304 5796924 140735139946320 140735139944184 4366992 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 27128 24427 130 392 0 26727 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 108512

[startup+12.7002 s]
/proc/loadavg: 0.31 0.08 0.02 3/177 28694
/proc/meminfo: memFree=31252716/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=108288 CPUtime=12.69 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 32614 0 0 0 1265 4 0 0 20 0 1 0 35055626 110886912 24433 33554432000 4194304 5796924 140735139946320 140735139942536 5087488 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 27072 24433 143 392 0 26671 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108288

[startup+25.5003 s]
/proc/loadavg: 0.75 0.18 0.06 3/176 28694
/proc/meminfo: memFree=30616192/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=119192 CPUtime=25.48 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 34894 0 0 0 2544 4 0 0 20 0 1 0 35055626 122052608 27073 33554432000 4194304 5796924 140735139946320 140735139942536 4295883 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 29798 27073 143 392 0 29397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 119192

[startup+51.1003 s]
/proc/loadavg: 1.18 0.33 0.11 3/177 28695
/proc/meminfo: memFree=30634872/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=153988 CPUtime=51.06 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 38999 0 0 0 5099 7 0 0 20 0 1 0 35055626 157683712 34868 33554432000 4194304 5796924 140735139946320 140735139942536 5096576 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 38497 34868 143 392 0 38096 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 153988

[startup+102.3 s]
/proc/loadavg: 1.64 0.58 0.20 3/177 28696
/proc/meminfo: memFree=28400772/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=2392652 CPUtime=102.23 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 573726 0 0 0 10142 81 0 0 20 0 1 0 35055626 2450075648 591732 33554432000 4194304 5796924 140735139946320 140735082938568 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 598163 591733 143 392 0 597762 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 2392652

[startup+162.3 s]
/proc/loadavg: 1.91 0.85 0.32 3/177 28697
/proc/meminfo: memFree=25901020/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=4850760 CPUtime=162.21 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1160696 0 0 0 16053 168 0 0 20 0 1 0 35055626 4967178240 1209221 33554432000 4194304 5796924 140735139946320 140735117281608 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1212690 1209221 143 392 0 1212289 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 4850760

[startup+222.307 s]
/proc/loadavg: 1.96 1.06 0.42 3/177 28698
/proc/meminfo: memFree=23420344/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=222.21 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728076 0 0 0 21959 262 0 0 20 0 1 0 35055626 7507271680 1827421 33554432000 4194304 5796924 140735139946320 140735136097368 4805602 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827421 143 392 0 1832429 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 7331320

[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/178 28702
/proc/meminfo: memFree=23420932/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=282.19 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728080 0 0 0 27957 262 0 0 20 0 1 0 35055626 7507271680 1827423 33554432000 4194304 5796924 140735139946320 140735139943304 4839567 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827423 145 392 0 1832429 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 7331320

[startup+342.3 s]
/proc/loadavg: 2.10 1.40 0.62 3/177 28704
/proc/meminfo: memFree=23420536/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=342.18 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728080 0 0 0 33956 262 0 0 20 0 1 0 35055626 7507271680 1827423 33554432000 4194304 5796924 140735139946320 140735139943304 5092509 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827423 145 392 0 1832429 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 7331320

[startup+402.3 s]
/proc/loadavg: 2.03 1.50 0.70 3/177 28705
/proc/meminfo: memFree=23420192/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=402.17 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728081 0 0 0 39955 262 0 0 20 0 1 0 35055626 7507271680 1827423 33554432000 4194304 5796924 140735139946320 140735139943304 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827423 145 392 0 1832429 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 7331320

[startup+462.3 s]
/proc/loadavg: 2.01 1.59 0.78 3/177 28706
/proc/meminfo: memFree=23419096/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=462.16 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728081 0 0 0 45954 262 0 0 20 0 1 0 35055626 7507271680 1827423 33554432000 4194304 5796924 140735139946320 140735139943304 4809377 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827423 145 392 0 1832429 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 7331320

[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.85 3/177 28707
/proc/meminfo: memFree=20038192/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=522.15 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728081 0 0 0 51953 262 0 0 20 0 1 0 35055626 7507271680 1827423 33554432000 4194304 5796924 140735139946320 140735139943304 5092518 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827423 145 392 0 1832429 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 7331320

[startup+582.3 s]
/proc/loadavg: 2.00 1.72 0.92 3/177 28708
/proc/meminfo: memFree=14131876/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=582.14 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728081 0 0 0 57952 262 0 0 20 0 1 0 35055626 7507271680 1827423 33554432000 4194304 5796924 140735139946320 140735139943304 5087538 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827423 145 392 0 1832429 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 7331320

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

/proc/loadavg: 2.00 1.77 0.99 3/176 28755
/proc/meminfo: memFree=24097184/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=642.13 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728081 0 0 0 63951 262 0 0 20 0 1 0 35055626 7507271680 1827423 33554432000 4194304 5796924 140735139946320 140735139943304 5087771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827423 145 392 0 1832429 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 7331320

[startup+702.3 s]
/proc/loadavg: 2.00 1.81 1.05 3/177 28757
/proc/meminfo: memFree=22193336/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=702.13 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728081 0 0 0 69951 262 0 0 20 0 1 0 35055626 7507271680 1827423 33554432000 4194304 5796924 140735139946320 140735139943304 5087774 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827423 145 392 0 1832429 0
Current children cumulated CPU time (s) 702.13
Current children cumulated vsize (KiB) 7331320

[startup+762.3 s]
/proc/loadavg: 2.00 1.84 1.10 3/177 28758
/proc/meminfo: memFree=19659860/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=762.12 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728081 0 0 0 75950 262 0 0 20 0 1 0 35055626 7507271680 1827423 33554432000 4194304 5796924 140735139946320 140735139943304 5087499 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827423 145 392 0 1832429 0
Current children cumulated CPU time (s) 762.12
Current children cumulated vsize (KiB) 7331320

[startup+822.3 s]
/proc/loadavg: 2.07 1.88 1.16 3/177 28759
/proc/meminfo: memFree=17287168/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=822.11 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728081 0 0 0 81949 262 0 0 20 0 1 0 35055626 7507271680 1827423 33554432000 4194304 5796924 140735139946320 140735139943304 5087589 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827423 145 392 0 1832429 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 7331320

[startup+882.307 s]
/proc/loadavg: 2.02 1.90 1.21 3/178 28763
/proc/meminfo: memFree=16357720/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=882.11 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728127 0 0 0 87949 262 0 0 20 0 1 0 35055626 7507271680 1827469 33554432000 4194304 5796924 140735139946320 140735139943304 5093504 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827469 191 392 0 1832429 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 7331320

[startup+942.3 s]
/proc/loadavg: 2.01 1.92 1.26 3/177 28764
/proc/meminfo: memFree=16357596/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7331320 CPUtime=942.09 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728127 0 0 0 93947 262 0 0 20 0 1 0 35055626 7507271680 1827469 33554432000 4194304 5796924 140735139946320 140735139943304 5096673 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1832830 1827469 191 392 0 1832429 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 7331320

[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.30 3/177 28766
/proc/meminfo: memFree=16310080/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7401388 CPUtime=1002.08 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1728661 0 0 0 99945 263 0 0 20 0 1 0 35055626 7579021312 1839245 33554432000 4194304 5796924 140735139946320 140735139741768 4455127 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1850347 1839245 191 392 0 1849946 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 7401388

[startup+1062.3 s]
/proc/loadavg: 2.06 1.95 1.35 3/177 28767
/proc/meminfo: memFree=16252328/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7506496 CPUtime=1062.07 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1729201 0 0 0 105943 264 0 0 20 0 1 0 35055626 7686651904 1853581 33554432000 4194304 5796924 140735139946320 140735139673320 5087606 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1876624 1853581 191 392 0 1876223 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 7506496

[startup+1122.3 s]
/proc/loadavg: 2.09 1.98 1.39 3/177 28768
/proc/meminfo: memFree=15866712/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=7843948 CPUtime=1122.06 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1729831 0 0 0 111932 274 0 0 20 0 1 0 35055626 8032202752 1949720 33554432000 4194304 5796924 140735139946320 140735138771672 5096620 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 1960987 1949720 191 392 0 1960586 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 7843948

[startup+1182.3 s]
/proc/loadavg: 2.03 1.98 1.43 3/177 28769
/proc/meminfo: memFree=15817400/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=8001604 CPUtime=1182.05 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1730366 0 0 0 117930 275 0 0 20 0 1 0 35055626 8193642496 1962008 33554432000 4194304 5796924 140735139946320 140735138596008 5087682 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 2000401 1962008 191 392 0 2000000 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 8001604

[startup+1242.3 s]
/proc/loadavg: 2.01 1.98 1.46 3/177 28770
/proc/meminfo: memFree=14668196/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=9403308 CPUtime=1242.04 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1767621 0 0 0 123896 308 0 0 20 0 1 0 35055626 9628987392 2281345 33554432000 4194304 5796924 140735139946320 140735139756392 5151935 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 2350827 2281345 194 392 0 2350426 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 9403308

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28682 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1254.4 s]
/proc/loadavg: 2.01 1.98 1.46 3/177 28770
/proc/meminfo: memFree=11644372/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=13685096 CPUtime=1254.14 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1792872 0 0 0 125032 382 0 0 20 0 1 0 35055626 14013538304 3025909 33554432000 4194304 5796924 140735139946320 140735139934904 4639416 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 3421274 3025909 194 392 0 3420873 0
Current children cumulated CPU time (s) 1254.14
Current children cumulated vsize (KiB) 13685096

[startup+1260.8 s]
/proc/loadavg: 2.01 1.98 1.47 3/176 28770
/proc/meminfo: memFree=10269688/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=14329892 CPUtime=1260.53 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1796401 0 0 0 125642 411 0 0 20 0 1 0 35055626 14673809408 3355388 33554432000 4194304 5796924 140735139946320 140735139915848 4623706 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 3582473 3355388 194 392 0 3582072 0
Current children cumulated CPU time (s) 1260.53
Current children cumulated vsize (KiB) 14329892

[startup+1262.4 s]
/proc/loadavg: 2.01 1.98 1.47 3/176 28770
/proc/meminfo: memFree=10068472/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=14329892 CPUtime=1262.14 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1796543 0 0 0 125797 417 0 0 20 0 1 0 35055626 14673809408 3428092 33554432000 4194304 5796924 140735139946320 140735139915848 4601536 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 3582473 3428092 194 392 0 3582072 0
Current children cumulated CPU time (s) 1262.14
Current children cumulated vsize (KiB) 14329892

[startup+1264.01 s]
/proc/loadavg: 2.01 1.98 1.47 3/176 28771
/proc/meminfo: memFree=9695072/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=15719640 CPUtime=1263.74 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202496 1802132 0 0 0 125944 430 0 0 20 0 1 0 35055626 16096911360 3495719 33554432000 4194304 5796924 140735139946320 140735139890888 4642401 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 3929910 3495719 194 392 0 3929509 0
Current children cumulated CPU time (s) 1263.74
Current children cumulated vsize (KiB) 15719640

[startup+1264.8 s]
/proc/loadavg: 2.01 1.98 1.47 3/176 28771
/proc/meminfo: memFree=9695072/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=0 CPUtime=1264.53 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202500 1802786 0 0 0 126020 433 0 0 20 0 1 0 35055626 0 0 33554432000 0 0 0 0 0 0 32 4096 17954 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1264.53
Current children cumulated vsize (KiB) 0

[startup+1265.2 s]
/proc/loadavg: 2.01 1.98 1.47 3/177 28772
/proc/meminfo: memFree=15267492/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=0 CPUtime=1264.93 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202500 1802786 0 0 0 126020 473 0 0 20 0 1 0 35055626 0 0 33554432000 0 0 0 0 0 0 32 4096 17954 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1264.93
Current children cumulated vsize (KiB) 0

[startup+1265.3 s]
/proc/loadavg: 2.01 1.98 1.47 3/177 28772
/proc/meminfo: memFree=15267492/32872528 swapFree=190200/190200
[pid=28682] ppid=28679 vsize=0 CPUtime=1265.03 cores=0,2,4,6
/proc/28682/stat : 28682 (naps-1.02) R 28679 28682 28647 0 -1 4202500 1802786 0 0 0 126020 483 0 0 20 0 1 0 35055626 0 0 33554432000 0 0 0 0 0 0 32 4096 17954 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28682/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1265.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1265.31
CPU time (s): 1265.05
CPU user time (s): 1260.21
CPU system time (s): 4.84526
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 15719640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1260.21
system time used= 4.84526
maximum resident set size= 14126468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1802786
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= 104
involuntary context switches= 1297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.39348 second user time and 4.81227 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-27 11:35:48
IDJOB=4100067
IDBENCH=1569
IDSOLVER=2544
FILE ID=node102/4100067-1467020148
RUNJOBID= node102-1467020148-28663
PBS_JOBID= 19976983
Free space on /tmp= 71700 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-swath3.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100067-1467020148/watcher-4100067-1467020148 -o /tmp/evaluation-result-4100067-1467020148/solver-4100067-1467020148 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467020148-28663 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4100067-1467020148.opb

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

MD5SUM BENCH= 32714c9455a4b8ce29c8524e810d65a9
RANDOM SEED=2094590497

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.731
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.731
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.731
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.731
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.731
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:        31553572 kB
Buffers:           88752 kB
Cached:           305964 kB
SwapCached:         1524 kB
Active:            68576 kB
Inactive:         332860 kB
Active(anon):       8096 kB
Inactive(anon):     1436 kB
Active(file):      60480 kB
Inactive(file):   331424 kB
Unevictable:      190200 kB
Mlocked:          190200 kB
SwapTotal:      67108856 kB
SwapFree:       67097256 kB
Dirty:             10888 kB
Writeback:             0 kB
AnonPages:        194468 kB
Mapped:             7520 kB
Shmem:                 0 kB
Slab:             595536 kB
SReclaimable:      40028 kB
SUnreclaim:       555508 kB
KernelStack:        1352 kB
PageTables:         4348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     291664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71692 MiB
End job on node102 at 2016-06-27 11:56:54