Trace number 3366718

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)? (TO) 4800.3 1204.34

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
MD5SUM337bdbc5d8bf0013ca73aeffa06cffe8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark95.7414
Satisfiable
(Un)Satisfiability was proved
Number of variables2070
Number of clauses158884
Sum of the clauses size478584
Maximum clause length6
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3158240
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5644

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366718-1305414065.cnf'
0.00/0.01	c -- header says num vars:           2070
0.00/0.01	c -- header says num clauses:      158884
0.00/0.07	c -- clauses added:            0 learnts,       158884 normals,            0 xors
0.00/0.07	c -- vars added       2070
0.00/0.07	c Parsing time:  0.04 s
0.00/0.07	c  N st     0         0      2070    158884         0         0    478584         0   no data   no data
0.00/0.65	c asymm  cl-useful: 0/158377/158884 lits-rem:0 time: 0.58
0.00/0.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
2.72/0.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.72/0.71	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2.72/0.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.72/0.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2070 time:  0.01 s
2.72/0.73	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
7.49/1.90	c lits-rem:         0  cl-subs:        0  v-elim:    690  v-fix:    0  time:  1.14 s
7.49/1.90	c Finding binary XORs  T:     0.00 s  found:       0
7.49/1.96	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
7.49/1.96	c calculated reachability. Time: 0.00
7.49/1.97	c Calc default polars -  time:   0.01 s pos:    1380 undec:     690 neg:       0
7.49/1.97	c =========================================================================================
7.49/1.97	c types(t): F = full restart, N = normal restart
7.49/1.97	c types(t): S = simplification begin/end, E = solution found
7.49/1.97	c restart types(rt): st = static, dy = dynamic
7.49/1.97	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.49/1.97	c  B st     0         0      1380     98828         0         0    513491         0   no data   no data
9.08/2.35	c  N dy    12      4024      1380     98828         0      3981    513491    155804     24.98     28.53
10.73/2.72	c  N dy    24      8181      1380     98828         0      8103    513491    302360     23.91     25.35
14.28/3.65	c  N dy    37     17363      1380     98828         0     17209    513490    648085     21.35     22.52
15.86/4.08	c  N dy    60     21703      1380     98828         0     11596    513490    333237     21.55     22.73
17.06/4.37	c  F st    73     25000      1380     98828         0     14860    513490    446536     21.43     20.07
17.06/4.39	c Found part        4 vars:        670 clauses:     47205 lits size:    251895
17.06/4.39	c Found part        7 vars:        710 clauses:     51623 lits size:    261595
17.06/4.39	c Found parts:          2 time: 0.02 s
17.06/4.39	c Solving part 4
17.46/4.43	c  N st     0         0       670     47205         0         0    251895         0   no data   no data
18.66/4.74	c asymm  cl-useful: 16/47205/47205 lits-rem:19 time: 0.31
18.66/4.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
18.66/4.75	c Finding binary XORs  T:     0.00 s  found:       0
18.66/4.76	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
18.66/4.76	c calculated reachability. Time: 0.00
18.66/4.77	c Calc default polars -  time:   0.00 s pos:     670 undec:    1400 neg:       0
18.66/4.77	c =========================================================================================
18.66/4.77	c types(t): F = full restart, N = normal restart
18.66/4.77	c types(t): S = simplification begin/end, E = solution found
18.66/4.77	c restart types(rt): st = static, dy = dynamic
18.66/4.77	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
18.66/4.77	c  B st     0         0       670     47205         0         0    251876         0   no data   no data
20.25/5.13	c  N dy     9      4018       670     47205         0      3973    251876    168281     28.40     30.09
22.25/5.62	c  N dy    19      8854       670     47205         0      4878    251876    146706     27.53     28.98
25.43/6.47	c  N dy    25     18915       670     47205         0      8503    251876    228553     25.15     26.62
27.03/6.87	c  N dy    42     23510       670     47205         0     13068    251876    404231     25.08     26.56
27.83/7.02	c  F st    49     25001       670     47205         0     14546    251876    457710     25.11   no data
29.01/7.35	c  N st    54     28296       670     47205         0      9754    251876    231170     25.11   no data
30.62/7.75	c  N dy    63     32376       670     47205         0     13789    251876    383083     25.08     26.60
32.22/8.11	c  N dy    67     36418       670     47205         0     17746    251876    515778     24.72     26.11
34.60/8.76	c  N dy    74     43344       670     47205         0     15224    251876    394761     24.16     25.55
36.20/9.16	c  N dy   103     47424       670     47205         0     19274    251876    546226     24.42     25.96
38.19/9.65	c  N dy   117     52247       670     47205         0     13479    251876    292271     24.33     25.64
39.79/10.06	c  N dy   142     56336       670     47205         0     17522    251876    438299     24.46     25.92
41.42/10.51	c  N dy   165     60675       670     47205         0     21832    251875    599967     24.50     25.82
43.38/10.93	c  N dy   183     64834       670     47205         0     14276    251875    270356     24.50     25.84
44.98/11.39	c  N dy   196     69401       670     47205         0     18801    251875    446421     24.37     25.82
46.96/11.83	c  N dy   201     73923       670     47205         0     23239    251875    611713     24.15     26.28
48.96/12.35	c  N dy   228     78911       670     47205         0     15520    251875    282767     24.18     25.80
50.95/12.87	c  N dy   253     84022       670     47205         0     20582    251875    469235     24.23     25.53
52.55/13.23	c  F st   270     87501       670     47205         0     24030    251875    587623     24.23     21.41
53.34/13.44	c  N st   274     89532       670     47205         0     26038    251875    664287     24.23   no data
55.73/14.06	c  N dy   289     95431       670     47205         0     18160    251875    361003     24.25     25.63
58.54/14.70	c  N dy   312    101726       670     47205         0     24401    251875    589795     24.24     25.54
61.32/15.42	c  N dy   339    108300       670     47205         0     16206    251875    249484     24.28     25.80
64.10/16.16	c  N dy   381    115219       670     47205         0     23073    251875    505473     24.39     32.33
67.31/16.92	c  N dy   416    122616       670     47205         0     30401    251875    786076     24.41     25.70
70.49/17.77	c  N dy   467    130503       670     47205         0     22502    251874    443782     24.49     29.05
74.87/18.83	c  N dy   503    140285       670     47205         0     32166    251874    806828     24.46     25.80
78.46/19.75	c  N dy   537    149283       670     47205         0     24380    251873    480734     24.46     27.19
84.05/21.19	c  N dy   573    162304       670     47205         0     19617    251873    286308     24.39     25.73
88.83/22.34	c  N dy   603    173269       670     47205         0     30466    251873    700389     24.32     25.69
95.21/23.99	c  N dy   632    188451       670     47205         0     26783    251873    507124     24.15     25.47
100.79/25.33	c  N dy   660    200554       670     47205         0     38756    251873    971181     24.06     25.43
106.38/26.73	c  N dy   705    213370       670     47205         0     31824    251873    683606     24.02     27.32
112.75/28.38	c  N dy   751    227358       670     47205         0     25015    251873    388326     23.99     25.32
119.53/30.04	c  N dy   821    241938       670     47205         0     39460    251873    927661     24.04     25.47
128.31/32.20	c  N dy   899    261085       670     47205         0     36749    251873    767948     24.05     25.38
136.68/34.34	c  N dy   967    279433       670     47205         0     32244    251873    603134     24.05     25.39
145.45/36.53	c  N dy  1023    297649       670     47205         0     26671    251873    374916     24.00     25.31
149.44/37.52	c  F st  1068    306251       670     47205         0     35181    251873    684929     24.04     23.38
155.86/39.17	c  N dy  1089    319714       670     47205         0     48512    251873   1207663     23.99     25.59
165.78/41.66	c  N dy  1140    340001       670     47205         0     44000    251873   1003121     23.90     25.23
175.75/44.17	c  N dy  1204    360013       670     47205         0     38149    251873    729788     23.87     27.20
186.57/46.84	c  N dy  1262    382679       670     47205         0     33986    251871    541095     23.78     25.47
196.48/49.35	c  N dy  1328    402899       670     47205         0     53949    251871   1288767     23.77     25.09
206.05/51.74	c  N dy  1413    422938       670     47205         0     46310    251871    989540     23.78     25.14
216.43/54.38	c  N dy  1459    443003       670     47205         0     37594    251871    627187     23.72     27.51
229.18/57.56	c  N dy  1545    467898       670     47205         0     32675    251871    408346     23.69     25.05
239.20/60.01	c  N dy  1610    488050       670     47205         0     52622    251871   1129641     23.68     25.13
249.51/62.65	c  N dy  1658    508437       670     47205         0     42294    251871    771232     23.66     25.04
270.24/67.82	c  N dy  1772    546394       670     47205         0     48400    251871    975495     23.57     24.94
282.21/70.80	c  N dy  1853    568594       670     47205         0     37773    251871    489473     23.56     24.96
296.21/74.39	c  N dy  1968    595136       670     47205         0     64127    251871   1510361     23.58     24.88
307.32/77.14	c  N dy  2098    615308       670     47205         0     50526    251871    934199     23.64     24.93
319.28/80.11	c  N dy  2128    635442       670     47205         0     35814    251871    368111     23.58     24.83
329.25/82.68	c  N dy  2210    655481       670     47205         0     55702    251871   1109390     23.57     29.13
341.21/85.64	c  N dy  2312    676203       670     47205         0     40698    251871    509399     23.60     24.93
352.37/88.41	c  N dy  2374    697672       670     47205         0     61968    251871   1313854     23.57     24.83
383.92/96.39	c  N dy  2471    746997       670     47205         0     74285    251871   1885674     23.43     24.84
395.43/99.21	c  N dy  2587    767071       670     47205         0     56709    251871   1080441     23.46     24.77
409.00/102.61	c  N dy  2718    788182       670     47205         0     39129    251871    376694     23.49     24.92
419.35/105.27	c  N dy  2821    808476       670     47205         0     59267    251871   1129223     23.51     24.97
432.91/108.67	c  N dy  2888    831014       670     47205         0     42008    251871    437369     23.50     25.05
444.08/111.46	c  N dy  2980    851033       670     47205         0     61879    251871   1181734     23.52     29.22
468.79/117.68	c  N dy  3025    891509       670     47205         0     61647    251871   1256755     23.42     24.72
481.15/120.79	c  N dy  3110    911613       670     47205         0     81570    251871   2023946     23.43     24.69
492.72/123.63	c  N dy  3190    931649       670     47205         0     59867    251871   1086058     23.43     24.67
505.48/126.84	c  N dy  3262    953112       670     47205         0     81078    251871   1864482     23.42     24.70
517.44/129.81	c  N dy  3373    973417       670     47205         0     58708    251871    974234     23.44     24.74
529.38/132.84	c  N dy  3459    993497       670     47205         0     78584    251871   1719011     23.45     27.06
541.80/135.95	c  N dy  3599   1013589       670     47205         0     55048    251871    821515     23.49     25.23
554.12/139.00	c  N dy  3669   1033892       670     47205         0     75226    251871   1654809     23.48     24.80
566.07/142.09	c  N dy  3736   1053897       670     47205         0     50541    251871    602025     23.47     27.24
576.48/144.67	c  F st  3813   1071875       670     47205         0     68363    251871   1277716     23.48   no data
577.63/144.98	c  N st  3817   1073906       670     47205         0     70371    251871   1349414     23.48   no data
601.55/150.97	c  N dy  3873   1112116       670     47205         0     62812    251871   1102367     23.41     24.72
615.11/154.37	c  N dy  4006   1133220       670     47205         0     83788    251871   1889854     23.45     24.74
637.88/160.01	c  N dy  4054   1167568       670     47205         0     71217    251871   1409174     23.38     24.86
654.98/164.36	c  N dy  4077   1196239       670     47205         0     52196    251871    604270     23.32     24.67
667.74/167.56	c  N dy  4099   1218456       670     47205         0     74270    251871   1482845     23.28     24.79
684.09/171.63	c  N dy  4120   1242426       670     47205         0     49555    251871    461132     23.21     24.57
695.65/174.59	c  N dy  4200   1263029       670     47205         0     70005    251871   1238721     23.21     24.91
709.60/178.02	c  N dy  4319   1283343       670     47205         0     90151    251871   1979689     23.23     24.54
722.36/181.27	c  N dy  4426   1303378       670     47205         0     60576    251871    829222     23.25     24.53
735.52/184.53	c  N dy  4514   1324536       670     47205         0     81546    251871   1639656     23.25     24.50
754.66/189.33	c  N dy  4581   1353916       670     47205         0     60307    251871    838320     23.22     24.58
767.01/192.48	c  N dy  4673   1374385       670     47205         0     80573    251871   1599831     23.23     24.65
783.02/196.44	c  N dy  4783   1396747       670     47205         0    102756    251871   2417662     23.25     24.48
795.33/199.55	c  N dy  4896   1417107       670     47205         0     71476    251871   1174432     23.26     24.69
809.67/203.10	c  N dy  4985   1438765       670     47205         0     92938    251871   1979137     23.26     24.58
823.62/206.69	c  N dy  5020   1460050       670     47205         0     61641    251871    832597     23.23     24.53
836.38/209.87	c  N dy  5084   1480218       670     47205         0     81646    251871   1607008     23.22     24.99
851.94/213.78	c  N dy  5111   1503411       670     47205         0    104602    251871   2512968     23.19     24.67
864.69/216.96	c  N dy  5199   1523425       670     47205         0     71006    251871   1121481     23.19     29.14
879.08/220.61	c  N dy  5279   1545309       670     47205         0     92640    251871   1934797     23.19     24.56
893.80/224.29	c  N dy  5397   1565393       670     47205         0     58213    251871    609824     23.21     27.20
906.56/227.43	c  N dy  5420   1585447       670     47205         0     78070    251871   1397532     23.19     28.94
920.91/231.09	c  N dy  5530   1606325       670     47205         0     98756    251871   2145083     23.20     24.52
935.28/234.66	c  N dy  5644   1626729       670     47205         0     63670    251871    785937     23.22     24.60
947.23/237.67	c  N dy  5697   1646763       670     47205         0     83421    251871   1537188     23.21     24.46
961.59/241.25	c  N dy  5812   1666817       670     47205         0    103305    251871   2279567     23.22     24.46
975.14/244.64	c  N dy  5895   1686890       670     47205         0     66904    251871    870552     23.22     25.54
989.49/248.24	c  N dy  5988   1708533       670     47205         0     88294    251871   1686677     23.23     24.53
1005.43/252.25	c  N dy  6149   1728548       670     47205         0    108144    251871   2437030     23.26     25.45
1019.00/255.70	c  N dy  6228   1749779       670     47205         0     71892    251871   1040110     23.26     24.56
1033.34/259.24	c  N dy  6347   1770308       670     47205         0     92215    251871   1787025     23.27     24.75
1047.69/262.86	c  N dy  6406   1790311       670     47205         0    112054    251871   2551398     23.27     30.55
1061.66/266.32	c  N dy  6501   1810513       670     47205         0     73758    251871   1093702     23.28     24.67
1075.21/269.74	c  N dy  6612   1830535       670     47205         0     93630    251870   1848793     23.29     29.75
1089.60/273.36	c  N dy  6652   1850651       670     47205         0    113570    251870   2627533     23.28     24.66
1103.16/276.79	c  N dy  6750   1870678       670     47205         0     74064    251870   1031533     23.29     24.86
1117.87/280.42	c  N dy  6899   1890876       670     47205         0     94091    251870   1777670     23.31     24.72
1141.80/286.45	c  N dy  6997   1922535       670     47205         0     65112    251870    685747     23.30     24.66
1157.34/290.31	c  N dy  7094   1946832       670     47205         0     89222    251870   1620622     23.30     24.57
1174.49/294.65	c  N dy  7205   1970441       670     47205         0    112604    251870   2473106     23.30     24.53
1189.64/298.42	c  N dy  7337   1990508       670     47205         0     71171    251870    872228     23.32     24.67
1203.63/301.96	c  N dy  7445   2010790       670     47205         0     91265    251870   1599172     23.33     24.61
1218.74/305.74	c  N dy  7561   2030804       670     47205         0    111087    251870   2337133     23.35     27.32
1234.73/309.77	c  N dy  7639   2052204       670     47205         0     69990    251870    808502     23.35     24.68
1248.52/313.26	c  N dy  7749   2072227       670     47205         0     89829    251870   1538604     23.36     28.91
1266.32/317.72	c  N dy  7858   2094602       670     47205         0    112039    251870   2369264     23.37     24.63
1282.12/321.71	c  N dy  7919   2114673       670     47205         0     68655    251870    731928     23.36     24.63
1295.13/325.10	c  N dy  7983   2134694       670     47205         0     88505    251870   1514118     23.36     27.11
1310.84/329.07	c  N dy  8111   2154775       670     47205         0    108409    251870   2250052     23.37     30.87
1328.35/333.49	c  N dy  8233   2175031       670     47205         0    128491    251870   2980743     23.39     24.70
1343.14/337.12	c  N dy  8400   2195123       670     47205         0     84114    251870   1279515     23.42     27.89
1357.86/340.80	c  N dy  8489   2215192       670     47205         0    103908    251870   1975785     23.42     27.46
1380.19/346.42	c  N dy  8590   2243764       670     47205         0     66977    251870    605669     23.41     24.65
1400.93/351.61	c  N dy  8632   2272359       670     47205         0     95427    251870   1781064     23.37     24.61
1421.66/356.86	c  N dy  8701   2300506       670     47205         0    123331    251870   2888759     23.36     24.61
1436.01/360.49	c  N dy  8738   2320915       670     47205         0     77283    251870    978445     23.35     24.61
1450.76/364.12	c  N dy  8823   2341767       670     47205         0     98004    251870   1793221     23.35     24.74
1467.10/368.28	c  N dy  8927   2363073       670     47205         0    119156    251870   2615217     23.35     24.68
1484.24/372.56	c  N dy  9043   2383192       670     47205         0     71727    251870    712983     23.37     24.66
1501.78/376.95	c  N dy  9123   2409148       670     47205         0     97450    251870   1687168     23.36     24.65
1518.98/381.28	c  N dy  9219   2431365       670     47205         0    119484    251870   2510542     23.36     24.76
1544.05/387.58	c  N dy  9304   2463266       670     47205         0     82632    251870   1139517     23.34     24.68
1559.59/391.44	c  N dy  9423   2483758       670     47205         0    102943    251870   1882833     23.35     24.59
1576.33/395.60	c  N dy  9543   2504070       670     47205         0    123059    251870   2632844     23.36     24.62
1597.51/400.94	c  N dy  9620   2531527       670     47205         0     81203    251870   1113652     23.35     24.65
1612.22/404.68	c  N dy  9711   2552307       670     47205         0    101784    251870   1899322     23.35     24.77
1628.63/408.74	c  N dy  9820   2572338       670     47205         0    121635    251870   2618452     23.36     24.78
1646.50/413.23	c  N dy  9912   2592359       670     47205         0     71253    251870    612338     23.36     28.62
1660.86/416.88	c  N dy 10033   2613212       670     47205         0     91898    251870   1358134     23.37     24.79
1676.45/420.79	c  N dy 10162   2633258       670     47205         0    111783    251870   2101026     23.39     27.64
1693.56/425.03	c  N dy 10257   2653269       670     47205         0    131625    251870   2837244     23.39     24.72
1709.91/429.12	c  N dy 10366   2673367       670     47205         0     80322    251870    928110     23.40     26.74
1725.85/433.15	c  N dy 10402   2695239       670     47205         0    102025    251870   1782438     23.38     24.97
1741.40/437.09	c  N dy 10488   2715284       670     47205         0    121904    251870   2548272     23.39     26.31
1759.34/441.60	c  N dy 10600   2735382       670     47205         0    141869    251870   3316472     23.39     29.08
1775.69/445.67	c  N dy 10687   2757528       670     47205         0     91492    251870   1325234     23.39     24.69
1791.22/449.54	c  N dy 10792   2777545       670     47205         0    111309    251870   2049439     23.40     28.32
1808.42/453.87	c  N dy 10902   2798169       670     47205         0    131737    251870   2794264     23.41     24.67
1826.32/458.30	c  N dy 11011   2818258       670     47205         0     78425    251869    785711     23.42     24.80
1840.27/461.88	c  N dy 11080   2839193       670     47205         0     99182    251869   1593482     23.41     24.67
1856.67/465.92	c  N dy 11095   2861450       670     47205         0    121277    251869   2476508     23.39     24.80
1873.38/470.20	c  N dy 11186   2881467       670     47205         0    141043    251869   3175299     23.39     24.77
1910.04/479.34	c  N dy 11257   2923595       670     47205         0    108595    251869   2027085     23.36     24.96
1946.33/488.41	c  N dy 11321   2964321       670     47205         0    148645    251869   3619502     23.32     24.99
1961.09/492.12	c  N dy 11358   2984336       670     47205         0     93465    251869   1325150     23.31     26.59
1975.42/495.77	c  N dy 11389   3004397       670     47205         0    113203    251869   2100106     23.30     24.66
1992.21/499.98	c  N dy 11511   3024406       670     47205         0    133010    251869   2841613     23.31     26.38
2010.92/504.66	c  N dy 11611   3044809       670     47205         0     77243    251869    663987     23.32     24.57
2026.06/508.40	c  N dy 11636   3065825       670     47205         0     97981    251869   1481556     23.30     24.69
2082.68/522.66	c  N dy 11738   3132548       670     47205         0     87010    251869   1047708     23.25     24.54
2097.89/526.42	c  N dy 11856   3152593       670     47205         0    106874    251869   1803529     23.26     26.27
2115.02/530.74	c  N dy 11954   3173738       670     47205         0    127795    251869   2596025     23.26     24.69
2134.52/535.62	c  N dy 12053   3195744       670     47205         0    149574    251869   3395579     23.27     24.51
2156.44/541.16	c  N dy 12091   3226313       670     47205         0    101749    251869   1570831     23.25     24.48
2173.19/545.34	c  N dy 12220   3246352       670     47205         0    121635    251869   2305334     23.26     28.43
2190.33/549.63	c  N dy 12305   3266434       670     47205         0    141471    251869   3063612     23.26     24.61
2223.03/557.82	c  N dy 12396   3304617       670     47205         0    100348    251869   1518953     23.24     24.50
2238.97/561.87	c  N dy 12494   3325131       670     47205         0    120687    251869   2282664     23.24     24.62
2255.78/566.03	c  N dy 12582   3345515       670     47205         0    140904    251869   3053998     23.24     24.76
2274.05/570.60	c  N dy 12626   3365568       670     47205         0     80654    251869    667616     23.23     28.77
2288.41/574.21	c  N dy 12725   3385647       670     47205         0    100552    251869   1437433     23.24     29.98
2305.16/578.44	c  N dy 12798   3408035       670     47205         0    122659    251869   2291611     23.24     24.55
2323.51/583.04	c  N dy 12919   3428103       670     47205         0    142562    251869   3012003     23.25     26.72
2353.01/590.45	c  N dy 12973   3464513       670     47205         0     97334    251869   1287731     23.21     24.45
2369.81/594.66	c  N dy 13125   3484625       670     47205         0    117257    251869   2022878     23.23     24.51
2386.94/598.91	c  N dy 13237   3504691       670     47205         0    137113    251869   2752554     23.24     24.46
2404.48/603.33	c  N dy 13314   3524745       670     47205         0    156906    251869   3472690     23.24     28.24
2423.18/608.08	c  N dy 13420   3547647       670     47205         0     97701    251869   1258193     23.24     24.52
2439.97/612.23	c  N dy 13544   3567735       670     47205         0    117600    251869   1993415     23.25     24.49
2457.10/616.52	c  N dy 13627   3587742       670     47205         0    137430    251869   2772284     23.25     33.34
2475.40/621.13	c  N dy 13725   3607783       670     47205         0    157338    251869   3552175     23.26     26.47
2492.94/625.52	c  N dy 13838   3627796       670     47205         0     94133    251869   1098588     23.26     31.21
2508.90/629.52	c  N dy 13945   3647874       670     47205         0    114040    251869   1835971     23.27     25.69
2525.64/633.72	c  N dy 14040   3667891       670     47205         0    133841    251869   2556953     23.27     27.23
2545.57/638.77	c  N dy 14155   3690153       670     47205         0    155873    251869   3360438     23.28     24.51
2564.32/643.49	c  N dy 14264   3710336       670     47205         0     91818    251869    969829     23.28     24.53
2579.91/647.36	c  N dy 14368   3730358       670     47205         0    111671    251869   1734058     23.28     28.75
2597.02/651.63	c  N dy 14460   3750451       670     47205         0    131588    251869   2481646     23.29     31.05
2597.87/651.89	c  F st 14470   3751562       670     47205         0    132692    251869   2520873     23.29   no data
2615.75/656.34	c  N dy 14570   3770660       670     47205         0    151645    251869   3246124     23.29     24.72
2637.33/661.74	c  N dy 14691   3791339       670     47205         0     87036    251869    750876     23.30     24.58
2690.68/675.18	c  N dy 14761   3852918       670     47205         0    148041    251869   3237860     23.26     24.51
2728.99/684.76	c  N dy 14798   3897864       670     47205         0    106592    251869   1598236     23.23     24.58
2745.70/688.97	c  N dy 14900   3918037       670     47205         0    126581    251869   2339476     23.24     24.46
2766.03/694.08	c  N dy 14995   3941307       670     47205         0    149601    251869   3220837     23.24     24.58
2786.00/699.04	c  N dy 15099   3961400       670     47205         0    169525    251869   3976691     23.24     26.22
2803.55/703.44	c  N dy 15191   3981499       670     47205         0    102343    251869   1264393     23.24     31.69
2819.06/707.34	c  N dy 15265   4001501       670     47205         0    122148    251869   1980801     23.24     27.29
2836.20/711.69	c  N dy 15370   4021592       670     47205         0    142055    251869   2731017     23.25     24.60
2856.57/716.78	c  N dy 15491   4042303       670     47205         0    162545    251869   3478133     23.25     24.55
2875.66/721.54	c  N dy 15577   4062367       670     47205         0     94405    251869    947756     23.26     24.54
2895.63/726.52	c  N dy 15690   4088050       670     47205         0    119883    251869   1924692     23.26     24.68
2910.74/730.38	c  N dy 15734   4108227       670     47205         0    139829    251869   2679487     23.25     24.48
2929.07/734.93	c  N dy 15780   4128309       670     47205         0    159790    251869   3496334     23.25     24.69
2949.79/740.10	c  N dy 15864   4148428       670     47205         0     90651    251869    775656     23.25     24.66
2965.35/744.00	c  N dy 15954   4168485       670     47205         0    110517    251869   1508554     23.25     28.13
2982.89/748.50	c  N dy 16105   4188740       670     47205         0    130622    251869   2257935     23.26     24.71
3001.62/753.12	c  N dy 16214   4208791       670     47205         0    150518    251869   3022873     23.27     29.06
3033.91/761.22	c  N dy 16341   4242591       670     47205         0     93966    251869    877154     23.26     24.75
3050.65/765.45	c  N dy 16385   4265172       670     47205         0    116344    251869   1749816     23.25     24.55
3069.00/770.03	c  N dy 16516   4285283       670     47205         0    136268    251869   2497316     23.26     24.49
3092.12/775.84	c  N dy 16606   4310466       670     47205         0    161289    251869   3493830     23.26     24.52
3117.23/782.13	c  N dy 16610   4336411       670     47205         0     95781    251869    931941     23.24     24.54
3133.97/786.33	c  N dy 16703   4358553       670     47205         0    117679    251869   1758319     23.24     24.73
3151.91/790.87	c  N dy 16812   4378557       670     47205         0    137441    251869   2494698     23.25     25.50
3171.87/795.84	c  N dy 16905   4400193       670     47205         0    158889    251869   3297739     23.25     24.54
3190.17/800.41	c  N dy 16941   4420274       670     47205         0    178754    251869   4040149     23.24     24.85
3208.51/805.02	c  N dy 17069   4440331       670     47205         0    106708    251869   1292464     23.25     24.71
3225.65/809.30	c  N dy 17190   4460456       670     47205         0    126661    251869   2025460     23.26     24.59
3243.99/813.99	c  N dy 17283   4481109       670     47205         0    147095    251869   2773266     23.26     24.52
3262.73/818.60	c  N dy 17332   4501184       670     47205         0    166999    251869   3574847     23.26     24.50
3283.46/823.85	c  N dy 17414   4521465       670     47205         0     94154    251869    794294     23.26     24.50
3299.79/827.98	c  N dy 17563   4541506       670     47205         0    114017    251869   1533565     23.26     26.15
3317.34/832.31	c  N dy 17660   4561565       670     47205         0    133884    251869   2286401     23.27     26.97
3336.47/837.14	c  N dy 17782   4581622       670     47205         0    153766    251869   3028561     23.28     25.92
3361.58/843.49	c  N dy 17813   4608238       670     47205         0    180059    251869   4063139     23.26     24.62
3381.13/848.31	c  N dy 17911   4628477       670     47205         0    106151    251869   1204231     23.26     24.49
3397.46/852.49	c  N dy 18010   4648588       670     47205         0    126091    251869   1954280     23.27     24.70
3415.40/856.93	c  N dy 18101   4668678       670     47205         0    146016    251869   2704837     23.27     26.95
3435.39/861.98	c  N dy 18179   4689463       670     47205         0    166621    251869   3474638     23.27     24.57
3456.45/867.26	c  N dy 18262   4710054       670     47205         0    187022    251869   4250341     23.27     24.80
3473.99/871.67	c  N dy 18380   4730108       670     47205         0    111906    251869   1410798     23.28     27.32
3491.14/875.98	c  N dy 18470   4750171       670     47205         0    131811    251869   2186078     23.28     28.97
3509.93/880.68	c  N dy 18561   4770357       670     47205         0    151718    251869   2902321     23.28     24.56
3529.81/885.67	c  N dy 18640   4790667       670     47205         0    171862    251869   3696005     23.28     24.61
3553.36/891.57	c  N dy 18711   4813458       670     47205         0     98443    251869    868630     23.28     24.78
3569.67/895.69	c  N dy 18820   4833761       670     47205         0    118576    251869   1606665     23.28     24.58
3587.61/900.10	c  N dy 18918   4853847       670     47205         0    138415    251869   2332077     23.29     25.00
3606.74/904.93	c  N dy 19041   4873912       670     47205         0    158322    251869   3076767     23.29     28.78
3628.32/910.38	c  N dy 19171   4893993       670     47205         0    178184    251869   3807702     23.30     29.31
3648.99/915.60	c  N dy 19233   4914068       670     47205         0    101158    251869    939022     23.30     28.31
3664.54/919.43	c  N dy 19288   4934160       670     47205         0    121020    251869   1712295     23.29     27.45
3682.88/924.09	c  N dy 19427   4954230       670     47205         0    140895    251869   2453220     23.30     27.65
3704.00/929.36	c  N dy 19559   4974683       670     47205         0    161177    251869   3198624     23.31     24.62
3729.16/935.69	c  N dy 19649   5000118       670     47205         0    186400    251869   4184773     23.31     24.77
3883.39/974.34	c  N dy 19730   5127616       670     47205         0    115907    251869   1524296     23.21     24.54
3901.33/978.82	c  N dy 19837   5147708       670     47205         0    135832    251869   2251966     23.21     24.44
3918.87/983.24	c  N dy 19900   5167749       670     47205         0    155690    251869   3050011     23.21     26.27
3938.80/988.26	c  N dy 19993   5187797       670     47205         0    175551    251869   3803520     23.21     24.44
3957.93/993.07	c  N dy 20024   5207817       670     47205         0    195297    251869   4580761     23.20     35.07
3975.87/997.57	c  N dy 20102   5227870       670     47205         0    115231    251869   1377451     23.20     28.65
3993.82/1002.05	c  N dy 20215   5248267       670     47205         0    135404    251869   2138822     23.21     24.47
4012.55/1006.74	c  N dy 20315   5268399       670     47205         0    155396    251869   2907840     23.21     24.77
4034.08/1012.12	c  N dy 20430   5289240       670     47205         0    176033    251869   3687215     23.22     24.53
4055.20/1017.44	c  N dy 20509   5309278       670     47205         0    195853    251869   4432436     23.22     29.54
4074.34/1022.24	c  N dy 20600   5329393       670     47205         0    114927    251869   1366108     23.22     24.54
4091.08/1026.48	c  N dy 20679   5349573       670     47205         0    134834    251869   2128991     23.22     24.45
4109.42/1031.07	c  N dy 20754   5370165       670     47205         0    155240    251869   2909618     23.22     24.80
4129.34/1036.09	c  N dy 20850   5390183       670     47205         0    175077    251869   3663574     23.22     24.49
4151.67/1041.65	c  N dy 20913   5411176       670     47205         0    195848    251869   4450147     23.22     24.56
4202.33/1054.32	c  N dy 20975   5462901       670     47205         0    144918    251869   2578472     23.20     24.68
4221.82/1059.26	c  N dy 21067   5483616       670     47205         0    165450    251869   3371511     23.20     24.49
4242.20/1064.32	c  N dy 21146   5504010       670     47205         0    185633    251869   4127150     23.20     24.43
4266.46/1070.42	c  N dy 21269   5524212       670     47205         0    102978    251869    840367     23.21     25.06
4283.21/1074.63	c  N dy 21374   5544743       670     47205         0    123289    251869   1582913     23.21     24.67
4313.90/1082.35	c  N dy 21424   5578012       670     47205         0    156336    251869   2939075     23.20     24.52
4335.43/1087.71	c  N dy 21465   5599647       670     47205         0    177787    251869   3817993     23.20     24.44
4357.35/1093.23	c  N dy 21562   5619683       670     47205         0    197630    251869   4539877     23.20     32.53
4377.72/1098.41	c  N dy 21645   5639815       670     47205         0    113723    251869   1205937     23.20     24.49
4417.94/1108.48	c  N dy 21665   5681135       670     47205         0    154747    251869   2916675     23.18     24.41
4439.51/1113.87	c  N dy 21762   5702976       670     47205         0    176437    251869   3772602     23.18     24.42
4461.78/1119.41	c  N dy 21863   5722997       670     47205         0    196249    251869   4506822     23.19     24.41
4484.11/1125.06	c  N dy 21963   5743133       670     47205         0    111301    251869   1094016     23.19     24.54
4501.24/1129.33	c  N dy 22058   5763233       670     47205         0    131195    251869   1829107     23.19     24.47
4521.98/1134.60	c  N dy 22158   5785700       670     47205         0    153432    251869   2649708     23.19     24.48
4552.28/1142.12	c  N dy 22207   5816210       670     47205         0    183746    251869   3936456     23.19     24.67
4578.19/1148.60	c  N dy 22285   5839902       670     47205         0    207191    251869   4847168     23.18     24.48
4598.11/1153.65	c  N dy 22399   5860071       670     47205         0    121260    251869   1434748     23.19     24.41
4616.84/1158.35	c  N dy 22526   5880157       670     47205         0    141164    251869   2154290     23.19     29.84
4635.98/1163.13	c  N dy 22596   5900711       670     47205         0    161547    251869   2947008     23.19     24.42
4655.51/1168.00	c  N dy 22648   5920728       670     47205         0    181294    251869   3685990     23.19     25.53
4676.28/1173.23	c  N dy 22715   5940731       670     47205         0    201115    251869   4436603     23.19     27.25
4699.75/1179.19	c  N dy 22846   5961392       670     47205         0    114746    251869   1161547     23.20     25.25
4717.30/1183.55	c  N dy 22948   5981430       670     47205         0    134592    251869   1901356     23.20     24.75

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366718-1305414065/watcher-3366718-1305414065 -o /tmp/evaluation-result-3366718-1305414065/solver-3366718-1305414065 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366718-1305414065.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.59 7.76 7.91 7/401 29621
/proc/meminfo: memFree=24223172/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=51168 CPUtime=0.02 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 407 0 0 0 2 0 0 0 20 0 4 0 653005156 52396032 347 33554432000 4194304 4580107 140736749818608 18446744073709551615 47787157067698 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 12792 347 299 95 0 7774 0
[pid=29621/tid=29622] ppid=29619 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 1 0 0 0 1 0 0 0 21 0 4 0 653005156 52396032 347 33554432000 4194304 4580107 140736749818608 18446744073709551615 47787157067696 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 4 0 653005156 52396032 347 33554432000 4194304 4580107 140736749818608 18446744073709551615 47787157067698 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 653005156 52396032 347 33554432000 4194304 4580107 140736749818608 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.676484 s]
/proc/loadavg: 6.59 7.76 7.91 7/401 29621
/proc/meminfo: memFree=24223172/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=308296 CPUtime=2.64 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 13907 0 0 0 259 5 0 0 18 0 4 0 653005156 315695104 13690 33554432000 4194304 4580107 140736749818608 18446744073709551615 242970593463 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 77074 13696 364 95 0 72056 0
[pid=29621/tid=29622] ppid=29619 vsize=308296 CPUtime=0.66 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 3076 0 0 0 65 1 0 0 18 0 4 0 653005156 315695104 13700 33554432000 4194304 4580107 140736749818608 18446744073709551615 4439199 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=308296 CPUtime=0.66 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 2999 0 0 0 65 1 0 0 18 0 4 0 653005156 315695104 13704 33554432000 4194304 4580107 140736749818608 18446744073709551615 242970218999 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=308296 CPUtime=0.64 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 3415 0 0 0 63 1 0 0 18 0 4 0 653005156 315695104 13707 33554432000 4194304 4580107 140736749818608 18446744073709551615 242970655214 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 308296

