Trace number 3394002

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 (fixed)UNSAT 2649.71 335.723

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p0.cnf
MD5SUM209f7789e3588d11f275f2003f2c6a67
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark335.143
Satisfiable
(Un)Satisfiability was proved
Number of variables259616
Number of clauses1374599
Sum of the clauses size3310772
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2982807
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 8 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3394002-1306078269.cnf'
0.00/0.04	c -- header says num vars:         259616
0.00/0.04	c -- header says num clauses:     1374599
9.27/1.58	c -- clauses added:            0 learnts,      1374599 normals,            0 xors
9.27/1.58	c -- vars added     259616
9.27/1.58	c Parsing time:  0.74 s
9.27/1.58	c  N st     0         0    259616    378643    981857         0   3295723         0   no data   no data
13.14/2.03	c asymm  cl-useful: 5/3196/332664 lits-rem:20 time: 0.44
123.38/15.85	c Flit:   473 Blit:   1122 bXBeca:    0 bXProp: 1148 Bins:      0 BRemL:      0 BRemN:      0 P: 200.2M T: 13.82
124.17/15.91	c Cleaning up after failed var search:     0.05 s 
124.97/16.00	c Replacing     1148 vars Replaced    33986 lits Time:     0.09 s 
125.77/16.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
126.56/16.23	c bin-w-bin subsume rem        36191 bins  time:  0.06 s
127.37/16.37	c subs with bin:     5505  lits-rem:     48131  v-fix:    0  time:  0.13 s
157.70/20.17	c Subs w/ non-existent bins:    605 l-rem:      0 v-fix:  2060 done:  11418 time:  3.79 s
160.90/20.51	c Removed useless bin:     626  fixed:     0  props:  20.00M  time:  0.33 s
168.88/21.57	c lits-rem:      2562  cl-subs:     7226  v-elim:  62995  v-fix:    0  time:  1.01 s
169.67/21.64	c Finding binary XORs  T:     0.07 s  found:     705
170.47/21.72	c Replacing      705 vars Replaced    14285 lits Time:     0.08 s 
171.27/21.88	c Finding non-binary XORs:     0.12 s (found:       0, avg size: nan)
171.27/21.88	c calculated reachability. Time: 0.00
172.14/21.92	c Calc default polars -  time:   0.04 s pos:   28157 undec:  134456 neg:   97003
172.14/21.92	c =========================================================================================
172.14/21.92	c types(t): F = full restart, N = normal restart
172.14/21.92	c types(t): S = simplification begin/end, E = solution found
172.14/21.92	c restart types(rt): st = static, dy = dynamic
172.14/21.92	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
172.14/21.92	c  B st     0         0    132860    405958    471578         0   2422025         0   no data   no data
212.67/27.02	c  N dy    14      4115    119335    386291    418409      3578   2192816    299251      8.18      8.69
227.81/28.95	c Finding binary XORs  T:     0.06 s  found:    3558
228.61/29.04	c Replacing     3558 vars Replaced   130052 lits Time:     0.09 s 
243.08/30.84	c  N dy    34      8277    104217    348766    382876      7165   1939624    567586      9.98     10.51
268.63/34.03	c  N dy    52     12372    103044    335629    391851     10952   1896847    926903     10.03     11.79
289.32/36.61	c Finding binary XORs  T:     0.06 s  found:    1966
290.11/36.70	c Replacing     1966 vars Replaced    87777 lits Time:     0.09 s 
298.90/37.84	c  N dy    74     16516     96768    294501    376855     14647   1729045   1316535     10.00     10.77
327.66/41.47	c  N dy    98     20552     94691    283401    377560      9459   1676724    386791     10.35     18.72
351.64/44.41	c Finding binary XORs  T:     0.06 s  found:    1884
351.64/44.49	c Replacing     1884 vars Replaced    65250 lits Time:     0.08 s 
354.03/44.72	c  N dy   118     24623     90942    263981    370038     13126   1588939    801382     10.39     13.81
355.63/44.94	c  F st   121     25001     90942    263981    370052     13485   1588939    856788     10.39      8.97
387.59/48.93	c  N dy   127     30000     90569    263978    370164     18212   1588764   1595762     10.39   no data
387.59/48.93	c  S st   127     30000     90569    263978    370164     18212   1588764   1595762     10.39   no data
399.58/50.41	c  S st   127     30501     90215    263978    381701     18541   1588764   1640318     10.39   no data
399.58/50.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
523.50/65.99	c Flit:   991 Blit:   2458 bXBeca:    0 bXProp: 1540 Bins:  47679 BRemL:   4472 BRemN:     24 P: 200.0M T: 15.53
524.30/66.06	c Cleaning up after failed var search:     0.06 s 
525.01/66.17	c Replacing     1541 vars Replaced    97598 lits Time:     0.11 s 
525.81/66.29	c blocked clauses removed:        0 vars:      0 tried:       81576 T: 0.05 s
526.61/66.33	c bin-w-bin subsume rem        26225 bins  time:  0.04 s
527.42/66.42	c subs with bin:     4090  lits-rem:      2976  v-fix:    0  time:  0.09 s
578.53/72.84	c Subs w/ non-existent bins:   2001 l-rem:    201 v-fix:   554 done:  28051 time:  6.42 s
580.13/73.07	c Removed useless bin:    1333  fixed:   589  props:  20.07M  time:  0.23 s
584.13/73.54	c lits-rem:       844  cl-subs:     9809  v-elim:   5614  v-fix:    0  time:  0.46 s
585.01/73.69	c subs with bin:      307  lits-rem:       572  v-fix:    0  time:  0.10 s
586.52/73.81	c lits-rem:        63  cl-subs:      543  v-elim:      0  v-fix:    0  time:  0.09 s
590.51/74.39	c asymm  cl-useful: 279/3770/194930 lits-rem:541 time: 0.58
591.31/74.42	c calculated reachability. Time: 0.00
591.31/74.42	c  N dy   127     30501     75373    194930    333423      7219   1277129    244572     10.39   no data
591.31/74.47	c Finding binary XORs  T:     0.05 s  found:     136
610.50/76.84	c  N dy   152     34552     75300    194930    333511     11104   1277129    617034     10.48     11.65
632.86/79.70	c  N dy   183     38752     70821    162746    323759     14692   1126601   1103191     10.92     11.56
640.84/80.68	c Finding binary XORs  T:     0.05 s  found:    1187
641.64/80.76	c Replacing     1323 vars Replaced    37864 lits Time:     0.08 s 
653.64/82.22	c  N dy   206     42768     69495    162525    318361      9754   1117674    389285     11.06     12.19
668.01/84.07	c  S st   226     45751     69490    162525    324847     12633   1117674    851403     11.37   no data
677.60/85.24	c  S st   226     46252     69462    162525    324923     12987   1117674    881582     11.37   no data
677.60/85.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
819.00/102.95	c Flit:  1074 Blit:   1367 bXBeca:    0 bXProp:  912 Bins:  58948 BRemL:   5192 BRemN:     22 P: 200.0M T: 17.66
819.00/102.99	c Cleaning up after failed var search:     0.04 s 
819.80/103.08	c Replacing      912 vars Replaced    39408 lits Time:     0.08 s 
820.60/103.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
820.60/103.17	c bin-w-bin subsume rem        16027 bins  time:  0.04 s
821.40/103.26	c subs with bin:     2475  lits-rem:      6155  v-fix:    0  time:  0.09 s
852.56/107.17	c Subs w/ non-existent bins:   1786 l-rem:    937 v-fix:    65 done:  35587 time:  3.91 s
855.76/107.54	c Removed useless bin:    6844  fixed:    66  props:  20.02M  time:  0.37 s
858.24/107.86	c lits-rem:        71  cl-subs:     6123  v-elim:   3128  v-fix:    0  time:  0.32 s
858.94/107.99	c subs with bin:      123  lits-rem:       363  v-fix:    0  time:  0.09 s
859.74/108.09	c lits-rem:        36  cl-subs:      186  v-elim:      0  v-fix:    0  time:  0.07 s
867.03/108.91	c asymm  cl-useful: 172/866/149310 lits-rem:197 time: 0.82
867.03/108.93	c calculated reachability. Time: 0.00
867.03/108.93	c  N dy   226     46252     62163    149310    317360      7642   1003625    304795     11.37   no data
867.03/108.98	c Finding binary XORs  T:     0.05 s  found:      34
882.12/110.89	c  N dy   240     50258     59409    136422    343328     11300    934807    704900     11.26     12.22
893.39/112.26	c Finding binary XORs  T:     0.05 s  found:     558
898.88/112.90	c  N dy   254     54429     59409    136422    343390     15361    934807   1127050     11.15     11.97
918.06/115.38	c  N dy   278     58437     59188    136422    354149     19207    934807   1614555     11.21     11.89
920.45/115.63	c Replacing      592 vars Replaced    28367 lits Time:     0.11 s 
937.32/117.73	c  N dy   297     62448     58489    134568    363850     23033    923737   2116117     11.20     13.85
946.11/118.84	c Finding binary XORs  T:     0.05 s  found:      40
958.80/120.48	c  N dy   325     66603     57184    126796    349009     14734    885222    847165     11.41     12.13
970.79/121.96	c  S st   347     69378     57102    126796    349608     17432    885222   1121732     11.52      8.89
978.78/122.96	c  S st   347     69881     57082    126796    349652     17875    885222   1160841     11.52   no data
979.58/123.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1126.58/141.42	c Flit:   611 Blit:    171 bXBeca:    0 bXProp:  292 Bins:  30953 BRemL:   1760 BRemN:     25 P: 200.0M T: 18.34
1126.58/141.46	c Cleaning up after failed var search:     0.03 s 
1127.38/141.54	c Replacing      332 vars Replaced    17195 lits Time:     0.07 s 
1127.38/141.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1128.18/141.63	c bin-w-bin subsume rem        23448 bins  time:  0.04 s
1128.98/141.72	c subs with bin:     2086  lits-rem:      4447  v-fix:    0  time:  0.09 s
1161.74/145.83	c Subs w/ non-existent bins:    872 l-rem:    702 v-fix:    11 done:  38969 time:  4.11 s
1165.01/146.23	c Removed useless bin:    7442  fixed:     0  props:  20.01M  time:  0.40 s
1167.32/146.54	c lits-rem:       128  cl-subs:     4588  v-elim:   2482  v-fix:    0  time:  0.30 s
1168.12/146.67	c subs with bin:      139  lits-rem:       308  v-fix:    0  time:  0.09 s
1168.92/146.77	c lits-rem:        68  cl-subs:      235  v-elim:      0  v-fix:    0  time:  0.07 s
1172.12/147.18	c vivif2 --  cl tried   118456 cl shrink     6191 lits rem       6774 time: 0.41
1172.92/147.24	c vivif2 --  cl tried     9951 cl shrink     3065 lits rem      27628 time: 0.06
1180.12/148.16	c asymm  cl-useful: 200/1077/116979 lits-rem:212 time: 0.92
1181.71/148.36	c calculated reachability. Time: 0.18
1181.71/148.36	c  N dy   347     69881     52715    116978    318304      9305    808178    366682     11.52   no data
1187.30/149.09	c Finding binary XORs  T:     0.73 s  found:       3
1207.28/151.50	c  N dy   360     75041     52696    116978    353117     14234    808178    798584     11.34     12.09
1228.84/154.22	c  N dy   375     79920     52264    116978    353242     18927    808178   1240409     11.19     12.94
1233.65/154.84	c Finding binary XORs  T:     0.60 s  found:      42
1260.00/158.11	c  N dy   396     85139     52252    115449    355610     23860    799296   1794033     11.12     12.07
1270.47/159.44	c  F st   407     87500     52240    115449    359903     13143    799296    571589     11.12   no data
1271.26/159.51	c Replacing       45 vars Replaced     1622 lits Time:     0.05 s 
1289.55/161.87	c  N st   412     90807     52167    115266    359405     16338    797904   1031494     11.12   no data
1309.53/164.36	c Finding binary XORs  T:     0.59 s  found:      83
1327.91/166.67	c  N dy   429     96828     51686    114672    419685     22144    790632   2000173     11.11     11.73
1360.66/170.78	c  N dy   461    103009     51398    114672    421889     28155    790632   2722170     11.16     12.03
1371.85/172.18	c  S st   474    104823     51397    114672    421914     29929    790632   2935956     11.22   no data
1379.84/173.18	c  S st   474    105325     51397    114672    422733     30370    790632   2971348     11.22   no data
1380.63/173.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1527.65/191.68	c Flit:   577 Blit:    102 bXBeca:    0 bXProp:  263 Bins:  25695 BRemL:   1234 BRemN:      9 P: 200.0M T: 18.36
1528.45/191.72	c Cleaning up after failed var search:     0.04 s 
1529.25/191.82	c Replacing      347 vars Replaced    33490 lits Time:     0.10 s 
1529.25/191.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1530.05/191.94	c bin-w-bin subsume rem        38883 bins  time:  0.07 s
1530.85/192.03	c subs with bin:     2088  lits-rem:      1276  v-fix:    0  time:  0.09 s
1558.81/195.59	c Subs w/ non-existent bins:    278 l-rem:    409 v-fix:     1 done:  42811 time:  3.56 s
1561.99/195.91	c Removed useless bin:    5961  fixed:     0  props:  20.00M  time:  0.32 s
1563.59/196.18	c lits-rem:        46  cl-subs:     4669  v-elim:   2373  v-fix:    0  time:  0.27 s
1566.00/196.47	c subs with bin:      170  lits-rem:      1432  v-fix:    0  time:  0.24 s
1566.80/196.58	c lits-rem:       330  cl-subs:      302  v-elim:      0  v-fix:    0  time:  0.09 s
1571.59/197.12	c vivif2 --  cl tried   109844 cl shrink     3261 lits rem       4161 time: 0.54
1572.38/197.27	c vivif2 --  cl tried    14271 cl shrink     2818 lits rem      44834 time: 0.15
1579.58/198.15	c asymm  cl-useful: 238/1114/109122 lits-rem:243 time: 0.88
1581.98/198.41	c calculated reachability. Time: 0.24
1581.98/198.41	c  N dy   474    105325     47605    109122    363009     13943    734057    606319     11.22   no data
1589.97/199.46	c Finding binary XORs  T:     1.05 s  found:       1
1620.33/203.27	c Finding binary XORs  T:     0.78 s  found:      11
1625.11/203.88	c  N dy   499    112202     46688    104241    417689     10461    715082    619233     11.16     11.86
1658.67/208.04	c  N dy   527    119567     46367    104241    430144     17637    715081   1425459     11.07     11.84
1697.83/212.90	c  N dy   561    128214     46246    104241    430619     26045    715081   2242435     11.02     11.75
1720.99/215.89	c Finding binary XORs  T:     0.79 s  found:      11
1745.84/218.96	c  N dy   603    136617     46229    101968    429242     33951    705385   3067835     11.07     11.81
1789.79/224.47	c  N dy   640    145450     46205    101968    429700     25507    705385   1605133     11.01     11.84
1837.64/230.43	c  N dy   688    154814     45952    101968    430558     34616    705385   2573505     11.07     11.73
1854.43/232.58	c  S st   704    157989     45930    101968    430604     37706    705385   2917834     11.11   no data
1861.61/233.47	c  S st   704    158489     45930    101968    430630     38173    705385   2946749     11.11   no data
1862.41/233.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1996.63/250.36	c Flit:   627 Blit:    121 bXBeca:    0 bXProp:  170 Bins:  38494 BRemL:   3505 BRemN:      7 P: 200.0M T: 16.79
1997.44/250.40	c Cleaning up after failed var search:     0.04 s 
1998.24/250.52	c Replacing      193 vars Replaced    27621 lits Time:     0.11 s 
1998.24/250.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1999.04/250.61	c bin-w-bin subsume rem        21530 bins  time:  0.05 s
1999.92/250.71	c subs with bin:      908  lits-rem:       673  v-fix:    0  time:  0.09 s
2023.01/253.62	c Subs w/ non-existent bins:     66 l-rem:     90 v-fix:     0 done:  44860 time:  2.90 s
2025.40/253.93	c Removed useless bin:    4224  fixed:     0  props:  15.03M  time:  0.31 s
2027.08/254.16	c lits-rem:        30  cl-subs:     2133  v-elim:   1960  v-fix:    0  time:  0.23 s
2032.59/254.84	c subs with bin:      269  lits-rem:      2353  v-fix:    0  time:  0.63 s
2034.19/255.02	c lits-rem:       769  cl-subs:      619  v-elim:      0  v-fix:    0  time:  0.15 s
2038.18/255.57	c vivif2 --  cl tried    99188 cl shrink     2559 lits rem       3155 time: 0.55
2039.78/255.79	c vivif2 --  cl tried    22407 cl shrink     5638 lits rem     109333 time: 0.22
2046.97/256.66	c asymm  cl-useful: 129/1067/98697 lits-rem:138 time: 0.87
2049.37/256.92	c calculated reachability. Time: 0.24
2049.37/256.92	c  N dy   704    158489     42900     98697    392009     22178    666195    857342     11.11   no data
2057.36/257.96	c Finding binary XORs  T:     1.04 s  found:       9
2086.13/261.59	c Finding binary XORs  T:     0.85 s  found:      51
2104.50/263.82	c  N dy   734    168647     42188     96204    462887     19191    654098   1078708     11.03     14.39
2128.47/266.87	c Finding binary XORs  T:     0.84 s  found:      61
2150.83/269.69	c  N dy   761    179511     42020     95810    492490     29575    650939   1888923     10.92     12.80
2194.08/275.09	c Finding binary XORs  T:     0.84 s  found:      34
2217.96/278.09	c  N dy   797    192549     41827     94349    479722     21968    643708   1017602     10.81     11.78
2273.18/284.93	c  N dy   846    204905     41769     94349    480789     34065    643708   1974813     10.78     18.57
2335.40/292.79	c  N dy   882    218305     41740     94349    481889     47168    643708   3337255     10.67     11.35
2401.72/301.04	c  N dy   933    232360     41544     94349    482905     37269    643708   1986694     10.62     11.23
2428.88/304.49	c  S st   963    237735     41426     94349    483764     42542    643708   2438792     10.63   no data
2436.07/305.32	c  S st   963    238237     41422     94349    483783     43020    643708   2469908     10.63   no data
2436.07/305.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2571.98/322.36	c Flit:   509 Blit:    156 bXBeca:    0 bXProp:  196 Bins:  19239 BRemL:    475 BRemN:     74 P: 200.0M T: 16.95
2572.69/322.40	c Cleaning up after failed var search:     0.04 s 
2573.49/322.50	c Replacing      351 vars Replaced    36151 lits Time:     0.09 s 
2573.49/322.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2574.30/322.60	c bin-w-bin subsume rem        32805 bins  time:  0.05 s
2574.30/322.69	c subs with bin:     1133  lits-rem:       237  v-fix:    0  time:  0.09 s
2592.67/324.94	c Subs w/ non-existent bins:     69 l-rem:     35 v-fix:     0 done:  40233 time:  2.25 s
2594.27/325.15	c Removed useless bin:    2472  fixed:     0  props:   8.97M  time:  0.21 s
2595.87/325.38	c lits-rem:        42  cl-subs:     1435  v-elim:   1775  v-fix:    0  time:  0.22 s
2601.46/326.01	c subs with bin:      556  lits-rem:      5200  v-fix:    0  time:  0.58 s
2603.07/326.21	c lits-rem:      1472  cl-subs:      843  v-elim:      0  v-fix:    0  time:  0.18 s
2606.34/326.71	c vivif2 --  cl tried    89148 cl shrink     2409 lits rem       2781 time: 0.49
2608.66/326.99	c vivif2 --  cl tried    28309 cl shrink     7902 lits rem     137274 time: 0.28
2615.93/327.81	c asymm  cl-useful: 208/1499/88559 lits-rem:262 time: 0.82
2617.44/328.05	c calculated reachability. Time: 0.22
2617.44/328.05	c  N dy   963    238237     38458     88557    386651     27845    601167    873553     10.63   no data
2626.23/329.14	c Finding binary XORs  T:     1.09 s  found:      15
2649.49/335.51	c Following stats are for *FIRST FINISHED THREAD ONLY*
2649.49/335.51	c num threads              : 8          
2649.49/335.51	c restarts                 : 1177       
2649.49/335.51	c dynamic restarts         : 1153       
2649.49/335.51	c static restarts          : 24         
2649.49/335.51	c full restarts            : 3          
2649.49/335.51	c total simplify time      : 16.85      
2649.49/335.51	c learnts DL2              : 0          
2649.49/335.51	c learnts size 2           : 1922489    
2649.49/335.51	c learnts size 1           : 171690      (66.13     % of vars)
2649.49/335.51	c filedLit time            : 38.18       (11.43     % time)
2649.49/335.51	c v-elim SatELite          : 32398       (12.48     % vars)
2649.49/335.51	c SatELite time            : 10.51       (3.15      % time)
2649.49/335.51	c v-elim xor               : 0           (0.00      % vars)
2649.49/335.51	c xor elim time            : 0.11        (0.03      % time)
2649.49/335.51	c num binary xor trees     : 9926       
2649.49/335.51	c binxor trees' crown      : 22666       (2.28      leafs/tree)
2649.49/335.51	c bin xor find time        : 13.61      
2649.49/335.51	c OTF clause improved      : 3017        (0.01      clauses/conflict)
2649.49/335.51	c OTF impr. size diff      : 9744        (3.23       lits/clause)
2649.49/335.51	c OTF cl watch-shrink      : 227030      (0.71      clauses/conflict)
2649.49/335.51	c OTF cl watch-sh-lit      : 2904172     (12.79      lits/clause)
2649.49/335.51	c tried to recurMin cls    : 182835      (57.18      % of conflicts)
2649.49/335.51	c updated cache            : 119407      (0.65       lits/tried recurMin)
2649.49/335.51	c unit cls recevied        : 15229       (8.87      % of units)
2649.49/335.51	c unit cls sent            : 119984      (69.88     % of units)
2649.49/335.51	c bin cls recevied         : 703158     
2649.49/335.51	c bin cls sent             : 283492     
2649.49/335.51	c clauses over max glue    : 0           (0.00      % of all clauses)
2649.49/335.51	c conflicts                : 319762      (957.21    / sec)
2649.49/335.51	c decisions                : 1487212     (2.39      % random)
2649.49/335.51	c bogo-props               : 4683662712  (14020540.50 / sec)
2649.49/335.51	c conflict literals        : 38227390    (29.44     % deleted)
2649.49/335.51	c Memory used              : 5565.48     MB
2649.49/335.51	c single-thread CPU time   : 334.06      s
2649.49/335.51	c all-threads sum CPU time : 2641.69     s
2649.49/335.51	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3394002-1306078269/watcher-3394002-1306078269 -o /tmp/evaluation-result-3394002-1306078269/solver-3394002-1306078269 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394002-1306078269.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 5.21 7.12 7.66 3/320 21913
/proc/meminfo: memFree=19988644/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=92144 CPUtime=0.02 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) R 21911 21913 21808 0 -1 4202496 412 0 0 0 2 0 0 0 22 0 8 0 798057553 94355456 352 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703532 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 23036 352 299 95 0 18018 0
[pid=21913/tid=21914] ppid=21911 vsize=92144 CPUtime=0 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 798057553 94355456 352 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703532 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=92144 CPUtime=0 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 798057553 94355456 352 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=92144 CPUtime=0 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 798057553 94355456 352 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=92144 CPUtime=0 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 798057553 94355456 352 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703538 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=92144 CPUtime=0 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 798057553 94355456 352 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703536 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=92144 CPUtime=0 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 798057553 94355456 352 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703538 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=92144 CPUtime=0 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 798057553 94355456 352 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703538 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.067372 s]
/proc/loadavg: 5.21 7.12 7.66 3/320 21913
/proc/meminfo: memFree=19988644/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=597868 CPUtime=0.34 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) D 21911 21913 21808 0 -1 4202496 21818 0 0 0 29 5 0 0 18 0 8 0 798057553 612216832 18114 33554432000 4194304 4580107 140733681207600 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 149587 18119 338 95 0 144569 0
[pid=21913/tid=21914] ppid=21911 vsize=598348 CPUtime=0.04 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) D 21911 21913 21808 0 -1 4202560 2073 0 0 0 4 0 0 0 17 0 8 0 798057553 612708352 18119 33554432000 4194304 4580107 140733681207600 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=599792 CPUtime=0.02 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 2068 0 0 0 2 0 0 0 17 0 8 0 798057553 614187008 18119 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 7 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=598828 CPUtime=0.02 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 2521 0 0 0 2 0 0 0 18 0 8 0 798057553 613199872 18130 33554432000 4194304 4580107 140733681207600 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=598828 CPUtime=0.03 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 3150 0 0 0 3 0 0 0 18 0 8 0 798057553 613199872 18164 33554432000 4194304 4580107 140733681207600 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=598828 CPUtime=0.04 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 3325 0 0 0 3 1 0 0 18 0 8 0 798057553 613199872 18201 33554432000 4194304 4580107 140733681207600 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=598828 CPUtime=0.04 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 2990 0 0 0 4 0 0 0 18 0 8 0 798057553 613199872 18231 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020093024 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=598828 CPUtime=0.03 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 2006 0 0 0 3 0 0 0 17 0 8 0 798057553 613199872 18265 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020093024 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 597868

