Trace number 3393920

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 1691.5 214.221

General information on the benchmark

Namemanol-pipe-f7nidw.cnf
MD5SUMb950ebec64dc35544d8f8bf6957e7bc2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark23.7084
Satisfiable
(Un)Satisfiability was proved
Number of variables310434
Number of clauses923497
Sum of the clauses size2154825
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2615664
Number of clauses of size 3307832
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.02	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3393920-1306072185.cnf'
0.00/0.02	c -- header says num vars:         310434
0.00/0.02	c -- header says num clauses:      923497
5.79/1.17	c -- clauses added:            0 learnts,       923497 normals,            0 xors
5.79/1.17	c -- vars added     310434
5.79/1.17	c Parsing time:  0.50 s
5.79/1.17	c  N st     0         0    310434    307832    615664         0   2154824         0   no data   no data
11.96/1.94	c asymm  cl-useful: 0/31165/307831 lits-rem:0 time: 0.77
161.26/20.63	c Flit:  2033 Blit:  13912 bXBeca:    0 bXProp: 20972 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 18.68
161.26/20.68	c Cleaning up after failed var search:     0.05 s 
162.06/20.79	c Replacing    20972 vars Replaced   358715 lits Time:     0.10 s 
162.91/20.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
163.77/20.95	c bin-w-bin subsume rem         1071 bins  time:  0.05 s
165.24/21.10	c subs with bin:       13  lits-rem:        13  v-fix:    0  time:  0.15 s
169.80/21.71	c Subs w/ non-existent bins:      3 l-rem:      3 v-fix:     0 done: 133828 time:  0.58 s
171.43/21.95	c Removed useless bin:      80  fixed:     0  props:  20.00M  time:  0.23 s
178.37/22.89	c lits-rem:         8  cl-subs:      205  v-elim:  90965  v-fix:    0  time:  0.86 s
179.11/22.96	c Finding binary XORs  T:     0.07 s  found:    1278
179.92/23.02	c Replacing     1278 vars Replaced    23192 lits Time:     0.06 s 
180.74/23.17	c Finding non-binary XORs:     0.09 s (found:    6530, avg size: 3.0)
180.74/23.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      6 locsubst:     6 time:   0.05
181.33/23.20	c calculated reachability. Time: 0.00
181.33/23.23	c Calc default polars -  time:   0.03 s pos:   63703 undec:  130027 neg:  116704
181.33/23.23	c =========================================================================================
181.33/23.23	c types(t): F = full restart, N = normal restart
181.33/23.23	c types(t): S = simplification begin/end, E = solution found
181.33/23.23	c restart types(rt): st = static, dy = dynamic
181.33/23.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
181.33/23.23	c  B st     0         0    180647    209677    375756         0   1506191         0   no data   no data
205.79/26.41	c  N dy    16      4207    180646    209677    375873      3595   1506190     42216      5.84      6.16
228.88/29.23	c  N dy    40      8241    180645    209677    376172      7020   1506190     87077      6.24      7.45
255.22/32.59	c  N dy    60     12445    180633    209677    376238     10652   1506190    131799      6.22      6.93
284.82/36.23	c  N dy    85     16538    180540    209677    377606     14326   1506190    190057      6.73      7.15
314.29/39.98	c  N dy   109     20618    180473    209677    380744      9275   1506190     64760      6.86      7.50
344.63/43.75	c  N dy   133     24802    180451    209677    380786     13082   1506190    116887      6.95      7.45
346.29/44.00	c  F st   135     25000    180450    209677    381691     13244   1506190    120765      6.95   no data
347.16/44.09	c Replacing        3 vars Replaced       66 lits Time:     0.06 s 
472.34/59.70	c Finding binary XORs  T:     0.09 s  found:     433
489.91/61.97	c  N dy   141     30000    180381    208229    380460     17860   1496415    245250      6.95   no data
489.91/61.97	c  S st   141     30000    180381    208229    380460     17860   1496415    245250      6.95   no data
496.43/62.76	c  S st   141     30501    180379    208229    380474     18339   1496415    251387      6.95   no data
497.09/62.83	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:    176 locsubst:     0 time:   0.07
678.32/85.50	c Flit:   146 Blit:    172 bXBeca:    0 bXProp: 1872 Bins: 139905 BRemL:   5521 BRemN:     48 P: 200.1M T: 22.31
678.32/85.50	c Cleaning up after failed var search:     0.00 s 
679.12/85.65	c Replacing     2306 vars Replaced   229210 lits Time:     0.14 s 
679.97/85.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
680.84/85.89	c bin-w-bin subsume rem        27095 bins  time:  0.12 s
682.29/86.04	c subs with bin:      448  lits-rem:      1309  v-fix:    0  time:  0.14 s
687.10/86.69	c Subs w/ non-existent bins:     79 l-rem:    785 v-fix:     0 done: 134074 time:  0.65 s
690.27/87.02	c Removed useless bin:     269  fixed:     0  props:  20.00M  time:  0.31 s
699.85/88.20	c lits-rem:       137  cl-subs:      639  v-elim: 118154  v-fix:    0  time:  1.11 s
699.85/88.27	c subs with bin:      529  lits-rem:      3146  v-fix:    0  time:  0.04 s
701.45/88.43	c lits-rem:      1080  cl-subs:      776  v-elim:      0  v-fix:    0  time:  0.12 s
706.31/89.07	c asymm  cl-useful: 459/39357/237980 lits-rem:494 time: 0.62
706.31/89.10	c calculated reachability. Time: 0.00
706.31/89.10	c  N dy   141     30501     59079    237971     98354     10619   1147277    185134      6.95   no data
707.18/89.14	c Finding binary XORs  T:     0.04 s  found:      11
721.41/90.97	c  N dy   166     34524     59066    237971     99223     13968   1147277    234546      7.04     11.59
737.38/92.93	c  N dy   189     38556     59066    237971    130996     17377   1147277    349019      7.13      7.53
738.17/93.00	c Finding binary XORs  T:     0.04 s  found:       9
757.31/95.43	c  N dy   212     42760     59066    237804    130872     10631   1145942    176300      7.17      7.77
769.27/96.95	c Finding binary XORs  T:     0.04 s  found:      26
770.87/97.13	c  S st   229     45751     59055    237598    153198     13096   1144883    255551      7.16   no data
773.27/97.45	c  S st   229     46252     59055    237598    153213     13571   1144883    260566      7.16   no data
773.27/97.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     48 locsubst:    12 time:   0.05
813.18/102.42	c Flit:    39 Blit:     17 bXBeca:    0 bXProp:  460 Bins: 116773 BRemL:  20953 BRemN:    153 P: 52.7M T:  4.82
813.98/102.52	c Replacing      512 vars Replaced   112608 lits Time:     0.09 s 
814.78/102.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
815.58/102.74	c bin-w-bin subsume rem        70474 bins  time:  0.14 s
816.38/102.83	c subs with bin:      875  lits-rem:      2376  v-fix:    0  time:  0.09 s
817.18/102.94	c Subs w/ non-existent bins:    234 l-rem:   1368 v-fix:     0 done:  58390 time:  0.10 s
817.97/103.00	c Removed useless bin:     254  fixed:     0  props:   2.14M  time:  0.07 s
820.42/103.41	c lits-rem:       124  cl-subs:      981  v-elim:  12043  v-fix:    0  time:  0.38 s
821.31/103.48	c subs with bin:      237  lits-rem:      1765  v-fix:    0  time:  0.04 s
822.76/103.60	c lits-rem:       245  cl-subs:      427  v-elim:      0  v-fix:    0  time:  0.08 s
823.56/103.72	c vivif2 --  cl tried   218212 cl shrink     2836 lits rem       6488 time: 0.12
823.56/103.75	c vivif2 --  cl tried    11628 cl shrink     1743 lits rem       3838 time: 0.03
828.35/104.32	c asymm  cl-useful: 59/32677/217922 lits-rem:71 time: 0.57
828.35/104.36	c calculated reachability. Time: 0.02
828.35/104.37	c  N dy   229     46252     46347    217918    111692     11483   1049884    206345      7.16   no data
829.21/104.48	c Finding binary XORs  T:     0.10 s  found:      74
842.71/106.14	c  N dy   249     50836     46346    217918    141833     15310   1049884    320482      7.12      7.62
849.10/106.91	c Finding binary XORs  T:     0.08 s  found:      36
861.86/108.59	c  N dy   264     55797     46313    217372    140771     19385   1046394    372764      7.05      7.56
867.43/109.21	c Finding binary XORs  T:     0.08 s  found:      22
878.62/110.63	c  N dy   289     59841     46301    217189    192716     22770   1045193    530530      7.06      8.27
893.79/112.57	c  N dy   306     63986     46291    217189    198080     26185   1045193    590753      7.03      7.42
905.76/114.07	c  N dy   333     68148     46288    217189    209632     16452   1045193    435283      7.04      7.94
908.21/114.38	c  S st   339     69379     46288    217189    209640     17496   1045193    450906      7.03   no data
910.54/114.64	c  S st   339     69880     46288    217189    209660     17953   1045193    456460      7.03   no data
910.54/114.69	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:    120 locsubst:     2 time:   0.05
936.88/117.95	c Flit:    16 Blit:      6 bXBeca:    0 bXProp:   85 Bins:  18773 BRemL:  41924 BRemN:     31 P: 37.5M T:  3.21
937.68/118.04	c Replacing      218 vars Replaced    24617 lits Time:     0.08 s 
938.48/118.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
939.27/118.24	c bin-w-bin subsume rem        66725 bins  time:  0.13 s
940.06/118.32	c subs with bin:     1303  lits-rem:       503  v-fix:    0  time:  0.08 s
940.85/118.40	c Subs w/ non-existent bins:    166 l-rem:    107 v-fix:     0 done:  45903 time:  0.08 s
940.85/118.45	c Removed useless bin:     133  fixed:     0  props:   1.13M  time:  0.05 s
942.45/118.65	c lits-rem:        56  cl-subs:      437  v-elim:    923  v-fix:    0  time:  0.20 s
943.29/118.75	c subs with bin:      267  lits-rem:      1135  v-fix:    0  time:  0.05 s
944.79/118.91	c lits-rem:       323  cl-subs:      496  v-elim:      0  v-fix:    0  time:  0.10 s
945.59/119.01	c vivif2 --  cl tried   211521 cl shrink      682 lits rem       1214 time: 0.11
945.59/119.05	c vivif2 --  cl tried    16955 cl shrink     1131 lits rem       3285 time: 0.03
950.38/119.63	c asymm  cl-useful: 77/20294/211459 lits-rem:231 time: 0.58
950.38/119.66	c calculated reachability. Time: 0.02
950.38/119.67	c  N dy   339     69880     44980    211382    107621     16915   1015347    241054      7.03   no data
951.18/119.75	c Finding binary XORs  T:     0.09 s  found:       3
967.94/121.83	c  N dy   360     74557     44978    211382    120202     20824   1015347    326833      7.01      7.44
978.38/123.15	c Finding binary XORs  T:     0.08 s  found:      24
989.48/124.59	c  N dy   386     79670     44953    210976    119678     25097   1012560    393281      7.01      7.49
997.47/125.52	c Finding binary XORs  T:     0.08 s  found:      51
1010.25/127.12	c  N dy   411     84763     44936    210767    147911     29285   1011146    515245      7.01      7.39
1020.63/128.44	c  F st   427     87501     44936    210767    148639     31621   1011146    553426      7.01   no data
1020.63/128.49	c Replacing       78 vars Replaced     5310 lits Time:     0.05 s 
1032.58/129.92	c  N st   432     90796     44857    210699    148404     18278   1010592    313160      7.01   no data
1050.95/132.29	c  N dy   451     96662     44855    210699    148503     23256   1010592    381488      7.00      7.37
1063.72/133.81	c Finding binary XORs  T:     0.08 s  found:      38
1076.48/135.41	c  N dy   493    102955     44853    210592    154891     28728   1009298    482865      7.05      7.48
1082.87/136.24	c  S st   500    104820     44853    210592    154894     30349   1009298    506648      7.03      5.49
1085.25/136.57	c  S st   500    105321     44853    210592    157760     30804   1009298    518556      7.03   no data
1086.06/136.62	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:     66 locsubst:     0 time:   0.05
1114.00/140.10	c Flit:    10 Blit:      1 bXBeca:    0 bXProp:   27 Bins:  29280 BRemL:  47900 BRemN:     72 P: 35.2M T:  3.42
1114.00/140.18	c Replacing       65 vars Replaced     5273 lits Time:     0.07 s 
1114.79/140.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1114.79/140.30	c bin-w-bin subsume rem        25696 bins  time:  0.04 s
1115.59/140.37	c subs with bin:      517  lits-rem:       786  v-fix:    0  time:  0.07 s
1116.39/140.45	c Subs w/ non-existent bins:     89 l-rem:     93 v-fix:     0 done:  44698 time:  0.08 s
1117.19/140.50	c Removed useless bin:      56  fixed:     0  props:   1.09M  time:  0.05 s
1118.00/140.69	c lits-rem:        55  cl-subs:      354  v-elim:    403  v-fix:    0  time:  0.19 s
1119.72/140.83	c subs with bin:      330  lits-rem:      3160  v-fix:    0  time:  0.08 s
1121.18/141.00	c lits-rem:       876  cl-subs:     1199  v-elim:      0  v-fix:    0  time:  0.12 s
1121.98/141.11	c vivif2 --  cl tried   208255 cl shrink      587 lits rem        983 time: 0.11
1121.98/141.17	c vivif2 --  cl tried    28833 cl shrink     3523 lits rem      12309 time: 0.06
1126.78/141.77	c asymm  cl-useful: 86/15361/208161 lits-rem:258 time: 0.60
1127.63/141.83	c calculated reachability. Time: 0.02
1127.63/141.83	c  N dy   500    105321     44295    208075    109611     28790    997685    384986      7.03   no data
1128.51/141.92	c Finding binary XORs  T:     0.09 s  found:       4
1154.85/145.22	c Finding binary XORs  T:     0.09 s  found:       1
1156.30/145.45	c  N dy   530    112233     44292    208045    146613     34674    997419    547896      7.02      7.42
1183.46/148.86	c Finding binary XORs  T:     0.09 s  found:      66
1190.63/149.71	c  N dy   564    119697     44279    207736    166559     23974    995571    406242      7.00      7.49
1223.38/153.83	c Finding binary XORs  T:     0.09 s  found:    1576
1224.24/153.92	c Replacing     1905 vars Replaced   135755 lits Time:     0.07 s 
1227.36/154.36	c  N dy   595    127901     41613    197010     79377     25470    939299    285371      6.96      7.33
1264.09/158.92	c  N dy   636    136190     41542    197010     83979     32348    939297    393472      6.97      7.44
1269.67/159.66	c Finding binary XORs  T:     0.09 s  found:     712
1270.47/159.72	c Replacing      715 vars Replaced    42389 lits Time:     0.06 s 
1301.63/163.68	c  N dy   691    144952     40825    195527     81258     23834    931043    238981      7.00      7.67
1339.27/168.36	c  N dy   753    154328     40771    195527     82763     31848    931042    369009      7.04      7.42
1342.32/168.75	c Finding binary XORs  T:     0.09 s  found:     619
1343.13/168.81	c Replacing      631 vars Replaced    51407 lits Time:     0.06 s 
1356.83/170.51	c  S st   782    157982     39986    191789     67277     33861    911707    390593      7.08   no data
1359.08/170.80	c  S st   782    158482     39973    191789     67300     34294    911707    395152      7.08   no data
1359.08/170.84	c x-sub:   462 x-cut:      0 vfix:      0 v-elim:    129 locsubst:   356 time:   0.04
1397.42/175.68	c Flit:    92 Blit:    102 bXBeca:    0 bXProp:  924 Bins:  75955 BRemL:  18760 BRemN:     41 P: 69.1M T:  4.76
1397.42/175.69	c Cleaning up after failed var search:     0.00 s 
1399.01/175.81	c Replacing     1079 vars Replaced   185667 lits Time:     0.11 s 
1399.01/175.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1399.87/176.01	c bin-w-bin subsume rem        39184 bins  time:  0.11 s
1400.74/176.07	c subs with bin:     3708  lits-rem:      5272  v-fix:    0  time:  0.07 s
1401.40/176.17	c Subs w/ non-existent bins:    469 l-rem:   1095 v-fix:     0 done:  38512 time:  0.09 s
1402.20/176.22	c Removed useless bin:     516  fixed:     0  props:   1.98M  time:  0.05 s
1404.59/176.50	c lits-rem:       410  cl-subs:     6656  v-elim:   3172  v-fix:    0  time:  0.28 s
1405.39/176.61	c subs with bin:      975  lits-rem:      8453  v-fix:    0  time:  0.07 s
1406.19/176.78	c lits-rem:      1723  cl-subs:     2841  v-elim:      0  v-fix:    0  time:  0.13 s
1407.79/176.90	c vivif2 --  cl tried   164788 cl shrink     2281 lits rem       4019 time: 0.12
1407.79/176.96	c vivif2 --  cl tried    26014 cl shrink     2725 lits rem       7388 time: 0.06
1412.57/177.53	c asymm  cl-useful: 7/18689/164331 lits-rem:21 time: 0.56
1412.57/177.57	c calculated reachability. Time: 0.02
1412.57/177.57	c  N dy   782    158482     35340    164324     64317     25894    788878    310901      7.08   no data
1414.17/177.70	c Finding binary XORs  T:     0.13 s  found:      53
1440.53/181.09	c Finding binary XORs  T:     0.11 s  found:     228
1449.31/182.19	c  N dy   848    168700     35320    164018    113149     34800    787080    561777      7.15      7.72
1470.12/184.74	c Finding binary XORs  T:     0.11 s  found:    1107
1470.12/184.80	c Replacing     1388 vars Replaced    74275 lits Time:     0.06 s 
1486.83/186.80	c  N dy   917    179655     33409    156367     68807     24456    743206    266681      7.17      7.64
1507.57/189.40	c Finding binary XORs  T:     0.11 s  found:     588
1507.57/189.45	c Replacing      588 vars Replaced    27288 lits Time:     0.05 s 
1525.94/191.75	c Finding binary XORs  T:     0.11 s  found:     422
1526.74/191.80	c Replacing      422 vars Replaced    76275 lits Time:     0.05 s 
1527.54/191.98	c  N dy   980    191220     32272    153484    105495     33700    726898    476138      7.18      8.03
1552.29/195.08	c Finding binary XORs  T:     0.11 s  found:     109
1570.65/197.35	c Finding binary XORs  T:     0.11 s  found:     115
1572.25/197.50	c  N dy  1054    203471     32262    153374    142922     25428    726314    404054      7.23      9.68
1594.59/200.35	c Finding binary XORs  T:     0.11 s  found:     125
1595.39/200.41	c Replacing      354 vars Replaced    43077 lits Time:     0.06 s 
1613.76/202.79	c  N dy  1144    216546     31865    152707    163635     36014    722449    628645      7.30     19.22
1625.74/204.26	c Finding binary XORs  T:     0.11 s  found:     123
1655.42/207.92	c  N dy  1255    230378     31856    152623    172483     28705    722067    494664      7.43      9.79
1677.62/210.71	c  S st  1313    237725     31800    152623    172881     35161    722067    623977      7.48   no data
1680.02/211.05	c  S st  1313    238231     31523    147650    114528     33086    696626    485063      7.48   no data
1680.02/211.09	c x-sub:   477 x-cut:      0 vfix:      0 v-elim:    197 locsubst:    66 time:   0.04
1688.81/212.83	c Flit:    22 Blit:     67 bXBeca:    0 bXProp: 1575 Bins:  33256 BRemL:  39921 BRemN:    104 P: 22.7M T:  1.72
1689.01/212.93	c Replacing     1787 vars Replaced   206914 lits Time:     0.09 s 
1689.01/212.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1689.21/213.09	c bin-w-bin subsume rem        44874 bins  time:  0.12 s
1689.41/213.13	c subs with bin:     1773  lits-rem:      2622  v-fix:    0  time:  0.04 s
1689.41/213.18	c Subs w/ non-existent bins:    184 l-rem:    561 v-fix:     0 done:  29451 time:  0.04 s
1689.60/213.20	c Removed useless bin:     221  fixed:     0  props:   0.91M  time:  0.03 s
1690.04/213.44	c lits-rem:       388  cl-subs:    10602  v-elim:   4252  v-fix:    0  time:  0.23 s
1690.20/213.50	c subs with bin:     1023  lits-rem:      8833  v-fix:    0  time:  0.04 s
1690.20/213.59	c lits-rem:      1696  cl-subs:     2508  v-elim:      0  v-fix:    0  time:  0.07 s
1690.40/213.63	c vivif2 --  cl tried   117409 cl shrink      679 lits rem        883 time: 0.04
1690.40/213.65	c vivif2 --  cl tried    22901 cl shrink     1511 lits rem       2805 time: 0.02
1691.20/214.05	c asymm  cl-useful: 692/15446/117362 lits-rem:1727 time: 0.39
1691.20/214.07	c calculated reachability. Time: 0.01
1691.20/214.07	c  N dy  1313    238231     25199    117297     41517     22888    557990    196782      7.48   no data
1691.20/214.07	c Following stats are for *FIRST FINISHED THREAD ONLY*
1691.20/214.07	c num threads              : 8          
1691.20/214.07	c restarts                 : 1467       
1691.20/214.07	c dynamic restarts         : 1449       
1691.20/214.07	c static restarts          : 18         
1691.20/214.07	c full restarts            : 2          
1691.20/214.07	c total simplify time      : 3.27       
1691.20/214.07	c learnts DL2              : 0          
1691.20/214.07	c learnts size 2           : 1682204    
1691.20/214.07	c learnts size 1           : 21790       (7.02      % of vars)
1691.20/214.07	c filedLit time            : 49.25       (23.33     % time)
1691.20/214.07	c v-elim SatELite          : 226851      (73.08     % vars)
1691.20/214.07	c SatELite time            : 4.31        (2.04      % time)
1691.20/214.07	c v-elim xor               : 561         (0.18      % vars)
1691.20/214.07	c xor elim time            : 0.25        (0.12      % time)
1691.20/214.07	c num binary xor trees     : 7462       
1691.20/214.07	c binxor trees' crown      : 33828       (4.53      leafs/tree)
1691.20/214.07	c bin xor find time        : 2.10       
1691.20/214.07	c OTF clause improved      : 36168       (0.13      clauses/conflict)
1691.20/214.07	c OTF impr. size diff      : 37943       (1.05       lits/clause)
1691.20/214.07	c OTF cl watch-shrink      : 103175      (0.37      clauses/conflict)
1691.20/214.07	c OTF cl watch-sh-lit      : 319405      (3.10       lits/clause)
1691.20/214.07	c tried to recurMin cls    : 90774       (32.84      % of conflicts)
1691.20/214.07	c updated cache            : 0           (0.00       lits/tried recurMin)
1691.20/214.07	c unit cls recevied        : 533         (2.45      % of units)
1691.20/214.07	c unit cls sent            : 4741        (21.76     % of units)
1691.20/214.07	c bin cls recevied         : 673307     
1691.20/214.07	c bin cls sent             : 166317     
1691.20/214.07	c clauses over max glue    : 0           (0.00      % of all clauses)
1691.20/214.07	c conflicts                : 276420      (1309.72   / sec)
1691.20/214.07	c decisions                : 4190421     (2.69      % random)
1691.20/214.07	c bogo-props               : 3862212404  (18299734.95 / sec)
1691.20/214.07	c conflict literals        : 4121778     (20.55     % deleted)
1691.20/214.07	c Memory used              : 3883.65     MB
1691.20/214.07	c single-thread CPU time   : 211.05      s
1691.20/214.07	c all-threads sum CPU time : 1674.97     s
1691.20/214.07	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-3393920-1306072185/watcher-3393920-1306072185 -o /tmp/evaluation-result-3393920-1306072185/solver-3393920-1306072185 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393920-1306072185.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: 7.11 5.27 5.34 2/491 9666
/proc/meminfo: memFree=14105676/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=92144 CPUtime=0.01 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 411 0 0 0 1 0 0 0 21 0 8 0 797449291 94355456 352 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596402 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9666/statm: 23036 352 299 95 0 18018 0
[pid=9666/tid=9667] ppid=9664 vsize=92144 CPUtime=0.01 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 797449292 94355456 352 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596402 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=92144 CPUtime=0 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 797449292 94355456 352 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=92144 CPUtime=0.01 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 797449292 94355456 352 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596406 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=92144 CPUtime=0 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 797449292 94355456 352 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596400 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=92144 CPUtime=0 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 797449292 94355456 352 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596400 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=92144 CPUtime=0.01 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 797449292 94355456 352 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=92144 CPUtime=0 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 797449292 94355456 352 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596400 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0496719 s]
/proc/loadavg: 7.11 5.27 5.34 2/491 9666
/proc/meminfo: memFree=14105676/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=627724 CPUtime=0.24 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) S 9664 9666 9409 0 -1 4202496 8683 0 0 0 17 7 0 0 17 0 8 0 797449291 642789376 7860 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9666/statm: 156931 7864 337 95 0 151913 0
[pid=9666/tid=9667] ppid=9664 vsize=627724 CPUtime=0.03 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) D 9664 9666 9409 0 -1 4202560 844 0 0 0 2 1 0 0 17 0 8 0 797449292 642789376 7883 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=627724 CPUtime=0.01 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 967 0 0 0 1 0 0 0 17 0 8 0 797449292 642789376 7916 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=628012 CPUtime=0.02 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 961 0 0 0 2 0 0 0 17 0 8 0 797449292 643084288 7968 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 5 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=628012 CPUtime=0.03 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1102 0 0 0 2 1 0 0 17 0 8 0 797449292 643084288 7983 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=628300 CPUtime=0.02 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 982 0 0 0 2 0 0 0 17 0 8 0 797449292 643379200 7995 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=628300 CPUtime=0.03 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1199 0 0 0 2 1 0 0 17 0 8 0 797449292 643379200 8009 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=628300 CPUtime=0.01 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1070 0 0 0 1 0 0 0 17 0 8 0 797449292 643379200 8025 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 627724

