Trace number 4079007

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 243.302 243.35

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_3_15.opb
MD5SUM8bda8bcfdd3d0bef04b7cb75764a0af7
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.563
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2952
Sum of products size (including duplicates)5904
Number of different products1476
Sum of products size2952

Solver Data 

0.00/0.00	c 2016-06-07T03:59:45+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-4079007-1465264785.opb"]
0.00/0.01	c use --random-gen="3922754266 2559685791 2884594296 1462649304 2529091495 2732809909 3221962352 4257200322 2026304106 1477281588 4157199175 2611983663 1837930639 2087570859 206133068 2460765599 1191897197 17904490 524431213 633143875 2722879871 4122892281 3053262013 2261969984 3550009147 2854431046 3867231989 650408956 1804499486 4066278514 2551740206 1622500252 1975412428 2619305219 1550296598 1289249368 2026941460 2074900517 757219924 4126386745 2689628716 547168360 3522243629 2829450990 1074815677 3787592217 3924151187 1494963586 3577324905 2205199599 1353021665 2988100916 2785974922 1412217655 845689043 3101239885 1038260418 2484323699 1724618448 705285016 209349608 914418498 1344975058 1263700535 3571808302 2923874017 4175414996 3737670766 3308912725 724438377 69406107 2976681986 2154322505 3420984898 2233334834 4195776255 2408886704 3653638753 888381735 2378668597 1507536128 2379780966 468155442 960095901 1737648232 1276016345 3084840317 1708949071 4162296657 1620509017 2801748298 3584633762 1070868546 2272519349 1238947589 1993862766 3848984948 2615738714 1108704210 826887640 4010177933 4011816916 1048104712 4270356993 2872172887 3801662294 785353765 637060961 258994460 1356956506 1258994136 4019926313 2531768769 1372953778 2769988223 3532312299 3259345437 2260768678 3754857480 3321820222 2023244866 3000510739 2414667657 2825661257 1714366038 269681089 3776011211 2405025174 2796444624 2117663094 728149232 2293822386 3085028067 4044629185 2265302319 3403588505 2639934854 3137627430 3112154389 690129771 882720507 387935255 2665019044 87345453 2226054915 1515005978 3245747473 2244284780 334193787 1088444122 2741682772 1509673145 94418862 420098766 1025778907 201078137 836038293 2265875420 3052479430 4276241639 4135450772 3191535356 778857174 1556316275 551516080 2901175348 274290773 3956323648 515980919 663771177 2569507485 2943964649 2892394557 3802561509 1591636121 1853792330 575667566 2051626771 3713888011 3738767251 2063314935 1588497549 2208847491 3772222819 1606079080 4207782755 992362360 3109571855 2990246022 3951246264 1328038885 120352748 1506362410 993967210 2369033846 1174245352 2280311913 3843172664 1341380273 1321326930 4078644150 205896965 2709192702 3663694687 519286751 2539449856 3538880499 2121467156 181357585 3828466906 2001366635 1404269556 1558284602 426283903 446010629 3829935317 1403471060 818384818 1407165070 2928319787 4170296574 2519534512 195408781 2424241515 1724262957 3407675606 999710538 714754281 3173802887 2685923769 2466743031 1873257077 819118695 1048992974 2345819370 1842134219 3650466196 3405099723 3919176882 3169551820 4283161939 443796325 3272289302 1857749986 1688093491 844308901 1803664375 4107680083 2368730277 3963687067 2270736091 3844869442 910173801 4132912724 1831315641 563466798 255 362436" option to reproduce the execution
0.00/0.02	c #vars 100
0.00/0.02	c #constraints 152
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |     1068      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      286 |      100 |     1068      0 |        0 |        0
0.09/0.11	c  0.1s |       2 |      611 |      250 |     1175      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |     1296 |      475 |     1293      0 |        0 |        0
0.19/0.27	c  0.2s |       4 |     2341 |      813 |     1423      0 |        0 |        0
0.39/0.42	c  0.4s |       5 |     4126 |     1320 |     1566      0 |        0 |        0
0.59/0.68	c  0.6s |       6 |     6397 |     2081 |     1896      1 |        0 |        0
0.89/0.99	c  0.9s |       7 |     8813 |     3223 |     2086      2 |        0 |        0
1.20/1.24	c  1.2s |       8 |    12321 |     4936 |     2295      3 |        0 |        0
1.49/1.71	c  1.7s |       9 |    15390 |     7506 |     2525      5 |        0 |        0
2.39/2.45	c  2.4s |      10 |    19810 |    11361 |     2778      8 |        0 |        0
3.39/3.41	c  3.4s |      11 |    28961 |    17144 |     3056     12 |        0 |        0
5.10/5.18	c  5.1s |      12 |    47395 |    25819 |     3362     17 |        0 |        0
7.09/7.18	c  7.1s |      12 |    66504 |    36419 |     3362     24 |        0 |        0
7.59/7.65	c  7.6s |      13 |    69380 |    38832 |     3699     25 |        0 |        0
9.59/9.66	c  9.6s |      13 |    83070 |    49232 |     3699     30 |        0 |        0
11.29/11.31	c 11.3s |      14 |    97461 |    58352 |     4069     35 |        0 |        0
13.29/13.33	c 13.3s |      14 |   120135 |    69152 |     4069     40 |        0 |        0
15.28/15.33	c 15.3s |      14 |   140577 |    79952 |     4069     45 |        0 |        0
16.78/16.80	c 16.7s |      15 |   154625 |    87632 |     4476     49 |        0 |        0
18.78/18.81	c 18.8s |      15 |   174189 |    97832 |     4476     53 |        0 |        0
20.78/20.82	c 20.8s |      15 |   187875 |   107632 |     4476     58 |        0 |        0
22.79/22.82	c 22.8s |      15 |   199665 |   116932 |     4476     62 |        0 |        0
24.80/24.84	c 24.8s |      15 |   219743 |   126932 |     4476     66 |        0 |        0
25.69/25.75	c 25.7s |      16 |   225185 |   131552 |     4924     68 |        0 |        0
27.69/27.78	c 27.7s |      16 |   239227 |   138652 |     4924     71 |        0 |        0
29.78/29.80	c 29.8s |      16 |   257271 |   146052 |     4924     74 |        0 |        0
31.78/31.80	c 31.8s |      16 |   274194 |   155152 |     4924     78 |        0 |        0
33.78/33.80	c 33.8s |      16 |   289232 |   164352 |     4924     81 |        0 |        0
35.79/35.81	c 35.8s |      16 |   304647 |   174052 |     4924     85 |        0 |        0
37.78/37.81	c 37.8s |      16 |   319344 |   183552 |     4924     89 |        0 |        0
39.78/39.83	c 39.8s |      16 |   336477 |   193752 |     4924     93 |        0 |        0
40.58/40.68	c 40.6s |      17 |   344130 |   197432 |     5417     94 |        0 |        0
42.58/42.69	c 42.6s |      17 |   364139 |   206232 |     5417     98 |        0 |        0
44.59/44.70	c 44.6s |      17 |   379858 |   215432 |     5417    100 |        1 |       35
46.68/46.71	c 46.7s |      17 |   392491 |   224532 |     5417    103 |        1 |       35
48.68/48.72	c 48.7s |      17 |   408010 |   232632 |     5417    106 |        1 |       35
50.69/50.74	c 50.7s |      17 |   428166 |   240432 |     5417    109 |        1 |       35
52.69/52.75	c 52.7s |      17 |   447578 |   248532 |     5417    112 |        1 |       35
54.68/54.76	c 54.7s |      17 |   466277 |   257532 |     5417    115 |        1 |       35
56.69/56.80	c 56.7s |      17 |   487432 |   266532 |     5417    119 |        1 |       35
58.78/58.82	c 58.8s |      17 |   508690 |   275532 |     5417    122 |        1 |       35
60.78/60.83	c 60.8s |      17 |   530283 |   284432 |     5417    125 |        1 |       35
62.78/62.84	c 62.8s |      17 |   547806 |   293132 |     5417    128 |        1 |       35
63.48/63.56	c 63.5s |      18 |   552706 |   296252 |     5959    129 |        1 |       35
65.49/65.57	c 65.5s |      18 |   566782 |   304552 |     5959    132 |        1 |       35
67.48/67.58	c 67.5s |      18 |   578601 |   312152 |     5959    134 |        1 |       35
69.48/69.59	c 69.5s |      18 |   591270 |   320652 |     5959    137 |        1 |       35
71.58/71.60	c 71.5s |      18 |   609701 |   330152 |     5959    140 |        1 |       35
73.58/73.60	c 73.5s |      18 |   630359 |   339052 |     5959    143 |        1 |       35
75.58/75.60	c 75.5s |      18 |   649668 |   348052 |     5959    146 |        1 |       35
77.58/77.62	c 77.6s |      18 |   668839 |   357352 |     5959    149 |        1 |       35
79.57/79.64	c 79.6s |      18 |   690065 |   365952 |     5959    152 |        1 |       35
81.57/81.65	c 81.6s |      18 |   707964 |   373752 |     5959    155 |        1 |       35
83.57/83.66	c 83.6s |      18 |   727063 |   382652 |     5959    158 |        1 |       35
85.57/85.69	c 85.6s |      18 |   744126 |   390552 |     5959    161 |        1 |       35
87.58/87.70	c 87.6s |      18 |   761015 |   400052 |     5959    164 |        1 |       35
89.68/89.71	c 89.7s |      18 |   780718 |   409152 |     5959    167 |        1 |       35
91.67/91.71	c 91.7s |      18 |   798495 |   417952 |     5959    170 |        1 |       35
93.67/93.72	c 93.7s |      18 |   815592 |   426552 |     5959    172 |        1 |       35
95.67/95.72	c 95.7s |      18 |   833240 |   435452 |     5959    175 |        1 |       35
97.67/97.74	c 97.7s |      18 |   851001 |   443252 |     6555    178 |        1 |       35
97.87/97.99	c 97.9s |      19 |   853500 |   444482 |     6555    178 |        1 |       35
99.98/100.01	c 100.0s |      19 |   867489 |   452382 |     6555    180 |        1 |       35
101.98/102.03	c  101s |      19 |   882589 |   460882 |     6555    183 |        1 |       35
103.99/104.07	c  104s |      19 |   898812 |   469082 |     6555    186 |        1 |       35
105.98/106.09	c  106s |      19 |   917605 |   477582 |     6555    188 |        1 |       35
108.08/108.10	c  108s |      19 |   936845 |   485582 |     6555    191 |        1 |       35
110.08/110.11	c  110s |      19 |   953174 |   494582 |     6555    193 |        1 |       35
112.08/112.11	c  112s |      19 |   972037 |   502682 |     6555    196 |        1 |       35
114.08/114.14	c  114s |      19 |   990946 |   511782 |     6555    198 |        1 |       35
116.08/116.17	c  116s |      19 |  1011206 |   520482 |     6555    201 |        1 |       35
118.08/118.18	c  118s |      19 |  1025091 |   528082 |     6555    203 |        1 |       35
120.07/120.19	c  120s |      19 |  1044120 |   536082 |     6555    206 |        1 |       35
122.07/122.19	c  122s |      19 |  1056871 |   542882 |     6555    208 |        1 |       35
124.17/124.21	c  124s |      19 |  1069833 |   551082 |     6555    210 |        1 |       35
126.17/126.22	c  126s |      19 |  1080952 |   559382 |     6555    213 |        1 |       35
128.18/128.26	c  128s |      19 |  1095876 |   568582 |     6555    216 |        1 |       35
130.17/130.27	c  130s |      19 |  1111460 |   578182 |     6555    218 |        1 |       35
132.17/132.29	c  132s |      19 |  1130654 |   587182 |     6555    221 |        1 |       35
134.27/134.30	c  134s |      19 |  1146413 |   595882 |     6555    224 |        1 |       35
136.27/136.31	c  136s |      19 |  1160104 |   604482 |     6555    226 |        1 |       35
138.27/138.31	c  138s |      19 |  1171096 |   612782 |     6555    229 |        1 |       35
140.27/140.31	c  140s |      19 |  1188104 |   621182 |     6555    231 |        1 |       35
142.27/142.32	c  142s |      19 |  1206705 |   630082 |     6555    234 |        1 |       35
144.27/144.33	c  144s |      19 |  1222943 |   638682 |     6555    237 |        1 |       35
146.27/146.33	c  146s |      19 |  1237054 |   647182 |     6555    239 |        1 |       35
148.27/148.33	c  148s |      19 |  1253307 |   656082 |     6555    242 |        1 |       35
150.27/150.34	c  150s |      19 |  1269791 |   664782 |     7211    244 |        1 |       35
150.77/150.84	c  150s |      20 |  1273248 |   666827 |     7211    245 |        1 |       35
152.76/152.85	c  152s |      20 |  1283854 |   674427 |     7211    247 |        2 |       65
154.76/154.86	c  154s |      20 |  1301255 |   683427 |     7211    249 |        2 |       65
156.77/156.87	c  156s |      20 |  1318955 |   692327 |     7211    252 |        2 |       65
158.76/158.87	c  158s |      20 |  1335107 |   700927 |     7211    254 |        2 |       65
160.76/160.87	c  160s |      20 |  1349920 |   709327 |     7211    257 |        2 |       65
162.76/162.87	c  162s |      20 |  1365034 |   717827 |     7211    259 |        2 |       65
164.76/164.87	c  164s |      20 |  1380047 |   726127 |     7211    261 |        2 |       65
166.77/166.89	c  166s |      20 |  1397288 |   735327 |     7211    264 |        2 |       65
168.88/168.91	c  168s |      20 |  1416756 |   744427 |     7211    266 |        2 |       65
170.87/170.94	c  170s |      20 |  1426924 |   752627 |     7211    269 |        2 |       65
172.87/172.96	c  172s |      20 |  1441480 |   761427 |     7211    271 |        2 |       65
174.87/174.96	c  174s |      20 |  1456033 |   769027 |     7211    273 |        2 |       65
176.87/176.98	c  176s |      20 |  1471796 |   777927 |     7211    275 |        2 |       65
178.87/178.99	c  178s |      20 |  1486158 |   785527 |     7211    278 |        2 |       65
180.86/180.99	c  180s |      20 |  1503263 |   793427 |     7211    280 |        2 |       65
182.96/183.00	c  182s |      20 |  1517993 |   801527 |     7211    282 |        2 |       65
184.96/185.02	c  184s |      20 |  1535587 |   810427 |     7211    284 |        2 |       65
186.96/187.03	c  186s |      20 |  1549848 |   818627 |     7211    287 |        2 |       65
188.96/189.04	c  188s |      20 |  1565415 |   826627 |     7211    289 |        2 |       65
190.97/191.07	c  191s |      20 |  1585332 |   834727 |     7211    291 |        2 |       65
192.96/193.09	c  193s |      20 |  1602681 |   843527 |     7211    294 |        2 |       65
195.06/195.11	c  195s |      20 |  1616455 |   851827 |     7211    296 |        2 |       65
197.06/197.12	c  197s |      20 |  1633125 |   860127 |     7211    298 |        2 |       65
199.05/199.13	c  199s |      20 |  1650374 |   868627 |     7211    300 |        2 |       65
201.05/201.14	c  201s |      20 |  1663695 |   876227 |     7211    302 |        2 |       65
203.06/203.15	c  203s |      20 |  1679860 |   884327 |     7211    305 |        2 |       65
205.06/205.17	c  205s |      20 |  1694816 |   892627 |     7211    307 |        2 |       65
207.06/207.17	c  207s |      20 |  1712681 |   900727 |     7211    309 |        2 |       65
209.06/209.18	c  209s |      20 |  1729655 |   908227 |     7211    311 |        2 |       65
211.16/211.20	c  211s |      20 |  1744736 |   915227 |     7211    313 |        2 |       65
213.16/213.20	c  213s |      20 |  1762686 |   923427 |     7211    315 |        2 |       65
215.16/215.21	c  215s |      20 |  1778208 |   931827 |     7211    318 |        2 |       65
217.16/217.21	c  217s |      20 |  1795758 |   939827 |     7211    320 |        2 |       65
219.16/219.23	c  219s |      20 |  1809837 |   947827 |     7211    322 |        2 |       65
221.16/221.25	c  221s |      20 |  1824958 |   956227 |     7211    324 |        2 |       65
223.16/223.26	c  223s |      20 |  1838163 |   963627 |     7211    327 |        2 |       65
225.15/225.28	c  225s |      20 |  1854960 |   972627 |     7211    329 |        2 |       65
227.16/227.29	c  227s |      20 |  1867798 |   978927 |     7211    331 |        2 |       65
229.25/229.30	c  229s |      20 |  1883303 |   987327 |     7211    333 |        2 |       65
231.25/231.32	c  231s |      20 |  1898674 |   995127 |     7933    335 |        2 |       65
232.76/232.87	c  232s |      21 |  1910674 |  1000345 |     7933    336 |        2 |       65
234.75/234.88	c  234s |      21 |  1923382 |  1007145 |     7933    338 |        2 |       65
236.85/236.91	c  236s |      21 |  1940220 |  1015745 |     7933    339 |        6 |      158
238.85/238.93	c  238s |      21 |  1956287 |  1022945 |     7933    341 |        6 |      158
240.85/240.94	c  240s |      21 |  1971986 |  1030445 |     7933    343 |        6 |      158
242.95/243.03	c  242s |      21 |  1988461 |  1037245 |     7933    345 |       10 |      249
243.15/243.28	c  243s |      21 |  1991169 |  1038523 |     7933    345 |      154 |      796
243.15/243.28	c #cpu_time = 243.226s
243.15/243.28	c #wall_clock_time = 243.232s
243.15/243.28	c #decision = 1991169
243.15/243.28	c #random_decision = 9636
243.15/243.28	c #conflict = 1038523
243.15/243.28	c #restart = 21
243.15/243.28	s UNSATISFIABLE
243.15/243.28	c total CPU time = 243.281s
243.15/243.28	c total wall clock time = 243.287s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079007-1465264785/watcher-4079007-1465264785 -o /tmp/evaluation-result-4079007-1465264785/solver-4079007-1465264785 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465264781-27960 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079007-1465264785.opb 

