Trace number 4079768

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
toysat 2016-05-02OPT251 0.759883 0.761346

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=307.opb
MD5SUMed91c5eedb234f0dfb17f74fadfbf49f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark251
Best CPU time to get the best result obtained on this benchmark0.022996
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 251
Optimality of the best value was proved YES
Number of variables99
Total number of constraints244
Number of constraints which are clauses243
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint81
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 77057
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 338178
Number of bits of the biggest sum of numbers19
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 2016-06-06T21:44:11+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079768-1465242250.opb"]
0.00/0.01	c use --random-gen="1937610453 915399221 3525728576 2487249882 1421182384 1688453222 2102828456 2778688471 3801647069 2160322157 3154546370 3299425020 1690789844 914844435 376733226 1024272975 1695294936 1847108703 1473804474 2421143465 343878831 2495755664 682382224 2158745006 1460395751 3519387974 4076589030 3813473089 2339980770 2165194868 1352083779 3082145135 1239565403 1559710205 3319968938 71659660 2018034964 2647419862 3183566669 1701067276 3484573562 3592939962 1163264213 1485252105 3693070332 3279170530 891727287 545398082 2599382497 3579147006 2450392978 2002681308 319614894 1105881726 2743351288 2590944801 3796417334 377186450 2793638152 1330054062 148446615 1333077009 2915674327 1175951006 3223550534 3315768241 2851170795 626564337 2915834335 330049387 3487921270 1960870067 3912463651 3312597645 2323966742 3086480771 1679844321 419824263 2557653633 2873801791 396688119 2062092317 1972662103 3884453707 2497376489 1506784573 2251681999 1810420501 499312888 3411055684 1536533880 1614730575 1404293271 2053167298 553823230 1377092182 3489668464 2812176994 2770240757 2689169072 3953952320 3096164505 4152457619 3331357472 1549830311 3407732281 935587883 3210558872 4119682492 3347125789 849629180 2962311618 735103789 2266271652 2802251538 1771477157 2753870321 1878997403 1469067446 288537650 2301667528 3403696843 558425840 492175212 3114075500 3649963558 3406100094 1498429692 2765295561 1044700420 2739084668 2147581683 792704551 180000315 4280296616 208111134 2203581209 3844094307 3182515769 2373947715 1429121316 3923877923 4065075894 688483342 776925471 456878056 868215222 226694668 131978769 2023875945 2635197701 3462752019 1794622939 1023298852 521103723 3766441137 2869087371 3434812685 944319538 4230182165 844124295 4257876100 3162405544 553709983 2091850266 1271737715 2647456456 1941782230 2506944031 3963360117 3458487596 3225802641 2416046051 1235376613 3125097191 2486195328 2292292734 26745982 1879261960 3612582890 3051330336 4105574903 1410850045 3647664943 1721699660 2876178796 3076241023 3827962187 2453650322 814287266 2511862068 2603607279 1485175206 3629733283 3326508111 1451019186 3479044443 1284559266 2235308716 588391592 2041702956 514729278 1914112409 4244121293 3560467902 974900570 60199942 444230752 757605142 2252137226 2599142581 1966820670 3716888676 934524699 1784506554 952140663 4113386267 3039068108 566828444 3620332318 703521039 547251974 1707330647 684844963 3791935797 1448697868 1893242572 2735223708 1231123057 503413256 1135145868 821808890 2978527793 998179368 184621143 1909851695 4202857778 4087467161 1550166477 285574044 4164245089 3813757507 632334293 942218142 2952786524 3574238318 4088211413 4195413501 1894084948 4022220753 3705070870 215919302 47435644 3010638588 1872259166 1870762726 255 362436" option to reproduce the execution
0.00/0.01	c #vars 99
0.00/0.01	c #constraints 244
0.59/0.65	c BCD2: Hardening is enabled.
0.59/0.65	c BCD2: BiasedSearch is enabled.
0.59/0.65	c Solving starts ...
0.59/0.65	c ============================[ Search Statistics ]============================
0.59/0.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.65	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.65	c =============================================================================
0.59/0.65	c  0.0s |       0 |        0 |        0 |      114      0 |        0 |        0
0.59/0.67	c  0.0s |       1 |      116 |      100 |      114      0 |        0 |        0
0.59/0.68	c  0.0s |       1 |      201 |      171 |      126      1 |        0 |        0
0.59/0.68	c #cpu_time = 0.031s
0.59/0.68	c #wall_clock_time = 0.031s
0.59/0.68	c #decision = 201
0.59/0.68	c #random_decision = 1
0.59/0.68	c #conflict = 171
0.59/0.68	c #restart = 1
0.59/0.68	o 251
0.59/0.68	c BCD2: hardening fixes 1 literals
0.59/0.68	c BCD2: updating upper bound: 511 -> 250
0.59/0.68	c BCD2: 0 <= obj <= 250
0.59/0.68	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1
0.59/0.68	c BCD2: #sat=1 #unsat=1 bias=1/2
0.59/0.68	c Solving starts ...
0.59/0.68	c ============================[ Search Statistics ]============================
0.59/0.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.68	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.68	c =============================================================================
0.59/0.68	c  0.0s |       0 |        0 |        0 |      126      0 |       10 |        0
0.59/0.68	c  0.0s |       0 |        1 |        1 |      126      0 |       11 |       36
0.59/0.68	c #cpu_time = 0.001s
0.59/0.68	c #wall_clock_time = 0.001s
0.59/0.68	c #decision = 1
0.59/0.68	c #random_decision = 0
0.59/0.68	c #conflict = 1
0.59/0.68	c #restart = 0
0.59/0.68	c BCD2: found a new core of size 1: cost of the new core is >=128
0.59/0.68	c lower bound updated to 128
0.59/0.68	c BCD2: 128 <= obj <= 250
0.59/0.68	c BCD2: #cores=1, #unrelaxed=7, #relaxed=1, #hardened=1
0.59/0.68	c BCD2: #sat=1 #unsat=2 bias=2/3
0.59/0.68	c Solving starts ...
0.59/0.68	c ============================[ Search Statistics ]============================
0.59/0.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.68	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.68	c =============================================================================
0.59/0.68	c  0.0s |       0 |        0 |        0 |      126      0 |       11 |       36
0.59/0.68	c  0.0s |       0 |        4 |        1 |      126      0 |       11 |       36
0.59/0.68	c #cpu_time = 0.001s
0.59/0.68	c #wall_clock_time = 0.001s
0.59/0.68	c #decision = 4
0.59/0.68	c #random_decision = 0
0.59/0.68	c #conflict = 1
0.59/0.68	c #restart = 0
0.59/0.68	c BCD2: found a new core of size 3: cost of the new core is >=16
0.59/0.68	c lower bound updated to 144
0.59/0.68	c BCD2: 144 <= obj <= 250
0.59/0.68	c BCD2: #cores=2, #unrelaxed=4, #relaxed=4, #hardened=1
0.59/0.68	c BCD2: #sat=1 #unsat=3 bias=3/4
0.59/0.68	c Solving starts ...
0.59/0.68	c ============================[ Search Statistics ]============================
0.59/0.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.68	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.68	c =============================================================================
0.59/0.68	c  0.0s |       0 |        0 |        0 |      126      0 |       11 |       36
0.59/0.68	c  0.0s |       0 |       13 |        7 |      126      0 |       11 |       36
0.59/0.68	c #cpu_time = 0.002s
0.59/0.68	c #wall_clock_time = 0.002s
0.59/0.68	c #decision = 13
0.59/0.68	c #random_decision = 0
0.59/0.68	c #conflict = 7
0.59/0.68	c #restart = 0
0.59/0.68	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 7: cost of the new core is >=17
0.59/0.68	c lower bound updated to 145
0.59/0.68	c BCD2: 145 <= obj <= 250
0.59/0.68	c BCD2: #cores=2, #unrelaxed=0, #relaxed=8, #hardened=1
0.59/0.68	c BCD2: #sat=1 #unsat=4 bias=4/5
0.59/0.68	c Solving starts ...
0.59/0.68	c ============================[ Search Statistics ]============================
0.59/0.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.68	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.68	c =============================================================================
0.59/0.68	c  0.0s |       0 |        0 |        0 |      126      0 |       12 |       36
0.69/0.70	c  0.0s |       1 |      116 |      100 |      139      1 |       12 |       37
0.69/0.71	c  0.0s |       1 |      179 |      152 |      139      1 |       26 |       81
0.69/0.71	c #cpu_time = 0.025s
0.69/0.71	c #wall_clock_time = 0.025s
0.69/0.71	c #decision = 179
0.69/0.71	c #random_decision = 0
0.69/0.71	c #conflict = 152
0.69/0.71	c #restart = 1
0.69/0.71	c BCD2: updating lower bound of a core
0.69/0.71	c lower bound updated to 230
0.69/0.71	c BCD2: 230 <= obj <= 250
0.69/0.71	c BCD2: #cores=2, #unrelaxed=0, #relaxed=8, #hardened=1
0.69/0.71	c BCD2: #sat=1 #unsat=5 bias=5/6
0.69/0.71	c Solving starts ...
0.69/0.71	c ============================[ Search Statistics ]============================
0.69/0.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.71	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.71	c =============================================================================
0.69/0.71	c  0.0s |       0 |        0 |        0 |      139      0 |       28 |       81
0.69/0.71	c  0.0s |       0 |       32 |       29 |      139      0 |       29 |       91
0.69/0.71	c #cpu_time = 0.004s
0.69/0.71	c #wall_clock_time = 0.004s
0.69/0.71	c #decision = 32
0.69/0.71	c #random_decision = 0
0.69/0.71	c #conflict = 29
0.69/0.71	c #restart = 0
0.69/0.71	c BCD2: updating lower bound of a core
0.69/0.71	c lower bound updated to 248
0.69/0.71	c BCD2: 248 <= obj <= 250
0.69/0.71	c BCD2: #cores=2, #unrelaxed=0, #relaxed=8, #hardened=1
0.69/0.71	c BCD2: #sat=1 #unsat=6 bias=6/7
0.69/0.71	c Solving starts ...
0.69/0.71	c ============================[ Search Statistics ]============================
0.69/0.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.71	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.71	c =============================================================================
0.69/0.71	c  0.0s |       0 |        0 |        0 |      139      0 |       42 |       92
0.69/0.72	c  0.0s |       0 |       10 |        8 |      139      0 |       71 |      191
0.69/0.72	c #cpu_time = 0.002s
0.69/0.72	c #wall_clock_time = 0.002s
0.69/0.72	c #decision = 10
0.69/0.72	c #random_decision = 0
0.69/0.72	c #conflict = 8
0.69/0.72	c #restart = 0
0.69/0.72	c BCD2: updating lower bound of a core
0.69/0.72	c lower bound updated to 251
0.69/0.72	s OPTIMUM FOUND
0.69/0.72	v x1 x2 -x3 x4 x5 x6 x7 x8 -x9 x10
0.69/0.72	v x11 -x12 -x13 x14 x15 -x16 -x17 x18 x19 x20
0.69/0.72	v -x21 -x22 x23 x24 -x25 -x26 x27 x28 x29 -x30
0.69/0.72	v -x31 x32 x33 -x34 -x35 x36 -x37 -x38 -x39 -x40
0.69/0.72	v -x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 x50
0.69/0.72	v x51 -x52 -x53 x54 x55 x56 -x57 -x58 x59 x60
0.69/0.72	v -x61 -x62 x63 x64 x65 -x66 -x67 x68 x69 -x70
0.69/0.72	v -x71 x72 x73 x74 -x75 -x76 x77 x78 -x79 -x80
0.69/0.72	v x81 x82 x83 -x84 -x85 x86 x87 -x88 -x89 x90
0.69/0.72	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
0.69/0.72	c total CPU time = 0.717s
0.69/0.72	c total wall clock time = 0.719s

