Trace number 3250405

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.09 1201.83

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3250405-1304121482.cnf'
0.00/0.00	c -- header says num vars:           2070
0.00/0.00	c -- header says num clauses:      158884
0.12/0.63	c -- clauses added:            0 learnts,       158884 normals,            0 xors
0.12/0.63	c -- vars added       2070
0.12/0.63	c Parsing time:  0.04 s
0.12/0.63	c  N st     0         0      2070    158884         0         0    478584         0   no data   no data
0.12/0.63	c asymm  cl-useful: 0/158377/158884 lits-rem:0 time: 0.54
0.12/0.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
2.69/0.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.69/0.70	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2.69/0.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.69/0.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2070 time:  0.01 s
2.69/0.71	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
7.06/1.88	c lits-rem:         0  cl-subs:        0  v-elim:    690  v-fix:    0  time:  1.14 s
7.06/1.88	c Finding binary XORs  T:     0.00 s  found:       0
7.46/1.94	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
7.46/1.94	c calculated reachability. Time: 0.00
7.46/1.95	c Calc default polars -  time:   0.00 s pos:    1380 undec:     690 neg:       0
7.46/1.95	c =========================================================================================
7.46/1.95	c types(t): F = full restart, N = normal restart
7.46/1.95	c types(t): S = simplification begin/end, E = solution found
7.46/1.95	c restart types(rt): st = static, dy = dynamic
7.46/1.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.46/1.95	c  B st     0         0      1380     98828         0         0    513491         0   no data   no data
9.06/2.33	c  N dy    12      4024      1380     98828         0      3981    513491    155804     24.98     28.53
10.27/2.70	c  N dy    24      8181      1380     98828         0      8103    513491    302360     23.91     25.35
14.25/3.63	c  N dy    37     17363      1380     98828         0     17209    513490    648085     21.35     22.52
15.85/4.07	c  N dy    60     21703      1380     98828         0     11596    513490    333237     21.55     22.73
17.04/4.36	c  F st    73     25000      1380     98828         0     14860    513490    446536     21.43     20.07
17.04/4.38	c Found part        4 vars:        670 clauses:     47205 lits size:    251895
17.04/4.38	c Found part        7 vars:        710 clauses:     51623 lits size:    261595
17.04/4.38	c Found parts:          2 time: 0.02 s
17.04/4.38	c Solving part 4
17.44/4.42	c  N st     0         0       670     47205         0         0    251895         0   no data   no data
18.65/4.72	c asymm  cl-useful: 16/47205/47205 lits-rem:19 time: 0.31
18.65/4.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
18.65/4.73	c Finding binary XORs  T:     0.00 s  found:       0
18.65/4.75	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
18.65/4.75	c calculated reachability. Time: 0.00
18.65/4.75	c Calc default polars -  time:   0.00 s pos:     670 undec:    1400 neg:       0
18.65/4.75	c =========================================================================================
18.65/4.75	c types(t): F = full restart, N = normal restart
18.65/4.75	c types(t): S = simplification begin/end, E = solution found
18.65/4.75	c restart types(rt): st = static, dy = dynamic
18.65/4.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
18.65/4.75	c  B st     0         0       670     47205         0         0    251876         0   no data   no data
20.24/5.11	c  N dy     9      4018       670     47205         0      3973    251876    168281     28.40     30.09
22.24/5.61	c  N dy    19      8854       670     47205         0      4878    251876    146706     27.53     28.98
25.43/6.45	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.85/7.01	c  F st    49     25001       670     47205         0     14546    251876    457710     25.11   no data
29.03/7.35	c  N st    54     28296       670     47205         0      9754    251876    231170     25.11   no data
30.63/7.74	c  N dy    63     32376       670     47205         0     13789    251876    383083     25.08     26.60
32.25/8.11	c  N dy    67     36418       670     47205         0     17746    251876    515778     24.72     26.11
34.62/8.76	c  N dy    74     43344       670     47205         0     15224    251876    394761     24.16     25.55
36.22/9.17	c  N dy   103     47424       670     47205         0     19274    251876    546226     24.42     25.96
38.22/9.67	c  N dy   117     52247       670     47205         0     13479    251876    292271     24.33     25.64
39.81/10.08	c  N dy   142     56336       670     47205         0     17522    251876    438299     24.46     25.92
41.82/10.53	c  N dy   165     60675       670     47205         0     21832    251875    599967     24.50     25.82
43.41/10.96	c  N dy   183     64834       670     47205         0     14276    251875    270356     24.50     25.84
45.42/11.42	c  N dy   196     69401       670     47205         0     18801    251875    446421     24.37     25.82
47.01/11.86	c  N dy   201     73923       670     47205         0     23239    251875    611713     24.15     26.28
49.01/12.39	c  N dy   228     78911       670     47205         0     15520    251875    282767     24.18     25.80
51.40/12.91	c  N dy   253     84022       670     47205         0     20582    251875    469235     24.23     25.53
52.60/13.27	c  F st   270     87501       670     47205         0     24030    251875    587623     24.23     21.41
53.40/13.48	c  N st   274     89532       670     47205         0     26038    251875    664287     24.23   no data
56.19/14.11	c  N dy   289     95431       670     47205         0     18160    251875    361003     24.25     25.63
58.61/14.75	c  N dy   312    101726       670     47205         0     24401    251875    589795     24.24     25.54
61.39/15.48	c  N dy   339    108300       670     47205         0     16206    251875    249484     24.28     25.80
64.59/16.22	c  N dy   381    115219       670     47205         0     23073    251875    505473     24.39     32.33
67.40/16.99	c  N dy   416    122616       670     47205         0     30401    251875    786076     24.41     25.70
70.98/17.85	c  N dy   467    130503       670     47205         0     22502    251874    443782     24.49     29.05
75.38/18.92	c  N dy   503    140285       670     47205         0     32166    251874    806828     24.46     25.80
78.97/19.85	c  N dy   537    149283       670     47205         0     24380    251873    480734     24.46     27.19
84.56/21.29	c  N dy   573    162304       670     47205         0     19617    251873    286308     24.39     25.73
89.38/22.44	c  N dy   603    173269       670     47205         0     30466    251873    700389     24.32     25.69
96.15/24.10	c  N dy   632    188451       670     47205         0     26783    251873    507124     24.15     25.47
101.35/25.46	c  N dy   660    200554       670     47205         0     38756    251873    971181     24.06     25.43
106.95/26.87	c  N dy   705    213370       670     47205         0     31824    251873    683606     24.02     27.32
113.73/28.52	c  N dy   751    227358       670     47205         0     25015    251873    388326     23.99     25.32
120.14/30.19	c  N dy   821    241938       670     47205         0     39460    251873    927661     24.04     25.47
128.93/32.37	c  N dy   899    261085       670     47205         0     36749    251873    767948     24.05     25.38
137.72/34.52	c  N dy   967    279433       670     47205         0     32244    251873    603134     24.05     25.39
146.50/36.73	c  N dy  1023    297649       670     47205         0     26671    251873    374916     24.00     25.31
150.48/37.72	c  F st  1068    306251       670     47205         0     35181    251873    684929     24.04     23.38
156.88/39.38	c  N dy  1089    319714       670     47205         0     48512    251873   1207663     23.99     25.59
166.86/41.88	c  N dy  1140    340001       670     47205         0     44000    251873   1003121     23.90     25.23
177.27/44.41	c  N dy  1204    360013       670     47205         0     38149    251873    729788     23.87     27.20
187.64/47.09	c  N dy  1262    382679       670     47205         0     33986    251871    541095     23.78     25.47
198.03/49.62	c  N dy  1328    402899       670     47205         0     53949    251871   1288767     23.77     25.09
207.61/52.04	c  N dy  1413    422938       670     47205         0     46310    251871    989540     23.78     25.14
218.00/54.70	c  N dy  1459    443003       670     47205         0     37594    251871    627187     23.72     27.51
231.18/57.90	c  N dy  1545    467898       670     47205         0     32675    251871    408346     23.69     25.05
240.78/60.36	c  N dy  1610    488050       670     47205         0     52622    251871   1129641     23.68     25.13
251.57/63.01	c  N dy  1658    508437       670     47205         0     42294    251871    771232     23.66     25.04
272.34/68.21	c  N dy  1772    546394       670     47205         0     48400    251871    975495     23.57     24.94
284.32/71.22	c  N dy  1853    568594       670     47205         0     37773    251871    489473     23.56     24.96
298.70/74.81	c  N dy  1968    595136       670     47205         0     64127    251871   1510361     23.58     24.88
309.51/77.58	c  N dy  2098    615308       670     47205         0     50526    251871    934199     23.64     24.93
321.48/80.57	c  N dy  2128    635442       670     47205         0     35814    251871    368111     23.58     24.83
331.86/83.14	c  N dy  2210    655481       670     47205         0     55702    251871   1109390     23.57     29.13
343.85/86.13	c  N dy  2312    676203       670     47205         0     40698    251871    509399     23.60     24.93
355.04/88.90	c  N dy  2374    697672       670     47205         0     61968    251871   1313854     23.57     24.83
387.00/96.94	c  N dy  2471    746997       670     47205         0     74285    251871   1885674     23.43     24.84
398.18/99.78	c  N dy  2587    767071       670     47205         0     56709    251871   1080441     23.46     24.77
412.16/103.21	c  N dy  2718    788182       670     47205         0     39129    251871    376694     23.49     24.92
422.55/105.86	c  N dy  2821    808476       670     47205         0     59267    251871   1129223     23.51     24.97
436.14/109.28	c  N dy  2888    831014       670     47205         0     42008    251871    437369     23.50     25.05
447.32/112.09	c  N dy  2980    851033       670     47205         0     61879    251871   1181734     23.52     29.22
472.49/118.36	c  N dy  3025    891509       670     47205         0     61647    251871   1256755     23.42     24.72
484.89/121.47	c  N dy  3110    911613       670     47205         0     81570    251871   2023946     23.43     24.69
496.46/124.34	c  N dy  3190    931649       670     47205         0     59867    251871   1086058     23.43     24.67
509.25/127.54	c  N dy  3262    953112       670     47205         0     81078    251871   1864482     23.42     24.70
521.23/130.53	c  N dy  3373    973417       670     47205         0     58708    251871    974234     23.44     24.74
533.23/133.56	c  N dy  3459    993497       670     47205         0     78584    251871   1719011     23.45     27.06
546.00/136.70	c  N dy  3599   1013589       670     47205         0     55048    251871    821515     23.49     25.23
557.99/139.76	c  N dy  3669   1033892       670     47205         0     75226    251871   1654809     23.48     24.80
570.37/142.88	c  N dy  3736   1053897       670     47205         0     50541    251871    602025     23.47     27.24
580.76/145.48	c  F st  3813   1071875       670     47205         0     68363    251871   1277716     23.48   no data
581.98/145.79	c  N st  3817   1073906       670     47205         0     70371    251871   1349414     23.48   no data
606.32/151.80	c  N dy  3873   1112116       670     47205         0     62812    251871   1102367     23.41     24.72
619.91/155.20	c  N dy  4006   1133220       670     47205         0     83788    251871   1889854     23.45     24.74
642.28/160.89	c  N dy  4054   1167568       670     47205         0     71217    251871   1409174     23.38     24.86
659.86/165.28	c  N dy  4077   1196239       670     47205         0     52196    251871    604270     23.32     24.67
672.64/168.49	c  N dy  4099   1218456       670     47205         0     74270    251871   1482845     23.28     24.79
689.01/172.59	c  N dy  4120   1242426       670     47205         0     49555    251871    461132     23.21     24.57
701.00/175.57	c  N dy  4200   1263029       670     47205         0     70005    251871   1238721     23.21     24.91
714.98/179.01	c  N dy  4319   1283343       670     47205         0     90151    251871   1979689     23.23     24.54
728.16/182.30	c  N dy  4426   1303378       670     47205         0     60576    251871    829222     23.25     24.53
740.94/185.56	c  N dy  4514   1324536       670     47205         0     81546    251871   1639656     23.25     24.50
760.12/190.39	c  N dy  4581   1353916       670     47205         0     60307    251871    838320     23.22     24.58
772.91/193.53	c  N dy  4673   1374385       670     47205         0     80573    251871   1599831     23.23     24.65
788.51/197.47	c  N dy  4783   1396747       670     47205         0    102756    251871   2417662     23.25     24.48
801.29/200.61	c  N dy  4896   1417107       670     47205         0     71476    251871   1174432     23.26     24.69
815.26/204.15	c  N dy  4985   1438765       670     47205         0     92938    251871   1979137     23.26     24.58
829.64/207.78	c  N dy  5020   1460050       670     47205         0     61641    251871    832597     23.23     24.53
842.42/210.98	c  N dy  5084   1480218       670     47205         0     81646    251871   1607008     23.22     24.99
858.01/214.89	c  N dy  5111   1503411       670     47205         0    104602    251871   2512968     23.19     24.67
871.19/218.10	c  N dy  5199   1523425       670     47205         0     71006    251871   1121481     23.19     29.14
885.57/221.73	c  N dy  5279   1545309       670     47205         0     92640    251871   1934797     23.19     24.56
900.35/225.43	c  N dy  5397   1565393       670     47205         0     58213    251871    609824     23.21     27.20
912.73/228.59	c  N dy  5420   1585447       670     47205         0     78070    251871   1397532     23.19     28.94
927.52/232.24	c  N dy  5530   1606325       670     47205         0     98756    251871   2145083     23.20     24.52
941.92/235.85	c  N dy  5644   1626729       670     47205         0     63670    251871    785937     23.22     24.60
953.88/238.88	c  N dy  5697   1646763       670     47205         0     83421    251871   1537188     23.21     24.46
968.28/242.45	c  N dy  5812   1666817       670     47205         0    103305    251871   2279567     23.22     24.46
981.86/245.88	c  N dy  5895   1686890       670     47205         0     66904    251871    870552     23.22     25.54
996.22/249.48	c  N dy  5988   1708533       670     47205         0     88294    251871   1686677     23.23     24.53
1012.22/253.46	c  N dy  6149   1728548       670     47205         0    108144    251871   2437030     23.26     25.45
1026.18/256.96	c  N dy  6228   1749779       670     47205         0     71892    251871   1040110     23.26     24.56
1040.56/260.51	c  N dy  6347   1770308       670     47205         0     92215    251871   1787025     23.27     24.75
1054.95/264.13	c  N dy  6406   1790311       670     47205         0    112054    251871   2551398     23.27     30.55
1068.93/267.64	c  N dy  6501   1810513       670     47205         0     73758    251871   1093702     23.28     24.67
1082.53/271.07	c  N dy  6612   1830535       670     47205         0     93630    251870   1848793     23.29     29.75
1096.89/274.68	c  N dy  6652   1850651       670     47205         0    113570    251870   2627533     23.28     24.66
1110.87/278.16	c  N dy  6750   1870678       670     47205         0     74064    251870   1031533     23.29     24.86
1125.26/281.76	c  N dy  6899   1890876       670     47205         0     94091    251870   1777670     23.31     24.72
1149.63/287.82	c  N dy  6997   1922535       670     47205         0     65112    251870    685747     23.30     24.66
1165.21/291.70	c  N dy  7094   1946832       670     47205         0     89222    251870   1620622     23.30     24.57
1182.39/296.05	c  N dy  7205   1970441       670     47205         0    112604    251870   2473106     23.30     24.53
1197.56/299.88	c  N dy  7337   1990508       670     47205         0     71171    251870    872228     23.32     24.67
1211.94/303.42	c  N dy  7445   2010790       670     47205         0     91265    251870   1599172     23.33     24.61
1227.13/307.23	c  N dy  7561   2030804       670     47205         0    111087    251870   2337133     23.35     27.32
1243.51/311.31	c  N dy  7639   2052204       670     47205         0     69990    251870    808502     23.35     24.68
1256.68/314.68	c  N dy  7749   2072227       670     47205         0     89829    251870   1538604     23.36     28.91
1274.27/319.00	c  N dy  7858   2094602       670     47205         0    112039    251870   2369264     23.37     24.63
1289.46/322.82	c  N dy  7919   2114673       670     47205         0     68655    251870    731928     23.36     24.63
1302.25/326.03	c  N dy  7983   2134694       670     47205         0     88505    251870   1514118     23.36     27.11
1317.41/329.82	c  N dy  8111   2154775       670     47205         0    108409    251870   2250052     23.37     30.87
1334.99/334.21	c  N dy  8233   2175031       670     47205         0    128491    251870   2980743     23.39     24.70
1349.37/337.87	c  N dy  8400   2195123       670     47205         0     84114    251870   1279515     23.42     27.89
1364.18/341.59	c  N dy  8489   2215192       670     47205         0    103908    251870   1975785     23.42     27.46
1386.92/347.28	c  N dy  8590   2243764       670     47205         0     66977    251870    605669     23.41     24.65
1407.71/352.48	c  N dy  8632   2272359       670     47205         0     95427    251870   1781064     23.37     24.61
1428.87/357.71	c  N dy  8701   2300506       670     47205         0    123331    251870   2888759     23.36     24.61
1443.26/361.39	c  N dy  8738   2320915       670     47205         0     77283    251870    978445     23.35     24.61
1458.03/365.03	c  N dy  8823   2341767       670     47205         0     98004    251870   1793221     23.35     24.74
1474.81/369.20	c  N dy  8927   2363073       670     47205         0    119156    251870   2615217     23.35     24.68
1491.98/373.53	c  N dy  9043   2383192       670     47205         0     71727    251870    712983     23.37     24.66
1509.56/377.95	c  N dy  9123   2409148       670     47205         0     97450    251870   1687168     23.36     24.65
1526.75/382.29	c  N dy  9219   2431365       670     47205         0    119484    251870   2510542     23.36     24.76
1552.09/388.67	c  N dy  9304   2463266       670     47205         0     82632    251870   1139517     23.34     24.68
1567.49/392.53	c  N dy  9423   2483758       670     47205         0    102943    251870   1882833     23.35     24.59
1583.66/396.69	c  N dy  9543   2504070       670     47205         0    123059    251870   2632844     23.36     24.62
1605.04/402.09	c  N dy  9620   2531527       670     47205         0     81203    251870   1113652     23.35     24.65
1620.20/405.84	c  N dy  9711   2552307       670     47205         0    101784    251870   1899322     23.35     24.77
1636.57/409.91	c  N dy  9820   2572338       670     47205         0    121635    251870   2618452     23.36     24.78
1654.55/414.46	c  N dy  9912   2592359       670     47205         0     71253    251870    612338     23.36     28.62
1669.34/418.12	c  N dy 10033   2613212       670     47205         0     91898    251870   1358134     23.37     24.79
1684.92/422.06	c  N dy 10162   2633258       670     47205         0    111783    251870   2101026     23.39     27.64
1702.09/426.33	c  N dy 10257   2653269       670     47205         0    131625    251870   2837244     23.39     24.72
1718.47/430.45	c  N dy 10366   2673367       670     47205         0     80322    251870    928110     23.40     26.74
1734.45/434.48	c  N dy 10402   2695239       670     47205         0    102025    251870   1782438     23.38     24.97
1750.43/438.43	c  N dy 10488   2715284       670     47205         0    121904    251870   2548272     23.39     26.31
1768.40/442.97	c  N dy 10600   2735382       670     47205         0    141869    251870   3316472     23.39     29.08
1784.80/447.07	c  N dy 10687   2757528       670     47205         0     91492    251870   1325234     23.39     24.69
1800.37/450.95	c  N dy 10792   2777545       670     47205         0    111309    251870   2049439     23.40     28.32
1817.54/455.29	c  N dy 10902   2798169       670     47205         0    131737    251870   2794264     23.41     24.67
1835.51/459.76	c  N dy 11011   2818258       670     47205         0     78425    251869    785711     23.42     24.80
1849.90/463.37	c  N dy 11080   2839193       670     47205         0     99182    251869   1593482     23.41     24.67
1866.27/467.45	c  N dy 11095   2861450       670     47205         0    121277    251869   2476508     23.39     24.80
1883.46/471.73	c  N dy 11186   2881467       670     47205         0    141043    251869   3175299     23.39     24.77
1920.21/480.96	c  N dy 11257   2923595       670     47205         0    108595    251869   2027085     23.36     24.96
1956.58/490.02	c  N dy 11321   2964321       670     47205         0    148645    251869   3619502     23.32     24.99
1971.34/493.75	c  N dy 11358   2984336       670     47205         0     93465    251869   1325150     23.31     26.59
1986.12/497.40	c  N dy 11389   3004397       670     47205         0    113203    251869   2100106     23.30     24.66
2002.90/501.62	c  N dy 11511   3024406       670     47205         0    133010    251869   2841613     23.31     26.38
2021.67/506.37	c  N dy 11611   3044809       670     47205         0     77243    251869    663987     23.32     24.57
2036.85/510.13	c  N dy 11636   3065825       670     47205         0     97981    251869   1481556     23.30     24.69
2094.37/524.54	c  N dy 11738   3132548       670     47205         0     87010    251869   1047708     23.25     24.54
2109.17/528.27	c  N dy 11856   3152593       670     47205         0    106874    251869   1803529     23.26     26.27
2126.34/532.59	c  N dy 11954   3173738       670     47205         0    127795    251869   2596025     23.26     24.69
2146.31/537.50	c  N dy 12053   3195744       670     47205         0    149574    251869   3395579     23.27     24.51
2168.28/543.05	c  N dy 12091   3226313       670     47205         0    101749    251869   1570831     23.25     24.48
2185.09/547.25	c  N dy 12220   3246352       670     47205         0    121635    251869   2305334     23.26     28.43
2202.27/551.58	c  N dy 12305   3266434       670     47205         0    141471    251869   3063612     23.26     24.61
2235.41/559.82	c  N dy 12396   3304617       670     47205         0    100348    251869   1518953     23.24     24.50
2251.78/563.90	c  N dy 12494   3325131       670     47205         0    120687    251869   2282664     23.24     24.62
2268.58/568.11	c  N dy 12582   3345515       670     47205         0    140904    251869   3053998     23.24     24.76
2286.93/572.75	c  N dy 12626   3365568       670     47205         0     80654    251869    667616     23.23     28.77
2301.32/576.37	c  N dy 12725   3385647       670     47205         0    100552    251869   1437433     23.24     29.98
2318.08/580.59	c  N dy 12798   3408035       670     47205         0    122659    251869   2291611     23.24     24.55
2336.87/585.22	c  N dy 12919   3428103       670     47205         0    142562    251869   3012003     23.25     26.72
2366.83/592.70	c  N dy 12973   3464513       670     47205         0     97334    251869   1287731     23.21     24.45
2383.60/596.91	c  N dy 13125   3484625       670     47205         0    117257    251869   2022878     23.23     24.51
2400.78/601.20	c  N dy 13237   3504691       670     47205         0    137113    251869   2752554     23.24     24.46
2418.35/605.64	c  N dy 13314   3524745       670     47205         0    156906    251869   3472690     23.24     28.24
2437.53/610.47	c  N dy 13420   3547647       670     47205         0     97701    251869   1258193     23.24     24.52
2454.31/614.66	c  N dy 13544   3567735       670     47205         0    117600    251869   1993415     23.25     24.49
2471.48/618.97	c  N dy 13627   3587742       670     47205         0    137430    251869   2772284     23.25     33.34
2490.26/623.62	c  N dy 13725   3607783       670     47205         0    157338    251869   3552175     23.26     26.47
2507.84/628.07	c  N dy 13838   3627796       670     47205         0     94133    251869   1098588     23.26     31.21
2523.82/632.04	c  N dy 13945   3647874       670     47205         0    114040    251869   1835971     23.27     25.69
2540.61/636.24	c  N dy 14040   3667891       670     47205         0    133841    251869   2556953     23.27     27.23
2560.97/641.31	c  N dy 14155   3690153       670     47205         0    155873    251869   3360438     23.28     24.51
2579.74/646.09	c  N dy 14264   3710336       670     47205         0     91818    251869    969829     23.28     24.53
2595.32/649.95	c  N dy 14368   3730358       670     47205         0    111671    251869   1734058     23.28     28.75
2612.50/654.21	c  N dy 14460   3750451       670     47205         0    131588    251869   2481646     23.29     31.05
2613.30/654.48	c  F st 14470   3751562       670     47205         0    132692    251869   2520873     23.29   no data
2631.28/658.97	c  N dy 14570   3770660       670     47205         0    151645    251869   3246124     23.29     24.72
2653.24/664.43	c  N dy 14691   3791339       670     47205         0     87036    251869    750876     23.30     24.58
2707.18/677.92	c  N dy 14761   3852918       670     47205         0    148041    251869   3237860     23.26     24.51
2745.52/687.56	c  N dy 14798   3897864       670     47205         0    106592    251869   1598236     23.23     24.58
2762.30/691.79	c  N dy 14900   3918037       670     47205         0    126581    251869   2339476     23.24     24.46
2782.69/696.89	c  N dy 14995   3941307       670     47205         0    149601    251869   3220837     23.24     24.58
2803.05/701.90	c  N dy 15099   3961400       670     47205         0    169525    251869   3976691     23.24     26.22
2820.62/706.36	c  N dy 15191   3981499       670     47205         0    102343    251869   1264393     23.24     31.69
2836.60/710.30	c  N dy 15265   4001501       670     47205         0    122148    251869   1980801     23.24     27.29
2853.78/714.63	c  N dy 15370   4021592       670     47205         0    142055    251869   2731017     23.25     24.60
2874.16/719.80	c  N dy 15491   4042303       670     47205         0    162545    251869   3478133     23.25     24.55
2893.72/724.62	c  N dy 15577   4062367       670     47205         0     94405    251869    947756     23.26     24.54
2913.70/729.62	c  N dy 15690   4088050       670     47205         0    119883    251869   1924692     23.26     24.68
2929.28/733.50	c  N dy 15734   4108227       670     47205         0    139829    251869   2679487     23.25     24.48
2947.26/738.06	c  N dy 15780   4128309       670     47205         0    159790    251869   3496334     23.25     24.69
2968.43/743.31	c  N dy 15864   4148428       670     47205         0     90651    251869    775656     23.25     24.66
2984.01/747.20	c  N dy 15954   4168485       670     47205         0    110517    251869   1508554     23.25     28.13
3002.00/751.73	c  N dy 16105   4188740       670     47205         0    130622    251869   2257935     23.26     24.71
3020.36/756.33	c  N dy 16214   4208791       670     47205         0    150518    251869   3022873     23.27     29.06
3053.12/764.51	c  N dy 16341   4242591       670     47205         0     93966    251869    877154     23.26     24.75
3069.90/768.75	c  N dy 16385   4265172       670     47205         0    116344    251869   1749816     23.25     24.55
3088.27/773.37	c  N dy 16516   4285283       670     47205         0    136268    251869   2497316     23.26     24.49
3111.87/779.25	c  N dy 16606   4310466       670     47205         0    161289    251869   3493830     23.26     24.52
3137.42/785.62	c  N dy 16610   4336411       670     47205         0     95781    251869    931941     23.24     24.54
3154.19/789.85	c  N dy 16703   4358553       670     47205         0    117679    251869   1758319     23.24     24.73
3172.57/794.40	c  N dy 16812   4378557       670     47205         0    137441    251869   2494698     23.25     25.50
3192.14/799.39	c  N dy 16905   4400193       670     47205         0    158889    251869   3297739     23.25     24.54
3210.52/803.99	c  N dy 16941   4420274       670     47205         0    178754    251869   4040149     23.24     24.85
3229.30/808.69	c  N dy 17069   4440331       670     47205         0    106708    251869   1292464     23.25     24.71
3246.47/812.98	c  N dy 17190   4460456       670     47205         0    126661    251869   2025460     23.26     24.59
3265.25/817.67	c  N dy 17283   4481109       670     47205         0    147095    251869   2773266     23.26     24.52
3284.02/822.31	c  N dy 17332   4501184       670     47205         0    166999    251869   3574847     23.26     24.50
3305.21/827.60	c  N dy 17414   4521465       670     47205         0     94154    251869    794294     23.26     24.50
3321.57/831.73	c  N dy 17563   4541506       670     47205         0    114017    251869   1533565     23.26     26.15
3338.75/836.07	c  N dy 17660   4561565       670     47205         0    133884    251869   2286401     23.27     26.97
3357.95/840.88	c  N dy 17782   4581622       670     47205         0    153766    251869   3028561     23.28     25.92
3383.49/847.28	c  N dy 17813   4608238       670     47205         0    180059    251869   4063139     23.26     24.62
3403.06/852.19	c  N dy 17911   4628477       670     47205         0    106151    251869   1204231     23.26     24.49
3419.86/856.36	c  N dy 18010   4648588       670     47205         0    126091    251869   1954280     23.27     24.70
3437.81/860.83	c  N dy 18101   4668678       670     47205         0    146016    251869   2704837     23.27     26.95
3457.79/865.89	c  N dy 18179   4689463       670     47205         0    166621    251869   3474638     23.27     24.57
3479.36/871.20	c  N dy 18262   4710054       670     47205         0    187022    251869   4250341     23.27     24.80
3496.94/875.68	c  N dy 18380   4730108       670     47205         0    111906    251869   1410798     23.28     27.32
3514.12/879.99	c  N dy 18470   4750171       670     47205         0    131811    251869   2186078     23.28     28.97
3532.89/884.69	c  N dy 18561   4770357       670     47205         0    151718    251869   2902321     23.28     24.56
3553.27/889.70	c  N dy 18640   4790667       670     47205         0    171862    251869   3696005     23.28     24.61
3577.24/895.71	c  N dy 18711   4813458       670     47205         0     98443    251869    868630     23.28     24.78
3593.61/899.82	c  N dy 18820   4833761       670     47205         0    118576    251869   1606665     23.28     24.58
3611.19/904.23	c  N dy 18918   4853847       670     47205         0    138415    251869   2332077     23.29     25.00
3630.38/909.10	c  N dy 19041   4873912       670     47205         0    158322    251869   3076767     23.29     28.78
3652.35/914.57	c  N dy 19171   4893993       670     47205         0    178184    251869   3807702     23.30     29.31
3673.51/919.85	c  N dy 19233   4914068       670     47205         0    101158    251869    939022     23.30     28.31
3689.08/923.70	c  N dy 19288   4934160       670     47205         0    121020    251869   1712295     23.29     27.45
3707.46/928.34	c  N dy 19427   4954230       670     47205         0    140895    251869   2453220     23.30     27.65
3728.64/933.62	c  N dy 19559   4974683       670     47205         0    161177    251869   3198624     23.31     24.62
3753.83/939.99	c  N dy 19649   5000118       670     47205         0    186400    251869   4184773     23.31     24.77
3909.59/978.96	c  N dy 19730   5127616       670     47205         0    115907    251869   1524296     23.21     24.54
3927.57/983.46	c  N dy 19837   5147708       670     47205         0    135832    251869   2251966     23.21     24.44
3945.55/987.92	c  N dy 19900   5167749       670     47205         0    155690    251869   3050011     23.21     26.27
3965.52/992.93	c  N dy 19993   5187797       670     47205         0    175551    251869   3803520     23.21     24.44
3984.69/997.77	c  N dy 20024   5207817       670     47205         0    195297    251869   4580761     23.20     35.07
4003.07/1002.31	c  N dy 20102   5227870       670     47205         0    115231    251869   1377451     23.20     28.65
4021.05/1006.84	c  N dy 20215   5248267       670     47205         0    135404    251869   2138822     23.21     24.47
4039.82/1011.53	c  N dy 20315   5268399       670     47205         0    155396    251869   2907840     23.21     24.77
4061.41/1016.94	c  N dy 20430   5289240       670     47205         0    176033    251869   3687215     23.22     24.53
4082.57/1022.27	c  N dy 20509   5309278       670     47205         0    195853    251869   4432436     23.22     29.54
4102.14/1027.13	c  N dy 20600   5329393       670     47205         0    114927    251869   1366108     23.22     24.54
4118.92/1031.33	c  N dy 20679   5349573       670     47205         0    134834    251869   2128991     23.22     24.45
4137.29/1035.92	c  N dy 20754   5370165       670     47205         0    155240    251869   2909618     23.22     24.80
4157.27/1040.99	c  N dy 20850   5390183       670     47205         0    175077    251869   3663574     23.22     24.49
4179.65/1046.57	c  N dy 20913   5411176       670     47205         0    195848    251869   4450147     23.22     24.56
4230.77/1059.32	c  N dy 20975   5462901       670     47205         0    144918    251869   2578472     23.20     24.68
4250.36/1064.25	c  N dy 21067   5483616       670     47205         0    165450    251869   3371511     23.20     24.49
4270.72/1069.32	c  N dy 21146   5504010       670     47205         0    185633    251869   4127150     23.20     24.43
4295.48/1075.52	c  N dy 21269   5524212       670     47205         0    102978    251869    840367     23.21     25.06
4312.25/1079.72	c  N dy 21374   5544743       670     47205         0    123289    251869   1582913     23.21     24.67
4343.02/1087.47	c  N dy 21424   5578012       670     47205         0    156336    251869   2939075     23.20     24.52
4364.61/1092.90	c  N dy 21465   5599647       670     47205         0    177787    251869   3817993     23.20     24.44
4386.97/1098.43	c  N dy 21562   5619683       670     47205         0    197630    251869   4539877     23.20     32.53
4407.74/1103.66	c  N dy 21645   5639815       670     47205         0    113723    251869   1205937     23.20     24.49
4448.10/1113.75	c  N dy 21665   5681135       670     47205         0    154747    251869   2916675     23.18     24.41
4469.67/1119.19	c  N dy 21762   5702976       670     47205         0    176437    251869   3772602     23.18     24.42
4492.04/1124.78	c  N dy 21863   5722997       670     47205         0    196249    251869   4506822     23.19     24.41
4515.19/1130.50	c  N dy 21963   5743133       670     47205         0    111301    251869   1094016     23.19     24.54
4531.97/1134.77	c  N dy 22058   5763233       670     47205         0    131195    251869   1829107     23.19     24.47
4552.74/1139.99	c  N dy 22158   5785700       670     47205         0    153432    251869   2649708     23.19     24.48
4583.11/1147.51	c  N dy 22207   5816210       670     47205         0    183746    251869   3936456     23.19     24.67
4609.07/1154.09	c  N dy 22285   5839902       670     47205         0    207191    251869   4847168     23.18     24.48
4629.44/1159.13	c  N dy 22399   5860071       670     47205         0    121260    251869   1434748     23.19     24.41
4648.21/1163.84	c  N dy 22526   5880157       670     47205         0    141164    251869   2154290     23.19     29.84
4667.41/1168.63	c  N dy 22596   5900711       670     47205         0    161547    251869   2947008     23.19     24.42
4686.96/1173.51	c  N dy 22648   5920728       670     47205         0    181294    251869   3685990     23.19     25.53
4707.73/1178.76	c  N dy 22715   5940731       670     47205         0    201115    251869   4436603     23.19     27.25
4731.70/1184.79	c  N dy 22846   5961392       670     47205         0    114746    251869   1161547     23.20     25.25
4749.28/1189.16	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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3250405-1304121482/watcher-3250405-1304121482 -o /tmp/evaluation-result-3250405-1304121482/solver-3250405-1304121482 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3250405-1304121482.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: 7.55 8.02 8.01 2/174 5085
/proc/meminfo: memFree=24133072/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 409 0 0 0 0 0 0 0 22 0 4 0 523745945 52441088 348 33554432000 4194304 4627427 140734556508960 18446744073709551615 47142537689010 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 12803 348 299 106 0 7774 0
[pid=5085/tid=5089] ppid=5083 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 523745946 52441088 348 33554432000 4194304 4627427 140734556508960 18446744073709551615 47142537689010 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 523745946 52441088 348 33554432000 4194304 4627427 140734556508960 18446744073709551615 47142537689010 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 523745946 52441088 348 33554432000 4194304 4627427 140734556508960 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0470411 s]
/proc/loadavg: 7.55 8.02 8.01 2/174 5085
/proc/meminfo: memFree=24133072/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=290132 CPUtime=0.12 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 7377 0 0 0 9 3 0 0 18 0 4 0 523745945 297095168 7284 33554432000 4194304 4627427 140734556508960 18446744073709551615 212687780383 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 72533 7362 339 106 0 67504 0
[pid=5085/tid=5089] ppid=5083 vsize=290132 CPUtime=0.02 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 1856 0 0 0 2 0 0 0 18 0 4 0 523745946 297095168 7371 33554432000 4194304 4627427 140734556508960 18446744073709551615 212687718583 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=290264 CPUtime=0.03 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) S 5083 5085 4941 0 -1 4202560 1832 0 0 0 2 1 0 0 18 0 4 0 523745946 297230336 7385 33554432000 4194304 4627427 140734556508960 18446744073709551615 212687780334 0 0 4096 2 18446604455743874368 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=290264 CPUtime=0.01 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) D 5083 5085 4941 0 -1 4202560 1747 0 0 0 1 0 0 0 18 0 4 0 523745946 297230336 7400 33554432000 4194304 4627427 140734556508960 18446744073709551615 212687718583 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 290132

