Trace number 3282250

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
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.14 1201.81

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand064.cnf
MD5SUM49dbd2fb16b3d5ce554d30c48729a56d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables92464
Number of clauses276623
Sum of the clauses size645451
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2184414
Number of clauses of size 392207
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3282250-1304028699.cnf'
0.00/0.00	c -- header says num vars:          92464
0.00/0.00	c -- header says num clauses:      276623
0.31/0.20	c -- clauses added:            0 learnts,       276623 normals,            0 xors
0.31/0.20	c -- vars added      92464
0.31/0.20	c Parsing time:  0.11 s
0.31/0.20	c  N st     0         0     92464     92207    184414         0    645449         0   no data   no data
0.31/0.80	c asymm  cl-useful: 0/15665/92198 lits-rem:0 time: 0.60
48.17/12.17	c Flit:    71 Blit:    123 bXBeca:    0 bXProp:  501 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 11.37
48.17/12.17	c Cleaning up after failed var search:     0.00 s 
48.57/12.20	c Replacing      501 vars Replaced     7176 lits Time:     0.03 s 
48.57/12.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.57/12.25	c bin-w-bin subsume rem            2 bins  time:  0.02 s
48.57/12.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
52.96/13.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  90196 time:  1.04 s
53.36/13.43	c Removed useless bin:     189  fixed:     0  props:  20.01M  time:  0.10 s
55.74/14.04	c lits-rem:         0  cl-subs:      433  v-elim:  30586  v-fix:    0  time:  0.56 s
55.74/14.06	c Finding binary XORs  T:     0.02 s  found:       0
55.74/14.10	c Finding non-binary XORs:     0.02 s (found:    2227, avg size: 3.0)
55.74/14.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.13/14.10	c calculated reachability. Time: 0.00
56.13/14.11	c Calc default polars -  time:   0.01 s pos:    1053 undec:   34820 neg:   56591
56.13/14.11	c =========================================================================================
56.13/14.11	c types(t): F = full restart, N = normal restart
56.13/14.11	c types(t): S = simplification begin/end, E = solution found
56.13/14.11	c restart types(rt): st = static, dy = dynamic
56.13/14.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
56.13/14.11	c  B st     0         0     61173     74214    128869         0    526715         0   no data   no data
66.08/16.63	c  N dy    16      4019     61173     74214    129033      3827    526714    360460      8.31      9.38
75.67/19.02	c  N dy    38      8092     61173     74214    130746      7647    526714    467616      8.96     11.90
83.26/20.91	c  N dy    59     12131     61173     74214    131012     11351    526714    569170      8.99     10.78
90.45/22.79	c Finding binary XORs  T:     0.02 s  found:     320
92.04/23.18	c  N dy    90     16215     61173     74214    131662     15247    526714    693822     10.40     11.40
100.43/25.20	c  N dy   111     20265     61173     74214    132479      9716    526714     59923     10.80     12.25
109.22/27.43	c  N dy   132     24347     61173     74214    132578     13632    526714    151413     10.79     11.66
110.82/27.86	c  F st   137     25000     61173     74214    132984     14262    526714    174047     10.96      5.95
110.82/27.89	c Replacing      320 vars Replaced     8104 lits Time:     0.02 s 
121.21/30.48	c  N dy   143     30000     60853     73470    132442     18876    524482    430537     10.96   no data
121.21/30.48	c  S st   143     30000     60853     73470    132442     18876    524482    430537     10.96   no data
122.81/30.82	c  S st   143     30504     60853     73470    133081     19323    524482    440857     10.96   no data
122.81/30.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
170.74/42.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  351 Bins:  41076 BRemL:     98 BRemN:      0 P: 200.0M T: 11.96
170.74/42.84	c Replacing      351 vars Replaced    11174 lits Time:     0.03 s 
170.74/42.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
170.74/42.88	c bin-w-bin subsume rem          416 bins  time:  0.02 s
171.14/42.92	c subs with bin:     1430  lits-rem:       250  v-fix:    0  time:  0.04 s
173.54/43.55	c Subs w/ non-existent bins:    343 l-rem:   3346 v-fix:     0 done:  60502 time:  0.63 s
174.36/43.76	c Removed useless bin:     942  fixed:     0  props:  20.00M  time:  0.21 s
176.72/44.35	c lits-rem:      2095  cl-subs:     8800  v-elim:  35438  v-fix:    0  time:  0.56 s
176.72/44.38	c subs with bin:      769  lits-rem:       171  v-fix:    0  time:  0.02 s
177.12/44.43	c lits-rem:       249  cl-subs:      314  v-elim:      0  v-fix:    0  time:  0.04 s
178.74/44.89	c asymm  cl-useful: 2638/11635/75093 lits-rem:2643 time: 0.46
178.74/44.90	c calculated reachability. Time: 0.00
179.15/44.90	c  N dy   143     30504     25064     75092     50228      9254    443161     87013     10.96   no data
179.15/44.92	c Finding binary XORs  T:     0.01 s  found:     196
185.12/46.48	c  N dy   172     34548     25064     75092     50386     13097    443159    216705     11.50     15.20
191.93/48.12	c  N dy   207     38646     25064     75092     51143     17037    443159    408082     12.55     46.54
197.49/49.55	c  N dy   237     42651     25064     75092     51255     10803    443158     85346     12.86     13.82
201.89/50.67	c  S st   262     45756     25064     75092     51356     13772    443158    210336     13.14   no data
203.09/50.97	c  S st   262     46256     25064     75092     51395     14225    443158    221430     13.14   no data
203.09/50.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
231.46/58.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  477 Bins:   1627 BRemL:      1 BRemN:      0 P: 90.0M T:  7.00
231.46/58.05	c Replacing      673 vars Replaced    15995 lits Time:     0.02 s 
231.46/58.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
231.46/58.08	c bin-w-bin subsume rem          274 bins  time:  0.01 s
231.86/58.10	c subs with bin:     1412  lits-rem:       169  v-fix:    0  time:  0.03 s
232.25/58.24	c Subs w/ non-existent bins:   4152 l-rem:   6172 v-fix:     0 done:  24391 time:  0.13 s
232.65/58.30	c Removed useless bin:     123  fixed:     0  props:   4.61M  time:  0.07 s
233.05/58.40	c lits-rem:         1  cl-subs:       12  v-elim:   1213  v-fix:    0  time:  0.09 s
233.05/58.46	c subs with bin:      318  lits-rem:       278  v-fix:    0  time:  0.05 s
233.44/58.52	c lits-rem:       453  cl-subs:      269  v-elim:      0  v-fix:    0  time:  0.05 s
233.44/58.59	c vivif2 --  cl tried    68900 cl shrink       39 lits rem         39 time: 0.07
233.84/58.61	c vivif2 --  cl tried    12890 cl shrink     2376 lits rem      14492 time: 0.02
235.86/59.11	c asymm  cl-useful: 0/1604/68881 lits-rem:0 time: 0.50
235.86/59.15	c calculated reachability. Time: 0.03
235.86/59.15	c  N dy   262     46256     23178     68881     49892     12703    421918    157711     13.14   no data
236.26/59.25	c Finding binary XORs  T:     0.10 s  found:      21
243.43/61.02	c  N dy   274     50374     23176     68881     57936     16671    421917    468365     12.90     13.79
244.65/61.30	c Finding binary XORs  T:     0.09 s  found:     729
244.65/61.33	c Replacing      750 vars Replaced    18562 lits Time:     0.02 s 
248.63/62.40	c  N dy   301     54462     22426     67193     56290     19921    415399    622456     12.99     17.34
255.01/63.95	c  N dy   325     58808     22425     67193     57012     24122    415393    809948     12.93     14.49
259.81/65.10	c  N dy   338     63115     22425     67193     57255     28324    415390   1111999     12.81     13.57
265.39/66.57	c  N dy   363     67240     22425     67193     57293     17598    415387    250076     12.97     13.87
268.20/67.27	c  S st   376     69385     22425     67193     57902     19682    415384    352977     13.01   no data
269.40/67.54	c  S st   376     69886     22425     67193     57941     20140    415384    363872     13.01   no data
269.40/67.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
297.78/74.64	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:  501 Bins:  24260 BRemL:   2976 BRemN:     43 P: 91.8M T:  7.07
297.78/74.68	c Replacing      501 vars Replaced    18709 lits Time:     0.03 s 
298.15/74.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
298.15/74.71	c bin-w-bin subsume rem         2419 bins  time:  0.01 s
298.15/74.74	c subs with bin:      680  lits-rem:         9  v-fix:    0  time:  0.03 s
298.55/74.84	c Subs w/ non-existent bins:      3 l-rem:      1 v-fix:     0 done:  21923 time:  0.09 s
298.55/74.87	c Removed useless bin:       1  fixed:     0  props:   1.80M  time:  0.04 s
298.95/74.95	c lits-rem:         1  cl-subs:      145  v-elim:    158  v-fix:    0  time:  0.08 s
299.75/75.12	c subs with bin:      612  lits-rem:      1864  v-fix:    0  time:  0.15 s
300.16/75.21	c lits-rem:       470  cl-subs:      330  v-elim:      0  v-fix:    0  time:  0.08 s
300.16/75.28	c vivif2 --  cl tried    65218 cl shrink      177 lits rem        238 time: 0.07
300.56/75.33	c vivif2 --  cl tried    18497 cl shrink     1980 lits rem      13527 time: 0.05
302.55/75.84	c asymm  cl-useful: 953/2928/65218 lits-rem:2859 time: 0.51
302.55/75.88	c calculated reachability. Time: 0.03
302.55/75.88	c  N dy   376     69886     21765     64265     73124     18485    408219    359204     13.01   no data
302.95/75.98	c Finding binary XORs  T:     0.10 s  found:     381
302.95/75.99	c Replacing      381 vars Replaced     6808 lits Time:     0.02 s 
312.53/78.33	c  N dy   386     74498     21384     63834     73680     22967    404083   1247072     12.88     13.71
322.52/80.80	c  N dy   401     79324     21383     63834     73733     27684    404079   1716691     12.74     13.50
324.14/81.22	c Finding binary XORs  T:     0.09 s  found:     570
324.14/81.29	c Replacing      570 vars Replaced    31719 lits Time:     0.07 s 
334.10/83.79	c  N dy   421     84408     20812     62702     75592     31755    399721   2452723     12.69     14.50
341.71/85.64	c  F st   444     87500     20812     62702     76560     34743    399720   2957618     12.80     10.71
347.68/87.19	c  N st   449     90797     20811     62700     76543     20159    399703    382123     12.80   no data
355.67/89.18	c  N dy   477     96850     20811     62700     76704     26115    399701    656436     12.89     13.76
364.46/91.36	c  N dy   503    103115     20811     62700     76960     32248    399699    971327     12.85     14.89
367.27/92.07	c  S st   516    104830     20811     62700     77096     33925    399698   1104554     12.88   no data
368.08/92.24	c Finding binary XORs  T:     0.09 s  found:     417
368.08/92.27	c Replacing      417 vars Replaced    13961 lits Time:     0.03 s 
369.26/92.54	c  S st   516    105330     20394     61765     76193     33841    396194   1114373     12.88   no data
369.26/92.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
399.62/100.12	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    9 Bins:  19262 BRemL:  12805 BRemN:     15 P: 97.6M T:  7.55
399.62/100.15	c Replacing        9 vars Replaced      724 lits Time:     0.03 s 
399.62/100.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
399.62/100.19	c bin-w-bin subsume rem         2712 bins  time:  0.01 s
400.02/100.22	c subs with bin:      430  lits-rem:         7  v-fix:    0  time:  0.03 s
400.42/100.32	c Subs w/ non-existent bins:      8 l-rem:      0 v-fix:     0 done:  20384 time:  0.10 s
400.42/100.35	c Removed useless bin:       1  fixed:     0  props:   1.31M  time:  0.03 s
400.82/100.43	c lits-rem:         6  cl-subs:      153  v-elim:    543  v-fix:    0  time:  0.08 s
404.00/101.22	c subs with bin:      410  lits-rem:      4761  v-fix:    0  time:  0.74 s
405.21/101.54	c lits-rem:      1928  cl-subs:      694  v-elim:      0  v-fix:    0  time:  0.30 s
405.61/101.62	c vivif2 --  cl tried    61035 cl shrink      101 lits rem        101 time: 0.08
406.01/101.78	c vivif2 --  cl tried    31968 cl shrink     6647 lits rem      67724 time: 0.16
408.00/102.29	c asymm  cl-useful: 20/3448/61033 lits-rem:60 time: 0.51
408.40/102.33	c calculated reachability. Time: 0.03
408.40/102.33	c  N dy   516    105330     19841     61013     72428     31968    392107    916928     12.88   no data
408.80/102.43	c Finding binary XORs  T:     0.10 s  found:      19
424.39/106.30	c  N dy   553    112393     19838     61013     76593     38909    392107   2090102     12.88     13.85
429.97/107.75	c Finding binary XORs  T:     0.09 s  found:     341
429.97/107.77	c Replacing      360 vars Replaced    11464 lits Time:     0.02 s 
439.15/110.05	c  N dy   589    119578     19478     60293     77162     25713    389271   1263240     12.89     31.04
455.96/114.24	c  N dy   642    127326     19475     60293     77465     33301    389268   2698004     13.06     13.77
468.74/117.45	c  N dy   690    135505     19475     60293     77716     41351    389264   3306684     13.23     14.61
471.12/118.04	c Finding binary XORs  T:     0.09 s  found:     271
471.52/118.15	c Replacing      271 vars Replaced    23893 lits Time:     0.12 s 
483.10/121.01	c  N dy   728    144152     19204     59697     77192     27512    386951    715899     13.21     26.26
496.68/124.41	c  N dy   773    153933     19202     59697     77482     37115    386947   1106555     13.15     13.93
502.67/125.92	c  S st   797    157995     19201     59697     77703     41114    386945   1292512     13.20     13.28
503.89/126.21	c  S st   797    158499     19201     59697     77732     41586    386945   1327866     13.20   no data
503.89/126.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
536.23/134.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  226 Bins:   9385 BRemL:  11927 BRemN:     24 P: 102.0M T:  8.09
536.23/134.37	c Replacing      226 vars Replaced    14474 lits Time:     0.05 s 
536.23/134.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
536.63/134.41	c bin-w-bin subsume rem         2412 bins  time:  0.01 s
536.63/134.44	c subs with bin:      383  lits-rem:         8  v-fix:    0  time:  0.03 s
537.03/134.52	c Subs w/ non-existent bins:     17 l-rem:     10 v-fix:     0 done:  18975 time:  0.08 s
537.03/134.54	c Removed useless bin:       1  fixed:     0  props:   1.16M  time:  0.03 s
537.43/134.63	c lits-rem:         3  cl-subs:       88  v-elim:    150  v-fix:    0  time:  0.08 s
541.82/135.79	c subs with bin:      342  lits-rem:      5313  v-fix:    0  time:  1.11 s
543.84/136.26	c lits-rem:      1921  cl-subs:     1034  v-elim:      0  v-fix:    0  time:  0.46 s
544.21/136.35	c vivif2 --  cl tried    58886 cl shrink        6 lits rem          6 time: 0.08
545.02/136.55	c vivif2 --  cl tried    38726 cl shrink     8226 lits rem      97800 time: 0.20
547.02/137.06	c asymm  cl-useful: 12/2307/58884 lits-rem:36 time: 0.51
547.42/137.10	c calculated reachability. Time: 0.03
547.42/137.10	c  N dy   797    158499     18825     58872     69142     38716    382447   1053886     13.20   no data
547.42/137.20	c Finding binary XORs  T:     0.10 s  found:       8
561.79/140.75	c Finding binary XORs  T:     0.10 s  found:     226
562.19/140.85	c Replacing      234 vars Replaced    23493 lits Time:     0.10 s 
568.98/142.50	c  N dy   831    168639     18585     58175     77810     27236    379785    942282     13.10     35.42
587.77/147.26	c  N dy   881    179444     18584     58175     78543     37913    379783   2534609     13.12     13.82
596.57/149.49	c Finding binary XORs  T:     0.10 s  found:     160
610.92/153.09	c  N dy   944    190918     18584     58166     80781     49099    379755   4446806     13.22     26.36
632.49/158.47	c Finding binary XORs  T:     0.10 s  found:     139
632.89/158.51	c Replacing      299 vars Replaced    16612 lits Time:     0.05 s 
635.29/159.20	c  N dy  1001    203704     18283     57592     80208     36803    377513   1586387     13.18     13.91
656.46/164.45	c  N dy  1077    216727     18279     57592     80576     49646    377513   3226846     13.41     18.13
680.05/170.37	c  N dy  1165    230594     18279     57592     80776     39387    377512   1424693     13.59     32.83
692.02/173.34	c  S st  1187    237748     18279     57592     80949     46408    377512   2127257     13.57   no data
693.24/173.65	c  S st  1187    238249     18279     57592     80956     46899    377512   2155779     13.57   no data
693.24/173.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
726.77/182.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  208 Bins:   2467 BRemL:   7118 BRemN:      6 P: 100.7M T:  8.38
727.17/182.17	c Replacing      208 vars Replaced    33082 lits Time:     0.11 s 
727.17/182.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
727.57/182.20	c bin-w-bin subsume rem         3570 bins  time:  0.01 s
727.57/182.23	c subs with bin:      138  lits-rem:        10  v-fix:    0  time:  0.03 s
727.99/182.31	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:  18071 time:  0.08 s
727.99/182.33	c Removed useless bin:       4  fixed:     0  props:   1.15M  time:  0.02 s
728.39/182.42	c lits-rem:        82  cl-subs:       45  v-elim:     75  v-fix:    0  time:  0.09 s
735.16/184.17	c subs with bin:      158  lits-rem:      6525  v-fix:    0  time:  1.66 s
740.75/185.54	c lits-rem:      6966  cl-subs:     1772  v-elim:      0  v-fix:    0  time:  1.35 s
741.17/185.63	c vivif2 --  cl tried    56926 cl shrink       19 lits rem         19 time: 0.09
741.95/185.89	c vivif2 --  cl tried    43989 cl shrink     9714 lits rem     186485 time: 0.26
743.94/186.38	c asymm  cl-useful: 9/1154/56917 lits-rem:27 time: 0.49
744.34/186.42	c calculated reachability. Time: 0.03
744.34/186.42	c  N dy  1187    238249     17996     56908     71213     43959    373369   1799412     13.57   no data
744.74/186.52	c Finding binary XORs  T:     0.10 s  found:       5
776.72/194.56	c  N dy  1294    253501     17993     56908     72082     33628    373369    689748     14.05     15.16
799.47/200.25	c Finding binary XORs  T:     0.10 s  found:     178
799.87/200.31	c Replacing      183 vars Replaced    11845 lits Time:     0.06 s 
804.26/201.41	c  N dy  1403    269719     17809     56573     71381     49168    371553   2414872     14.39     19.81
839.02/210.19	c  N dy  1533    287449     17809     56573     71590     40859    371553   1110769     14.97     15.84
872.57/218.57	c  N dy  1664    305891     17807     56573     78619     59115    371552   3459595     15.57     72.14
872.99/218.69	c Finding binary XORs  T:     0.10 s  found:      45
873.77/218.89	c  F st  1668    306252     17807     56562     78608     59384    371511   3557190     15.60   no data
874.17/218.96	c Replacing       45 vars Replaced     7618 lits Time:     0.07 s 
911.32/228.23	c  N dy  1787    325481     17760     56492     78672     51176    371239   2058342     15.97     27.32
950.47/238.04	c  N dy  1946    345558     17759     56492     78759     42557    371239    736056     16.78     18.37
973.64/243.84	c  S st  2019    357373     17758     56492     78853     54233    371239   2129267     16.97   no data
974.83/244.12	c  S st  2019    357874     17758     56492     78859     54727    371239   2176866     16.97   no data
974.83/244.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1009.61/252.84	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   44 Bins:   4830 BRemL:   1168 BRemN:      7 P: 112.0M T:  8.70
1009.99/252.94	c Replacing       44 vars Replaced    14577 lits Time:     0.09 s 
1009.99/252.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1009.99/252.98	c bin-w-bin subsume rem          661 bins  time:  0.01 s
1010.39/253.01	c subs with bin:       84  lits-rem:         9  v-fix:    0  time:  0.03 s
1010.39/253.09	c Subs w/ non-existent bins:      3 l-rem:      9 v-fix:     0 done:  17713 time:  0.08 s
1010.78/253.11	c Removed useless bin:       0  fixed:     0  props:   0.99M  time:  0.02 s
1011.18/253.21	c lits-rem:         0  cl-subs:       69  v-elim:     27  v-fix:    0  time:  0.09 s
1017.58/254.88	c subs with bin:      112  lits-rem:      3505  v-fix:    0  time:  1.59 s
1023.56/256.33	c lits-rem:      8339  cl-subs:     1403  v-elim:      0  v-fix:    0  time:  1.43 s
1023.96/256.43	c vivif2 --  cl tried    56263 cl shrink       27 lits rem         34 time: 0.09
1025.17/256.71	c vivif2 --  cl tried    52286 cl shrink    10143 lits rem     178036 time: 0.28
1026.78/257.19	c asymm  cl-useful: 1/1236/56248 lits-rem:3 time: 0.48
1027.18/257.23	c calculated reachability. Time: 0.03
1027.18/257.23	c  N dy  2019    357874     17686     56247     81044     52231    369776   1769331     16.97   no data
1027.56/257.34	c Finding binary XORs  T:     0.11 s  found:       2
1059.12/265.25	c Finding binary XORs  T:     0.11 s  found:      43
1080.69/270.67	c  N dy  2077    377892     17679     56219     83683     71884    369456   8062062     16.83     17.76
1131.82/283.49	c  N dy  2147    398829     17678     56219     83949     62248    369456   5663170     16.71     17.71
1187.34/297.33	c  N dy  2265    419416     17673     56219     84098     50952    369456   2244252     16.89     17.80
1240.07/310.56	c  N dy  2398    439872     17671     56219     84226     71145    369456   6197977     17.09     18.18
1240.87/310.70	c Finding binary XORs  T:     0.10 s  found:      22
1295.60/324.42	c  N dy  2519    460626     17671     56183     84163     58663    369063   3270611     17.22     18.42
1353.91/339.00	c  N dy  2629    480720     17670     56183     84313     78434    369061   6637602     17.35     18.58
1406.24/352.10	c  N dy  2746    500787     17668     56183     84515     64800    369061   3447996     17.47     31.48
1426.65/357.24	c Finding binary XORs  T:     0.11 s  found:      23
1458.18/365.14	c  N dy  2904    521043     17666     56156     84442     84636    368986   6146455     17.87     18.82
1490.94/373.32	c  S st  3020    536811     17666     56156     84550     66250    368984   3361750     18.10   no data
1492.14/373.63	c  S st  3020    537312     17666     56156     84556     66744    368984   3451284     18.10   no data
1492.14/373.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1528.88/382.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   31 Bins:   5948 BRemL:   2396 BRemN:     10 P: 121.8M T:  9.18
1529.68/383.00	c Replacing      121 vars Replaced    54100 lits Time:     0.17 s 
1529.68/383.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1529.68/383.04	c bin-w-bin subsume rem          825 bins  time:  0.01 s
1529.68/383.07	c subs with bin:       68  lits-rem:        61  v-fix:    0  time:  0.03 s
1530.08/383.15	c Subs w/ non-existent bins:     12 l-rem:      8 v-fix:     0 done:  17546 time:  0.07 s
1530.08/383.17	c Removed useless bin:       4  fixed:     0  props:   0.96M  time:  0.02 s
1530.48/383.27	c lits-rem:        18  cl-subs:       57  v-elim:     31  v-fix:    0  time:  0.10 s
1537.67/385.03	c subs with bin:      223  lits-rem:      5184  v-fix:    0  time:  1.67 s
1544.07/386.60	c lits-rem:      7574  cl-subs:     1105  v-elim:      0  v-fix:    0  time:  1.55 s
1544.07/386.70	c vivif2 --  cl tried    55908 cl shrink       46 lits rem         61 time: 0.10
1545.69/387.01	c vivif2 --  cl tried    60014 cl shrink    10749 lits rem     135474 time: 0.30
1547.66/387.51	c asymm  cl-useful: 5/1747/55899 lits-rem:15 time: 0.50
1547.66/387.55	c calculated reachability. Time: 0.03
1547.66/387.55	c  N dy  3020    537312     17515     55894     86486     59974    367989   2061754     18.10   no data
1548.06/387.66	c Finding binary XORs  T:     0.11 s  found:       6
1613.17/403.96	c  N dy  3126    557452     17512     55894     87238     79902    367989   9780198     18.17     20.77
1670.69/418.33	c Finding binary XORs  T:     0.11 s  found:      13
1673.11/418.96	c  N dy  3257    577682     17510     55881     84804     67706    367685   7031295     18.38     19.78
1735.79/434.66	c  N dy  3401    597784     17509     55881     84902     87424    367685  11421327     18.64     20.13
1748.58/437.81	c Finding binary XORs  T:     0.11 s  found:      29
1788.52/447.84	c Finding binary XORs  T:     0.11 s  found:      15
1794.92/449.40	c  N dy  3530    618164     17497     55836    100586     70816    366872   4723454     18.78     19.95
1855.64/464.60	c  N dy  3666    638188     17494     55836    100812     90489    366872   7737231     18.98     20.19
1901.59/476.18	c  N dy  3826    658221     17492     55836    100928     73581    366872   3543703     19.30     50.67
1945.13/487.04	c  N dy  4005    678264     17491     55836    101014     93474    366872   6526539     19.92     21.21
1985.08/497.05	c  N dy  4188    698311     17490     55836    101198     75285    366870   3769481     20.55     52.13
2012.22/503.85	c Finding binary XORs  T:     0.11 s  found:      42
2031.00/508.52	c  N dy  4373    718333     17490     55781    101111     94259    366711   7124103     21.45     42.53
2070.54/518.47	c  N dy  4526    738380     17489     55781    101239     75083    366711   3381591     21.85     51.65
2117.68/530.29	c  N dy  4712    758422     17489     55781    101322     94958    366711   6766553     22.59     43.40
2131.66/533.79	c Finding binary XORs  T:     0.11 s  found:      19
2160.44/540.91	c  N dy  4874    778559     17483     55773    105226     74645    366649   3102974     23.02     24.26
2205.15/552.13	c  N dy  5043    798574     17479     55773    105320     94464    366649   6253773     23.62    107.25
2221.53/556.27	c Finding binary XORs  T:     0.11 s  found:      15
2223.13/556.61	c  S st  5107    805968     17479     55743    105141    101414    366324   7548267     23.82     17.16
2224.33/556.96	c  S st  5107    806470     17479     55743    105145    101911    366324   7623824     23.82   no data
2224.33/556.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2266.30/567.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:   4181 BRemL:   5645 BRemN:      2 P: 147.9M T: 10.43
2267.47/567.79	c Replacing      146 vars Replaced   180191 lits Time:     0.37 s 
2267.87/567.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2267.87/567.83	c bin-w-bin subsume rem         1843 bins  time:  0.02 s
2267.87/567.87	c subs with bin:       82  lits-rem:        96  v-fix:    0  time:  0.04 s
2268.27/567.96	c Subs w/ non-existent bins:      2 l-rem:      7 v-fix:     0 done:  17338 time:  0.08 s
2268.27/567.98	c Removed useless bin:      11  fixed:     0  props:   0.95M  time:  0.02 s
2269.07/568.12	c lits-rem:         0  cl-subs:      124  v-elim:     28  v-fix:    0  time:  0.14 s
2277.07/570.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.68 s
2301.82/576.31	c lits-rem:     10588  cl-subs:     2311  v-elim:      0  v-fix:    0  time:  6.15 s
2302.22/576.41	c vivif2 --  cl tried    55440 cl shrink       20 lits rem        149 time: 0.10
2306.62/577.54	c vivif2 --  cl tried    97088 cl shrink    31841 lits rem     810518 time: 1.12
2308.62/578.01	c asymm  cl-useful: 1/724/55435 lits-rem:3 time: 0.47
2308.62/578.05	c calculated reachability. Time: 0.03
2308.62/578.06	c  N dy  5107    806470     17310     55434    101021     96971    364933   6174360     23.82   no data
2337.38/585.28	c Finding binary XORs  T:     0.12 s  found:      13
2371.75/593.83	c  N dy  5165    826846     17306     55407    101460     77040    364846   9066268     23.71     25.02
2449.23/613.20	c  N dy  5249    847187     17304     55407    101641     97224    364846  18788953     23.68     25.22
2519.13/630.71	c  N dy  5333    867341     17303     55407    101749     74164    364846   4805734     23.65     25.48
2579.45/645.80	c  N dy  5424    887457     17301     55407    101858     93997    364846   9837714     23.61     24.90
2632.57/659.17	c  N dy  5536    907509     17300     55407    102015     70232    364846   2305391     23.70     25.06
2676.11/670.08	c  N dy  5674    927522     17299     55407    102114     90102    364846   5722823     23.88     52.72
2701.68/676.49	c Finding binary XORs  T:     0.12 s  found:      18
2728.44/683.13	c  N dy  5840    947527     17299     55362    101982    109673    364518   9763785     24.28     82.96
2773.98/694.53	c  N dy  5986    967673     17299     55362    102058     85567    364518   4789835     24.56     25.99
2825.11/707.36	c  N dy  6126    987963     17299     55362    102156    105700    364517   8950996     24.76     26.46
2875.45/720.00	c  N dy  6283   1008511     17299     55362    102261     80788    364517   3470196     25.03     27.45
2924.99/732.32	c  N dy  6412   1028529     17299     55362    102347    100657    364517   7722274     25.21     30.53
2979.30/745.94	c  N dy  6561   1048743     17298     55362    102432     74257    364517   1911872     25.46     27.80
3002.87/751.84	c Finding binary XORs  T:     0.12 s  found:      17
3024.04/757.18	c  N dy  6693   1069345     17298     55358    110343     94584    364285   5327936     25.64     27.04
3031.22/758.94	c  F st  6711   1071876     17298     55358    110789     97104    364285   5885226     25.67   no data
3032.03/759.12	c Replacing       48 vars Replaced    28605 lits Time:     0.18 s 
3063.59/767.07	c Finding binary XORs  T:     0.12 s  found:      11
3078.37/770.78	c  N dy  6823   1089553     17249     55293    113058    114326    363985   9766189     25.88     28.68
3127.11/782.95	c  N dy  6963   1109572     17239     55293    113233     86965    363985   3932484     26.12     27.54
3177.42/795.55	c  N dy  7100   1129668     17238     55293    113328    106840    363984   8112592     26.32     50.18
3231.75/809.11	c  N dy  7263   1149686     17236     55293    113425     78318    363984   2043581     26.65     62.87
3277.29/820.57	c  N dy  7401   1169722     17236     55293    113486     98215    363984   6216966     26.84     46.40
3330.81/833.90	c  N dy  7562   1189727     17235     55293    113591    118083    363984  10637868     27.09     47.54
3383.13/847.07	c  S st  7713   1209705     17233     55293    113665     88243    363984   4206344     27.36   no data
3384.73/847.46	c  S st  7713   1210210     17233     55293    113667     88745    363984   4307845     27.36   no data
3384.73/847.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3425.89/857.74	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   27 Bins:   5384 BRemL:   3245 BRemN:      0 P: 147.5M T: 10.26
3426.67/857.92	c Replacing       38 vars Replaced    21643 lits Time:     0.18 s 
3426.67/857.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3426.67/857.96	c bin-w-bin subsume rem         1631 bins  time:  0.02 s
3427.07/858.02	c subs with bin:       98  lits-rem:        78  v-fix:    0  time:  0.05 s
3427.48/858.10	c Subs w/ non-existent bins:      5 l-rem:     22 v-fix:     0 done:  17193 time:  0.08 s
3427.48/858.12	c Removed useless bin:       0  fixed:     0  props:   1.01M  time:  0.02 s
3427.88/858.24	c lits-rem:         0  cl-subs:       79  v-elim:     29  v-fix:    0  time:  0.12 s
3435.46/860.10	c subs with bin:       79  lits-rem:      1568  v-fix:    0  time:  1.70 s
3445.85/862.77	c lits-rem:      7673  cl-subs:     1330  v-elim:      0  v-fix:    0  time:  2.66 s
3446.25/862.88	c vivif2 --  cl tried    55037 cl shrink       29 lits rem         29 time: 0.11
3448.26/863.36	c vivif2 --  cl tried    85761 cl shrink    15572 lits rem     390632 time: 0.48
3450.24/863.84	c asymm  cl-useful: 3/724/55036 lits-rem:9 time: 0.48
3450.24/863.89	c calculated reachability. Time: 0.03
3450.24/863.89	c  N dy  7713   1210210     17164     55033    113014     85573    362394   3611827     27.36   no data
3451.05/864.01	c Finding binary XORs  T:     0.12 s  found:       4
3513.36/879.65	c  N dy  7779   1230485     17160     55033    113469    105641    362394  10744643     27.31     28.96
3540.15/886.36	c Finding binary XORs  T:     0.12 s  found:       8
3576.87/895.51	c  N dy  7883   1250504     17157     55004    114271    122070    362298  15300024     27.35     62.36
3636.40/910.44	c  N dy  7995   1270606     17155     55004    114428     94369    362298   6239976     27.47     31.38
3692.72/924.58	c  N dy  8117   1290663     17153     55004    114566    114182    362298  10594596     27.62     37.65
3749.43/938.76	c  N dy  8242   1310863     17151     55004    114651     83278    362298   2339647     27.78     30.27
3798.17/950.99	c  N dy  8401   1330878     17151     55004    114743    103175    362297   6634674     28.05     29.75
3853.69/964.82	c  N dy  8526   1350950     17150     55004    114852    123068    362297  10770697     28.18     73.90
3911.22/979.27	c  N dy  8673   1371628     17148     55004    114954     91671    362297   3378953     28.40     30.20
3947.96/988.40	c Finding binary XORs  T:     0.12 s  found:      38
3966.37/993.09	c  N dy  8819   1392463     17146     54932    113311    111727    361837   7936368     28.63     30.22
4023.48/1007.36	c  N dy  8949   1412554     17146     54932    113453    131640    361836  12087993     28.82    121.89
4075.79/1020.50	c  N dy  9105   1432641     17144     54932    113529     98779    361836   4383659     29.02     70.31
4128.94/1033.72	c  N dy  9235   1452756     17143     54932    113651    118752    361836   9029899     29.18     30.83
4190.03/1049.03	c  N dy  9372   1473076     17141     54932    113735    138835    361836  13022140     29.35     31.39
4239.19/1061.35	c  N dy  9511   1493139     17140     54932    113817    104869    361836   5469221     29.55     31.39
4295.91/1075.56	c  N dy  9643   1513181     17140     54932    113880    124751    361836   9561679     29.70     94.16
4357.43/1090.98	c  N dy  9777   1533255     17140     54932    113961    144632    361836  14693886     29.90     60.96
4409.33/1103.95	c  N dy  9918   1553286     17140     54932    114021    109291    361836   6572590     30.11     71.24
4442.48/1112.21	c Finding binary XORs  T:     0.12 s  found:      23
4464.86/1117.83	c  N dy 10074   1573399     17139     54897    119155    128801    361656  10585261     30.32     32.08
4514.39/1130.25	c Finding binary XORs  T:     0.12 s  found:       1
4526.37/1133.26	c  N dy 10230   1593442     17139     54897    123130     92339    361656   2197460     30.59     63.32
4574.31/1145.24	c  N dy 10361   1613510     17136     54897    123252    112230    361656   6050959     30.68     59.54
4629.85/1159.11	c  N dy 10505   1633521     17136     54897    123331    132010    361656  10403011     30.83     53.72
4690.15/1174.25	c  N dy 10657   1653572     17136     54897    123375     94429    361656   2266279     31.01     62.69
4741.28/1187.06	c  N dy 10796   1673658     17128     54897    123424    114317    361656   6253113     31.16     51.92
4799.60/1201.62	c  N dy 10954   1693687     17126     54897    123484    134158    361656  10548975     31.39    115.73

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3282250-1304028699/watcher-3282250-1304028699 -o /tmp/evaluation-result-3282250-1304028699/solver-3282250-1304028699 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3282250-1304028699.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 0.00 0.00 0.01 5/180 14010
/proc/meminfo: memFree=16763680/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=183256 CPUtime=0 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 912 0 0 0 0 0 0 0 20 0 4 0 593100457 187654144 832 33554432000 4194304 4627427 140735817072496 18446744073709551615 260020395835 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 45814 856 329 106 0 40785 0
[pid=14010/tid=14011] ppid=14008 vsize=183256 CPUtime=0 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 183 0 0 0 0 0 0 0 21 0 4 0 593100457 187654144 910 33554432000 4194304 4627427 140735817072496 18446744073709551615 260020395835 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=183256 CPUtime=0 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 23 0 0 0 0 0 0 0 21 0 4 0 593100457 187654144 946 33554432000 4194304 4627427 140735817072496 18446744073709551615 260020092683 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=183256 CPUtime=0 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 202 0 0 0 0 0 0 0 21 0 4 0 593100457 187654144 980 33554432000 4194304 4627427 140735817072496 18446744073709551615 260020395835 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.101749 s]
/proc/loadavg: 0.00 0.00 0.01 5/180 14010
/proc/meminfo: memFree=16763680/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=392472 CPUtime=0.31 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) D 14008 14010 13969 0 -1 4202496 23372 0 0 0 22 9 0 0 17 0 4 0 593100457 401891328 19348 33554432000 4194304 4627427 140735817072496 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 97937 19355 339 106 0 92908 0
[pid=14010/tid=14011] ppid=14008 vsize=391748 CPUtime=0.07 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) S 14008 14010 13969 0 -1 4202560 5265 0 0 0 5 2 0 0 17 0 4 0 593100457 401149952 19357 33554432000 4194304 4627427 140735817072496 18446744073709551615 260020500974 0 0 4096 2 18446604471119461184 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=391748 CPUtime=0.07 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 5917 0 0 0 5 2 0 0 17 0 4 0 593100457 401149952 19372 33554432000 4194304 4627427 140735817072496 18446744073709551615 260020093047 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=391748 CPUtime=0.07 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) S 14008 14010 13969 0 -1 4202560 6534 0 0 0 5 2 0 0 17 0 4 0 593100457 401149952 19384 33554432000 4194304 4627427 140735817072496 18446744073709551615 260020500974 0 0 4096 2 18446604471119461184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 392472