pid=28087
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.41 2.67 3.25 4/179 28090
/proc/meminfo: memFree=31439268/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 2741 0 0 0 0 0 0 0 20 0 4 0 108411743 752283648 3613 33554432000 4194304 16246674 140735298095760 140735298095184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 184431 3623 441 2943 0 181325 0
[pid=28090/tid=28091] ppid=28087 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 770109440 3681 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 775352320 3699 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 780595200 3719 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.41 2.67 3.25 4/179 28090
/proc/meminfo: memFree=31439268/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 27007 0 0 0 6 3 0 0 20 0 4 0 108411743 1247350784 27868 33554432000 4194304 16246674 140735298095760 140735298095184 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 304529 27876 721 2943 0 301423 0
[pid=28090/tid=28091] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 27883 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 27886 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 27893 33554432000 4194304 16246674 140735298095760 140113912786096 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.200534 s]
/proc/loadavg: 2.41 2.67 3.25 4/179 28090
/proc/meminfo: memFree=31439268/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 51580 0 0 0 13 6 0 0 20 0 4 0 108411743 1247350784 52442 33554432000 4194304 16246674 140735298095760 140735298095184 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 304529 52465 721 2943 0 301423 0
[pid=28090/tid=28091] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 52475 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 52483 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 52488 33554432000 4194304 16246674 140735298095760 140113912786096 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.300463 s]
/proc/loadavg: 2.41 2.67 3.25 4/179 28090
/proc/meminfo: memFree=31439268/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 77893 0 0 0 20 9 0 0 20 0 4 0 108411743 1247350784 78755 33554432000 4194304 16246674 140735298095760 140735298077632 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 304529 78767 721 2943 0 301423 0
[pid=28090/tid=28091] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 78776 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 78788 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 78799 33554432000 4194304 16246674 140735298095760 140113912786096 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.70037 s]
/proc/loadavg: 2.41 2.67 3.25 4/179 28090
/proc/meminfo: memFree=31439268/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 177971 0 0 0 47 22 0 0 20 0 4 0 108411743 1247350784 178832 33554432000 4194304 16246674 140735298095760 140735298077632 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 304529 178838 728 2943 0 301423 0
[pid=28090/tid=28091] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 178844 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 178851 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1247350784 178860 33554432000 4194304 16246674 140735298095760 140113912786096 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.50044 s]
/proc/loadavg: 2.41 2.67 3.25 4/183 28094
/proc/meminfo: memFree=29484844/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 246336 0 0 0 118 31 0 0 20 0 4 0 108411743 1251545088 247177 33554432000 4194304 16246674 140735298095760 140735298077632 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 305553 247177 799 2943 0 302447 0
[pid=28090/tid=28091] ppid=28087 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1251545088 247177 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1251545088 247177 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1251545088 247177 33554432000 4194304 16246674 140735298095760 140113912786096 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) 1222212

