Trace number 4109346

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 33.137 33.1443

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo
MD5SUM847d0323fa8c356cb3aab8830daa9fc0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark5.2332
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 constraints69
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 3204
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3203
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1228
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-19T15:41:11+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-4109346-1466343671.wbo"]
0.00/0.01	c use --random-gen="4160830675 817776799 81363616 3433266678 1520789435 3050023999 2821340425 2255095391 4290166630 2501996331 4000971477 4178421567 2996278332 521378290 650109539 722154597 3432731564 2367708002 3288369472 2032927040 2602358585 3897274845 3578375198 1173429760 1100904585 259513604 1829786246 874374709 3356144420 3608419191 2063373731 700987256 1157295122 3580686101 1239626759 343551173 2102131074 4216856827 2974047877 1406049338 50637080 3990468795 1544087766 1275508404 3962958060 981611310 1589620980 4266288565 2503860548 3677189977 3787778338 2396754356 2339968663 2945908585 954795864 2687915565 3194497308 344768175 2370439162 1518241993 4080239316 3027254860 3012196159 1082876236 2788477131 1864846592 1020506643 650514015 1319089474 1616295846 2915903455 3403299891 501883018 3221151979 4236698212 2754119900 3562038478 3280681959 4138816155 2102504392 1184297168 2558092657 3250330405 789257460 1970386228 3156500483 3857641525 2907893635 2043609634 792724624 2024475893 3884257276 1087912987 3290762915 2220018155 2116431026 3767482863 3946823517 2077786314 3500671134 3803137774 2915950072 3237832617 2986683591 561344624 3299650640 3634266748 158540461 531227606 1371180659 4190983080 3625712853 2231392866 2704489011 86092316 1357841459 96891405 1890638622 3392158104 1891784713 2368898400 889644487 3038847328 3352374238 1215934063 928803632 3328886468 183474416 3167129354 2692368652 4183012304 2195877332 3637741572 3823260997 3690836400 7104943 2997655044 4118430551 4292668440 3754162835 232653585 273574901 3616958637 2393810712 3844947154 2242327317 3326106875 3255485941 1086877771 1606322055 2244317240 3608606116 3738530332 595013967 2125213831 910747132 776223900 1992363887 1724580769 3256444496 2404168694 1919683447 2562542108 3353762059 4146833180 437885040 2754294976 1038645309 1665598241 1709286077 2062189129 3124875693 3242859289 2412106630 134482264 3979526257 1126981434 3084649219 896495101 2330081536 2643180027 4291239603 3739910497 168263751 3750047587 533185744 4108556278 1163910142 4161267354 963640766 3696895849 3237376182 3297589307 4145676774 2134316079 1160206451 142482600 1115198781 2729876573 619460268 2849191887 3248883264 786617007 431638924 1902304349 3877678503 916065789 4158798396 345038887 836923078 1806897169 2487366497 1668370127 864546579 2718522503 3390247478 440257180 1937766188 3680758849 3978354003 1788015544 1926214691 593362096 2094221159 319783534 3092806307 3325422804 653627015 137738784 194607488 2511179749 2630350912 146022145 121787672 1578770005 353844883 3366371770 3407990679 944302627 2404335083 2369962443 2169952550 4241743460 1163466576 1390216389 2234679490 1242370928 3493175981 1106641989 800490502 532770395 3436334288 516239435 1523608686 1306633599 760339395 255 362436" option to reproduce the execution
0.19/0.25	c #vars 169
0.19/0.25	c #constraints 101
0.19/0.25	c BCD2: Hardening is enabled.
0.19/0.25	c BCD2: BiasedSearch is enabled.
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |      113      0 |        0 |        0
0.19/0.25	c  0.0s |       0 |       79 |        2 |      113      0 |        0 |        0
0.19/0.25	c #cpu_time = 0.001s
0.19/0.25	c #wall_clock_time = 0.001s
0.19/0.25	c #decision = 79
0.19/0.25	c #random_decision = 0
0.19/0.25	c #conflict = 2
0.19/0.25	c #restart = 0
0.19/0.25	o 459
0.19/0.25	c BCD2: updating upper bound: 3203 -> 458
0.19/0.25	c BCD2: 0 <= obj <= 458
0.19/0.25	c BCD2: #cores=0, #unrelaxed=69, #relaxed=0, #hardened=0
0.19/0.25	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |      113      0 |        0 |        0
0.19/0.27	c  0.0s |       1 |      232 |      100 |      125      0 |        0 |        0
0.19/0.29	c  0.0s |       2 |      566 |      250 |      138      0 |        0 |        0
0.28/0.33	c  0.1s |       3 |     1019 |      475 |      138      2 |        0 |        0
0.28/0.39	c  0.1s |       4 |     1597 |      813 |      152      5 |        0 |        0
0.39/0.49	c  0.2s |       5 |     2451 |     1320 |      185      8 |        0 |        0
0.59/0.64	c  0.4s |       6 |     3741 |     2081 |      204     12 |        0 |        0
0.79/0.85	c  0.6s |       7 |     5643 |     3223 |      225     19 |        0 |        0
1.09/1.17	c  0.9s |       8 |     8304 |     4936 |      248     27 |        0 |        0
1.49/1.59	c  1.3s |       9 |    11935 |     7506 |      273     40 |        0 |        0
2.09/2.10	c  1.9s |      10 |    17507 |    11361 |      301     58 |        0 |        0
2.79/2.88	c  2.6s |      11 |    25894 |    17144 |      332     84 |        0 |        0
4.09/4.14	c  3.9s |      12 |    38242 |    25819 |      366    120 |        0 |        0
5.99/6.06	c  5.8s |      13 |    56498 |    38832 |      403    171 |        0 |        0
7.99/8.07	c  7.8s |      13 |    74141 |    51632 |      403    218 |        0 |        0
9.19/9.23	c  9.0s |      14 |    83413 |    58352 |      444    243 |        0 |        0
11.19/11.23	c 11.0s |      14 |   101781 |    71452 |      444    288 |        0 |        0
13.19/13.23	c 13.0s |      14 |   118543 |    83452 |      444    330 |        0 |        0
13.89/13.98	c 13.7s |      15 |   124391 |    87632 |      489    344 |        0 |        0
15.89/16.00	c 15.7s |      15 |   142502 |   100532 |      489    385 |        0 |        0
17.99/18.00	c 17.8s |      15 |   159784 |   113032 |      489    425 |        0 |        0
19.99/20.01	c 19.8s |      15 |   174378 |   123732 |      489    460 |        0 |        0
19.99/20.05	c 19.8s |      15 |   174568 |   123885 |      489    461 |        0 |        0
19.99/20.05	c #cpu_time = 19.746s
19.99/20.05	c #wall_clock_time = 19.797s
19.99/20.05	c #decision = 174568
19.99/20.05	c #random_decision = 424
19.99/20.05	c #conflict = 123885
19.99/20.05	c #restart = 15
19.99/20.05	c BCD2: found a new core of size 69: cost of the new core is >=1
19.99/20.05	c lower bound updated to 1
19.99/20.05	c BCD2: 1 <= obj <= 458
19.99/20.05	c BCD2: #cores=1, #unrelaxed=0, #relaxed=69, #hardened=0
19.99/20.05	c BCD2: #sat=1 #unsat=2 bias=2/3
19.99/20.05	c Solving starts ...
19.99/20.05	c ============================[ Search Statistics ]============================
19.99/20.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.99/20.05	c       |         |          |          |    Limit     GC | Var      | Constra 
19.99/20.05	c =============================================================================
19.99/20.05	c  0.0s |       0 |        0 |        0 |      489      0 |        0 |        0
19.99/20.05	c  0.0s |       0 |      100 |        4 |      489      0 |        0 |        0
19.99/20.05	c #cpu_time = 0.002s
19.99/20.05	c #wall_clock_time = 0.002s
19.99/20.05	c #decision = 100
19.99/20.05	c #random_decision = 0
19.99/20.05	c #conflict = 4
19.99/20.05	c #restart = 0
19.99/20.05	o 126
19.99/20.05	c BCD2: updating upper bound: 458 -> 125
19.99/20.05	c BCD2: 1 <= obj <= 125
19.99/20.05	c BCD2: #cores=1, #unrelaxed=0, #relaxed=69, #hardened=0
19.99/20.05	c BCD2: #sat=2 #unsat=2 bias=2/4
19.99/20.05	c Solving starts ...
19.99/20.05	c ============================[ Search Statistics ]============================
19.99/20.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
19.99/20.05	c       |         |          |          |    Limit     GC | Var      | Constra 
19.99/20.05	c =============================================================================
19.99/20.05	c  0.0s |       0 |        0 |        0 |      489      0 |        0 |        2
19.99/20.07	c  0.0s |       1 |      207 |      100 |      489      0 |        0 |        2
19.99/20.09	c  0.0s |       2 |      458 |      250 |      489      1 |        0 |        2
20.08/20.12	c  0.1s |       3 |      880 |      475 |      489      1 |        0 |        2
20.08/20.17	c  0.1s |       4 |     1475 |      813 |      489      3 |        0 |        2
20.18/20.24	c  0.2s |       5 |     2419 |     1320 |      489      4 |        0 |        2
20.28/20.34	c  0.3s |       6 |     3755 |     2081 |      489      7 |        0 |        2
20.38/20.47	c  0.4s |       6 |     5437 |     3009 |      489     10 |        0 |        2
20.38/20.47	c #cpu_time = 0.417s
20.38/20.47	c #wall_clock_time = 0.418s
20.38/20.47	c #decision = 5437
20.38/20.47	c #random_decision = 17
20.38/20.47	c #conflict = 3009
20.38/20.47	c #restart = 6
20.38/20.47	o 37
20.38/20.47	c BCD2: hardening fixes 45 literals
20.38/20.47	c BCD2: updating upper bound: 125 -> 36
20.38/20.47	c BCD2: 1 <= obj <= 36
20.38/20.47	c BCD2: #cores=1, #unrelaxed=0, #relaxed=24, #hardened=45
20.38/20.47	c BCD2: #sat=3 #unsat=2 bias=2/5
20.38/20.47	c Solving starts ...
20.38/20.47	c ============================[ Search Statistics ]============================
20.38/20.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.38/20.47	c       |         |          |          |    Limit     GC | Var      | Constra 
20.38/20.47	c =============================================================================
20.38/20.47	c  0.0s |       0 |        0 |        0 |      489      0 |       45 |        4
20.38/20.49	c  0.0s |       1 |      135 |      100 |      489      1 |       45 |        4
20.48/20.50	c  0.0s |       2 |      378 |      250 |      489      1 |       45 |        4
20.48/20.53	c  0.1s |       3 |      732 |      475 |      489      2 |       45 |        4
20.48/20.57	c  0.1s |       4 |     1250 |      813 |      489      3 |       45 |        4
20.58/20.63	c  0.2s |       5 |     1984 |     1320 |      489      5 |       45 |        4
20.68/20.71	c  0.2s |       6 |     3234 |     2081 |      489      7 |       45 |        4
20.78/20.84	c  0.4s |       7 |     4967 |     3223 |      489     11 |       45 |        4
20.78/20.86	c  0.4s |       7 |     5206 |     3359 |      489     11 |       45 |        4
20.78/20.86	c #cpu_time = 0.383s
20.78/20.86	c #wall_clock_time = 0.384s
20.78/20.86	c #decision = 5206
20.78/20.86	c #random_decision = 10
20.78/20.86	c #conflict = 3359
20.78/20.86	c #restart = 7
20.78/20.86	o 8
20.78/20.86	c BCD2: hardening fixes 18 literals
20.78/20.86	c BCD2: updating upper bound: 36 -> 7
20.78/20.86	c BCD2: 1 <= obj <= 7
20.78/20.86	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=63
20.78/20.86	c BCD2: #sat=4 #unsat=2 bias=2/6
20.78/20.86	c Solving starts ...
20.78/20.86	c ============================[ Search Statistics ]============================
20.78/20.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.78/20.86	c       |         |          |          |    Limit     GC | Var      | Constra 
20.78/20.86	c =============================================================================
20.78/20.86	c  0.0s |       0 |        0 |        0 |      489      0 |       63 |        6
20.78/20.87	c  0.0s |       1 |      134 |      100 |      489      0 |       63 |        6
20.78/20.88	c  0.0s |       2 |      348 |      250 |      489      1 |       63 |        6
20.89/20.91	c  0.1s |       3 |      647 |      475 |      538      2 |       63 |        6
20.89/20.95	c  0.1s |       4 |     1139 |      813 |      538      3 |       63 |        6
20.89/21.00	c  0.1s |       5 |     1910 |     1320 |      538      4 |       63 |        6
20.99/21.08	c  0.2s |       6 |     3038 |     2081 |      538      6 |       63 |        6
21.18/21.20	c  0.3s |       7 |     4667 |     3223 |      538     10 |       63 |        6
21.28/21.39	c  0.5s |       8 |     7134 |     4936 |      538     15 |       63 |        6
21.58/21.67	c  0.8s |       9 |    10882 |     7506 |      538     22 |       63 |        6
21.99/22.10	c  1.2s |      10 |    16389 |    11361 |      538     33 |       63 |        6
22.68/22.73	c  1.9s |      11 |    24754 |    17144 |      538     51 |       63 |        6
23.68/23.72	c  2.9s |      12 |    37023 |    25819 |      538     76 |       63 |        6
25.18/25.20	c  4.3s |      13 |    55272 |    38832 |      538    114 |       63 |        6
25.18/25.25	c  4.4s |      13 |    55773 |    39196 |      538    115 |       63 |        6
25.18/25.25	c #cpu_time = 4.378s
25.18/25.25	c #wall_clock_time = 4.390s
25.18/25.25	c #decision = 55773
25.18/25.25	c #random_decision = 134
25.18/25.25	c #conflict = 39196
25.18/25.25	c #restart = 13
25.18/25.25	o 2
25.18/25.25	c BCD2: hardening fixes 5 literals
25.18/25.25	c BCD2: updating upper bound: 7 -> 1
25.18/25.25	c BCD2: 1 <= obj <= 1
25.18/25.25	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1, #hardened=68
25.18/25.25	c BCD2: #sat=5 #unsat=2 bias=2/7
25.18/25.25	c Solving starts ...
25.18/25.25	c ============================[ Search Statistics ]============================
25.18/25.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.18/25.25	c       |         |          |          |    Limit     GC | Var      | Constra 
25.18/25.25	c =============================================================================
25.18/25.25	c  0.0s |       0 |        0 |        0 |      538      0 |       69 |        6
25.18/25.26	c  0.0s |       1 |      131 |      100 |      538      1 |       69 |       10
25.18/25.28	c  0.0s |       2 |      329 |      250 |      538      1 |       69 |       10
25.18/25.30	c  0.1s |       3 |      636 |      475 |      538      2 |       69 |       10
25.29/25.34	c  0.1s |       4 |     1122 |      813 |      538      3 |       69 |       10
25.29/25.40	c  0.1s |       5 |     1866 |     1320 |      538      4 |       69 |       10
25.39/25.49	c  0.2s |       6 |     2891 |     2081 |      538      6 |       69 |       10
25.58/25.61	c  0.4s |       7 |     4461 |     3223 |      538     10 |       69 |       10
25.78/25.81	c  0.6s |       8 |     6789 |     4936 |      538     15 |       69 |       10
25.98/26.09	c  0.8s |       9 |    10532 |     7506 |      538     22 |       69 |       10
26.49/26.52	c  1.3s |      10 |    15572 |    11361 |      538     33 |       69 |       10
27.08/27.17	c  1.9s |      11 |    23533 |    17144 |      538     50 |       69 |       10
28.08/28.16	c  2.9s |      12 |    35400 |    25819 |      538     76 |       69 |       10
29.69/29.74	c  4.5s |      13 |    53115 |    38832 |      592    111 |       69 |       10
31.68/31.75	c  6.5s |      13 |    76222 |    55832 |      592    157 |       69 |       10
31.99/32.06	c  6.8s |      14 |    79680 |    58352 |      592    164 |       69 |       10
32.99/33.08	c  7.8s |      14 |    90290 |    66405 |      592    187 |       71 |       12
32.99/33.08	c #cpu_time = 7.813s
32.99/33.08	c #wall_clock_time = 7.833s
32.99/33.08	c #decision = 90290
32.99/33.08	c #random_decision = 206
32.99/33.08	c #conflict = 66405
32.99/33.08	c #restart = 14
32.99/33.08	c BCD2: updating lower bound of a core
32.99/33.08	c lower bound updated to 2
32.99/33.08	s OPTIMUM FOUND
32.99/33.08	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
32.99/33.08	v -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 -x19 -x20
32.99/33.08	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
32.99/33.08	v -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 x40
32.99/33.08	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
32.99/33.08	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60
32.99/33.08	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70
32.99/33.08	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
32.99/33.08	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90
32.99/33.08	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100
32.99/33.08	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110
32.99/33.08	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
32.99/33.08	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130
32.99/33.08	v -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140
32.99/33.08	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
32.99/33.08	v x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
32.99/33.08	v -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169
32.99/33.08	c total CPU time = 32.998s
32.99/33.08	c total wall clock time = 33.082s