[startup+0.202908 s]
/proc/loadavg: 0.00 0.00 0.01 5/180 14010
/proc/meminfo: memFree=16763680/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=444156 CPUtime=4.03 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 49501 0 0 0 383 20 0 0 18 0 4 0 593100457 454815744 41136 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308435 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 111039 41136 367 106 0 106010 0
[pid=14010/tid=14011] ppid=14008 vsize=444156 CPUtime=1 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 10966 0 0 0 96 4 0 0 18 0 4 0 593100457 454815744 41136 33554432000 4194304 4627427 140735817072496 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=444156 CPUtime=1 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 12437 0 0 0 96 4 0 0 18 0 4 0 593100457 454815744 41136 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=444156 CPUtime=0.99 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 13675 0 0 0 94 5 0 0 19 0 4 0 593100457 454815744 41136 33554432000 4194304 4627427 140735817072496 18446744073709551615 4322160 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 444156

[startup+1.14943 s]
/proc/loadavg: 0.00 0.00 0.01 5/180 14010
/proc/meminfo: memFree=16763680/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=444156 CPUtime=4.42 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 49525 0 0 0 422 20 0 0 19 0 4 0 593100457 454815744 41160 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 111039 41160 367 106 0 106010 0
[pid=14010/tid=14011] ppid=14008 vsize=444156 CPUtime=1.09 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 10966 0 0 0 105 4 0 0 19 0 4 0 593100457 454815744 41160 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=444156 CPUtime=1.1 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 12437 0 0 0 106 4 0 0 19 0 4 0 593100457 454815744 41160 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=444156 CPUtime=1.09 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 13699 0 0 0 104 5 0 0 19 0 4 0 593100457 454815744 41160 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 444156