[startup+0.102057 s]
/proc/loadavg: 5.21 7.12 7.66 3/320 21913
/proc/meminfo: memFree=19988644/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=652768 CPUtime=0.56 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) R 21911 21913 21808 0 -1 4202496 57482 0 0 0 42 14 0 0 18 0 8 0 798057553 668434432 45266 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020439223 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 163597 45666 338 95 0 158579 0
[pid=21913/tid=21914] ppid=21911 vsize=654388 CPUtime=0.07 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 5275 0 0 0 6 1 0 0 17 0 8 0 798057553 670093312 45696 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=654388 CPUtime=0.04 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 5123 0 0 0 3 1 0 0 17 0 8 0 798057553 670093312 45726 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 7 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=654388 CPUtime=0.05 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 6563 0 0 0 4 1 0 0 17 0 8 0 798057553 670093312 45751 33554432000 4194304 4580107 140733681207600 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=654388 CPUtime=0.07 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) D 21911 21913 21808 0 -1 4202560 8640 0 0 0 5 2 0 0 18 0 8 0 798057553 670093312 45774 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020093128 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=654388 CPUtime=0.07 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 9249 0 0 0 5 2 0 0 18 0 8 0 798057553 670093312 45775 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020093113 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=654388 CPUtime=0.07 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 7974 0 0 0 6 1 0 0 18 0 8 0 798057553 670093312 45814 33554432000 4194304 4580107 140733681207600 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=654388 CPUtime=0.05 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 5659 0 0 0 4 1 0 0 17 0 8 0 798057553 670093312 45851 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020093024 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 652768

