Trace number 4103915

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-van.opb
MD5SUMf8bd04e1a409d78891d8cd3f4d8f54c0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24193312742
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24193312742
Optimality of the best value was proved NO
Number of variables135360
Total number of constraints39616
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints39488
Minimum length of a constraint2
Maximum length of a constraint496
Number of terms in the objective function 192
Biggest coefficient in the objective function 2427002644
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 319999999936
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 226795425792
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 973128929893
Number of bits of the biggest sum of numbers40
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.00/1800.40	c 
1800.00/1800.40	c *** TERMINATED *** by signal 15
1800.00/1800.40	s UNKNOWN
1800.00/1800.40	c _____________________________________________________________________________
1800.00/1800.40	c 
1800.00/1800.40	c std/band forms        : 7534,0
1800.00/1800.40	c 2cl/3cl ITE-codings   : 0,0
1800.00/1800.40	c BDD/srt/adr Max costs : 13633,25237,0
1800.00/1800.40	c BDDraw/bin/mul/srt/adr: 147,0,7369,18,0
1800.00/1800.40	c BDD nodes             : 20058148
1800.00/1800.40	c Es1/CC detections     : 0,0
1800.00/1800.40	c SAT/UNSAT calls       : 0,0
1800.00/1800.40	c restarts              : 0
1800.00/1800.40	c conflicts             : 0              (0 /sec)
1800.00/1800.40	c decisions             : 0              (0 /sec)
1800.00/1800.40	c propagations          : 0              (0 /sec)
1800.00/1800.40	c inspects              : 0              (0 /sec)
1800.00/1800.40	c CPU time (solving tm) : 1799 s        (0 s)
1800.00/1800.40	c Time for Opt-base     : 1473 s
1800.00/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-4103915-1466270179/watcher-4103915-1466270179 -o /tmp/evaluation-result-4103915-1466270179/solver-4103915-1466270179 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466240351-7953 --watchdog 1960 naps-1.02 HOME/instance-4103915-1466270179.opb 

pid=11633
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.00 2.03 2.00 2/176 11636
/proc/meminfo: memFree=31530744/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=6868 CPUtime=0 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 397 0 0 0 0 0 0 0 20 0 1 0 29068619 7032832 272 33554432000 4194304 5796924 140733906136016 140735146825640 4404063 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 1717 272 124 392 0 1316 0

[startup+0.100162 s]
/proc/loadavg: 2.00 2.03 2.00 2/176 11636
/proc/meminfo: memFree=31530744/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=13828 CPUtime=0.09 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 2088 0 0 0 9 0 0 0 20 0 1 0 29068619 14159872 1921 33554432000 4194304 5796924 140733906136016 140735146825640 5091201 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 3457 1921 124 392 0 3056 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13828

[startup+0.200328 s]
/proc/loadavg: 2.00 2.03 2.00 2/176 11636
/proc/meminfo: memFree=31530744/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=20792 CPUtime=0.19 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 3878 0 0 0 19 0 0 0 20 0 1 0 29068619 21291008 3628 33554432000 4194304 5796924 140733906136016 140735146825640 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 5198 3628 124 392 0 4797 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20792

[startup+0.300329 s]
/proc/loadavg: 2.00 2.03 2.00 2/176 11636
/proc/meminfo: memFree=31530744/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=28436 CPUtime=0.29 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 5866 0 0 0 29 0 0 0 20 0 1 0 29068619 29118464 5440 33554432000 4194304 5796924 140733906136016 140735146825640 4404063 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 7109 5440 124 392 0 6708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28436

[startup+0.700276 s]
/proc/loadavg: 2.00 2.03 2.00 2/176 11636
/proc/meminfo: memFree=31530744/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=56724 CPUtime=0.69 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 12690 0 0 0 68 1 0 0 20 0 1 0 29068619 58085376 12402 33554432000 4194304 5796924 140733906136016 140733906133432 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 14181 12402 124 392 0 13780 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56724