[startup+1.20042 s]
/proc/loadavg: 0.00 0.00 0.01 5/180 14010
/proc/meminfo: memFree=16763680/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=444156 CPUtime=4.62 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 49528 0 0 0 442 20 0 0 19 0 4 0 593100457 454815744 41163 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 111039 41163 367 106 0 106010 0
[pid=14010/tid=14011] ppid=14008 vsize=444156 CPUtime=1.14 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 10966 0 0 0 110 4 0 0 19 0 4 0 593100457 454815744 41163 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=444156 CPUtime=1.15 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 12437 0 0 0 111 4 0 0 19 0 4 0 593100457 454815744 41163 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=444156 CPUtime=1.14 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 13702 0 0 0 109 5 0 0 19 0 4 0 593100457 454815744 41163 33554432000 4194304 4627427 140735817072496 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 444156

[startup+1.50037 s]
/proc/loadavg: 0.00 0.00 0.01 5/180 14010
/proc/meminfo: memFree=16763680/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=444156 CPUtime=5.82 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 49549 0 0 0 562 20 0 0 19 0 4 0 593100457 454815744 41184 33554432000 4194304 4627427 140735817072496 18446744073709551615 4299670 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 111039 41184 367 106 0 106010 0
[pid=14010/tid=14011] ppid=14008 vsize=444156 CPUtime=1.44 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 10966 0 0 0 140 4 0 0 19 0 4 0 593100457 454815744 41184 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=444156 CPUtime=1.45 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 12437 0 0 0 141 4 0 0 19 0 4 0 593100457 454815744 41184 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=444156 CPUtime=1.44 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 13723 0 0 0 139 5 0 0 19 0 4 0 593100457 454815744 41184 33554432000 4194304 4627427 140735817072496 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 444156

