Trace number 3250141

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.41 1201.74

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
MD5SUMd2ef996f95bbf68a3c980c797dfdc364
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2071
Number of clauses159039
Sum of the clauses size479052
Maximum clause length6
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3158394
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5645

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-3250141-1304120830.cnf'
0.00/0.00	c -- header says num vars:           2071
0.00/0.00	c -- header says num clauses:      159039
2.43/0.62	c -- clauses added:            0 learnts,       159039 normals,            0 xors
2.43/0.62	c -- vars added       2071
2.43/0.62	c Parsing time:  0.04 s
2.43/0.62	c  N st     0         0      2071    159039         0         0    479052         0   no data   no data
2.43/0.62	c asymm  cl-useful: 0/158323/159039 lits-rem:0 time: 0.54
2.43/0.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
2.43/0.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.43/0.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2.43/0.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.43/0.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2071 time:  0.01 s
2.43/0.69	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
7.12/1.86	c lits-rem:         0  cl-subs:        0  v-elim:    690  v-fix:    0  time:  1.15 s
7.12/1.86	c Finding binary XORs  T:     0.00 s  found:       0
7.51/1.93	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
7.51/1.93	c calculated reachability. Time: 0.00
7.51/1.93	c Calc default polars -  time:   0.01 s pos:    1381 undec:     690 neg:       0
7.51/1.93	c =========================================================================================
7.51/1.93	c types(t): F = full restart, N = normal restart
7.51/1.93	c types(t): S = simplification begin/end, E = solution found
7.51/1.93	c restart types(rt): st = static, dy = dynamic
7.51/1.93	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.51/1.93	c  B st     0         0      1381     99170         0         0    515450         0   no data   no data
9.51/2.40	c  N dy    10      4889      1381     99170         0      4846    515450    187551     25.65     27.11
11.11/2.85	c  N dy    11      9533      1381     99170         0      9373    515450    333094     23.03     24.27
13.90/3.59	c  N dy    23     16883      1381     99170         0     16629    515450    611674     21.79     23.54
15.90/4.02	c  N dy    44     20902      1381     99170         0     10765    515450    297316     22.00     26.50
17.10/4.39	c  N dy    76     24953      1381     99170         0     14785    515450    441388     22.41     24.29
17.10/4.40	c  F st    77     25003      1381     99170         0     14834    515450    443486     22.44   no data
17.50/4.42	c Found part        4 vars:        670 clauses:     47205 lits size:    251895
17.50/4.42	c Found part        7 vars:        711 clauses:     51965 lits size:    263555
17.50/4.42	c Found parts:          2 time: 0.02 s
17.50/4.42	c Solving part 4
17.50/4.46	c  N st     0         0       670     47205         0      1030    251895     39051   no data   no data
18.70/4.78	c asymm  cl-useful: 17/47205/47205 lits-rem:19 time: 0.31
18.70/4.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
18.70/4.78	c Finding binary XORs  T:     0.00 s  found:       0
19.11/4.80	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
19.11/4.80	c calculated reachability. Time: 0.00
19.11/4.80	c Calc default polars -  time:   0.00 s pos:     670 undec:    1401 neg:       0
19.11/4.80	c =========================================================================================
19.11/4.80	c types(t): F = full restart, N = normal restart
19.11/4.80	c types(t): S = simplification begin/end, E = solution found
19.11/4.80	c restart types(rt): st = static, dy = dynamic
19.11/4.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
19.11/4.80	c  B st     0         0       670     47205         0      1030    251876     39051   no data   no data
21.50/5.42	c  N dy    10      6652       670     47205         0      7623    251876    305460     22.58     23.94
23.09/5.80	c  N dy    33     10728       670     47205         0      7253    251876    226118     23.35     29.48
24.69/6.21	c  N dy    67     14773       670     47205         0     11273    251876    378055     24.44     28.67
26.68/6.73	c  N dy    78     20369       670     47205         0     10203    251876    265450     24.12     25.45
28.30/7.14	c  F st    85     25002       670     47205         0     14806    251875    440392     23.82     21.17
28.30/7.14	c  N st    85     25002       670     47205         0     14806    251875    440392     23.82     21.17
30.28/7.63	c  N dy    91     30195       670     47205         0     11752    251875    293871     23.82   no data
31.89/8.03	c  N dy   116     34292       670     47205         0     15807    251875    441908     24.00     25.28
33.47/8.43	c  N dy   128     38306       670     47205         0     10323    251875    195025     24.00     27.97
36.70/9.24	c  N dy   141     46556       670     47205         0     18501    251875    506780     23.50     24.74
38.67/9.75	c  N dy   149     51653       670     47205         0     12930    251875    254668     23.20     24.51
40.27/10.14	c  N dy   175     55728       670     47205         0     16983    251875    408132     23.32     35.18
41.87/10.54	c  N dy   196     59831       670     47205         0     21034    251875    551089     23.39     24.89
43.46/10.96	c  N dy   213     63840       670     47205         0     13306    251875    231088     23.44     28.97
45.07/11.36	c  N dy   238     67936       670     47205         0     17366    251874    380565     23.53     25.62
46.66/11.77	c  N dy   253     72292       670     47205         0     21692    251874    534568     23.49     24.83
49.06/12.33	c  N dy   288     77491       670     47205         0     14116    251874    225273     23.70     25.12
52.25/13.14	c  N dy   289     85230       670     47205         0     21785    251874    528595     23.34     24.63
53.05/13.38	c  F st   308     87502       670     47205         0     24044    251874    612660     23.43   no data
54.68/13.72	c  N st   313     90802       670     47205         0     27311    251874    738798     23.43   no data
57.05/14.35	c  N dy   329     96848       670     47205         0     19570    251874    403893     23.41     24.65
59.85/15.04	c  N dy   338    103095       670     47205         0     25709    251874    609973     23.35     24.65
62.64/15.78	c  N dy   383    109678       670     47205         0     17537    251874    286525     23.45     26.72
65.84/16.51	c  N dy   438    116760       670     47205         0     24561    251874    545824     23.60     24.87
69.04/17.37	c  N dy   476    124665       670     47205         0     16708    251874    232333     23.60     24.88
72.63/18.24	c  N dy   496    133311       670     47205         0     25254    251874    530069     23.51     24.79
76.65/19.25	c  N dy   537    141873       670     47205         0     17038    251874    210298     23.56     28.47
80.23/20.18	c  N dy   578    150957       670     47205         0     26029    251874    537588     23.61     24.94
84.62/21.29	c  N dy   609    160686       670     47205         0     17983    251874    213596     23.59     25.03
89.43/22.40	c  N dy   655    171515       670     47205         0     28717    251874    607850     23.58     24.82
94.23/23.66	c  N dy   688    182804       670     47205         0     21194    251874    298618     23.51     24.78
99.00/24.89	c  N dy   742    194531       670     47205         0     32839    251874    725218     23.53     27.40
110.19/27.61	c  N dy   747    216230       670     47205         0     34675    251874    832115     23.22     24.47
116.57/29.25	c  N dy   797    230726       670     47205         0     28358    251874    525840     23.22     24.51
123.77/31.05	c  N dy   844    246159       670     47205         0     21964    251874    242477     23.16     24.71
131.36/32.91	c  N dy   908    262150       670     47205         0     37853    251874    867465     23.16     24.67
143.74/36.09	c  N dy   968    285985       670     47205         0     38920    251874    968865     23.06     24.36
152.93/38.37	c  N dy  1040    304959       670     47205         0     34049    251873    654386     23.07     24.59
153.73/38.52	c  F st  1047    306250       670     47205         0     35329    251873    700243     23.07     22.51
162.91/40.82	c  N dy  1121    324514       670     47205         0     28711    251873    395526     23.11     24.92
172.50/43.26	c  N dy  1234    344522       670     47205         0     48577    251873   1141375     23.19     27.14
182.48/45.73	c  N dy  1306    364748       670     47205         0     42893    251873    926065     23.18     24.41
192.08/48.13	c  N dy  1367    384751       670     47205         0     36100    251873    626904     23.15     28.37
202.47/50.74	c  N dy  1460    405157       670     47205         0     28697    251873    308279     23.17     24.48
212.05/53.17	c  N dy  1529    425380       670     47205         0     48749    251873   1032236     23.16     24.92
222.43/55.75	c  N dy  1643    445462       670     47205         0     40063    251873    712814     23.23     24.53
232.83/58.34	c  N dy  1710    465699       670     47205         0     30524    251873    322524     23.21     24.61
243.64/61.04	c  N dy  1799    487907       670     47205         0     52563    251873   1197648     23.22     24.45
256.82/64.32	c  N dy  1913    513440       670     47205         0     47191    251873    908719     23.25     24.51
270.38/67.73	c  N dy  2040    538369       670     47205         0     40303    251873    638301     23.29     24.67
281.17/70.43	c  N dy  2141    558373       670     47205         0     60120    251873   1386508     23.33     24.83
291.57/73.04	c  N dy  2208    578688       670     47205         0     47757    251873    895945     23.31     24.55
303.53/76.07	c  N dy  2328    599196       670     47205         0     34510    251873    340285     23.36     24.95
313.94/78.67	c  N dy  2420    619481       670     47205         0     54628    251873   1081438     23.37     24.81
325.51/81.51	c  N dy  2508    639639       670     47205         0     40014    251873    522935     23.39     24.83
336.68/84.30	c  N dy  2639    659707       670     47205         0     59925    251873   1271911     23.44     30.24
348.28/87.22	c  N dy  2721    680312       670     47205         0     44805    251873    686885     23.42     24.74
359.06/89.90	c  N dy  2741    700397       670     47205         0     64602    251873   1446317     23.35     27.07
385.03/96.44	c  N dy  2769    739614       670     47205         0     67060    251873   1684754     23.20     24.43
406.23/101.73	c  N dy  2810    774628       670     47205         0     64119    251873   1437437     23.09     24.36
418.59/104.81	c  N dy  2890    795354       670     47205         0     46158    251873    637796     23.09     24.71
430.17/107.72	c  N dy  3004    815442       670     47205         0     66096    251873   1389865     23.12     26.71
444.96/111.42	c  N dy  3113    840391       670     47205         0     51335    251873    809677     23.13     24.49
457.34/114.53	c  N dy  3247    860985       670     47205         0     71763    251873   1557147     23.17     24.56
468.93/117.45	c  N dy  3336    881152       670     47205         0     51237    251873    762531     23.19     24.41
480.93/120.44	c  N dy  3383    901459       670     47205         0     71245    251873   1522907     23.16     24.40
494.90/123.95	c  N dy  3402    925638       670     47205         0     53772    251873    881561     23.09     24.34
508.08/127.24	c  N dy  3526    947488       670     47205         0     75456    251873   1719819     23.13     24.41
520.87/130.45	c  N dy  3663    967552       670     47205         0     52869    251873    750373     23.17     27.55
533.67/133.65	c  N dy  3765    988560       670     47205         0     73691    251873   1535929     23.18     24.59
546.45/136.83	c  N dy  3867   1008598       670     47205         0     50057    251873    628728     23.20     25.16
585.58/146.60	c  F st  3920   1071875       670     47205         0     68403    251873   1403504     23.05     21.07
585.58/146.60	c  N st  3920   1071875       670     47205         0     68403    251873   1403504     23.05     21.07
601.97/150.77	c  N dy  3996   1097415       670     47205         0     48217    251873    506201     23.04     24.36
613.94/153.70	c  N dy  4106   1117508       670     47205         0     68154    251873   1255630     23.06     24.89
627.53/157.10	c  N dy  4170   1139009       670     47205         0     89510    251873   2079400     23.05     24.28
640.30/160.30	c  N dy  4308   1159321       670     47205         0     63167    251873   1019682     23.09     24.34
652.32/163.38	c  N dy  4361   1179405       670     47205         0     83048    251873   1766549     23.09     30.04
665.50/166.64	c  N dy  4451   1199579       670     47205         0     55577    251873    706769     23.09     24.32
678.28/169.85	c  N dy  4552   1220378       670     47205         0     76193    251873   1513536     23.12     24.57
693.03/173.50	c  N dy  4688   1240388       670     47205         0     96030    251873   2245987     23.15     30.16
705.42/176.61	c  N dy  4801   1260706       670     47205         0     67712    251873   1120039     23.17     24.44
718.61/179.90	c  N dy  4847   1281235       670     47205         0     88004    251873   1929571     23.14     24.39
731.41/183.11	c  N dy  4919   1301322       670     47205         0     58443    251873    750888     23.14     25.16
744.97/186.58	c  N dy  5023   1323680       670     47205         0     80634    251873   1600295     23.15     24.38
760.55/190.42	c  N dy  5148   1345123       670     47205         0     51526    251873    476178     23.17     24.59
778.93/195.01	c  N dy  5242   1376206       670     47205         0     82372    251873   1678177     23.15     24.47
793.31/198.63	c  N dy  5331   1396642       670     47205         0    102646    251872   2445617     23.16     24.38
808.89/202.54	c  N dy  5424   1422393       670     47205         0     76780    251872   1409395     23.15     24.41
822.88/206.09	c  N dy  5533   1442467       670     47205         0     96689    251872   2153025     23.17     25.05
836.87/209.58	c  N dy  5646   1462540       670     47205         0     64155    251872    865908     23.18     24.98
850.05/212.89	c  N dy  5762   1482543       670     47205         0     83982    251872   1616718     23.20     24.65
865.21/216.61	c  N dy  5875   1502627       670     47205         0    103867    251872   2351276     23.22     24.69
878.39/219.90	c  N dy  5923   1522723       670     47205         0     70426    251872   1131719     23.21     28.92
891.98/223.30	c  N dy  6040   1542754       670     47205         0     90269    251872   1863066     23.23     35.16
907.55/227.28	c  N dy  6172   1563042       670     47205         0     55991    251872    518003     23.26     24.93
919.96/230.34	c  N dy  6298   1583099       670     47205         0     75883    251872   1271380     23.28     24.93
933.14/233.66	c  N dy  6376   1603105       670     47205         0     95614    251872   2013042     23.28     25.36
948.71/237.51	c  N dy  6484   1623180       670     47205         0     60148    251872    648810     23.29     29.39
962.29/240.96	c  N dy  6539   1645464       670     47205         0     82264    251872   1511250     23.28     24.51
977.49/244.75	c  N dy  6556   1665560       670     47205         0    102031    251872   2323218     23.23     28.11
999.45/250.25	c  N dy  6601   1696304       670     47205         0     76243    251872   1304087     23.19     24.56
1015.01/254.19	c  N dy  6671   1720228       670     47205         0     99968    251872   2182068     23.19     24.55
1030.22/257.94	c  N dy  6789   1740254       670     47205         0     62486    251872    680510     23.21     32.04
1043.40/261.28	c  N dy  6878   1760938       670     47205         0     82884    251872   1430249     23.21     24.53
1057.35/264.77	c  N dy  6957   1780961       670     47205         0    102700    251872   2182002     23.22     27.21
1073.33/268.72	c  N dy  7091   1800999       670     47205         0     64302    251872    718105     23.24     27.60
1090.11/272.94	c  N dy  7203   1827095       670     47205         0     90095    251872   1668383     23.24     24.53
1109.69/277.86	c  N dy  7283   1851816       670     47205         0    114404    251872   2613232     23.23     24.50
1124.07/281.45	c  N dy  7409   1872252       670     47205         0     75479    251872   1108038     23.25     24.48
1143.24/286.28	c  N dy  7496   1900445       670     47205         0    103335    251872   2190120     23.24     24.48
1159.22/290.28	c  N dy  7591   1920484       670     47205         0     62992    251872    610001     23.25     28.85
1173.20/293.71	c  N dy  7693   1941275       670     47205         0     83546    251872   1364975     23.26     24.52
1187.59/297.39	c  N dy  7793   1961317       670     47205         0    103424    251872   2131217     23.27     24.56
1204.77/301.63	c  N dy  7898   1981351       670     47205         0     62036    251872    540604     23.28     24.67
1217.94/304.96	c  N dy  7996   2002398       670     47205         0     82926    251872   1345909     23.29     24.56
1232.72/308.65	c  N dy  8069   2022477       670     47205         0    102785    251872   2069114     23.28     24.65
1249.11/312.79	c  N dy  8140   2044149       670     47205         0    124203    251872   2880051     23.28     24.68
1262.70/316.14	c  N dy  8218   2064194       670     47205         0     81833    251872   1272976     23.28     26.58
1277.87/319.92	c  N dy  8294   2085905       670     47205         0    103387    251872   2113175     23.27     24.52
1294.24/324.06	c  N dy  8408   2106048       670     47205         0    123364    251872   2853427     23.29     24.67
1308.62/327.65	c  N dy  8522   2126065       670     47205         0     79947    251872   1140737     23.30     29.83
1323.80/331.40	c  N dy  8617   2146920       670     47205         0    100671    251872   1941855     23.30     24.79
1339.78/335.45	c  N dy  8724   2166999       670     47205         0    120592    251872   2693530     23.31     32.04
1354.57/339.20	c  N dy  8820   2187007       670     47205         0     76083    251872    976745     23.32     24.79
1368.16/342.57	c  N dy  8897   2207089       670     47205         0     95995    251872   1741454     23.32     24.62
1383.73/346.48	c  N dy  8994   2227131       670     47205         0    115822    251872   2461657     23.33     25.08
1402.50/351.19	c  N dy  9111   2251186       670     47205         0     74392    251872    892227     23.33     24.62
1417.67/354.93	c  N dy  9208   2272382       670     47205         0     95309    251872   1683750     23.33     24.68
1432.85/358.73	c  N dy  9266   2292429       670     47205         0    115174    251872   2467575     23.32     26.48
1449.63/362.96	c  N dy  9371   2312581       670     47205         0     68909    251872    644684     23.33     24.69
1463.61/366.49	c  N dy  9503   2332659       670     47205         0     88804    251872   1371386     23.35     30.77
1485.19/371.86	c  N dy  9616   2361090       670     47205         0    117039    251872   2473345     23.35     24.76
1505.55/376.95	c  N dy  9728   2384253       670     47205         0     72739    251872    768941     23.36     24.68
1519.54/380.48	c  N dy  9861   2404425       670     47205         0     92729    251872   1524813     23.38     24.62
1535.53/384.45	c  N dy  9948   2424630       670     47205         0    112744    251872   2282785     23.38     24.77
1552.29/388.62	c  N dy 10045   2444636       670     47205         0    132589    251872   3045519     23.39     25.56
1567.07/392.40	c  N dy 10115   2465108       670     47205         0     84602    251872   1183050     23.38     24.69
1582.26/396.19	c  N dy 10258   2485130       670     47205         0    104438    251872   1916408     23.40     30.08
1598.23/400.15	c  N dy 10331   2505195       670     47205         0    124315    251872   2705022     23.40     28.65
1614.63/404.27	c  N dy 10395   2526346       670     47205         0     75944    251872    778633     23.39     24.81
1628.98/407.87	c  N dy 10508   2546472       670     47205         0     95868    251871   1515893     23.40     24.68
1647.76/412.50	c  N dy 10547   2570453       670     47205         0    119565    251871   2473539     23.38     24.87
1666.54/417.26	c  N dy 10620   2594157       670     47205         0     72901    251871    685061     23.38     25.07
1684.54/421.78	c  N dy 10672   2621356       670     47205         0     99819    251871   1701279     23.36     24.63
1700.49/425.78	c  N dy 10784   2641431       670     47205         0    119675    251871   2423756     23.37     28.93
1723.27/431.44	c  N dy 10890   2668677       670     47205         0     75579    251871    744483     23.36     24.93
1737.67/435.09	c  N dy 11010   2688748       670     47205         0     95469    251871   1477951     23.38     30.80
1753.62/439.06	c  N dy 11105   2708993       670     47205         0    115494    251871   2229730     23.38     24.70
1785.60/447.03	c  N dy 11181   2748436       670     47205         0     82525    251871   1045376     23.35     24.58
1803.95/451.60	c  N dy 11242   2774048       670     47205         0    107837    251871   2000199     23.34     24.67
1819.93/455.68	c  N dy 11326   2794071       670     47205         0    127671    251871   2745031     23.34     26.35
1837.51/460.02	c  N dy 11392   2814133       670     47205         0     74380    251871    644502     23.34     27.37
1880.66/470.82	c  N dy 11494   2866941       670     47205         0    126455    251871   2750796     23.30     24.54
1899.85/475.61	c  N dy 11623   2887274       670     47205         0    146600    251871   3487979     23.31     24.69
1976.93/494.90	c  N dy 11731   2971528       670     47205         0     80848    251871    846954     23.24     24.89
1990.91/498.49	c  N dy 11840   2991547       670     47205         0    100704    251871   1607167     23.25     27.01
2007.69/502.65	c  N dy 11947   3011561       670     47205         0    120524    251871   2364511     23.26     24.65
2026.07/507.23	c  N dy 12048   3031631       670     47205         0    140401    251871   3094455     23.26     24.73
2043.24/511.53	c  N dy 12147   3052361       670     47205         0     84858    251871    950539     23.27     24.76
2058.03/515.28	c  N dy 12253   3072446       670     47205         0    104717    251871   1676053     23.28     24.90
2076.02/519.74	c  N dy 12406   3092535       670     47205         0    124634    251871   2418258     23.29     24.81
2094.77/524.43	c  N dy 12523   3112566       670     47205         0    144450    251871   3138342     23.30     24.64
2126.32/532.33	c  N dy 12560   3149850       670     47205         0    104313    251871   1759315     23.26     24.55
2142.30/536.30	c  N dy 12642   3170005       670     47205         0    124261    251871   2523876     23.26     24.88
2161.48/541.12	c  N dy 12738   3191634       670     47205         0    145661    251871   3312212     23.26     24.60
2182.24/546.38	c  N dy 12796   3216605       670     47205         0     92276    251871   1241706     23.25     24.50
2198.23/550.31	c  N dy 12917   3236675       670     47205         0    112161    251871   1992647     23.26     25.84
2214.61/554.45	c  N dy 13002   3256706       670     47205         0    132049    251871   2759709     23.27     28.57
2233.39/559.18	c  N dy 13112   3276723       670     47205         0    151913    251871   3502502     23.28     24.54
2250.96/563.56	c  N dy 13216   3297210       670     47205         0     93062    251871   1164493     23.28     24.52
2279.32/570.66	c  N dy 13242   3333341       670     47205         0    128865    251871   2556559     23.25     24.55
2296.90/575.09	c  N dy 13321   3353418       670     47205         0    148695    251871   3299393     23.25     29.62
2316.07/579.82	c  N dy 13423   3375337       670     47205         0     90287    251871   1033396     23.26     24.51
2336.05/584.82	c  N dy 13532   3400782       670     47205         0    115528    251871   2011921     23.26     24.53
2352.44/588.94	c  N dy 13592   3420787       670     47205         0    135382    251871   2773584     23.26     30.54
2372.80/594.02	c  N dy 13735   3440884       670     47205         0    155318    251871   3517226     23.27     24.67
2390.77/598.51	c  N dy 13866   3461037       670     47205         0     94162    251871   1130078     23.28     24.61
2405.57/602.29	c  N dy 13916   3482303       670     47205         0    115181    251871   1930926     23.27     24.70
2434.31/609.44	c  N dy 14004   3514714       670     47205         0    147329    251871   3171481     23.27     24.60
2454.69/614.55	c  N dy 14124   3535078       670     47205         0     85395    251871    782087     23.27     24.72
2469.87/618.32	c  N dy 14230   3555232       670     47205         0    105379    251871   1553303     23.28     24.81
2486.25/622.49	c  N dy 14326   3575702       670     47205         0    125638    251871   2292459     23.28     24.54
2503.82/626.88	c  N dy 14403   3595782       670     47205         0    145555    251871   3083424     23.28     24.58
2524.59/632.01	c  N dy 14538   3615825       670     47205         0    165418    251871   3821403     23.29     28.19
2540.57/636.08	c  N dy 14659   3635910       670     47205         0    102184    251871   1358484     23.30     24.62
2559.37/640.76	c  N dy 14804   3657629       670     47205         0    123717    251871   2157610     23.31     24.64
2576.95/645.13	c  N dy 14861   3677995       670     47205         0    143847    251871   2938163     23.31     24.61
2596.90/650.10	c  N dy 14961   3698042       670     47205         0    163717    251871   3685451     23.31     25.82
2613.67/654.35	c  N dy 15069   3718126       670     47205         0     99569    251871   1260094     23.32     24.67
2630.04/658.49	c  N dy 15179   3738262       670     47205         0    119507    251871   2014487     23.32     24.64
2642.45/661.54	c  F st 15258   3751562       670     47205         0    132661    251871   2487925     23.33     22.55
2648.82/663.11	c  N dy 15267   3758693       670     47205         0    139691    251871   2760622     23.33     24.73
2668.40/668.08	c  N dy 15372   3778728       670     47205         0    159563    251871   3489912     23.33     24.57
2685.57/672.38	c  N dy 15421   3798891       670     47205         0     94495    251871   1043023     23.33     24.59
2701.15/676.23	c  N dy 15454   3819083       670     47205         0    114561    251871   1872466     23.32     24.69
2718.33/680.53	c  N dy 15531   3839555       670     47205         0    134846    251871   2637101     23.32     24.60
2737.50/685.38	c  N dy 15644   3859714       670     47205         0    154810    251871   3358053     23.33     24.67
2775.85/694.92	c  N dy 15652   3902271       670     47205         0    110636    251871   1697815     23.27     24.53
2793.03/699.27	c  N dy 15757   3922287       670     47205         0    130447    251871   2439365     23.28     24.68
2810.21/703.55	c  N dy 15825   3942327       670     47205         0    150218    251871   3203326     23.28     24.51
2831.80/708.96	c  N dy 15840   3965162       670     47205         0    172810    251871   4071199     23.26     24.72
2848.97/713.22	c  N dy 15945   3985262       670     47205         0    105879    251871   1421795     23.26     27.59
2872.13/719.06	c  N dy 16059   4012999       670     47205         0    133388    251871   2477146     23.26     24.56
2892.10/724.03	c  N dy 16157   4034351       670     47205         0    154574    251871   3305274     23.26     24.59
2914.89/729.80	c  N dy 16292   4055222       670     47205         0    175255    251871   4067099     23.27     24.53
2932.87/734.28	c  N dy 16414   4076559       670     47205         0    108417    251871   1473481     23.28     24.53
2950.44/738.67	c  N dy 16538   4096641       670     47205         0    128312    251871   2197945     23.28     24.78
2970.80/743.79	c  N dy 16627   4119419       670     47205         0    150946    251871   3104634     23.29     24.53
2991.16/748.83	c  N dy 16712   4140524       670     47205         0    171823    251871   3886764     23.29     24.54
3009.14/753.38	c  N dy 16794   4160552       670     47205         0    102620    251871   1223697     23.29     24.73
3026.31/757.68	c  N dy 16932   4180745       670     47205         0    122635    251871   1969049     23.30     24.55
3044.69/762.23	c  N dy 17032   4200945       670     47205         0    142625    251871   2705204     23.30     24.78
3071.46/768.98	c  N dy 17123   4229439       670     47205         0    170825    251871   3722543     23.30     24.55
3089.84/773.52	c  N dy 17186   4249450       670     47205         0    100602    251871   1114676     23.29     24.66
3107.01/777.89	c  N dy 17276   4271603       670     47205         0    122461    251871   1920479     23.29     24.59
3124.59/782.25	c  N dy 17332   4291622       670     47205         0    142299    251871   2699189     23.28     24.59
3144.56/787.23	c  N dy 17447   4311646       670     47205         0    162154    251871   3453285     23.29     27.36
3167.73/793.04	c  N dy 17567   4331968       670     47205         0     91362    251871    749990     23.29     24.54
3193.30/799.47	c  N dy 17665   4364545       670     47205         0    123540    251871   1973763     23.29     24.60
3211.27/803.94	c  N dy 17756   4384668       670     47205         0    143498    251871   2715076     23.29     24.52
3230.04/808.65	c  N dy 17827   4404737       670     47205         0    163304    251871   3451331     23.29     25.01
3253.64/814.54	c  N dy 17935   4425756       670     47205         0     92262    251871    752966     23.29     24.55
3271.58/819.07	c  N dy 18022   4449733       670     47205         0    115990    251871   1668307     23.30     24.59
3289.97/823.60	c  N dy 18149   4469827       670     47205         0    135931    251871   2427839     23.30     25.23
3312.33/829.24	c  N dy 18167   4494948       670     47205         0    160721    251871   3417267     23.29     24.65
3334.69/834.80	c  N dy 18293   4514980       670     47205         0    180531    251871   4154598     23.30     27.61
3353.46/839.54	c  N dy 18419   4535034       670     47205         0    107513    251871   1286538     23.31     26.94
3370.64/843.87	c  N dy 18538   4555128       670     47205         0    127432    251871   2046451     23.31     28.69
3389.43/848.52	c  N dy 18640   4575501       670     47205         0    147602    251871   2792583     23.32     24.57
3409.39/853.59	c  N dy 18740   4596361       670     47205         0    168300    251871   3583188     23.32     24.69
3464.92/867.43	c  N dy 18743   4655743       670     47205         0    132830    251871   2384771     23.27     24.54
3484.09/872.23	c  N dy 18829   4676766       670     47205         0    153680    251871   3185847     23.27     24.52
3505.67/877.60	c  N dy 18932   4697876       670     47205         0    174548    251871   3961693     23.28     24.66
3528.44/883.30	c  N dy 19044   4717961       670     47205         0     99662    251871    937135     23.28     28.24
3544.01/887.27	c  N dy 19137   4738044       670     47205         0    119491    251871   1654451     23.29     31.39
3565.21/892.60	c  N dy 19250   4761955       670     47205         0    143172    251871   2553562     23.29     24.54
3586.76/897.90	c  N dy 19384   4782731       670     47205         0    163747    251871   3307933     23.29     24.57
3608.33/903.39	c  N dy 19504   4802808       670     47205         0    183652    251871   4042163     23.30     26.75
3628.70/908.48	c  N dy 19621   4822897       670     47205         0    107725    251871   1216984     23.31     24.63
3645.88/912.71	c  N dy 19680   4843258       670     47205         0    127949    251871   2012352     23.30     24.62
3663.85/917.27	c  N dy 19780   4863274       670     47205         0    147790    251871   2773355     23.31     26.11
3684.25/922.32	c  N dy 19893   4883331       670     47205         0    167663    251871   3528784     23.31     25.15
3705.41/927.65	c  N dy 19978   4903410       670     47205         0    187541    251871   4263765     23.31     24.81
3725.38/932.68	c  N dy 20066   4925428       670     47205         0    112425    251871   1377045     23.31     24.79
3742.95/937.06	c  N dy 20171   4945789       670     47205         0    132622    251871   2137758     23.32     24.68
3762.94/942.07	c  N dy 20276   4966608       670     47205         0    153190    251871   2874908     23.32     24.55
3786.09/947.84	c  N dy 20371   4990208       670     47205         0    176538    251871   3767840     23.32     24.61
3810.46/953.97	c  N dy 20508   5010284       670     47205         0     98530    251871    811291     23.33     27.41
3827.64/958.20	c  N dy 20651   5030315       670     47205         0    118399    251871   1548459     23.34     30.12
3849.62/963.77	c  N dy 20711   5055764       670     47205         0    143649    251871   2529120     23.33     24.60
3870.39/968.99	c  N dy 20814   5076528       670     47205         0    164230    251871   3298002     23.33     24.59
3893.15/974.64	c  N dy 20958   5096615       670     47205         0    184137    251871   4036357     23.34     25.67
3913.52/979.79	c  N dy 21015   5116792       670     47205         0    105236    251871   1062992     23.34     24.59
3930.69/984.04	c  N dy 21116   5136794       670     47205         0    125039    251871   1784513     23.34     24.61
3948.27/988.48	c  N dy 21183   5157233       670     47205         0    145278    251871   2552814     23.34     24.59
3967.84/993.31	c  N dy 21272   5177807       670     47205         0    165621    251871   3331829     23.34     24.57
3988.22/998.48	c  N dy 21343   5197903       670     47205         0    185504    251871   4056734     23.34     28.84
4012.59/1004.52	c  N dy 21481   5218146       670     47205         0    105622    251871   1001678     23.35     24.75
4029.76/1008.80	c  N dy 21574   5238700       670     47205         0    125952    251871   1759879     23.35     24.62
4047.75/1013.39	c  N dy 21671   5258953       670     47205         0    146036    251871   2502286     23.35     25.21
4068.51/1018.59	c  N dy 21789   5278994       670     47205         0    165917    251871   3230204     23.35     29.95
4089.69/1023.83	c  N dy 21873   5299057       670     47205         0    185807    251871   3997326     23.35     25.33
4114.05/1029.99	c  N dy 22027   5319128       670     47205         0    104799    251871    956274     23.36     28.26
4130.82/1034.12	c  N dy 22087   5339157       670     47205         0    124546    251871   1726420     23.36     25.74
4149.62/1038.87	c  N dy 22224   5359342       670     47205         0    144553    251871   2466203     23.37     24.77
4169.17/1043.71	c  N dy 22296   5379677       670     47205         0    164712    251871   3232751     23.37     24.77
4195.93/1050.45	c  N dy 22395   5405488       670     47205         0    190347    251871   4235805     23.37     24.74
4219.93/1056.42	c  N dy 22531   5425504       670     47205         0    108265    251871   1055145     23.37     29.37
4237.09/1060.71	c  N dy 22641   5445601       670     47205         0    128192    251871   1800488     23.38     26.39
4255.85/1065.47	c  N dy 22744   5465605       670     47205         0    147981    251871   2515154     23.38     24.95
4276.63/1070.63	c  N dy 22851   5485685       670     47205         0    167902    251871   3267209     23.39     31.47
4295.80/1075.43	c  N dy 22894   5506178       670     47205         0    188160    251871   4033250     23.38     24.63
4320.17/1081.55	c  N dy 22986   5526195       670     47205         0    105073    251871    900334     23.38     26.02
4336.95/1085.70	c  N dy 23065   5546231       670     47205         0    124812    251871   1595598     23.39     24.70
4361.30/1091.86	c  N dy 23125   5574968       670     47205         0    153267    251871   2666288     23.38     24.61
4382.50/1097.12	c  N dy 23236   5595045       670     47205         0    173134    251871   3404159     23.38     25.32
4404.87/1102.71	c  N dy 23346   5615161       670     47205         0    193090    251871   4152132     23.38     24.74
4438.41/1111.13	c  N dy 23429   5647459       670     47205         0    121260    251871   1576392     23.38     24.62
4462.77/1117.22	c  N dy 23542   5673948       670     47205         0    147505    251871   2625594     23.38     24.75
4497.93/1126.02	c  N dy 23655   5709022       670     47205         0    182199    251871   3993146     23.38     24.68
4521.90/1132.04	c  N dy 23761   5729544       670     47205         0    202528    251871   4750216     23.38     24.90
4543.06/1137.31	c  N dy 23880   5749623       670     47205         0    117639    251871   1322607     23.38     31.65

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

