Trace number 4093356

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-02OPTIMUM 117.899 117.931

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
MD5SUM1aa357a852c71e740dd551340d4d5189
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark39.9389
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints911
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46278
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46277
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 683
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-16T16:18:43+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","--wbo","--search=bcd2","HOME/instance-4093356-1466086723.wbo"]
0.00/0.01	c use --random-gen="2463941759 3600853316 4279353959 56111495 599801855 1999424741 1363151892 3010053322 3738591894 2082397013 3519007161 1674789690 634519930 3727328551 2898668900 72421988 2931674016 1300898426 3943849299 2001148771 3388923510 2367174657 442905317 3081705053 3605415443 3622404945 3751374730 1813150618 2572171980 263187581 1708017734 105988850 3321824014 1615122815 3052560128 1952050097 1703409548 1867187762 304061521 1941669185 4018843916 2683298802 3839937406 2264564792 3962805203 2059588166 1811709304 2066424197 684344339 958503672 3673247538 893569799 629284235 1024156422 2778715226 245903400 3814141044 3040753899 538431798 349199663 3035327225 4231896849 3667853346 1279950403 1765609002 3636398633 49478100 498631294 2323176298 810573221 1592351144 1328898257 1159177714 2534195495 613188889 724527829 496595908 2046984656 91756674 1868304296 3459354976 889743789 76785110 384081684 2881835094 2517157881 2658049848 778575617 1461699832 2754944063 3755002823 155658768 1047419461 1794085212 3829667496 3128079598 4197666006 1482811787 819187075 555653594 3279425324 4207192846 3384035672 1951913540 1480701341 3354036101 2180750279 2439552325 1642544179 3291869535 2420609042 3899129749 2027781899 2654757269 868948831 4184319920 990969504 1605114091 4273017157 491779441 747794823 209431227 1222877147 3579475542 3573821621 2994902232 1901684375 858107006 4109663093 1603615483 3428910738 793288341 202279249 3948818075 2514391652 423426334 1722345399 2064766212 1785380564 401152402 313530613 3490271767 1867264812 2170113868 536115948 4136799730 1277525367 2252575730 120813038 2657805254 2291951002 2349932715 361090788 896495453 3434206501 3127262457 977089292 1112912485 416198822 4064977824 509444091 3883101487 2933930847 3684056346 3140954746 2713285187 2820874883 3173899669 1222013079 2872273847 1890753423 3377660772 1088434974 3146454125 1151952217 84904336 355533728 1259925759 3352572814 3941105020 153192189 106688726 1083937818 467602172 2566881569 487722411 3570543976 2714535515 2575931149 2468686988 4240829004 3108159991 1970292802 3216920692 3462300261 1811489799 2282872259 1095219916 1209486994 2575272532 475635860 738850168 3629499757 1368484902 3006239993 1641729823 350530879 197280337 996186250 3099543885 2175476042 274610100 1549722593 2489045179 2797324206 426569279 1010754077 174079331 4102518742 1156276935 2207388472 2905411625 1713762878 1083692652 618701067 348387746 1859794221 1213023964 3547214544 4147932806 3997280951 4023444871 1564236404 3513363453 2805774084 1586259692 948955851 2086843303 3732646715 423351308 2568157246 2861481137 2706350044 810795398 1770573803 3203975431 2847325260 328025237 3455151649 1350052980 616044218 4207121686 2329552429 4027370456 3996354559 2079309950 255 362436" option to reproduce the execution
0.09/0.14	c #vars 231
0.09/0.14	c #constraints 2707
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1283      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |     1079 |      100 |     1283      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |     1998 |      100 |     1283      0 |        0 |        0
0.19/0.22	c #cpu_time = 0.030s
0.19/0.22	c #wall_clock_time = 0.030s
0.19/0.22	c #decision = 1998
0.19/0.22	c #random_decision = 6
0.19/0.22	c #conflict = 100
0.19/0.22	c #restart = 1
0.19/0.22	o 450
0.19/0.22	c BCD2: updating upper bound: 46277 -> 449
0.19/0.22	c BCD2: 0 <= obj <= 449
0.19/0.22	c BCD2: #cores=0, #unrelaxed=911, #relaxed=0, #hardened=0
0.19/0.22	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1283      0 |        0 |        0
0.19/0.24	c  0.0s |       1 |     1070 |      100 |     1412      0 |        0 |        0
0.19/0.28	c  0.1s |       2 |     2233 |      250 |     1554      0 |        0 |        0
0.29/0.32	c  0.1s |       3 |     3523 |      475 |     1710      0 |        0 |        0
0.39/0.43	c  0.2s |       4 |     5060 |      813 |     1882      0 |        0 |        0
0.58/0.60	c  0.4s |       5 |     6941 |     1320 |     2071      0 |        0 |        0
0.79/0.88	c  0.7s |       6 |     9257 |     2081 |     2279      0 |        0 |        0
1.29/1.39	c  1.2s |       7 |    11962 |     3223 |     2507      0 |        0 |        0
1.89/1.91	c  1.7s |       8 |    15515 |     4936 |     2758      1 |        0 |        0
2.79/2.88	c  2.7s |       9 |    20217 |     7506 |     3034      3 |        0 |        0
4.59/4.67	c  4.4s |      10 |    26687 |    11361 |     3338      5 |        0 |        0
6.69/6.71	c  6.5s |      10 |    33110 |    15161 |     3338      6 |        0 |        0
7.48/7.56	c  7.3s |      11 |    36313 |    17144 |     3672      7 |        0 |        0
9.58/9.61	c  9.4s |      11 |    43685 |    21344 |     3672      9 |        0 |        0
11.58/11.64	c 11.4s |      11 |    49547 |    25144 |     3672     11 |        0 |        0
11.98/12.00	c 11.8s |      12 |    50696 |    25819 |     4040     11 |        0 |        0
13.98/14.04	c 13.8s |      12 |    58047 |    29519 |     4040     12 |        0 |        0
15.99/16.05	c 15.8s |      12 |    65763 |    34419 |     4040     14 |        0 |        0
17.59/17.67	c 17.4s |      13 |    72427 |    38832 |     4444     16 |        0 |        0
19.58/19.68	c 19.5s |      13 |    79296 |    42832 |     4444     17 |        0 |        0
21.68/21.74	c 21.5s |      13 |    83789 |    45832 |     4444     19 |        0 |        0
23.68/23.75	c 23.5s |      13 |    88197 |    48832 |     4444     20 |        0 |        0
25.68/25.75	c 25.5s |      13 |    93837 |    52332 |     4444     21 |        0 |        0
27.78/27.83	c 27.6s |      13 |    98499 |    55232 |     4444     22 |        0 |        0
29.79/29.85	c 29.6s |      13 |   103104 |    58032 |     4889     23 |        0 |        0
29.98/30.07	c 29.8s |      14 |   103633 |    58352 |     4889     23 |        0 |        0
31.98/32.07	c 31.8s |      14 |   111971 |    62352 |     4889     24 |        0 |        0
33.98/34.09	c 33.9s |      14 |   118518 |    65752 |     4889     26 |        0 |        0
36.08/36.14	c 35.9s |      14 |   124884 |    69652 |     4889     27 |        0 |        0
38.08/38.16	c 37.9s |      14 |   130084 |    72752 |     4889     28 |        0 |        0
40.18/40.24	c 40.0s |      14 |   134941 |    75752 |     4889     29 |        0 |        0
42.28/42.32	c 42.1s |      14 |   139329 |    78452 |     4889     30 |        0 |        0
44.27/44.34	c 44.1s |      14 |   144504 |    81352 |     4889     31 |        0 |        0
46.28/46.36	c 46.1s |      14 |   151058 |    85252 |     4889     32 |        0 |        0
47.67/47.78	c 47.6s |      15 |   155000 |    87632 |     5378     33 |        0 |        0
49.77/49.84	c 49.6s |      15 |   161075 |    90932 |     5378     34 |        0 |        0
51.87/51.90	c 51.7s |      15 |   165654 |    93832 |     5378     35 |        0 |        0
53.88/53.98	c 53.8s |      15 |   170173 |    96732 |     5378     36 |        0 |        0
55.97/56.00	c 55.8s |      15 |   174659 |    99432 |     5378     37 |        0 |        0
57.97/58.06	c 57.8s |      15 |   178509 |   101832 |     5378     38 |        0 |        0
60.07/60.11	c 59.9s |      15 |   183257 |   104932 |     5378     38 |        0 |        0
62.07/62.16	c 61.9s |      15 |   187056 |   107332 |     5378     39 |        0 |        0
64.17/64.23	c 64.0s |      15 |   191617 |   109932 |     5378     40 |        0 |        0
66.16/66.28	c 66.1s |      15 |   195031 |   112132 |     5378     41 |        0 |        0
68.27/68.33	c 68.1s |      15 |   198488 |   114132 |     5378     41 |        0 |        0
70.26/70.37	c 70.1s |      15 |   201462 |   115932 |     5378     42 |        0 |        0
72.36/72.41	c 72.2s |      15 |   204650 |   117832 |     5378     43 |        0 |        0
74.37/74.44	c 74.2s |      15 |   210474 |   120932 |     5378     44 |        0 |        0
76.37/76.46	c 76.2s |      15 |   214847 |   123532 |     5378     44 |        0 |        0
78.37/78.48	c 78.3s |      15 |   219047 |   126132 |     5378     45 |        0 |        0
80.47/80.53	c 80.3s |      15 |   224516 |   129532 |     5378     46 |        0 |        0
82.07/82.14	c 81.9s |      16 |   227615 |   131552 |     5916     47 |        0 |        0
84.07/84.14	c 83.9s |      16 |   232086 |   133752 |     5916     47 |        0 |        0
86.16/86.21	c 86.0s |      16 |   235938 |   136052 |     5916     48 |        0 |        0
88.16/88.27	c 88.0s |      16 |   239394 |   137952 |     5916     49 |        0 |        0
90.27/90.32	c 90.1s |      16 |   242722 |   139952 |     5916     49 |        0 |        0
92.26/92.35	c 92.1s |      16 |   245861 |   141852 |     5916     50 |        0 |        0
94.36/94.46	c 94.2s |      16 |   249954 |   144152 |     5916     50 |        0 |        0
96.46/96.51	c 96.3s |      16 |   253492 |   146152 |     5916     51 |        0 |        0
98.46/98.59	c 98.4s |      16 |   257142 |   148252 |     5916     52 |        0 |        0
100.56/100.69	c  100s |      16 |   261562 |   150552 |     5916     52 |        0 |        0
101.17/101.25	c  101s |      16 |   262423 |   151014 |     5916     53 |        0 |        0
101.17/101.25	c #cpu_time = 100.748s
101.17/101.25	c #wall_clock_time = 101.028s
101.17/101.25	c #decision = 262423
101.17/101.25	c #random_decision = 455
101.17/101.25	c #conflict = 151014
101.17/101.25	c #restart = 16
101.17/101.25	c BCD2: found a new core of size 909: cost of the new core is >=1
101.17/101.25	c lower bound updated to 1
101.17/101.26	c BCD2: 1 <= obj <= 449
101.17/101.26	c BCD2: #cores=1, #unrelaxed=2, #relaxed=909, #hardened=0
101.17/101.26	c BCD2: #sat=1 #unsat=2 bias=2/3
101.17/101.26	c Solving starts ...
101.17/101.26	c ============================[ Search Statistics ]============================
101.17/101.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
101.17/101.26	c       |         |          |          |    Limit     GC | Var      | Constra 
101.17/101.26	c =============================================================================
101.17/101.26	c  0.0s |       0 |        0 |        0 |     5916      0 |        0 |        0
101.17/101.30	c  0.0s |       0 |     1447 |       17 |     5916      0 |        0 |        0
101.17/101.30	c #cpu_time = 0.036s
101.17/101.30	c #wall_clock_time = 0.036s
101.17/101.30	c #decision = 1447
101.17/101.30	c #random_decision = 5
101.17/101.30	c #conflict = 17
101.17/101.30	c #restart = 0
101.17/101.30	o 8
101.17/101.30	c BCD2: hardening fixes 843 literals
101.17/101.30	c BCD2: updating upper bound: 449 -> 7
101.17/101.30	c BCD2: 1 <= obj <= 7
101.17/101.30	c BCD2: #cores=1, #unrelaxed=0, #relaxed=68, #hardened=843
101.17/101.30	c BCD2: #sat=2 #unsat=2 bias=2/4
101.17/101.30	c Solving starts ...
101.17/101.30	c ============================[ Search Statistics ]============================
101.17/101.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
101.17/101.30	c       |         |          |          |    Limit     GC | Var      | Constra 
101.17/101.30	c =============================================================================
101.17/101.30	c  0.0s |       0 |        0 |        0 |     5916      0 |      843 |        2
101.36/101.44	c  0.1s |       1 |      216 |      100 |     5916      0 |      843 |        2
101.46/101.52	c  0.2s |       2 |      459 |      250 |     5916      0 |      843 |        2
101.56/101.68	c  0.4s |       3 |     1017 |      475 |     5916      0 |      843 |        2
101.76/101.81	c  0.5s |       4 |     1614 |      813 |     5916      0 |      843 |        2
101.86/101.99	c  0.7s |       5 |     2477 |     1320 |     5916      0 |      843 |        2
102.16/102.27	c  1.0s |       6 |     3717 |     2081 |     5916      0 |      843 |        2
102.56/102.69	c  1.4s |       7 |     5514 |     3223 |     5916      0 |      843 |        2
103.37/103.42	c  2.1s |       8 |     8227 |     4936 |     5916      1 |      843 |        2
104.37/104.41	c  3.1s |       9 |    12150 |     7506 |     5916      2 |      843 |        2
105.07/105.14	c  3.8s |       9 |    14805 |     9233 |     5916      2 |      843 |        2
105.07/105.14	c #cpu_time = 3.825s
105.07/105.14	c #wall_clock_time = 3.835s
105.07/105.14	c #decision = 14805
105.07/105.14	c #random_decision = 16
105.07/105.14	c #conflict = 9233
105.07/105.14	c #restart = 9
105.07/105.14	o 2
105.07/105.14	c BCD2: hardening fixes 57 literals
105.07/105.14	c BCD2: updating upper bound: 7 -> 1
105.07/105.14	c BCD2: 1 <= obj <= 1
105.07/105.14	c BCD2: #cores=1, #unrelaxed=0, #relaxed=11, #hardened=900
105.07/105.14	c BCD2: #sat=3 #unsat=2 bias=2/5
105.07/105.14	c Solving starts ...
105.07/105.14	c ============================[ Search Statistics ]============================
105.07/105.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
105.07/105.14	c       |         |          |          |    Limit     GC | Var      | Constra 
105.07/105.14	c =============================================================================
105.07/105.14	c  0.0s |       0 |        0 |        0 |     5916      0 |      900 |        4
105.07/105.18	c  0.0s |       1 |      180 |      100 |     5916      0 |      900 |        4
105.17/105.25	c  0.1s |       2 |      428 |      250 |     5916      0 |      900 |        4
105.27/105.35	c  0.2s |       3 |      801 |      475 |     5916      0 |      900 |        4
105.47/105.50	c  0.4s |       4 |     1288 |      813 |     5916      0 |      900 |        4
105.57/105.70	c  0.6s |       5 |     2155 |     1320 |     5916      1 |      900 |        4
105.87/105.93	c  0.8s |       6 |     3411 |     2081 |     5916      1 |      900 |        4
106.27/106.32	c  1.2s |       7 |     5319 |     3223 |     5916      1 |      900 |        4
106.87/106.94	c  1.8s |       8 |     8093 |     4936 |     5916      2 |      900 |        4
107.77/107.89	c  2.8s |       9 |    12167 |     7506 |     5916      2 |      900 |        4
109.07/109.18	c  4.0s |      10 |    18345 |    11361 |     5916      3 |      900 |        4
110.87/110.96	c  5.8s |      11 |    28032 |    17144 |     5916      5 |      900 |        4
112.86/112.97	c  7.8s |      11 |    37870 |    23344 |     5916      7 |      900 |        4
113.76/113.86	c  8.7s |      12 |    41722 |    25819 |     5916      8 |      900 |        4
115.76/115.88	c 10.7s |      12 |    50811 |    31719 |     5916      9 |      900 |        4
117.77/117.87	c 12.7s |      12 |    58329 |    36761 |     6508     11 |      900 |        4
117.77/117.87	c #cpu_time = 12.701s
117.77/117.87	c #wall_clock_time = 12.735s
117.77/117.87	c #decision = 58329
117.77/117.87	c #random_decision = 197
117.77/117.87	c #conflict = 36761
117.77/117.87	c #restart = 12
117.77/117.87	o 1
117.77/117.87	s OPTIMUM FOUND
117.77/117.87	v -x1 -x2 x3 -x4 -x5 x6 -x7 -x8 -x9 -x10
117.77/117.87	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
117.77/117.87	v -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30
117.77/117.87	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
117.77/117.87	v -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 -x50
117.77/117.87	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
117.77/117.87	v -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
117.77/117.87	v -x71 -x72 -x73 -x74 -x75 x76 -x77 x78 -x79 -x80
117.77/117.87	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
117.77/117.87	v -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100
117.77/117.87	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110
117.77/117.87	v -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120
117.77/117.87	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130
117.77/117.87	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
117.77/117.87	v -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
117.77/117.87	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
117.77/117.87	v x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170
117.77/117.87	v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
117.77/117.87	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190
117.77/117.87	v -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200
117.77/117.87	v -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210
117.77/117.87	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220
117.77/117.87	v -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230
117.77/117.87	v -x231
117.77/117.87	c total CPU time = 117.551s
117.77/117.87	c total wall clock time = 117.876s

