Trace number 4083204

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.01 1800.31

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-ns894244.opb
MD5SUMcdfac8cd93d8a1de6ab1cef68bd1ac7c
Bench CategoryOPT-SMALLINT-LIN (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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21856
Total number of constraints12129
Number of constraints which are clauses4095
Number of constraints which are cardinality constraints (but not clauses)338
Number of constraints which are nor clauses,nor cardinality constraints7696
Minimum length of a constraint1
Maximum length of a constraint211
Number of terms in the objective function 16
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 16
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 211
Number of bits of the biggest sum of numbers8
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.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED *** by signal 15
1800.00/1800.30	s UNKNOWN
1800.00/1800.30	c _____________________________________________________________________________
1800.00/1800.30	c 
1800.00/1800.30	c std/band forms        : 6340,0
1800.00/1800.30	c 2cl/3cl ITE-codings   : 49402,0
1800.00/1800.30	c BDD/srt/adr Max costs : 349,0,0
1800.00/1800.30	c BDDraw/bin/mul/srt/adr: 6340,0,0,0,0
1800.00/1800.30	c BDD nodes             : 111484
1800.00/1800.30	c Es1/CC detections     : 0,0
1800.00/1800.30	c SAT/UNSAT calls       : 0,0
1800.00/1800.30	c restarts              : 0
1800.00/1800.30	c conflicts             : 0              (0 /sec)
1800.00/1800.30	c decisions             : 0              (0 /sec)
1800.00/1800.30	c propagations          : 0              (0 /sec)
1800.00/1800.30	c inspects              : 0              (0 /sec)
1800.00/1800.30	c CPU time (solving tm) : 1799 s        (0 s)
1800.00/1800.30	c Time for Opt-base     : 0 s
1800.00/1800.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-4083204-1465266601/watcher-4083204-1465266601 -o /tmp/evaluation-result-4083204-1465266601/solver-4083204-1465266601 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465240311-14492 --watchdog 1960 naps-1.02 HOME/instance-4083204-1465266601.opb 

pid=20542
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.12 2.05 2.01 3/176 20545
/proc/meminfo: memFree=31558752/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=6548 CPUtime=0 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 108595416 6705152 229 33554432000 4194304 5796924 140736626465376 140737444997096 4350334 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 1637 229 129 392 0 1236 0

[startup+0.10006 s]
/proc/loadavg: 2.12 2.05 2.01 3/176 20545
/proc/meminfo: memFree=31558752/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=11420 CPUtime=0.09 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 1576 0 0 0 9 0 0 0 20 0 1 0 108595416 11694080 1405 33554432000 4194304 5796924 140736626465376 140737444997096 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 2855 1406 129 392 0 2454 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11420

[startup+0.200205 s]
/proc/loadavg: 2.12 2.05 2.01 3/176 20545
/proc/meminfo: memFree=31558752/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=16956 CPUtime=0.19 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 2964 0 0 0 19 0 0 0 20 0 1 0 108595416 17362944 2707 33554432000 4194304 5796924 140736626465376 140737444997096 4404063 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 4239 2708 129 392 0 3838 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16956

[startup+0.30021 s]
/proc/loadavg: 2.12 2.05 2.01 3/176 20545
/proc/meminfo: memFree=31558752/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=21216 CPUtime=0.29 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 4030 0 0 0 29 0 0 0 20 0 1 0 108595416 21725184 3772 33554432000 4194304 5796924 140736626465376 140737444997096 5100064 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 5304 3772 129 392 0 4903 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21216

[startup+0.700122 s]
/proc/loadavg: 2.12 2.05 2.01 3/176 20545
/proc/meminfo: memFree=31558752/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=27556 CPUtime=0.69 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 5783 0 0 0 69 0 0 0 20 0 1 0 108595416 28217344 5349 33554432000 4194304 5796924 140736626465376 140736626463688 5094663 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 6889 5349 140 392 0 6488 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27556

[startup+1.50025 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 20549
/proc/meminfo: memFree=31524780/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=42592 CPUtime=1.49 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 9373 0 0 0 148 1 0 0 20 0 1 0 108595416 43614208 9466 33554432000 4194304 5796924 140736626465376 140736626463688 4564240 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 10648 9467 141 392 0 10247 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42592

[startup+3.1003 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 20549
/proc/meminfo: memFree=31478016/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=83448 CPUtime=3.09 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 18739 0 0 0 306 3 0 0 20 0 1 0 108595416 85450752 18727 33554432000 4194304 5796924 140736626465376 140736626462424 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 20862 18727 165 392 0 20461 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83448

[startup+6.30025 s]
/proc/loadavg: 2.11 2.05 2.01 3/178 20549
/proc/meminfo: memFree=31463248/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=94940 CPUtime=6.29 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 19214 0 0 0 625 4 0 0 20 0 1 0 108595416 97218560 21232 33554432000 4194304 5796924 140736626465376 140736626462616 4607181 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 23735 21232 166 392 0 23334 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94940

[startup+12.7003 s]
/proc/loadavg: 2.10 2.05 2.01 3/178 20549
/proc/meminfo: memFree=31453576/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=94940 CPUtime=12.69 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 19432 0 0 0 1265 4 0 0 20 0 1 0 108595416 97218560 21958 33554432000 4194304 5796924 140736626465376 140736626462616 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 23735 21958 166 392 0 23334 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 94940

[startup+25.5004 s]
/proc/loadavg: 2.08 2.05 2.00 3/178 20549
/proc/meminfo: memFree=31445804/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=102236 CPUtime=25.49 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 20489 0 0 0 2545 4 0 0 20 0 1 0 108595416 104689664 23756 33554432000 4194304 5796924 140736626465376 140736626462664 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 25559 23756 166 392 0 25158 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 102236

[startup+51.1004 s]
/proc/loadavg: 2.19 2.08 2.01 3/178 20549
/proc/meminfo: memFree=31433812/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=113840 CPUtime=51.07 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 20935 0 0 0 5103 4 0 0 20 0 1 0 108595416 116572160 26668 33554432000 4194304 5796924 140736626465376 140736626462840 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 28460 26668 166 392 0 28059 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 113840

[startup+102.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/177 20550
/proc/meminfo: memFree=31403716/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=144188 CPUtime=102.27 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 22883 0 0 0 10221 6 0 0 20 0 1 0 108595416 147648512 34210 33554432000 4194304 5796924 140736626465376 140736626462616 4606844 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 36047 34210 166 392 0 35646 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 144188

[startup+162.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/177 20551
/proc/meminfo: memFree=31401792/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=144188 CPUtime=162.25 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 23112 0 0 0 16219 6 0 0 20 0 1 0 108595416 147648512 34733 33554432000 4194304 5796924 140736626465376 140736626462840 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 36047 34733 166 392 0 35646 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 144188

[startup+222.307 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 20552
/proc/meminfo: memFree=31370832/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=193508 CPUtime=222.25 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 23792 0 0 0 22217 8 0 0 20 0 1 0 108595416 198152192 42623 33554432000 4194304 5796924 140736626465376 140736626462840 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 48377 42623 166 392 0 47976 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 193508

[startup+282.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/177 20554
/proc/meminfo: memFree=31401792/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=146928 CPUtime=282.23 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 24029 0 0 0 28214 9 0 0 20 0 1 0 108595416 150454272 34734 33554432000 4194304 5796924 140736626465376 140736626462616 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 36732 34734 166 392 0 36331 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 146928

[startup+342.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 20555
/proc/meminfo: memFree=31355688/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=196248 CPUtime=342.21 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 25191 0 0 0 34211 10 0 0 20 0 1 0 108595416 200957952 46380 33554432000 4194304 5796924 140736626465376 140736626462664 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 49062 46380 166 392 0 48661 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 196248

[startup+402.3 s]
/proc/loadavg: 2.18 2.11 2.03 3/177 20556
/proc/meminfo: memFree=31367320/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=146928 CPUtime=402.21 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 25425 0 0 0 40210 11 0 0 20 0 1 0 108595416 150454272 35418 33554432000 4194304 5796924 140736626465376 140736626462840 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 36732 35418 166 392 0 36331 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 146928

[startup+462.3 s]
/proc/loadavg: 2.06 2.09 2.02 3/177 20557
/proc/meminfo: memFree=31331936/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=196248 CPUtime=462.2 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 26476 0 0 0 46206 14 0 0 20 0 1 0 108595416 200957952 44844 33554432000 4194304 5796924 140736626465376 140736626462664 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 49062 44844 166 392 0 48661 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 196248

[startup+522.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/177 20558
/proc/meminfo: memFree=31361856/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=196248 CPUtime=522.19 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 27305 0 0 0 52204 15 0 0 20 0 1 0 108595416 200957952 44844 33554432000 4194304 5796924 140736626465376 140736626462664 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 49062 44844 166 392 0 48661 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 196248

[startup+582.3 s]
/proc/loadavg: 2.07 2.07 2.02 3/177 20560
/proc/meminfo: memFree=31357776/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=196248 CPUtime=582.19 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 28137 0 0 0 58201 18 0 0 20 0 1 0 108595416 200957952 46380 33554432000 4194304 5796924 140736626465376 140736626462664 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 49062 46380 166 392 0 48661 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 196248


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


[startup+942.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/177 20570
/proc/meminfo: memFree=31353316/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=167120 CPUtime=942.12 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 33048 0 0 0 94184 28 0 0 20 0 1 0 108595416 171130880 36599 33554432000 4194304 5796924 140736626465376 140736626462840 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 41780 36599 166 392 0 41379 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 167120

[startup+1002.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/177 20571
/proc/meminfo: memFree=31331576/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=247260 CPUtime=1002.11 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 33884 0 0 0 100182 29 0 0 20 0 1 0 108595416 253194240 52236 33554432000 4194304 5796924 140736626465376 140736626463016 4606837 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 61815 52236 166 392 0 61414 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 247260

[startup+1062.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 20572
/proc/meminfo: memFree=31346488/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=216440 CPUtime=1062.11 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 34125 0 0 0 106180 31 0 0 20 0 1 0 108595416 221634560 49097 33554432000 4194304 5796924 140736626465376 140736626462664 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 54110 49097 166 392 0 53709 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 216440

[startup+1122.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/177 20665
/proc/meminfo: memFree=31010432/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=167120 CPUtime=1122.09 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 34733 0 0 0 112177 32 0 0 20 0 1 0 108595416 171130880 37623 33554432000 4194304 5796924 140736626465376 140736626462840 4606721 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 41780 37623 166 392 0 41379 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 167120

[startup+1182.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/177 20666
/proc/meminfo: memFree=30939292/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=247260 CPUtime=1182.09 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 35573 0 0 0 118175 34 0 0 20 0 1 0 108595416 253194240 54284 33554432000 4194304 5796924 140736626465376 140736626463016 4606565 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 61815 54284 166 392 0 61414 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 247260

[startup+1242.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/178 20671
/proc/meminfo: memFree=30932840/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=247260 CPUtime=1242.07 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 36415 0 0 0 124172 35 0 0 20 0 1 0 108595416 253194240 52748 33554432000 4194304 5796924 140736626465376 140736626463016 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 61815 52748 166 392 0 61414 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 247260

[startup+1302.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/177 20672
/proc/meminfo: memFree=30942520/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=216440 CPUtime=1302.07 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 36653 0 0 0 130170 37 0 0 20 0 1 0 108595416 221634560 50121 33554432000 4194304 5796924 140736626465376 140736626462664 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 54110 50121 166 392 0 53709 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 216440

[startup+1362.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/177 20673
/proc/meminfo: memFree=30972280/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=167120 CPUtime=1362.05 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 37264 0 0 0 136167 38 0 0 20 0 1 0 108595416 171130880 39671 33554432000 4194304 5796924 140736626465376 140736626462840 4606771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 41780 39671 166 392 0 41379 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 167120

[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/177 20674
/proc/meminfo: memFree=30913644/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=247260 CPUtime=1422.05 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 38101 0 0 0 142165 40 0 0 20 0 1 0 108595416 253194240 56332 33554432000 4194304 5796924 140736626465376 140736626463016 4592632 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 61815 56332 166 392 0 61414 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 247260

[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 20675
/proc/meminfo: memFree=30923152/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=217792 CPUtime=1482.04 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 39187 0 0 0 148162 42 0 0 20 0 1 0 108595416 223019008 50742 33554432000 4194304 5796924 140736626465376 140736626462664 4583348 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 54448 50742 166 392 0 54047 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 217792

[startup+1542.31 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 20677
/proc/meminfo: memFree=30896332/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=248612 CPUtime=1542.04 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 39793 0 0 0 154161 43 0 0 20 0 1 0 108595416 254578688 58489 33554432000 4194304 5796924 140736626465376 140736626463016 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 62153 58489 166 392 0 61752 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 248612

[startup+1602.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 20678
/proc/meminfo: memFree=30910364/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=218172 CPUtime=1602.02 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 40949 0 0 0 160157 45 0 0 20 0 1 0 108595416 223408128 52373 33554432000 4194304 5796924 140736626465376 140736626462664 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 54543 52373 166 392 0 54142 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 218172

[startup+1662.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 20679
/proc/meminfo: memFree=30888096/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=248992 CPUtime=1662.01 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 41638 0 0 0 166155 46 0 0 20 0 1 0 108595416 254967808 60708 33554432000 4194304 5796924 140736626465376 140736626463016 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 62248 60708 166 392 0 61847 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 248992

[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 20680
/proc/meminfo: memFree=30906328/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=220068 CPUtime=1722 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 43350 0 0 0 172151 49 0 0 20 0 1 0 108595416 225349632 53593 33554432000 4194304 5796924 140736626465376 140736626462664 4607241 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 55017 53593 166 392 0 54616 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 220068

[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 20681
/proc/meminfo: memFree=30864564/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=250888 CPUtime=1781.99 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 43717 0 0 0 178149 50 0 0 20 0 1 0 108595416 256909312 61106 33554432000 4194304 5796924 140736626465376 140736626463016 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 62722 61106 166 392 0 62321 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 250888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/177 20681
/proc/meminfo: memFree=30853628/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=300976 CPUtime=1800 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 44541 0 0 0 179948 52 0 0 20 0 1 0 108595416 308199424 62431 33554432000 4194304 5796924 140736626465376 140736626463016 4606733 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 75244 62431 166 392 0 74843 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 300976

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

[startup+1800.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/177 20681
/proc/meminfo: memFree=30853628/32872528 swapFree=10608/190480
[pid=20545] ppid=20542 vsize=300976 CPUtime=1800 cores=1,3,5,7
/proc/20545/stat : 20545 (naps-1.02) R 20542 20545 14475 0 -1 4202496 44541 0 0 0 179948 52 0 0 20 0 1 0 108595416 308199424 62431 33554432000 4194304 5796924 140736626465376 140736626463016 4606733 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20545/statm: 75244 62431 166 392 0 74843 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 300976

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.48
CPU system time (s): 0.528919
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 300976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.528919
maximum resident set size= 253976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44553
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= 34
involuntary context switches= 1898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6183 second user time and 6.84196 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-07 04:30:01
IDJOB=4083204
IDBENCH=89848
IDSOLVER=2544
FILE ID=node102/4083204-1465266601
RUNJOBID= node102-1465240311-14492
PBS_JOBID= 19843244
Free space on /tmp= 71736 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894244.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4083204-1465266601/watcher-4083204-1465266601 -o /tmp/evaluation-result-4083204-1465266601/solver-4083204-1465266601 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465240311-14492 --watchdog 1960  naps-1.02 HOME/instance-4083204-1465266601.opb

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

MD5SUM BENCH= cdfac8cd93d8a1de6ab1cef68bd1ac7c
RANDOM SEED=720363237

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.470
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.56
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.470
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		: 2666.470
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.470
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:        31558908 kB
Buffers:          105484 kB
Cached:           202252 kB
SwapCached:         2720 kB
Active:           151492 kB
Inactive:         235180 kB
Active(anon):      79324 kB
Inactive(anon):     2248 kB
Active(file):      72168 kB
Inactive(file):   232932 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098700 kB
Dirty:              4688 kB
Writeback:             0 kB
AnonPages:        364492 kB
Mapped:             8740 kB
Shmem:                 0 kB
Slab:             605120 kB
SReclaimable:      49196 kB
SUnreclaim:       555924 kB
KernelStack:        1472 kB
PageTables:         4592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     402840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    339968 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= 71732 MiB
End job on node102 at 2016-06-07 05:00:01