Verifier Data 

OK	2

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

pid=1580
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.23 2.28 1.98 4/177 1583
/proc/meminfo: memFree=29620020/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=607676 CPUtime=0 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 2250 0 0 0 0 0 0 0 20 0 4 0 36414061 622260224 2100 33554432000 4194304 16246674 140733312422512 140733312421936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 152687 2108 441 2943 0 149581 0
[pid=1583/tid=1584] ppid=1580 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 752283648 2596 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 757526528 2616 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36414061 762769408 2633 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100154 s]
/proc/loadavg: 2.23 2.28 1.98 4/177 1583
/proc/meminfo: memFree=29620020/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 18488 0 0 0 7 2 0 0 20 0 4 0 36414061 1247350784 18330 33554432000 4194304 16246674 140733312422512 140733312404416 12481124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 304529 18331 613 2943 0 301423 0
[pid=1583/tid=1584] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 18334 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 18338 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 18342 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200571 s]
/proc/loadavg: 2.23 2.28 1.98 4/177 1583
/proc/meminfo: memFree=29620020/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 26439 0 0 0 16 3 0 0 20 0 4 0 36414061 1247350784 26282 33554432000 4194304 16246674 140733312422512 140733312404416 12459048 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 304529 26282 613 2943 0 301423 0
[pid=1583/tid=1584] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 26287 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 26288 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 26292 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300439 s]
/proc/loadavg: 2.23 2.28 1.98 4/177 1583
/proc/meminfo: memFree=29620020/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 38661 0 0 0 24 4 0 0 20 0 4 0 36414061 1247350784 38496 33554432000 4194304 16246674 140733312422512 140733312404416 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 304529 38503 815 2943 0 301423 0
[pid=1583/tid=1584] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 38507 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 38513 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 38516 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.23 2.28 1.98 4/177 1583
/proc/meminfo: memFree=29620020/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 115616 0 0 0 54 15 0 0 20 0 4 0 36414061 1247350784 115451 33554432000 4194304 16246674 140733312422512 140733312404416 12479207 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 304529 115464 815 2943 0 301423 0
[pid=1583/tid=1584] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 115472 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 115478 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36414061 1247350784 115481 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.23 2.28 1.98 4/181 1587
/proc/meminfo: memFree=28210812/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 245797 0 0 0 117 32 0 0 20 0 4 0 36414061 1248399360 245610 33554432000 4194304 16246674 140733312422512 140733312421824 6073667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 304785 245610 874 2943 0 301679 0
[pid=1583/tid=1584] ppid=1580 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1248399360 245610 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1248399360 245610 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1248399360 245610 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.23 2.28 1.98 3/181 1587
/proc/meminfo: memFree=27860264/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 267559 0 0 0 274 35 0 0 20 0 4 0 36414061 1337528320 267372 33554432000 4194304 16246674 140733312422512 140733312405512 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 326545 267372 874 2943 0 323439 0
[pid=1583/tid=1584] ppid=1580 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1337528320 267372 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1337528320 267372 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1337528320 267372 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.21 2.27 1.98 3/181 1587
/proc/meminfo: memFree=27816264/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 267560 0 0 0 594 35 0 0 20 0 4 0 36414061 1337528320 267373 33554432000 4194304 16246674 140733312422512 140733312404416 5724479 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 326545 267373 874 2943 0 323439 0
[pid=1583/tid=1584] ppid=1580 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1337528320 267373 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1337528320 267373 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1337528320 267373 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.20 2.27 1.98 3/181 1587
/proc/meminfo: memFree=27816328/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 267619 0 0 0 1234 35 0 0 20 0 4 0 36414061 1337528320 267432 33554432000 4194304 16246674 140733312422512 140733312404416 5600380 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 326545 267432 876 2943 0 323439 0
[pid=1583/tid=1584] ppid=1580 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1337528320 267432 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1337528320 267432 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1337528320 267432 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.23 2.27 1.98 3/181 1587
/proc/meminfo: memFree=27816284/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 267870 0 0 0 2513 35 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 140733312405512 5661363 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 326801 267683 885 2943 0 323695 0
[pid=1583/tid=1584] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

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

