Trace number 4106439

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-02OPT2 6.52501 6.52858

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb
MD5SUMaeb6a0e03ee8f8f2b4b438b8148c9b4c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.106983
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables144
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)384
Sum of products size (including duplicates)768
Number of different products384
Sum of products size768

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-18T19:35:24+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-4106439-1466271324.opb"]
0.00/0.01	c use --random-gen="3488308542 3037015287 706301965 27718467 3638394879 3775094912 1391526159 3617104092 4264654219 1967274020 4073938939 176535015 748029882 3059461529 1025450464 3072427344 3470558894 1929700265 2958566952 2345503488 3306640645 1635643463 4103530590 326551087 2318560690 4043202723 1629685816 1896005136 2997447689 4242366235 3341601440 3696774707 331769494 1349493785 1935527141 179573186 1914704787 3046754448 820304291 2389103605 3888705365 3364702279 2802342652 554776793 2862989608 900507016 3625677105 2116932953 591750805 2544864349 4130964232 4142801530 2969008529 2530536951 2197789809 3793879836 954617485 1202376079 2758124269 857874826 3602192304 2229986101 3831829095 1755453391 2985258692 702546824 1048523435 827046320 1791322439 34915866 3337048742 1142753884 4277301825 947074716 834751016 904587402 2302668256 881163987 3205152978 2914230390 1898553120 3350480838 1708863199 1062932587 224096946 2002677809 2511087741 1881616482 2640619428 2104600686 932641903 2381869352 3756277881 2474097668 3391972218 2825117093 3520276921 992488648 1298155096 3555034111 2301299610 2768977863 2985255315 11218326 1303003974 1861284736 443357344 3156040117 1416022708 258154706 1268748500 2407271131 3615352674 1413418238 1718588910 2504197807 3957250840 2215588159 3731354248 3543817945 1568416694 2185202993 200113490 1335609124 2792459379 1245101797 4199839809 3423485237 2510369100 4222488988 3428796350 3636816971 1208495924 2836330360 1652739075 543535956 2305683734 1614073717 3401085297 3555975882 502144489 2096273578 739950518 2384816439 1732181418 1644478647 416020093 1107601215 2410188497 1873613499 3999887383 1383022781 3743020335 1979380958 2635140257 3240939422 3092951460 1612516174 714658227 861495184 3662683319 1961466009 2660102452 823502620 3063212038 1250955767 1864183824 2374065684 1889577126 668614593 3746506986 3933735191 2103374013 2782848744 1491429064 3999925209 1333561653 4168369123 3607166790 2291782161 2400987907 2472593690 3112034236 3240179718 2849702914 873991105 1582373348 1761139668 3520670869 1299317927 3017129342 3015826075 1780024100 977617789 1462226935 2876804795 452020735 2887839044 2823650414 1209338805 1570008013 1702279049 2339347370 193368007 516910298 945599322 1343422602 3216772922 165315489 497756071 817514035 3767169733 1704159435 2648023863 2108095287 2545832534 2629717619 4015702714 512378600 3278086727 3334641887 3678398388 90200550 3196452945 1190263968 2634968285 1512443193 3630069985 416109480 2074965125 2296633742 824821943 3419979085 4048285300 2928629793 3644991174 1103225188 3443809905 606667746 2117605179 2330882597 1306414621 3757978939 2352583216 2654732503 3828626116 603315668 3891219370 1312090897 1739005699 3048008632 102833625 554997002 3743109263 4161267068 1427085002 255 362436" option to reproduce the execution
0.00/0.01	c #vars 144
0.00/0.01	c #constraints 13
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      566      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      132 |      100 |      566      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      368 |      250 |      623      0 |        0 |        0
0.09/0.19	c  0.2s |       3 |      701 |      475 |      686      0 |        0 |        0
0.29/0.32	c  0.3s |       4 |     1117 |      813 |      755      0 |        0 |        0
0.59/0.64	c  0.6s |       5 |     1680 |     1320 |      831      1 |        0 |        0
0.99/1.10	c  1.1s |       6 |     2530 |     2081 |     1007      2 |        0 |        0
1.39/1.44	c  1.4s |       7 |     3804 |     3223 |     1108      5 |        0 |        0
1.69/1.76	c  1.7s |       8 |     5676 |     4936 |     1219      7 |        0 |        0
2.89/2.97	c  2.9s |       9 |     8580 |     7506 |     1341     10 |        0 |        0
4.09/4.15	c  4.1s |      10 |    12771 |    11361 |     1476     14 |        0 |        0
5.89/5.90	c  5.9s |      11 |    18940 |    17144 |     1624     20 |        0 |        0
5.89/5.97	c  5.9s |      11 |    19301 |    17413 |     1624     21 |        0 |        0
5.89/5.97	c #cpu_time = 5.927s
5.89/5.97	c #wall_clock_time = 5.942s
5.89/5.97	c #decision = 19301
5.89/5.97	c #random_decision = 73
5.89/5.97	c #conflict = 17413
5.89/5.97	c #restart = 11
5.89/5.97	o 187
5.89/5.97	c BCD2: updating upper bound: 255 -> 186
5.89/5.97	c BCD2: 0 <= obj <= 186
5.89/5.97	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
5.89/5.97	c BCD2: #sat=1 #unsat=1 bias=1/2
5.89/5.97	c Solving starts ...
5.89/5.97	c ============================[ Search Statistics ]============================
5.89/5.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.89/5.97	c       |         |          |          |    Limit     GC | Var      | Constra 
5.89/5.97	c =============================================================================
5.89/5.97	c  0.0s |       0 |        0 |        0 |     1624      0 |        0 |        0
5.89/5.97	c  0.0s |       0 |        6 |        0 |     1624      0 |        0 |        0
5.89/5.97	c #cpu_time = 0.004s
5.89/5.97	c #wall_clock_time = 0.004s
5.89/5.97	c #decision = 6
5.89/5.97	c #random_decision = 0
5.89/5.97	c #conflict = 0
5.89/5.97	c #restart = 0
5.89/5.97	c BCD2: found a new core of size 7: cost of the new core is >=2
5.89/5.97	c lower bound updated to 2
5.89/5.97	c BCD2: 2 <= obj <= 186
5.89/5.97	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
5.89/5.97	c BCD2: #sat=1 #unsat=2 bias=2/3
5.89/5.97	c Solving starts ...
5.89/5.97	c ============================[ Search Statistics ]============================
5.89/5.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.89/5.97	c       |         |          |          |    Limit     GC | Var      | Constra 
5.89/5.97	c =============================================================================
5.89/5.97	c  0.0s |       0 |        0 |        0 |     1624      0 |        0 |        0
5.89/5.99	c  0.0s |       1 |      172 |      100 |     1624      0 |        0 |        0
5.99/6.07	c  0.1s |       2 |      410 |      250 |     1624      0 |        0 |        0
6.19/6.20	c  0.2s |       3 |      846 |      475 |     1624      0 |        0 |        0
6.19/6.26	c  0.3s |       4 |     1659 |      813 |     1624      0 |        0 |        0
6.39/6.42	c  0.4s |       5 |     2264 |     1320 |     1624      1 |        0 |        0
6.39/6.45	c  0.5s |       5 |     2360 |     1348 |     1624      1 |        0 |        0
6.39/6.45	c #cpu_time = 0.475s
6.39/6.45	c #wall_clock_time = 0.476s
6.39/6.45	c #decision = 2360
6.39/6.45	c #random_decision = 4
6.39/6.45	c #conflict = 1348
6.39/6.45	c #restart = 5
6.39/6.45	o 10
6.39/6.45	c BCD2: hardening fixes 4 literals
6.39/6.45	c BCD2: updating upper bound: 186 -> 9
6.39/6.45	c BCD2: 2 <= obj <= 9
6.39/6.45	c BCD2: #cores=1, #unrelaxed=1, #relaxed=3, #hardened=4
6.39/6.45	c BCD2: #sat=2 #unsat=2 bias=2/4
6.39/6.45	c Solving starts ...
6.39/6.45	c ============================[ Search Statistics ]============================
6.39/6.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.39/6.45	c       |         |          |          |    Limit     GC | Var      | Constra 
6.39/6.45	c =============================================================================
6.39/6.45	c  0.0s |       0 |        0 |        0 |     1624      0 |       40 |        1
6.39/6.45	c  0.0s |       0 |       72 |        6 |     1624      0 |       40 |       98
6.39/6.45	c #cpu_time = 0.007s
6.39/6.45	c #wall_clock_time = 0.007s
6.39/6.45	c #decision = 72
6.39/6.45	c #random_decision = 0
6.39/6.45	c #conflict = 6
6.39/6.45	c #restart = 0
6.39/6.45	o 6
6.39/6.45	c BCD2: hardening fixes 1 literals
6.39/6.45	c BCD2: updating upper bound: 9 -> 5
6.39/6.46	c BCD2: 2 <= obj <= 5
6.39/6.46	c BCD2: #cores=1, #unrelaxed=1, #relaxed=2, #hardened=5
6.39/6.46	c BCD2: #sat=3 #unsat=2 bias=2/5
6.39/6.46	c Solving starts ...
6.39/6.46	c ============================[ Search Statistics ]============================
6.39/6.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.39/6.46	c       |         |          |          |    Limit     GC | Var      | Constra 
6.39/6.46	c =============================================================================
6.39/6.46	c  0.0s |       0 |        0 |        0 |     1624      0 |       50 |       99
6.39/6.46	c  0.0s |       0 |       64 |        0 |     1624      0 |       50 |      124
6.39/6.46	c #cpu_time = 0.007s
6.39/6.46	c #wall_clock_time = 0.007s
6.39/6.46	c #decision = 64
6.39/6.46	c #random_decision = 0
6.39/6.46	c #conflict = 0
6.39/6.46	c #restart = 0
6.39/6.46	o 2
6.39/6.46	s OPTIMUM FOUND
6.39/6.46	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10
6.39/6.46	v x11 -x12 -x13 x14 -x15 -x16 x17 -x18 x19 x20
6.39/6.46	v -x21 x22 -x23 x24 x25 x26 x27 x28 -x29 x30
6.39/6.46	v x31 -x32 x33 -x34 x35 x36 -x37 x38 -x39 -x40
6.39/6.46	v x41 -x42 -x43 x44 x45 -x46 x47 x48 x49 x50
6.39/6.46	v -x51 -x52 x53 x54 x55 -x56 -x57 x58 x59 x60
6.39/6.46	v -x61 -x62 x63 -x64 -x65 x66 x67 -x68 x69 x70
6.39/6.46	v -x71 x72 -x73 x74 -x75 x76 -x77 x78 x79 x80
6.39/6.46	v -x81 x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90
6.39/6.46	v -x91 -x92 x93 -x94 x95 x96 -x97 -x98 -x99 -x100
6.39/6.46	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 x110
6.39/6.46	v -x111 -x112 -x113 x114 x115 x116 -x117 -x118 x119 -x120
6.39/6.46	v x121 -x122 -x123 x124 -x125 x126 -x127 -x128 -x129 -x130
6.39/6.46	v x131 x132 x133 -x134 -x135 -x136 -x137 x138 x139 x140
6.39/6.46	v x141 -x142 x143 -x144
6.39/6.46	c total CPU time = 6.447s
6.39/6.46	c total wall clock time = 6.464s