[startup+0.633866 s]
/proc/loadavg: 7.55 8.02 8.01 2/174 5085
/proc/meminfo: memFree=24133072/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=310076 CPUtime=2.42 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 13898 0 0 0 235 7 0 0 18 0 4 0 523745945 317517824 13671 33554432000 4194304 4627427 140734556508960 18446744073709551615 4449599 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 77519 13685 371 106 0 72490 0
[pid=5085/tid=5089] ppid=5083 vsize=310076 CPUtime=0.6 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 3622 0 0 0 59 1 0 0 18 0 4 0 523745946 317517824 13690 33554432000 4194304 4627427 140734556508960 18446744073709551615 212687336481 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=310208 CPUtime=0.6 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 3481 0 0 0 58 2 0 0 18 0 4 0 523745946 317652992 13697 33554432000 4194304 4627427 140734556508960 18446744073709551615 212687336133 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=310208 CPUtime=0.59 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 3388 0 0 0 58 1 0 0 18 0 4 0 523745946 317652992 13705 33554432000 4194304 4627427 140734556508960 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 310076

[startup+0.700921 s]
/proc/loadavg: 7.55 8.02 8.01 2/174 5085
/proc/meminfo: memFree=24133072/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=329268 CPUtime=2.69 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 24887 0 0 0 258 11 0 0 18 0 4 0 523745945 337170432 24616 33554432000 4194304 4627427 140734556508960 18446744073709551615 4457831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 82317 24638 379 106 0 77288 0
[pid=5085/tid=5089] ppid=5083 vsize=329268 CPUtime=0.67 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 6954 0 0 0 64 3 0 0 18 0 4 0 523745946 337170432 24649 33554432000 4194304 4627427 140734556508960 18446744073709551615 4429527 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=329268 CPUtime=0.67 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 7353 0 0 0 64 3 0 0 18 0 4 0 523745946 337170432 24659 33554432000 4194304 4627427 140734556508960 18446744073709551615 4429707 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=329268 CPUtime=0.65 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 3449 0 0 0 64 1 0 0 18 0 4 0 523745946 337170432 24674 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 329268