[startup+3.10041 s]
/proc/loadavg: 2.41 2.67 3.25 3/183 28094
/proc/meminfo: memFree=29312104/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 268346 0 0 0 275 34 0 0 20 0 4 0 108411743 1340674048 269187 33554432000 4194304 16246674 140735298095760 140735298077632 6021672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 327313 269187 799 2943 0 324207 0
[pid=28090/tid=28091] ppid=28087 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1340674048 269187 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1340674048 269187 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1340674048 269187 33554432000 4194304 16246674 140735298095760 140113912786096 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) 1309252

[startup+6.30048 s]
/proc/loadavg: 2.37 2.66 3.24 3/183 28094
/proc/meminfo: memFree=29307112/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 268860 0 0 0 595 34 0 0 20 0 4 0 108411743 1342771200 269701 33554432000 4194304 16246674 140735298095760 140735298077632 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 327825 269701 801 2943 0 324719 0
[pid=28090/tid=28091] ppid=28087 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1342771200 269701 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1342771200 269701 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1342771200 269701 33554432000 4194304 16246674 140735298095760 140113912786096 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) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.42 2.66 3.24 3/183 28094
/proc/meminfo: memFree=29302964/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 269372 0 0 0 1235 34 0 0 20 0 4 0 108411743 1344868352 270213 33554432000 4194304 16246674 140735298095760 140735298077632 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 328337 270213 801 2943 0 325231 0
[pid=28090/tid=28091] ppid=28087 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1344868352 270213 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1344868352 270213 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1344868352 270213 33554432000 4194304 16246674 140735298095760 140113912786096 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) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.33 2.63 3.22 3/184 28097
/proc/meminfo: memFree=29289704/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1321540 CPUtime=25.49 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 271420 0 0 0 2514 35 0 0 20 0 4 0 108411743 1353256960 272261 33554432000 4194304 16246674 140735298095760 140735298077632 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 330385 272261 801 2943 0 327279 0
[pid=28090/tid=28091] ppid=28087 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1353256960 272261 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1353256960 272261 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1353256960 272261 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540

