Trace number 4101467

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.09 1800.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
MD5SUM03b4fab8c58cfc4ea6c0d3c2d05c0d91
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables14036
Total number of constraints600
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 constraints600
Minimum length of a constraint19
Maximum length of a constraint1523
Number of terms in the objective function 13668
Biggest coefficient in the objective function 1162
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 535890
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262020
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535890
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        : 450,45
1800.07/1800.40	c 2cl/3cl ITE-codings   : 45902,890427
1800.07/1800.40	c BDD/srt/adr Max costs : 95833,0,0
1800.07/1800.40	c BDDraw/bin/mul/srt/adr: 100,0,395,0,0
1800.07/1800.40	c BDD nodes             : 969174
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     : 1.411 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-4101467-1466228777/watcher-4101467-1466228777 -o /tmp/evaluation-result-4101467-1466228777/solver-4101467-1466228777 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466206070-7007 --watchdog 1960 naps-1.02 HOME/instance-4101467-1466228777.opb 

pid=12406
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.04 2.02 2.00 3/176 12409
/proc/meminfo: memFree=30996904/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=8364 CPUtime=0 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 751 0 0 0 0 0 0 0 20 0 1 0 24924333 8564736 626 33554432000 4194304 5796924 140734947877824 140734832932904 4659057 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 2091 626 114 392 0 1690 0