Verifier Data 

OK	1

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-4093356-1466086723/watcher-4093356-1466086723 -o /tmp/evaluation-result-4093356-1466086723/solver-4093356-1466086723 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12322 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093356-1466086723.wbo 

pid=14208
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: 1.97 2.00 2.00 3/181 14211
/proc/meminfo: memFree=30956632/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=642492 CPUtime=0 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 2380 0 0 0 0 0 0 0 20 0 4 0 10718212 657911808 2741 33554432000 4194304 16246674 140735663192816 140735663192240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14211/statm: 161135 2751 441 2943 0 158029 0
[pid=14211/tid=14212] ppid=14208 vsize=659900 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 675737600 2811 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=665020 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 680980480 2828 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=669116 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10718212 685174784 2844 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 1.97 2.00 2.00 3/181 14211
/proc/meminfo: memFree=30956632/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 24629 0 0 0 6 3 0 0 20 0 4 0 10718212 1247350784 24983 33554432000 4194304 16246674 140735663192816 140735663192240 12457395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14211/statm: 304529 24986 615 2943 0 301423 0
[pid=14211/tid=14212] ppid=14208 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1247350784 24992 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1247350784 24996 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10718212 1247350784 24999 33554432000 4194304 16246674 140735663192816 140498339613872 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.200527 s]
/proc/loadavg: 1.97 2.00 2.00 3/181 14211
/proc/meminfo: memFree=30956632/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 40569 0 0 0 13 6 0 0 20 0 4 0 10718212 1249447936 40895 33554432000 4194304 16246674 140735663192816 140735663192240 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14211/statm: 305041 40899 802 2943 0 301935 0
[pid=14211/tid=14212] ppid=14208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1249447936 40900 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1249447936 40902 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10718212 1249447936 40904 33554432000 4194304 16246674 140735663192816 140498339613872 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) 1220164

