Trace number 4101867

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb
MD5SUMf0369b32b392b309903886944ef44b64
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 variables204880
Total number of constraints159488
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint2
Maximum length of a constraint120
Number of terms in the objective function 75648
Biggest coefficient in the objective function 7
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 529536
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 7
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 529536
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.04/1800.40	c 
1800.04/1800.40	c *** TERMINATED *** by signal 15
1800.04/1800.40	s UNKNOWN
1800.04/1800.40	c _____________________________________________________________________________
1800.04/1800.40	c 
1800.04/1800.40	c std/band forms        : 2187,24277
1800.04/1800.40	c 2cl/3cl ITE-codings   : 126927,512971
1800.04/1800.40	c BDD/srt/adr Max costs : 237,0,0
1800.04/1800.40	c BDDraw/bin/mul/srt/adr: 26464,0,0,0,0
1800.04/1800.40	c BDD nodes             : 1047197
1800.04/1800.40	c Es1/CC detections     : 0,0
1800.04/1800.40	c SAT/UNSAT calls       : 0,0
1800.04/1800.40	c restarts              : 0
1800.04/1800.40	c conflicts             : 0              (0 /sec)
1800.04/1800.40	c decisions             : 0              (0 /sec)
1800.04/1800.40	c propagations          : 0              (0 /sec)
1800.04/1800.40	c inspects              : 0              (0 /sec)
1800.04/1800.40	c CPU time (solving tm) : 1800 s        (0 s)
1800.04/1800.40	c Time for Opt-base     : 0 s
1800.04/1800.40	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4101867-1466234568/watcher-4101867-1466234568 -o /tmp/evaluation-result-4101867-1466234568/solver-4101867-1466234568 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466206079-967 --watchdog 1960 naps-1.02 HOME/instance-4101867-1466234568.opb 

pid=5749
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.30 2.25 2.25 3/176 5752
/proc/meminfo: memFree=29783200/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=8364 CPUtime=0 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 25503641 8564736 617 33554432000 4194304 5796924 140733654222256 140735352733992 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 2091 617 114 392 0 1690 0

[startup+0.10012 s]
/proc/loadavg: 2.30 2.25 2.25 3/176 5752
/proc/meminfo: memFree=29783200/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=29492 CPUtime=0.09 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 5917 0 0 0 9 0 0 0 20 0 1 0 25503641 30199808 5474 33554432000 4194304 5796924 140733654222256 140735352733992 5092518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 7373 5474 116 392 0 6972 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29492

[startup+0.200297 s]
/proc/loadavg: 2.30 2.25 2.25 3/176 5752
/proc/meminfo: memFree=29783200/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=39212 CPUtime=0.19 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 8762 0 0 0 19 0 0 0 20 0 1 0 25503641 40153088 8023 33554432000 4194304 5796924 140733654222256 140735352733992 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 9803 8024 128 392 0 9402 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39212

[startup+0.300368 s]
/proc/loadavg: 2.30 2.25 2.25 3/176 5752
/proc/meminfo: memFree=29783200/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=41808 CPUtime=0.29 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 9683 0 0 0 28 1 0 0 20 0 1 0 25503641 42811392 8588 33554432000 4194304 5796924 140733654222256 140733654221528 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 10452 8588 128 392 0 10051 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41808

[startup+0.7003 s]
/proc/loadavg: 2.30 2.25 2.25 3/176 5752
/proc/meminfo: memFree=29783200/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=49556 CPUtime=0.68 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 11706 0 0 0 67 1 0 0 20 0 1 0 25503641 50745344 10591 33554432000 4194304 5796924 140733654222256 140733654221528 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 12389 10591 128 392 0 11988 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49556

[startup+1.50028 s]
/proc/loadavg: 2.30 2.25 2.25 3/177 5753
/proc/meminfo: memFree=29719084/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=97444 CPUtime=1.48 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 22908 0 0 0 145 3 0 0 20 0 1 0 25503641 99782656 21791 33554432000 4194304 5796924 140733654222256 140733654221528 4404063 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 24361 21791 128 392 0 23960 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 97444

[startup+3.10024 s]
/proc/loadavg: 2.30 2.25 2.25 3/177 5753
/proc/meminfo: memFree=29652180/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=171184 CPUtime=3.09 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 41207 0 0 0 302 7 0 0 20 0 1 0 25503641 175292416 40377 33554432000 4194304 5796924 140733654222256 140733654221480 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 42796 40377 129 392 0 42395 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 171184