[startup+0.800911 s]
/proc/loadavg: 7.55 8.02 8.01 2/174 5085
/proc/meminfo: memFree=24133072/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=354288 CPUtime=3.08 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 29936 0 0 0 296 12 0 0 18 0 4 0 523745945 362790912 29279 33554432000 4194304 4627427 140734556508960 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 88572 29279 379 106 0 83543 0
[pid=5085/tid=5089] ppid=5083 vsize=354288 CPUtime=0.76 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 8747 0 0 0 73 3 0 0 18 0 4 0 523745946 362790912 29279 33554432000 4194304 4627427 140734556508960 18446744073709551615 4467719 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=354288 CPUtime=0.76 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 8722 0 0 0 73 3 0 0 18 0 4 0 523745946 362790912 29279 33554432000 4194304 4627427 140734556508960 18446744073709551615 4467541 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=354288 CPUtime=0.75 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 3490 0 0 0 74 1 0 0 18 0 4 0 523745946 362790912 29279 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 354288

[startup+1.50078 s]
/proc/loadavg: 7.55 8.02 8.01 9/184 5110
/proc/meminfo: memFree=23886488/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=337968 CPUtime=5.89 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 43215 0 0 0 572 17 0 0 19 0 4 0 523745945 346079232 37376 33554432000 4194304 4627427 140734556508960 18446744073709551615 212687324364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 84492 37377 381 106 0 79463 0
[pid=5085/tid=5089] ppid=5083 vsize=337968 CPUtime=1.47 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 13064 0 0 0 143 4 0 0 19 0 4 0 523745946 346079232 37387 33554432000 4194304 4627427 140734556508960 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=337968 CPUtime=1.47 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 13297 0 0 0 142 5 0 0 19 0 4 0 523745946 346079232 37387 33554432000 4194304 4627427 140734556508960 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=337968 CPUtime=1.46 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 3827 0 0 0 144 2 0 0 19 0 4 0 523745946 346079232 37387 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 337968