Verifier Data 

OK	251

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-4079768-1465242250/watcher-4079768-1465242250 -o /tmp/evaluation-result-4079768-1465242250/solver-4079768-1465242250 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079768-1465242250.opb 

pid=32011
running on 8 cores: 4-7,12-15

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.16 2.06 2.01 3/261 32014
/proc/meminfo: memFree=29818244/32872528 swapFree=9196/9196
[pid=32014] ppid=32011 vsize=1139132 CPUtime=0 cores=4-7,12-15
/proc/32014/stat : 32014 (toysat) R 32011 32014 25889 0 -1 4202496 4324 0 0 0 0 0 0 0 20 0 4 0 106067073 1166471168 4684 33554432000 4194304 16246674 140734010516240 140734010515664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32014/statm: 285551 4692 441 2943 0 282445 0
[pid=32014/tid=32015] ppid=32011 vsize=1159612 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32015/stat : 32015 (toysat) S 32011 32014 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067073 1187442688 4764 33554432000 4194304 16246674 140734010516240 140288816295152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32014/tid=32016] ppid=32011 vsize=1164732 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32016/stat : 32016 (toysat) S 32011 32014 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106067073 1192685568 4781 33554432000 4194304 16246674 140734010516240 140288731360496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32014/tid=32017] ppid=32011 vsize=1168828 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32017/stat : 32017 (toysat) S 32011 32014 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067073 1196879872 4798 33554432000 4194304 16246674 140734010516240 140288720886960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.1002 s]
/proc/loadavg: 2.16 2.06 2.01 3/261 32014
/proc/meminfo: memFree=29818244/32872528 swapFree=9196/9196
[pid=32014] ppid=32011 vsize=1218116 CPUtime=0.09 cores=4-7,12-15
/proc/32014/stat : 32014 (toysat) R 32011 32014 25889 0 -1 4202496 31024 0 0 0 5 4 0 0 20 0 4 0 106067073 1247350784 31375 33554432000 4194304 16246674 140734010516240 140734010515664 12371341 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32014/statm: 304529 31389 641 2943 0 301423 0
[pid=32014/tid=32015] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32015/stat : 32015 (toysat) S 32011 32014 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 31399 33554432000 4194304 16246674 140734010516240 140288816295152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32014/tid=32016] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32016/stat : 32016 (toysat) S 32011 32014 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 31409 33554432000 4194304 16246674 140734010516240 140288731360496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32014/tid=32017] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32017/stat : 32017 (toysat) S 32011 32014 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 31418 33554432000 4194304 16246674 140734010516240 140288720886960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200531 s]
/proc/loadavg: 2.16 2.06 2.01 3/261 32014
/proc/meminfo: memFree=29818244/32872528 swapFree=9196/9196
[pid=32014] ppid=32011 vsize=1218116 CPUtime=0.19 cores=4-7,12-15
/proc/32014/stat : 32014 (toysat) R 32011 32014 25889 0 -1 4202496 55955 0 0 0 11 8 0 0 20 0 4 0 106067073 1247350784 56307 33554432000 4194304 16246674 140734010516240 140734010515664 12371445 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32014/statm: 304529 56318 641 2943 0 301423 0
[pid=32014/tid=32015] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32015/stat : 32015 (toysat) S 32011 32014 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 56326 33554432000 4194304 16246674 140734010516240 140288816295152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32014/tid=32016] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32016/stat : 32016 (toysat) S 32011 32014 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 56333 33554432000 4194304 16246674 140734010516240 140288731360496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32014/tid=32017] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32017/stat : 32017 (toysat) S 32011 32014 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 56340 33554432000 4194304 16246674 140734010516240 140288720886960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.3005 s]
/proc/loadavg: 2.16 2.06 2.01 3/261 32014
/proc/meminfo: memFree=29818244/32872528 swapFree=9196/9196
[pid=32014] ppid=32011 vsize=1218116 CPUtime=0.29 cores=4-7,12-15
/proc/32014/stat : 32014 (toysat) R 32011 32014 25889 0 -1 4202496 79205 0 0 0 18 11 0 0 20 0 4 0 106067073 1247350784 79557 33554432000 4194304 16246674 140734010516240 140734010515664 13007928 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32014/statm: 304529 79572 641 2943 0 301423 0
[pid=32014/tid=32015] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32015/stat : 32015 (toysat) S 32011 32014 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 79581 33554432000 4194304 16246674 140734010516240 140288816295152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32014/tid=32016] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32016/stat : 32016 (toysat) S 32011 32014 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 79590 33554432000 4194304 16246674 140734010516240 140288731360496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32014/tid=32017] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32017/stat : 32017 (toysat) S 32011 32014 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 79600 33554432000 4194304 16246674 140734010516240 140288720886960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700402 s]
/proc/loadavg: 2.16 2.06 2.01 3/261 32014
/proc/meminfo: memFree=29818244/32872528 swapFree=9196/9196
[pid=32014] ppid=32011 vsize=1218116 CPUtime=0.69 cores=4-7,12-15
/proc/32014/stat : 32014 (toysat) R 32011 32014 25889 0 -1 4202496 176351 0 0 0 45 24 0 0 20 0 4 0 106067073 1247350784 176698 33554432000 4194304 16246674 140734010516240 140734010515664 5677277 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32014/statm: 304529 176706 788 2943 0 301423 0
[pid=32014/tid=32015] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32015/stat : 32015 (toysat) S 32011 32014 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 176710 33554432000 4194304 16246674 140734010516240 140288816295152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32014/tid=32016] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32016/stat : 32016 (toysat) S 32011 32014 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 176712 33554432000 4194304 16246674 140734010516240 140288731360496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32014/tid=32017] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32017/stat : 32017 (toysat) S 32011 32014 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 176716 33554432000 4194304 16246674 140734010516240 140288720886960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

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