[startup+6.30027 s]
/proc/loadavg: 2.28 2.24 2.25 4/177 5753
/proc/meminfo: memFree=29583184/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=210032 CPUtime=6.29 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 50607 0 0 0 620 9 0 0 20 0 1 0 25503641 215072768 50588 33554432000 4194304 5796924 140733654222256 140733654212344 4803315 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 52508 50588 140 392 0 52107 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 210032

[startup+12.7001 s]
/proc/loadavg: 2.25 2.24 2.25 3/177 5753
/proc/meminfo: memFree=29538116/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=252540 CPUtime=12.68 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 53418 0 0 0 1259 9 0 0 20 0 1 0 25503641 258600960 60472 33554432000 4194304 5796924 140733654222256 140733654207816 4261421 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 63135 60472 140 392 0 62734 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 252540

[startup+25.5004 s]
/proc/loadavg: 2.20 2.23 2.24 4/177 5753
/proc/meminfo: memFree=29119436/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=694448 CPUtime=25.49 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 95614 0 0 0 2529 20 0 0 20 0 1 0 25503641 711114752 164592 33554432000 4194304 5796924 140733654222256 140733654219304 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 173612 164592 164 392 0 173211 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 694448

[startup+51.1004 s]
/proc/loadavg: 2.27 2.24 2.25 3/177 5753
/proc/meminfo: memFree=29112756/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=697144 CPUtime=51.06 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 96177 0 0 0 5086 20 0 0 20 0 1 0 25503641 713875456 165132 33554432000 4194304 5796924 140733654222256 140733654219304 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 174286 165132 164 392 0 173885 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 697144

[startup+102.3 s]
/proc/loadavg: 2.31 2.25 2.25 4/177 5754
/proc/meminfo: memFree=29098848/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=749804 CPUtime=102.23 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 96882 0 0 0 10202 21 0 0 20 0 1 0 25503641 767799296 166822 33554432000 4194304 5796924 140733654222256 140733654219896 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 187451 166822 165 392 0 187050 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 749804

[startup+162.3 s]
/proc/loadavg: 2.19 2.23 2.24 3/177 5755
/proc/meminfo: memFree=29105664/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=702408 CPUtime=162.21 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 97286 0 0 0 16198 23 0 0 20 0 1 0 25503641 719265792 163013 33554432000 4194304 5796924 140733654222256 140733654219720 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 175602 163013 165 392 0 175201 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 702408

[startup+222.308 s]
/proc/loadavg: 2.22 2.23 2.24 3/177 5756
/proc/meminfo: memFree=29087016/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=702408 CPUtime=222.2 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 97621 0 0 0 22197 23 0 0 20 0 1 0 25503641 719265792 165245 33554432000 4194304 5796924 140733654222256 140733654219720 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 175602 165245 165 392 0 175201 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 702408

[startup+282.3 s]
/proc/loadavg: 2.14 2.20 2.23 3/177 5758
/proc/meminfo: memFree=29072224/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=702408 CPUtime=282.19 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 97879 0 0 0 28195 24 0 0 20 0 1 0 25503641 719265792 167029 33554432000 4194304 5796924 140733654222256 140733654219720 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 175602 167029 165 392 0 175201 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 702408

[startup+342.3 s]
/proc/loadavg: 2.15 2.19 2.22 3/177 5805
/proc/meminfo: memFree=29385272/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=755068 CPUtime=342.17 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 98522 0 0 0 34192 25 0 0 20 0 1 0 25503641 773189632 168679 33554432000 4194304 5796924 140733654222256 140733654219896 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 188767 168679 165 392 0 188366 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 755068

[startup+402.3 s]
/proc/loadavg: 2.28 2.22 2.22 3/177 5806
/proc/meminfo: memFree=28239164/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=704980 CPUtime=402.15 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 99065 0 0 0 40189 26 0 0 20 0 1 0 25503641 721899520 165572 33554432000 4194304 5796924 140733654222256 140733654219720 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 176245 165572 165 392 0 175844 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 704980

[startup+462.3 s]
/proc/loadavg: 2.26 2.22 2.22 3/178 5810
/proc/meminfo: memFree=28228544/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=704980 CPUtime=462.14 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 99193 0 0 0 46188 26 0 0 20 0 1 0 25503641 721899520 167233 33554432000 4194304 5796924 140733654222256 140733654219720 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 176245 167233 165 392 0 175844 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 704980

[startup+522.3 s]
/proc/loadavg: 2.22 2.21 2.22 3/177 5811
/proc/meminfo: memFree=28216456/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=707704 CPUtime=522.13 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 99555 0 0 0 52187 26 0 0 20 0 1 0 25503641 724688896 168616 33554432000 4194304 5796924 140733654222256 140733654219304 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 176926 168616 165 392 0 176525 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 707704

