Trace number 4082114

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 NameAnswerCPU timeWall clock time
NaPS 1.02? (TO) 1800.08 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-180.opb
MD5SUM8c3fe83338b70253b33b876e52e7c579
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small 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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables311827
Total number of constraints7317246
Number of constraints which are clauses6573583
Number of constraints which are cardinality constraints (but not clauses)22922
Number of constraints which are nor clauses,nor cardinality constraints720741
Minimum length of a constraint2
Maximum length of a constraint2457
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2458
Number of bits of the biggest sum of numbers12
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.06/1800.50	c 
1800.06/1800.50	c *** TERMINATED *** by signal 15
1800.06/1800.50	s UNKNOWN
1800.06/1800.50	c _____________________________________________________________________________
1800.06/1800.50	c 
1800.06/1800.50	c std/band forms        : 743662,1
1800.06/1800.50	c 2cl/3cl ITE-codings   : 824110,19
1800.06/1800.50	c BDD/srt/adr Max costs : 30,0,0
1800.06/1800.50	c BDDraw/bin/mul/srt/adr: 743663,0,0,0,0
1800.06/1800.50	c BDD nodes             : 4577058
1800.06/1800.50	c Es1/CC detections     : 0,0
1800.06/1800.50	c SAT/UNSAT calls       : 0,0
1800.06/1800.50	c restarts              : 0
1800.06/1800.50	c conflicts             : 0              (0 /sec)
1800.06/1800.50	c decisions             : 0              (0 /sec)
1800.06/1800.50	c propagations          : 0              (0 /sec)
1800.06/1800.50	c inspects              : 0              (0 /sec)
1800.06/1800.50	c CPU time (solving tm) : 1798 s        (0 s)
1800.06/1800.50	c Time for Opt-base     : 0 s
1800.06/1800.50	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-4082114-1465261599/watcher-4082114-1465261599 -o /tmp/evaluation-result-4082114-1465261599/solver-4082114-1465261599 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465254880-10346 --watchdog 1960 naps-1.02 HOME/instance-4082114-1465261599.opb 

pid=10996
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.27 2.20 2.18 4/177 10999
/proc/meminfo: memFree=29777136/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=6420 CPUtime=0 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 108093705 6574080 175 33554432000 4194304 5796924 140734692158544 140735180492040 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 1605 175 127 392 0 1204 0

[startup+0.100125 s]
/proc/loadavg: 2.27 2.20 2.18 4/177 10999
/proc/meminfo: memFree=29777136/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=7668 CPUtime=0.09 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 634 0 0 0 9 0 0 0 20 0 1 0 108093705 7852032 500 33554432000 4194304 5796924 140734692158544 140735180492040 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 1917 500 127 392 0 1516 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7668

[startup+0.200385 s]
/proc/loadavg: 2.27 2.20 2.18 4/177 10999
/proc/meminfo: memFree=29777136/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=8672 CPUtime=0.19 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 955 0 0 0 19 0 0 0 20 0 1 0 108093705 8880128 800 33554432000 4194304 5796924 140734692158544 140735180492040 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 2168 800 127 392 0 1767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8672

[startup+0.300287 s]
/proc/loadavg: 2.27 2.20 2.18 4/177 10999
/proc/meminfo: memFree=29777136/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=9668 CPUtime=0.29 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 1285 0 0 0 29 0 0 0 20 0 1 0 108093705 9900032 1115 33554432000 4194304 5796924 140734692158544 140735180492040 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 2417 1115 127 392 0 2016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9668

[startup+0.700286 s]
/proc/loadavg: 2.27 2.20 2.18 4/177 10999
/proc/meminfo: memFree=29777136/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=14556 CPUtime=0.69 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 2599 0 0 0 69 0 0 0 20 0 1 0 108093705 14905344 2372 33554432000 4194304 5796924 140734692158544 140734692157816 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 3639 2372 127 392 0 3238 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14556

[startup+1.50029 s]
/proc/loadavg: 2.27 2.20 2.18 4/178 11000
/proc/meminfo: memFree=29761832/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=23164 CPUtime=1.49 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 5225 0 0 0 148 1 0 0 20 0 1 0 108093705 23719936 5303 33554432000 4194304 5796924 140734692158544 140734692157816 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 5791 5303 127 392 0 5390 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23164