running on 4 cores: 0,2,4,6

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: 4.10 4.86 6.31 8/180 4840
/proc/meminfo: memFree=30875016/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 504498945 52441088 347 33554432000 4194304 4627427 140737415882160 18446744073709551615 47325336786866 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 12803 347 299 106 0 7774 0
[pid=4840/tid=4841] ppid=4838 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 504498946 52441088 347 33554432000 4194304 4627427 140737415882160 18446744073709551615 47325336786866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 504498946 52441088 347 33554432000 4194304 4627427 140737415882160 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 504498946 52441088 347 33554432000 4194304 4627427 140737415882160 18446744073709551615 47325336786866 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.03779 s]
/proc/loadavg: 4.10 4.86 6.31 8/180 4840
/proc/meminfo: memFree=30875016/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=289192 CPUtime=0.1 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 6643 0 0 0 8 2 0 0 18 0 4 0 504498945 296132608 6562 33554432000 4194304 4627427 140737415882160 18446744073709551615 220816279735 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 72331 6678 339 106 0 67302 0
[pid=4840/tid=4841] ppid=4838 vsize=289324 CPUtime=0.02 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 1682 0 0 0 2 0 0 0 18 0 4 0 504498946 296267776 6755 33554432000 4194304 4627427 140737415882160 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=289324 CPUtime=0.01 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) S 4838 4840 4321 0 -1 4202560 1565 0 0 0 1 0 0 0 18 0 4 0 504498946 296267776 6767 33554432000 4194304 4627427 140737415882160 18446744073709551615 220816341486 0 0 4096 2 18446604453985337408 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=289456 CPUtime=0.02 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) S 4838 4840 4321 0 -1 4202560 1643 0 0 0 2 0 0 0 18 0 4 0 504498946 296402944 6840 33554432000 4194304 4627427 140737415882160 18446744073709551615 220816341486 0 0 4096 2 18446604453985337408 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 289192

