Trace number 4100619

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.13 1800.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb
MD5SUM79ac545a8fcf117e4e23dd9b4f8255c5
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 variables27888
Total number of constraints874
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 constraints874
Minimum length of a constraint11
Maximum length of a constraint246
Number of terms in the objective function 27836
Biggest coefficient in the objective function 8308
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 546265
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 546265
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.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED *** by signal 15
1800.07/1800.40	s UNKNOWN
1800.07/1800.40	c _____________________________________________________________________________
1800.07/1800.40	c 
1800.07/1800.40	c std/band forms        : 326,522
1800.07/1800.40	c 2cl/3cl ITE-codings   : 330967,3215030
1800.07/1800.40	c BDD/srt/adr Max costs : 41622,0,0
1800.07/1800.40	c BDDraw/bin/mul/srt/adr: 254,0,594,0,0
1800.07/1800.40	c BDD nodes             : 4139933
1800.07/1800.40	c Es1/CC detections     : 0,0
1800.07/1800.40	c SAT/UNSAT calls       : 0,0
1800.07/1800.40	c restarts              : 0
1800.07/1800.40	c conflicts             : 0              (0 /sec)
1800.07/1800.40	c decisions             : 0              (0 /sec)
1800.07/1800.40	c propagations          : 0              (0 /sec)
1800.07/1800.40	c inspects              : 0              (0 /sec)
1800.07/1800.40	c CPU time (solving tm) : 1799 s        (0 s)
1800.07/1800.40	c Time for Opt-base     : 233.1 s
1800.07/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-4100619-1466217432/watcher-4100619-1466217432 -o /tmp/evaluation-result-4100619-1466217432/solver-4100619-1466217432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466206100-326 --watchdog 1960 naps-1.02 HOME/instance-4100619-1466217432.opb 

pid=2579
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: 3.80 2.50 2.17 3/177 2582
/proc/meminfo: memFree=28389128/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=8564 CPUtime=0 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 775 0 0 0 0 0 0 0 20 0 1 0 23793237 8769536 650 33554432000 4194304 5796924 140735888970208 140733883029432 4659057 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 2141 650 114 392 0 1740 0

[startup+0.100168 s]
/proc/loadavg: 3.80 2.50 2.17 3/177 2582
/proc/meminfo: memFree=28389128/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=18464 CPUtime=0.09 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 3149 0 0 0 9 0 0 0 20 0 1 0 23793237 18907136 2844 33554432000 4194304 5796924 140735888970208 140733883029432 5100989 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 4616 2844 128 392 0 4215 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18464

[startup+0.200367 s]
/proc/loadavg: 3.80 2.50 2.17 3/177 2582
/proc/meminfo: memFree=28389128/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=20880 CPUtime=0.19 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 3671 0 0 0 19 0 0 0 20 0 1 0 23793237 21381120 3366 33554432000 4194304 5796924 140735888970208 140733883029432 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 5220 3367 128 392 0 4819 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20880

[startup+0.300346 s]
/proc/loadavg: 3.80 2.50 2.17 3/177 2582
/proc/meminfo: memFree=28389128/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=24248 CPUtime=0.29 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 4462 0 0 0 29 0 0 0 20 0 1 0 23793237 24829952 4157 33554432000 4194304 5796924 140735888970208 140733883029432 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 6062 4157 128 392 0 5661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24248

[startup+0.70029 s]
/proc/loadavg: 3.80 2.50 2.17 3/177 2582
/proc/meminfo: memFree=28389128/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=36000 CPUtime=0.69 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 7453 0 0 0 68 1 0 0 20 0 1 0 23793237 36864000 6930 33554432000 4194304 5796924 140735888970208 140735888969432 4806943 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 9000 6930 143 392 0 8599 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36000

[startup+1.50023 s]
/proc/loadavg: 3.65 2.50 2.17 3/178 2583
/proc/meminfo: memFree=28359560/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=36000 CPUtime=1.49 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 7453 0 0 0 148 1 0 0 20 0 1 0 23793237 36864000 6930 33554432000 4194304 5796924 140735888970208 140735888966424 5092651 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 9000 6930 143 392 0 8599 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36000

[startup+3.10023 s]
/proc/loadavg: 3.65 2.50 2.17 3/178 2583
/proc/meminfo: memFree=28359444/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=37864 CPUtime=3.09 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 7742 0 0 0 308 1 0 0 20 0 1 0 23793237 38772736 7219 33554432000 4194304 5796924 140735888970208 140735888966424 4199797 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 9466 7219 143 392 0 9065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37864