[startup+0.102739 s]
/proc/loadavg: 7.11 5.27 5.34 2/491 9666
/proc/meminfo: memFree=14105676/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=651804 CPUtime=0.53 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 22197 0 0 0 35 18 0 0 17 0 8 0 797449291 667447296 18202 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367604650 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9666/statm: 163031 18203 337 95 0 158013 0
[pid=9666/tid=9667] ppid=9664 vsize=652124 CPUtime=0.07 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 2592 0 0 0 5 2 0 0 17 0 8 0 797449292 667774976 18204 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=652124 CPUtime=0.05 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) D 9664 9666 9409 0 -1 4202560 2595 0 0 0 3 2 0 0 17 0 8 0 797449292 667774976 18204 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367207969 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=652124 CPUtime=0.05 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 2576 0 0 0 4 1 0 0 17 0 8 0 797449292 667774976 18204 33554432000 4194304 4580107 140735815277056 18446744073709551615 4511023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=652124 CPUtime=0.05 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 2612 0 0 0 4 1 0 0 17 0 8 0 797449292 667774976 18204 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=652444 CPUtime=0.06 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 2665 0 0 0 4 2 0 0 17 0 8 0 797449292 668102656 18205 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=652444 CPUtime=0.05 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 2882 0 0 0 3 2 0 0 17 0 8 0 797449292 668102656 18224 33554432000 4194304 4580107 140735815277056 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=652444 CPUtime=0.05 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 2971 0 0 0 3 2 0 0 17 0 8 0 797449292 668102656 18225 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 651804

