Trace number 4093676

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 31.9191 31.9256

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo
MD5SUM36573e20f94a233c9b9c8f8613b15785
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark7.83981
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1188
Number of bits of the biggest sum of numbers11
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-16T18:19:56+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-4093676-1466093996.wbo"]
0.00/0.01	c use --random-gen="451180484 1498896314 1009748970 489755738 477366291 2434074893 3442132362 3547395426 998920912 2060575098 2554452501 550137717 3631101009 710485492 2149226339 4082707325 271798182 2546764916 2532104426 2082879015 3318021545 266889879 244115487 2920177013 2053503905 1917827412 3197735558 3387851085 2525286096 2770240468 2786174084 4019244197 3084857316 2767170719 2646633458 1163075359 4103258577 3049496698 2718737806 2484963503 730146465 3915735903 4237271787 280590445 3531755640 1693239274 966443658 543422805 1508676614 3771065596 178403471 4085942329 2984779864 488008339 3575090975 2253110329 2994087721 3143571319 1880986130 3950722000 430637967 3655793930 442806136 1557242125 3956840947 1989537387 3790619699 2915631862 633769954 1681738821 1380635905 3848290106 231962792 283949975 2756240883 2596973820 409953895 2655262468 3539914810 486773643 564435397 979391230 397326301 462243251 1698631145 3008153517 401332774 3542804719 3170501851 2946507554 848162877 204416356 3379157373 2249908343 1734680839 7061755 3566148951 2123804025 769692259 2577351721 806194519 332035294 4076299715 3156200940 3430544876 815529497 4250379815 2461600787 2735256274 2727756382 885683764 840900432 4233816183 793935448 667123655 2319723773 1811612515 2943164653 230191324 891990614 2246794053 1049824926 2423661662 583867324 1832115275 3736180681 1594310406 3285043081 2949804210 3083326405 3632591941 1340156239 1617527533 1302054760 1945758935 349942159 3810831176 3693136265 558944110 2360602954 3975642872 2495141854 2477437282 3034280195 3899184703 1595435669 1818102709 477283957 1965872066 3839463988 1982356959 2196829432 495499033 2825177457 136928721 1444428955 159358991 4094256551 1146634108 2427453375 2082213949 1392242408 1036005439 4045939592 2760485792 1311971759 3279515046 4244682878 41251642 1358884304 395492 1940433814 3856574140 1024882358 2759511363 2224082401 1893695728 2794145296 2294665350 2269520529 1161528416 2339270705 3639460655 238758741 4121731623 2006429606 551541595 2044943706 3257847886 2547803320 1661526185 97866065 2747199193 3267128361 1182028280 2175807724 3754104648 2325020041 2396511638 3073791115 4226871545 1036653037 1903489852 48170398 553319293 2354413692 3841640107 1465083628 1270237470 380529450 3655088938 2975928332 1564608442 2959293273 2475162277 3777615992 1861264082 1367397 413097369 3686882500 3006290103 231654527 1693831775 281401304 238580366 609831659 1245561620 2628547111 3663163675 853079121 2972852590 1474854400 1416649589 1902930974 3186766628 246618955 3969385503 3310410571 125047727 1154185390 2353616635 3057820662 3087057053 1793823789 426423099 2940211995 3959405516 996966031 1067742893 3731070242 2229236172 737470109 2659754012 1735028300 744883711 1820987978 255 362436" option to reproduce the execution
0.19/0.26	c #vars 169
0.19/0.26	c #constraints 101
0.19/0.27	c BCD2: Hardening is enabled.
0.19/0.27	c BCD2: BiasedSearch is enabled.
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |      123      0 |        0 |        0
0.19/0.27	c  0.0s |       0 |      108 |        0 |      123      0 |        0 |        0
0.19/0.27	c #cpu_time = 0.001s
0.19/0.27	c #wall_clock_time = 0.001s
0.19/0.27	c #decision = 108
0.19/0.27	c #random_decision = 0
0.19/0.27	c #conflict = 0
0.19/0.27	c #restart = 0
0.19/0.27	o 566
0.19/0.27	c BCD2: updating upper bound: 4943 -> 565
0.19/0.27	c BCD2: 0 <= obj <= 565
0.19/0.27	c BCD2: #cores=0, #unrelaxed=101, #relaxed=0, #hardened=0
0.19/0.27	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |      123      0 |        0 |        0
0.19/0.29	c  0.0s |       1 |      237 |      100 |      123      0 |        0 |        0
0.29/0.31	c  0.0s |       2 |      565 |      250 |      136      0 |        0 |        0
0.29/0.36	c  0.1s |       3 |     1025 |      475 |      150      1 |        0 |        0
0.38/0.43	c  0.2s |       4 |     1659 |      813 |      165      4 |        0 |        0
0.49/0.55	c  0.3s |       5 |     2480 |     1320 |      182      7 |        0 |        0
0.69/0.72	c  0.5s |       6 |     3848 |     2081 |      222     11 |        0 |        0
0.89/0.99	c  0.7s |       7 |     5715 |     3223 |      245     17 |        0 |        0
1.29/1.35	c  1.1s |       8 |     8424 |     4936 |      270     25 |        0 |        0
1.69/1.73	c  1.5s |       9 |    12116 |     7506 |      297     36 |        0 |        0
2.30/2.35	c  2.1s |      10 |    17429 |    11361 |      327     52 |        0 |        0
3.19/3.21	c  2.9s |      11 |    25896 |    17144 |      360     75 |        0 |        0
4.50/4.59	c  4.3s |      12 |    37950 |    25819 |      397    108 |        0 |        0
6.49/6.59	c  6.3s |      12 |    54781 |    37819 |      397    150 |        0 |        0
6.70/6.78	c  6.5s |      13 |    56045 |    38832 |      437    153 |        0 |        0
8.69/8.78	c  8.5s |      13 |    73170 |    51132 |      437    193 |        0 |        0
10.00/10.01	c  9.7s |      14 |    83046 |    58352 |      481    217 |        0 |        0
11.99/12.01	c 11.7s |      14 |    97925 |    69452 |      481    251 |        0 |        0
13.99/14.02	c 13.8s |      14 |   110648 |    78752 |      481    281 |        0 |        0
15.59/15.69	c 15.4s |      14 |   119882 |    86049 |      481    304 |        0 |        0
15.59/15.69	c #cpu_time = 15.422s
15.59/15.69	c #wall_clock_time = 15.422s
15.59/15.69	c #decision = 119882
15.59/15.69	c #random_decision = 275
15.59/15.69	c #conflict = 86049
15.59/15.69	c #restart = 14
15.59/15.69	c BCD2: found a new core of size 101: cost of the new core is >=1
15.59/15.69	c lower bound updated to 1
15.59/15.69	c BCD2: 1 <= obj <= 565
15.59/15.69	c BCD2: #cores=1, #unrelaxed=0, #relaxed=101, #hardened=0
15.59/15.69	c BCD2: #sat=1 #unsat=2 bias=2/3
15.59/15.69	c Solving starts ...
15.59/15.69	c ============================[ Search Statistics ]============================
15.59/15.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.59/15.69	c       |         |          |          |    Limit     GC | Var      | Constra 
15.59/15.69	c =============================================================================
15.59/15.69	c  0.0s |       0 |        0 |        0 |      481      0 |        0 |        0
15.59/15.69	c  0.0s |       0 |      138 |        4 |      481      0 |        0 |        0
15.59/15.69	c #cpu_time = 0.003s
15.59/15.69	c #wall_clock_time = 0.003s
15.59/15.69	c #decision = 138
15.59/15.69	c #random_decision = 0
15.59/15.69	c #conflict = 4
15.59/15.69	c #restart = 0
15.59/15.69	o 46
15.59/15.69	c BCD2: hardening fixes 57 literals
15.59/15.69	c BCD2: updating upper bound: 565 -> 45
15.59/15.69	c BCD2: 1 <= obj <= 45
15.59/15.69	c BCD2: #cores=1, #unrelaxed=0, #relaxed=44, #hardened=57
15.59/15.69	c BCD2: #sat=2 #unsat=2 bias=2/4
15.59/15.70	c Solving starts ...
15.59/15.70	c ============================[ Search Statistics ]============================
15.59/15.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.59/15.70	c       |         |          |          |    Limit     GC | Var      | Constra 
15.59/15.70	c =============================================================================
15.59/15.70	c  0.0s |       0 |        0 |        0 |      481      0 |       57 |        2
15.69/15.71	c  0.0s |       1 |      204 |      100 |      481      0 |       57 |        2
15.69/15.73	c  0.0s |       2 |      445 |      250 |      481      1 |       57 |        2
15.69/15.77	c  0.1s |       3 |      830 |      475 |      481      1 |       57 |        2
15.79/15.81	c  0.1s |       4 |     1415 |      813 |      481      2 |       57 |        2
15.79/15.88	c  0.2s |       5 |     2239 |     1320 |      530      4 |       57 |        2
15.89/15.99	c  0.3s |       6 |     3668 |     2081 |      530      6 |       57 |        2
16.09/16.15	c  0.5s |       7 |     5603 |     3223 |      530     10 |       57 |        2
16.29/16.37	c  0.7s |       8 |     8546 |     4936 |      530     15 |       57 |        2
16.69/16.70	c  1.0s |       9 |    12851 |     7506 |      530     23 |       57 |        2
17.19/17.24	c  1.5s |      10 |    18792 |    11361 |      530     35 |       57 |        2
17.99/18.01	c  2.3s |      11 |    28154 |    17144 |      530     52 |       57 |        2
18.19/18.27	c  2.6s |      11 |    31145 |    19048 |      530     58 |       57 |        2
18.19/18.27	c #cpu_time = 2.576s
18.19/18.27	c #wall_clock_time = 2.575s
18.19/18.27	c #decision = 31145
18.19/18.27	c #random_decision = 85
18.19/18.27	c #conflict = 19048
18.19/18.27	c #restart = 11
18.19/18.27	o 38
18.19/18.27	c BCD2: hardening fixes 6 literals
18.19/18.27	c BCD2: updating upper bound: 45 -> 37
18.19/18.27	c BCD2: 1 <= obj <= 37
18.19/18.27	c BCD2: #cores=1, #unrelaxed=0, #relaxed=38, #hardened=63
18.19/18.27	c BCD2: #sat=3 #unsat=2 bias=2/5
18.19/18.27	c Solving starts ...
18.19/18.27	c ============================[ Search Statistics ]============================
18.19/18.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.19/18.27	c       |         |          |          |    Limit     GC | Var      | Constra 
18.19/18.27	c =============================================================================
18.19/18.27	c  0.0s |       0 |        0 |        0 |      530      0 |       63 |        4
18.19/18.29	c  0.0s |       1 |      166 |      100 |      530      0 |       63 |        4
18.29/18.31	c  0.0s |       2 |      364 |      250 |      530      1 |       63 |        4
18.29/18.34	c  0.1s |       3 |      749 |      475 |      530      1 |       63 |        4
18.29/18.38	c  0.1s |       4 |     1284 |      813 |      530      2 |       63 |        4
18.39/18.44	c  0.2s |       5 |     2074 |     1320 |      530      4 |       63 |        4
18.49/18.54	c  0.3s |       6 |     3239 |     2081 |      530      6 |       63 |        4
18.59/18.68	c  0.4s |       7 |     5096 |     3223 |      530      9 |       63 |        4
18.89/18.90	c  0.6s |       8 |     7585 |     4936 |      530     14 |       63 |        4
19.19/19.22	c  0.9s |       9 |    11608 |     7506 |      530     22 |       63 |        4
19.69/19.71	c  1.4s |      10 |    17444 |    11361 |      530     33 |       63 |        4
20.39/20.45	c  2.2s |      11 |    26151 |    17144 |      530     49 |       63 |        4
21.49/21.57	c  3.3s |      12 |    38649 |    25819 |      583     74 |       63 |        4
21.89/21.94	c  3.7s |      12 |    42897 |    28776 |      583     82 |       63 |        4
21.89/21.94	c #cpu_time = 3.668s
21.89/21.94	c #wall_clock_time = 3.668s
21.89/21.94	c #decision = 42897
21.89/21.94	c #random_decision = 103
21.89/21.94	c #conflict = 28776
21.89/21.94	c #restart = 12
22.09/22.12	o 15
22.09/22.12	c BCD2: hardening fixes 26 literals
22.09/22.12	c BCD2: updating upper bound: 37 -> 14
22.09/22.12	c BCD2: 1 <= obj <= 14
22.09/22.12	c BCD2: #cores=1, #unrelaxed=0, #relaxed=12, #hardened=89
22.09/22.12	c BCD2: #sat=4 #unsat=2 bias=2/6
22.09/22.12	c Solving starts ...
22.09/22.12	c ============================[ Search Statistics ]============================
22.09/22.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.09/22.12	c       |         |          |          |    Limit     GC | Var      | Constra 
22.09/22.12	c =============================================================================
22.09/22.12	c  0.0s |       0 |        0 |        0 |      583      0 |       89 |        6
22.09/22.12	c  0.0s |       1 |      174 |      100 |      583      0 |       89 |        6
22.09/22.12	c  0.0s |       2 |      449 |      250 |      583      0 |       89 |        6
22.09/22.12	c  0.1s |       3 |      747 |      475 |      583      1 |       89 |        6
22.09/22.12	c  0.1s |       4 |     1220 |      813 |      583      2 |       89 |        6
22.09/22.12	c  0.2s |       5 |     1989 |     1320 |      583      3 |       89 |        6
22.09/22.19	c  0.3s |       6 |     3113 |     2081 |      583      5 |       89 |        6
22.29/22.33	c  0.4s |       7 |     4757 |     3223 |      583      8 |       89 |        6
22.49/22.53	c  0.6s |       8 |     7378 |     4936 |      583     12 |       89 |        6
22.79/22.82	c  0.9s |       9 |    10987 |     7506 |      583     19 |       89 |        6
23.19/23.28	c  1.3s |      10 |    16687 |    11361 |      583     29 |       89 |        6
23.89/23.98	c  2.0s |      11 |    25161 |    17144 |      583     44 |       89 |        6
24.39/24.44	c  2.5s |      11 |    30695 |    20892 |      583     54 |       89 |        6
24.39/24.44	c #cpu_time = 2.498s
24.39/24.44	c #wall_clock_time = 2.498s
24.39/24.44	c #decision = 30695
24.39/24.44	c #random_decision = 60
24.39/24.44	c #conflict = 20892
24.39/24.44	c #restart = 11
24.39/24.44	o 3
24.39/24.44	c BCD2: hardening fixes 10 literals
24.39/24.44	c BCD2: updating upper bound: 14 -> 2
24.39/24.44	c BCD2: 1 <= obj <= 2
24.39/24.44	c BCD2: #cores=1, #unrelaxed=0, #relaxed=2, #hardened=99
24.39/24.44	c BCD2: #sat=5 #unsat=2 bias=2/7
24.39/24.44	c Solving starts ...
24.39/24.44	c ============================[ Search Statistics ]============================
24.39/24.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.39/24.44	c       |         |          |          |    Limit     GC | Var      | Constra 
24.39/24.44	c =============================================================================
24.39/24.44	c  0.0s |       0 |        0 |        0 |      583      0 |       99 |        8
24.39/24.45	c  0.0s |       1 |      143 |      100 |      583      0 |       99 |        8
24.39/24.47	c  0.0s |       2 |      350 |      250 |      583      1 |       99 |        8
24.49/24.50	c  0.1s |       3 |      695 |      475 |      583      1 |       99 |        8
24.49/24.54	c  0.1s |       4 |     1218 |      813 |      583      2 |       99 |        8
24.59/24.60	c  0.2s |       5 |     2004 |     1320 |      583      4 |       99 |        8
24.59/24.68	c  0.2s |       6 |     3048 |     2081 |      583      6 |       99 |        8
24.79/24.82	c  0.4s |       7 |     4745 |     3223 |      583      9 |       99 |        8
24.99/25.01	c  0.6s |       8 |     7305 |     4936 |      583     13 |       99 |        8
25.19/25.30	c  0.9s |       9 |    10948 |     7506 |      583     20 |       99 |        8
25.69/25.77	c  1.3s |      10 |    16017 |    11361 |      583     30 |       99 |        8
26.39/26.47	c  2.0s |      11 |    23961 |    17144 |      583     45 |       99 |        8
27.38/27.48	c  3.0s |      12 |    36191 |    25819 |      583     68 |       99 |        8
28.98/29.02	c  4.6s |      13 |    54210 |    38832 |      583    101 |       99 |        8
30.98/31.02	c  6.6s |      13 |    74707 |    54332 |      642    139 |       99 |        8
31.48/31.56	c  7.1s |      14 |    80249 |    58352 |      642    149 |       99 |        8
31.78/31.86	c  7.4s |      14 |    83099 |    60404 |      642    154 |      100 |       10
31.78/31.86	c #cpu_time = 7.419s
31.78/31.86	c #wall_clock_time = 7.419s
31.78/31.86	c #decision = 83099
31.78/31.86	c #random_decision = 191
31.78/31.86	c #conflict = 60404
31.78/31.86	c #restart = 14
31.78/31.86	c BCD2: updating lower bound of a core
31.78/31.86	c lower bound updated to 3
31.78/31.86	s OPTIMUM FOUND
31.78/31.86	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
31.78/31.86	v -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
31.78/31.86	v -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30
31.78/31.86	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
31.78/31.86	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50
31.78/31.86	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60
31.78/31.86	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
31.78/31.86	v -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80
31.78/31.86	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90
31.78/31.86	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
31.78/31.86	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110
31.78/31.86	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120
31.78/31.86	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
31.78/31.86	v -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
31.78/31.86	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
31.78/31.86	v x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
31.78/31.86	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169
31.78/31.86	c total CPU time = 31.863s
31.78/31.86	c total wall clock time = 31.862s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093676-1466093996/watcher-4093676-1466093996 -o /tmp/evaluation-result-4093676-1466093996/solver-4093676-1466093996 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466093942-32600 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093676-1466093996.wbo 