[startup+3.10707 s]
/proc/loadavg: 0.00 0.00 0.01 10/184 14014
/proc/meminfo: memFree=16451292/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=444156 CPUtime=12.24 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 49688 0 0 0 1204 20 0 0 23 0 4 0 593100457 454815744 41323 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308301 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 111039 41323 367 106 0 106010 0
[pid=14010/tid=14011] ppid=14008 vsize=444156 CPUtime=3.05 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 10966 0 0 0 301 4 0 0 23 0 4 0 593100457 454815744 41323 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=444156 CPUtime=3.05 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 12438 0 0 0 301 4 0 0 23 0 4 0 593100457 454815744 41323 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=444156 CPUtime=3.04 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 13861 0 0 0 299 5 0 0 24 0 4 0 593100457 454815744 41323 33554432000 4194304 4627427 140735817072496 18446744073709551615 4327362 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 444156

[startup+6.30049 s]
/proc/loadavg: 0.64 0.13 0.05 10/184 14014
/proc/meminfo: memFree=16428960/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=448492 CPUtime=25.02 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 51051 0 0 0 2482 20 0 0 25 0 4 0 593100457 459255808 42686 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 112123 42686 368 106 0 107094 0
[pid=14010/tid=14011] ppid=14008 vsize=448492 CPUtime=6.25 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 10966 0 0 0 621 4 0 0 25 0 4 0 593100457 459255808 42686 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=448492 CPUtime=6.25 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 12438 0 0 0 621 4 0 0 25 0 4 0 593100457 459255808 42686 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=448492 CPUtime=6.22 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 15223 0 0 0 617 5 0 0 25 0 4 0 593100457 459255808 42686 33554432000 4194304 4627427 140735817072496 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 448492