[startup+0.300636 s]
/proc/loadavg: 7.11 5.27 5.34 2/491 9666
/proc/meminfo: memFree=14105676/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=758728 CPUtime=1.49 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 73190 0 0 0 95 54 0 0 17 0 8 0 797449291 776937472 59444 33554432000 4194304 4580107 140735815277056 18446744073709551615 4307185 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9666/statm: 189682 59472 337 95 0 184664 0
[pid=9666/tid=9667] ppid=9664 vsize=758728 CPUtime=0.19 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 9524 0 0 0 12 7 0 0 17 0 8 0 797449292 776937472 59480 33554432000 4194304 4580107 140735815277056 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=758728 CPUtime=0.16 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 9006 0 0 0 10 6 0 0 17 0 8 0 797449292 776937472 59490 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=758728 CPUtime=0.18 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 9051 0 0 0 13 5 0 0 17 0 8 0 797449292 776937472 59440 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367590023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=758728 CPUtime=0.16 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 8134 0 0 0 11 5 0 0 17 0 8 0 797449292 776937472 59440 33554432000 4194304 4580107 140735815277056 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=758728 CPUtime=0.18 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) D 9664 9666 9409 0 -1 4202560 8870 0 0 0 11 7 0 0 17 0 8 0 797449292 776937472 59440 33554432000 4194304 4580107 140735815277056 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=758728 CPUtime=0.18 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) D 9664 9666 9409 0 -1 4202560 9010 0 0 0 11 7 0 0 17 0 8 0 797449292 776937472 59440 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=758728 CPUtime=0.16 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 9836 0 0 0 10 6 0 0 17 0 8 0 797449292 776937472 58928 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 758728