[startup+0.306359 s]
/proc/loadavg: 5.21 7.12 7.66 3/320 21913
/proc/meminfo: memFree=19988644/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=1056732 CPUtime=1.94 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) R 21911 21913 21808 0 -1 4202496 171563 0 0 0 146 48 0 0 17 0 8 0 798057553 1082093568 138340 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020501023 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 264183 138340 338 95 0 259165 0
[pid=21913/tid=21914] ppid=21911 vsize=1056732 CPUtime=0.23 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 18275 0 0 0 19 4 0 0 17 0 8 0 798057553 1082093568 138340 33554432000 4194304 4580107 140733681207600 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=1056732 CPUtime=0.2 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 23587 0 0 0 14 6 0 0 17 0 8 0 798057553 1082093568 138340 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020056773 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=1056732 CPUtime=0.22 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 21260 0 0 0 17 5 0 0 18 0 8 0 798057553 1082093568 138340 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 3 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=1056732 CPUtime=0.26 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 21238 0 0 0 20 6 0 0 18 0 8 0 798057553 1082093568 138340 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=1056732 CPUtime=0.25 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) D 21911 21913 21808 0 -1 4202560 20483 0 0 0 19 6 0 0 18 0 8 0 798057553 1082093568 138340 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020439223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=1056732 CPUtime=0.24 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 20793 0 0 0 19 5 0 0 17 0 8 0 798057553 1082093568 138340 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=1056732 CPUtime=0.22 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 23923 0 0 0 16 6 0 0 17 0 8 0 798057553 1082093568 138340 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 1056732