[startup+51.1004 s]
/proc/loadavg: 2.22 2.58 3.19 3/184 28097
/proc/meminfo: memFree=29288104/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1321540 CPUtime=51.09 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 271420 0 0 0 5073 36 0 0 20 0 4 0 108411743 1353256960 272261 33554432000 4194304 16246674 140735298095760 140735298077632 7249920 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 330385 272261 801 2943 0 327279 0
[pid=28090/tid=28091] ppid=28087 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1353256960 272261 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1353256960 272261 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1353256960 272261 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1321540

[startup+102.3 s]
/proc/loadavg: 2.09 2.49 3.12 3/184 28121
/proc/meminfo: memFree=29281368/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1327684 CPUtime=102.28 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 272957 0 0 0 10191 37 0 0 20 0 4 0 108411743 1359548416 273798 33554432000 4194304 16246674 140735298095760 140735298077632 5823037 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 331921 273798 802 2943 0 328815 0
[pid=28090/tid=28091] ppid=28087 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1359548416 273798 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1359548416 273798 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1359548416 273798 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684

[startup+162.3 s]
/proc/loadavg: 2.07 2.41 3.05 3/183 28123
/proc/meminfo: memFree=29267264/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1327684 CPUtime=162.27 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 272957 0 0 0 16190 37 0 0 20 0 4 0 108411743 1359548416 273798 33554432000 4194304 16246674 140735298095760 140735298077632 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 331921 273798 802 2943 0 328815 0
[pid=28090/tid=28091] ppid=28087 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1359548416 273798 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1359548416 273798 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1359548416 273798 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1327684