[startup+0.300491 s]
/proc/loadavg: 1.97 2.00 2.00 3/181 14211
/proc/meminfo: memFree=30956632/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 41113 0 0 0 23 6 0 0 20 0 4 0 10718212 1251545088 41438 33554432000 4194304 16246674 140735663192816 140735663192128 5717450 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14211/statm: 305553 41438 869 2943 0 302447 0
[pid=14211/tid=14212] ppid=14208 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1251545088 41438 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1251545088 41438 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1251545088 41438 33554432000 4194304 16246674 140735663192816 140498339613872 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) 1222212

[startup+0.700369 s]
/proc/loadavg: 1.97 2.00 2.00 3/181 14211
/proc/meminfo: memFree=30956632/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 127181 0 0 0 51 18 0 0 20 0 4 0 10718212 1251545088 127507 33554432000 4194304 16246674 140735663192816 140735663174720 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14211/statm: 305553 127526 869 2943 0 302447 0
[pid=14211/tid=14212] ppid=14208 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1251545088 127531 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1251545088 127535 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1251545088 127539 33554432000 4194304 16246674 140735663192816 140498339613872 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) 1222212

[startup+1.50041 s]
/proc/loadavg: 1.97 2.00 2.00 3/185 14215
/proc/meminfo: memFree=29992692/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 266318 0 0 0 114 35 0 0 20 0 4 0 10718212 1332285440 266643 33554432000 4194304 16246674 140735663192816 140735663174720 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14211/statm: 325265 266643 872 2943 0 322159 0
[pid=14211/tid=14212] ppid=14208 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1332285440 266643 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1332285440 266643 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1332285440 266643 33554432000 4194304 16246674 140735663192816 140498339613872 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) 1301060