[startup+582.3 s]
/proc/loadavg: 2.28 2.23 2.22 3/177 5813
/proc/meminfo: memFree=27925564/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=757792 CPUtime=582.13 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 99988 0 0 0 58185 28 0 0 20 0 1 0 25503641 775979008 170577 33554432000 4194304 5796924 140733654222256 140733654219896 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 189448 170577 165 392 0 189047 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 757792


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


[startup+882.307 s]
/proc/loadavg: 2.28 2.22 2.20 3/177 5819
/proc/meminfo: memFree=27971608/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=757792 CPUtime=882.09 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 100851 0 0 0 88178 31 0 0 20 0 1 0 25503641 775979008 171153 33554432000 4194304 5796924 140733654222256 140733654219896 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 189448 171153 165 392 0 189047 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 757792

[startup+942.3 s]
/proc/loadavg: 2.21 2.21 2.19 3/177 5820
/proc/meminfo: memFree=27947324/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=760368 CPUtime=942.07 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 101142 0 0 0 94176 31 0 0 20 0 1 0 25503641 778616832 172977 33554432000 4194304 5796924 140733654222256 140733654219304 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 190092 172977 165 392 0 189691 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 760368

[startup+1002.3 s]
/proc/loadavg: 2.24 2.21 2.19 3/177 5821
/proc/meminfo: memFree=27954828/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=710280 CPUtime=1002.06 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 101483 0 0 0 100173 33 0 0 20 0 1 0 25503641 727326720 168443 33554432000 4194304 5796924 140733654222256 140733654219720 4593491 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 177570 168443 165 392 0 177169 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 710280

[startup+1062.3 s]
/proc/loadavg: 2.28 2.23 2.20 3/178 5825
/proc/meminfo: memFree=27972012/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=760368 CPUtime=1062.05 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 101980 0 0 0 106171 34 0 0 20 0 1 0 25503641 778616832 170471 33554432000 4194304 5796924 140733654222256 140733654219896 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 190092 170471 165 392 0 189691 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 760368

[startup+1122.3 s]
/proc/loadavg: 2.35 2.26 2.21 3/177 5826
/proc/meminfo: memFree=27949320/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=760368 CPUtime=1122.04 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 102066 0 0 0 112170 34 0 0 20 0 1 0 25503641 778616832 172601 33554432000 4194304 5796924 140733654222256 140733654219896 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 190092 172601 165 392 0 189691 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 760368

[startup+1182.3 s]
/proc/loadavg: 2.22 2.24 2.20 3/176 5827
/proc/meminfo: memFree=27928544/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=760368 CPUtime=1182.03 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 102173 0 0 0 118169 34 0 0 20 0 1 0 25503641 778616832 174241 33554432000 4194304 5796924 140733654222256 140733654219896 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 190092 174241 165 392 0 189691 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 760368

[startup+1242.3 s]
/proc/loadavg: 2.12 2.21 2.19 3/177 5829
/proc/meminfo: memFree=27986432/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=712860 CPUtime=1242.02 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 102661 0 0 0 124167 35 0 0 20 0 1 0 25503641 729968640 168317 33554432000 4194304 5796924 140733654222256 140733654219720 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 178215 168317 165 392 0 177814 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 712860

[startup+1302.3 s]
/proc/loadavg: 2.33 2.25 2.20 3/177 5830
/proc/meminfo: memFree=27966560/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=712860 CPUtime=1302.02 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 102722 0 0 0 130166 36 0 0 20 0 1 0 25503641 729968640 169911 33554432000 4194304 5796924 140733654222256 140733654219720 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 178215 169911 165 392 0 177814 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 712860

[startup+1362.3 s]
/proc/loadavg: 2.25 2.23 2.19 4/177 5831
/proc/meminfo: memFree=27944300/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=762948 CPUtime=1362.01 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 103229 0 0 0 136164 37 0 0 20 0 1 0 25503641 781258752 172457 33554432000 4194304 5796924 140733654222256 140733654219896 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 190737 172457 165 392 0 190336 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 762948