[startup+25.6005 s]
/proc/loadavg: 2.23 2.27 1.98 3/181 1587
/proc/meminfo: memFree=27816284/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1307204 CPUtime=25.58 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 267870 0 0 0 2523 35 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 140733312405512 6020540 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 326801 267683 885 2943 0 323695 0
[pid=1583/tid=1584] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 1307204

[startup+28.8004 s]
/proc/loadavg: 2.21 2.27 1.98 3/181 1587
/proc/meminfo: memFree=27815540/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1307204 CPUtime=28.78 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 267870 0 0 0 2843 35 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 140733312405512 6021728 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 326801 267683 885 2943 0 323695 0
[pid=1583/tid=1584] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.21 2.27 1.98 3/181 1587
/proc/meminfo: memFree=27815540/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1307204 CPUtime=30.38 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 267870 0 0 0 3003 35 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 140733312405512 8224713 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 326801 267683 885 2943 0 323695 0
[pid=1583/tid=1584] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 30.38
Current children cumulated vsize (KiB) 1307204

[startup+32.0069 s]
/proc/loadavg: 2.21 2.27 1.98 3/181 1587
/proc/meminfo: memFree=27815836/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1307204 CPUtime=31.99 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 267870 0 0 0 3164 35 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 140733312405512 5711636 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 326801 267683 885 2943 0 323695 0
[pid=1583/tid=1584] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 1307204