[startup+0.620773 s]
/proc/loadavg: 4.10 4.86 6.31 8/180 4840
/proc/meminfo: memFree=30875016/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=301460 CPUtime=2.43 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 13102 0 0 0 238 5 0 0 18 0 4 0 504498945 308695040 12919 33554432000 4194304 4627427 140737415882160 18446744073709551615 4237906 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 75365 12922 371 106 0 70336 0
[pid=4840/tid=4841] ppid=4838 vsize=301460 CPUtime=0.6 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 3182 0 0 0 60 0 0 0 18 0 4 0 504498946 308695040 12925 33554432000 4194304 4627427 140737415882160 18446744073709551615 4415675 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=301460 CPUtime=0.59 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 3058 0 0 0 58 1 0 0 18 0 4 0 504498946 308695040 12927 33554432000 4194304 4627427 140737415882160 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=301460 CPUtime=0.6 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 3457 0 0 0 59 1 0 0 18 0 4 0 504498946 308695040 12928 33554432000 4194304 4627427 140737415882160 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 301460

[startup+0.700616 s]
/proc/loadavg: 4.10 4.86 6.31 8/180 4840
/proc/meminfo: memFree=30875016/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=338900 CPUtime=2.73 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 27154 0 0 0 265 8 0 0 18 0 4 0 504498945 347033600 26760 33554432000 4194304 4627427 140737415882160 18446744073709551615 4429865 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 84725 26778 379 106 0 79696 0
[pid=4840/tid=4841] ppid=4838 vsize=338900 CPUtime=0.68 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 8536 0 0 0 66 2 0 0 18 0 4 0 504498946 347033600 26788 33554432000 4194304 4627427 140737415882160 18446744073709551615 4429680 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=338900 CPUtime=0.66 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 7171 0 0 0 64 2 0 0 18 0 4 0 504498946 347033600 26800 33554432000 4194304 4627427 140737415882160 18446744073709551615 4431673 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=338900 CPUtime=0.68 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 3495 0 0 0 67 1 0 0 18 0 4 0 504498946 347033600 26811 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 338900