[startup+0.700521 s]
/proc/loadavg: 7.11 5.27 5.34 2/491 9666
/proc/meminfo: memFree=14105676/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=1005624 CPUtime=3.63 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 170765 0 0 0 233 130 0 0 16 0 8 0 797449291 1029758976 136229 33554432000 4194304 4580107 140735815277056 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9666/statm: 251406 136233 337 95 0 246388 0
[pid=9666/tid=9667] ppid=9664 vsize=1005624 CPUtime=0.46 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 20881 0 0 0 29 17 0 0 16 0 8 0 797449292 1029758976 136238 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=1005624 CPUtime=0.43 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 21177 0 0 0 27 16 0 0 16 0 8 0 797449292 1029758976 136244 33554432000 4194304 4580107 140735815277056 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=1005624 CPUtime=0.45 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 20957 0 0 0 31 14 0 0 16 0 8 0 797449292 1029758976 136248 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367205273 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=1005624 CPUtime=0.44 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 20360 0 0 0 28 16 0 0 16 0 8 0 797449292 1029758976 136255 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=1005624 CPUtime=0.46 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 21495 0 0 0 30 16 0 0 16 0 8 0 797449292 1029758976 136259 33554432000 4194304 4580107 140735815277056 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=1005624 CPUtime=0.45 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 21564 0 0 0 28 17 0 0 16 0 8 0 797449292 1029758976 136260 33554432000 4194304 4580107 140735815277056 18446744073709551615 4206232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=1005624 CPUtime=0.44 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 22472 0 0 0 28 16 0 0 16 0 8 0 797449292 1029758976 136262 33554432000 4194304 4580107 140735815277056 18446744073709551615 4306836 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 1005624