[startup+12.7003 s]
/proc/loadavg: 1.31 0.28 0.10 10/184 14015
/proc/meminfo: memFree=16380004/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=454200 CPUtime=50.57 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 62890 0 0 0 5034 23 0 0 25 0 4 0 593100457 465100800 54524 33554432000 4194304 4627427 140735817072496 18446744073709551615 4436191 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 113550 54524 379 106 0 108521 0
[pid=14010/tid=14011] ppid=14008 vsize=454200 CPUtime=12.65 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 14223 0 0 0 1260 5 0 0 25 0 4 0 593100457 465100800 54524 33554432000 4194304 4627427 140735817072496 18446744073709551615 4534910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=454200 CPUtime=12.65 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 16992 0 0 0 1260 5 0 0 25 0 4 0 593100457 465100800 54524 33554432000 4194304 4627427 140735817072496 18446744073709551615 4436241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=454200 CPUtime=12.57 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 15734 0 0 0 1252 5 0 0 25 0 4 0 593100457 465100800 54524 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 454200

[startup+25.501 s]
/proc/loadavg: 2.79 0.66 0.22 10/184 14015
/proc/meminfo: memFree=16207672/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=543504 CPUtime=101.63 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 101988 0 0 0 10124 39 0 0 25 0 4 0 593100457 556548096 76736 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308104 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 135876 76736 390 106 0 130847 0
[pid=14010/tid=14011] ppid=14008 vsize=543504 CPUtime=25.43 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 27216 0 0 0 2532 11 0 0 25 0 4 0 593100457 556548096 76736 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=543504 CPUtime=25.43 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 28213 0 0 0 2532 11 0 0 25 0 4 0 593100457 556548096 76736 33554432000 4194304 4627427 140735817072496 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=543504 CPUtime=25.31 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 19876 0 0 0 2524 7 0 0 25 0 4 0 593100457 556548096 76736 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 543504

