Trace number 4106445

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-02OPT3 11.2003 11.2108

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=53-P1=43-P2=37-P3=59-P4=29-P5=29-B.opb
MD5SUMdb002b0dbb3c0b3c0fa9236f5eae018a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.045992
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables90
Total number of constraints11
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 constraints11
Minimum length of a constraint6
Maximum length of a constraint48
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2048
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 8064
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)180
Sum of products size (including duplicates)360
Number of different products180
Sum of products size360

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.01	c 2016-06-18T19:40:58+0200
0.00/0.01	c version = 0.5.0
0.00/0.01	c githash = 1a49202
0.00/0.01	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.01	c arch = x86_64
0.00/0.01	c os = linux
0.00/0.01	c compiler = ghc 7.10
0.00/0.01	c packages:
0.00/0.01	c   OptDir-0.0.3
0.00/0.01	c   array-0.5.1.0
0.00/0.01	c   base-4.8.2.0
0.00/0.01	c   bytestring-0.10.6.0
0.00/0.01	c   bytestring-builder-0.10.6.0.0
0.00/0.01	c   clock-0.7.2
0.00/0.01	c   containers-0.5.6.2
0.00/0.01	c   data-default-0.5.3
0.00/0.01	c   data-default-class-0.0.1
0.00/0.01	c   data-interval-1.2.0
0.00/0.01	c   deepseq-1.4.1.1
0.00/0.01	c   directory-1.2.2.0
0.00/0.01	c   exceptions-0.8.2.1
0.00/0.01	c   extended-reals-0.2.1.0
0.00/0.01	c   filepath-1.4.0.0
0.00/0.01	c   finite-field-0.8.0
0.00/0.01	c   hashable-1.2.4.0
0.00/0.01	c   heaps-0.3.3
0.00/0.01	c   intern-0.9.1.4
0.00/0.01	c   loop-0.3.0
0.00/0.01	c   mtl-2.2.1
0.00/0.01	c   multiset-0.3.2
0.00/0.01	c   mwc-random-0.13.3.2
0.00/0.01	c   parse_dimacs-1.3
0.00/0.01	c   parsec-3.1.9
0.00/0.01	c   prettyclass-1.0.0.0
0.00/0.01	c   primes-0.2.1.0
0.00/0.01	c   primitive-0.6.1.0
0.00/0.01	c   process-1.2.3.0
0.00/0.01	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-4106445-1466271658.opb"]
0.00/0.02	c use --random-gen="1509402076 4019311686 3992913603 2423589728 1386459485 4055685133 666356934 3905523926 3920232223 3258916949 3516779106 225071969 2194973722 930907471 2745570753 3854123621 3629719092 2183164109 1497359528 3662012755 1253259705 2498291590 1430713345 2122658977 724285018 1553644116 1848786949 1224530066 3336457527 2606447545 1574623466 133749683 1977533757 1007328715 3185093028 669581809 2989074103 3536863711 2057296525 1571991547 2783744321 1068021984 4167656883 3465885162 2349822699 803971691 3413448838 3136011517 1176463346 176066144 3850262515 2667601034 3730416809 503747945 146857367 2022976185 3648264422 1265145780 3507681586 574005060 579928518 2325322166 2566478951 2214793221 2104943672 2582391738 531070123 3061524674 3530340453 2007243498 2960411014 2128215733 2266307656 1592340622 3230618024 3519813389 3562477190 3630135379 364301986 2621164777 4132579648 2550025309 2241553134 2189733227 4180481260 3133283829 2458877769 781126969 1631049428 2983437393 4168792683 4084944858 3204821404 1178427377 1098902258 3207054900 2562074402 2629317869 1165916995 3187092204 1432706862 3896725550 2027149924 289649164 1400428050 3269871393 796244530 3381144887 2870229432 1885503112 2787282483 662751945 2211864054 3923877130 1474188302 2473646331 3575555153 1800582732 3127311865 1162668906 3069972244 623495192 4191209615 2480448314 2355152439 1133716714 3752900693 4239727502 1497158871 3322892155 4144584155 3449064268 1305054482 3560422939 284505172 4288725484 2028615215 176321160 989554747 1747156348 4288578481 1005971266 2547792907 4282592006 2870625262 1735978638 3081566420 1372770152 3670639834 1108433923 2804103473 1660814354 3845835039 2432297336 858699239 3938676592 404875878 1620314868 1261410431 3020278717 1217317084 991910027 4270656146 3141447819 2826869951 829623419 1409762995 2835500598 3507423074 1488544249 476062271 2547423501 1558870600 4174075760 4264199221 1608293778 4010122847 3614226368 2930481121 4052091746 1092592114 128005149 1162944079 2670675584 1363669462 3191665185 3048489028 760916000 2429414157 4118013069 1697653950 37848264 2661212474 363443961 1626125307 494510774 2061349938 2451139115 1264884730 2881411181 3596350023 18244480 1433637974 268587192 2636823413 1537841508 1558070229 3259159396 335611045 120608838 3576501603 2351527871 1051526567 140943010 2659358289 1486086134 3740594262 956064124 3937926624 2128165228 890951424 2589128881 2282833226 3239261439 2131307543 1530000870 302729953 3376130205 2238015868 3424297457 3041022849 1144107559 3439617154 4190187258 3259433756 3364396102 2193616507 1218243210 3982170024 1703857768 2412953712 3936595594 4292296851 184476527 3634853011 240170723 3677004536 3327916378 1668170050 2843628761 2408815954 1442747966 840911953 361433229 888368259 1030517205 255 362436" option to reproduce the execution
0.00/0.02	c #vars 90
0.00/0.02	c #constraints 11
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 |      275      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      172 |      100 |      275      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      415 |      250 |      303      0 |        0 |        0
0.08/0.12	c  0.1s |       3 |      705 |      475 |      334      0 |        0 |        0
0.18/0.20	c  0.2s |       4 |     1112 |      813 |      368      1 |        0 |        0
0.18/0.22	c  0.2s |       4 |     1266 |      912 |      405      2 |        0 |        0
0.18/0.22	c #cpu_time = 0.196s
0.18/0.22	c #wall_clock_time = 0.197s
0.18/0.22	c #decision = 1266
0.18/0.22	c #random_decision = 2
0.18/0.22	c #conflict = 912
0.18/0.22	c #restart = 4
0.18/0.22	o 31
0.18/0.22	c BCD2: hardening fixes 1 literals
0.18/0.22	c BCD2: updating upper bound: 63 -> 30
0.18/0.22	c BCD2: 0 <= obj <= 30
0.18/0.22	c BCD2: #cores=0, #unrelaxed=5, #relaxed=0, #hardened=1
0.18/0.22	c BCD2: #sat=1 #unsat=1 bias=1/2
0.18/0.22	c Solving starts ...
0.18/0.22	c ============================[ Search Statistics ]============================
0.18/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.22	c =============================================================================
0.18/0.22	c  0.0s |       0 |        0 |        0 |      405      0 |        8 |        0
0.18/0.22	c  0.0s |       0 |        3 |        0 |      405      0 |        8 |       18
0.18/0.22	c #cpu_time = 0.002s
0.18/0.22	c #wall_clock_time = 0.002s
0.18/0.22	c #decision = 3
0.18/0.22	c #random_decision = 0
0.18/0.22	c #conflict = 0
0.18/0.22	c #restart = 0
0.18/0.22	c BCD2: found a new core of size 4: cost of the new core is >=2
0.18/0.22	c lower bound updated to 2
0.18/0.22	c BCD2: 2 <= obj <= 30
0.18/0.22	c BCD2: #cores=1, #unrelaxed=1, #relaxed=4, #hardened=1
0.18/0.22	c BCD2: #sat=1 #unsat=2 bias=2/3
0.18/0.22	c Solving starts ...
0.18/0.22	c ============================[ Search Statistics ]============================
0.18/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.22	c =============================================================================
0.18/0.22	c  0.0s |       0 |        0 |        0 |      405      0 |        8 |       18
0.18/0.24	c  0.0s |       1 |      136 |      100 |      405      0 |        8 |       18
0.18/0.29	c  0.1s |       2 |      378 |      250 |      405      1 |        8 |       18
0.29/0.33	c  0.1s |       3 |      665 |      475 |      446      1 |        8 |       18
0.29/0.38	c  0.2s |       4 |     1092 |      813 |      446      3 |        8 |       18
0.48/0.59	c  0.4s |       5 |     2068 |     1320 |      491      4 |        8 |       18
0.68/0.74	c  0.5s |       6 |     2967 |     2081 |      491      6 |        8 |       18
0.98/1.02	c  0.8s |       7 |     4219 |     3223 |      541      9 |        8 |       18
1.29/1.36	c  1.1s |       8 |     6095 |     4936 |      596     14 |        8 |       18
1.78/1.84	c  1.6s |       9 |     9153 |     7506 |      656     21 |        8 |       18
2.38/2.40	c  2.2s |      10 |    13438 |    11361 |      722     30 |        8 |       18
3.48/3.51	c  3.3s |      11 |    19922 |    17144 |      795     42 |        8 |       18
4.78/4.80	c  4.6s |      12 |    29330 |    25819 |      875     60 |        8 |       18
6.78/6.80	c  6.6s |      12 |    41256 |    35819 |      875     79 |        8 |       18
7.18/7.22	c  7.0s |      13 |    44465 |    38832 |      963     84 |        9 |       24
9.18/9.23	c  9.0s |      13 |    57022 |    49432 |      963    105 |        9 |       24
10.68/10.70	c 10.5s |      14 |    67700 |    58352 |     1060    122 |        9 |       24
10.99/11.06	c 10.8s |      14 |    70305 |    60588 |     1060    126 |        9 |       24
10.99/11.06	c #cpu_time = 10.811s
10.99/11.06	c #wall_clock_time = 10.839s
10.99/11.06	c #decision = 70305
10.99/11.06	c #random_decision = 263
10.99/11.06	c #conflict = 60588
10.99/11.06	c #restart = 14
10.99/11.06	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=3
10.99/11.06	c lower bound updated to 3
10.99/11.06	c BCD2: 3 <= obj <= 30
10.99/11.06	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=1
10.99/11.06	c BCD2: #sat=1 #unsat=3 bias=3/4
10.99/11.06	c Solving starts ...
10.99/11.06	c ============================[ Search Statistics ]============================
10.99/11.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.99/11.06	c       |         |          |          |    Limit     GC | Var      | Constra 
10.99/11.06	c =============================================================================
10.99/11.06	c  0.0s |       0 |        0 |        0 |     1060      0 |       10 |       24
10.99/11.08	c  0.0s |       1 |      140 |      100 |     1060      0 |       10 |       25
10.99/11.09	c  0.0s |       1 |      261 |      150 |     1060      0 |       10 |       25
10.99/11.09	c #cpu_time = 0.029s
10.99/11.09	c #wall_clock_time = 0.029s
10.99/11.09	c #decision = 261
10.99/11.09	c #random_decision = 1
10.99/11.09	c #conflict = 150
10.99/11.09	c #restart = 1
10.99/11.09	o 13
10.99/11.09	c BCD2: hardening fixes 1 literals
10.99/11.09	c BCD2: updating upper bound: 30 -> 12
10.99/11.09	c BCD2: 3 <= obj <= 12
10.99/11.09	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=2
10.99/11.09	c BCD2: #sat=2 #unsat=3 bias=3/5
10.99/11.09	c Solving starts ...
10.99/11.09	c ============================[ Search Statistics ]============================
10.99/11.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.99/11.09	c       |         |          |          |    Limit     GC | Var      | Constra 
10.99/11.09	c =============================================================================
10.99/11.09	c  0.0s |       0 |        0 |        0 |     1060      0 |       18 |       26
11.09/11.11	c  0.0s |       1 |      126 |      100 |     1060      0 |       18 |       45
11.09/11.13	c  0.0s |       1 |      318 |      224 |     1060      0 |       18 |       45
11.09/11.13	c #cpu_time = 0.042s
11.09/11.13	c #wall_clock_time = 0.043s
11.09/11.13	c #decision = 318
11.09/11.13	c #random_decision = 1
11.09/11.13	c #conflict = 224
11.09/11.13	c #restart = 1
11.09/11.13	o 9
11.09/11.13	c BCD2: updating upper bound: 12 -> 8
11.09/11.13	c BCD2: 3 <= obj <= 8
11.09/11.13	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=2
11.09/11.13	c BCD2: #sat=3 #unsat=3 bias=3/6
11.09/11.13	c Solving starts ...
11.09/11.13	c ============================[ Search Statistics ]============================
11.09/11.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.09/11.13	c       |         |          |          |    Limit     GC | Var      | Constra 
11.09/11.13	c =============================================================================
11.09/11.13	c  0.0s |       0 |        0 |        0 |     1060      0 |       18 |       45
11.09/11.14	c  0.0s |       0 |      104 |       47 |     1060      0 |       18 |       45
11.09/11.14	c #cpu_time = 0.009s
11.09/11.14	c #wall_clock_time = 0.009s
11.09/11.14	c #decision = 104
11.09/11.14	c #random_decision = 0
11.09/11.14	c #conflict = 47
11.09/11.14	c #restart = 0
11.09/11.14	o 3
11.09/11.14	s OPTIMUM FOUND
11.09/11.14	v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10
11.09/11.14	v -x11 -x12 x13 x14 x15 -x16 -x17 -x18 x19 -x20
11.09/11.14	v x21 -x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30
11.09/11.14	v x31 -x32 -x33 -x34 -x35 x36 x37 x38 -x39 x40
11.09/11.14	v x41 -x42 x43 -x44 x45 x46 x47 x48 x49 -x50
11.09/11.14	v -x51 -x52 x53 x54 x55 -x56 -x57 x58 x59 x60
11.09/11.14	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70
11.09/11.14	v -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 x80
11.09/11.14	v x81 -x82 -x83 -x84 x85 -x86 x87 x88 x89 -x90
11.09/11.14	c total CPU time = 11.111s
11.09/11.14	c total wall clock time = 11.139s