[startup+3.10042 s]
/proc/loadavg: 1.97 2.00 2.00 3/185 14215
/proc/meminfo: memFree=29885688/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 268103 0 0 0 274 35 0 0 20 0 4 0 10718212 1339625472 268428 33554432000 4194304 16246674 140735663192816 140735663175816 5673657 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14211/statm: 327057 268428 875 2943 0 323951 0
[pid=14211/tid=14212] ppid=14208 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1339625472 268428 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1339625472 268428 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1339625472 268428 33554432000 4194304 16246674 140735663192816 140498339613872 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) 1308228

[startup+6.30042 s]
/proc/loadavg: 1.97 2.00 2.00 3/185 14215
/proc/meminfo: memFree=29882844/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1310276 CPUtime=6.28 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 268636 0 0 0 592 36 0 0 20 0 4 0 10718212 1341722624 268961 33554432000 4194304 16246674 140735663192816 140735663174720 13943604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14211/statm: 327569 268961 875 2943 0 324463 0
[pid=14211/tid=14212] ppid=14208 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1341722624 268961 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1341722624 268961 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1341722624 268961 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 1.98 2.00 2.00 3/185 14264
/proc/meminfo: memFree=29882456/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 268820 0 0 0 1232 36 0 0 20 0 4 0 10718212 1342771200 269145 33554432000 4194304 16246674 140735663192816 140735663174720 5861864 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14211/statm: 327825 269145 875 2943 0 324719 0
[pid=14211/tid=14212] ppid=14208 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1342771200 269145 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1342771200 269145 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1342771200 269145 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 1.98 2.00 2.00 3/185 14264
/proc/meminfo: memFree=29878544/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 269447 0 0 0 2511 37 0 0 20 0 4 0 10718212 1344868352 269772 33554432000 4194304 16246674 140735663192816 140735663174720 5519136 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14211/statm: 328337 269772 875 2943 0 325231 0
[pid=14211/tid=14212] ppid=14208 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1344868352 269772 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1344868352 269772 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1344868352 269772 33554432000 4194304 16246674 140735663192816 140498339613872 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) 1313348