Verifier Data 

OK	2

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

pid=28200
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.27 2.20 2.18 3/179 28203
/proc/meminfo: memFree=29377440/32872528 swapFree=1191052/1305516
[pid=28203] ppid=28200 vsize=586172 CPUtime=0 cores=0,2,4,6
/proc/28203/stat : 28203 (toysat) R 28200 28203 26736 0 -1 4202496 2165 0 0 0 0 0 0 0 20 0 4 0 29179005 600240128 2015 33554432000 4194304 16246674 140734566053952 140734566053376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28203/statm: 147055 2024 441 2943 0 143949 0
[pid=28203/tid=28204] ppid=28200 vsize=602556 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28204/stat : 28204 (toysat) S 28200 28203 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29179005 617017344 2080 33554432000 4194304 16246674 140734566053952 139933697158384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28203/tid=28205] ppid=28200 vsize=607676 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28205/stat : 28205 (toysat) S 28200 28203 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29179005 622260224 2097 33554432000 4194304 16246674 140734566053952 139933686668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28203/tid=28206] ppid=28200 vsize=611772 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28206/stat : 28206 (toysat) S 28200 28203 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29179005 626454528 2113 33554432000 4194304 16246674 140734566053952 139933676194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 2.27 2.20 2.18 3/179 28203
/proc/meminfo: memFree=29377440/32872528 swapFree=1191052/1305516
[pid=28203] ppid=28200 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/28203/stat : 28203 (toysat) R 28200 28203 26736 0 -1 4202496 21715 0 0 0 6 3 0 0 20 0 4 0 29179005 1247350784 21552 33554432000 4194304 16246674 140734566053952 140734566053376 6836566 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28203/statm: 304529 21559 759 2943 0 301423 0
[pid=28203/tid=28204] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28204/stat : 28204 (toysat) S 28200 28203 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 21564 33554432000 4194304 16246674 140734566053952 139933697158384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28203/tid=28205] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28205/stat : 28205 (toysat) S 28200 28203 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 21570 33554432000 4194304 16246674 140734566053952 139933686668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28203/tid=28206] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28206/stat : 28206 (toysat) S 28200 28203 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 21575 33554432000 4194304 16246674 140734566053952 139933676194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200482 s]
/proc/loadavg: 2.27 2.20 2.18 3/179 28203
/proc/meminfo: memFree=29377440/32872528 swapFree=1191052/1305516
[pid=28203] ppid=28200 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/28203/stat : 28203 (toysat) R 28200 28203 26736 0 -1 4202496 38507 0 0 0 13 5 0 0 20 0 4 0 29179005 1247350784 38345 33554432000 4194304 16246674 140734566053952 140734566053376 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28203/statm: 304529 38352 759 2943 0 301423 0
[pid=28203/tid=28204] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28204/stat : 28204 (toysat) S 28200 28203 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 38357 33554432000 4194304 16246674 140734566053952 139933697158384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28203/tid=28205] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28205/stat : 28205 (toysat) S 28200 28203 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 38366 33554432000 4194304 16246674 140734566053952 139933686668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28203/tid=28206] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28206/stat : 28206 (toysat) S 28200 28203 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 38369 33554432000 4194304 16246674 140734566053952 139933676194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.30042 s]
/proc/loadavg: 2.27 2.20 2.18 3/179 28203
/proc/meminfo: memFree=29377440/32872528 swapFree=1191052/1305516
[pid=28203] ppid=28200 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/28203/stat : 28203 (toysat) R 28200 28203 26736 0 -1 4202496 55263 0 0 0 21 8 0 0 20 0 4 0 29179005 1247350784 55100 33554432000 4194304 16246674 140734566053952 140734566053376 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28203/statm: 304529 55113 759 2943 0 301423 0
[pid=28203/tid=28204] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28204/stat : 28204 (toysat) S 28200 28203 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 55118 33554432000 4194304 16246674 140734566053952 139933697158384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28203/tid=28205] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28205/stat : 28205 (toysat) S 28200 28203 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 55128 33554432000 4194304 16246674 140734566053952 139933686668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28203/tid=28206] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28206/stat : 28206 (toysat) S 28200 28203 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 55133 33554432000 4194304 16246674 140734566053952 139933676194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.27 2.20 2.18 3/179 28203
/proc/meminfo: memFree=29377440/32872528 swapFree=1191052/1305516
[pid=28203] ppid=28200 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/28203/stat : 28203 (toysat) R 28200 28203 26736 0 -1 4202496 123904 0 0 0 52 17 0 0 20 0 4 0 29179005 1247350784 123741 33554432000 4194304 16246674 140734566053952 140734566035840 12478957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28203/statm: 304529 123748 768 2943 0 301423 0
[pid=28203/tid=28204] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28204/stat : 28204 (toysat) S 28200 28203 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 123752 33554432000 4194304 16246674 140734566053952 139933697158384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28203/tid=28205] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28205/stat : 28205 (toysat) S 28200 28203 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 123757 33554432000 4194304 16246674 140734566053952 139933686668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28203/tid=28206] ppid=28200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28206/stat : 28206 (toysat) S 28200 28203 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29179005 1247350784 123761 33554432000 4194304 16246674 140734566053952 139933676194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 28207
/proc/meminfo: memFree=28584668/32872528 swapFree=1191052/1305516
[pid=28203] ppid=28200 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/28203/stat : 28203 (toysat) R 28200 28203 26736 0 -1 4202496 246071 0 0 0 115 34 0 0 20 0 4 0 29179005 1249447936 245885 33554432000 4194304 16246674 140734566053952 140734566053264 5712555 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28203/statm: 305041 245885 835 2943 0 301935 0
[pid=28203/tid=28204] ppid=28200 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28204/stat : 28204 (toysat) S 28200 28203 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29179005 1249447936 245885 33554432000 4194304 16246674 140734566053952 139933697158384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28203/tid=28205] ppid=28200 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28205/stat : 28205 (toysat) S 28200 28203 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29179005 1249447936 245885 33554432000 4194304 16246674 140734566053952 139933686668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28203/tid=28206] ppid=28200 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28206/stat : 28206 (toysat) S 28200 28203 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29179005 1249447936 245885 33554432000 4194304 16246674 140734566053952 139933676194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10042 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 28207
/proc/meminfo: memFree=28394948/32872528 swapFree=1191052/1305516
[pid=28203] ppid=28200 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/28203/stat : 28203 (toysat) R 28200 28203 26736 0 -1 4202496 266717 0 0 0 272 37 0 0 20 0 4 0 29179005 1334382592 266531 33554432000 4194304 16246674 140734566053952 140734566035840 5711400 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28203/statm: 325777 266531 835 2943 0 322671 0
[pid=28203/tid=28204] ppid=28200 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28204/stat : 28204 (toysat) S 28200 28203 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29179005 1334382592 266531 33554432000 4194304 16246674 140734566053952 139933697158384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28203/tid=28205] ppid=28200 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28205/stat : 28205 (toysat) S 28200 28203 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29179005 1334382592 266531 33554432000 4194304 16246674 140734566053952 139933686668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28203/tid=28206] ppid=28200 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28206/stat : 28206 (toysat) S 28200 28203 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29179005 1334382592 266531 33554432000 4194304 16246674 140734566053952 139933676194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30043 s]
/proc/loadavg: 2.33 2.22 2.19 3/183 28207
/proc/meminfo: memFree=28308152/32872528 swapFree=1191052/1305516
[pid=28203] ppid=28200 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/28203/stat : 28203 (toysat) R 28200 28203 26736 0 -1 4202496 267864 0 0 0 592 37 0 0 20 0 4 0 29179005 1338576896 267678 33554432000 4194304 16246674 140734566053952 140734566035840 5711836 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28203/statm: 326801 267678 854 2943 0 323695 0
[pid=28203/tid=28204] ppid=28200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28204/stat : 28204 (toysat) S 28200 28203 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29179005 1338576896 267678 33554432000 4194304 16246674 140734566053952 139933697158384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28203/tid=28205] ppid=28200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28205/stat : 28205 (toysat) S 28200 28203 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29179005 1338576896 267678 33554432000 4194304 16246674 140734566053952 139933686668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28203/tid=28206] ppid=28200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28206/stat : 28206 (toysat) S 28200 28203 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29179005 1338576896 267678 33554432000 4194304 16246674 140734566053952 139933676194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

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