[startup+0.701258 s]
/proc/loadavg: 5.21 7.12 7.66 3/320 21913
/proc/meminfo: memFree=19988644/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=1066652 CPUtime=4.56 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) R 21911 21913 21808 0 -1 4202496 192682 0 0 0 308 148 0 0 17 0 8 0 798057553 1092251648 159459 33554432000 4194304 4580107 140733681207600 18446744073709551615 4512165 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 266663 159460 338 95 0 261645 0
[pid=21913/tid=21914] ppid=21911 vsize=1066652 CPUtime=0.56 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 20478 0 0 0 41 15 0 0 17 0 8 0 798057553 1092251648 159460 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=1066652 CPUtime=0.52 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 25403 0 0 0 33 19 0 0 17 0 8 0 798057553 1092251648 159461 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=1066652 CPUtime=0.57 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 24215 0 0 0 38 19 0 0 17 0 8 0 798057553 1092251648 159462 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 3 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=1066652 CPUtime=0.58 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 24466 0 0 0 39 19 0 0 17 0 8 0 798057553 1092251648 159463 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=1066652 CPUtime=0.59 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 23645 0 0 0 39 20 0 0 17 0 8 0 798057553 1092251648 159463 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 5 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=1066652 CPUtime=0.56 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 23562 0 0 0 40 16 0 0 17 0 8 0 798057553 1092251648 159463 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=1066652 CPUtime=0.54 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 26075 0 0 0 35 19 0 0 17 0 8 0 798057553 1092251648 159465 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 18446604445037777152 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 1066652