[startup+0.700514 s]
/proc/loadavg: 6.59 7.76 7.91 7/401 29621
/proc/meminfo: memFree=24223172/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=320356 CPUtime=2.72 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 20826 0 0 0 264 8 0 0 18 0 4 0 653005156 328044544 20609 33554432000 4194304 4580107 140736749818608 18446744073709551615 4401482 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 80089 20628 365 95 0 75071 0
[pid=29621/tid=29622] ppid=29619 vsize=320356 CPUtime=0.68 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 5142 0 0 0 66 2 0 0 18 0 4 0 653005156 328044544 20633 33554432000 4194304 4580107 140736749818608 18446744073709551615 242970593463 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=320356 CPUtime=0.67 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 5711 0 0 0 65 2 0 0 18 0 4 0 653005156 328044544 20645 33554432000 4194304 4580107 140736749818608 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=320356 CPUtime=0.67 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 3452 0 0 0 66 1 0 0 18 0 4 0 653005156 328044544 20650 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 320356

[startup+0.800505 s]
/proc/loadavg: 6.59 7.76 7.91 7/401 29621
/proc/meminfo: memFree=24223172/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=353796 CPUtime=3.1 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 29882 0 0 0 300 10 0 0 18 0 4 0 653005156 362287104 29307 33554432000 4194304 4580107 140736749818608 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 88449 29307 372 95 0 83431 0
[pid=29621/tid=29622] ppid=29619 vsize=353796 CPUtime=0.77 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 8654 0 0 0 74 3 0 0 18 0 4 0 653005156 362287104 29307 33554432000 4194304 4580107 140736749818608 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=353796 CPUtime=0.77 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 8584 0 0 0 74 3 0 0 18 0 4 0 653005156 362287104 29307 33554432000 4194304 4580107 140736749818608 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=353796 CPUtime=0.77 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 3501 0 0 0 76 1 0 0 18 0 4 0 653005156 362287104 29307 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 353796