[startup+0.800603 s]
/proc/loadavg: 4.10 4.86 6.31 8/180 4840
/proc/meminfo: memFree=30875016/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=353748 CPUtime=3.12 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 29897 0 0 0 303 9 0 0 18 0 4 0 504498945 362237952 29335 33554432000 4194304 4627427 140737415882160 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 88437 29335 379 106 0 83408 0
[pid=4840/tid=4841] ppid=4838 vsize=353748 CPUtime=0.78 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 8660 0 0 0 76 2 0 0 18 0 4 0 504498946 362237952 29335 33554432000 4194304 4627427 140737415882160 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=353748 CPUtime=0.77 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 8658 0 0 0 74 3 0 0 18 0 4 0 504498946 362237952 29335 33554432000 4194304 4627427 140737415882160 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=353748 CPUtime=0.78 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 3552 0 0 0 77 1 0 0 18 0 4 0 504498946 362237952 29335 33554432000 4194304 4627427 140737415882160 18446744073709551615 4324761 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 353748

[startup+1.50047 s]
/proc/loadavg: 4.73 4.98 6.34 9/184 4844
/proc/meminfo: memFree=30700268/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=347060 CPUtime=5.94 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 43165 0 0 0 581 13 0 0 19 0 4 0 504498945 355389440 37446 33554432000 4194304 4627427 140737415882160 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 86765 37446 381 106 0 81736 0
[pid=4840/tid=4841] ppid=4838 vsize=347060 CPUtime=1.48 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 13008 0 0 0 145 3 0 0 19 0 4 0 504498946 355389440 37446 33554432000 4194304 4627427 140737415882160 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=347060 CPUtime=1.46 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 12911 0 0 0 142 4 0 0 19 0 4 0 504498946 355389440 37446 33554432000 4194304 4627427 140737415882160 18446744073709551615 4419800 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=347060 CPUtime=1.48 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 3873 0 0 0 147 1 0 0 19 0 4 0 504498946 355389440 37446 33554432000 4194304 4627427 140737415882160 18446744073709551615 4327640 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 347060

