Trace number 4103803

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.08 1800.43

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-khb05250.opb
MD5SUM8f9b5e86f02b1dde8a9338d7682a9c8d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark201130104438
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 279273270736
Optimality of the best value was proved NO
Number of variables38297
Total number of constraints102
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints102
Minimum length of a constraint23
Maximum length of a constraint1530
Number of terms in the objective function 37494
Biggest coefficient in the objective function 6251324899328
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 5652283493428566
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 6251324899328
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 5652283493428566
Number of bits of the biggest sum of numbers53
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        : 25,76
1800.04/1800.40	c 2cl/3cl ITE-codings   : 38946,2203129
1800.04/1800.40	c BDD/srt/adr Max costs : 64112,0,0
1800.04/1800.40	c BDDraw/bin/mul/srt/adr: 76,0,25,0,0
1800.04/1800.40	c BDD nodes             : 2338965
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) : 1799 s        (0 s)
1800.04/1800.40	c Time for Opt-base     : 128.6 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-4103803-1466267100/watcher-4103803-1466267100 -o /tmp/evaluation-result-4103803-1466267100/solver-4103803-1466267100 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466241673-16673 --watchdog 1960 naps-1.02 HOME/instance-4103803-1466267100.opb 

pid=19470
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.02 2.01 2.00 3/176 19473
/proc/meminfo: memFree=31450160/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=7296 CPUtime=0 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 493 0 0 0 0 0 0 0 20 0 1 0 28760399 7471104 368 33554432000 4194304 5796924 140733876345984 140735161549272 4350334 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 1824 368 114 392 0 1423 0

