Trace number 4109004

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-89.opb
MD5SUM5e35cfce24461785d6d1180987ae518e
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 variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
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 232
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        : 22936,2
1800.00/1800.30	c 2cl/3cl ITE-codings   : 25524,38
1800.00/1800.30	c BDD/srt/adr Max costs : 30,0,0
1800.00/1800.30	c BDDraw/bin/mul/srt/adr: 22938,0,0,0,0
1800.00/1800.30	c BDD nodes             : 141420
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) : 1800 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-4109004-1466289838/watcher-4109004-1466289838 -o /tmp/evaluation-result-4109004-1466289838/solver-4109004-1466289838 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466264583-28001 --watchdog 1960 naps-1.02 HOME/instance-4109004-1466289838.opb 

pid=31576
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.30 2.29 2.26 3/176 31579
/proc/meminfo: memFree=29947432/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=6420 CPUtime=0 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 31029328 6574080 181 33554432000 4194304 5796924 140734850754784 140735720175768 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 1605 181 127 392 0 1204 0

[startup+0.100125 s]
/proc/loadavg: 2.30 2.29 2.26 3/176 31579
/proc/meminfo: memFree=29947432/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=7624 CPUtime=0.09 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 637 0 0 0 9 0 0 0 20 0 1 0 31029328 7806976 504 33554432000 4194304 5796924 140734850754784 140735720175768 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 1906 504 127 392 0 1505 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7624

[startup+0.200279 s]
/proc/loadavg: 2.30 2.29 2.26 3/176 31579
/proc/meminfo: memFree=29947432/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=8624 CPUtime=0.19 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 917 0 0 0 19 0 0 0 20 0 1 0 31029328 8830976 1284 33554432000 4194304 5796924 140734850754784 140735720175768 4363371 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 2156 1284 127 392 0 1755 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8624

[startup+0.300271 s]
/proc/loadavg: 2.30 2.29 2.26 3/176 31579
/proc/meminfo: memFree=29947432/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=9672 CPUtime=0.29 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 1201 0 0 0 29 0 0 0 20 0 1 0 31029328 9904128 1557 33554432000 4194304 5796924 140734850754784 140735720175768 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 2418 1557 127 392 0 2017 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9672

[startup+0.700276 s]
/proc/loadavg: 2.30 2.29 2.26 3/176 31579
/proc/meminfo: memFree=29947432/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=14568 CPUtime=0.69 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 2336 0 0 0 69 0 0 0 20 0 1 0 31029328 14917632 2651 33554432000 4194304 5796924 140734850754784 140734850753944 5096675 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 3642 2651 127 392 0 3241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14568

[startup+1.50023 s]
/proc/loadavg: 2.30 2.29 2.26 3/177 31580
/proc/meminfo: memFree=29930952/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=23184 CPUtime=1.49 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 4750 0 0 0 148 1 0 0 20 0 1 0 31029328 23740416 5392 33554432000 4194304 5796924 140734850754784 140734850754056 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 5796 5392 127 392 0 5395 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23184

[startup+3.10023 s]
/proc/loadavg: 2.30 2.29 2.26 3/176 31580
/proc/meminfo: memFree=29916380/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=44324 CPUtime=3.09 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 9655 0 0 0 307 2 0 0 20 0 1 0 31029328 45387776 10413 33554432000 4194304 5796924 140734850754784 140734850754008 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 11081 10413 127 392 0 10680 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44324

[startup+6.30029 s]
/proc/loadavg: 2.28 2.28 2.26 3/176 31580
/proc/meminfo: memFree=29871928/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=77060 CPUtime=6.29 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 18471 0 0 0 626 3 0 0 20 0 1 0 31029328 78909440 18276 33554432000 4194304 5796924 140734850754784 140734850753176 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 19265 18276 165 392 0 18864 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77060

[startup+12.7003 s]
/proc/loadavg: 2.26 2.28 2.26 3/177 31581
/proc/meminfo: memFree=29863520/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=95572 CPUtime=12.69 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 19781 0 0 0 1264 5 0 0 20 0 1 0 31029328 97865728 22944 33554432000 4194304 5796924 140734850754784 140734850752024 5093069 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 23893 22944 166 392 0 23492 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95572