[startup+1.50038 s]
/proc/loadavg: 7.11 5.27 5.34 7/499 9674
/proc/meminfo: memFree=13318956/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=1493924 CPUtime=8.75 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 301790 0 0 0 664 211 0 0 16 0 8 0 797449291 1529778176 232537 33554432000 4194304 4580107 140735815277056 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9666/statm: 373481 232537 359 95 0 368463 0
[pid=9666/tid=9667] ppid=9664 vsize=1493924 CPUtime=1.1 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 37072 0 0 0 82 28 0 0 16 0 8 0 797449292 1529778176 232537 33554432000 4194304 4580107 140735815277056 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=1493924 CPUtime=1.07 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 37872 0 0 0 81 26 0 0 16 0 8 0 797449292 1529778176 232537 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=1493924 CPUtime=1.08 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 37067 0 0 0 84 24 0 0 16 0 8 0 797449292 1529778176 232537 33554432000 4194304 4580107 140735815277056 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=1493924 CPUtime=1.07 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 35605 0 0 0 81 26 0 0 16 0 8 0 797449292 1529778176 232537 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=1493924 CPUtime=1.09 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 38668 0 0 0 84 25 0 0 16 0 8 0 797449292 1529778176 232537 33554432000 4194304 4580107 140735815277056 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=1493924 CPUtime=1.08 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 38159 0 0 0 81 27 0 0 16 0 8 0 797449292 1529778176 232537 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=1493924 CPUtime=1.09 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 38693 0 0 0 83 26 0 0 16 0 8 0 797449292 1529778176 232537 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 1493924