Verifier Data 

OK	3

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-4106445-1466271658/watcher-4106445-1466271658 -o /tmp/evaluation-result-4106445-1466271658/solver-4106445-1466271658 -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-4106445-1466271658.opb 

pid=28307
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

[startup+0 s]
/proc/loadavg: 2.11 2.13 2.15 3/180 28310
/proc/meminfo: memFree=29377176/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/28310/stat : 28310 (runsolver) R 28307 26736 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 1 0 29212430 24911872 51 33554432000 4194304 4338465 140733642845008 140733642842544 214540770887 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/28310/statm: 6082 51 5 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100123 s]
/proc/loadavg: 2.11 2.13 2.15 3/180 28310
/proc/meminfo: memFree=29377176/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 19178 0 0 0 6 2 0 0 20 0 4 0 29212430 1247350784 19527 33554432000 4194304 16246674 140736211238576 140736211238000 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 304529 19535 758 2943 0 301423 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200343 s]
/proc/loadavg: 2.11 2.13 2.15 3/180 28310
/proc/meminfo: memFree=29377176/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 38022 0 0 0 13 5 0 0 20 0 4 0 29212430 1247350784 38370 33554432000 4194304 16246674 140736211238576 140736211238000 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 304529 38385 765 2943 0 301423 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300308 s]
/proc/loadavg: 2.11 2.13 2.15 3/180 28310
/proc/meminfo: memFree=29377176/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 55505 0 0 0 21 8 0 0 20 0 4 0 29212430 1247350784 55852 33554432000 4194304 16246674 140736211238576 140736211238000 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 304529 55862 796 2943 0 301423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700306 s]
/proc/loadavg: 2.11 2.13 2.15 3/180 28310
/proc/meminfo: memFree=29377176/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 129432 0 0 0 50 18 0 0 20 0 4 0 29212430 1247350784 129779 33554432000 4194304 16246674 140736211238576 140736211221568 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 304529 129790 797 2943 0 301423 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.11 2.13 2.15 3/184 28314
/proc/meminfo: memFree=28560136/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 245863 0 0 0 113 35 0 0 20 0 4 0 29212430 1248399360 246188 33554432000 4194304 16246674 140736211238576 140736211220480 5717450 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 304785 246188 854 2943 0 301679 0
[pid=28310/tid=28312] ppid=28307 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28312/stat : 28312 (toysat) S 28307 28310 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29212431 1248399360 246188 33554432000 4194304 16246674 140736211238576 139660628045040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28310/tid=28313] ppid=28307 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28313/stat : 28313 (toysat) S 28307 28310 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29212431 1248399360 246188 33554432000 4194304 16246674 140736211238576 139660617555184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=28310/tid=28314] ppid=28307 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28314/stat : 28314 (toysat) S 28307 28310 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29212431 1248399360 246188 33554432000 4194304 16246674 140736211238576 139660607081648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.11 2.13 2.15 3/184 28314
/proc/meminfo: memFree=28393728/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1305156 CPUtime=3.08 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 267226 0 0 0 270 38 0 0 20 0 4 0 29212430 1336479744 267551 33554432000 4194304 16246674 140736211238576 140736211220480 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 326289 267551 854 2943 0 323183 0
[pid=28310/tid=28312] ppid=28307 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28312/stat : 28312 (toysat) S 28307 28310 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29212431 1336479744 267551 33554432000 4194304 16246674 140736211238576 139660628045040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28310/tid=28313] ppid=28307 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28313/stat : 28313 (toysat) S 28307 28310 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29212431 1336479744 267551 33554432000 4194304 16246674 140736211238576 139660617555184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=28310/tid=28314] ppid=28307 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28314/stat : 28314 (toysat) S 28307 28310 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29212431 1336479744 267551 33554432000 4194304 16246674 140736211238576 139660607081648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1305156