[startup+25.5004 s]
/proc/loadavg: 2.28 2.28 2.26 3/177 31581
/proc/meminfo: memFree=29835176/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=134236 CPUtime=25.48 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 21094 0 0 0 2543 5 0 0 20 0 1 0 31029328 137457664 26528 33554432000 4194304 5796924 140734850754784 140734850752024 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 33559 26528 166 392 0 33158 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 134236

[startup+51.1003 s]
/proc/loadavg: 2.18 2.25 2.25 3/177 31581
/proc/meminfo: memFree=29810108/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=134236 CPUtime=51.08 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 21289 0 0 0 5102 6 0 0 20 0 1 0 31029328 137457664 31831 33554432000 4194304 5796924 140734850754784 140734850752024 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 33559 31831 166 392 0 33158 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134236

[startup+102.3 s]
/proc/loadavg: 2.21 2.24 2.25 4/177 31582
/proc/meminfo: memFree=29830656/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=134236 CPUtime=102.28 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 21291 0 0 0 10222 6 0 0 20 0 1 0 31029328 137457664 32855 33554432000 4194304 5796924 140734850754784 140734850752024 4606782 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 33559 32855 166 392 0 33158 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 134236

[startup+162.3 s]
/proc/loadavg: 2.19 2.23 2.24 3/177 31583
/proc/meminfo: memFree=29779340/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=183556 CPUtime=162.26 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 22504 0 0 0 16219 7 0 0 20 0 1 0 31029328 187961344 41436 33554432000 4194304 5796924 140734850754784 140734850752072 4606514 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 45889 41436 166 392 0 45488 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 183556

[startup+222.307 s]
/proc/loadavg: 2.22 2.23 2.24 3/177 31676
/proc/meminfo: memFree=29976100/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=183556 CPUtime=222.27 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 23316 0 0 0 22218 9 0 0 20 0 1 0 31029328 187961344 41436 33554432000 4194304 5796924 140734850754784 140734850752072 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 45889 41436 166 392 0 45488 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 183556

[startup+282.3 s]
/proc/loadavg: 2.18 2.22 2.23 4/177 31722
/proc/meminfo: memFree=29940512/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=183556 CPUtime=282.25 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 24129 0 0 0 28215 10 0 0 20 0 1 0 31029328 187961344 40924 33554432000 4194304 5796924 140734850754784 140734850752072 4606514 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 45889 40924 166 392 0 45488 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 183556

[startup+342.3 s]
/proc/loadavg: 2.38 2.25 2.24 4/177 31724
/proc/meminfo: memFree=23833424/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=146420 CPUtime=342.24 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 25043 0 0 0 34213 11 0 0 20 0 1 0 31029328 149934080 35901 33554432000 4194304 5796924 140734850754784 140734850752248 4606523 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 36605 35901 166 392 0 36204 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 146420

[startup+402.3 s]
/proc/loadavg: 2.26 2.23 2.24 3/178 31728
/proc/meminfo: memFree=23509488/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=195740 CPUtime=402.23 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 25861 0 0 0 40210 13 0 0 20 0 1 0 31029328 200437760 46018 33554432000 4194304 5796924 140734850754784 140734850752072 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 48935 46018 166 392 0 48534 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 195740

[startup+462.3 s]
/proc/loadavg: 2.25 2.24 2.24 4/177 31729
/proc/meminfo: memFree=23502436/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=146420 CPUtime=462.21 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 26298 0 0 0 46207 14 0 0 20 0 1 0 31029328 149934080 36017 33554432000 4194304 5796924 140734850754784 140734850752248 4607245 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 36605 36017 166 392 0 36204 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 146420

[startup+522.3 s]
/proc/loadavg: 2.24 2.23 2.23 4/177 31730
/proc/meminfo: memFree=23436148/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=195740 CPUtime=522.19 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 27118 0 0 0 52204 15 0 0 20 0 1 0 31029328 200437760 45622 33554432000 4194304 5796924 140734850754784 140734850752072 4607241 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 48935 45622 166 392 0 48534 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 195740

[startup+582.3 s]
/proc/loadavg: 2.25 2.23 2.23 3/177 31731
/proc/meminfo: memFree=23423948/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=195740 CPUtime=582.18 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 27671 0 0 0 58202 16 0 0 20 0 1 0 31029328 200437760 47696 33554432000 4194304 5796924 140734850754784 140734850752072 4606514 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 48935 47696 166 392 0 48534 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 195740


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