[startup+1422.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/177 5832
/proc/meminfo: memFree=27919680/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=762948 CPUtime=1422 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 103304 0 0 0 142163 37 0 0 20 0 1 0 25503641 781258752 174576 33554432000 4194304 5796924 140733654222256 140733654219896 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 190737 174576 165 392 0 190336 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 762948

[startup+1482.3 s]
/proc/loadavg: 2.34 2.26 2.20 3/177 5833
/proc/meminfo: memFree=27898652/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=762948 CPUtime=1481.98 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 103434 0 0 0 148161 37 0 0 20 0 1 0 25503641 781258752 176750 33554432000 4194304 5796924 140733654222256 140733654219896 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 190737 176750 165 392 0 190336 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 762948

[startup+1542.31 s]
/proc/loadavg: 2.26 2.25 2.20 3/177 5835
/proc/meminfo: memFree=27980224/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=712860 CPUtime=1541.98 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 103884 0 0 0 154158 40 0 0 20 0 1 0 25503641 729968640 169252 33554432000 4194304 5796924 140733654222256 140733654219720 4606420 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 178215 169252 165 392 0 177814 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 712860

[startup+1602.3 s]
/proc/loadavg: 2.26 2.26 2.20 3/177 5836
/proc/meminfo: memFree=27959492/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=762948 CPUtime=1601.97 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 104371 0 0 0 160156 41 0 0 20 0 1 0 25503641 781258752 171269 33554432000 4194304 5796924 140733654222256 140733654219896 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 190737 171269 165 392 0 190336 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 762948

[startup+1662.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/178 5840
/proc/meminfo: memFree=27936504/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=762948 CPUtime=1661.96 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 104430 0 0 0 166155 41 0 0 20 0 1 0 25503641 781258752 173883 33554432000 4194304 5796924 140733654222256 140733654219896 4606830 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 190737 173883 165 392 0 190336 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 762948

[startup+1722.3 s]
/proc/loadavg: 2.15 2.22 2.19 3/177 5841
/proc/meminfo: memFree=27916012/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=762948 CPUtime=1721.94 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 104495 0 0 0 172153 41 0 0 20 0 1 0 25503641 781258752 175992 33554432000 4194304 5796924 140733654222256 140733654219896 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 190737 175992 165 392 0 190336 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 762948

[startup+1782.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/177 5842
/proc/meminfo: memFree=27898992/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=765528 CPUtime=1781.93 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 104591 0 0 0 178152 41 0 0 20 0 1 0 25503641 783900672 178132 33554432000 4194304 5796924 140733654222256 140733654219304 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 191382 178132 165 392 0 190981 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 765528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.19 2.22 2.18 3/177 5843
/proc/meminfo: memFree=27891868/32872528 swapFree=1497824/1644992
[pid=5752] ppid=5749 vsize=765528 CPUtime=1800.04 cores=1,3,5,7
/proc/5752/stat : 5752 (naps-1.02) R 5749 5752 950 0 -1 4202496 105004 0 0 0 179962 42 0 0 20 0 1 0 25503641 783900672 179056 33554432000 4194304 5796924 140733654222256 140733654219304 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5752/statm: 191382 179056 165 392 0 190981 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 765528

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.62
CPU system time (s): 0.429934
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 843088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.429934
maximum resident set size= 786120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105016
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= 128
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51031 second user time and 6.94994 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-18 09:22:48
IDJOB=4101867
IDBENCH=1804
IDSOLVER=2544
FILE ID=node124/4101867-1466234568
RUNJOBID= node124-1466206079-967
PBS_JOBID= 19918153
Free space on /tmp= 71716 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101867-1466234568/watcher-4101867-1466234568 -o /tmp/evaluation-result-4101867-1466234568/solver-4101867-1466234568 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466206079-967 --watchdog 1960  naps-1.02 HOME/instance-4101867-1466234568.opb

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

MD5SUM BENCH= f0369b32b392b309903886944ef44b64
RANDOM SEED=357955415

node124.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.791
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.58
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.791
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.791
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.791
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.791
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.791
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.791
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.54
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.791
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29783372 kB
Buffers:          119972 kB
Cached:           147736 kB
SwapCached:         3080 kB
Active:           503696 kB
Inactive:         180828 kB
Active(anon):     416228 kB
Inactive(anon):     2880 kB
Active(file):      87468 kB
Inactive(file):   177948 kB
Unevictable:     1644992 kB
Mlocked:         1497824 kB
SwapTotal:      67108856 kB
SwapFree:       67099796 kB
Dirty:             12440 kB
Writeback:             0 kB
AnonPages:       2148124 kB
Mapped:             9304 kB
Shmem:                 0 kB
Slab:             624272 kB
SReclaimable:      68532 kB
SUnreclaim:       555740 kB
KernelStack:        1472 kB
PageTables:         7888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2200140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    542720 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= 71712 MiB
End job on node124 at 2016-06-18 09:52:49