pid=358
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.31 2.93 3.58 3/179 365
/proc/meminfo: memFree=29545768/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=447932 CPUtime=0 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 1622 0 0 0 0 0 0 0 20 0 4 0 11448243 458682368 2493 33554432000 4194304 16246674 140736234457168 140736234456592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 112495 2503 441 2943 0 109389 0
[pid=365/tid=366] ppid=358 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 786886656 3745 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 791080960 3763 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 795275264 3779 33554432000 4194304 16246674 140736234457168 140553878498480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.31 2.93 3.58 3/179 365
/proc/meminfo: memFree=29545768/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 18437 0 0 0 6 3 0 0 20 0 4 0 11448243 1247350784 19301 33554432000 4194304 16246674 140736234457168 140736234456592 6131302 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 304529 19304 615 2943 0 301423 0
[pid=365/tid=366] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 19307 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 19309 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 19311 33554432000 4194304 16246674 140736234457168 140553878498480 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: 2.31 2.93 3.58 3/179 365
/proc/meminfo: memFree=29545768/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 26255 0 0 0 16 3 0 0 20 0 4 0 11448243 1247350784 27119 33554432000 4194304 16246674 140736234457168 140736234456592 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 304529 27122 615 2943 0 301423 0
[pid=365/tid=366] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 27128 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 27135 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 27135 33554432000 4194304 16246674 140736234457168 140553878498480 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.300488 s]
/proc/loadavg: 2.31 2.93 3.58 3/179 365
/proc/meminfo: memFree=29545768/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 37179 0 0 0 25 4 0 0 20 0 4 0 11448243 1247350784 38036 33554432000 4194304 16246674 140736234457168 140736234439040 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 304529 38042 808 2943 0 301423 0
[pid=365/tid=366] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 38049 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 38056 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 38061 33554432000 4194304 16246674 140736234457168 140553878498480 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.700404 s]
/proc/loadavg: 2.31 2.93 3.58 3/179 365
/proc/meminfo: memFree=29545768/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 115124 0 0 0 54 15 0 0 20 0 4 0 11448243 1247350784 115981 33554432000 4194304 16246674 140736234457168 140736234439040 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 304529 115985 814 2943 0 301423 0
[pid=365/tid=366] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 115993 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 116003 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1247350784 116009 33554432000 4194304 16246674 140736234457168 140553878498480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.29 2.91 3.57 3/183 369
/proc/meminfo: memFree=28743528/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 245768 0 0 0 117 32 0 0 20 0 4 0 11448243 1248399360 246603 33554432000 4194304 16246674 140736234457168 140736234456480 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 304785 246603 873 2943 0 301679 0
[pid=365/tid=366] ppid=358 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1248399360 246603 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1248399360 246603 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1248399360 246603 33554432000 4194304 16246674 140736234457168 140553878498480 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) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.29 2.91 3.57 3/183 369
/proc/meminfo: memFree=28473704/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 267539 0 0 0 274 35 0 0 20 0 4 0 11448243 1337528320 268374 33554432000 4194304 16246674 140736234457168 140736234439040 5723882 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 326545 268374 873 2943 0 323439 0
[pid=365/tid=366] ppid=358 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1337528320 268374 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1337528320 268374 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1337528320 268374 33554432000 4194304 16246674 140736234457168 140553878498480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.27 2.90 3.56 3/184 372
/proc/meminfo: memFree=28471260/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 267584 0 0 0 594 35 0 0 20 0 4 0 11448243 1337528320 268419 33554432000 4194304 16246674 140736234457168 140736234440168 5822492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 326545 268419 873 2943 0 323439 0
[pid=365/tid=366] ppid=358 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1337528320 268419 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1337528320 268419 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1337528320 268419 33554432000 4194304 16246674 140736234457168 140553878498480 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) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.32 2.90 3.56 4/184 372
/proc/meminfo: memFree=28471800/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 267587 0 0 0 1234 35 0 0 20 0 4 0 11448243 1337528320 268422 33554432000 4194304 16246674 140736234457168 140736234439040 6836125 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 326545 268422 875 2943 0 323439 0
[pid=365/tid=366] ppid=358 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1337528320 268422 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1337528320 268422 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1337528320 268422 33554432000 4194304 16246674 140736234457168 140553878498480 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) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.27 2.87 3.54 3/184 421
/proc/meminfo: memFree=28467512/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 267689 0 0 0 2514 35 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140736234440168 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 326801 268524 884 2943 0 323695 0
[pid=365/tid=366] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553878498480 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) 1307204

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