[startup+51.1003 s]
/proc/loadavg: 4.57 1.25 0.43 10/184 14016
/proc/meminfo: memFree=15753524/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=1068424 CPUtime=203.88 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 265878 0 0 0 20316 72 0 0 25 0 4 0 593100457 1094066176 190779 33554432000 4194304 4627427 140735817072496 18446744073709551615 4233459 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 267106 190779 391 106 0 262077 0
[pid=14010/tid=14011] ppid=14008 vsize=1068424 CPUtime=51.02 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 51952 0 0 0 5086 16 0 0 25 0 4 0 593100457 1094066176 190779 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=1068424 CPUtime=51.03 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 57636 0 0 0 5088 15 0 0 25 0 4 0 593100457 1094066176 190779 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=1068424 CPUtime=50.77 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 98821 0 0 0 5053 24 0 0 25 0 4 0 593100457 1094066176 190779 33554432000 4194304 4627427 140735817072496 18446744073709551615 4534761 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 1068424

[startup+102.301 s]
/proc/loadavg: 6.55 2.30 0.83 10/184 14017
/proc/meminfo: memFree=15406812/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=1317780 CPUtime=408.4 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 381274 0 0 0 40736 104 0 0 25 0 4 0 593100457 1349406720 257767 33554432000 4194304 4627427 140735817072496 18446744073709551615 4299088 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 329445 257767 392 106 0 324416 0
[pid=14010/tid=14011] ppid=14008 vsize=1317780 CPUtime=102.22 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 78225 0 0 0 10197 25 0 0 25 0 4 0 593100457 1349406720 257767 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=1317780 CPUtime=102.23 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 85014 0 0 0 10201 22 0 0 25 0 4 0 593100457 1349406720 257767 33554432000 4194304 4627427 140735817072496 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=1317780 CPUtime=101.68 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 129118 0 0 0 10139 29 0 0 25 0 4 0 593100457 1349406720 257767 33554432000 4194304 4627427 140735817072496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.4
Current children cumulated vsize (KiB) 1317780