[startup+6.30042 s]
/proc/loadavg: 2.10 2.13 2.15 3/183 28314
/proc/meminfo: memFree=28306828/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 267580 0 0 0 590 38 0 0 20 0 4 0 29212430 1337528320 267905 33554432000 4194304 16246674 140736211238576 140736211220480 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 326545 267905 854 2943 0 323439 0
[pid=28310/tid=28312] ppid=28307 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28312/stat : 28312 (toysat) S 28307 28310 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29212431 1337528320 267905 33554432000 4194304 16246674 140736211238576 139660628045040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28310/tid=28313] ppid=28307 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28313/stat : 28313 (toysat) S 28307 28310 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29212431 1337528320 267905 33554432000 4194304 16246674 140736211238576 139660617555184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=28310/tid=28314] ppid=28307 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28314/stat : 28314 (toysat) S 28307 28310 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29212431 1337528320 267905 33554432000 4194304 16246674 140736211238576 139660607081648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

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

[startup+6.40045 s]
/proc/loadavg: 2.10 2.13 2.15 3/183 28314
/proc/meminfo: memFree=28306828/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1306180 CPUtime=6.38 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 267580 0 0 0 600 38 0 0 20 0 4 0 29212430 1337528320 267905 33554432000 4194304 16246674 140736211238576 140736211220480 12415796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 326545 267905 854 2943 0 323439 0
[pid=28310/tid=28312] ppid=28307 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28312/stat : 28312 (toysat) S 28307 28310 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29212431 1337528320 267905 33554432000 4194304 16246674 140736211238576 139660628045040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28310/tid=28313] ppid=28307 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28313/stat : 28313 (toysat) S 28307 28310 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29212431 1337528320 267905 33554432000 4194304 16246674 140736211238576 139660617555184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=28310/tid=28314] ppid=28307 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28314/stat : 28314 (toysat) S 28307 28310 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29212431 1337528320 267905 33554432000 4194304 16246674 140736211238576 139660607081648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 1306180