[startup+25.6005 s]
/proc/loadavg: 2.27 2.87 3.54 3/184 421
/proc/meminfo: memFree=28467512/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1307204 CPUtime=25.59 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 267689 0 0 0 2524 35 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140736234440168 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 326801 268524 884 2943 0 323695 0
[pid=365/tid=366] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553878498480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1307204

[startup+28.8004 s]
/proc/loadavg: 2.25 2.85 3.53 3/184 421
/proc/meminfo: memFree=28467048/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1307204 CPUtime=28.78 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 267689 0 0 0 2843 35 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140736234440168 5827552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 326801 268524 884 2943 0 323695 0
[pid=365/tid=366] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553878498480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 28.78
Current children cumulated vsize (KiB) 1307204

[startup+30.4004 s]
/proc/loadavg: 2.25 2.85 3.53 3/184 421
/proc/meminfo: memFree=28467420/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1307204 CPUtime=30.38 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 267689 0 0 0 3003 35 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140736234440168 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 326801 268524 884 2943 0 323695 0
[pid=365/tid=366] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553878498480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 30.38
Current children cumulated vsize (KiB) 1307204

[startup+31.2004 s]
/proc/loadavg: 2.23 2.84 3.53 3/184 421
/proc/meminfo: memFree=28467556/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1307204 CPUtime=31.18 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 267689 0 0 0 3083 35 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140736234440168 5829228 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 326801 268524 884 2943 0 323695 0
[pid=365/tid=366] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553878498480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 31.18
Current children cumulated vsize (KiB) 1307204