[startup+0.900487 s]
/proc/loadavg: 6.59 7.76 7.91 7/401 29621
/proc/meminfo: memFree=24223172/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=353796 CPUtime=3.5 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 29929 0 0 0 340 10 0 0 18 0 4 0 653005156 362287104 29354 33554432000 4194304 4580107 140736749818608 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 88449 29354 372 95 0 83431 0
[pid=29621/tid=29622] ppid=29619 vsize=353796 CPUtime=0.87 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 8654 0 0 0 84 3 0 0 18 0 4 0 653005156 362287104 29354 33554432000 4194304 4580107 140736749818608 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=353796 CPUtime=0.87 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 8584 0 0 0 84 3 0 0 18 0 4 0 653005156 362287104 29354 33554432000 4194304 4580107 140736749818608 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=353796 CPUtime=0.87 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 3548 0 0 0 86 1 0 0 18 0 4 0 653005156 362287104 29354 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 353796

[startup+1.50038 s]
/proc/loadavg: 6.59 7.76 7.91 7/401 29621
/proc/meminfo: memFree=24223172/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=346196 CPUtime=5.9 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 42117 0 0 0 576 14 0 0 19 0 4 0 653005156 354504704 36397 33554432000 4194304 4580107 140736749818608 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 86549 36397 374 95 0 81531 0
[pid=29621/tid=29622] ppid=29619 vsize=346196 CPUtime=1.47 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 12590 0 0 0 143 4 0 0 19 0 4 0 653005156 354504704 36397 33554432000 4194304 4580107 140736749818608 18446744073709551615 242970246923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=346196 CPUtime=1.47 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 12604 0 0 0 143 4 0 0 18 0 4 0 653005156 354504704 36398 33554432000 4194304 4580107 140736749818608 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=346196 CPUtime=1.47 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 3812 0 0 0 146 1 0 0 19 0 4 0 653005156 354504704 36398 33554432000 4194304 4580107 140736749818608 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 346196