[startup+6.30023 s]
/proc/loadavg: 3.52 2.49 2.17 3/178 2583
/proc/meminfo: memFree=28356304/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=39260 CPUtime=6.29 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 8132 0 0 0 628 1 0 0 20 0 1 0 23793237 40202240 7609 33554432000 4194304 5796924 140735888970208 140735888966424 4839617 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 9815 7609 144 392 0 9414 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39260

[startup+12.7002 s]
/proc/loadavg: 3.40 2.48 2.17 3/178 2583
/proc/meminfo: memFree=28350088/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=42216 CPUtime=12.69 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 8985 0 0 0 1268 1 0 0 20 0 1 0 23793237 43229184 8462 33554432000 4194304 5796924 140735888970208 140735888966424 4809248 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 10554 8462 144 392 0 10153 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42216

[startup+25.5002 s]
/proc/loadavg: 3.09 2.45 2.16 3/178 2584
/proc/meminfo: memFree=28339200/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=45328 CPUtime=25.48 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 10088 0 0 0 2547 1 0 0 20 0 1 0 23793237 46415872 9535 33554432000 4194304 5796924 140735888970208 140735888966424 4266549 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 11332 9535 144 392 0 10931 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45328

[startup+51.1003 s]
/proc/loadavg: 2.79 2.43 2.16 3/178 2584
/proc/meminfo: memFree=28253420/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=110000 CPUtime=51.08 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 22461 0 0 0 5105 3 0 0 20 0 1 0 23793237 112640000 25573 33554432000 4194304 5796924 140735888970208 140735888966424 5096673 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 27500 25573 144 392 0 27099 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110000

[startup+102.3 s]
/proc/loadavg: 2.34 2.36 2.15 3/177 2585
/proc/meminfo: memFree=28197684/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=143972 CPUtime=102.27 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 24838 0 0 0 10223 4 0 0 20 0 1 0 23793237 147427328 33919 33554432000 4194304 5796924 140735888970208 140735888966424 4839608 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 35993 33919 144 392 0 35592 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 143972

[startup+162.3 s]
/proc/loadavg: 2.24 2.33 2.15 3/177 2586
/proc/meminfo: memFree=28138772/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=165476 CPUtime=162.26 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 28433 0 0 0 16221 5 0 0 20 0 1 0 23793237 169447424 39047 33554432000 4194304 5796924 140735888970208 140735888966424 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 41369 39047 144 392 0 40968 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 165476

[startup+222.307 s]
/proc/loadavg: 2.08 2.26 2.14 4/178 2590
/proc/meminfo: memFree=28022612/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=241788 CPUtime=222.26 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 34746 0 0 0 22218 8 0 0 20 0 1 0 23793237 247590912 57810 33554432000 4194304 5796924 140735888970208 140735888926072 4313472 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 60447 57810 144 392 0 60046 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 241788

[startup+282.3 s]
/proc/loadavg: 2.03 2.21 2.13 3/177 2591
/proc/meminfo: memFree=28048360/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=292780 CPUtime=282.23 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 42831 0 0 0 28214 9 0 0 20 0 1 0 23793237 299806720 68450 33554432000 4194304 5796924 140735888970208 140735888966424 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 73195 68450 144 392 0 72794 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 292780

[startup+342.3 s]
/proc/loadavg: 2.04 2.19 2.12 3/177 2593
/proc/meminfo: memFree=26064400/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2640340 CPUtime=342.23 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 181828 0 0 0 34163 60 0 0 20 0 1 0 23793237 2703708160 555002 33554432000 4194304 5796924 140735888970208 140735888967256 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 660085 555002 170 392 0 659684 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2640340

[startup+402.3 s]
/proc/loadavg: 2.01 2.15 2.11 3/177 2594
/proc/meminfo: memFree=26046996/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2452788 CPUtime=402.22 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 182843 0 0 0 40155 67 0 0 20 0 1 0 23793237 2511654912 552723 33554432000 4194304 5796924 140735888970208 140735888967256 4606601 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 613197 552723 170 392 0 612796 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2452788

[startup+462.3 s]
/proc/loadavg: 2.00 2.12 2.10 3/177 2595
/proc/meminfo: memFree=25949916/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2667712 CPUtime=462.21 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 183619 0 0 0 46151 70 0 0 20 0 1 0 23793237 2731737088 567289 33554432000 4194304 5796924 140735888970208 140735888967848 4606559 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 666928 567289 170 392 0 666527 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2667712