[startup+3.10108 s]
/proc/loadavg: 7.11 5.27 5.34 11/499 9674
/proc/meminfo: memFree=13137932/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=1498772 CPUtime=21.54 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 312437 0 0 0 1942 212 0 0 18 0 8 0 797449291 1534742528 241763 33554432000 4194304 4580107 140735815277056 18446744073709551615 4294259 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9666/statm: 374693 241763 360 95 0 369675 0
[pid=9666/tid=9667] ppid=9664 vsize=1498772 CPUtime=2.7 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 38652 0 0 0 242 28 0 0 18 0 8 0 797449292 1534742528 241763 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=1498772 CPUtime=2.66 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 39454 0 0 0 239 27 0 0 18 0 8 0 797449292 1534742528 241763 33554432000 4194304 4580107 140735815277056 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=1498772 CPUtime=2.69 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 38654 0 0 0 244 25 0 0 18 0 8 0 797449292 1534742528 241763 33554432000 4194304 4580107 140735815277056 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=1498772 CPUtime=2.67 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 36844 0 0 0 241 26 0 0 18 0 8 0 797449292 1534742528 241763 33554432000 4194304 4580107 140735815277056 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=1498772 CPUtime=2.7 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 40188 0 0 0 244 26 0 0 18 0 8 0 797449292 1534742528 241763 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=1498772 CPUtime=2.68 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 39713 0 0 0 241 27 0 0 18 0 8 0 797449292 1534742528 241763 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=1498772 CPUtime=2.69 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 40274 0 0 0 243 26 0 0 18 0 8 0 797449292 1534742528 241763 33554432000 4194304 4580107 140735815277056 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 21.54
Current children cumulated vsize (KiB) 1498772

[startup+6.30049 s]
/proc/loadavg: 7.18 5.32 5.35 9/499 9675
/proc/meminfo: memFree=13135220/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=1499188 CPUtime=47.08 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 314193 0 0 0 4495 213 0 0 25 0 8 0 797449291 1535168512 242673 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9666/statm: 374797 242673 360 95 0 369779 0
[pid=9666/tid=9667] ppid=9664 vsize=1499188 CPUtime=5.9 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 38686 0 0 0 562 28 0 0 25 0 8 0 797449292 1535168512 242673 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=1499188 CPUtime=5.81 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 39491 0 0 0 554 27 0 0 25 0 8 0 797449292 1535168512 242673 33554432000 4194304 4580107 140735815277056 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=1499188 CPUtime=5.89 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 38694 0 0 0 564 25 0 0 25 0 8 0 797449292 1535168512 242673 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=1499188 CPUtime=5.87 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 36896 0 0 0 561 26 0 0 25 0 8 0 797449292 1535168512 242673 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=1499188 CPUtime=5.9 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 40239 0 0 0 564 26 0 0 25 0 8 0 797449292 1535168512 242673 33554432000 4194304 4580107 140735815277056 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=1499188 CPUtime=5.88 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 39782 0 0 0 561 27 0 0 25 0 8 0 797449292 1535168512 242673 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=1499188 CPUtime=5.89 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 41693 0 0 0 563 26 0 0 25 0 8 0 797449292 1535168512 242673 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 5 0 0 0

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

[pid=9666/tid=9670] ppid=9664 vsize=3787264 CPUtime=178.52 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1450039 0 0 0 17629 223 0 0 25 0 8 0 797449292 3878158336 737447 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=3787264 CPUtime=178.48 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1207746 0 0 0 17664 184 0 0 25 0 8 0 797449292 3878158336 737447 33554432000 4194304 4580107 140735815277056 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=3787264 CPUtime=178.41 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1654672 0 0 0 17585 256 0 0 25 0 8 0 797449292 3878158336 737447 33554432000 4194304 4580107 140735815277056 18446744073709551615 4296252 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=3787264 CPUtime=178.63 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 246024 0 0 0 17803 60 0 0 25 0 8 0 797449292 3878158336 737447 33554432000 4194304 4580107 140735815277056 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1425.36
Current children cumulated vsize (KiB) 3787264