[startup+3.10048 s]
/proc/loadavg: 7.55 8.02 8.01 9/184 5110
/proc/meminfo: memFree=23828580/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=450936 CPUtime=12.25 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 55060 0 0 0 1205 20 0 0 22 0 4 0 523745945 461758464 44842 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 112734 44842 387 106 0 107705 0
[pid=5085/tid=5089] ppid=5083 vsize=450936 CPUtime=3.06 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 16456 0 0 0 301 5 0 0 22 0 4 0 523745946 461758464 44842 33554432000 4194304 4627427 140734556508960 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=450936 CPUtime=3.05 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 16696 0 0 0 300 5 0 0 22 0 4 0 523745946 461758464 44842 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=450936 CPUtime=3.04 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 5934 0 0 0 302 2 0 0 22 0 4 0 523745946 461758464 44842 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 450936

[startup+6.3009 s]
/proc/loadavg: 7.59 8.02 8.01 9/184 5110
/proc/meminfo: memFree=23737160/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=416000 CPUtime=25.03 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 79659 0 0 0 2480 23 0 0 19 0 4 0 523745945 425984000 57747 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 104000 57747 390 106 0 98971 0
[pid=5085/tid=5089] ppid=5083 vsize=416000 CPUtime=6.26 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 20226 0 0 0 620 6 0 0 25 0 4 0 523745946 425984000 57747 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=416000 CPUtime=6.26 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 20375 0 0 0 620 6 0 0 25 0 4 0 523745946 425984000 57747 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=416000 CPUtime=6.23 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 20175 0 0 0 619 4 0 0 25 0 4 0 523745946 425984000 57747 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309315 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) 416000