[startup+1.50111 s]
/proc/loadavg: 5.21 7.12 7.66 8/328 21921
/proc/meminfo: memFree=19284276/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=1549484 CPUtime=9.27 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) R 21911 21913 21808 0 -1 4202496 264343 0 0 0 580 347 0 0 16 0 8 0 798057553 1586671616 230071 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020395835 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 387371 230073 343 95 0 382353 0
[pid=21913/tid=21914] ppid=21911 vsize=1549484 CPUtime=1.16 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 28004 0 0 0 76 40 0 0 16 0 8 0 798057553 1586671616 230076 33554432000 4194304 4580107 140733681207600 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=1549484 CPUtime=1.1 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 34733 0 0 0 65 45 0 0 16 0 8 0 798057553 1586671616 230077 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=1549484 CPUtime=1.15 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 34051 0 0 0 70 45 0 0 16 0 8 0 798057553 1586671616 230077 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=1549484 CPUtime=1.21 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 34211 0 0 0 80 41 0 0 16 0 8 0 798057553 1586671616 230077 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=1549484 CPUtime=1.17 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 32784 0 0 0 71 46 0 0 16 0 8 0 798057553 1586671616 230078 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=1549484 CPUtime=1.13 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 31102 0 0 0 72 41 0 0 16 0 8 0 798057553 1586671616 230080 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=1549484 CPUtime=1.15 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 35829 0 0 0 69 46 0 0 16 0 8 0 798057553 1586671616 230081 33554432000 4194304 4580107 140733681207600 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.27
Current children cumulated vsize (KiB) 1549484