[startup+3.10029 s]
/proc/loadavg: 2.27 2.20 2.18 4/178 11000
/proc/meminfo: memFree=29744964/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=44364 CPUtime=3.09 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 10364 0 0 0 307 2 0 0 20 0 1 0 108093705 45428736 10021 33554432000 4194304 5796924 140734692158544 140734692157816 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 11091 10021 127 392 0 10690 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44364

[startup+6.30021 s]
/proc/loadavg: 2.25 2.20 2.18 3/178 11000
/proc/meminfo: memFree=29706600/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=86424 CPUtime=6.29 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 21089 0 0 0 625 4 0 0 20 0 1 0 108093705 88498176 20314 33554432000 4194304 5796924 140734692158544 140734692157768 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 21606 20314 127 392 0 21205 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86424

[startup+12.7002 s]
/proc/loadavg: 2.23 2.19 2.18 4/178 11000
/proc/meminfo: memFree=29618560/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=180288 CPUtime=12.69 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 39377 0 0 0 1260 9 0 0 20 0 1 0 108093705 184614912 40753 33554432000 4194304 5796924 140734692158544 140734692157704 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 45072 40753 127 392 0 44671 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 180288

[startup+25.5003 s]
/proc/loadavg: 2.25 2.20 2.18 3/178 11001
/proc/meminfo: memFree=29435560/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=337056 CPUtime=25.48 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 72404 0 0 0 2529 19 0 0 20 0 1 0 108093705 345145344 81490 33554432000 4194304 5796924 140734692158544 140734692157816 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 84264 81490 127 392 0 83863 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 337056

[startup+51.1003 s]
/proc/loadavg: 2.24 2.20 2.18 3/178 11001
/proc/meminfo: memFree=29179116/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=712636 CPUtime=51.08 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 135057 0 0 0 5071 37 0 0 20 0 1 0 108093705 729739264 162799 33554432000 4194304 5796924 140734692158544 140734692157768 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 178159 162800 127 392 0 177758 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 712636