[startup+0.700402 s]
/proc/loadavg: 2.16 2.06 2.01 3/261 32014
/proc/meminfo: memFree=29818244/32872528 swapFree=9196/9196
[pid=32014] ppid=32011 vsize=1218116 CPUtime=0.69 cores=4-7,12-15
/proc/32014/stat : 32014 (toysat) R 32011 32014 25889 0 -1 4202496 176351 0 0 0 45 24 0 0 20 0 4 0 106067073 1247350784 176698 33554432000 4194304 16246674 140734010516240 140734010515664 5677277 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/32014/statm: 304529 176706 788 2943 0 301423 0
[pid=32014/tid=32015] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32015/stat : 32015 (toysat) S 32011 32014 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 176710 33554432000 4194304 16246674 140734010516240 140288816295152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=32014/tid=32016] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32016/stat : 32016 (toysat) S 32011 32014 25889 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 176712 33554432000 4194304 16246674 140734010516240 140288731360496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=32014/tid=32017] ppid=32011 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/32014/task/32017/stat : 32017 (toysat) S 32011 32014 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106067073 1247350784 176716 33554432000 4194304 16246674 140734010516240 140288720886960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

Child status: 0
Real time (s): 0.761346
CPU time (s): 0.759883
CPU user time (s): 0.467928
CPU system time (s): 0.291955
CPU usage (%): 99.8078
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.467928
system time used= 0.291955
maximum resident set size= 720540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179797
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= 20
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.006998 second user time and 0.005999 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 21:44:11
IDJOB=4079768
IDBENCH=2666
IDSOLVER=2542
FILE ID=node132/4079768-1465242250
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=251-Q=307.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079768-1465242250/watcher-4079768-1465242250 -o /tmp/evaluation-result-4079768-1465242250/solver-4079768-1465242250 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079768-1465242250.opb

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

MD5SUM BENCH= ed91c5eedb234f0dfb17f74fadfbf49f
RANDOM SEED=283786866

node132.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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.41
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        29818312 kB
Buffers:           45852 kB
Cached:            98808 kB
SwapCached:         3224 kB
Active:          2250188 kB
Inactive:          80736 kB
Active(anon):    2185436 kB
Inactive(anon):     3236 kB
Active(file):      64752 kB
Inactive(file):    77500 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094528 kB
Dirty:             16432 kB
Writeback:             0 kB
AnonPages:       2192532 kB
Mapped:            10744 kB
Shmem:                 0 kB
Slab:             574416 kB
SReclaimable:      14076 kB
SUnreclaim:       560340 kB
KernelStack:        2448 kB
PageTables:         8392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2338092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 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= 71716 MiB
End job on node132 at 2016-06-06 21:44:11