[startup+3.10082 s]
/proc/loadavg: 5.52 7.15 7.67 10/328 21921
/proc/meminfo: memFree=19001060/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=1652736 CPUtime=21.93 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) R 21911 21913 21808 0 -1 4202496 284013 0 0 0 1828 365 0 0 17 0 8 0 798057553 1692401664 248873 33554432000 4194304 4580107 140733681207600 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 413184 248873 361 95 0 408166 0
[pid=21913/tid=21914] ppid=21911 vsize=1652736 CPUtime=2.73 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 31679 0 0 0 230 43 0 0 17 0 8 0 798057553 1692401664 248873 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=1652736 CPUtime=2.67 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 37119 0 0 0 219 48 0 0 17 0 8 0 798057553 1692401664 248873 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=1652736 CPUtime=2.73 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 36571 0 0 0 226 47 0 0 18 0 8 0 798057553 1692401664 248873 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=1652736 CPUtime=2.8 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 35848 0 0 0 238 42 0 0 18 0 8 0 798057553 1692401664 248873 33554432000 4194304 4580107 140733681207600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=1652736 CPUtime=2.76 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 33189 0 0 0 229 47 0 0 18 0 8 0 798057553 1692401664 248873 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=1652736 CPUtime=2.71 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 33213 0 0 0 228 43 0 0 17 0 8 0 798057553 1692401664 248873 33554432000 4194304 4580107 140733681207600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=1652736 CPUtime=2.72 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 41370 0 0 0 223 49 0 0 18 0 8 0 798057553 1692401664 248873 33554432000 4194304 4580107 140733681207600 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 21.93
Current children cumulated vsize (KiB) 1652736

[startup+6.30123 s]
/proc/loadavg: 5.52 7.15 7.67 9/328 21921
/proc/meminfo: memFree=18988680/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=1654688 CPUtime=47.49 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) R 21911 21913 21808 0 -1 4202496 286012 0 0 0 4383 366 0 0 25 0 8 0 798057553 1694400512 250460 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 413672 250460 361 95 0 408654 0
[pid=21913/tid=21914] ppid=21911 vsize=1654688 CPUtime=5.93 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 31680 0 0 0 550 43 0 0 25 0 8 0 798057553 1694400512 250460 33554432000 4194304 4580107 140733681207600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=1654688 CPUtime=5.87 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 37119 0 0 0 539 48 0 0 25 0 8 0 798057553 1694400512 250460 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=1654688 CPUtime=5.93 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 36577 0 0 0 546 47 0 0 25 0 8 0 798057553 1694400512 250460 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=1654688 CPUtime=6 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 35852 0 0 0 558 42 0 0 25 0 8 0 798057553 1694400512 250460 33554432000 4194304 4580107 140733681207600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=1654688 CPUtime=5.93 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 33193 0 0 0 546 47 0 0 25 0 8 0 798057553 1694400512 250460 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=1654688 CPUtime=5.91 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 33218 0 0 0 547 44 0 0 25 0 8 0 798057553 1694400512 250460 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=1654688 CPUtime=5.93 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 43344 0 0 0 542 51 0 0 25 0 8 0 798057553 1694400512 250460 33554432000 4194304 4580107 140733681207600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0

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

/proc/loadavg: 8.10 7.74 7.77 9/328 21929
/proc/meminfo: memFree=15351716/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=5473284 CPUtime=2450.45 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) R 21911 21913 21808 0 -1 4202496 1820929 0 0 0 244293 752 0 0 25 0 8 0 798057553 5604642816 1158105 33554432000 4194304 4580107 140733681207600 18446744073709551615 4235181 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 1368321 1158105 380 95 0 1363303 0
[pid=21913/tid=21914] ppid=21911 vsize=5473284 CPUtime=306.71 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 198656 0 0 0 30590 81 0 0 25 0 8 0 798057553 5604642816 1158105 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=5473284 CPUtime=306.62 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 226239 0 0 0 30560 102 0 0 25 0 8 0 798057553 5604642816 1158105 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=5473284 CPUtime=303.8 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 231793 0 0 0 30283 97 0 0 25 0 8 0 798057553 5604642816 1158105 33554432000 4194304 4580107 140733681207600 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=5473284 CPUtime=306.72 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 233285 0 0 0 30586 86 0 0 25 0 8 0 798057553 5604642816 1158105 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=5473284 CPUtime=306.48 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 233296 0 0 0 30549 99 0 0 25 0 8 0 798057553 5604642816 1158105 33554432000 4194304 4580107 140733681207600 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=5473284 CPUtime=306.68 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 229901 0 0 0 30576 92 0 0 25 0 8 0 798057553 5604642816 1158105 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=5473284 CPUtime=306.7 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 233601 0 0 0 30567 103 0 0 25 0 8 0 798057553 5604642816 1158105 33554432000 4194304 4580107 140733681207600 18446744073709551615 4497276 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2450.45
Current children cumulated vsize (KiB) 5473284