[startup+102.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/178 11002
/proc/meminfo: memFree=28470956/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=1401192 CPUtime=102.28 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 252457 0 0 0 10158 70 0 0 20 0 1 0 108093705 1434820608 324755 33554432000 4194304 5796924 140734692158544 140734692157704 4404063 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 350298 324755 127 392 0 349897 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1401192

[startup+162.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/178 11003
/proc/meminfo: memFree=28110964/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=1743232 CPUtime=162.26 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 327303 0 0 0 16136 90 0 0 20 0 1 0 108093705 1785069568 423964 33554432000 4194304 5796924 140734692158544 140734692153000 5096706 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 435808 423964 139 392 0 435407 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1743232

[startup+222.307 s]
/proc/loadavg: 2.23 2.21 2.18 3/179 11007
/proc/meminfo: memFree=27499700/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=222.27 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 344513 0 0 0 22113 114 0 0 20 0 1 0 108093705 2549055488 558677 33554432000 4194304 5796924 140734692158544 140734692156392 4606779 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 558677 164 392 0 621927 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 2489312

[startup+282.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/178 11008
/proc/meminfo: memFree=27520748/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=282.25 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 344523 0 0 0 28111 114 0 0 20 0 1 0 108093705 2549055488 563286 33554432000 4194304 5796924 140734692158544 140734692156392 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 563286 165 392 0 621927 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2489312

[startup+342.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/178 11010
/proc/meminfo: memFree=27533884/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=342.23 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 344532 0 0 0 34109 114 0 0 20 0 1 0 108093705 2549055488 567894 33554432000 4194304 5796924 140734692158544 140734692156392 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 567894 165 392 0 621927 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2489312

[startup+402.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/178 11011
/proc/meminfo: memFree=27442332/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=402.23 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 344546 0 0 0 40108 115 0 0 20 0 1 0 108093705 2549055488 575062 33554432000 4194304 5796924 140734692158544 140734692156392 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 575062 165 392 0 621927 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2489312

[startup+462.3 s]
/proc/loadavg: 2.08 2.14 2.16 3/178 11012
/proc/meminfo: memFree=27536196/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=462.22 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 344746 0 0 0 46102 120 0 0 20 0 1 0 108093705 2549055488 566311 33554432000 4194304 5796924 140734692158544 140734692156008 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 566311 165 392 0 621927 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2489312

[startup+522.3 s]
/proc/loadavg: 2.18 2.14 2.16 3/178 11013
/proc/meminfo: memFree=27423668/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=522.2 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 344800 0 0 0 52099 121 0 0 20 0 1 0 108093705 2549055488 579624 33554432000 4194304 5796924 140734692158544 140734692156008 4583348 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 579624 165 392 0 621927 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2489312

[startup+582.3 s]
/proc/loadavg: 2.06 2.11 2.15 3/178 11014
/proc/meminfo: memFree=27549012/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=582.17 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 346037 0 0 0 58091 126 0 0 20 0 1 0 108093705 2549055488 566239 33554432000 4194304 5796924 140734692158544 140734692156008 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 566239 165 392 0 621927 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 2489312


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


[startup+942.3 s]
/proc/loadavg: 2.17 2.15 2.15 3/178 11070
/proc/meminfo: memFree=27833308/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=942.04 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 348983 0 0 0 94052 152 0 0 20 0 1 0 108093705 2549055488 574188 33554432000 4194304 5796924 140734692158544 140734692156008 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 574188 165 392 0 621927 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 2489312

[startup+1002.3 s]
/proc/loadavg: 2.21 2.17 2.15 3/178 11071
/proc/meminfo: memFree=27788308/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2704236 CPUtime=1002.02 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 349902 0 0 0 100046 156 0 0 20 0 1 0 108093705 2769137664 582622 33554432000 4194304 5796924 140734692158544 140734692156184 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 676059 582622 165 392 0 675658 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 2704236

[startup+1062.3 s]
/proc/loadavg: 2.33 2.21 2.17 3/178 11072
/proc/meminfo: memFree=27744932/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2704236 CPUtime=1062 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 351073 0 0 0 106034 166 0 0 20 0 1 0 108093705 2769137664 584677 33554432000 4194304 5796924 140734692158544 140734692156184 4607194 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 676059 584677 165 392 0 675658 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 2704236

[startup+1122.3 s]
/proc/loadavg: 2.22 2.20 2.17 3/178 11073
/proc/meminfo: memFree=27796144/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=1121.98 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 351354 0 0 0 112024 174 0 0 20 0 1 0 108093705 2549055488 571382 33554432000 4194304 5796924 140734692158544 140734692156008 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 571382 165 392 0 621927 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 2489312

[startup+1182.3 s]
/proc/loadavg: 2.19 2.19 2.16 3/178 11074
/proc/meminfo: memFree=27715728/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2704236 CPUtime=1181.96 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 352288 0 0 0 118018 178 0 0 20 0 1 0 108093705 2769137664 591339 33554432000 4194304 5796924 140734692158544 140734692156184 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 676059 591339 165 392 0 675658 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 2704236

[startup+1242.3 s]
/proc/loadavg: 2.67 2.30 2.20 3/182 11246
/proc/meminfo: memFree=27757908/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=1241.96 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 352533 0 0 0 124011 185 0 0 20 0 1 0 108093705 2549055488 569987 33554432000 4194304 5796924 140734692158544 140734692156008 4606483 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 569987 165 392 0 621927 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 2489312

[startup+1302.3 s]
/proc/loadavg: 2.46 2.31 2.21 3/178 11281
/proc/meminfo: memFree=27672416/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=1301.95 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 352545 0 0 0 130009 186 0 0 20 0 1 0 108093705 2549055488 576871 33554432000 4194304 5796924 140734692158544 140734692156008 4607277 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 576871 165 392 0 621927 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 2489312

[startup+1362.3 s]
/proc/loadavg: 2.32 2.30 2.21 3/178 11283
/proc/meminfo: memFree=27657948/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=1361.94 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 352553 0 0 0 136008 186 0 0 20 0 1 0 108093705 2549055488 582145 33554432000 4194304 5796924 140734692158544 140734692156008 4594159 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 582145 165 392 0 621927 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 2489312

[startup+1422.3 s]
/proc/loadavg: 2.25 2.27 2.20 3/179 11287
/proc/meminfo: memFree=27737156/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=1421.93 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 353667 0 0 0 141999 194 0 0 20 0 1 0 108093705 2549055488 564737 33554432000 4194304 5796924 140734692158544 140734692156008 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 564737 165 392 0 621927 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 2489312

[startup+1482.3 s]
/proc/loadavg: 2.09 2.22 2.18 3/178 11288
/proc/meminfo: memFree=27606428/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2704236 CPUtime=1481.92 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 354597 0 0 0 147994 198 0 0 20 0 1 0 108093705 2769137664 592745 33554432000 4194304 5796924 140734692158544 140734692156184 4607209 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 676059 592745 165 392 0 675658 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 2704236

[startup+1542.31 s]
/proc/loadavg: 2.03 2.18 2.17 3/178 11289
/proc/meminfo: memFree=27727548/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=1541.91 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 354846 0 0 0 153986 205 0 0 20 0 1 0 108093705 2549055488 565249 33554432000 4194304 5796924 140734692158544 140734692156008 4607201 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 565249 165 392 0 621927 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 2489312

[startup+1602.3 s]
/proc/loadavg: 2.01 2.14 2.16 3/178 11291
/proc/meminfo: memFree=27705412/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=1601.9 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 354863 0 0 0 159984 206 0 0 20 0 1 0 108093705 2549055488 573953 33554432000 4194304 5796924 140734692158544 140734692156008 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 573953 165 392 0 621927 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 2489312

[startup+1662.3 s]
/proc/loadavg: 2.08 2.13 2.15 3/178 11292
/proc/meminfo: memFree=27658004/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=1661.89 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 354875 0 0 0 165983 206 0 0 20 0 1 0 108093705 2549055488 580097 33554432000 4194304 5796924 140734692158544 140734692156008 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 580097 165 392 0 621927 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 2489312

[startup+1722.3 s]
/proc/loadavg: 2.11 2.12 2.15 3/178 11293
/proc/meminfo: memFree=27647816/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2704236 CPUtime=1721.88 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 355770 0 0 0 171978 210 0 0 20 0 1 0 108093705 2769137664 586089 33554432000 4194304 5796924 140734692158544 140734692156184 4583328 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 676059 586089 165 392 0 675658 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 2704236

[startup+1782.3 s]
/proc/loadavg: 2.08 2.11 2.14 3/178 11294
/proc/meminfo: memFree=27601284/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2704236 CPUtime=1781.86 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 355793 0 0 0 177976 210 0 0 20 0 1 0 108093705 2769137664 592386 33554432000 4194304 5796924 140734692158544 140734692156184 4583208 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 676059 592386 165 392 0 675658 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 2704236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.10 2.14 3/178 11295
/proc/meminfo: memFree=27690864/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=1800.06 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 356024 0 0 0 179790 216 0 0 20 0 1 0 108093705 2549055488 568986 33554432000 4194304 5796924 140734692158544 140734692156008 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 568986 165 392 0 621927 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2489312

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.10 2.14 3/178 11295
/proc/meminfo: memFree=27690864/32872528 swapFree=14956/1314940
[pid=10999] ppid=10996 vsize=2489312 CPUtime=1800.06 cores=1,3,5,7
/proc/10999/stat : 10999 (naps-1.02) R 10996 10999 10329 0 -1 4202496 356024 0 0 0 179790 216 0 0 20 0 1 0 108093705 2549055488 568986 33554432000 4194304 5796924 140734692158544 140734692156008 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/10999/statm: 622328 568986 165 392 0 621927 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2489312

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1797.9
CPU system time (s): 2.17267
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 3048112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.9
system time used= 2.17267
maximum resident set size= 2686724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356036
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= 349
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5843 second user time and 6.88495 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-07 03:06:47
IDJOB=4082114
IDBENCH=89691
IDSOLVER=2544
FILE ID=node131/4082114-1465261599
RUNJOBID= node131-1465254880-10346
PBS_JOBID= 19843271
Free space on /tmp= 71348 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-180.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4082114-1465261599/watcher-4082114-1465261599 -o /tmp/evaluation-result-4082114-1465261599/solver-4082114-1465261599 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465254880-10346 --watchdog 1960  naps-1.02 HOME/instance-4082114-1465261599.opb

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

MD5SUM BENCH= 8c3fe83338b70253b33b876e52e7c579
RANDOM SEED=820596527

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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:        29777796 kB
Buffers:           36392 kB
Cached:           574684 kB
SwapCached:         5116 kB
Active:           882128 kB
Inactive:         149980 kB
Active(anon):     418752 kB
Inactive(anon):     4608 kB
Active(file):     463376 kB
Inactive(file):   145372 kB
Unevictable:     1314940 kB
Mlocked:           14956 kB
SwapTotal:      67108856 kB
SwapFree:       67096132 kB
Dirty:            352148 kB
Writeback:             0 kB
AnonPages:       1756812 kB
Mapped:             8852 kB
Shmem:                 0 kB
Slab:             589068 kB
SReclaimable:      29124 kB
SUnreclaim:       559944 kB
KernelStack:        1432 kB
PageTables:         7468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1901804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1622016 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= 71380 MiB
End job on node131 at 2016-06-07 03:36:48