[startup+3.1011 s]
/proc/loadavg: 6.59 7.76 7.91 9/405 29625
/proc/meminfo: memFree=24027620/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=460584 CPUtime=12.28 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 54529 0 0 0 1210 18 0 0 22 0 4 0 653005156 471638016 45083 33554432000 4194304 4580107 140736749818608 18446744073709551615 4296101 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 115146 45083 378 95 0 110128 0
[pid=29621/tid=29622] ppid=29619 vsize=460584 CPUtime=3.07 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 16451 0 0 0 302 5 0 0 22 0 4 0 653005156 471638016 45083 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=460584 CPUtime=3.07 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 15900 0 0 0 302 5 0 0 20 0 4 0 653005156 471638016 45083 33554432000 4194304 4580107 140736749818608 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=460584 CPUtime=3.03 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 5686 0 0 0 302 1 0 0 22 0 4 0 653005156 471638016 45083 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 460584

[startup+6.30056 s]
/proc/loadavg: 6.86 7.80 7.92 10/405 29625
/proc/meminfo: memFree=23957076/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=384220 CPUtime=25.03 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 79683 0 0 0 2481 22 0 0 25 0 4 0 653005156 393441280 57076 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 96055 57076 380 95 0 91037 0
[pid=29621/tid=29622] ppid=29619 vsize=384220 CPUtime=6.27 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 20237 0 0 0 621 6 0 0 22 0 4 0 653005156 393441280 57076 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=384220 CPUtime=6.26 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 19047 0 0 0 621 5 0 0 25 0 4 0 653005156 393441280 57076 33554432000 4194304 4580107 140736749818608 18446744073709551615 4319742 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=384220 CPUtime=6.19 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 19584 0 0 0 616 3 0 0 25 0 4 0 653005156 393441280 57076 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 384220