[startup+12.7007 s]
/proc/loadavg: 7.62 8.02 8.01 9/184 5110
/proc/meminfo: memFree=23665396/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=489480 CPUtime=50.6 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 98707 0 0 0 5032 28 0 0 25 0 4 0 523745945 501227520 66618 33554432000 4194304 4627427 140734556508960 18446744073709551615 4327749 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 122370 66618 390 106 0 117341 0
[pid=5085/tid=5089] ppid=5083 vsize=489480 CPUtime=12.66 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 24562 0 0 0 1259 7 0 0 25 0 4 0 523745946 501227520 66618 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309454 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=489480 CPUtime=12.66 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 23585 0 0 0 1259 7 0 0 25 0 4 0 523745946 501227520 66618 33554432000 4194304 4627427 140734556508960 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=489480 CPUtime=12.6 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 27572 0 0 0 1254 6 0 0 25 0 4 0 523745946 501227520 66618 33554432000 4194304 4627427 140734556508960 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 489480

[startup+25.5004 s]
/proc/loadavg: 7.71 8.02 8.01 9/184 5110
/proc/meminfo: memFree=23627716/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=555424 CPUtime=101.75 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 118081 0 0 0 10142 33 0 0 25 0 4 0 523745945 568754176 73361 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 138856 73362 390 106 0 133827 0
[pid=5085/tid=5089] ppid=5083 vsize=555424 CPUtime=25.46 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 31297 0 0 0 2538 8 0 0 25 0 4 0 523745946 568754176 73362 33554432000 4194304 4627427 140734556508960 18446744073709551615 4332298 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=555424 CPUtime=25.46 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 25502 0 0 0 2539 7 0 0 25 0 4 0 523745946 568754176 73362 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=555424 CPUtime=25.34 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 33691 0 0 0 2527 7 0 0 25 0 4 0 523745946 568754176 73362 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 555424

