Trace number 4107184

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? 764.746 764.913

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__512.opb
MD5SUMd5fa369dda5ecc7dd4bdafa11362a969
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
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 variables5121998
Total number of constraints12000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10002
Number of constraints which are nor clauses,nor cardinality constraints1998
Minimum length of a constraint512
Maximum length of a constraint22529
Number of terms in the objective function 5120000
Biggest coefficient in the objective function 130539
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 177420790272
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 130539
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 177420790272
Number of bits of the biggest sum of numbers38
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.
764.07/764.26	terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
764.07/764.26	c 
764.07/764.26	c *** TERMINATED *** by signal 6
764.07/764.26	s UNKNOWN
764.07/764.26	c _____________________________________________________________________________
764.07/764.26	c 
764.07/764.26	c std/band forms        : 10002,1998
764.07/764.26	c 2cl/3cl ITE-codings   : 8188,13982716
764.07/764.26	c BDD/srt/adr Max costs : 67581,0,0
764.07/764.26	c BDDraw/bin/mul/srt/adr: 12000,0,0,0,0
764.07/764.26	c BDD nodes             : 40929806
764.07/764.26	c Es1/CC detections     : 0,0
764.07/764.26	c SAT/UNSAT calls       : 0,0
764.07/764.26	c restarts              : 0
764.13/764.30	c conflicts             : 0              (0 /sec)
764.13/764.30	c decisions             : 0              (0 /sec)
764.13/764.30	c propagations          : 0              (0 /sec)
764.13/764.30	c inspects              : 0              (0 /sec)
764.13/764.30	c CPU time (solving tm) : 759.5 s        (0 s)
764.13/764.30	c Time for Opt-base     : 0 s
764.13/764.30	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-4107184-1467033054/watcher-4107184-1467033054 -o /tmp/evaluation-result-4107184-1467033054/solver-4107184-1467033054 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467033053-25456 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4107184-1467033054.opb 

pid=25483
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.17 2.17 4/176 25486
/proc/meminfo: memFree=29581036/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=7764 CPUtime=0 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 576 0 0 0 0 0 0 0 20 0 1 0 36277155 7950336 451 33554432000 4194304 5796924 140734871315472 140735032324904 5151567 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1941 451 114 392 0 1540 0

[startup+0.100124 s]
/proc/loadavg: 2.04 2.17 2.17 4/176 25486
/proc/meminfo: memFree=29581036/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=25200 CPUtime=0.09 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 4942 0 0 0 9 0 0 0 20 0 1 0 36277155 25804800 4499 33554432000 4194304 5796924 140734871315472 140735032324904 4621249 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 6300 4499 114 392 0 5899 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25200

[startup+0.200312 s]
/proc/loadavg: 2.04 2.17 2.17 4/176 25486
/proc/meminfo: memFree=29581036/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=42656 CPUtime=0.19 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 9547 0 0 0 19 0 0 0 20 0 1 0 36277155 43679744 8748 33554432000 4194304 5796924 140734871315472 140734871314840 5095032 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 10664 8749 114 392 0 10263 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42656

[startup+0.300287 s]
/proc/loadavg: 2.04 2.17 2.17 4/176 25486
/proc/meminfo: memFree=29581036/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=62016 CPUtime=0.29 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 13806 0 0 0 28 1 0 0 20 0 1 0 36277155 63504384 13331 33554432000 4194304 5796924 140734871315472 140734871314840 5183584 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 15504 13332 114 392 0 15103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62016

[startup+0.700235 s]
/proc/loadavg: 2.04 2.17 2.17 4/176 25486
/proc/meminfo: memFree=29581036/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=149344 CPUtime=0.69 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 31278 0 0 0 66 3 0 0 20 0 1 0 36277155 152928256 32269 33554432000 4194304 5796924 140734871315472 140734871314888 4659057 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 37336 32270 114 392 0 36935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 149344