[startup+942.3 s]
/proc/loadavg: 2.27 2.26 2.24 3/177 31739
/proc/meminfo: memFree=23392604/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=195740 CPUtime=942.12 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 33746 0 0 0 94184 28 0 0 20 0 1 0 31029328 200437760 46160 33554432000 4194304 5796924 140734850754784 140734850752072 4607599 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 48935 46160 166 392 0 48534 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 195740

[startup+1002.3 s]
/proc/loadavg: 2.33 2.27 2.24 3/178 31743
/proc/meminfo: memFree=23365684/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=226560 CPUtime=1002.12 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 34357 0 0 0 100183 29 0 0 20 0 1 0 31029328 231997440 52883 33554432000 4194304 5796924 140734850754784 140734850752424 4607627 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 56640 52883 166 392 0 56239 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 226560

[startup+1062.3 s]
/proc/loadavg: 2.37 2.30 2.25 4/178 31767
/proc/meminfo: memFree=23371916/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=226560 CPUtime=1062.11 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 35367 0 0 0 106180 31 0 0 20 0 1 0 31029328 231997440 51347 33554432000 4194304 5796924 140734850754784 140734850752424 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 56640 51347 166 392 0 56239 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 226560

[startup+1122.3 s]
/proc/loadavg: 2.30 2.29 2.25 4/177 31768
/proc/meminfo: memFree=23380328/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=226560 CPUtime=1122.1 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 36378 0 0 0 112177 33 0 0 20 0 1 0 31029328 231997440 48787 33554432000 4194304 5796924 140734850754784 140734850752424 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 56640 48787 166 392 0 56239 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 226560

[startup+1182.3 s]
/proc/loadavg: 2.31 2.29 2.26 3/177 31769
/proc/meminfo: memFree=23399340/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=195740 CPUtime=1182.09 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 36793 0 0 0 118175 34 0 0 20 0 1 0 31029328 200437760 44112 33554432000 4194304 5796924 140734850754784 140734850752072 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 48935 44112 166 392 0 48534 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 195740

[startup+1242.3 s]
/proc/loadavg: 2.36 2.31 2.27 4/177 31771
/proc/meminfo: memFree=23369860/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=226560 CPUtime=1242.08 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 37404 0 0 0 124173 35 0 0 20 0 1 0 31029328 231997440 51347 33554432000 4194304 5796924 140734850754784 140734850752424 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 56640 51347 166 392 0 56239 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 226560

[startup+1302.3 s]
/proc/loadavg: 2.22 2.28 2.26 3/177 31772
/proc/meminfo: memFree=23378868/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=226560 CPUtime=1302.07 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 38259 0 0 0 130170 37 0 0 20 0 1 0 31029328 231997440 48638 33554432000 4194304 5796924 140734850754784 140734850752424 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 56640 48638 166 392 0 56239 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 226560

[startup+1362.3 s]
/proc/loadavg: 2.13 2.24 2.25 4/177 31773
/proc/meminfo: memFree=23426484/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=146716 CPUtime=1362.06 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 38429 0 0 0 136168 38 0 0 20 0 1 0 31029328 150237184 36044 33554432000 4194304 5796924 140734850754784 140734850752248 4606718 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 36679 36044 166 392 0 36278 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 146716

[startup+1422.3 s]
/proc/loadavg: 2.31 2.27 2.26 4/177 31774
/proc/meminfo: memFree=23361352/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=226856 CPUtime=1422.06 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 39489 0 0 0 142166 40 0 0 20 0 1 0 31029328 232300544 51907 33554432000 4194304 5796924 140734850754784 140734850752424 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 56714 51907 166 392 0 56313 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 226856

[startup+1482.3 s]
/proc/loadavg: 2.27 2.27 2.25 3/177 31775
/proc/meminfo: memFree=23377448/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=196320 CPUtime=1482.05 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 39981 0 0 0 148164 41 0 0 20 0 1 0 31029328 201031680 47815 33554432000 4194304 5796924 140734850754784 140734850752072 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 49080 47815 166 392 0 48679 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 196320

[startup+1542.31 s]
/proc/loadavg: 2.29 2.27 2.26 3/177 31777
/proc/meminfo: memFree=23351188/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=227140 CPUtime=1542.04 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 40590 0 0 0 154162 42 0 0 20 0 1 0 31029328 232591360 54538 33554432000 4194304 5796924 140734850754784 140734850752424 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 56785 54538 166 392 0 56384 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 227140