[startup+12.7155 s]
/proc/loadavg: 6.95 7.80 7.92 9/405 29625
/proc/meminfo: memFree=23899300/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=545204 CPUtime=50.61 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 97841 0 0 0 5036 25 0 0 25 0 4 0 653005156 558288896 68064 33554432000 4194304 4580107 140736749818608 18446744073709551615 4324343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 136301 68064 380 95 0 131283 0
[pid=29621/tid=29622] ppid=29619 vsize=545204 CPUtime=12.68 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 24272 0 0 0 1261 7 0 0 25 0 4 0 653005156 558288896 68064 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=545204 CPUtime=12.68 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 23148 0 0 0 1263 5 0 0 25 0 4 0 653005156 558288896 68064 33554432000 4194304 4580107 140736749818608 18446744073709551615 4324343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=545204 CPUtime=12.53 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 26202 0 0 0 1248 5 0 0 25 0 4 0 653005156 558288896 68065 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 545204

[startup+25.5003 s]
/proc/loadavg: 7.26 7.83 7.93 9/405 29626
/proc/meminfo: memFree=23873108/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=545788 CPUtime=101.59 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 115636 0 0 0 10129 30 0 0 25 0 4 0 653005156 558886912 72511 33554432000 4194304 4580107 140736749818608 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 136447 72511 380 95 0 131429 0
[pid=29621/tid=29622] ppid=29619 vsize=545788 CPUtime=25.47 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 30358 0 0 0 2538 9 0 0 25 0 4 0 653005156 558886912 72511 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=545788 CPUtime=25.47 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 24473 0 0 0 2541 6 0 0 25 0 4 0 653005156 558886912 72511 33554432000 4194304 4580107 140736749818608 18446744073709551615 4318887 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=545788 CPUtime=25.15 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 31341 0 0 0 2509 6 0 0 25 0 4 0 653005156 558886912 72511 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 545788