[startup+51.1067 s]
/proc/loadavg: 7.88 8.03 8.02 9/184 5111
/proc/meminfo: memFree=23540888/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=622100 CPUtime=204.04 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 145151 0 0 0 20364 40 0 0 25 0 4 0 523745945 637030400 78780 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 155525 78780 390 106 0 150496 0
[pid=5085/tid=5089] ppid=5083 vsize=622100 CPUtime=51.07 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 41161 0 0 0 5096 11 0 0 25 0 4 0 523745946 637030400 78780 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=622100 CPUtime=51.07 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 30530 0 0 0 5098 9 0 0 25 0 4 0 523745946 637030400 78780 33554432000 4194304 4627427 140734556508960 18446744073709551615 4330330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=622100 CPUtime=50.82 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 44440 0 0 0 5072 10 0 0 25 0 4 0 523745946 637030400 78780 33554432000 4194304 4627427 140734556508960 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 622100

[startup+102.3 s]
/proc/loadavg: 8.01 8.04 8.02 9/184 5112
/proc/meminfo: memFree=23487228/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=558280 CPUtime=408.56 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 193256 0 0 0 40802 54 0 0 25 0 4 0 523745945 571678720 88108 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 139570 88108 390 106 0 134541 0
[pid=5085/tid=5089] ppid=5083 vsize=558280 CPUtime=102.26 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 58268 0 0 0 10211 15 0 0 25 0 4 0 523745946 571678720 88108 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=558280 CPUtime=102.26 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 43366 0 0 0 10213 13 0 0 25 0 4 0 523745946 571678720 88108 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=558280 CPUtime=101.76 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 60188 0 0 0 10161 15 0 0 25 0 4 0 523745946 571678720 88108 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.56
Current children cumulated vsize (KiB) 558280

