Trace number 4106034

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 69.6664 69.686

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=47-P1=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb
MD5SUM015e1ad727429fbf28fe61f3a93025c8
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.075987
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 variables162
Total number of constraints19
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 constraints19
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)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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-18T17:20:07+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-4106034-1466263206.opb"]
0.00/0.01	c use --random-gen="393186605 766115751 4191658036 370511545 59555725 1966595328 3206050117 1956305993 3705112220 3739513611 3316217856 671934885 1099367026 3654476713 3749386947 403362131 4001565635 2834856754 1344064797 1086820929 2459929471 2589805285 1005157893 271155499 463989950 3302983659 2851986853 1724667975 1448656386 1638901465 2806480616 4200224635 3647890658 2998507384 1248926147 29300809 3930657689 874850056 1293917793 1949911657 714345002 556041139 1808054819 1157817752 3297646692 51599927 3271604408 806516622 1629989642 1218072926 3625994721 2868201580 323234745 1906326210 361587567 1261909645 2140248087 493782141 293824002 3354673429 3560584108 309857741 2220516938 3509883724 2363969413 2534176077 3666160690 2086236124 3111156954 3511981921 4107831261 971358145 4085395759 2461658480 4003662114 4207929343 874418185 3973240561 24867752 80480189 3176709496 3263598582 2318144870 1775728634 2064357209 2060659017 2878511837 3360652833 1089947378 3336559284 3837177013 258959712 4077662745 2622272642 3651289546 826738035 2266737813 326982555 794452620 3908113669 3677771013 4096577624 3877412552 4254051362 2279108541 4019319353 2476975095 2557000516 78965524 1811349697 3316559352 1472765872 1665649641 1248222680 2242048772 2112488411 943246315 928374383 3900770567 1510096293 2668271978 1373927349 3581208289 1871045297 2735462610 3022226855 946926525 712155368 2162311998 3019897071 734143978 639989825 1994538481 3820096655 791996960 2489192825 1621619829 2231495639 346998843 677396841 1567225526 1458880963 2804782868 3177179471 846178387 3913428009 2841098424 3709194846 3336430343 1586504074 1904033271 3385355280 1907910640 19447740 3158630149 2046154074 588866053 3433949105 3738124067 1018023048 898203989 3044659962 329883600 4178133546 3423399123 509715106 2159851169 96127654 3489969653 82050095 595615348 1854802722 3255853823 1154162359 1244552713 2309687149 22139260 2752397868 1239727582 2934576805 2126148522 1512412017 2173404638 561527287 2383797077 2343699736 1737572870 3833070491 1996915085 1791195525 1833515308 331440198 2560937699 451669927 2839984284 203502446 1958480008 3918420956 629077330 1838843453 3523761487 734864977 1379584296 945679575 2159852318 2482411941 2622941528 1173196486 3571892105 2348213640 1303684199 3160806091 3250763869 4247850992 3999759811 2781467234 464198774 2642847547 2625490328 589652248 3963635930 2890632136 1519993980 4234633372 1117013734 280804959 2102122259 3416176224 3898898932 4029393593 1826212782 182752163 2558102288 1443224619 3200532609 2823689165 884289622 293395037 1215714685 3510005177 1218625285 11210 2883537648 4164427934 3981394387 3436329127 1732870957 2828286580 4063350717 841590381 3550591855 2682750597 400912973 4184884811 718859157 2003058867 255 362436" option to reproduce the execution
0.00/0.01	c #vars 162
0.00/0.01	c #constraints 19
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 |      495      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      138 |      100 |      495      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      419 |      250 |      545      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      751 |      475 |      600      0 |        0 |        0
0.19/0.23	c  0.2s |       4 |     1408 |      813 |      660      1 |        0 |        0
0.29/0.35	c  0.3s |       5 |     1996 |     1320 |      727      2 |        0 |        0
0.29/0.39	c  0.4s |       5 |     2284 |     1499 |      800      2 |        0 |        0
0.29/0.39	c #cpu_time = 0.369s
0.29/0.39	c #wall_clock_time = 0.369s
0.29/0.39	c #decision = 2284
0.29/0.39	c #random_decision = 8
0.29/0.39	c #conflict = 1499
0.29/0.39	c #restart = 5
0.29/0.39	o 43
0.29/0.39	c BCD2: updating upper bound: 63 -> 42
0.29/0.39	c BCD2: 0 <= obj <= 42
0.29/0.39	c BCD2: #cores=0, #unrelaxed=6, #relaxed=0, #hardened=0
0.29/0.39	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.39	c Solving starts ...
0.29/0.39	c ============================[ Search Statistics ]============================
0.29/0.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.39	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.39	c =============================================================================
0.29/0.39	c  0.0s |       0 |        0 |        0 |      800      0 |        0 |        0
0.29/0.39	c  0.0s |       0 |        4 |        0 |      800      0 |        0 |        0
0.29/0.39	c #cpu_time = 0.003s
0.29/0.39	c #wall_clock_time = 0.003s
0.29/0.39	c #decision = 4
0.29/0.39	c #random_decision = 0
0.29/0.39	c #conflict = 0
0.29/0.39	c #restart = 0
0.29/0.39	c BCD2: found a new core of size 5: cost of the new core is >=2
0.29/0.39	c lower bound updated to 2
0.29/0.39	c BCD2: 2 <= obj <= 42
0.29/0.39	c BCD2: #cores=1, #unrelaxed=1, #relaxed=5, #hardened=0
0.29/0.39	c BCD2: #sat=1 #unsat=2 bias=2/3
0.29/0.39	c Solving starts ...
0.29/0.39	c ============================[ Search Statistics ]============================
0.29/0.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.39	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.39	c =============================================================================
0.29/0.39	c  0.0s |       0 |        0 |        0 |      800      0 |        0 |        0
0.39/0.42	c  0.0s |       1 |      184 |      100 |      800      0 |        0 |        0
0.39/0.45	c  0.1s |       2 |      429 |      250 |      800      0 |        0 |        0
0.49/0.53	c  0.1s |       3 |      749 |      475 |      800      1 |        0 |        0
0.59/0.62	c  0.2s |       4 |     1229 |      813 |      881      1 |        0 |        0
0.69/0.74	c  0.3s |       5 |     1808 |     1320 |      881      2 |        0 |        0
0.89/0.94	c  0.5s |       6 |     2674 |     2081 |      970      4 |        0 |        0
1.20/1.23	c  0.8s |       7 |     3920 |     3223 |      970      6 |        0 |        0
1.49/1.52	c  1.1s |       8 |     5890 |     4936 |     1067      8 |        0 |        0
1.89/1.97	c  1.6s |       9 |     8668 |     7506 |     1174     12 |        0 |        0
2.69/2.78	c  2.4s |      10 |    13993 |    11361 |     1292     17 |        0 |        0
3.69/3.76	c  3.4s |      11 |    20441 |    17144 |     1422     24 |        0 |        0
5.69/5.78	c  5.4s |      11 |    31740 |    25244 |     1565     33 |        0 |        0
5.89/5.96	c  5.6s |      12 |    32401 |    25819 |     1565     33 |        0 |        0
7.89/7.97	c  7.6s |      12 |    41684 |    33719 |     1565     42 |        0 |        0
9.29/9.37	c  9.0s |      13 |    47407 |    38832 |     1722     47 |        0 |        0
11.29/11.38	c 11.0s |      13 |    58248 |    48832 |     1722     57 |        0 |        0
13.30/13.39	c 13.0s |      13 |    67996 |    57632 |     1895     65 |        0 |        0
13.59/13.61	c 13.2s |      14 |    68824 |    58352 |     1895     66 |        0 |        0
15.59/15.62	c 15.2s |      14 |    78867 |    66452 |     1895     73 |        0 |        0
17.59/17.63	c 17.2s |      14 |    89104 |    74652 |     1895     81 |        0 |        0
19.59/19.64	c 19.2s |      14 |    99466 |    83452 |     1895     89 |        0 |        0
20.49/20.58	c 20.2s |      15 |   104478 |    87632 |     2085     92 |        0 |        0
22.58/22.60	c 22.2s |      15 |   114030 |    96032 |     2085     99 |        0 |        0
24.58/24.62	c 24.2s |      15 |   124044 |   103732 |     2085    106 |        0 |        0
26.58/26.62	c 26.2s |      15 |   134210 |   111932 |     2085    113 |        0 |        0
28.59/28.65	c 28.3s |      15 |   141768 |   118632 |     2085    119 |        1 |        6
30.58/30.66	c 30.3s |      15 |   149002 |   125432 |     2085    124 |        1 |        6
31.99/32.05	c 31.7s |      16 |   155468 |   131552 |     2294    129 |        1 |        6
33.98/34.07	c 33.7s |      16 |   163591 |   138552 |     2294    134 |        1 |        6
35.98/36.08	c 35.7s |      16 |   171499 |   145752 |     2294    139 |        2 |       12
37.98/38.10	c 37.7s |      16 |   179709 |   153352 |     2294    145 |        2 |       12
40.08/40.10	c 39.7s |      16 |   187449 |   160352 |     2294    150 |        2 |       12
42.08/42.10	c 41.7s |      16 |   198055 |   169352 |     2294    157 |        2 |       12
44.09/44.11	c 43.7s |      16 |   208405 |   178852 |     2294    165 |        2 |       12
46.08/46.13	c 45.7s |      16 |   218896 |   188152 |     2294    172 |        2 |       12
48.08/48.15	c 47.8s |      16 |   227102 |   195852 |     2524    178 |        2 |       12
48.39/48.42	c 48.0s |      17 |   228739 |   197432 |     2524    179 |        2 |       12
50.38/50.44	c 50.0s |      17 |   237471 |   205232 |     2524    185 |        3 |       18
52.38/52.46	c 52.1s |      17 |   247045 |   214332 |     2524    191 |        3 |       18
54.38/54.46	c 54.1s |      17 |   257169 |   223832 |     2524    198 |        3 |       18
56.38/56.47	c 56.1s |      17 |   267982 |   233732 |     2524    205 |        4 |       24
58.48/58.51	c 58.1s |      17 |   276950 |   241932 |     2524    211 |        4 |       24
60.48/60.51	c 60.1s |      17 |   286568 |   250532 |     2524    217 |        4 |       24
62.48/62.51	c 62.1s |      17 |   296805 |   259832 |     2524    223 |        4 |       24
64.48/64.52	c 64.1s |      17 |   306726 |   268232 |     2524    229 |        4 |       24
66.48/66.54	c 66.1s |      17 |   316593 |   276232 |     2524    235 |        4 |       24
68.48/68.54	c 68.1s |      17 |   327680 |   285932 |     2524    243 |        4 |       24
69.48/69.52	c 69.1s |      17 |   333116 |   290710 |     2524    247 |        5 |       30
69.48/69.52	c #cpu_time = 69.122s
69.48/69.52	c #wall_clock_time = 69.122s
69.48/69.52	c #decision = 333116
69.48/69.52	c #random_decision = 1302
69.48/69.52	c #conflict = 290710
69.48/69.52	c #restart = 17
69.48/69.52	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
69.48/69.52	c lower bound updated to 3
69.48/69.52	c BCD2: 3 <= obj <= 42
69.48/69.52	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=0
69.48/69.52	c BCD2: #sat=1 #unsat=3 bias=3/4
69.48/69.52	c Solving starts ...
69.48/69.52	c ============================[ Search Statistics ]============================
69.48/69.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
69.48/69.52	c       |         |          |          |    Limit     GC | Var      | Constra 
69.48/69.52	c =============================================================================
69.48/69.52	c  0.0s |       0 |        0 |        0 |     2524      0 |        6 |       30
69.48/69.55	c  0.0s |       1 |      189 |      100 |     2524      0 |        6 |       31
69.48/69.57	c  0.1s |       2 |      428 |      250 |     2524      0 |        6 |       31
69.48/69.58	c  0.1s |       2 |      605 |      312 |     2524      0 |        6 |       31
69.48/69.58	c #cpu_time = 0.067s
69.48/69.58	c #wall_clock_time = 0.067s
69.48/69.58	c #decision = 605
69.48/69.58	c #random_decision = 1
69.48/69.58	c #conflict = 312
69.48/69.58	c #restart = 2
69.48/69.58	o 27
69.48/69.58	c BCD2: hardening fixes 1 literals
69.48/69.58	c BCD2: updating upper bound: 42 -> 26
69.48/69.58	c BCD2: 3 <= obj <= 26
69.48/69.58	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=1
69.48/69.58	c BCD2: #sat=2 #unsat=3 bias=3/5
69.48/69.58	c Solving starts ...
69.48/69.58	c ============================[ Search Statistics ]============================
69.48/69.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
69.48/69.58	c       |         |          |          |    Limit     GC | Var      | Constra 
69.48/69.58	c =============================================================================
69.48/69.58	c  0.0s |       0 |        0 |        0 |     2524      0 |       14 |       33
69.48/69.59	c  0.0s |       0 |      112 |        1 |     2524      0 |       14 |       51
69.48/69.59	c #cpu_time = 0.004s
69.48/69.59	c #wall_clock_time = 0.004s
69.48/69.59	c #decision = 112
69.48/69.59	c #random_decision = 1
69.48/69.59	c #conflict = 1
69.48/69.59	c #restart = 0
69.48/69.59	o 17
69.48/69.59	c BCD2: updating upper bound: 26 -> 16
69.48/69.59	c BCD2: 3 <= obj <= 16
69.48/69.59	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=1
69.48/69.59	c BCD2: #sat=3 #unsat=3 bias=3/6
69.48/69.59	c Solving starts ...
69.48/69.59	c ============================[ Search Statistics ]============================
69.48/69.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
69.48/69.59	c       |         |          |          |    Limit     GC | Var      | Constra 
69.48/69.59	c =============================================================================
69.48/69.59	c  0.0s |       0 |        0 |        0 |     2524      0 |       14 |       51
69.48/69.59	c  0.0s |       0 |      128 |       16 |     2524      0 |       14 |       51
69.48/69.59	c #cpu_time = 0.005s
69.48/69.59	c #wall_clock_time = 0.005s
69.48/69.59	c #decision = 128
69.48/69.59	c #random_decision = 0
69.48/69.59	c #conflict = 16
69.48/69.59	c #restart = 0
69.48/69.59	o 7
69.48/69.59	c BCD2: hardening fixes 2 literals
69.48/69.59	c BCD2: updating upper bound: 16 -> 6
69.48/69.60	c BCD2: 3 <= obj <= 6
69.48/69.60	c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=3
69.48/69.60	c BCD2: #sat=4 #unsat=3 bias=3/7
69.48/69.60	c Solving starts ...
69.48/69.60	c ============================[ Search Statistics ]============================
69.48/69.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
69.48/69.60	c       |         |          |          |    Limit     GC | Var      | Constra 
69.48/69.60	c =============================================================================
69.48/69.60	c  0.0s |       0 |        0 |        0 |     2524      0 |       30 |       55
69.58/69.62	c  0.0s |       0 |      214 |       96 |     2524      0 |       30 |       91
69.58/69.62	c #cpu_time = 0.025s
69.58/69.62	c #wall_clock_time = 0.025s
69.58/69.62	c #decision = 214
69.58/69.62	c #random_decision = 0
69.58/69.62	c #conflict = 96
69.58/69.62	c #restart = 0
69.58/69.62	o 3
69.58/69.62	s OPTIMUM FOUND
69.58/69.62	v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10
69.58/69.62	v x11 -x12 x13 -x14 x15 x16 -x17 x18 x19 x20
69.58/69.62	v x21 -x22 -x23 -x24 x25 -x26 -x27 x28 x29 -x30
69.58/69.62	v x31 x32 -x33 x34 x35 -x36 x37 -x38 -x39 x40
69.58/69.62	v x41 -x42 x43 x44 -x45 x46 -x47 -x48 x49 -x50
69.58/69.62	v x51 x52 -x53 -x54 x55 x56 -x57 -x58 x59 -x60
69.58/69.62	v x61 x62 -x63 -x64 x65 x66 x67 x68 x69 -x70
69.58/69.62	v x71 x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80
69.58/69.62	v -x81 x82 x83 -x84 x85 x86 -x87 -x88 -x89 x90
69.58/69.62	v x91 x92 -x93 x94 -x95 x96 x97 -x98 -x99 x100
69.58/69.62	v x101 -x102 x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
69.58/69.62	v -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 x120
69.58/69.62	v -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
69.58/69.62	v -x131 -x132 -x133 x134 -x135 x136 -x137 -x138 x139 -x140
69.58/69.62	v x141 x142 -x143 -x144 x145 x146 x147 -x148 -x149 -x150
69.58/69.62	v x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160
69.58/69.62	v -x161 -x162
69.58/69.62	c total CPU time = 69.623s
69.58/69.62	c total wall clock time = 69.623s

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