[startup+9.6004 s]
/proc/loadavg: 2.10 2.13 2.15 3/183 28314
/proc/meminfo: memFree=28306092/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1307204 CPUtime=9.58 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 267781 0 0 0 920 38 0 0 20 0 4 0 29212430 1338576896 268106 33554432000 4194304 16246674 140736211238576 140736211220480 5599933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 326801 268106 854 2943 0 323695 0
[pid=28310/tid=28312] ppid=28307 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28312/stat : 28312 (toysat) S 28307 28310 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29212431 1338576896 268106 33554432000 4194304 16246674 140736211238576 139660628045040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28310/tid=28313] ppid=28307 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28313/stat : 28313 (toysat) S 28307 28310 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29212431 1338576896 268106 33554432000 4194304 16246674 140736211238576 139660617555184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=28310/tid=28314] ppid=28307 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28314/stat : 28314 (toysat) S 28307 28310 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29212431 1338576896 268106 33554432000 4194304 16246674 140736211238576 139660607081648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 1307204

[startup+10.4004 s]
/proc/loadavg: 2.10 2.12 2.15 3/183 28314
/proc/meminfo: memFree=28306100/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1307204 CPUtime=10.38 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 267787 0 0 0 1000 38 0 0 20 0 4 0 29212430 1338576896 268112 33554432000 4194304 16246674 140736211238576 140736211220480 5523718 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 326801 268112 856 2943 0 323695 0
[pid=28310/tid=28312] ppid=28307 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28312/stat : 28312 (toysat) S 28307 28310 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29212431 1338576896 268112 33554432000 4194304 16246674 140736211238576 139660628045040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28310/tid=28313] ppid=28307 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28313/stat : 28313 (toysat) S 28307 28310 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29212431 1338576896 268112 33554432000 4194304 16246674 140736211238576 139660617555184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=28310/tid=28314] ppid=28307 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28314/stat : 28314 (toysat) S 28307 28310 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29212431 1338576896 268112 33554432000 4194304 16246674 140736211238576 139660607081648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 1307204