[startup+1.50023 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11637
/proc/meminfo: memFree=31466536/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=84668 CPUtime=1.49 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 19338 0 0 0 146 3 0 0 20 0 1 0 29068619 86700032 19011 33554432000 4194304 5796924 140733906136016 140733906133512 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 21167 19011 128 392 0 20766 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84668

[startup+3.10027 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11637
/proc/meminfo: memFree=31434300/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=130640 CPUtime=3.09 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 30813 0 0 0 304 5 0 0 20 0 1 0 29068619 133775360 30486 33554432000 4194304 5796924 140733906136016 140733906135176 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 32660 30486 128 392 0 32259 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 130640

[startup+6.30021 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11637
/proc/meminfo: memFree=31329852/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=222424 CPUtime=6.29 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 53789 0 0 0 620 9 0 0 20 0 1 0 29068619 227762176 53462 33554432000 4194304 5796924 140733906136016 140733906135240 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 55606 53462 128 392 0 55205 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 222424

[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11637
/proc/meminfo: memFree=31155680/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=389588 CPUtime=12.69 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 95507 0 0 0 1254 15 0 0 20 0 1 0 29068619 398938112 95180 33554432000 4194304 5796924 140733906136016 140733906135240 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 97397 95180 129 392 0 96996 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 389588

[startup+25.5002 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11637
/proc/meminfo: memFree=30868328/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=693852 CPUtime=25.48 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 171576 0 0 0 2522 26 0 0 20 0 1 0 29068619 710504448 171247 33554432000 4194304 5796924 140733906136016 140733906135176 5092416 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 173463 171247 129 392 0 173062 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 693852

[startup+51.107 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11637
/proc/meminfo: memFree=30593312/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=916976 CPUtime=51.08 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 227935 0 0 0 5073 35 0 0 20 0 1 0 29068619 938983424 227289 33554432000 4194304 5796924 140733906136016 140733906132232 4299853 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 229244 227289 144 392 0 228843 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 916976

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11638
/proc/meminfo: memFree=30557164/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=958108 CPUtime=102.26 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 230745 0 0 0 10190 36 0 0 20 0 1 0 29068619 981102592 236661 33554432000 4194304 5796924 140733906136016 140733906132232 4802665 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 239527 236661 144 392 0 239126 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 958108

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11639
/proc/meminfo: memFree=29992260/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1525568 CPUtime=162.25 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 363275 0 0 0 16166 59 0 0 20 0 1 0 29068619 1562181632 376743 33554432000 4194304 5796924 140733906136016 140733906130504 4863673 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 381392 376743 146 392 0 380991 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1525568

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 11643
/proc/meminfo: memFree=29991360/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1526592 CPUtime=222.23 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 363423 0 0 0 22164 59 0 0 20 0 1 0 29068619 1563230208 376898 33554432000 4194304 5796924 140733906136016 140733906130584 4295683 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 381648 376898 146 392 0 381247 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1526592

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11645
/proc/meminfo: memFree=29991076/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1526592 CPUtime=282.23 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 363429 0 0 0 28164 59 0 0 20 0 1 0 29068619 1563230208 376904 33554432000 4194304 5796924 140733906136016 140733906133000 5087488 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 381648 376904 152 392 0 381247 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1526592

[startup+342.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/177 11646
/proc/meminfo: memFree=29991236/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1526592 CPUtime=342.22 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 363429 0 0 0 34163 59 0 0 20 0 1 0 29068619 1563230208 376915 33554432000 4194304 5796924 140733906136016 140733906133000 5087637 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 381648 376915 152 392 0 381247 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1526592

[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11647
/proc/meminfo: memFree=29991200/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1526592 CPUtime=402.21 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 363430 0 0 0 40162 59 0 0 20 0 1 0 29068619 1563230208 376916 33554432000 4194304 5796924 140733906136016 140733906133000 5092509 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 381648 376916 152 392 0 381247 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1526592

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11648
/proc/meminfo: memFree=29991104/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1526592 CPUtime=462.2 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 363432 0 0 0 46161 59 0 0 20 0 1 0 29068619 1563230208 376918 33554432000 4194304 5796924 140733906136016 140733906133000 4865554 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 381648 376918 152 392 0 381247 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1526592

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11649
/proc/meminfo: memFree=29989400/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1528476 CPUtime=522.19 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 363953 0 0 0 52160 59 0 0 20 0 1 0 29068619 1565159424 377439 33554432000 4194304 5796924 140733906136016 140733906130504 4839617 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 382119 377439 152 392 0 381718 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1528476

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11651
/proc/meminfo: memFree=29943408/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1571776 CPUtime=582.18 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 364438 0 0 0 58157 61 0 0 20 0 1 0 29068619 1609498624 388826 33554432000 4194304 5796924 140733906136016 140733906133000 5087724 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 392944 388826 152 392 0 392543 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1571776


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


[startup+882.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11661
/proc/meminfo: memFree=29935048/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1578028 CPUtime=882.03 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 366095 0 0 0 88142 61 0 0 20 0 1 0 29068619 1615900672 390854 33554432000 4194304 5796924 140733906136016 140733906130584 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 394507 390854 152 392 0 394106 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 1578028

[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11662
/proc/meminfo: memFree=29932076/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1578484 CPUtime=942.02 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 366265 0 0 0 94141 61 0 0 20 0 1 0 29068619 1616367616 391535 33554432000 4194304 5796924 140733906136016 140733906130504 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 394621 391535 152 392 0 394220 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1578484

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11663
/proc/meminfo: memFree=29932716/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1578996 CPUtime=1002.01 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 366352 0 0 0 100140 61 0 0 20 0 1 0 29068619 1616891904 391622 33554432000 4194304 5796924 140733906136016 140733906130584 5096588 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 394749 391622 152 392 0 394348 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1578996

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11664
/proc/meminfo: memFree=29929864/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1581876 CPUtime=1062.01 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 367067 0 0 0 106139 62 0 0 20 0 1 0 29068619 1619841024 392337 33554432000 4194304 5796924 140733906136016 140733906130584 4296352 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 395469 392337 152 392 0 395068 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1581876

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11665
/proc/meminfo: memFree=29929464/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1581876 CPUtime=1122 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 367074 0 0 0 112138 62 0 0 20 0 1 0 29068619 1619841024 392855 33554432000 4194304 5796924 140733906136016 140733906132232 5093477 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 395469 392855 152 392 0 395068 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1581876

[startup+1182.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 11667
/proc/meminfo: memFree=29924448/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1584688 CPUtime=1181.99 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 367762 0 0 0 118137 62 0 0 20 0 1 0 29068619 1622720512 393543 33554432000 4194304 5796924 140733906136016 140733906130584 5100122 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 396172 393543 152 392 0 395771 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1584688

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11668
/proc/meminfo: memFree=29923464/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1585624 CPUtime=1241.99 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 367993 0 0 0 124137 62 0 0 20 0 1 0 29068619 1623678976 393774 33554432000 4194304 5796924 140733906136016 140733906130504 4802738 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 396406 393774 152 392 0 396005 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1585624

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11669
/proc/meminfo: memFree=29922856/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1585792 CPUtime=1301.97 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 368098 0 0 0 130135 62 0 0 20 0 1 0 29068619 1623851008 393879 33554432000 4194304 5796924 140733906136016 140733906133000 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 396448 393879 152 392 0 396047 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1585792

[startup+1362.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11670
/proc/meminfo: memFree=29921872/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1587180 CPUtime=1361.97 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 368385 0 0 0 136135 62 0 0 20 0 1 0 29068619 1625272320 394166 33554432000 4194304 5796924 140733906136016 140733906130584 5087700 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 396795 394166 152 392 0 396394 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1587180

[startup+1422.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 11674
/proc/meminfo: memFree=29917572/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1588412 CPUtime=1421.95 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 368752 0 0 0 142133 62 0 0 20 0 1 0 29068619 1626533888 395044 33554432000 4194304 5796924 140733906136016 140733906130504 4805600 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 397103 395044 152 392 0 396702 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1588412

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11676
/proc/meminfo: memFree=29917224/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1589436 CPUtime=1481.94 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 368894 0 0 0 148132 62 0 0 20 0 1 0 29068619 1627582464 395186 33554432000 4194304 5796924 140733906136016 140733906130584 5100108 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 397359 395186 152 392 0 396958 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1589436

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11677
/proc/meminfo: memFree=29916360/32872528 swapFree=190488/190488
[pid=11636] ppid=11633 vsize=1590052 CPUtime=1541.93 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 369104 0 0 0 154131 62 0 0 20 0 1 0 29068619 1628213248 395396 33554432000 4194304 5796924 140733906136016 140733906130584 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 397513 395396 152 392 0 397112 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1590052

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11678
/proc/meminfo: memFree=29913500/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1592360 CPUtime=1601.93 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 369878 0 0 0 160130 63 0 0 20 0 1 0 29068619 1630576640 396170 33554432000 4194304 5796924 140733906136016 140733906130504 4809151 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 398090 396170 152 392 0 397689 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1592360

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11679
/proc/meminfo: memFree=29913252/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1592872 CPUtime=1661.92 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 369965 0 0 0 166129 63 0 0 20 0 1 0 29068619 1631100928 396257 33554432000 4194304 5796924 140733906136016 140733906130584 4810008 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 398218 396257 152 392 0 397817 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1592872

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11680
/proc/meminfo: memFree=29912760/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1592872 CPUtime=1721.91 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 369976 0 0 0 172128 63 0 0 20 0 1 0 29068619 1631100928 396268 33554432000 4194304 5796924 140733906136016 140733906133000 4805600 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 398218 396268 152 392 0 397817 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1592872

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11728
/proc/meminfo: memFree=29820964/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1592872 CPUtime=1781.9 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 369976 0 0 0 178127 63 0 0 20 0 1 0 29068619 1631100928 396268 33554432000 4194304 5796924 140733906136016 140733906133000 5100093 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 398218 396268 152 392 0 397817 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1592872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11728
/proc/meminfo: memFree=29815756/32872528 swapFree=190484/190484
[pid=11636] ppid=11633 vsize=1592872 CPUtime=1800 cores=1,3,5,7
/proc/11636/stat : 11636 (naps-1.02) R 11633 11636 7936 0 -1 4202496 369976 0 0 0 179937 63 0 0 20 0 1 0 29068619 1631100928 396268 33554432000 4194304 5796924 140733906136016 140733906133000 5087494 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11636/statm: 398218 396268 152 392 0 397817 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1592872

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 11636 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.01
CPU user time (s): 1799.37
CPU system time (s): 0.637903
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 1612840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.637903
maximum resident set size= 1596184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369989
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= 185
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74128 second user time and 6.572 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-18 19:16:21
IDJOB=4103915
IDBENCH=2503
IDSOLVER=2544
FILE ID=node102/4103915-1466270179
RUNJOBID= node102-1466240351-7953
PBS_JOBID= 19918190
Free space on /tmp= 71652 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103915-1466270179/watcher-4103915-1466270179 -o /tmp/evaluation-result-4103915-1466270179/solver-4103915-1466270179 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466240351-7953 --watchdog 1960  naps-1.02 HOME/instance-4103915-1466270179.opb

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

MD5SUM BENCH= f8bd04e1a409d78891d8cd3f4d8f54c0
RANDOM SEED=2110348891

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31530868 kB
Buffers:          134548 kB
Cached:           268456 kB
SwapCached:         2124 kB
Active:           174408 kB
Inactive:         235656 kB
Active(anon):       5496 kB
Inactive(anon):     4012 kB
Active(file):     168912 kB
Inactive(file):   231644 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67099164 kB
Dirty:             81360 kB
Writeback:             0 kB
AnonPages:        199156 kB
Mapped:             9348 kB
Shmem:                 0 kB
Slab:             610696 kB
SReclaimable:      54328 kB
SUnreclaim:       556368 kB
KernelStack:        1440 kB
PageTables:         4540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     316532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71640 MiB
End job on node102 at 2016-06-18 19:46:22