[startup+162.3 s]

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

[pid=5085] ppid=5083 vsize=703952 CPUtime=2804.66 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 625046 0 0 0 280236 230 0 0 25 0 4 0 523745945 720846848 92934 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 175988 92934 390 106 0 170959 0
[pid=5085/tid=5089] ppid=5083 vsize=703952 CPUtime=702.28 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 187295 0 0 0 70163 65 0 0 25 0 4 0 523745946 720846848 92934 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=703952 CPUtime=702.28 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 170602 0 0 0 70164 64 0 0 25 0 4 0 523745946 720846848 92934 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=703952 CPUtime=697.79 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 193628 0 0 0 69709 70 0 0 25 0 4 0 523745946 720846848 92934 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.66
Current children cumulated vsize (KiB) 703952

[startup+762.3 s]
/proc/loadavg: 8.04 8.11 8.05 9/184 5142
/proc/meminfo: memFree=23316268/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=764816 CPUtime=3044.33 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 683223 0 0 0 304181 252 0 0 25 0 4 0 523745945 783171584 96677 33554432000 4194304 4627427 140734556508960 18446744073709551615 4348160 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 191204 96677 390 106 0 186175 0
[pid=5085/tid=5089] ppid=5083 vsize=764816 CPUtime=762.27 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 202605 0 0 0 76157 70 0 0 25 0 4 0 523745946 783171584 96677 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=764816 CPUtime=762.28 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 185482 0 0 0 76157 71 0 0 25 0 4 0 523745946 783171584 96677 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=764816 CPUtime=757.48 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 206986 0 0 0 75672 76 0 0 25 0 4 0 523745946 783171584 96677 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.33
Current children cumulated vsize (KiB) 764816

[startup+822.3 s]
/proc/loadavg: 8.09 8.10 8.05 9/184 5144
/proc/meminfo: memFree=23229936/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=649228 CPUtime=3284.02 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 741173 0 0 0 328130 272 0 0 25 0 4 0 523745945 664809472 93894 33554432000 4194304 4627427 140734556508960 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 162307 93894 390 106 0 157278 0
[pid=5085/tid=5089] ppid=5083 vsize=649228 CPUtime=822.28 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 217453 0 0 0 82152 76 0 0 25 0 4 0 523745946 664809472 93894 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=649228 CPUtime=822.27 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 199256 0 0 0 82152 75 0 0 25 0 4 0 523745946 664809472 93894 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=649228 CPUtime=817.16 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 221469 0 0 0 81635 81 0 0 25 0 4 0 523745946 664809472 93894 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.02
Current children cumulated vsize (KiB) 649228

[startup+882.3 s]
/proc/loadavg: 8.17 8.11 8.05 9/184 5145
/proc/meminfo: memFree=23151300/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=591188 CPUtime=3523.7 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 797622 0 0 0 352077 293 0 0 25 0 4 0 523745945 605376512 93296 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 147797 93296 390 106 0 142768 0
[pid=5085/tid=5089] ppid=5083 vsize=591188 CPUtime=882.27 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 231972 0 0 0 88147 80 0 0 25 0 4 0 523745946 605376512 93296 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=591188 CPUtime=882.28 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 212057 0 0 0 88147 81 0 0 25 0 4 0 523745946 605376512 93296 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=591188 CPUtime=876.85 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 236176 0 0 0 87599 86 0 0 25 0 4 0 523745946 605376512 93296 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.7
Current children cumulated vsize (KiB) 591188

[startup+942.3 s]
/proc/loadavg: 8.16 8.12 8.06 9/184 5147
/proc/meminfo: memFree=23141604/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=712704 CPUtime=3763.38 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 850650 0 0 0 376025 313 0 0 25 0 4 0 523745945 729808896 97934 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 178176 97934 390 106 0 173147 0
[pid=5085/tid=5089] ppid=5083 vsize=712704 CPUtime=942.27 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 245131 0 0 0 94141 86 0 0 25 0 4 0 523745946 729808896 97934 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=712704 CPUtime=942.28 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 226762 0 0 0 94142 86 0 0 25 0 4 0 523745946 729808896 97934 33554432000 4194304 4627427 140734556508960 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=712704 CPUtime=936.52 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 248694 0 0 0 93562 90 0 0 25 0 4 0 523745946 729808896 97934 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.38
Current children cumulated vsize (KiB) 712704