[startup+51.1008 s]
/proc/loadavg: 7.64 7.87 7.94 9/405 29656
/proc/meminfo: memFree=23673396/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=547012 CPUtime=203.7 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 147577 0 0 0 20333 37 0 0 25 0 4 0 653005156 560140288 76214 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 136753 76214 380 95 0 131735 0
[pid=29621/tid=29622] ppid=29619 vsize=547012 CPUtime=51.08 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 40238 0 0 0 5098 10 0 0 25 0 4 0 653005156 560140288 76216 33554432000 4194304 4580107 140736749818608 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=547012 CPUtime=51.08 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 26088 0 0 0 5101 7 0 0 25 0 4 0 653005156 560140288 76216 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=547012 CPUtime=50.43 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 42034 0 0 0 5034 9 0 0 25 0 4 0 653005156 560140288 76216 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.7
Current children cumulated vsize (KiB) 547012

[startup+102.301 s]
/proc/loadavg: 7.89 7.90 7.95 9/405 29658
/proc/meminfo: memFree=23624956/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=548228 CPUtime=407.79 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 198687 0 0 0 40726 53 0 0 25 0 4 0 653005156 561385472 86356 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 137057 86356 380 95 0 132039 0
[pid=29621/tid=29622] ppid=29619 vsize=548228 CPUtime=102.27 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 57348 0 0 0 10211 16 0 0 25 0 4 0 653005156 561385472 86356 33554432000 4194304 4580107 140736749818608 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=548228 CPUtime=102.26 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 28583 0 0 0 10218 8 0 0 25 0 4 0 653005156 561385472 86356 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=548228 CPUtime=100.97 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 57223 0 0 0 10083 14 0 0 25 0 4 0 653005156 561385472 86356 33554432000 4194304 4580107 140736749818608 18446744073709551615 4318689 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.79
Current children cumulated vsize (KiB) 548228