[startup+319.901 s]
/proc/loadavg: 8.08 7.75 7.77 9/328 21929
/proc/meminfo: memFree=15196732/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=5690852 CPUtime=2552.72 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) R 21911 21913 21808 0 -1 4202496 1891756 0 0 0 254503 769 0 0 25 0 8 0 798057553 5827432448 1199188 33554432000 4194304 4580107 140733681207600 18446744073709551615 4238480 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 1422713 1199188 380 95 0 1417695 0
[pid=21913/tid=21914] ppid=21911 vsize=5690852 CPUtime=319.52 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 213195 0 0 0 31865 87 0 0 25 0 8 0 798057553 5827432448 1199188 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=5690852 CPUtime=319.42 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 228682 0 0 0 31840 102 0 0 25 0 8 0 798057553 5827432448 1199188 33554432000 4194304 4580107 140733681207600 18446744073709551615 4320512 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=5690852 CPUtime=316.48 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 241879 0 0 0 31548 100 0 0 25 0 8 0 798057553 5827432448 1199188 33554432000 4194304 4580107 140733681207600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=5690852 CPUtime=319.52 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 234964 0 0 0 31865 87 0 0 25 0 8 0 798057553 5827432448 1199188 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=5690852 CPUtime=319.29 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 235322 0 0 0 31828 101 0 0 25 0 8 0 798057553 5827432448 1199188 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=5690852 CPUtime=319.47 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 260142 0 0 0 31853 94 0 0 25 0 8 0 798057553 5827432448 1199188 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=5690852 CPUtime=319.5 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 235464 0 0 0 31846 104 0 0 25 0 8 0 798057553 5827432448 1199188 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2552.72
Current children cumulated vsize (KiB) 5690852

[startup+326.301 s]
/proc/loadavg: 8.07 7.75 7.77 9/328 21929
/proc/meminfo: memFree=15115632/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=5752076 CPUtime=2603.87 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) R 21911 21913 21808 0 -1 4202496 1917491 0 0 0 259609 778 0 0 25 0 8 0 798057553 5890125824 1219439 33554432000 4194304 4580107 140733681207600 18446744073709551615 4502102 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 1438019 1219439 380 95 0 1433001 0
[pid=21913/tid=21914] ppid=21911 vsize=5752076 CPUtime=325.92 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 215323 0 0 0 32504 88 0 0 25 0 8 0 798057553 5890125824 1219439 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=5752076 CPUtime=325.82 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 229528 0 0 0 32479 103 0 0 25 0 8 0 798057553 5890125824 1219439 33554432000 4194304 4580107 140733681207600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=5752076 CPUtime=322.81 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 250786 0 0 0 32177 104 0 0 25 0 8 0 798057553 5890125824 1219439 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=5752076 CPUtime=325.92 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 236733 0 0 0 32505 87 0 0 25 0 8 0 798057553 5890125824 1219439 33554432000 4194304 4580107 140733681207600 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=5752076 CPUtime=325.69 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 235965 0 0 0 32468 101 0 0 25 0 8 0 798057553 5890125824 1219439 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=5752076 CPUtime=325.88 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 260307 0 0 0 32493 95 0 0 25 0 8 0 798057553 5890125824 1219439 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=5752076 CPUtime=325.9 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 241362 0 0 0 32485 105 0 0 25 0 8 0 798057553 5890125824 1219439 33554432000 4194304 4580107 140733681207600 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2603.87
Current children cumulated vsize (KiB) 5752076

[startup+332.701 s]
/proc/loadavg: 7.66 7.68 7.75 4/328 21929
/proc/meminfo: memFree=15072364/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=5699052 CPUtime=2643.37 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) S 21911 21913 21808 0 -1 4202496 1926423 0 0 0 263557 780 0 0 25 0 8 0 798057553 5835829248 1227536 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 1424763 1227536 380 95 0 1419745 0
[pid=21913/tid=21914] ppid=21911 vsize=5699052 CPUtime=332.31 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 218334 0 0 0 33143 88 0 0 25 0 8 0 798057553 5835829248 1227536 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=5699052 CPUtime=329.88 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 229999 0 0 0 32885 103 0 0 25 0 8 0 798057553 5835829248 1227536 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 1 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=5699052 CPUtime=329.17 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 254518 0 0 0 32812 105 0 0 25 0 8 0 798057553 5835829248 1227536 33554432000 4194304 4580107 140733681207600 18446744073709551615 4515212 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=5699052 CPUtime=329.98 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 237228 0 0 0 32911 87 0 0 25 0 8 0 798057553 5835829248 1227536 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=5699052 CPUtime=329.75 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 236056 0 0 0 32874 101 0 0 25 0 8 0 798057553 5835829248 1227536 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 3 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=5699052 CPUtime=329.99 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 260351 0 0 0 32904 95 0 0 25 0 8 0 798057553 5835829248 1227536 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=5699052 CPUtime=332.29 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 242419 0 0 0 33124 105 0 0 25 0 8 0 798057553 5835829248 1227536 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990678724 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2643.37
Current children cumulated vsize (KiB) 5699052

[startup+334.301 s]
/proc/loadavg: 7.66 7.68 7.75 3/328 21929
/proc/meminfo: memFree=15071496/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=5699052 CPUtime=2647.09 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) S 21911 21913 21808 0 -1 4202496 1926575 0 0 0 263929 780 0 0 25 0 8 0 798057553 5835829248 1227688 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 1424763 1227688 380 95 0 1419745 0
[pid=21913/tid=21914] ppid=21911 vsize=5699052 CPUtime=332.81 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 218335 0 0 0 33193 88 0 0 25 0 8 0 798057553 5835829248 1227688 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=5699052 CPUtime=329.88 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 229999 0 0 0 32885 103 0 0 25 0 8 0 798057553 5835829248 1227688 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 1 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=5699052 CPUtime=330.78 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 254669 0 0 0 32973 105 0 0 25 0 8 0 798057553 5835829248 1227688 33554432000 4194304 4580107 140733681207600 18446744073709551615 4502108 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=5699052 CPUtime=329.98 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 237228 0 0 0 32911 87 0 0 25 0 8 0 798057553 5835829248 1227688 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=5699052 CPUtime=329.75 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 236056 0 0 0 32874 101 0 0 25 0 8 0 798057553 5835829248 1227688 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 3 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=5699052 CPUtime=329.99 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 260351 0 0 0 32904 95 0 0 25 0 8 0 798057553 5835829248 1227688 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=5699052 CPUtime=333.9 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 242419 0 0 0 33285 105 0 0 25 0 8 0 798057553 5835829248 1227688 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990678724 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2647.09
Current children cumulated vsize (KiB) 5699052