[startup+51.1005 s]
/proc/loadavg: 1.99 2.00 2.00 3/185 14264
/proc/meminfo: memFree=29868508/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1315396 CPUtime=51.07 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 269959 0 0 0 5070 37 0 0 20 0 4 0 10718212 1346965504 270281 33554432000 4194304 16246674 140735663192816 140735663174720 13950218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14211/statm: 328849 270281 875 2943 0 325743 0
[pid=14211/tid=14212] ppid=14208 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1346965504 270281 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1346965504 270281 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1346965504 270281 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/186 14268
/proc/meminfo: memFree=29865696/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1318468 CPUtime=102.26 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 270683 0 0 0 10188 38 0 0 20 0 4 0 10718212 1350111232 270997 33554432000 4194304 16246674 140735663192816 140735663174720 13965561 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14211/statm: 329617 270997 884 2943 0 326511 0
[pid=14211/tid=14212] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 270997 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 270997 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 270997 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1318468

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

[startup+102.408 s]
/proc/loadavg: 1.99 2.00 2.00 3/186 14268
/proc/meminfo: memFree=29865696/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1318468 CPUtime=102.36 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 270683 0 0 0 10198 38 0 0 20 0 4 0 10718212 1350111232 270997 33554432000 4194304 16246674 140735663192816 140735663174720 5673523 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14211/statm: 329617 270997 884 2943 0 326511 0
[pid=14211/tid=14212] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 270997 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 270997 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 270997 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 1318468