[startup+162.315 s]

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

[pid=29621] ppid=29619 vsize=691364 CPUtime=2799.15 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 641766 0 0 0 279688 227 0 0 25 0 4 0 653005156 707956736 91307 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29621/statm: 172841 91307 380 95 0 167823 0
[pid=29621/tid=29622] ppid=29619 vsize=691364 CPUtime=702.24 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 186445 0 0 0 70158 66 0 0 25 0 4 0 653005156 707956736 91309 33554432000 4194304 4580107 140736749818608 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=691364 CPUtime=702.18 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 80503 0 0 0 70189 29 0 0 25 0 4 0 653005156 707956736 91309 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=691364 CPUtime=693.3 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 185490 0 0 0 69263 67 0 0 25 0 4 0 653005156 707956736 91309 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2799.15
Current children cumulated vsize (KiB) 691364

[startup+762.301 s]
/proc/loadavg: 8.01 8.07 8.01 9/405 29678
/proc/meminfo: memFree=23377076/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=744744 CPUtime=3038.3 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 701478 0 0 0 303581 249 0 0 25 0 4 0 653005156 762617856 98952 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29621/statm: 186186 98952 380 95 0 181168 0
[pid=29621/tid=29622] ppid=29619 vsize=744744 CPUtime=762.22 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 201821 0 0 0 76151 71 0 0 25 0 4 0 653005156 762617856 98952 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=744744 CPUtime=762.11 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 95456 0 0 0 76177 34 0 0 25 0 4 0 653005156 762617856 98952 33554432000 4194304 4580107 140736749818608 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=744744 CPUtime=752.55 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 200057 0 0 0 75182 73 0 0 25 0 4 0 653005156 762617856 98952 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3038.3
Current children cumulated vsize (KiB) 744744

[startup+822.315 s]
/proc/loadavg: 8.00 8.05 8.01 9/405 29680
/proc/meminfo: memFree=23354472/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=636884 CPUtime=3277.53 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 754451 0 0 0 327484 269 0 0 25 0 4 0 653005156 652169216 92613 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29621/statm: 159221 92613 380 95 0 154203 0
[pid=29621/tid=29622] ppid=29619 vsize=636884 CPUtime=822.23 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 216711 0 0 0 82146 77 0 0 25 0 4 0 653005156 652169216 92613 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=636884 CPUtime=821.36 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 109270 0 0 0 82096 40 0 0 25 0 4 0 653005156 652169216 92613 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=636884 CPUtime=812.56 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 210853 0 0 0 81178 78 0 0 25 0 4 0 653005156 652169216 92613 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3277.53
Current children cumulated vsize (KiB) 636884

[startup+882.301 s]
/proc/loadavg: 8.05 8.06 8.01 9/405 29681
/proc/meminfo: memFree=23310420/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=578980 CPUtime=3516.65 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 812694 0 0 0 351372 293 0 0 25 0 4 0 653005156 592875520 88585 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29621/statm: 144745 88585 380 95 0 139727 0
[pid=29621/tid=29622] ppid=29619 vsize=578980 CPUtime=882.21 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 231288 0 0 0 88139 82 0 0 25 0 4 0 653005156 592875520 88585 33554432000 4194304 4580107 140736749818608 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=578980 CPUtime=880.58 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 123747 0 0 0 88012 46 0 0 25 0 4 0 653005156 592875520 88585 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=578980 CPUtime=872.54 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 225593 0 0 0 87169 85 0 0 25 0 4 0 653005156 592875520 88585 33554432000 4194304 4580107 140736749818608 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3516.65
Current children cumulated vsize (KiB) 578980

[startup+942.301 s]
/proc/loadavg: 8.11 8.07 8.01 9/405 29683
/proc/meminfo: memFree=23342244/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=700616 CPUtime=3755.82 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 866041 0 0 0 375271 311 0 0 25 0 4 0 653005156 717430784 93371 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29621/statm: 175154 93371 380 95 0 170136 0
[pid=29621/tid=29622] ppid=29619 vsize=700616 CPUtime=942.2 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 244399 0 0 0 94134 86 0 0 25 0 4 0 653005156 717430784 93371 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=700616 CPUtime=939.8 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 136934 0 0 0 93930 50 0 0 25 0 4 0 653005156 717430784 93371 33554432000 4194304 4580107 140736749818608 18446744073709551615 4321284 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=700616 CPUtime=932.54 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 238355 0 0 0 93164 90 0 0 25 0 4 0 653005156 717430784 93371 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3755.82
Current children cumulated vsize (KiB) 700616