pid=26499
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.27 2.15 2.06 3/180 26502
/proc/meminfo: memFree=30583080/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=702020 CPUtime=0 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 2617 0 0 0 0 0 0 0 20 0 4 0 28370591 718868480 3489 33554432000 4194304 16246674 140736343404512 140736343403936 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 176273 3497 442 2943 0 173167 0
[pid=26502/tid=26503] ppid=26499 vsize=720452 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 737742848 3559 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=724548 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 741937152 3576 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=728644 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 746131456 3592 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100141 s]
/proc/loadavg: 2.27 2.15 2.06 3/180 26502
/proc/meminfo: memFree=30583080/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 21212 0 0 0 6 3 0 0 20 0 4 0 28370591 1247350784 22071 33554432000 4194304 16246674 140736343404512 140736343403936 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 304529 22079 759 2943 0 301423 0
[pid=26502/tid=26503] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 22085 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 22089 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 22093 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200547 s]
/proc/loadavg: 2.27 2.15 2.06 3/180 26502
/proc/meminfo: memFree=30583080/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 41299 0 0 0 14 5 0 0 20 0 4 0 28370591 1247350784 42159 33554432000 4194304 16246674 140736343404512 140736343403936 5546500 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 304529 42171 759 2943 0 301423 0
[pid=26502/tid=26503] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 42178 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 42187 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 42193 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300494 s]
/proc/loadavg: 2.27 2.15 2.06 3/180 26502
/proc/meminfo: memFree=30583080/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 61888 0 0 0 21 8 0 0 20 0 4 0 28370591 1247350784 62748 33554432000 4194304 16246674 140736343404512 140736343403936 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 304529 62761 766 2943 0 301423 0
[pid=26502/tid=26503] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 62766 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 62771 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 62775 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700364 s]
/proc/loadavg: 2.27 2.15 2.06 3/180 26502
/proc/meminfo: memFree=30583080/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 139551 0 0 0 51 18 0 0 20 0 4 0 28370591 1247350784 140410 33554432000 4194304 16246674 140736343404512 140736343403936 6010073 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 304529 140420 795 2943 0 301423 0
[pid=26502/tid=26503] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 140426 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 140432 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1247350784 140437 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.25 2.15 2.06 3/184 26506
/proc/meminfo: memFree=29722460/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 245986 0 0 0 115 34 0 0 20 0 4 0 28370591 1249447936 246822 33554432000 4194304 16246674 140736343404512 140736343403824 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 305041 246822 851 2943 0 301935 0
[pid=26502/tid=26503] ppid=26499 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1249447936 246822 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1249447936 246822 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1249447936 246822 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.1004 s]
/proc/loadavg: 2.25 2.15 2.06 3/184 26506
/proc/meminfo: memFree=29559896/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 267622 0 0 0 272 37 0 0 20 0 4 0 28370591 1337528320 268458 33554432000 4194304 16246674 140736343404512 140736343387512 5672825 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 326545 268458 851 2943 0 323439 0
[pid=26502/tid=26503] ppid=26499 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1337528320 268458 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1337528320 268458 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1337528320 268458 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.25 2.15 2.06 3/184 26506
/proc/meminfo: memFree=29509772/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 267700 0 0 0 592 37 0 0 20 0 4 0 28370591 1338576896 268536 33554432000 4194304 16246674 140736343404512 140736343386432 5823877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 326801 268536 851 2943 0 323695 0
[pid=26502/tid=26503] ppid=26499 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1338576896 268536 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1338576896 268536 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1338576896 268536 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.21 2.15 2.06 3/184 26506
/proc/meminfo: memFree=29508688/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 268023 0 0 0 1232 37 0 0 20 0 4 0 28370591 1339625472 268859 33554432000 4194304 16246674 140736343404512 140736343386432 6845816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 327057 268859 854 2943 0 323951 0
[pid=26502/tid=26503] ppid=26499 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1339625472 268859 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1339625472 268859 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1339625472 268859 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.25 2.16 2.06 3/184 26506
/proc/meminfo: memFree=29507768/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1309252 CPUtime=25.48 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 268323 0 0 0 2511 37 0 0 20 0 4 0 28370591 1340674048 269159 33554432000 4194304 16246674 140736343404512 140736343386432 5823643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 327313 269159 854 2943 0 324207 0
[pid=26502/tid=26503] ppid=26499 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1340674048 269159 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1340674048 269159 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1340674048 269159 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.23 2.16 2.07 3/184 26506
/proc/meminfo: memFree=29503892/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 269285 0 0 0 5071 37 0 0 20 0 4 0 28370591 1344868352 270121 33554432000 4194304 16246674 140736343404512 140736343387512 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 328337 270121 854 2943 0 325231 0
[pid=26502/tid=26503] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270121 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270121 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270121 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

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