[startup+31.6004 s]
/proc/loadavg: 2.23 2.84 3.53 3/184 421
/proc/meminfo: memFree=28467556/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1307204 CPUtime=31.58 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 267689 0 0 0 3123 35 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140736234440168 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 326801 268524 884 2943 0 323695 0
[pid=365/tid=366] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553878498480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 31.58
Current children cumulated vsize (KiB) 1307204

[startup+31.8004 s]
/proc/loadavg: 2.23 2.84 3.53 3/184 421
/proc/meminfo: memFree=28467556/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=1307204 CPUtime=31.78 cores=1,3,5,7
/proc/365/stat : 365 (toysat) R 358 365 13151 0 -1 4202496 267689 0 0 0 3143 35 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140736234440168 5721801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 326801 268524 884 2943 0 323695 0
[pid=365/tid=366] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) S 358 365 13151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553970756848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=365/tid=367] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/367/stat : 367 (toysat) S 358 365 13151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553960266992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=365/tid=368] ppid=358 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/365/task/368/stat : 368 (toysat) S 358 365 13151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11448243 1338576896 268524 33554432000 4194304 16246674 140736234457168 140553878498480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 31.78
Current children cumulated vsize (KiB) 1307204

[startup+31.9005 s]
/proc/loadavg: 2.23 2.84 3.53 3/182 421
/proc/meminfo: memFree=29112108/32872528 swapFree=1243920/1391088
[pid=365] ppid=358 vsize=0 CPUtime=31.89 cores=1,3,5,7
/proc/365/stat : 365 (toysat) Z 358 365 13151 0 -1 4202508 267693 0 0 0 3150 39 0 0 20 0 2 0 11448243 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/365/statm: 0 0 0 0 0 0 0
[pid=365/tid=366] ppid=358 vsize=0 CPUtime=0.03 cores=1,3,5,7
/proc/365/task/366/stat : 366 (toysat) R 358 365 13151 0 -1 4202564 10 0 0 0 0 3 0 0 20 0 2 0 11448243 0 0 33554432000 0 0 0 0 0 256 0 33554432 0 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 31.9256
CPU time (s): 31.9191
CPU user time (s): 31.5012
CPU system time (s): 0.417936
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.5012
system time used= 0.417936
maximum resident set size= 1074104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267693
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= 22
involuntary context switches= 36

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.093985 second user time and 0.139978 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-16 18:19:56
IDJOB=4093676
IDBENCH=79215
IDSOLVER=2553
FILE ID=node119/4093676-1466093996
RUNJOBID= node119-1466093942-32600
PBS_JOBID= 19904019
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967523--soft-0-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-4093676-1466093996/watcher-4093676-1466093996 -o /tmp/evaluation-result-4093676-1466093996/solver-4093676-1466093996 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466093942-32600 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093676-1466093996.wbo

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

MD5SUM BENCH= 36573e20f94a233c9b9c8f8613b15785
RANDOM SEED=671335628

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:        29545768 kB
Buffers:           40300 kB
Cached:           121980 kB
SwapCached:         1048 kB
Active:          1153536 kB
Inactive:          79360 kB
Active(anon):    1071680 kB
Inactive(anon):     1560 kB
Active(file):      81856 kB
Inactive(file):    77800 kB
Unevictable:     1391088 kB
Mlocked:         1243920 kB
SwapTotal:      67108856 kB
SwapFree:       67100204 kB
Dirty:             33032 kB
Writeback:             0 kB
AnonPages:       2460784 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             568940 kB
SReclaimable:      13024 kB
SUnreclaim:       555916 kB
KernelStack:        1520 kB
PageTables:         8872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2607792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node119 at 2016-06-16 18:20:28