[startup+162.301 s]

################
# More data... #
################

[pid=14010] ppid=14008 vsize=2288296 CPUtime=2565.47 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 1212657 0 0 0 256179 368 0 0 25 0 4 0 593100457 2343215104 446495 33554432000 4194304 4627427 140735817072496 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 572074 446495 391 106 0 567045 0
[pid=14010/tid=14011] ppid=14008 vsize=2288296 CPUtime=642.22 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 252771 0 0 0 64137 85 0 0 25 0 4 0 593100457 2343215104 446495 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2288296 CPUtime=642.23 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 288371 0 0 0 64133 90 0 0 25 0 4 0 593100457 2343215104 446495 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2288296 CPUtime=638.74 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 359013 0 0 0 63781 93 0 0 25 0 4 0 593100457 2343215104 446495 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308963 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.47
Current children cumulated vsize (KiB) 2288296

[startup+702.301 s]
/proc/loadavg: 8.20 7.36 4.29 10/184 14033
/proc/meminfo: memFree=14211572/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=2330472 CPUtime=2805.14 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 1303546 0 0 0 280116 398 0 0 25 0 4 0 593100457 2386403328 454359 33554432000 4194304 4627427 140735817072496 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 582618 454359 391 106 0 577589 0
[pid=14010/tid=14011] ppid=14008 vsize=2330472 CPUtime=702.22 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 273141 0 0 0 70131 91 0 0 25 0 4 0 593100457 2386403328 454359 33554432000 4194304 4627427 140735817072496 18446744073709551615 4332206 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2330472 CPUtime=702.24 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 312235 0 0 0 70125 99 0 0 25 0 4 0 593100457 2386403328 454359 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2330472 CPUtime=698.42 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 383206 0 0 0 69740 102 0 0 25 0 4 0 593100457 2386403328 454359 33554432000 4194304 4627427 140735817072496 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.14
Current children cumulated vsize (KiB) 2330472

[startup+762.301 s]
/proc/loadavg: 8.13 7.49 4.52 9/184 14035
/proc/meminfo: memFree=14104308/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=2389096 CPUtime=3044.81 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 1391579 0 0 0 304056 425 0 0 25 0 4 0 593100457 2446434304 472470 33554432000 4194304 4627427 140735817072496 18446744073709551615 4321720 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 597274 472471 391 106 0 592245 0
[pid=14010/tid=14011] ppid=14008 vsize=2389096 CPUtime=762.22 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 293331 0 0 0 76125 97 0 0 25 0 4 0 593100457 2446434304 472471 33554432000 4194304 4627427 140735817072496 18446744073709551615 4520439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2389096 CPUtime=762.23 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 336870 0 0 0 76117 106 0 0 25 0 4 0 593100457 2446434304 472471 33554432000 4194304 4627427 140735817072496 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2389096 CPUtime=758.09 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 402916 0 0 0 75700 109 0 0 25 0 4 0 593100457 2446434304 472471 33554432000 4194304 4627427 140735817072496 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.81
Current children cumulated vsize (KiB) 2389096

[startup+822.301 s]
/proc/loadavg: 8.16 7.61 4.75 9/184 14036
/proc/meminfo: memFree=14090160/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=2349864 CPUtime=3284.47 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 1499722 0 0 0 327988 459 0 0 25 0 4 0 593100457 2406260736 467335 33554432000 4194304 4627427 140735817072496 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 587466 467335 391 106 0 582437 0
[pid=14010/tid=14011] ppid=14008 vsize=2349864 CPUtime=822.21 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 322852 0 0 0 82115 106 0 0 25 0 4 0 593100457 2406260736 467335 33554432000 4194304 4627427 140735817072496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2349864 CPUtime=822.23 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 361836 0 0 0 82109 114 0 0 25 0 4 0 593100457 2406260736 467335 33554432000 4194304 4627427 140735817072496 18446744073709551615 4321694 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2349864 CPUtime=817.77 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 431959 0 0 0 81658 119 0 0 25 0 4 0 593100457 2406260736 467335 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.47
Current children cumulated vsize (KiB) 2349864

[startup+882.301 s]
/proc/loadavg: 8.11 7.69 4.95 10/184 14038
/proc/meminfo: memFree=13939092/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=2470192 CPUtime=3524.15 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 1588900 0 0 0 351926 489 0 0 25 0 4 0 593100457 2529476608 492670 33554432000 4194304 4627427 140735817072496 18446744073709551615 4321889 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 617548 492670 391 106 0 612519 0
[pid=14010/tid=14011] ppid=14008 vsize=2470192 CPUtime=882.22 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 342235 0 0 0 88109 113 0 0 25 0 4 0 593100457 2529476608 492671 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2470192 CPUtime=882.24 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 393704 0 0 0 88101 123 0 0 25 0 4 0 593100457 2529476608 492671 33554432000 4194304 4627427 140735817072496 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2470192 CPUtime=877.43 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 445016 0 0 0 87619 124 0 0 25 0 4 0 593100457 2529476608 492671 33554432000 4194304 4627427 140735817072496 18446744073709551615 4299691 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.15
Current children cumulated vsize (KiB) 2470192