[startup+10.8004 s]
/proc/loadavg: 2.10 2.12 2.15 3/183 28314
/proc/meminfo: memFree=28306100/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=1307204 CPUtime=10.78 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) R 28307 28310 26736 0 -1 4202496 267794 0 0 0 1040 38 0 0 20 0 4 0 29212430 1338576896 268119 33554432000 4194304 16246674 140736211238576 140736211220480 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 326801 268119 856 2943 0 323695 0
[pid=28310/tid=28312] ppid=28307 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28312/stat : 28312 (toysat) S 28307 28310 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29212431 1338576896 268119 33554432000 4194304 16246674 140736211238576 139660628045040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28310/tid=28313] ppid=28307 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28313/stat : 28313 (toysat) S 28307 28310 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29212431 1338576896 268119 33554432000 4194304 16246674 140736211238576 139660617555184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=28310/tid=28314] ppid=28307 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28310/task/28314/stat : 28314 (toysat) S 28307 28310 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29212431 1338576896 268119 33554432000 4194304 16246674 140736211238576 139660607081648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 10.78
Current children cumulated vsize (KiB) 1307204

[startup+11.2004 s]
/proc/loadavg: 2.10 2.12 2.15 3/183 28314
/proc/meminfo: memFree=28305732/32872528 swapFree=1191052/1305516
[pid=28310] ppid=28307 vsize=0 CPUtime=11.18 cores=0,2,4,6
/proc/28310/stat : 28310 (toysat) Z 28307 28310 26736 0 -1 4202508 267798 0 0 0 1075 43 0 0 20 0 2 0 29212430 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28310/statm: 0 0 0 0 0 0 0
[pid=28310/tid=28312] ppid=28307 vsize=0 CPUtime=0.04 cores=0,2,4,6
/proc/28310/task/28312/stat : 28312 (toysat) R 28307 28310 26736 0 -1 4202564 10 0 0 0 0 4 0 0 20 0 2 0 29212431 0 0 33554432000 0 0 0 0 0 256 0 33554432 0 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 11.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 11.2108
CPU time (s): 11.2003
CPU user time (s): 10.7554
CPU system time (s): 0.444932
CPU usage (%): 99.9061
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7554
system time used= 0.444932
maximum resident set size= 1072484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267798
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= 19
involuntary context switches= 13

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034994 second user time and 0.045993 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 19:40:58
IDJOB=4106445
IDBENCH=48063
IDSOLVER=2542
FILE ID=node127/4106445-1466271658
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=6-P0=53-P1=43-P2=37-P3=59-P4=29-P5=29-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106445-1466271658/watcher-4106445-1466271658 -o /tmp/evaluation-result-4106445-1466271658/solver-4106445-1466271658 -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-4106445-1466271658.opb

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

MD5SUM BENCH= db002b0dbb3c0b3c0fa9236f5eae018a
RANDOM SEED=524255758

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:        29377556 kB
Buffers:           90156 kB
Cached:           260400 kB
SwapCached:          516 kB
Active:          1190296 kB
Inactive:         259340 kB
Active(anon):    1099516 kB
Inactive(anon):     2184 kB
Active(file):      90780 kB
Inactive(file):   257156 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2424884 kB
Mapped:            10464 kB
Shmem:                 0 kB
Slab:             604244 kB
SReclaimable:      48312 kB
SUnreclaim:       555932 kB
KernelStack:        1528 kB
PageTables:         8752 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:   1226752 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:41:09