[startup+3.10118 s]
/proc/loadavg: 4.73 4.98 6.34 9/184 4844
/proc/meminfo: memFree=30677576/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=486824 CPUtime=12.31 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 54372 0 0 0 1214 17 0 0 22 0 4 0 504498945 498507776 44656 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 121706 44657 387 106 0 116677 0
[pid=4840/tid=4841] ppid=4838 vsize=486824 CPUtime=3.08 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 16545 0 0 0 303 5 0 0 22 0 4 0 504498946 498507776 44657 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=486824 CPUtime=3.06 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 16261 0 0 0 300 6 0 0 22 0 4 0 504498946 498507776 44657 33554432000 4194304 4627427 140737415882160 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=486824 CPUtime=3.08 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 4538 0 0 0 307 1 0 0 22 0 4 0 504498946 498507776 44657 33554432000 4194304 4627427 140737415882160 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 486824

[startup+6.30058 s]
/proc/loadavg: 4.99 5.03 6.35 9/184 4844
/proc/meminfo: memFree=30605688/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=395980 CPUtime=25.09 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 82992 0 0 0 2486 23 0 0 25 0 4 0 504498945 405483520 57198 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 98995 57198 390 106 0 93966 0
[pid=4840/tid=4841] ppid=4838 vsize=395980 CPUtime=6.27 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 20154 0 0 0 621 6 0 0 25 0 4 0 504498946 405483520 57198 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=395980 CPUtime=6.24 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 20093 0 0 0 618 6 0 0 25 0 4 0 504498946 405483520 57198 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=395980 CPUtime=6.28 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 21383 0 0 0 624 4 0 0 25 0 4 0 504498946 405483520 57198 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 395980