[startup+0.100161 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 12409
/proc/meminfo: memFree=30996904/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=13440 CPUtime=0.09 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 1988 0 0 0 9 0 0 0 20 0 1 0 24924333 13762560 1821 33554432000 4194304 5796924 140734947877824 140734832932904 4261408 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 3360 1821 128 392 0 2959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13440

[startup+0.200323 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 12409
/proc/meminfo: memFree=30996904/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=16704 CPUtime=0.19 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 2912 0 0 0 19 0 0 0 20 0 1 0 24924333 17104896 2617 33554432000 4194304 5796924 140734947877824 140734832932904 5092509 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 4176 2617 128 392 0 3775 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16704

[startup+0.300312 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 12409
/proc/meminfo: memFree=30996904/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=17680 CPUtime=0.29 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 3184 0 0 0 29 0 0 0 20 0 1 0 24924333 18104320 2858 33554432000 4194304 5796924 140734947877824 140734832932904 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 4420 2858 129 392 0 4019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17680

[startup+0.700274 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 12409
/proc/meminfo: memFree=30996904/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=19944 CPUtime=0.69 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 3879 0 0 0 69 0 0 0 20 0 1 0 24924333 20422656 3443 33554432000 4194304 5796924 140734947877824 140734947877048 5087499 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 4986 3443 144 392 0 4585 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19944

[startup+1.50026 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 12410
/proc/meminfo: memFree=30983612/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=20484 CPUtime=1.49 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 4002 0 0 0 149 0 0 0 20 0 1 0 24924333 20975616 3566 33554432000 4194304 5796924 140734947877824 140734947874040 5096591 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 5121 3566 144 392 0 4720 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20484

[startup+3.10027 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 12410
/proc/meminfo: memFree=30960424/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=70412 CPUtime=3.09 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 16968 0 0 0 307 2 0 0 20 0 1 0 24924333 72101888 16037 33554432000 4194304 5796924 140734947877824 140734947290856 4805672 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 17603 16038 144 392 0 17202 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70412

[startup+6.30028 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 12410
/proc/meminfo: memFree=30916544/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=94180 CPUtime=6.29 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 21538 0 0 0 626 3 0 0 20 0 1 0 24924333 96440320 21696 33554432000 4194304 5796924 140734947877824 140734947508104 5087579 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 23545 21696 144 392 0 23144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94180

[startup+12.7003 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 12410
/proc/meminfo: memFree=30878328/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=133928 CPUtime=12.68 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 29051 0 0 0 1264 4 0 0 20 0 1 0 24924333 137142272 31683 33554432000 4194304 5796924 140734947877824 140734947522984 5077927 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 33482 31683 144 392 0 33081 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 133928

[startup+25.5004 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 12410
/proc/meminfo: memFree=30415416/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=646772 CPUtime=25.49 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 70600 0 0 0 2532 17 0 0 20 0 1 0 24924333 662294528 144705 33554432000 4194304 5796924 140734947877824 140734947874872 5094444 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 161693 144705 170 392 0 161292 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 646772

[startup+51.1004 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 12411
/proc/meminfo: memFree=30398948/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=653284 CPUtime=51.08 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 71591 0 0 0 5091 17 0 0 20 0 1 0 24924333 668962816 148251 33554432000 4194304 5796924 140734947877824 140734947874872 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 163321 148251 170 392 0 162920 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 653284

[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 12412
/proc/meminfo: memFree=30389648/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=661992 CPUtime=102.28 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 73693 0 0 0 10208 20 0 0 20 0 1 0 24924333 677879808 149021 33554432000 4194304 5796924 140734947877824 140734947874872 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 165498 149021 170 392 0 165097 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 661992

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 12413
/proc/meminfo: memFree=30348328/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=670524 CPUtime=162.27 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 75388 0 0 0 16206 21 0 0 20 0 1 0 24924333 686616576 156337 33554432000 4194304 5796924 140734947877824 140734947874872 4583148 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 167631 156337 170 392 0 167230 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 670524

[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12414
/proc/meminfo: memFree=30366832/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=674240 CPUtime=222.26 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 76674 0 0 0 22203 23 0 0 20 0 1 0 24924333 690421760 155252 33554432000 4194304 5796924 140734947877824 140734947874872 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 168560 155252 170 392 0 168159 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 674240

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 12418
/proc/meminfo: memFree=30328936/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=683304 CPUtime=282.25 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 78081 0 0 0 28201 24 0 0 20 0 1 0 24924333 699703296 162791 33554432000 4194304 5796924 140734947877824 140734947874872 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 170826 162791 170 392 0 170425 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 683304

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 12419
/proc/meminfo: memFree=30319448/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=691896 CPUtime=342.24 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 79532 0 0 0 34199 25 0 0 20 0 1 0 24924333 708501504 163142 33554432000 4194304 5796924 140734947877824 140734947874872 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 172974 163142 170 392 0 172573 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 691896

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12421
/proc/meminfo: memFree=30286612/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=780124 CPUtime=402.22 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 80227 0 0 0 40196 26 0 0 20 0 1 0 24924333 798846976 169455 33554432000 4194304 5796924 140734947877824 140734947875464 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 195031 169455 170 392 0 194630 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 780124

[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12422
/proc/meminfo: memFree=30287336/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=701392 CPUtime=462.21 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 80978 0 0 0 46192 29 0 0 20 0 1 0 24924333 718225408 167191 33554432000 4194304 5796924 140734947877824 140734947874872 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 175348 167191 170 392 0 174947 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 701392

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12423
/proc/meminfo: memFree=30306208/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=709828 CPUtime=522.19 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 83036 0 0 0 52186 33 0 0 20 0 1 0 24924333 726863872 166894 33554432000 4194304 5796924 140734947877824 140734947875288 4606708 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 177457 166894 170 392 0 177056 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 709828

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12424
/proc/meminfo: memFree=30266456/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=795132 CPUtime=582.18 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 84175 0 0 0 58184 34 0 0 20 0 1 0 24924333 814215168 174785 33554432000 4194304 5796924 140734947877824 140734947875464 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 198783 174785 170 392 0 198382 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 795132


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12524
/proc/meminfo: memFree=30512240/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=826624 CPUtime=882.12 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 91432 0 0 0 88163 49 0 0 20 0 1 0 24924333 846462976 185400 33554432000 4194304 5796924 140734947877824 140734947874872 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 206656 185400 170 392 0 206255 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 826624

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12548
/proc/meminfo: memFree=30471432/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=829388 CPUtime=942.1 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 91594 0 0 0 94161 49 0 0 20 0 1 0 24924333 849293312 192716 33554432000 4194304 5796924 140734947877824 140734947874872 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 207347 192716 170 392 0 206946 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 829388

[startup+1002.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12550
/proc/meminfo: memFree=30463992/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=837736 CPUtime=1002.1 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 93597 0 0 0 100156 54 0 0 20 0 1 0 24924333 857841664 191711 33554432000 4194304 5796924 140734947877824 140734947874872 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 209434 191711 170 392 0 209033 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 837736

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12551
/proc/meminfo: memFree=30436016/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=839968 CPUtime=1062.09 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 94281 0 0 0 106155 54 0 0 20 0 1 0 24924333 860127232 198016 33554432000 4194304 5796924 140734947877824 140734947874872 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 209992 198016 170 392 0 209591 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 839968

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12552
/proc/meminfo: memFree=30431504/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=846940 CPUtime=1122.08 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 95241 0 0 0 112150 58 0 0 20 0 1 0 24924333 867266560 196304 33554432000 4194304 5796924 140734947877824 140734947874872 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 211735 196304 170 392 0 211334 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 846940

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12553
/proc/meminfo: memFree=30404356/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=852236 CPUtime=1182.07 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 95483 0 0 0 118149 58 0 0 20 0 1 0 24924333 872689664 203700 33554432000 4194304 5796924 140734947877824 140734947874872 4591899 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 213059 203700 170 392 0 212658 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 852236

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12554
/proc/meminfo: memFree=30391276/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=867624 CPUtime=1242.06 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 97153 0 0 0 124144 62 0 0 20 0 1 0 24924333 888446976 203641 33554432000 4194304 5796924 140734947877824 140734947875144 4606534 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 216906 203641 170 392 0 216505 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 867624

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12556
/proc/meminfo: memFree=30366696/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=868580 CPUtime=1302.05 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 97369 0 0 0 130143 62 0 0 20 0 1 0 24924333 889425920 211011 33554432000 4194304 5796924 140734947877824 140734947874872 4592091 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 217145 211011 170 392 0 216744 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 868580

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12557
/proc/meminfo: memFree=30365332/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=868580 CPUtime=1362.04 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 97533 0 0 0 136139 65 0 0 20 0 1 0 24924333 889425920 206747 33554432000 4194304 5796924 140734947877824 140734947875288 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 217145 206747 170 392 0 216744 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 868580

[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12558
/proc/meminfo: memFree=30332552/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=1010468 CPUtime=1422.04 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 99822 0 0 0 142136 68 0 0 20 0 1 0 24924333 1034719232 216689 33554432000 4194304 5796924 140734947877824 140734947874872 4594694 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 252617 216689 170 392 0 252216 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1010468

[startup+1482.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/178 12562
/proc/meminfo: memFree=30338760/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=880776 CPUtime=1482.01 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 100136 0 0 0 148129 72 0 0 20 0 1 0 24924333 901914624 210728 33554432000 4194304 5796924 140734947877824 140734947874872 4593382 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 220194 210728 170 392 0 219793 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 880776

[startup+1542.31 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 12563
/proc/meminfo: memFree=30316124/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=1018820 CPUtime=1542.01 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 102085 0 0 0 154126 75 0 0 20 0 1 0 24924333 1043271680 218787 33554432000 4194304 5796924 140734947877824 140734947874872 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 254705 218787 170 392 0 254304 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1018820

[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 12565
/proc/meminfo: memFree=30353320/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=891412 CPUtime=1602 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 103129 0 0 0 160120 80 0 0 20 0 1 0 24924333 912805888 212722 33554432000 4194304 5796924 140734947877824 140734947874872 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 222853 212722 170 392 0 222452 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 891412

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 12566
/proc/meminfo: memFree=30304668/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=1023672 CPUtime=1661.98 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 104040 0 0 0 166117 81 0 0 20 0 1 0 24924333 1048240128 220255 33554432000 4194304 5796924 140734947877824 140734947875464 4606483 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 255918 220255 170 392 0 255517 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1023672

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12567
/proc/meminfo: memFree=30279208/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=1030916 CPUtime=1721.97 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 105328 0 0 0 172115 82 0 0 20 0 1 0 24924333 1055657984 228186 33554432000 4194304 5796924 140734947877824 140734947874872 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 257729 228186 170 392 0 257328 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1030916

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12568
/proc/meminfo: memFree=30289096/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=910428 CPUtime=1781.97 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 106402 0 0 0 178110 87 0 0 20 0 1 0 24924333 932278272 221451 33554432000 4194304 5796924 140734947877824 140734947874872 4607720 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 227607 221451 170 392 0 227206 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 910428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12569
/proc/meminfo: memFree=30268956/32872528 swapFree=303544/319896
[pid=12409] ppid=12406 vsize=1042688 CPUtime=1800.07 cores=0,2,4,6
/proc/12409/stat : 12409 (naps-1.02) R 12406 12409 6991 0 -1 4202496 107406 0 0 0 179918 89 0 0 20 0 1 0 24924333 1067712512 223962 33554432000 4194304 5796924 140734947877824 140734947875464 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12409/statm: 260672 223962 170 392 0 260271 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1042688

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

Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.09
CPU user time (s): 1799.18
CPU system time (s): 0.906862
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 1248684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.906862
maximum resident set size= 1113712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107418
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= 108
involuntary context switches= 1871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67014 second user time and 6.51201 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-18 07:46:17
IDJOB=4101467
IDBENCH=1753
IDSOLVER=2544
FILE ID=node128/4101467-1466228777
RUNJOBID= node128-1466206070-7007
PBS_JOBID= 19918149
Free space on /tmp= 71704 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101467-1466228777/watcher-4101467-1466228777 -o /tmp/evaluation-result-4101467-1466228777/solver-4101467-1466228777 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466206070-7007 --watchdog 1960  naps-1.02 HOME/instance-4101467-1466228777.opb

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

MD5SUM BENCH= 03b4fab8c58cfc4ea6c0d3c2d05c0d91
RANDOM SEED=960118792

node128.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.768
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.53
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.768
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.768
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.768
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.768
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.57
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.768
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.768
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.56
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.768
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:        30997432 kB
Buffers:          102056 kB
Cached:           116500 kB
SwapCached:         2708 kB
Active:           661192 kB
Inactive:         148740 kB
Active(anon):     591308 kB
Inactive(anon):     2684 kB
Active(file):      69884 kB
Inactive(file):   146056 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67099180 kB
Dirty:              4284 kB
Writeback:             0 kB
AnonPages:        846896 kB
Mapped:             9400 kB
Shmem:                 0 kB
Slab:             611360 kB
SReclaimable:      54984 kB
SUnreclaim:       556376 kB
KernelStack:        1472 kB
PageTables:         6288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1103644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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= 71700 MiB
End job on node128 at 2016-06-18 08:16:18