[startup+108.8 s]
/proc/loadavg: 1.99 2.00 2.00 3/186 14268
/proc/meminfo: memFree=29865060/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1318468 CPUtime=108.77 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 270758 0 0 0 10838 39 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140735663174720 5673927 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14211/statm: 329617 271071 884 2943 0 326511 0
[pid=14211/tid=14212] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 108.77
Current children cumulated vsize (KiB) 1318468

[startup+112 s]
/proc/loadavg: 1.99 2.00 2.00 3/186 14268
/proc/meminfo: memFree=29865060/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1318468 CPUtime=111.97 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 270758 0 0 0 11158 39 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140735663174720 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14211/statm: 329617 271071 884 2943 0 326511 0
[pid=14211/tid=14212] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 111.97
Current children cumulated vsize (KiB) 1318468

[startup+115.2 s]
/proc/loadavg: 1.99 2.00 2.00 3/186 14268
/proc/meminfo: memFree=29865184/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1318468 CPUtime=115.16 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 270758 0 0 0 11477 39 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140735663174720 13928602 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14211/statm: 329617 271071 884 2943 0 326511 0
[pid=14211/tid=14212] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 115.16
Current children cumulated vsize (KiB) 1318468

[startup+116.8 s]
/proc/loadavg: 1.99 2.00 2.00 3/186 14268
/proc/meminfo: memFree=29865292/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1318468 CPUtime=116.76 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 270760 0 0 0 11637 39 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140735663174720 6013188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14211/statm: 329617 271071 884 2943 0 326511 0
[pid=14211/tid=14212] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 116.76
Current children cumulated vsize (KiB) 1318468