[startup+51.2005 s]
/proc/loadavg: 2.23 2.16 2.07 3/184 26506
/proc/meminfo: memFree=29503892/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1313348 CPUtime=51.18 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 269285 0 0 0 5081 37 0 0 20 0 4 0 28370591 1344868352 270121 33554432000 4194304 16246674 140736343404512 140736343387512 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 328337 270121 854 2943 0 325231 0
[pid=26502/tid=26503] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270121 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270121 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270121 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1313348

[startup+57.6004 s]
/proc/loadavg: 2.20 2.15 2.07 3/183 26506
/proc/meminfo: memFree=29503388/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1313348 CPUtime=57.58 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 269434 0 0 0 5721 37 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 140736343387512 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 328337 270270 854 2943 0 325231 0
[pid=26502/tid=26503] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 1313348

[startup+64.0004 s]
/proc/loadavg: 2.18 2.15 2.06 3/183 26507
/proc/meminfo: memFree=29502992/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1313348 CPUtime=63.98 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 269434 0 0 0 6361 37 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 140736343403688 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 328337 270270 854 2943 0 325231 0
[pid=26502/tid=26503] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 1313348

[startup+67.2075 s]
/proc/loadavg: 2.17 2.15 2.06 3/183 26507
/proc/meminfo: memFree=29503112/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1313348 CPUtime=67.19 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 269434 0 0 0 6681 38 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 140736343387512 6023952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 328337 270270 854 2943 0 325231 0
[pid=26502/tid=26503] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 67.19
Current children cumulated vsize (KiB) 1313348