[startup+1002.3 s]
/proc/loadavg: 8.12 8.09 8.02 9/405 29685
/proc/meminfo: memFree=23345700/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=580932 CPUtime=3995.01 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 919383 0 0 0 399168 333 0 0 25 0 4 0 653005156 594874368 91739 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29621/statm: 145233 91739 380 95 0 140215 0
[pid=29621/tid=29622] ppid=29619 vsize=580932 CPUtime=1002.19 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 258875 0 0 0 100128 91 0 0 25 0 4 0 653005156 594874368 91739 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=580932 CPUtime=999.05 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 149306 0 0 0 99850 55 0 0 25 0 4 0 653005156 594874368 91739 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=580932 CPUtime=992.53 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 252694 0 0 0 99157 96 0 0 25 0 4 0 653005156 594874368 91739 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3995.01
Current children cumulated vsize (KiB) 580932

[startup+1062.3 s]
/proc/loadavg: 8.12 8.10 8.02 9/405 29686
/proc/meminfo: memFree=23354084/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=704504 CPUtime=4234.17 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 972285 0 0 0 423063 354 0 0 25 0 4 0 653005156 721412096 94185 33554432000 4194304 4580107 140736749818608 18446744073709551615 4318432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29621/statm: 176126 94185 380 95 0 171108 0
[pid=29621/tid=29622] ppid=29619 vsize=704504 CPUtime=1062.19 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 272194 0 0 0 106122 97 0 0 25 0 4 0 653005156 721412096 94185 33554432000 4194304 4580107 140736749818608 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=704504 CPUtime=1058.27 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 163402 0 0 0 105768 59 0 0 25 0 4 0 653005156 721412096 94185 33554432000 4194304 4580107 140736749818608 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=704504 CPUtime=1052.53 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 265296 0 0 0 105152 101 0 0 25 0 4 0 653005156 721412096 94185 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4234.17
Current children cumulated vsize (KiB) 704504

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.02 9/405 29688
/proc/meminfo: memFree=23260048/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=768152 CPUtime=4473.35 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 1023240 0 0 0 446959 376 0 0 25 0 4 0 653005156 786587648 98629 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29621/statm: 192038 98629 380 95 0 187020 0
[pid=29621/tid=29622] ppid=29619 vsize=768152 CPUtime=1122.18 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 285245 0 0 0 112116 102 0 0 25 0 4 0 653005156 786587648 98629 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=768152 CPUtime=1117.51 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 176199 0 0 0 111686 65 0 0 25 0 4 0 653005156 786587648 98629 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=768152 CPUtime=1112.52 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 277750 0 0 0 111146 106 0 0 25 0 4 0 653005156 786587648 98629 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4473.35
Current children cumulated vsize (KiB) 768152

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.02 9/405 29690
/proc/meminfo: memFree=23164528/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=583904 CPUtime=4712.51 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 1078072 0 0 0 470853 398 0 0 25 0 4 0 653005156 597917696 89182 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29621/statm: 145976 89182 380 95 0 140958 0
[pid=29621/tid=29622] ppid=29619 vsize=583904 CPUtime=1182.18 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 299064 0 0 0 118110 108 0 0 25 0 4 0 653005156 597917696 89182 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=583904 CPUtime=1176.73 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 188603 0 0 0 117602 71 0 0 25 0 4 0 653005156 597917696 89182 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=583904 CPUtime=1172.52 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 291719 0 0 0 117140 112 0 0 25 0 4 0 653005156 597917696 89182 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4712.51
Current children cumulated vsize (KiB) 583904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.3 s]
/proc/loadavg: 8.05 8.09 8.02 9/405 29690
/proc/meminfo: memFree=23199108/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=771280 CPUtime=4800.24 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 1094032 0 0 0 479620 404 0 0 25 0 4 0 653005156 789790720 99343 33554432000 4194304 4580107 140736749818608 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29621/statm: 192820 99343 380 95 0 187802 0
[pid=29621/tid=29622] ppid=29619 vsize=771280 CPUtime=1204.19 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 302921 0 0 0 120309 110 0 0 25 0 4 0 653005156 789790720 99345 33554432000 4194304 4580107 140736749818608 18446744073709551615 4301949 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=771280 CPUtime=1198.45 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 193823 0 0 0 119772 73 0 0 25 0 4 0 653005156 789790720 99345 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=771280 CPUtime=1194.53 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 295039 0 0 0 119340 113 0 0 25 0 4 0 653005156 789790720 99345 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 771280

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

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

[startup+1204.3 s]
/proc/loadavg: 8.05 8.09 8.02 9/405 29690
/proc/meminfo: memFree=23199108/32951132 swapFree=67093844/67111528
[pid=29621] ppid=29619 vsize=771280 CPUtime=4800.24 cores=1,3,5,7
/proc/29621/stat : 29621 (strangenight2-m) R 29619 29621 29580 0 -1 4202496 1094032 0 0 0 479620 404 0 0 25 0 4 0 653005156 789790720 99343 33554432000 4194304 4580107 140736749818608 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29621/statm: 192820 99343 380 95 0 187802 0
[pid=29621/tid=29622] ppid=29619 vsize=771280 CPUtime=1204.19 cores=1,3,5,7
/proc/29621/task/29622/stat : 29622 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 302921 0 0 0 120309 110 0 0 25 0 4 0 653005156 789790720 99345 33554432000 4194304 4580107 140736749818608 18446744073709551615 4301949 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29621/tid=29623] ppid=29619 vsize=771280 CPUtime=1198.45 cores=1,3,5,7
/proc/29621/task/29623/stat : 29623 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 193823 0 0 0 119772 73 0 0 25 0 4 0 653005156 789790720 99345 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29621/tid=29624] ppid=29619 vsize=771280 CPUtime=1194.53 cores=1,3,5,7
/proc/29621/task/29624/stat : 29624 (strangenight2-m) R 29619 29621 29580 0 -1 4202560 295039 0 0 0 119340 113 0 0 25 0 4 0 653005156 789790720 99345 33554432000 4194304 4580107 140736749818608 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 771280

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.34
CPU time (s): 4800.3
CPU user time (s): 4796.23
CPU system time (s): 4.06638
CPU usage (%): 398.584
Max. virtual memory (cumulated for all children) (KiB): 870048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.23
system time used= 4.06638
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1094036
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= 11442
involuntary context switches= 32494

runsolver used 4.39833 second user time and 10.9663 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-15 01:01:05
IDJOB=3366718
IDBENCH=83253
IDSOLVER=1844
FILE ID=node128/3366718-1305414065
RUNJOBID= node128-1305414065-29599
PBS_JOBID= 13324542
Free space on /tmp= 73600 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2071.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366718-1305414065/watcher-3366718-1305414065 -o /tmp/evaluation-result-3366718-1305414065/solver-3366718-1305414065 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366718-1305414065.cnf

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

MD5SUM BENCH= 337bdbc5d8bf0013ca73aeffa06cffe8
RANDOM SEED=1209024437

node128.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.852
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.70
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.852
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.75
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.852
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.82
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.852
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.852
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.82
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.852
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24223452 kB
Buffers:        269140 kB
Cached:        2895664 kB
SwapCached:       1440 kB
Active:        6345776 kB
Inactive:      2089524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24223452 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           13820 kB
Writeback:          12 kB
AnonPages:     5268656 kB
Mapped:          32216 kB
Slab:           187640 kB
PageTables:      38152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100762888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73592 MiB
End job on node128 at 2011-05-15 01:21:11