[startup+222.3 s]
/proc/loadavg: 2.13 2.36 3.00 3/183 28124
/proc/meminfo: memFree=29264308/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1330756 CPUtime=222.26 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 273703 0 0 0 22187 39 0 0 20 0 4 0 108411743 1362694144 274544 33554432000 4194304 16246674 140735298095760 140735298078760 5672201 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 332689 274544 802 2943 0 329583 0
[pid=28090/tid=28091] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274544 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274544 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274544 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1330756

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

[startup+231 s]
/proc/loadavg: 2.11 2.35 2.98 3/183 28124
/proc/meminfo: memFree=29264168/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1330756 CPUtime=230.95 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 273703 0 0 0 23056 39 0 0 20 0 4 0 108411743 1362694144 274544 33554432000 4194304 16246674 140735298095760 140735298077632 5661363 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 332689 274544 802 2943 0 329583 0
[pid=28090/tid=28091] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274544 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274544 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274544 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 230.95
Current children cumulated vsize (KiB) 1330756

[startup+237.4 s]
/proc/loadavg: 2.10 2.34 2.98 3/183 28124
/proc/meminfo: memFree=29263904/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1330756 CPUtime=237.35 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 273725 0 0 0 23696 39 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140735298077632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 332689 274566 802 2943 0 329583 0
[pid=28090/tid=28091] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 237.35
Current children cumulated vsize (KiB) 1330756