[startup+1602.3 s]
/proc/loadavg: 2.27 2.27 2.26 4/178 31781
/proc/meminfo: memFree=23366828/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=229864 CPUtime=1602.02 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 42351 0 0 0 160158 44 0 0 20 0 1 0 31029328 235380736 50611 33554432000 4194304 5796924 140734850754784 140734850752424 4606601 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 57466 50611 166 392 0 57065 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 229864

[startup+1662.3 s]
/proc/loadavg: 2.36 2.29 2.27 3/177 31782
/proc/meminfo: memFree=23336240/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=279952 CPUtime=1662.02 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 42679 0 0 0 166157 45 0 0 20 0 1 0 31029328 286670848 57568 33554432000 4194304 5796924 140734850754784 140734850752424 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 69988 57568 166 392 0 69587 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 279952

[startup+1722.3 s]
/proc/loadavg: 2.36 2.30 2.27 3/176 31783
/proc/meminfo: memFree=23354044/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=230868 CPUtime=1722.01 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 43950 0 0 0 172154 47 0 0 20 0 1 0 31029328 236408832 52398 33554432000 4194304 5796924 140734850754784 140734850752424 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 57717 52398 166 392 0 57316 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 230868

[startup+1782.3 s]
/proc/loadavg: 2.35 2.30 2.27 4/177 31785
/proc/meminfo: memFree=23379804/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=200332 CPUtime=1782 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 44753 0 0 0 178151 49 0 0 20 0 1 0 31029328 205139968 45234 33554432000 4194304 5796924 140734850754784 140734850752072 4606880 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 50083 45234 166 392 0 49682 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 200332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.31 2.30 2.27 3/177 31785
/proc/meminfo: memFree=23367216/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=200332 CPUtime=1800 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 44759 0 0 0 179951 49 0 0 20 0 1 0 31029328 205139968 48306 33554432000 4194304 5796924 140734850754784 140734850752072 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 50083 48306 166 392 0 49682 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 200332

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

[startup+1800.3 s]
/proc/loadavg: 2.31 2.30 2.27 3/177 31785
/proc/meminfo: memFree=23367216/32872528 swapFree=1459628/1655852
[pid=31579] ppid=31576 vsize=200332 CPUtime=1800 cores=0,2,4,6
/proc/31579/stat : 31579 (naps-1.02) R 31576 31579 27985 0 -1 4202496 44759 0 0 0 179951 49 0 0 20 0 1 0 31029328 205139968 48306 33554432000 4194304 5796924 140734850754784 140734850752072 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/31579/statm: 50083 48306 166 392 0 49682 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 200332

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.51
CPU system time (s): 0.498924
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 281240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.498924
maximum resident set size= 237424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44771
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= 26
involuntary context switches= 1994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77227 second user time and 6.68698 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-19 00:43:58
IDJOB=4109004
IDBENCH=89814
IDSOLVER=2544
FILE ID=node136/4109004-1466289838
RUNJOBID= node136-1466264583-28001
PBS_JOBID= 19918222
Free space on /tmp= 71716 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-89.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109004-1466289838/watcher-4109004-1466289838 -o /tmp/evaluation-result-4109004-1466289838/solver-4109004-1466289838 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466264583-28001 --watchdog 1960  naps-1.02 HOME/instance-4109004-1466289838.opb

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

MD5SUM BENCH= 5e35cfce24461785d6d1180987ae518e
RANDOM SEED=697256971

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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.278
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.278
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		: 2667.278
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.67
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.278
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:        29948356 kB
Buffers:           59116 kB
Cached:           231672 kB
SwapCached:        48164 kB
Active:           297800 kB
Inactive:         248552 kB
Active(anon):     209468 kB
Inactive(anon):    48308 kB
Active(file):      88332 kB
Inactive(file):   200244 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67054848 kB
Dirty:             13288 kB
Writeback:             0 kB
AnonPages:       1867856 kB
Mapped:            10836 kB
Shmem:                 0 kB
Slab:             585504 kB
SReclaimable:      29696 kB
SUnreclaim:       555808 kB
KernelStack:        1464 kB
PageTables:         7536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2009972 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= 71712 MiB
End job on node136 at 2016-06-19 01:13:59