[startup+0.100204 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19473
/proc/meminfo: memFree=31450160/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=18880 CPUtime=0.09 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 3216 0 0 0 9 0 0 0 20 0 1 0 28760399 19333120 2955 33554432000 4194304 5796924 140733876345984 140735161549272 5096609 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 4720 2955 116 392 0 4319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18880

[startup+0.20032 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19473
/proc/meminfo: memFree=31450160/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=21688 CPUtime=0.19 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 4035 0 0 0 19 0 0 0 20 0 1 0 28760399 22208512 3700 33554432000 4194304 5796924 140733876345984 140735161549272 4361983 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 5422 3700 128 392 0 5021 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21688

[startup+0.300302 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19473
/proc/meminfo: memFree=31450160/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=23072 CPUtime=0.29 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 4348 0 0 0 29 0 0 0 20 0 1 0 28760399 23625728 4013 33554432000 4194304 5796924 140733876345984 140735161549272 5096680 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 5768 4013 128 392 0 5367 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23072

[startup+0.700286 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19473
/proc/meminfo: memFree=31450160/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=31852 CPUtime=0.69 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 6585 0 0 0 69 0 0 0 20 0 1 0 28760399 32616448 6250 33554432000 4194304 5796924 140733876345984 140733876343400 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 7963 6250 128 392 0 7562 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31852

[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 19474
/proc/meminfo: memFree=31418144/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=38520 CPUtime=1.49 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 8555 0 0 0 148 1 0 0 20 0 1 0 28760399 39444480 7920 33554432000 4194304 5796924 140733876345984 140733876343400 5087516 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 9630 7920 140 392 0 9229 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38520

[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19474
/proc/meminfo: memFree=31418020/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=38520 CPUtime=3.09 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 8555 0 0 0 308 1 0 0 20 0 1 0 28760399 39444480 7920 33554432000 4194304 5796924 140733876345984 140733876342200 5087512 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 9630 7920 140 392 0 9229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38520

[startup+6.30031 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19474
/proc/meminfo: memFree=31418040/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=50756 CPUtime=6.29 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 11380 0 0 0 628 1 0 0 20 0 1 0 28760399 51974144 10745 33554432000 4194304 5796924 140733876345984 140733875980328 4806891 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 12689 10745 144 392 0 12288 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50756

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19474
/proc/meminfo: memFree=31379232/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=78288 CPUtime=12.69 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 17224 0 0 0 1266 3 0 0 20 0 1 0 28760399 80166912 17859 33554432000 4194304 5796924 140733876345984 140733876249912 4435340 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 19572 17859 144 392 0 19171 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78288

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19474
/proc/meminfo: memFree=31361308/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=94908 CPUtime=25.49 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 18900 0 0 0 2546 3 0 0 20 0 1 0 28760399 97185792 22009 33554432000 4194304 5796924 140733876345984 140733876342200 5092450 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 23727 22009 144 392 0 23326 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94908

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19474
/proc/meminfo: memFree=31361672/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=99008 CPUtime=51.08 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 18927 0 0 0 5105 3 0 0 20 0 1 0 28760399 101384192 22063 33554432000 4194304 5796924 140733876345984 140733876342200 5096673 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 24752 22063 144 392 0 24351 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 99008

[startup+102.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19475
/proc/meminfo: memFree=31359736/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=99008 CPUtime=102.27 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 18998 0 0 0 10224 3 0 0 20 0 1 0 28760399 101384192 22200 33554432000 4194304 5796924 140733876345984 140733876342200 5087606 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 24752 22200 144 392 0 24351 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 99008

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19477
/proc/meminfo: memFree=30571952/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1161052 CPUtime=162.25 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 96784 0 0 0 16199 26 0 0 20 0 1 0 28760399 1188917248 264690 33554432000 4194304 5796924 140733876345984 140733876269352 4609727 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 290263 264690 146 392 0 289862 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1161052

[startup+222.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19478
/proc/meminfo: memFree=30066244/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1606196 CPUtime=222.25 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 129232 0 0 0 22190 35 0 0 20 0 1 0 28760399 1644744704 344599 33554432000 4194304 5796924 140733876345984 140733876343624 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 401549 344599 171 392 0 401148 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1606196

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19479
/proc/meminfo: memFree=30060952/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1492468 CPUtime=282.24 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 131998 0 0 0 28183 41 0 0 20 0 1 0 28760399 1528287232 346563 33554432000 4194304 5796924 140733876345984 140733876343032 4606847 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 373117 346563 171 392 0 372716 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1492468

[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 19483
/proc/meminfo: memFree=30015048/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1635816 CPUtime=342.22 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 133679 0 0 0 34178 44 0 0 20 0 1 0 28760399 1675075584 357400 33554432000 4194304 5796924 140733876345984 140733876343032 4583148 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 408954 357400 171 392 0 408553 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1635816

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 19484
/proc/meminfo: memFree=30021500/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1651792 CPUtime=402.19 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 137090 0 0 0 40169 50 0 0 20 0 1 0 28760399 1691435008 355882 33554432000 4194304 5796924 140733876345984 140733876343624 4569140 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 412948 355882 171 392 0 412547 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1651792

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19486
/proc/meminfo: memFree=29991004/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1651792 CPUtime=462.19 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 137139 0 0 0 46168 51 0 0 20 0 1 0 28760399 1691435008 363592 33554432000 4194304 5796924 140733876345984 140733876343624 4593409 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 412948 363592 171 392 0 412547 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1651792

[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 19488
/proc/meminfo: memFree=29994088/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1678500 CPUtime=522.18 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 140436 0 0 0 52161 57 0 0 20 0 1 0 28760399 1718784000 362494 33554432000 4194304 5796924 140733876345984 140733876343032 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 419625 362494 171 392 0 419224 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1678500

[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 19489
/proc/meminfo: memFree=29950064/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1688148 CPUtime=582.16 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 140974 0 0 0 58159 57 0 0 20 0 1 0 28760399 1728663552 373495 33554432000 4194304 5796924 140733876345984 140733876343032 4606708 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 422037 373495 171 392 0 421636 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1688148


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


[startup+882.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19541
/proc/meminfo: memFree=29909456/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1704972 CPUtime=882.09 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 144602 0 0 0 88141 68 0 0 20 0 1 0 28760399 1745891328 383047 33554432000 4194304 5796924 140733876345984 140733876342968 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 426243 383047 171 392 0 425842 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 1704972

[startup+942.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/178 19545
/proc/meminfo: memFree=29855000/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1709472 CPUtime=942.08 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 145736 0 0 0 94138 70 0 0 20 0 1 0 28760399 1750499328 391848 33554432000 4194304 5796924 140733876345984 140733876343096 4606455 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 427368 391848 171 392 0 426967 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1709472

[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 19546
/proc/meminfo: memFree=29810072/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1713716 CPUtime=1002.07 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 146848 0 0 0 100136 71 0 0 20 0 1 0 28760399 1754845184 399824 33554432000 4194304 5796924 140733876345984 140733876343096 4607747 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 428429 399824 171 392 0 428028 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 1713716

[startup+1062.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 19548
/proc/meminfo: memFree=29848392/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1717684 CPUtime=1062.06 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 148225 0 0 0 106132 74 0 0 20 0 1 0 28760399 1758908416 390186 33554432000 4194304 5796924 140733876345984 140733876343096 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 429421 390186 171 392 0 429020 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 1717684

[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 19549
/proc/meminfo: memFree=29812388/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1722328 CPUtime=1122.05 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 149486 0 0 0 112130 75 0 0 20 0 1 0 28760399 1763663872 399112 33554432000 4194304 5796924 140733876345984 140733876343096 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 430582 399112 171 392 0 430181 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1722328

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19550
/proc/meminfo: memFree=29777872/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1727124 CPUtime=1182.04 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 150770 0 0 0 118127 77 0 0 20 0 1 0 28760399 1768574976 407816 33554432000 4194304 5796924 140733876345984 140733876343096 4598065 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 431781 407816 171 392 0 431380 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 1727124

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 19551
/proc/meminfo: memFree=29821560/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1731652 CPUtime=1242.03 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 152755 0 0 0 124117 86 0 0 20 0 1 0 28760399 1773211648 395723 33554432000 4194304 5796924 140733876345984 140733876343096 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 432913 395723 171 392 0 432512 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1731652

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19552
/proc/meminfo: memFree=29780084/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1744820 CPUtime=1302.02 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 153020 0 0 0 130115 87 0 0 20 0 1 0 28760399 1786695680 406208 33554432000 4194304 5796924 140733876345984 140733876343256 4606744 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 436205 406208 171 392 0 435804 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1744820

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19554
/proc/meminfo: memFree=29753348/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1744820 CPUtime=1362.02 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 153033 0 0 0 136114 88 0 0 20 0 1 0 28760399 1786695680 412864 33554432000 4194304 5796924 140733876345984 140733876343256 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 436205 412864 171 392 0 435804 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1744820

[startup+1422.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 19555
/proc/meminfo: memFree=29807988/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1749716 CPUtime=1422.01 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 155047 0 0 0 142104 97 0 0 20 0 1 0 28760399 1791709184 399249 33554432000 4194304 5796924 140733876345984 140733876343096 4593394 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 437429 399249 171 392 0 437028 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1749716

[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 19556
/proc/meminfo: memFree=29772376/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1756496 CPUtime=1481.99 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 156744 0 0 0 148101 98 0 0 20 0 1 0 28760399 1798651904 408100 33554432000 4194304 5796924 140733876345984 140733876343096 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 439124 408100 171 392 0 438723 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1756496

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 19560
/proc/meminfo: memFree=29738192/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1762080 CPUtime=1541.99 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 158136 0 0 0 154099 100 0 0 20 0 1 0 28760399 1804369920 416646 33554432000 4194304 5796924 140733876345984 140733876343096 4606712 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 440520 416646 171 392 0 440119 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1762080

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 19561
/proc/meminfo: memFree=29707424/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1980576 CPUtime=1601.97 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 159499 0 0 0 160094 103 0 0 20 0 1 0 28760399 2028109824 424122 33554432000 4194304 5796924 140733876345984 140733876343096 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 495144 424122 171 392 0 494743 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1980576

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19563
/proc/meminfo: memFree=29755068/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1790012 CPUtime=1661.97 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 161528 0 0 0 166086 111 0 0 20 0 1 0 28760399 1832972288 412070 33554432000 4194304 5796924 140733876345984 140733876343032 4569631 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 447503 412070 171 392 0 447102 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1790012

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 19564
/proc/meminfo: memFree=29703004/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=1790012 CPUtime=1721.96 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 161542 0 0 0 172085 111 0 0 20 0 1 0 28760399 1832972288 418727 33554432000 4194304 5796924 140733876345984 140733876343032 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 447503 418727 171 392 0 447102 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1790012

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19565
/proc/meminfo: memFree=28933192/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=2004936 CPUtime=1781.94 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 162014 0 0 0 178080 114 0 0 20 0 1 0 28760399 2053054464 425819 33554432000 4194304 5796924 140733876345984 140733876343624 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 501234 425819 171 392 0 500833 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 2004936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 19565
/proc/meminfo: memFree=28927060/32872528 swapFree=249320/249320
[pid=19473] ppid=19470 vsize=2004936 CPUtime=1800.04 cores=0,2,4,6
/proc/19473/stat : 19473 (naps-1.02) R 19470 19473 16657 0 -1 4202496 162017 0 0 0 179890 114 0 0 20 0 1 0 28760399 2053054464 427355 33554432000 4194304 5796924 140733876345984 140733876343624 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/19473/statm: 501234 427355 171 392 0 500833 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2004936

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

Child status: 0
Real time (s): 1800.43
CPU time (s): 1800.08
CPU user time (s): 1798.91
CPU system time (s): 1.17682
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 2327620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.17682
maximum resident set size= 2009580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162029
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= 134
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.33519 second user time and 7.02993 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 18:25:00
IDJOB=4103803
IDBENCH=2467
IDSOLVER=2544
FILE ID=node103/4103803-1466267100
RUNJOBID= node103-1466241673-16673
PBS_JOBID= 19918212
Free space on /tmp= 71728 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-khb05250.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103803-1466267100/watcher-4103803-1466267100 -o /tmp/evaluation-result-4103803-1466267100/solver-4103803-1466267100 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466241673-16673 --watchdog 1960  naps-1.02 HOME/instance-4103803-1466267100.opb

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

MD5SUM BENCH= 8f9b5e86f02b1dde8a9338d7682a9c8d
RANDOM SEED=1984101989

node103.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		: 2667.278
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	: 5334.55
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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:        31450432 kB
Buffers:          156748 kB
Cached:           216972 kB
SwapCached:         2488 kB
Active:           147956 kB
Inactive:         278660 kB
Active(anon):      51768 kB
Inactive(anon):     3308 kB
Active(file):      96188 kB
Inactive(file):   275352 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099548 kB
Dirty:              5476 kB
Writeback:             0 kB
AnonPages:        300864 kB
Mapped:             9048 kB
Shmem:                 0 kB
Slab:             615200 kB
SReclaimable:      59228 kB
SUnreclaim:       555972 kB
KernelStack:        1440 kB
PageTables:         4692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     420260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node103 at 2016-06-18 18:55:00