[startup+335.101 s]
/proc/loadavg: 7.66 7.68 7.75 3/328 21929
/proc/meminfo: memFree=15071496/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=5699052 CPUtime=2648.67 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) S 21911 21913 21808 0 -1 4202496 1926721 0 0 0 264087 780 0 0 25 0 8 0 798057553 5835829248 1227834 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 1424763 1227834 380 95 0 1419745 0
[pid=21913/tid=21914] ppid=21911 vsize=5699052 CPUtime=332.81 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 218335 0 0 0 33193 88 0 0 25 0 8 0 798057553 5835829248 1227834 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=5699052 CPUtime=329.88 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 229999 0 0 0 32885 103 0 0 25 0 8 0 798057553 5835829248 1227834 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 1 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=5699052 CPUtime=331.57 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 254815 0 0 0 33052 105 0 0 25 0 8 0 798057553 5835829248 1227834 33554432000 4194304 4580107 140733681207600 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=5699052 CPUtime=329.98 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 237228 0 0 0 32911 87 0 0 25 0 8 0 798057553 5835829248 1227834 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=5699052 CPUtime=329.75 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 236056 0 0 0 32874 101 0 0 25 0 8 0 798057553 5835829248 1227834 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 3 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=5699052 CPUtime=329.99 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 260351 0 0 0 32904 95 0 0 25 0 8 0 798057553 5835829248 1227834 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=5699052 CPUtime=334.69 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 242419 0 0 0 33364 105 0 0 25 0 8 0 798057553 5835829248 1227834 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990678724 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2648.67
Current children cumulated vsize (KiB) 5699052

[startup+335.511 s]
/proc/loadavg: 7.66 7.68 7.75 3/328 21929
/proc/meminfo: memFree=15070876/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=5699052 CPUtime=2649.49 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) S 21911 21913 21808 0 -1 4202496 1926722 0 0 0 264169 780 0 0 25 0 8 0 798057553 5835829248 1227835 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 1424763 1227835 380 95 0 1419745 0
[pid=21913/tid=21914] ppid=21911 vsize=5699052 CPUtime=332.81 cores=0-7
/proc/21913/task/21914/stat : 21914 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 218335 0 0 0 33193 88 0 0 25 0 8 0 798057553 5835829248 1227835 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 4 0 0 0
[pid=21913/tid=21915] ppid=21911 vsize=5699052 CPUtime=329.88 cores=0-7
/proc/21913/task/21915/stat : 21915 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 229999 0 0 0 32885 103 0 0 25 0 8 0 798057553 5835829248 1227835 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 1 0 0 0
[pid=21913/tid=21916] ppid=21911 vsize=5699052 CPUtime=331.98 cores=0-7
/proc/21913/task/21916/stat : 21916 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 254816 0 0 0 33093 105 0 0 25 0 8 0 798057553 5835829248 1227835 33554432000 4194304 4580107 140733681207600 18446744073709551615 4387146 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21913/tid=21917] ppid=21911 vsize=5699052 CPUtime=329.98 cores=0-7
/proc/21913/task/21917/stat : 21917 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 237228 0 0 0 32911 87 0 0 25 0 8 0 798057553 5835829248 1227835 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 6 0 0 0
[pid=21913/tid=21918] ppid=21911 vsize=5699052 CPUtime=329.75 cores=0-7
/proc/21913/task/21918/stat : 21918 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 236056 0 0 0 32874 101 0 0 25 0 8 0 798057553 5835829248 1227835 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 3 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=5699052 CPUtime=329.99 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) S 21911 21913 21808 0 -1 4202560 260351 0 0 0 32904 95 0 0 25 0 8 0 798057553 5835829248 1227835 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990703156 0 0 4096 2 18446604445037777152 0 0 -1 2 0 0 0
[pid=21913/tid=21920] ppid=21911 vsize=5699052 CPUtime=335.1 cores=0-7
/proc/21913/task/21920/stat : 21920 (strangenight2-m) R 21911 21913 21808 0 -1 4202560 242419 0 0 0 33405 105 0 0 25 0 8 0 798057553 5835829248 1227835 33554432000 4194304 4580107 140733681207600 18446744073709551615 47068990678571 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2649.49
Current children cumulated vsize (KiB) 5699052

[startup+335.701 s]
/proc/loadavg: 7.66 7.68 7.75 3/328 21929
/proc/meminfo: memFree=15070876/32951124 swapFree=67083432/67111528
[pid=21913] ppid=21911 vsize=0 CPUtime=2649.68 cores=0-7
/proc/21913/stat : 21913 (strangenight2-m) Z 21911 21913 21808 0 -1 4203548 1926725 0 0 0 264169 799 0 0 18 0 2 0 798057553 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21913/statm: 0 0 0 0 0 0 0
[pid=21913/tid=21919] ppid=21911 vsize=0 CPUtime=330.17 cores=0-7
/proc/21913/task/21919/stat : 21919 (strangenight2-m) R 21911 21913 21808 0 -1 4203588 260351 0 0 0 32904 113 0 0 18 0 2 0 798057553 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2649.68
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 335.723
CPU time (s): 2649.71
CPU user time (s): 2641.69
CPU system time (s): 8.01878
CPU usage (%): 789.255
Max. virtual memory (cumulated for all children) (KiB): 5865484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2641.69
system time used= 8.01878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1926725
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= 434214
involuntary context switches= 11319

runsolver used 0.966853 second user time and 2.50462 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-22 17:31:10
IDJOB=3394002
IDBENCH=71037
IDSOLVER=1878
FILE ID=node110/3394002-1306078269
RUNJOBID= node110-1306077871-21822
PBS_JOBID= 13387909
Free space on /tmp= 73316 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394002-1306078269/watcher-3394002-1306078269 -o /tmp/evaluation-result-3394002-1306078269/solver-3394002-1306078269 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394002-1306078269.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED=1129766740

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:      19989048 kB
Buffers:        320152 kB
Cached:        8684692 kB
SwapCached:       1416 kB
Active:        5986812 kB
Inactive:      6642236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19989048 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:           31484 kB
Writeback:          20 kB
AnonPages:     3623012 kB
Mapped:          27936 kB
Slab:           240448 kB
PageTables:      26836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75579052 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= 73312 MiB
End job on node110 at 2011-05-22 17:36:46