[startup+117.6 s]
/proc/loadavg: 1.99 2.00 2.00 3/186 14268
/proc/meminfo: memFree=29865292/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1318468 CPUtime=117.56 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 270760 0 0 0 11717 39 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140735663175816 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14211/statm: 329617 271071 884 2943 0 326511 0
[pid=14211/tid=14212] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 117.56
Current children cumulated vsize (KiB) 1318468

[startup+117.807 s]
/proc/loadavg: 1.99 2.00 2.00 3/186 14268
/proc/meminfo: memFree=29865292/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=1318468 CPUtime=117.77 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202496 270760 0 0 0 11738 39 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140735663175816 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14211/statm: 329617 271071 884 2943 0 326511 0
[pid=14211/tid=14212] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14212/stat : 14212 (toysat) S 14208 14211 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498360577264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14211/tid=14213] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14213/stat : 14213 (toysat) S 14208 14211 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498350087408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14211/tid=14214] ppid=14208 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14211/task/14214/stat : 14214 (toysat) S 14208 14211 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10718212 1350111232 271071 33554432000 4194304 16246674 140735663192816 140498339613872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 117.77
Current children cumulated vsize (KiB) 1318468

[startup+117.9 s]
/proc/loadavg: 1.99 2.00 2.00 3/186 14268
/proc/meminfo: memFree=29865292/32872528 swapFree=7268/7268
[pid=14211] ppid=14208 vsize=0 CPUtime=117.86 cores=1,3,5,7
/proc/14211/stat : 14211 (toysat) R 14208 14211 9721 0 -1 4202500 270765 0 0 0 11745 41 0 0 20 0 1 0 10718212 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14211/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 117.86
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 117.931
CPU time (s): 117.899
CPU user time (s): 117.456
CPU system time (s): 0.442932
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.456
system time used= 0.442932
maximum resident set size= 1084292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270765
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= 31
involuntary context switches= 221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.460929 second user time and 0.626904 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-16 16:18:43
IDJOB=4093356
IDBENCH=78896
IDSOLVER=2553
FILE ID=node133/4093356-1466086723
RUNJOBID= node133-1466075558-12322
PBS_JOBID= 19904006
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093356-1466086723/watcher-4093356-1466086723 -o /tmp/evaluation-result-4093356-1466086723/solver-4093356-1466086723 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12322 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093356-1466086723.wbo

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

MD5SUM BENCH= 1aa357a852c71e740dd551340d4d5189
RANDOM SEED=1640825844

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30957640 kB
Buffers:           34984 kB
Cached:            99420 kB
SwapCached:         1876 kB
Active:          1151432 kB
Inactive:          56612 kB
Active(anon):    1074448 kB
Inactive(anon):     1228 kB
Active(file):      76984 kB
Inactive(file):    55384 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67098888 kB
Dirty:             32732 kB
Writeback:             0 kB
AnonPages:       1085940 kB
Mapped:            10520 kB
Shmem:                 0 kB
Slab:             567184 kB
SReclaimable:      10844 kB
SUnreclaim:       556340 kB
KernelStack:        1536 kB
PageTables:         6192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1224600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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 node133 at 2016-06-16 16:20:41