[startup+68.8004 s]
/proc/loadavg: 2.17 2.15 2.06 3/183 26507
/proc/meminfo: memFree=29503236/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1313348 CPUtime=68.78 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 269434 0 0 0 6840 38 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 140736343387512 6836428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 328337 270270 854 2943 0 325231 0
[pid=26502/tid=26503] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 68.78
Current children cumulated vsize (KiB) 1313348

[startup+69.2004 s]
/proc/loadavg: 2.17 2.15 2.06 3/183 26507
/proc/meminfo: memFree=29503236/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1313348 CPUtime=69.18 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 269434 0 0 0 6880 38 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 140736343387512 5754723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 328337 270270 854 2943 0 325231 0
[pid=26502/tid=26503] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270270 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 69.18
Current children cumulated vsize (KiB) 1313348

[startup+69.6004 s]
/proc/loadavg: 2.17 2.15 2.06 3/183 26507
/proc/meminfo: memFree=29503236/32872528 swapFree=163656/177964
[pid=26502] ppid=26499 vsize=1313348 CPUtime=69.58 cores=1,3,5,7
/proc/26502/stat : 26502 (toysat) R 26499 26502 20760 0 -1 4202496 269435 0 0 0 6920 38 0 0 20 0 4 0 28370591 1344868352 270271 33554432000 4194304 16246674 140736343404512 140736343387512 12997776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26502/statm: 328337 270271 855 2943 0 325231 0
[pid=26502/tid=26503] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26503/stat : 26503 (toysat) S 26499 26502 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270271 33554432000 4194304 16246674 140736343404512 139762123910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26502/tid=26504] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26504/stat : 26504 (toysat) S 26499 26502 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270271 33554432000 4194304 16246674 140736343404512 139762113420528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26502/tid=26505] ppid=26499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26502/task/26505/stat : 26505 (toysat) S 26499 26502 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28370591 1344868352 270271 33554432000 4194304 16246674 140736343404512 139761993903280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 69.58
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 69.686
CPU time (s): 69.6664
CPU user time (s): 69.2325
CPU system time (s): 0.433934
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.2325
system time used= 0.433934
maximum resident set size= 1081092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269439
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= 18
involuntary context switches= 75

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.243962 second user time and 0.404938 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 17:20:07
IDJOB=4106034
IDBENCH=47900
IDSOLVER=2542
FILE ID=node105/4106034-1466263206
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71732 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=47-P1=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106034-1466263206/watcher-4106034-1466263206 -o /tmp/evaluation-result-4106034-1466263206/solver-4106034-1466263206 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106034-1466263206.opb

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

MD5SUM BENCH= 015e1ad727429fbf28fe61f3a93025c8
RANDOM SEED=2042458460

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
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.54
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.561
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.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30583988 kB
Buffers:           81584 kB
Cached:           203640 kB
SwapCached:         1684 kB
Active:          1183360 kB
Inactive:         189724 kB
Active(anon):    1085188 kB
Inactive(anon):     4944 kB
Active(file):      98172 kB
Inactive(file):   184780 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1265212 kB
Mapped:            10524 kB
Shmem:                 0 kB
Slab:             605004 kB
SReclaimable:      48520 kB
SUnreclaim:       556484 kB
KernelStack:        1464 kB
PageTables:         6872 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1410592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    708608 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 node105 at 2016-06-18 17:21:16