[startup+12.7004 s]
/proc/loadavg: 5.23 5.08 6.36 9/184 4844
/proc/meminfo: memFree=30564768/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=534768 CPUtime=50.65 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 106932 0 0 0 5037 28 0 0 25 0 4 0 504498945 547602432 67262 33554432000 4194304 4627427 140737415882160 18446744073709551615 4324736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 133692 67262 390 106 0 128663 0
[pid=4840/tid=4841] ppid=4838 vsize=534768 CPUtime=12.67 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 25352 0 0 0 1260 7 0 0 25 0 4 0 504498946 547602432 67262 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=534768 CPUtime=12.61 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 26161 0 0 0 1254 7 0 0 25 0 4 0 504498946 547602432 67262 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=534768 CPUtime=12.68 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 28929 0 0 0 1263 5 0 0 25 0 4 0 504498946 547602432 67262 33554432000 4194304 4627427 140737415882160 18446744073709551615 4348160 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 534768

[startup+25.501 s]
/proc/loadavg: 5.66 5.18 6.38 9/184 4844
/proc/meminfo: memFree=30514664/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=535448 CPUtime=101.8 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 126377 0 0 0 10147 33 0 0 25 0 4 0 504498945 548298752 69634 33554432000 4194304 4627427 140737415882160 18446744073709551615 4327622 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 133862 69634 390 106 0 128833 0
[pid=4840/tid=4841] ppid=4838 vsize=535448 CPUtime=25.47 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 31014 0 0 0 2538 9 0 0 25 0 4 0 504498946 548298752 69634 33554432000 4194304 4627427 140737415882160 18446744073709551615 4330994 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=535448 CPUtime=25.35 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 32180 0 0 0 2526 9 0 0 25 0 4 0 504498946 548298752 69634 33554432000 4194304 4627427 140737415882160 18446744073709551615 4326352 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=535448 CPUtime=25.47 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 35593 0 0 0 2541 6 0 0 25 0 4 0 504498946 548298752 69634 33554432000 4194304 4627427 140737415882160 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 535448