[startup+32.8004 s]
/proc/loadavg: 2.21 2.27 1.98 3/181 1587
/proc/meminfo: memFree=27815836/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1307204 CPUtime=32.78 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 267870 0 0 0 3243 35 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 140733312405512 5599948 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 326801 267683 885 2943 0 323695 0
[pid=1583/tid=1584] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 32.78
Current children cumulated vsize (KiB) 1307204

[startup+33.0004 s]
/proc/loadavg: 2.19 2.26 1.98 3/181 1587
/proc/meminfo: memFree=27815836/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=1307204 CPUtime=32.99 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202496 267870 0 0 0 3264 35 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 140733312405512 13923769 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 326801 267683 885 2943 0 323695 0
[pid=1583/tid=1584] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1584/stat : 1584 (toysat) S 1580 1583 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755818822896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1583/tid=1585] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1585/stat : 1585 (toysat) S 1580 1583 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755808333040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1583/tid=1586] ppid=1580 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1583/task/1586/stat : 1586 (toysat) S 1580 1583 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36414061 1338576896 267683 33554432000 4194304 16246674 140733312422512 139755797859504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 32.99
Current children cumulated vsize (KiB) 1307204

[startup+33.1069 s]
/proc/loadavg: 2.19 2.26 1.98 3/181 1587
/proc/meminfo: memFree=27815836/32872528 swapFree=1316768/1463936
[pid=1583] ppid=1580 vsize=0 CPUtime=33.09 cores=0,2,4,6
/proc/1583/stat : 1583 (toysat) R 1580 1583 1219 0 -1 4202500 267874 0 0 0 3271 38 0 0 20 0 1 0 36414061 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1583/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 33.09
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 33.1443
CPU time (s): 33.137
CPU user time (s): 32.718
CPU system time (s): 0.418936
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.718
system time used= 0.418936
maximum resident set size= 1070744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 35

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.216967 second user time and 0.271958 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-19 15:41:11
IDJOB=4109346
IDBENCH=78784
IDSOLVER=2553
FILE ID=node121/4109346-1466343671
RUNJOBID= node121-1466341819-1235
PBS_JOBID= 19922032
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221203--soft-33-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-4109346-1466343671/watcher-4109346-1466343671 -o /tmp/evaluation-result-4109346-1466343671/solver-4109346-1466343671 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1235 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109346-1466343671.wbo

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

MD5SUM BENCH= 847d0323fa8c356cb3aab8830daa9fc0
RANDOM SEED=149698436

node121.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.691
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.38
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.691
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.691
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.691
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.691
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.691
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.691
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.691
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:        29633660 kB
Buffers:          201924 kB
Cached:           482672 kB
SwapCached:         1944 kB
Active:           526176 kB
Inactive:         484088 kB
Active(anon):     325108 kB
Inactive(anon):     2900 kB
Active(file):     201068 kB
Inactive(file):   481188 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101196 kB
Dirty:             32448 kB
Writeback:             0 kB
AnonPages:       1806536 kB
Mapped:            11984 kB
Shmem:                 0 kB
Slab:             628708 kB
SReclaimable:      72884 kB
SUnreclaim:       555824 kB
KernelStack:        1504 kB
PageTables:         8980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2580584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    167936 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= 71688 MiB
End job on node121 at 2016-06-19 15:41:45