[startup+240.6 s]
/proc/loadavg: 2.09 2.34 2.97 3/183 28125
/proc/meminfo: memFree=29263888/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1330756 CPUtime=240.55 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 273725 0 0 0 24016 39 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140735298077632 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 332689 274566 802 2943 0 329583 0
[pid=28090/tid=28091] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 240.55
Current children cumulated vsize (KiB) 1330756

[startup+242.2 s]
/proc/loadavg: 2.09 2.34 2.97 4/183 28125
/proc/meminfo: memFree=29263648/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1330756 CPUtime=242.15 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 273725 0 0 0 24176 39 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140735298077632 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 332689 274566 802 2943 0 329583 0
[pid=28090/tid=28091] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 242.15
Current children cumulated vsize (KiB) 1330756

[startup+243 s]
/proc/loadavg: 2.09 2.34 2.97 3/183 28125
/proc/meminfo: memFree=29263648/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1330756 CPUtime=242.95 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 273725 0 0 0 24256 39 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140735298077632 13198624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 332689 274566 802 2943 0 329583 0
[pid=28090/tid=28091] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 242.95
Current children cumulated vsize (KiB) 1330756

[startup+243.2 s]
/proc/loadavg: 2.09 2.34 2.97 3/183 28125
/proc/meminfo: memFree=29263648/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=1330756 CPUtime=243.15 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) R 28087 28090 20210 0 -1 4202496 273725 0 0 0 24276 39 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140735298077632 5523184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 332689 274566 802 2943 0 329583 0
[pid=28090/tid=28091] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28091/stat : 28091 (toysat) S 28087 28090 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140114042793200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28090/tid=28092] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28092/stat : 28092 (toysat) S 28087 28090 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140114032303344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) S 28087 28090 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108411743 1362694144 274566 33554432000 4194304 16246674 140735298095760 140113912786096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 243.15
Current children cumulated vsize (KiB) 1330756