[startup+51.1063 s]
/proc/loadavg: 6.66 5.46 6.43 9/184 4845
/proc/meminfo: memFree=30469784/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=536664 CPUtime=204.09 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 158929 0 0 0 20368 41 0 0 25 0 4 0 504498945 549543936 77011 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 134166 77011 390 106 0 129137 0
[pid=4840/tid=4841] ppid=4838 vsize=536664 CPUtime=51.07 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 41677 0 0 0 5096 11 0 0 25 0 4 0 504498946 549543936 77011 33554432000 4194304 4627427 140737415882160 18446744073709551615 4501675 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=536664 CPUtime=50.83 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 42122 0 0 0 5072 11 0 0 25 0 4 0 504498946 549543936 77011 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=536664 CPUtime=51.08 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 45556 0 0 0 5099 9 0 0 25 0 4 0 504498946 549543936 77011 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 536664

[startup+102.301 s]
/proc/loadavg: 7.47 5.86 6.52 9/184 4846
/proc/meminfo: memFree=30378592/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=537852 CPUtime=408.61 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 209650 0 0 0 40806 55 0 0 25 0 4 0 504498945 550760448 82731 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309225 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 134463 82731 390 106 0 129434 0
[pid=4840/tid=4841] ppid=4838 vsize=537852 CPUtime=102.27 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 57340 0 0 0 10212 15 0 0 25 0 4 0 504498946 550760448 82731 33554432000 4194304 4627427 140737415882160 18446744073709551615 4329773 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=537852 CPUtime=101.76 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 57068 0 0 0 10161 15 0 0 25 0 4 0 504498946 550760448 82731 33554432000 4194304 4627427 140737415882160 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=537852 CPUtime=102.27 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 63095 0 0 0 10213 14 0 0 25 0 4 0 504498946 550760448 82731 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 537852

[startup+162.301 s]

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

[pid=4840] ppid=4838 vsize=637916 CPUtime=2565.74 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 598741 0 0 0 256380 194 0 0 25 0 4 0 504498945 653225984 92579 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4840/statm: 159479 92579 390 106 0 154450 0
[pid=4840/tid=4841] ppid=4838 vsize=637916 CPUtime=642.27 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 173650 0 0 0 64173 54 0 0 25 0 4 0 504498946 653225984 92579 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=637916 CPUtime=638.92 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 173391 0 0 0 63837 55 0 0 25 0 4 0 504498946 653225984 92579 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=637916 CPUtime=642.24 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 179991 0 0 0 64168 56 0 0 25 0 4 0 504498946 653225984 92579 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.74
Current children cumulated vsize (KiB) 637916

[startup+702.306 s]
/proc/loadavg: 8.11 7.80 7.25 9/184 4862
/proc/meminfo: memFree=30102300/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=697928 CPUtime=2805.43 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 659774 0 0 0 280329 214 0 0 25 0 4 0 504498945 714678272 91539 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4840/statm: 174482 91539 390 106 0 169453 0
[pid=4840/tid=4841] ppid=4838 vsize=697928 CPUtime=702.27 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 188264 0 0 0 70168 59 0 0 25 0 4 0 504498946 714678272 91539 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=697928 CPUtime=698.87 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 189100 0 0 0 69827 60 0 0 25 0 4 0 504498946 714678272 91539 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=697928 CPUtime=702.24 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 195997 0 0 0 70163 61 0 0 25 0 4 0 504498946 714678272 91539 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 697928

[startup+762.301 s]
/proc/loadavg: 8.08 7.84 7.30 9/184 4864
/proc/meminfo: memFree=30091224/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=641760 CPUtime=3045.1 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 718500 0 0 0 304275 235 0 0 25 0 4 0 504498945 657162240 90953 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4840/statm: 160440 90953 390 106 0 155411 0
[pid=4840/tid=4841] ppid=4838 vsize=641760 CPUtime=762.26 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 202793 0 0 0 76161 65 0 0 25 0 4 0 504498946 657162240 90953 33554432000 4194304 4627427 140737415882160 18446744073709551615 4327629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=641760 CPUtime=758.87 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 204399 0 0 0 75822 65 0 0 25 0 4 0 504498946 657162240 90953 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=641760 CPUtime=762.23 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 210432 0 0 0 76158 65 0 0 25 0 4 0 504498946 657162240 90953 33554432000 4194304 4627427 140737415882160 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 641760

[startup+822.301 s]
/proc/loadavg: 8.07 7.88 7.34 9/184 4865
/proc/meminfo: memFree=30076416/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=584128 CPUtime=3284.77 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 776095 0 0 0 328223 254 0 0 25 0 4 0 504498945 598147072 92398 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4840/statm: 146032 92398 390 106 0 141003 0
[pid=4840/tid=4841] ppid=4838 vsize=584128 CPUtime=822.26 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 217751 0 0 0 82156 70 0 0 25 0 4 0 504498946 598147072 92398 33554432000 4194304 4627427 140737415882160 18446744073709551615 4305890 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=584128 CPUtime=818.86 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 219323 0 0 0 81817 69 0 0 25 0 4 0 504498946 598147072 92398 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=584128 CPUtime=822.22 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 223745 0 0 0 82153 69 0 0 25 0 4 0 504498946 598147072 92398 33554432000 4194304 4627427 140737415882160 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 584128

[startup+882.301 s]
/proc/loadavg: 8.13 7.93 7.39 9/184 4876
/proc/meminfo: memFree=30029764/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=645064 CPUtime=3524.44 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 832477 0 0 0 352170 274 0 0 25 0 4 0 504498945 660545536 91078 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4840/statm: 161266 91078 390 106 0 156237 0
[pid=4840/tid=4841] ppid=4838 vsize=645064 CPUtime=882.26 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 232343 0 0 0 88151 75 0 0 25 0 4 0 504498946 660545536 91078 33554432000 4194304 4627427 140737415882160 18446744073709551615 4332706 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=645064 CPUtime=878.85 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 232151 0 0 0 87811 74 0 0 25 0 4 0 504498946 660545536 91078 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=645064 CPUtime=882.22 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 238468 0 0 0 88148 74 0 0 25 0 4 0 504498946 660545536 91078 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 645064

