Trace number 4103659

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.11 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-agg3.opb
MD5SUMbbee2849ae83900e79494d0f7a7c3755
Bench CategoryOPT-BIGINT (optimisation, big 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 variables9060
Total number of constraints429
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 constraints429
Minimum length of a constraint30
Maximum length of a constraint1440
Number of terms in the objective function 6930
Biggest coefficient in the objective function 53730040872960
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 8516865379203027
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 22763326668800000
Number of bits of the biggest number in a constraint 55
Biggest sum of numbers in a constraint 46271983665442689
Number of bits of the biggest sum of numbers56
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.09/1800.40	c 
1800.09/1800.40	c *** TERMINATED *** by signal 15
1800.09/1800.40	s UNKNOWN
1800.09/1800.40	c _____________________________________________________________________________
1800.09/1800.40	c 
1800.09/1800.40	c std/band forms        : 47,0
1800.09/1800.40	c 2cl/3cl ITE-codings   : 0,0
1800.09/1800.40	c BDD/srt/adr Max costs : 141815,95456,0
1800.09/1800.40	c BDDraw/bin/mul/srt/adr: 27,0,7,13,0
1800.09/1800.40	c BDD nodes             : 2486670
1800.09/1800.40	c Es1/CC detections     : 0,0
1800.09/1800.40	c SAT/UNSAT calls       : 0,0
1800.09/1800.40	c restarts              : 0
1800.09/1800.40	c conflicts             : 0              (0 /sec)
1800.09/1800.40	c decisions             : 0              (0 /sec)
1800.09/1800.40	c propagations          : 0              (0 /sec)
1800.09/1800.40	c inspects              : 0              (0 /sec)
1800.09/1800.40	c CPU time (solving tm) : 1800 s        (0 s)
1800.09/1800.40	c Time for Opt-base     : 1336 s
1800.09/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-4103659-1466263657/watcher-4103659-1466263657 -o /tmp/evaluation-result-4103659-1466263657/solver-4103659-1466263657 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466241101-19194 --watchdog 1960 naps-1.02 HOME/instance-4103659-1466263657.opb 

pid=21483
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.51 2.17 2.04 3/179 21486
/proc/meminfo: memFree=31757612/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=7152 CPUtime=0 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 442 0 0 0 0 0 0 0 20 0 1 0 28411602 7323648 316 33554432000 4194304 5796924 140733251382080 140737468546600 4659057 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 1788 316 114 392 0 1387 0

[startup+0.100156 s]
/proc/loadavg: 2.51 2.17 2.04 3/179 21486
/proc/meminfo: memFree=31757612/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=10756 CPUtime=0.09 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 1312 0 0 0 9 0 0 0 20 0 1 0 28411602 11014144 1186 33554432000 4194304 5796924 140733251382080 140737468546600 5092427 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 2689 1186 128 392 0 2288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10756

[startup+0.200306 s]
/proc/loadavg: 2.51 2.17 2.04 3/179 21486
/proc/meminfo: memFree=31757612/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=12784 CPUtime=0.19 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 1799 0 0 0 19 0 0 0 20 0 1 0 28411602 13090816 1667 33554432000 4194304 5796924 140733251382080 140737468546600 4405683 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 3196 1667 128 392 0 2795 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12784

[startup+0.300265 s]
/proc/loadavg: 2.51 2.17 2.04 3/179 21486
/proc/meminfo: memFree=31757612/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=14848 CPUtime=0.29 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 2312 0 0 0 29 0 0 0 20 0 1 0 28411602 15204352 2180 33554432000 4194304 5796924 140733251382080 140737468546600 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 3712 2180 128 392 0 3311 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14848

[startup+0.700237 s]
/proc/loadavg: 2.51 2.17 2.04 3/179 21486
/proc/meminfo: memFree=31757612/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=26624 CPUtime=0.68 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 5365 0 0 0 68 0 0 0 20 0 1 0 28411602 27262976 5104 33554432000 4194304 5796924 140733251382080 140733251236904 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 6656 5105 139 392 0 6255 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 26624

[startup+1.50028 s]
/proc/loadavg: 2.47 2.17 2.04 3/180 21487
/proc/meminfo: memFree=31714592/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=60656 CPUtime=1.48 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 14072 0 0 0 147 1 0 0 20 0 1 0 28411602 62111744 13563 33554432000 4194304 5796924 140733251382080 140733251236904 5094663 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 15164 13563 144 392 0 14763 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 60656

[startup+3.10023 s]
/proc/loadavg: 2.47 2.17 2.04 3/180 21487
/proc/meminfo: memFree=31703928/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=61488 CPUtime=3.08 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 14247 0 0 0 307 1 0 0 20 0 1 0 28411602 62963712 13738 33554432000 4194304 5796924 140733251382080 140733251376568 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 15372 13738 144 392 0 14971 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 61488

[startup+6.30021 s]
/proc/loadavg: 2.47 2.17 2.04 3/179 21487
/proc/meminfo: memFree=31703212/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=62656 CPUtime=6.28 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 14497 0 0 0 627 1 0 0 20 0 1 0 28411602 64159744 13988 33554432000 4194304 5796924 140733251382080 140733251376648 5092487 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 15664 13988 144 392 0 15263 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 62656

[startup+12.7002 s]
/proc/loadavg: 2.47 2.18 2.04 3/180 21488
/proc/meminfo: memFree=31702980/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=62656 CPUtime=12.68 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 14504 0 0 0 1267 1 0 0 20 0 1 0 28411602 64159744 13995 33554432000 4194304 5796924 140733251382080 140733251376568 5100101 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 15664 13995 144 392 0 15263 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 62656

[startup+25.5003 s]
/proc/loadavg: 2.47 2.19 2.05 3/180 21488
/proc/meminfo: memFree=31705164/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=62004 CPUtime=25.49 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 14733 0 0 0 2547 2 0 0 20 0 1 0 28411602 63492096 13813 33554432000 4194304 5796924 140733251382080 140733251376568 5096544 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 15501 13813 151 392 0 15100 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62004

[startup+51.1003 s]
/proc/loadavg: 2.37 2.19 2.05 4/180 21488
/proc/meminfo: memFree=31693248/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=73100 CPUtime=51.08 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 17687 0 0 0 5106 2 0 0 20 0 1 0 28411602 74854400 16611 33554432000 4194304 5796924 140733251382080 140733251376568 5100064 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 18275 16611 151 392 0 17874 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73100

[startup+102.3 s]
/proc/loadavg: 2.15 2.15 2.04 3/179 21489
/proc/meminfo: memFree=31692980/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=73100 CPUtime=102.27 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 17714 0 0 0 10225 2 0 0 20 0 1 0 28411602 74854400 16676 33554432000 4194304 5796924 140733251382080 140733251376568 5087724 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 18275 16676 151 392 0 17874 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73100

[startup+162.3 s]
/proc/loadavg: 2.05 2.12 2.04 3/180 21493
/proc/meminfo: memFree=31690892/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=75152 CPUtime=162.25 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 19859 0 0 0 16223 2 0 0 20 0 1 0 28411602 76955648 17070 33554432000 4194304 5796924 140733251382080 140733251376696 5087772 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 18788 17070 151 392 0 18387 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 75152

[startup+222.307 s]
/proc/loadavg: 2.06 2.11 2.04 3/179 21494
/proc/meminfo: memFree=31691456/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=73916 CPUtime=222.26 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 20621 0 0 0 22223 3 0 0 20 0 1 0 28411602 75689984 16896 33554432000 4194304 5796924 140733251382080 140733251376712 5092427 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 18479 16896 151 392 0 18078 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 73916

[startup+282.3 s]
/proc/loadavg: 2.06 2.10 2.04 3/179 21495
/proc/meminfo: memFree=31694800/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=69532 CPUtime=282.24 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 20666 0 0 0 28221 3 0 0 20 0 1 0 28411602 71200768 15902 33554432000 4194304 5796924 140733251382080 140733251378296 4809232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 17383 15902 151 392 0 16982 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 69532

[startup+342.3 s]
/proc/loadavg: 2.06 2.10 2.04 3/179 21497
/proc/meminfo: memFree=31591112/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=174600 CPUtime=342.22 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 45179 0 0 0 34215 7 0 0 20 0 1 0 28411602 178790400 41497 33554432000 4194304 5796924 140733251382080 140733251376648 5092526 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 43650 41497 151 392 0 43249 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 174600

[startup+402.3 s]
/proc/loadavg: 2.06 2.09 2.04 3/179 21498
/proc/meminfo: memFree=31589160/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=174600 CPUtime=402.21 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 45220 0 0 0 40214 7 0 0 20 0 1 0 28411602 178790400 41877 33554432000 4194304 5796924 140733251382080 140733251376648 5092526 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 43650 41877 151 392 0 43249 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 174600

[startup+462.3 s]
/proc/loadavg: 2.06 2.08 2.04 3/179 21499
/proc/meminfo: memFree=31589672/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=174600 CPUtime=462.2 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 45222 0 0 0 46213 7 0 0 20 0 1 0 28411602 178790400 41879 33554432000 4194304 5796924 140733251382080 140733251376648 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 43650 41879 151 392 0 43249 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 174600

[startup+522.3 s]
/proc/loadavg: 2.06 2.08 2.04 3/179 21500
/proc/meminfo: memFree=31589428/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=174600 CPUtime=522.19 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 45222 0 0 0 52212 7 0 0 20 0 1 0 28411602 178790400 41879 33554432000 4194304 5796924 140733251382080 140733251379064 4839563 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 43650 41879 151 392 0 43249 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 174600

[startup+582.3 s]
/proc/loadavg: 2.06 2.08 2.04 3/179 21501
/proc/meminfo: memFree=31588620/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=174600 CPUtime=582.19 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 45222 0 0 0 58212 7 0 0 20 0 1 0 28411602 178790400 41879 33554432000 4194304 5796924 140733251382080 140733251379064 4865554 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 43650 41879 151 392 0 43249 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 174600


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.04 2.02 3/179 21510
/proc/meminfo: memFree=31513316/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=240420 CPUtime=882.14 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 59214 0 0 0 88205 9 0 0 20 0 1 0 28411602 246190080 58345 33554432000 4194304 5796924 140733251382080 140733251376568 5087771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 60105 58345 151 392 0 59704 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 240420

[startup+942.3 s]
/proc/loadavg: 1.95 2.01 2.01 3/179 21604
/proc/meminfo: memFree=31508336/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=240420 CPUtime=942.12 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 59216 0 0 0 94203 9 0 0 20 0 1 0 28411602 246190080 58347 33554432000 4194304 5796924 140733251382080 140733251376568 5087500 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 60105 58347 151 392 0 59704 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 240420

[startup+1002.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 21605
/proc/meminfo: memFree=31492588/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=240420 CPUtime=1002.12 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 59216 0 0 0 100203 9 0 0 20 0 1 0 28411602 246190080 58347 33554432000 4194304 5796924 140733251382080 140733251376568 4810733 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 60105 58347 151 392 0 59704 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 240420

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 21606
/proc/meminfo: memFree=31445340/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=246624 CPUtime=1062.11 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 60869 0 0 0 106201 10 0 0 20 0 1 0 28411602 252542976 60000 33554432000 4194304 5796924 140733251382080 140733251379064 5100093 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 61656 60000 151 392 0 61255 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 246624

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21607
/proc/meminfo: memFree=31420516/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=249720 CPUtime=1122.1 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 61519 0 0 0 112200 10 0 0 20 0 1 0 28411602 255713280 60650 33554432000 4194304 5796924 140733251382080 140733251376648 5096544 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 62430 60650 151 392 0 62029 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 249720

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21608
/proc/meminfo: memFree=31421036/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=249720 CPUtime=1182.09 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 61533 0 0 0 118199 10 0 0 20 0 1 0 28411602 255713280 60664 33554432000 4194304 5796924 140733251382080 140733251376648 4863664 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 62430 60664 151 392 0 62029 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 249720

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21609
/proc/meminfo: memFree=31420668/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=249720 CPUtime=1242.08 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 61538 0 0 0 124198 10 0 0 20 0 1 0 28411602 255713280 60669 33554432000 4194304 5796924 140733251382080 140733251376648 5096658 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 62430 60669 151 392 0 62029 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 249720

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21611
/proc/meminfo: memFree=31419976/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=249720 CPUtime=1302.07 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 61539 0 0 0 130197 10 0 0 20 0 1 0 28411602 255713280 60670 33554432000 4194304 5796924 140733251382080 140733251376648 5087529 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 62430 60670 151 392 0 62029 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 249720

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 21615
/proc/meminfo: memFree=31380124/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=249720 CPUtime=1362.06 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 61539 0 0 0 136196 10 0 0 20 0 1 0 28411602 255713280 60670 33554432000 4194304 5796924 140733251382080 140733251379064 5096709 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 62430 60670 151 392 0 62029 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 249720

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21616
/proc/meminfo: memFree=31336152/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=296420 CPUtime=1422.06 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 72141 0 0 0 142194 12 0 0 20 0 1 0 28411602 303534080 71783 33554432000 4194304 5796924 140733251382080 140733251376648 5087632 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 74105 71783 151 392 0 73704 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 296420

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21617
/proc/meminfo: memFree=30471896/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=296420 CPUtime=1482.04 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 72170 0 0 0 148192 12 0 0 20 0 1 0 28411602 303534080 71812 33554432000 4194304 5796924 140733251382080 140733251376648 5092643 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 74105 71812 151 392 0 73704 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 296420

[startup+1542.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 21618
/proc/meminfo: memFree=30471904/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=296420 CPUtime=1542.04 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 72183 0 0 0 154192 12 0 0 20 0 1 0 28411602 303534080 71825 33554432000 4194304 5796924 140733251382080 140733251376648 5092558 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 74105 71825 151 392 0 73704 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 296420

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 21620
/proc/meminfo: memFree=30471868/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=296420 CPUtime=1602.02 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 72191 0 0 0 160190 12 0 0 20 0 1 0 28411602 303534080 71831 33554432000 4194304 5796924 140733251382080 140733251376648 5087516 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 74105 71831 151 392 0 73704 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 296420

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21622
/proc/meminfo: memFree=30471924/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=296420 CPUtime=1662.01 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 72194 0 0 0 166189 12 0 0 20 0 1 0 28411602 303534080 71834 33554432000 4194304 5796924 140733251382080 140733251376648 5096633 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 74105 71834 151 392 0 73704 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 296420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21623
/proc/meminfo: memFree=30471412/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=296420 CPUtime=1722 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 72195 0 0 0 172188 12 0 0 20 0 1 0 28411602 303534080 71835 33554432000 4194304 5796924 140733251382080 140733251376648 5092467 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 74105 71835 151 392 0 73704 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 296420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21624
/proc/meminfo: memFree=30471204/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=296420 CPUtime=1782 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 72195 0 0 0 178188 12 0 0 20 0 1 0 28411602 303534080 71835 33554432000 4194304 5796924 140733251382080 140733251376648 5087606 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 74105 71835 151 392 0 73704 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 296420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21624
/proc/meminfo: memFree=30471808/32872528 swapFree=7780/7780
[pid=21486] ppid=21483 vsize=296420 CPUtime=1800.09 cores=1,3,5,7
/proc/21486/stat : 21486 (naps-1.02) R 21483 21486 19177 0 -1 4202496 72195 0 0 0 179997 12 0 0 20 0 1 0 28411602 303534080 71835 33554432000 4194304 5796924 140733251382080 140733251376648 5096680 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/21486/statm: 74105 71835 151 392 0 73704 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 296420

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

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.11
CPU user time (s): 1799.98
CPU system time (s): 0.13098
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 296420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.13098
maximum resident set size= 287392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72208
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= 28
involuntary context switches= 2014

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55116 second user time and 6.14307 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-18 17:27:37
IDJOB=4103659
IDBENCH=2423
IDSOLVER=2544
FILE ID=node133/4103659-1466263657
RUNJOBID= node133-1466241101-19194
PBS_JOBID= 19918201
Free space on /tmp= 71708 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103659-1466263657/watcher-4103659-1466263657 -o /tmp/evaluation-result-4103659-1466263657/solver-4103659-1466263657 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466241101-19194 --watchdog 1960  naps-1.02 HOME/instance-4103659-1466263657.opb

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

MD5SUM BENCH= bbee2849ae83900e79494d0f7a7c3755
RANDOM SEED=2093729809

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31757900 kB
Buffers:          125584 kB
Cached:           187096 kB
SwapCached:         1324 kB
Active:           136988 kB
Inactive:         230784 kB
Active(anon):      55636 kB
Inactive(anon):     1904 kB
Active(file):      81352 kB
Inactive(file):   228880 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099968 kB
Dirty:              7020 kB
Writeback:             0 kB
AnonPages:         61916 kB
Mapped:             8748 kB
Shmem:                 0 kB
Slab:             608296 kB
SReclaimable:      51024 kB
SUnreclaim:       557272 kB
KernelStack:        1464 kB
PageTables:         3948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     181496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node133 at 2016-06-18 17:57:37