[startup+243.3 s]
/proc/loadavg: 2.09 2.34 2.97 3/183 28125
/proc/meminfo: memFree=29263648/32872528 swapFree=11320/319964
[pid=28090] ppid=28087 vsize=0 CPUtime=243.25 cores=1,3,5,7
/proc/28090/stat : 28090 (toysat) Z 28087 28090 20210 0 -1 4202508 273730 0 0 0 24285 40 0 0 20 0 2 0 108411743 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28090/statm: 0 0 0 0 0 0 0
[pid=28090/tid=28093] ppid=28087 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/28090/task/28093/stat : 28093 (toysat) R 28087 28090 20210 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 2 0 108411743 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 243.25
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 243.35
CPU time (s): 243.302
CPU user time (s): 242.853
CPU system time (s): 0.448931
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.853
system time used= 0.448931
maximum resident set size= 1098276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273730
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= 284

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.576912 second user time and 0.972852 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-07 03:59:45
IDJOB=4079007
IDBENCH=48363
IDSOLVER=2542
FILE ID=node128/4079007-1465264785
RUNJOBID= node128-1465264781-27960
PBS_JOBID= 19843253
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_25_3_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079007-1465264785/watcher-4079007-1465264785 -o /tmp/evaluation-result-4079007-1465264785/solver-4079007-1465264785 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465264781-27960 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079007-1465264785.opb

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

MD5SUM BENCH= 8bda8bcfdd3d0bef04b7cb75764a0af7
RANDOM SEED=1438570202

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31461756 kB
Buffers:          104996 kB
Cached:           246160 kB
SwapCached:         1668 kB
Active:           131144 kB
Inactive:         223392 kB
Active(anon):       4892 kB
Inactive(anon):      588 kB
Active(file):     126252 kB
Inactive(file):   222804 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098516 kB
Dirty:             32616 kB
Writeback:             0 kB
AnonPages:        324372 kB
Mapped:             7408 kB
Shmem:                 0 kB
Slab:             603908 kB
SReclaimable:      46868 kB
SUnreclaim:       557040 kB
KernelStack:        1472 kB
PageTables:         4412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     419064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    311296 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 node128 at 2016-06-07 04:03:48