[startup+191.901 s]
/proc/loadavg: 8.08 6.59 5.84 9/499 9679
/proc/meminfo: memFree=11058348/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=3901588 CPUtime=1527.54 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 10281074 0 0 0 151126 1628 0 0 25 0 8 0 797449291 3995226112 761011 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9666/statm: 975397 761011 387 95 0 970379 0
[pid=9666/tid=9667] ppid=9664 vsize=3901588 CPUtime=191.28 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1475762 0 0 0 18888 240 0 0 25 0 8 0 797449292 3995226112 761011 33554432000 4194304 4580107 140735815277056 18446744073709551615 4330262 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=3901588 CPUtime=190.55 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1389220 0 0 0 18843 212 0 0 25 0 8 0 797449292 3995226112 761011 33554432000 4194304 4580107 140735815277056 18446744073709551615 4318471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=3901588 CPUtime=191.3 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1378096 0 0 0 18909 221 0 0 25 0 8 0 797449292 3995226112 761011 33554432000 4194304 4580107 140735815277056 18446744073709551615 4304867 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=3901588 CPUtime=191.31 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1459803 0 0 0 18906 225 0 0 25 0 8 0 797449292 3995226112 761011 33554432000 4194304 4580107 140735815277056 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=3901588 CPUtime=191.28 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1219375 0 0 0 18942 186 0 0 25 0 8 0 797449292 3995226112 761011 33554432000 4194304 4580107 140735815277056 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=3901588 CPUtime=191.21 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1657155 0 0 0 18865 256 0 0 25 0 8 0 797449292 3995226112 761011 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=3901588 CPUtime=191.43 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 246328 0 0 0 19083 60 0 0 25 0 8 0 797449292 3995226112 761011 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1527.54
Current children cumulated vsize (KiB) 3901588

[startup+204.701 s]
/proc/loadavg: 8.06 6.64 5.86 9/499 9680
/proc/meminfo: memFree=11009240/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=3911320 CPUtime=1629.72 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 10294478 0 0 0 161340 1632 0 0 25 0 8 0 797449291 4005191680 774415 33554432000 4194304 4580107 140735815277056 18446744073709551615 4318458 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9666/statm: 977830 774415 387 95 0 972812 0
[pid=9666/tid=9667] ppid=9664 vsize=3911320 CPUtime=204.08 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1477905 0 0 0 20168 240 0 0 25 0 8 0 797449292 4005191680 774415 33554432000 4194304 4580107 140735815277056 18446744073709551615 4325152 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=3911320 CPUtime=203.35 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1394251 0 0 0 20123 212 0 0 25 0 8 0 797449292 4005191680 774415 33554432000 4194304 4580107 140735815277056 18446744073709551615 4295115 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=3911320 CPUtime=204.1 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1378732 0 0 0 20188 222 0 0 25 0 8 0 797449292 4005191680 774415 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=3911320 CPUtime=204.11 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1460378 0 0 0 20186 225 0 0 25 0 8 0 797449292 4005191680 774415 33554432000 4194304 4580107 140735815277056 18446744073709551615 4301852 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=3911320 CPUtime=204.07 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1221279 0 0 0 20220 187 0 0 25 0 8 0 797449292 4005191680 774415 33554432000 4194304 4580107 140735815277056 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=3911320 CPUtime=204.01 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1657880 0 0 0 20145 256 0 0 25 0 8 0 797449292 4005191680 774415 33554432000 4194304 4580107 140735815277056 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=3911320 CPUtime=204.23 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 248150 0 0 0 20362 61 0 0 25 0 8 0 797449292 4005191680 774415 33554432000 4194304 4580107 140735815277056 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1629.72
Current children cumulated vsize (KiB) 3911320

[startup+211.1 s]
/proc/loadavg: 8.05 6.68 5.88 9/499 9680
/proc/meminfo: memFree=10984440/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=3911320 CPUtime=1680.88 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 10299357 0 0 0 166454 1634 0 0 25 0 8 0 797449291 4005191680 779294 33554432000 4194304 4580107 140735815277056 18446744073709551615 4234384 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/9666/statm: 977830 779294 387 95 0 972812 0
[pid=9666/tid=9667] ppid=9664 vsize=3911320 CPUtime=210.5 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1478254 0 0 0 20809 241 0 0 25 0 8 0 797449292 4005191680 779296 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=3911320 CPUtime=209.77 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1395829 0 0 0 20764 213 0 0 25 0 8 0 797449292 4005191680 779297 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=3911320 CPUtime=210.52 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1378782 0 0 0 20830 222 0 0 25 0 8 0 797449292 4005191680 779297 33554432000 4194304 4580107 140735815277056 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=3911320 CPUtime=210.54 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1460891 0 0 0 20828 226 0 0 25 0 8 0 797449292 4005191680 779297 33554432000 4194304 4580107 140735815277056 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=3911320 CPUtime=210.49 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1221648 0 0 0 20862 187 0 0 25 0 8 0 797449292 4005191680 779297 33554432000 4194304 4580107 140735815277056 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=3911320 CPUtime=210.42 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1659188 0 0 0 20785 257 0 0 25 0 8 0 797449292 4005191680 779297 33554432000 4194304 4580107 140735815277056 18446744073709551615 4395006 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=3911320 CPUtime=210.65 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 248266 0 0 0 21004 61 0 0 25 0 8 0 797449292 4005191680 779297 33554432000 4194304 4580107 140735815277056 18446744073709551615 4306320 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1680.88
Current children cumulated vsize (KiB) 3911320

[startup+212.701 s]
/proc/loadavg: 8.05 6.68 5.88 4/499 9680
/proc/meminfo: memFree=10967700/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=3976856 CPUtime=1688.61 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 10305925 0 0 0 167223 1638 0 0 18 0 8 0 797449291 4072300544 783437 33554432000 4194304 4580107 140735815277056 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9666/statm: 994214 783437 387 95 0 989196 0
[pid=9666/tid=9667] ppid=9664 vsize=3976856 CPUtime=212.09 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1478301 0 0 0 20968 241 0 0 25 0 8 0 797449292 4072300544 783437 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696571588 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=3976856 CPUtime=210.44 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1395885 0 0 0 20831 213 0 0 25 0 8 0 797449292 4072300544 783437 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 1 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=3976856 CPUtime=211.09 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1378799 0 0 0 20887 222 0 0 25 0 8 0 797449292 4072300544 783437 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 3 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=3976856 CPUtime=211.1 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1460893 0 0 0 20884 226 0 0 25 0 8 0 797449292 4072300544 783437 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=3976856 CPUtime=211.07 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1221724 0 0 0 20920 187 0 0 25 0 8 0 797449292 4072300544 783437 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=3976856 CPUtime=211.96 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1665416 0 0 0 20936 260 0 0 18 0 8 0 797449292 4072300544 783437 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=3976856 CPUtime=211.22 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 248285 0 0 0 21061 61 0 0 25 0 8 0 797449292 4072300544 783437 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1688.61
Current children cumulated vsize (KiB) 3976856