[startup+1.50024 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 25487
/proc/meminfo: memFree=29165484/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=282168 CPUtime=1.49 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 55229 0 0 0 139 10 0 0 20 0 1 0 36277155 288940032 66269 33554432000 4194304 5796924 140734871315472 140734871314840 5095032 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 70542 66269 114 392 0 70141 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 282168

[startup+3.10031 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 25487
/proc/meminfo: memFree=28610256/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=601600 CPUtime=3.09 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 90729 0 0 0 290 19 0 0 20 0 1 0 36277155 616038400 138338 33554432000 4194304 5796924 140734871315472 140734871314888 5095032 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 150400 138339 114 392 0 149999 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 601600

[startup+6.30025 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 25487
/proc/meminfo: memFree=27448504/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=1265256 CPUtime=6.29 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 140654 0 0 0 590 39 0 0 20 0 1 0 36277155 1295622144 275649 33554432000 4194304 5796924 140734871315472 140734871314888 5095032 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 316314 275650 114 392 0 315913 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1265256

[startup+12.7003 s]
/proc/loadavg: 2.16 2.19 2.17 4/177 25487
/proc/meminfo: memFree=26501564/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=1598460 CPUtime=12.69 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 175266 0 0 0 1219 50 0 0 20 0 1 0 36277155 1636823040 370856 33554432000 4194304 5796924 140734871315472 140734871314888 5087516 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 399615 370856 116 392 0 399214 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1598460

[startup+25.5002 s]
/proc/loadavg: 2.29 2.22 2.18 3/177 25487
/proc/meminfo: memFree=25848960/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=2062740 CPUtime=25.49 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 271224 0 0 0 2482 67 0 0 20 0 1 0 36277155 2112245760 471121 33554432000 4194304 5796924 140734871315472 140734871312888 4806832 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 515685 471121 128 392 0 515284 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2062740

[startup+51.1071 s]
/proc/loadavg: 2.26 2.22 2.18 3/177 25487
/proc/meminfo: memFree=25387024/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=2439532 CPUtime=51.09 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 329090 0 0 0 5033 76 0 0 20 0 1 0 36277155 2498080768 528987 33554432000 4194304 5796924 140734871315472 140734871312968 5087772 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 609883 528987 128 392 0 609482 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2439532

[startup+102.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/177 25488
/proc/meminfo: memFree=22842344/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=3716708 CPUtime=102.27 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 648377 0 0 0 10105 122 0 0 20 0 1 0 36277155 3805908992 848274 33554432000 4194304 5796924 140734871315472 140734871312968 4806969 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 929177 848274 128 392 0 928776 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3716708

[startup+162.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 25489
/proc/meminfo: memFree=19685068/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=5276056 CPUtime=162.26 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1038246 0 0 0 16046 180 0 0 20 0 1 0 36277155 5402681344 1238143 33554432000 4194304 5796924 140734871315472 140734871313000 5183584 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1319014 1238143 128 392 0 1318613 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5276056

[startup+222.3 s]
/proc/loadavg: 2.12 2.19 2.17 4/177 25491
/proc/meminfo: memFree=18293528/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=5943024 CPUtime=222.26 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1205681 0 0 0 22019 207 0 0 20 0 1 0 36277155 6085656576 1404909 33554432000 4194304 5796924 140734871315472 140734871313784 5093523 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1485756 1404909 139 392 0 1485355 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 5943024

[startup+282.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 25492
/proc/meminfo: memFree=17931068/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=6205180 CPUtime=282.24 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1206394 0 0 0 28013 211 0 0 20 0 1 0 36277155 6354104320 1468475 33554432000 4194304 5796924 140734871315472 140734859833096 5100064 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1551295 1468475 139 392 0 1550894 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 6205180

[startup+342.3 s]
/proc/loadavg: 2.26 2.22 2.18 4/177 25493
/proc/meminfo: memFree=17404616/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=6420620 CPUtime=342.23 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1207999 0 0 0 34005 218 0 0 20 0 1 0 36277155 6574714880 1522944 33554432000 4194304 5796924 140734871315472 140734865066744 5077866 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1605155 1522944 139 392 0 1604754 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 6420620

[startup+402.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/177 25494
/proc/meminfo: memFree=17151312/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=6562628 CPUtime=402.23 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1226406 0 0 0 40000 223 0 0 20 0 1 0 36277155 6720131072 1553104 33554432000 4194304 5796924 140734871315472 140734868564664 5087538 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1640657 1553104 139 392 0 1640256 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 6562628

[startup+462.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 25495
/proc/meminfo: memFree=16852500/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=6765152 CPUtime=462.21 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1250856 0 0 0 45993 228 0 0 20 0 1 0 36277155 6927515648 1589818 33554432000 4194304 5796924 140734871315472 140734868484312 4806881 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1691288 1589818 139 392 0 1690887 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 6765152

[startup+522.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 25497
/proc/meminfo: memFree=15885728/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=7190516 CPUtime=522.2 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1273455 0 0 0 51977 243 0 0 20 0 1 0 36277155 7363088384 1707415 33554432000 4194304 5796924 140734871315472 140734869345864 4269222 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1797629 1707415 139 392 0 1797228 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 7190516

[startup+582.3 s]
/proc/loadavg: 2.17 2.20 2.18 4/178 25501
/proc/meminfo: memFree=15592900/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=7443344 CPUtime=582.2 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1297631 0 0 0 57970 250 0 0 20 0 1 0 36277155 7621984256 1743344 33554432000 4194304 5796924 140734871315472 140734871002008 5092526 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1860836 1743344 139 392 0 1860435 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 7443344

[startup+642.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 25502
/proc/meminfo: memFree=15262960/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=7542784 CPUtime=642.19 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1322536 0 0 0 63964 255 0 0 20 0 1 0 36277155 7723810816 1781024 33554432000 4194304 5796924 140734871315472 140734870766904 4806845 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1885696 1781024 139 392 0 1885295 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 7542784

[startup+702.307 s]
/proc/loadavg: 2.26 2.21 2.18 3/177 25503
/proc/meminfo: memFree=13553496/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=7667392 CPUtime=702.18 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1353712 0 0 0 69953 265 0 0 20 0 1 0 36277155 7851409408 1827530 33554432000 4194304 5796924 140734871315472 140734871074888 5077954 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/25486/statm: 1916848 1827530 139 392 0 1916447 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 7667392

[startup+762.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 25550
/proc/meminfo: memFree=15362916/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=14651760 CPUtime=762.16 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1599079 0 0 0 75774 442 0 0 20 0 1 0 36277155 15003402240 3418068 33554432000 4194304 5796924 140734871315472 140734871104888 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25486/statm: 3662940 3418069 140 392 0 3662539 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 14651760

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25486 sig 9
??? kill -25486 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+763.6 s]
/proc/loadavg: 2.21 2.22 2.18 4/177 25550
/proc/meminfo: memFree=15071884/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=15574436 CPUtime=763.46 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202496 1627545 0 0 0 75887 459 0 0 20 0 1 0 36277155 15948222464 3499053 33554432000 4194304 5796924 140734871315472 140734870968808 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/25486/statm: 3893609 3499054 140 392 0 3893208 0
Current children cumulated CPU time (s) 763.46
Current children cumulated vsize (KiB) 15574436

[startup+764.4 s]
/proc/loadavg: 2.21 2.22 2.18 4/177 25550
/proc/meminfo: memFree=14797304/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=0 CPUtime=764.23 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202500 1642010 0 5 0 75947 476 0 0 20 0 1 0 36277155 0 0 33554432000 0 0 0 0 0 0 32 4096 17954 18446744073709551615 0 0 17 2 0 0 3 0 0
/proc/25486/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 764.23
Current children cumulated vsize (KiB) 0

[startup+764.8 s]
/proc/loadavg: 2.21 2.22 2.18 4/177 25550
/proc/meminfo: memFree=14797304/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=0 CPUtime=764.63 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202500 1642010 0 5 0 75947 516 0 0 20 0 1 0 36277155 0 0 33554432000 0 0 0 0 0 0 32 4096 17954 18446744073709551615 0 0 17 2 0 0 3 0 0
/proc/25486/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 764.63
Current children cumulated vsize (KiB) 0

[startup+764.9 s]
/proc/loadavg: 2.21 2.22 2.18 4/177 25550
/proc/meminfo: memFree=28382132/32872528 swapFree=1582320/1721312
[pid=25486] ppid=25483 vsize=0 CPUtime=764.73 cores=0,2,4,6
/proc/25486/stat : 25486 (naps-1.02) R 25483 25486 24003 0 -1 4202500 1642010 0 5 0 75947 526 0 0 20 0 1 0 36277155 0 0 33554432000 0 0 0 0 0 0 32 4096 17954 18446744073709551615 0 0 17 2 0 0 3 0 0
/proc/25486/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 764.73
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 764.913
CPU time (s): 764.746
CPU user time (s): 759.473
CPU system time (s): 5.2732
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 15627236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 759.473
system time used= 5.2732
maximum resident set size= 14152028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1642010
page faults= 5
swaps= 0
block input operations= 624
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.42263 second user time and 3.34549 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-27 15:11:01
IDJOB=4107184
IDBENCH=71913
IDSOLVER=2544
FILE ID=node120/4107184-1467033054
RUNJOBID= node120-1467033053-25456
PBS_JOBID= 19976971
Free space on /tmp= 71160 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__512.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107184-1467033054/watcher-4107184-1467033054 -o /tmp/evaluation-result-4107184-1467033054/solver-4107184-1467033054 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467033053-25456 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4107184-1467033054.opb

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

MD5SUM BENCH= d5fa369dda5ecc7dd4bdafa11362a969
RANDOM SEED=1849406106

node120.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.073
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.14
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.073
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.073
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.57
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.073
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.073
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.073
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.073
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.073
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:        29584012 kB
Buffers:           89012 kB
Cached:           713580 kB
SwapCached:         2072 kB
Active:           566744 kB
Inactive:         246492 kB
Active(anon):      10024 kB
Inactive(anon):     2896 kB
Active(file):     556720 kB
Inactive(file):   243596 kB
Unevictable:     1721312 kB
Mlocked:         1582320 kB
SwapTotal:      67108856 kB
SwapFree:       67098736 kB
Dirty:            518660 kB
Writeback:             0 kB
AnonPages:       1735572 kB
Mapped:             7560 kB
Shmem:                 0 kB
Slab:             619572 kB
SReclaimable:      62856 kB
SUnreclaim:       556716 kB
KernelStack:        1416 kB
PageTables:         7408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1852440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988036 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 71092 MiB
End job on node120 at 2016-06-27 15:23:46