[startup+1002.3 s]
/proc/loadavg: 8.23 8.14 8.07 9/184 5148
/proc/meminfo: memFree=23190192/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=593276 CPUtime=4003.07 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 905567 0 0 0 399972 335 0 0 25 0 4 0 523745945 607514624 92651 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 148319 92651 390 106 0 143290 0
[pid=5085/tid=5089] ppid=5083 vsize=593276 CPUtime=1002.27 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 259668 0 0 0 100135 92 0 0 25 0 4 0 523745946 607514624 92651 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=593276 CPUtime=1002.28 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 239284 0 0 0 100138 90 0 0 25 0 4 0 523745946 607514624 92651 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=593276 CPUtime=996.2 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 262955 0 0 0 99524 96 0 0 25 0 4 0 523745946 607514624 92651 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.07
Current children cumulated vsize (KiB) 593276

[startup+1062.3 s]
/proc/loadavg: 8.21 8.14 8.07 9/184 5150
/proc/meminfo: memFree=23102628/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=655516 CPUtime=4242.75 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 958268 0 0 0 423920 355 0 0 25 0 4 0 523745945 671248384 94593 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 163879 94593 390 106 0 158850 0
[pid=5085/tid=5089] ppid=5083 vsize=655516 CPUtime=1062.28 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 272796 0 0 0 106129 99 0 0 25 0 4 0 523745946 671248384 94593 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=655516 CPUtime=1062.28 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 253411 0 0 0 106134 94 0 0 25 0 4 0 523745946 671248384 94593 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=655516 CPUtime=1055.88 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 275448 0 0 0 105487 101 0 0 25 0 4 0 523745946 671248384 94593 33554432000 4194304 4627427 140734556508960 18446744073709551615 4506936 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.75
Current children cumulated vsize (KiB) 655516

[startup+1122.3 s]
/proc/loadavg: 8.20 8.15 8.08 9/184 5152
/proc/meminfo: memFree=23114756/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=780496 CPUtime=4482.44 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 1009468 0 0 0 447869 375 0 0 25 0 4 0 523745945 799227904 99830 33554432000 4194304 4627427 140734556508960 18446744073709551615 4327749 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 195124 99830 390 106 0 190095 0
[pid=5085/tid=5089] ppid=5083 vsize=780496 CPUtime=1122.28 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 285978 0 0 0 112124 104 0 0 25 0 4 0 523745946 799227904 99830 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=780496 CPUtime=1122.29 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 266357 0 0 0 112129 100 0 0 25 0 4 0 523745946 799227904 99831 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=780496 CPUtime=1115.55 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 287822 0 0 0 111450 105 0 0 25 0 4 0 523745946 799227904 99831 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.44
Current children cumulated vsize (KiB) 780496

[startup+1182.3 s]
/proc/loadavg: 8.18 8.15 8.08 9/184 5153
/proc/meminfo: memFree=23066244/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=720564 CPUtime=4722.12 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 1060568 0 0 0 471816 396 0 0 25 0 4 0 523745945 737857536 98738 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 180141 98738 390 106 0 175112 0
[pid=5085/tid=5089] ppid=5083 vsize=720564 CPUtime=1182.28 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 298296 0 0 0 118119 109 0 0 25 0 4 0 523745946 737857536 98738 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=720564 CPUtime=1182.29 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 278876 0 0 0 118124 105 0 0 25 0 4 0 523745946 737857536 98738 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=720564 CPUtime=1175.24 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 301535 0 0 0 117413 111 0 0 25 0 4 0 523745946 737857536 98738 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.12
Current children cumulated vsize (KiB) 720564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.13 8.14 8.08 9/184 5154
/proc/meminfo: memFree=23053960/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=783624 CPUtime=4800.04 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 1078227 0 0 0 479601 403 0 0 25 0 4 0 523745945 802430976 98866 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 195906 98866 390 106 0 190877 0
[pid=5085/tid=5089] ppid=5083 vsize=783624 CPUtime=1201.79 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 303166 0 0 0 120068 111 0 0 25 0 4 0 523745946 802430976 98866 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=783624 CPUtime=1201.8 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 283727 0 0 0 120073 107 0 0 25 0 4 0 523745946 802430976 98866 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=783624 CPUtime=1194.63 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 304645 0 0 0 119351 112 0 0 25 0 4 0 523745946 802430976 98866 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 783624

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

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

[startup+1201.8 s]
/proc/loadavg: 8.13 8.14 8.08 9/184 5154
/proc/meminfo: memFree=23053960/32951124 swapFree=67111524/67111528
[pid=5085] ppid=5083 vsize=783624 CPUtime=4800.04 cores=1,3,5,7
/proc/5085/stat : 5085 (strangenight2-m) R 5083 5085 4941 0 -1 4202496 1078227 0 0 0 479601 403 0 0 25 0 4 0 523745945 802430976 98866 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5085/statm: 195906 98866 390 106 0 190877 0
[pid=5085/tid=5089] ppid=5083 vsize=783624 CPUtime=1201.79 cores=1,3,5,7
/proc/5085/task/5089/stat : 5089 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 303166 0 0 0 120068 111 0 0 25 0 4 0 523745946 802430976 98866 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5085/tid=5090] ppid=5083 vsize=783624 CPUtime=1201.8 cores=1,3,5,7
/proc/5085/task/5090/stat : 5090 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 283727 0 0 0 120073 107 0 0 25 0 4 0 523745946 802430976 98866 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5085/tid=5091] ppid=5083 vsize=783624 CPUtime=1194.63 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (strangenight2-m) R 5083 5085 4941 0 -1 4202560 304645 0 0 0 119351 112 0 0 25 0 4 0 523745946 802430976 98866 33554432000 4194304 4627427 140734556508960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 783624

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.83
CPU time (s): 4800.09
CPU user time (s): 4796.03
CPU system time (s): 4.05038
CPU usage (%): 399.397
Max. virtual memory (cumulated for all children) (KiB): 889612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.03
system time used= 4.05038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1078229
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= 11935
involuntary context switches= 32976

runsolver used 1.92171 second user time and 4.44432 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-30 01:58:02
IDJOB=3250405
IDBENCH=83253
IDSOLVER=1586
FILE ID=node139/3250405-1304121482
RUNJOBID= node139-1304120278-4960
PBS_JOBID= 13170733
Free space on /tmp= 72544 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3250405-1304121482/watcher-3250405-1304121482 -o /tmp/evaluation-result-3250405-1304121482/solver-3250405-1304121482 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3250405-1304121482.cnf

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

MD5SUM BENCH= 337bdbc5d8bf0013ca73aeffa06cffe8
RANDOM SEED=1515593495

node139.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.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.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	: 5321.49
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	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24133212 kB
Buffers:       2051428 kB
Cached:        6183476 kB
SwapCached:          4 kB
Active:         950276 kB
Inactive:      7348548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24133212 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7804 kB
Writeback:           0 kB
AnonPages:       63764 kB
Mapped:          14692 kB
Slab:           454204 kB
PageTables:       4664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   194996 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= 72540 MiB
End job on node139 at 2011-04-30 02:18:06