[startup+942.301 s]
/proc/loadavg: 8.09 7.76 5.15 10/184 14040
/proc/meminfo: memFree=13935692/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=2365580 CPUtime=3763.82 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 1673390 0 0 0 375860 522 0 0 25 0 4 0 593100457 2422353920 486662 33554432000 4194304 4627427 140735817072496 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 591395 486663 391 106 0 586366 0
[pid=14010/tid=14011] ppid=14008 vsize=2365580 CPUtime=942.22 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 361683 0 0 0 94101 121 0 0 25 0 4 0 593100457 2422353920 486663 33554432000 4194304 4627427 140735817072496 18446744073709551615 4332703 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2365580 CPUtime=942.23 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 414837 0 0 0 94092 131 0 0 25 0 4 0 593100457 2422353920 486663 33554432000 4194304 4627427 140735817072496 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2365580 CPUtime=937.11 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 468462 0 0 0 93578 133 0 0 25 0 4 0 593100457 2422353920 486663 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.82
Current children cumulated vsize (KiB) 2365580

[startup+1002.3 s]
/proc/loadavg: 8.07 7.81 5.33 10/184 14041
/proc/meminfo: memFree=13940140/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=2520152 CPUtime=4003.49 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 1750167 0 0 0 399796 553 0 0 25 0 4 0 593100457 2580635648 491877 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 630038 491877 391 106 0 625009 0
[pid=14010/tid=14011] ppid=14008 vsize=2520152 CPUtime=1002.21 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 382831 0 0 0 100093 128 0 0 25 0 4 0 593100457 2580635648 491877 33554432000 4194304 4627427 140735817072496 18446744073709551615 4309965 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2520152 CPUtime=1002.23 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 433532 0 0 0 100086 137 0 0 25 0 4 0 593100457 2580635648 491877 33554432000 4194304 4627427 140735817072496 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2520152 CPUtime=996.78 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 485225 0 0 0 99537 141 0 0 25 0 4 0 593100457 2580635648 491877 33554432000 4194304 4627427 140735817072496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.49
Current children cumulated vsize (KiB) 2520152

[startup+1062.3 s]
/proc/loadavg: 8.07 7.86 5.50 10/184 14043
/proc/meminfo: memFree=13842900/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=2524416 CPUtime=4243.18 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 1838976 0 0 0 423731 587 0 0 25 0 4 0 593100457 2585001984 500896 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 631104 500896 391 106 0 626075 0
[pid=14010/tid=14011] ppid=14008 vsize=2524416 CPUtime=1062.23 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 407068 0 0 0 106086 137 0 0 25 0 4 0 593100457 2585001984 500896 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2524416 CPUtime=1062.24 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 455410 0 0 0 106077 147 0 0 25 0 4 0 593100457 2585001984 500896 33554432000 4194304 4627427 140735817072496 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2524416 CPUtime=1056.46 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 504332 0 0 0 105498 148 0 0 25 0 4 0 593100457 2585001984 500896 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.18
Current children cumulated vsize (KiB) 2524416

[startup+1122.3 s]
/proc/loadavg: 8.06 7.90 5.66 10/184 14044
/proc/meminfo: memFree=13842348/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=2512692 CPUtime=4482.84 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 1921156 0 0 0 447667 617 0 0 25 0 4 0 593100457 2572996608 508687 33554432000 4194304 4627427 140735817072496 18446744073709551615 4299569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 628173 508688 391 106 0 623144 0
[pid=14010/tid=14011] ppid=14008 vsize=2512692 CPUtime=1122.22 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 424537 0 0 0 112080 142 0 0 25 0 4 0 593100457 2572996608 508688 33554432000 4194304 4627427 140735817072496 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2512692 CPUtime=1122.23 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 478702 0 0 0 112067 156 0 0 25 0 4 0 593100457 2572996608 508688 33554432000 4194304 4627427 140735817072496 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2512692 CPUtime=1116.12 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 524184 0 0 0 111457 155 0 0 25 0 4 0 593100457 2572996608 508688 33554432000 4194304 4627427 140735817072496 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.84
Current children cumulated vsize (KiB) 2512692

[startup+1182.31 s]
/proc/loadavg: 8.06 7.93 5.81 10/184 14046
/proc/meminfo: memFree=13791352/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=2676564 CPUtime=4722.53 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 2022793 0 0 0 471600 653 0 0 25 0 4 0 593100457 2740801536 510577 33554432000 4194304 4627427 140735817072496 18446744073709551615 4321603 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 669141 510577 391 106 0 664112 0
[pid=14010/tid=14011] ppid=14008 vsize=2676564 CPUtime=1182.22 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 453821 0 0 0 118069 153 0 0 25 0 4 0 593100457 2740801536 510577 33554432000 4194304 4627427 140735817072496 18446744073709551615 4328190 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2676564 CPUtime=1182.24 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 498534 0 0 0 118061 163 0 0 25 0 4 0 593100457 2740801536 510577 33554432000 4194304 4627427 140735817072496 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2676564 CPUtime=1175.8 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 552850 0 0 0 117414 166 0 0 25 0 4 0 593100457 2740801536 510577 33554432000 4194304 4627427 140735817072496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.53
Current children cumulated vsize (KiB) 2676564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 7.94 5.86 6/183 14047
/proc/meminfo: memFree=13876320/32951124 swapFree=67111528/67111528
[pid=14010] ppid=14008 vsize=2676564 CPUtime=4800.02 cores=1,3,5,7
/proc/14010/stat : 14010 (strangenight2-m) R 14008 14010 13969 0 -1 4202496 2050960 0 0 0 479340 662 0 0 25 0 4 0 593100457 2740801536 538744 33554432000 4194304 4627427 140735817072496 18446744073709551615 4334408 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14010/statm: 669141 538744 391 106 0 664112 0
[pid=14010/tid=14011] ppid=14008 vsize=2676564 CPUtime=1201.63 cores=1,3,5,7
/proc/14010/task/14011/stat : 14011 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 463039 0 0 0 120006 157 0 0 25 0 4 0 593100457 2740801536 538744 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14010/tid=14012] ppid=14008 vsize=2676564 CPUtime=1201.64 cores=1,3,5,7
/proc/14010/task/14012/stat : 14012 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 504821 0 0 0 119999 165 0 0 25 0 4 0 593100457 2740801536 538745 33554432000 4194304 4627427 140735817072496 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14010/tid=14013] ppid=14008 vsize=2676564 CPUtime=1195.09 cores=1,3,5,7
/proc/14010/task/14013/stat : 14013 (strangenight2-m) R 14008 14010 13969 0 -1 4202560 559824 0 0 0 119341 168 0 0 25 0 4 0 593100457 2740801536 538745 33554432000 4194304 4627427 140735817072496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 2676564

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.81
CPU time (s): 4800.14
CPU user time (s): 4793.42
CPU system time (s): 6.72098
CPU usage (%): 399.411
Max. virtual memory (cumulated for all children) (KiB): 2938900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.42
system time used= 6.72098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2050967
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= 21716
involuntary context switches= 24773

runsolver used 1.82572 second user time and 4.74628 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-29 00:11:39
IDJOB=3282250
IDBENCH=70797
IDSOLVER=1586
FILE ID=node110/3282250-1304028699
RUNJOBID= node110-1304028687-13988
PBS_JOBID= 13170342
Free space on /tmp= 72828 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282250-1304028699/watcher-3282250-1304028699 -o /tmp/evaluation-result-3282250-1304028699/solver-3282250-1304028699 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3282250-1304028699.cnf

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

MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=1665901290

node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16766068 kB
Buffers:       2332076 kB
Cached:       13203560 kB
SwapCached:          0 kB
Active:        7815380 kB
Inactive:      7799880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16766068 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18120 kB
Writeback:           0 kB
AnonPages:       78332 kB
Mapped:          14808 kB
Slab:           505936 kB
PageTables:       4880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   282772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72820 MiB
End job on node110 at 2011-04-29 00:31:43