[startup+942.301 s]
/proc/loadavg: 8.14 7.97 7.44 9/184 4878
/proc/meminfo: memFree=30060704/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=586348 CPUtime=3764.12 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 886341 0 0 0 376120 292 0 0 25 0 4 0 504498945 600420352 91768 33554432000 4194304 4627427 140737415882160 18446744073709551615 4333080 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4840/statm: 146587 91768 390 106 0 141558 0
[pid=4840/tid=4841] ppid=4838 vsize=586348 CPUtime=942.27 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 245057 0 0 0 94147 80 0 0 25 0 4 0 504498946 600420352 91768 33554432000 4194304 4627427 140737415882160 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=586348 CPUtime=938.86 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 246521 0 0 0 93807 79 0 0 25 0 4 0 504498946 600420352 91768 33554432000 4194304 4627427 140737415882160 18446744073709551615 4321703 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=586348 CPUtime=942.21 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 252443 0 0 0 94143 78 0 0 25 0 4 0 504498946 600420352 91768 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 586348

[startup+1002.3 s]
/proc/loadavg: 8.14 8.00 7.48 9/184 4879
/proc/meminfo: memFree=29990700/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=708872 CPUtime=4003.8 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 940248 0 0 0 400069 311 0 0 25 0 4 0 504498945 725884928 96320 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4840/statm: 177218 96320 390 106 0 172189 0
[pid=4840/tid=4841] ppid=4838 vsize=708872 CPUtime=1002.27 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 259300 0 0 0 100142 85 0 0 25 0 4 0 504498946 725884928 96320 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=708872 CPUtime=998.85 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 260235 0 0 0 99802 83 0 0 25 0 4 0 504498946 725884928 96320 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=708872 CPUtime=1002.21 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 265933 0 0 0 100138 83 0 0 25 0 4 0 504498946 725884928 96320 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 708872

[startup+1062.3 s]
/proc/loadavg: 8.21 8.04 7.52 9/184 4881
/proc/meminfo: memFree=29998980/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=527108 CPUtime=4243.47 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 995399 0 0 0 424017 330 0 0 25 0 4 0 504498945 539758592 89586 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4840/statm: 131777 89587 390 106 0 126748 0
[pid=4840/tid=4841] ppid=4838 vsize=527108 CPUtime=1062.27 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 271882 0 0 0 106138 89 0 0 25 0 4 0 504498946 539758592 89587 33554432000 4194304 4627427 140737415882160 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=527108 CPUtime=1058.85 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 274667 0 0 0 105797 88 0 0 25 0 4 0 504498946 539758592 89587 33554432000 4194304 4627427 140737415882160 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=527108 CPUtime=1062.21 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 280156 0 0 0 106133 88 0 0 25 0 4 0 504498946 539758592 89587 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 527108

[startup+1122.3 s]
/proc/loadavg: 8.19 8.07 7.56 9/184 4882
/proc/meminfo: memFree=29975620/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=712804 CPUtime=4483.15 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 1046527 0 0 0 447967 348 0 0 25 0 4 0 504498945 729911296 95473 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4840/statm: 178201 95473 390 106 0 173172 0
[pid=4840/tid=4841] ppid=4838 vsize=712804 CPUtime=1122.28 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 284718 0 0 0 112135 93 0 0 25 0 4 0 504498946 729911296 95473 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=712804 CPUtime=1118.85 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 287794 0 0 0 111793 92 0 0 25 0 4 0 504498946 729911296 95473 33554432000 4194304 4627427 140737415882160 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=712804 CPUtime=1122.2 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 292793 0 0 0 112127 93 0 0 25 0 4 0 504498946 729911296 95473 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 712804

[startup+1182.3 s]
/proc/loadavg: 8.18 8.08 7.60 9/184 4884
/proc/meminfo: memFree=29926720/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=652380 CPUtime=4722.82 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 1095688 0 0 0 471915 367 0 0 25 0 4 0 504498945 668037120 97943 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4840/statm: 163095 97943 390 106 0 158066 0
[pid=4840/tid=4841] ppid=4838 vsize=652380 CPUtime=1182.27 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 297362 0 0 0 118130 97 0 0 25 0 4 0 504498946 668037120 97943 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=652380 CPUtime=1178.85 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 300227 0 0 0 117789 96 0 0 25 0 4 0 504498946 668037120 97943 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=652380 CPUtime=1182.2 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 305257 0 0 0 118123 97 0 0 25 0 4 0 504498946 668037120 97943 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 652380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.71 s]
/proc/loadavg: 8.13 8.08 7.60 5/180 4886
/proc/meminfo: memFree=30494912/32951124 swapFree=67105204/67111528
[pid=4840] ppid=4838 vsize=652668 CPUtime=4800.36 cores=0,2,4,6
/proc/4840/stat : 4840 (strangenight2-m) R 4838 4840 4321 0 -1 4202496 1111591 0 0 0 479663 373 0 0 25 0 4 0 504498945 668332032 96250 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309138 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4840/statm: 163167 96250 390 106 0 158138 0
[pid=4840/tid=4841] ppid=4838 vsize=652668 CPUtime=1201.68 cores=0,2,4,6
/proc/4840/task/4841/stat : 4841 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 302048 0 0 0 120069 99 0 0 25 0 4 0 504498946 668332032 96250 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4840/tid=4842] ppid=4838 vsize=652668 CPUtime=1198.26 cores=0,2,4,6
/proc/4840/task/4842/stat : 4842 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 304938 0 0 0 119729 97 0 0 25 0 4 0 504498946 668332032 96250 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4840/tid=4843] ppid=4838 vsize=652668 CPUtime=1201.61 cores=0,2,4,6
/proc/4840/task/4843/stat : 4843 (strangenight2-m) R 4838 4840 4321 0 -1 4202560 309726 0 0 0 120062 99 0 0 25 0 4 0 504498946 668332032 96250 33554432000 4194304 4627427 140737415882160 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 652668

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.41
CPU user time (s): 4796.65
CPU system time (s): 3.75243
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 932928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.65
system time used= 3.75243
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1111594
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= 10617
involuntary context switches= 35876

runsolver used 1.9497 second user time and 4.43433 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-30 01:47:10
IDJOB=3250141
IDBENCH=83245
IDSOLVER=1586
FILE ID=node147/3250141-1304120830
RUNJOBID= node147-1304120830-4817
PBS_JOBID= 13170716
Free space on /tmp= 72652 MiB

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

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

MD5SUM BENCH= d2ef996f95bbf68a3c980c797dfdc364
RANDOM SEED=1870285812

node147.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.836
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.67
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.836
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.836
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.836
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.836
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.836
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.76
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.836
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.836
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30875304 kB
Buffers:        293388 kB
Cached:        1389480 kB
SwapCached:       3064 kB
Active:         171496 kB
Inactive:      1580248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30875304 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:           14028 kB
Writeback:           0 kB
AnonPages:       67008 kB
Mapped:          14792 kB
Slab:           261240 kB
PageTables:       5140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   273056 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= 72652 MiB
End job on node147 at 2011-04-30 02:07:14