[startup+6.40049 s]
/proc/loadavg: 2.33 2.22 2.19 3/183 28207
/proc/meminfo: memFree=28308152/32872528 swapFree=1191052/1305516
[pid=28203] ppid=28200 vsize=1307204 CPUtime=6.39 cores=0,2,4,6
/proc/28203/stat : 28203 (toysat) R 28200 28203 26736 0 -1 4202496 267864 0 0 0 602 37 0 0 20 0 4 0 29179005 1338576896 267678 33554432000 4194304 16246674 140734566053952 140734566035840 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28203/statm: 326801 267678 854 2943 0 323695 0
[pid=28203/tid=28204] ppid=28200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28204/stat : 28204 (toysat) S 28200 28203 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29179005 1338576896 267678 33554432000 4194304 16246674 140734566053952 139933697158384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28203/tid=28205] ppid=28200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28205/stat : 28205 (toysat) S 28200 28203 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29179005 1338576896 267678 33554432000 4194304 16246674 140734566053952 139933686668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28203/tid=28206] ppid=28200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28203/task/28206/stat : 28206 (toysat) S 28200 28203 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29179005 1338576896 267678 33554432000 4194304 16246674 140734566053952 139933676194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 1307204

[startup+6.50035 s]
/proc/loadavg: 2.33 2.22 2.19 3/183 28207
/proc/meminfo: memFree=28308152/32872528 swapFree=1191052/1305516
[pid=28203] ppid=28200 vsize=0 CPUtime=6.49 cores=0,2,4,6
/proc/28203/stat : 28203 (toysat) R 28200 28203 26736 0 -1 4202500 267869 0 0 0 609 40 0 0 20 0 1 0 29179005 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28203/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 6.52858
CPU time (s): 6.52501
CPU user time (s): 6.09107
CPU system time (s): 0.433934
CPU usage (%): 99.9453
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.09107
system time used= 0.433934
maximum resident set size= 1070728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267869
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= 11

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021996 second user time and 0.030995 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 19:35:24
IDJOB=4106439
IDBENCH=48061
IDSOLVER=2542
FILE ID=node127/4106439-1466271324
RUNJOBID= node127-1466265123-26752
PBS_JOBID= 19918231
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106439-1466271324/watcher-4106439-1466271324 -o /tmp/evaluation-result-4106439-1466271324/solver-4106439-1466271324 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106439-1466271324.opb

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

MD5SUM BENCH= aeb6a0e03ee8f8f2b4b438b8148c9b4c
RANDOM SEED=1275667377

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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.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		: 2666.769
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:        29378068 kB
Buffers:           89576 kB
Cached:           260328 kB
SwapCached:          516 kB
Active:          1190524 kB
Inactive:         258760 kB
Active(anon):    1099564 kB
Inactive(anon):     2184 kB
Active(file):      90960 kB
Inactive(file):   256576 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2404644 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             604136 kB
SReclaimable:      48256 kB
SUnreclaim:       555880 kB
KernelStack:        1520 kB
PageTables:         8908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2548040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    927744 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= 71708 MiB
End job on node127 at 2016-06-18 19:35:30