[startup+213.501 s]
/proc/loadavg: 8.05 6.68 5.88 3/499 9680
/proc/meminfo: memFree=10961624/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=3976856 CPUtime=1690.2 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 10307395 0 0 0 167382 1638 0 0 20 0 8 0 797449291 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 4414485 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9666/statm: 994214 784907 387 95 0 989196 0
[pid=9666/tid=9667] ppid=9664 vsize=3976856 CPUtime=212.89 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1478301 0 0 0 21048 241 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696571435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=3976856 CPUtime=210.44 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1395885 0 0 0 20831 213 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 1 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=3976856 CPUtime=211.09 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1378799 0 0 0 20887 222 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 3 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=3976856 CPUtime=211.1 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1460893 0 0 0 20884 226 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=3976856 CPUtime=211.07 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1221724 0 0 0 20920 187 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=3976856 CPUtime=211.96 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1665416 0 0 0 20936 260 0 0 18 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=3976856 CPUtime=211.22 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 248285 0 0 0 21061 61 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1690.2
Current children cumulated vsize (KiB) 3976856

[startup+213.901 s]
/proc/loadavg: 8.05 6.68 5.88 3/499 9680
/proc/meminfo: memFree=10961624/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=3976856 CPUtime=1691 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) R 9664 9666 9409 0 -1 4202496 10307395 0 0 0 167462 1638 0 0 21 0 8 0 797449291 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9666/statm: 994214 784907 387 95 0 989196 0
[pid=9666/tid=9667] ppid=9664 vsize=3976856 CPUtime=213.29 cores=0-7
/proc/9666/task/9667/stat : 9667 (strangenight2-m) R 9664 9666 9409 0 -1 4202560 1478301 0 0 0 21088 241 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696571588 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9666/tid=9668] ppid=9664 vsize=3976856 CPUtime=210.44 cores=0-7
/proc/9666/task/9668/stat : 9668 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1395885 0 0 0 20831 213 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 1 0 0 0
[pid=9666/tid=9669] ppid=9664 vsize=3976856 CPUtime=211.09 cores=0-7
/proc/9666/task/9669/stat : 9669 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1378799 0 0 0 20887 222 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 3 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=3976856 CPUtime=211.1 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1460893 0 0 0 20884 226 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 0 0 0 0
[pid=9666/tid=9671] ppid=9664 vsize=3976856 CPUtime=211.07 cores=0-7
/proc/9666/task/9671/stat : 9671 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1221724 0 0 0 20920 187 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 1 0 0 0
[pid=9666/tid=9672] ppid=9664 vsize=3976856 CPUtime=211.96 cores=0-7
/proc/9666/task/9672/stat : 9672 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 1665416 0 0 0 20936 260 0 0 18 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 6 0 0 0
[pid=9666/tid=9673] ppid=9664 vsize=3976856 CPUtime=211.22 cores=0-7
/proc/9666/task/9673/stat : 9673 (strangenight2-m) S 9664 9666 9409 0 -1 4202560 248285 0 0 0 21061 61 0 0 25 0 8 0 797449292 4072300544 784907 33554432000 4194304 4580107 140735815277056 18446744073709551615 47888696596020 0 0 4096 2 18446604446661123072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1691
Current children cumulated vsize (KiB) 3976856

[startup+214.101 s]
/proc/loadavg: 8.05 6.68 5.88 3/499 9680
/proc/meminfo: memFree=10961624/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=0 CPUtime=1691.38 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) Z 9664 9666 9409 0 -1 4203548 10307398 0 0 0 167497 1641 0 0 21 0 2 0 797449291 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9666/statm: 0 0 0 0 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=0 CPUtime=211.12 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4203588 1460893 0 0 0 20884 228 0 0 18 0 2 0 797449292 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1691.38
Current children cumulated vsize (KiB) 0

[startup+214.201 s]
/proc/loadavg: 8.05 6.68 5.88 3/499 9680
/proc/meminfo: memFree=10961624/32950928 swapFree=38710952/67111528
[pid=9666] ppid=9664 vsize=0 CPUtime=1691.48 cores=0-7
/proc/9666/stat : 9666 (strangenight2-m) Z 9664 9666 9409 0 -1 4203548 10307398 0 0 0 167497 1651 0 0 21 0 2 0 797449291 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9666/statm: 0 0 0 0 0 0 0
[pid=9666/tid=9670] ppid=9664 vsize=0 CPUtime=211.22 cores=0-7
/proc/9666/task/9670/stat : 9670 (strangenight2-m) R 9664 9666 9409 0 -1 4203588 1460893 0 0 0 20884 238 0 0 18 0 2 0 797449292 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1691.48
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 214.221
CPU time (s): 1691.5
CPU user time (s): 1674.97
CPU system time (s): 16.5315
CPU usage (%): 789.607
Max. virtual memory (cumulated for all children) (KiB): 3976856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1674.97
system time used= 16.5315
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10307398
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= 280114
involuntary context switches= 7291

runsolver used 0.989849 second user time and 2.53661 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-22 15:49:46
IDJOB=3393920
IDBENCH=69619
IDSOLVER=1878
FILE ID=node113/3393920-1306072185
RUNJOBID= node113-1306069997-9423
PBS_JOBID= 13387890
Free space on /tmp= 73300 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393920-1306072185/watcher-3393920-1306072185 -o /tmp/evaluation-result-3393920-1306072185/solver-3393920-1306072185 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393920-1306072185.cnf

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

MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=178460870

node113.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.846
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.69
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.846
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.76
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.846
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.74
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.846
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.75
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.846
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.74
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.846
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.75
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.846
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.83
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14106080 kB
Buffers:        330624 kB
Cached:        8778204 kB
SwapCached:      93732 kB
Active:        8073776 kB
Inactive:     10432444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14106080 kB
SwapTotal:    67111528 kB
SwapFree:     38710952 kB
Dirty:           22244 kB
Writeback:           0 kB
AnonPages:     9315408 kB
Mapped:          25276 kB
Slab:           152528 kB
PageTables:     116268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 154764044 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= 73296 MiB
End job on node113 at 2011-05-22 15:53:21