[startup+522.3 s]
/proc/loadavg: 2.11 2.13 2.10 3/177 2596
/proc/meminfo: memFree=25966576/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2465568 CPUtime=522.2 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 184119 0 0 0 52143 77 0 0 20 0 1 0 23793237 2524741632 555793 33554432000 4194304 5796924 140735888970208 140735888967672 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 616392 555793 170 392 0 615991 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2465568

[startup+582.3 s]
/proc/loadavg: 2.12 2.12 2.09 4/177 2597
/proc/meminfo: memFree=25960548/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2719312 CPUtime=582.19 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 185419 0 0 0 58138 81 0 0 20 0 1 0 23793237 2784575488 571899 33554432000 4194304 5796924 140735888970208 140735888967256 4607776 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 679828 571899 170 392 0 679427 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2719312


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


[startup+882.307 s]
/proc/loadavg: 2.02 2.08 2.08 3/177 2606
/proc/meminfo: memFree=25815388/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2758188 CPUtime=882.15 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 187977 0 0 0 88125 90 0 0 20 0 1 0 23793237 2824384512 598729 33554432000 4194304 5796924 140735888970208 140735888967256 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 689547 598729 170 392 0 689146 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 2758188

[startup+942.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/176 2607
/proc/meminfo: memFree=25834696/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2758188 CPUtime=942.13 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 188218 0 0 0 94116 97 0 0 20 0 1 0 23793237 2824384512 584186 33554432000 4194304 5796924 140735888970208 140735888967672 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 689547 584186 170 392 0 689146 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 2758188

[startup+1002.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/177 2609
/proc/meminfo: memFree=25770736/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2771944 CPUtime=1002.13 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 188234 0 0 0 100115 98 0 0 20 0 1 0 23793237 2838470656 591356 33554432000 4194304 5796924 140735888970208 140735888967256 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 692986 591356 170 392 0 692585 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 2771944

[startup+1062.3 s]
/proc/loadavg: 2.03 2.06 2.07 3/177 2610
/proc/meminfo: memFree=25697188/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2771944 CPUtime=1062.11 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 188762 0 0 0 106113 98 0 0 20 0 1 0 23793237 2838470656 601082 33554432000 4194304 5796924 140735888970208 140735888967256 4583238 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 692986 601082 170 392 0 692585 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 2771944

[startup+1122.3 s]
/proc/loadavg: 2.05 2.06 2.07 4/177 2656
/proc/meminfo: memFree=28961288/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2771944 CPUtime=1122.11 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 188781 0 0 0 112112 99 0 0 20 0 1 0 23793237 2838470656 609786 33554432000 4194304 5796924 140735888970208 140735888967256 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 692986 609786 170 392 0 692585 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2771944

[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/177 2703
/proc/meminfo: memFree=28998028/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2771944 CPUtime=1182.1 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 188802 0 0 0 118111 99 0 0 20 0 1 0 23793237 2838470656 617979 33554432000 4194304 5796924 140735888970208 140735888967256 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 692986 617979 170 392 0 692585 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2771944

[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/177 2704
/proc/meminfo: memFree=28924764/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2784860 CPUtime=1242.08 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 189288 0 0 0 124103 105 0 0 20 0 1 0 23793237 2851696640 596214 33554432000 4194304 5796924 140735888970208 140735888967672 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 696215 596214 170 392 0 695814 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2784860

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/177 2706
/proc/meminfo: memFree=28776200/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2799836 CPUtime=1302.08 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 189818 0 0 0 130102 106 0 0 20 0 1 0 23793237 2867032064 606453 33554432000 4194304 5796924 140735888970208 140735888967256 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 699959 606453 170 392 0 699558 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2799836

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/177 2707
/proc/meminfo: memFree=28576500/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2799836 CPUtime=1362.07 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 189831 0 0 0 136101 106 0 0 20 0 1 0 23793237 2867032064 613109 33554432000 4194304 5796924 140735888970208 140735888967256 4583138 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 699959 613109 170 392 0 699558 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2799836

[startup+1422.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/178 2711
/proc/meminfo: memFree=28450456/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2799836 CPUtime=1422.07 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 189850 0 0 0 142100 107 0 0 20 0 1 0 23793237 2867032064 620790 33554432000 4194304 5796924 140735888970208 140735888967256 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 699959 620790 170 392 0 699558 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2799836

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/178 2735
/proc/meminfo: memFree=28297804/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2799836 CPUtime=1482.04 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 190060 0 0 0 148092 112 0 0 20 0 1 0 23793237 2867032064 600060 33554432000 4194304 5796924 140735888970208 140735888967672 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 699959 600060 170 392 0 699558 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2799836

[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.04 3/177 2736
/proc/meminfo: memFree=28141872/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2799836 CPUtime=1542.04 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 190590 0 0 0 154091 113 0 0 20 0 1 0 23793237 2867032064 610525 33554432000 4194304 5796924 140735888970208 140735888967672 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 699959 610525 170 392 0 699558 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2799836

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.04 3/177 2738
/proc/meminfo: memFree=26279384/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2799836 CPUtime=1602.01 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 190618 0 0 0 160088 113 0 0 20 0 1 0 23793237 2867032064 617849 33554432000 4194304 5796924 140735888970208 140735888967672 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 699959 617849 170 392 0 699558 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2799836

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/177 2739
/proc/meminfo: memFree=17995572/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2799836 CPUtime=1662 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 190641 0 0 0 166086 114 0 0 20 0 1 0 23793237 2867032064 625386 33554432000 4194304 5796924 140735888970208 140735888967672 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 699959 625386 170 392 0 699558 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 2799836

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/177 2740
/proc/meminfo: memFree=17785316/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2799836 CPUtime=1721.99 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 190659 0 0 0 172085 114 0 0 20 0 1 0 23793237 2867032064 632043 33554432000 4194304 5796924 140735888970208 140735888967672 4583301 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 699959 632043 170 392 0 699558 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2799836

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/177 2741
/proc/meminfo: memFree=18347244/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2799836 CPUtime=1781.98 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 191149 0 0 0 178077 121 0 0 20 0 1 0 23793237 2867032064 606693 33554432000 4194304 5796924 140735888970208 140735888967672 4569794 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 699959 606693 170 392 0 699558 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2799836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.02 3/177 2741
/proc/meminfo: memFree=18315360/32872528 swapFree=241348/274052
[pid=2582] ppid=2579 vsize=2813292 CPUtime=1800.07 cores=1,3,5,7
/proc/2582/stat : 2582 (naps-1.02) R 2579 2582 309 0 -1 4202496 191156 0 0 0 179886 121 0 0 20 0 1 0 23793237 2880811008 609766 33554432000 4194304 5796924 140735888970208 140735888967256 4606645 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/2582/statm: 703323 609766 170 392 0 702922 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2813292

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

Child status: 0
Real time (s): 1800.44
CPU time (s): 1800.13
CPU user time (s): 1798.87
CPU system time (s): 1.25481
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 3358636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.25481
maximum resident set size= 2924444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191168
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= 66
involuntary context switches= 2373

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78027 second user time and 6.67998 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-18 04:37:12
IDJOB=4100619
IDBENCH=1640
IDSOLVER=2544
FILE ID=node107/4100619-1466217432
RUNJOBID= node107-1466206100-326
PBS_JOBID= 19918165
Free space on /tmp= 71708 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100619-1466217432/watcher-4100619-1466217432 -o /tmp/evaluation-result-4100619-1466217432/solver-4100619-1466217432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466206100-326 --watchdog 1960  naps-1.02 HOME/instance-4100619-1466217432.opb

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

MD5SUM BENCH= 79ac545a8fcf117e4e23dd9b4f8255c5
RANDOM SEED=624791556

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28389548 kB
Buffers:           84156 kB
Cached:           102376 kB
SwapCached:         3136 kB
Active:          3328312 kB
Inactive:         121540 kB
Active(anon):    3262876 kB
Inactive(anon):     2864 kB
Active(file):      65436 kB
Inactive(file):   118676 kB
Unevictable:      274052 kB
Mlocked:          241348 kB
SwapTotal:      67108856 kB
SwapFree:       67099620 kB
Dirty:              9128 kB
Writeback:            40 kB
AnonPages:       3543868 kB
Mapped:             9476 kB
Shmem:                 0 kB
Slab:             609692 kB
SReclaimable:      52496 kB
SUnreclaim:       557196 kB
KernelStack:        1456 kB
PageTables:        11004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4244200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1773568 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= 71704 MiB
End job on node107 at 2016-06-18 05:07:13