Trace number 3250407

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-1-mt? (TO) 4800.43 1201.75

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3250407-1304130697.cnf'
0.00/0.00	c -- header says num vars:           2070
0.00/0.00	c -- header says num clauses:      158884
2.70/0.68	c -- clauses added:            0 learnts,       158884 normals,            0 xors
2.70/0.68	c -- vars added       2070
2.70/0.68	c Parsing time:  0.18 s
2.70/0.68	c  N st     0         0      2070    158884         0         0    478584         0   no data   no data  --
2.70/0.68	c asymm  cl-useful: 0/158377/158884 lits-rem:0 time: 2.49
2.76/0.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
2.76/0.78	c bin-w-bin subsume rem            0 bins  time:  0.06 s
2.76/0.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.76/0.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2070 time:  0.04 s
2.76/0.78	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.02 s
7.55/1.96	c lits-rem:         0  cl-subs:       10  v-elim:    690  v-fix:    0  time:  4.70 s
7.55/1.97	c Finding binary XORs  T:     0.00 s  found:       0
7.95/2.00	c Finding non-binary XORs:     0.12 s (found:       0, avg size: nan)
7.95/2.00	c calculated reachability. Time: 0.00
7.95/2.00	c Calc default polars -  time:   0.02 s pos:    1380 undec:     690 neg:       0
7.95/2.00	c =========================================================================================
7.95/2.00	c types(t): F = full restart, N = normal restart
7.95/2.00	c types(t): S = simplification begin/end, E = solution found
7.95/2.00	c restart types(rt): st = static, dy = dynamic
7.95/2.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.95/2.00	c  B st     0         0      1380     88662         0         0    416384         0   no data   no data  --
9.15/2.36	c  N dy    14      4414      1380     88662         0      4392    416384    175580     25.10     26.52  --
11.54/2.94	c  N dy    25     11637      1380     88662         0     11526    416384    428570     22.71     24.24  --
13.54/3.41	c  N dy    45     16947      1380     88662         0     16788    416384    609083     22.67     23.90  --
14.75/3.78	c  N dy    67     21032      1380     88662         0     10930    416384    284833     22.82     26.48  --
16.34/4.12	c  F st    75     25001      1380     88662         0     14854    416384    418007     22.60     22.44  --
16.34/4.13	c Found part        8 vars:        713 clauses:     47045 lits size:    214696
16.34/4.13	c Found part        9 vars:        667 clauses:     41617 lits size:    201688
16.34/4.13	c Found parts:          2 time: 0.07 s
16.34/4.13	c Solving part 9
16.34/4.17	c  N st     0         0       667     41617         0         0    201688         0   no data   no data  --
17.14/4.38	c asymm  cl-useful: 12/41617/41617 lits-rem:13 time: 0.85
17.14/4.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.14/4.39	c Finding binary XORs  T:     0.00 s  found:       0
17.54/4.40	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
17.54/4.40	c calculated reachability. Time: 0.00
17.54/4.40	c Calc default polars -  time:   0.00 s pos:     667 undec:    1403 neg:       0
17.54/4.40	c =========================================================================================
17.54/4.40	c types(t): F = full restart, N = normal restart
17.54/4.40	c types(t): S = simplification begin/end, E = solution found
17.54/4.40	c restart types(rt): st = static, dy = dynamic
17.54/4.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
17.54/4.40	c  B st     0         0       667     41617         0         0    201675         0   no data   no data  --
18.74/4.72	c  N dy    14      4067       667     41617         0      4024    201675    154900     22.04     24.90  --
19.93/5.06	c  N dy    44      8159       667     41617         0      4656    201675    132243     24.48     25.77  --
21.13/5.39	c  N dy    57     12249       667     41617         0      8716    201675    285238     24.11     25.40  --
23.13/5.86	c  N dy    65     17842       667     41617         0      8634    201675    243095     23.15     24.50  --
24.72/6.20	c  N dy    83     21853       667     41617         0     12620    201675    389297     23.20     24.60  --
25.52/6.49	c  F st    94     25000       667     41617         0      8456    201675    185526     23.13   no data  --
25.93/6.59	c  N st    97     26190       667     41617         0      9632    201675    230745     23.13   no data  --
27.53/6.94	c  N dy   100     30193       667     41617         0     13578    201675    386333     23.13   no data  --
29.12/7.32	c  N dy   132     34265       667     41617         0      9076    201675    167280     23.51     27.09  --
30.32/7.65	c  N dy   148     38270       667     41617         0     13042    201675    316865     23.54     28.53  --
31.92/8.02	c  N dy   176     42673       667     41617         0     17421    201675    477312     23.68     25.07  --
33.11/8.38	c  N dy   193     46747       667     41617         0     11758    201675    233244     23.69     24.99  --
34.71/8.72	c  N dy   210     50775       667     41617         0     15756    201675    373697     23.68     25.33  --
35.91/9.09	c  N dy   220     55224       667     41617         0     20165    201675    529283     23.58     25.06  --
37.51/9.47	c  N dy   246     59242       667     41617         0     13373    201675    246069     23.65     25.08  --
39.11/9.82	c  N dy   270     63281       667     41617         0     17378    201675    393191     23.72     27.11  --
40.71/10.23	c  N dy   295     67626       667     41617         0     21679    201675    547784     23.79     25.11  --
42.31/10.67	c  N dy   316     72622       667     41617         0     14841    201675    268612     23.79     25.10  --
46.29/11.68	c  N dy   340     83112       667     41617         0     25188    201675    675838     23.62     25.16  --
47.89/12.09	c  F st   351     87500       667     41617         0     16755    201675    303271     23.53     22.91  --
48.69/12.20	c  N st   354     88687       667     41617         0     17928    201675    350695     23.53   no data  --
50.68/12.75	c  N dy   372     94396       667     41617         0     23588    201675    565144     23.59     32.21  --
53.09/13.31	c  N dy   387    100446       667     41617         0     15791    201675    247915     23.55     25.23  --
55.48/13.90	c  N dy   423    106882       667     41617         0     22185    201675    490515     23.61     24.93  --
57.88/14.57	c  N dy   445    113740       667     41617         0     28988    201675    751773     23.55     28.23  --
60.68/15.24	c  N dy   471    120995       667     41617         0     21392    201675    428740     23.53     24.89  --
63.49/15.98	c  N dy   504    128809       667     41617         0     29116    201675    705767     23.56     30.70  --
67.07/16.82	c  N dy   554    137360       667     41617         0     21811    201675    398799     23.63     24.89  --
70.67/17.71	c  N dy   581    147673       667     41617         0     32011    201675    741197     23.52     24.79  --
74.25/18.66	c  N dy   636    157346       667     41617         0     24827    201675    477047     23.61     24.89  --
80.67/20.26	c  N dy   690    173298       667     41617         0     22840    201675    391719     23.50     24.84  --
85.06/21.39	c  N dy   735    184642       667     41617         0     34104    201675    815513     23.49     24.77  --
90.23/22.65	c  N dy   810    197354       667     41617         0     27931    201675    530093     23.56     25.08  --
95.82/24.05	c  N dy   868    211013       667     41617         0     21720    201674    282265     23.55     24.85  --
101.42/25.41	c  N dy   932    224880       667     41617         0     35468    201674    787515     23.57     24.86  --
107.43/26.92	c  N dy  1020    239326       667     41617         0     29030    201674    514514     23.64     29.88  --
113.80/28.59	c  N dy  1067    254603       667     41617         0     22405    201674    240348     23.63     26.70  --
121.79/30.54	c  N dy  1086    270887       667     41617         0     38489    201674    877319     23.45     26.29  --
129.40/32.41	c  N dy  1165    288202       667     41617         0     32922    201674    615699     23.47     30.60  --
137.37/34.40	c  F st  1264    306250       667     41617         0     27117    201674    357236     23.49     19.85  --
137.37/34.46	c  N st  1266    306878       667     41617         0     27734    201674    376818     23.49   no data  --
146.16/36.67	c  N dy  1287    326988       667     41617         0     47506    201674   1103357     23.36     24.66  --
154.96/38.84	c  N dy  1385    347131       667     41617         0     42863    201674    901504     23.38     24.72  --
164.93/41.36	c  N dy  1471    370055       667     41617         0     39871    201674    788611     23.36     24.60  --
173.72/43.59	c  N dy  1566    390082       667     41617         0     33095    201674    489489     23.38     27.59  --
182.91/45.88	c  N dy  1672    410191       667     41617         0     53044    201674   1218257     23.41     24.82  --
200.09/50.13	c  N dy  1704    445247       667     41617         0     31485    201674    385033     23.13     24.71  --
209.27/52.47	c  N dy  1836    465412       667     41617         0     51506    201674   1123328     23.20     24.54  --
220.06/55.12	c  N dy  1939    488009       667     41617         0     44164    201674    794628     23.21     24.46  --
230.47/57.78	c  N dy  1994    510396       667     41617         0     35687    201674    486594     23.15     24.39  --
240.03/60.11	c  N dy  2091    530436       667     41617         0     55562    201673   1238074     23.17     24.56  --
261.23/65.45	c  N dy  2124    570006       667     41617         0     63047    201673   1580667     22.95     24.34  --
271.59/68.02	c  N dy  2229    591360       667     41617         0     51607    201673    978530     22.96     24.17  --
282.79/70.88	c  N dy  2264    615102       667     41617         0     41388    201673    598371     22.85     24.07  --
295.16/73.90	c  N dy  2396    639472       667     41617         0     65547    201673   1506996     22.88     24.16  --
305.94/76.67	c  N dy  2426    660936       667     41617         0     52138    201673   1008852     22.79     24.08  --
321.12/80.40	c  N dy  2528    689822       667     41617         0     45178    201673    703277     22.76     24.01  --
331.13/82.98	c  N dy  2613    711137       667     41617         0     66251    201673   1471792     22.77     24.09  --
341.09/85.45	c  N dy  2684    731648       667     41617         0     50098    201673    835091     22.76     24.49  --
351.88/88.14	c  N dy  2810    751698       667     41617         0     69986    201673   1557354     22.80     28.40  --
363.86/91.10	c  N dy  2920    775180       667     41617         0     55673    201673    998549     22.82     24.47  --
374.26/93.80	c  N dy  2999    795474       667     41617         0     75775    201673   1764461     22.83     24.21  --
384.64/96.39	c  N dy  3130    815523       667     41617         0     57105    201673   1011380     22.87     28.88  --
422.99/105.97	c  N dy  3182    876990       667     41617         0     77974    201673   1847396     22.65     23.87  --
433.77/108.68	c  N dy  3307    897381       667     41617         0     57893    201673   1005940     22.69     23.93  --
445.37/111.58	c  N dy  3443    917522       667     41617         0     77873    201673   1755766     22.73     24.06  --
456.94/114.46	c  N dy  3579    937941       667     41617         0     56647    201673    907817     22.77     23.99  --
468.52/117.34	c  N dy  3674    958320       667     41617         0     76843    201672   1648586     22.78     23.98  --
479.72/120.16	c  N dy  3799    978336       667     41617         0     54174    201672    781468     22.80     27.80  --
494.49/123.84	c  N dy  3830   1005055       667     41617         0     80569    201672   1816053     22.73     23.95  --
506.89/126.94	c  N dy  3876   1027715       667     41617         0     59451    201672    972602     22.70     23.91  --
517.66/129.67	c  N dy  3961   1047743       667     41617         0     79276    201672   1723670     22.70     24.93  --
529.64/132.61	c  N dy  4087   1067971       667     41617         0     54872    201672    750077     22.73     23.95  --
531.24/133.08	c  F st  4098   1071875       667     41617         0     58739    201672    881604     22.72     21.74  --
540.43/135.33	c  N dy  4165   1088060       667     41617         0     74764    201672   1458586     22.73     25.38  --
552.41/138.32	c  N dy  4276   1108171       667     41617         0     49237    201672    527389     22.74     23.94  --
564.42/141.36	c  N dy  4410   1130653       667     41617         0     71509    201672   1342295     22.76     24.09  --
576.79/144.50	c  N dy  4515   1151028       667     41617         0     91737    201672   2105268     22.77     24.11  --
588.37/147.35	c  N dy  4645   1171298       667     41617         0     65328    201672   1078978     22.80     24.04  --
599.95/150.26	c  N dy  4724   1191668       667     41617         0     85539    201672   1842192     22.79     24.19  --
611.94/153.26	c  N dy  4799   1211695       667     41617         0     57859    201672    797963     22.79     30.28  --
623.12/156.06	c  N dy  4872   1231841       667     41617         0     77801    201672   1550335     22.79     24.06  --
636.30/159.35	c  N dy  4980   1251963       667     41617         0     49284    201672    434215     22.81     24.18  --
647.09/162.03	c  N dy  5055   1272023       667     41617         0     69219    201672   1227763     22.81     31.19  --
659.87/165.20	c  N dy  5165   1292687       667     41617         0     89704    201672   1996280     22.82     24.06  --
673.88/168.76	c  N dy  5286   1316197       667     41617         0     63412    201672    913393     22.84     24.04  --
685.84/171.76	c  N dy  5402   1336257       667     41617         0     83325    201672   1651698     22.85     24.20  --
698.62/174.99	c  N dy  5447   1356445       667     41617         0     52815    201672    501276     22.83     24.11  --
709.81/177.73	c  N dy  5564   1376540       667     41617         0     72740    201672   1227277     22.85     24.21  --
721.79/180.75	c  N dy  5628   1396580       667     41617         0     92592    201672   1961014     22.84     26.66  --
733.77/183.78	c  N dy  5668   1417044       667     41617         0     61437    201672    802897     22.83     24.06  --
745.35/186.69	c  N dy  5771   1437134       667     41617         0     81374    201672   1538836     22.84     24.20  --
758.94/190.00	c  N dy  5890   1457248       667     41617         0    101298    201672   2270131     22.86     24.12  --
771.71/193.25	c  N dy  5923   1478907       667     41617         0     70240    201672   1135388     22.83     24.14  --
784.50/196.43	c  N dy  5980   1501328       667     41617         0     92408    201672   1975893     22.82     24.04  --
797.69/199.80	c  N dy  6080   1521707       667     41617         0     59200    201672    660862     22.82     24.25  --
809.67/202.71	c  N dy  6172   1542023       667     41617         0     79308    201672   1381471     22.83     24.12  --
822.86/206.05	c  N dy  6228   1562186       667     41617         0     99251    201672   2149690     22.82     24.04  --
836.04/209.36	c  N dy  6344   1582220       667     41617         0     64679    201672    826542     22.83     27.64  --
848.42/212.42	c  N dy  6461   1602301       667     41617         0     84547    201672   1541791     22.85     26.85  --
862.40/215.90	c  N dy  6589   1622457       667     41617         0    104534    201672   2281712     22.87     24.35  --
874.79/219.00	c  N dy  6643   1643088       667     41617         0     69593    201672    992861     22.86     24.15  --
886.77/222.08	c  N dy  6760   1663096       667     41617         0     89428    201672   1726725     22.88     24.09  --
900.35/225.43	c  N dy  6843   1683150       667     41617         0    109279    201672   2502321     22.89     25.96  --
913.53/228.75	c  N dy  6932   1704863       667     41617         0     74390    201672   1110739     22.89     24.10  --
926.72/232.01	c  N dy  7068   1724870       667     41617         0     94241    201672   1851543     22.91     26.78  --
943.49/236.24	c  N dy  7098   1749576       667     41617         0     61355    201672    629330     22.88     24.33  --
955.50/239.29	c  N dy  7236   1769626       667     41617         0     81242    201672   1366775     22.90     26.40  --
969.45/242.71	c  N dy  7361   1789691       667     41617         0    101140    201672   2092372     22.92     24.20  --
983.84/246.37	c  N dy  7475   1809974       667     41617         0     62849    201672    644571     22.93     24.27  --
996.22/249.41	c  N dy  7599   1830096       667     41617         0     82822    201672   1382194     22.95     24.20  --
1008.61/252.53	c  N dy  7650   1850175       667     41617         0    102661    201672   2152586     22.94     24.43  --
1022.59/256.05	c  N dy  7735   1870452       667     41617         0     63351    201672    621420     22.94     24.20  --
1034.59/259.07	c  N dy  7832   1890953       667     41617         0     83623    201672   1374361     22.95     24.16  --
1090.10/272.93	c  N dy  7899   1964362       667     41617         0     95897    201672   1964781     22.83     24.06  --
1104.50/276.53	c  N dy  7959   1986150       667     41617         0    117440    201672   2794372     22.82     24.09  --
1117.26/279.77	c  N dy  8057   2006151       667     41617         0     75929    201672   1027789     22.83     24.44  --
1130.45/283.02	c  N dy  8159   2026543       667     41617         0     96115    201672   1760558     22.84     24.21  --
1152.41/288.57	c  N dy  8176   2055729       667     41617         0     62753    201672    516189     22.78     24.02  --
1164.80/291.64	c  N dy  8282   2076744       667     41617         0     83565    201672   1292511     22.79     24.22  --
1186.37/297.02	c  N dy  8360   2107534       667     41617         0    113976    201672   2435540     22.78     24.05  --
1204.35/301.54	c  N dy  8495   2132694       667     41617         0     75625    201671    987992     22.80     24.27  --
1216.73/304.61	c  N dy  8559   2152776       667     41617         0     95485    201671   1739333     22.79     27.04  --
1231.11/308.20	c  N dy  8660   2172807       667     41617         0    115335    201671   2472757     22.80     26.16  --
1260.27/315.51	c  N dy  8694   2214561       667     41617         0     92395    201671   1648802     22.76     24.11  --
1273.86/318.98	c  N dy  8795   2234649       667     41617         0    112270    201671   2362754     22.76     26.52  --
1329.38/332.89	c  N dy  8845   2304469       667     41617         0    116144    201671   2618847     22.65     23.87  --
1344.16/336.56	c  N dy  8889   2324541       667     41617         0     69763    201671    661787     22.64     24.03  --
1356.94/339.71	c  N dy  9021   2344609       667     41617         0     89643    201671   1390122     22.66     28.27  --
1370.92/343.23	c  N dy  9097   2365159       667     41617         0    110010    201671   2192464     22.65     23.87  --
1387.30/347.34	c  N dy  9241   2385563       667     41617         0    130252    201671   2935267     22.67     23.99  --
1401.28/350.87	c  N dy  9367   2406695       667     41617         0     83896    201671   1150088     22.68     23.92  --
1414.86/354.29	c  N dy  9456   2426747       667     41617         0    103680    201671   1898560     22.69     29.39  --
1430.44/358.16	c  N dy  9582   2446793       667     41617         0    123555    201671   2639661     22.70     25.48  --
1446.83/362.25	c  N dy  9732   2466849       667     41617         0     75180    201671    790520     22.72     23.99  --
1460.01/365.55	c  N dy  9855   2486928       667     41617         0     95081    201671   1521988     22.73     24.52  --
1474.78/369.20	c  N dy  9968   2507002       667     41617         0    115000    201671   2268138     22.75     26.46  --
1495.16/374.31	c  N dy 10039   2533173       667     41617         0     71593    201671    645219     22.74     23.98  --
1507.14/377.36	c  N dy 10122   2553244       667     41617         0     91484    201671   1387275     22.74     24.74  --
1521.12/380.83	c  N dy 10233   2573302       667     41617         0    111355    201671   2127592     22.75     24.45  --
1535.52/384.45	c  N dy 10271   2593732       667     41617         0    131538    201671   2897345     22.73     24.21  --
1551.09/388.35	c  N dy 10395   2614548       667     41617         0     81949    201671   1003791     22.74     24.06  --
1564.27/391.69	c  N dy 10508   2634566       667     41617         0    101797    201671   1733642     22.75     29.85  --
1579.06/395.34	c  N dy 10587   2654604       667     41617         0    121644    201671   2496223     22.75     26.16  --
1605.43/401.97	c  N dy 10677   2689510       667     41617         0     84977    201671   1143540     22.74     23.95  --
1619.01/405.39	c  N dy 10796   2709592       667     41617         0    104870    201671   1876200     22.74     28.94  --
1633.37/408.96	c  N dy 10846   2730004       667     41617         0    125083    201671   2643510     22.74     24.01  --
1651.75/413.53	c  N dy 10975   2750037       667     41617         0     72656    201671    585205     22.75     25.92  --
1664.54/416.75	c  N dy 11089   2770106       667     41617         0     92544    201671   1332680     22.76     24.31  --
1678.11/420.18	c  N dy 11179   2790190       667     41617         0    112431    201671   2098676     22.76     24.01  --
1694.09/424.13	c  N dy 11255   2810238       667     41617         0    132232    201671   2862581     22.76     24.41  --
1709.68/428.06	c  N dy 11331   2830241       667     41617         0     78792    201671    782665     22.77     24.06  --
1722.86/431.39	c  N dy 11469   2850263       667     41617         0     98634    201671   1514116     22.78     28.18  --
1738.03/435.15	c  N dy 11582   2870340       667     41617         0    118517    201671   2243829     22.79     29.94  --
1776.80/444.82	c  N dy 11650   2919508       667     41617         0     92734    201671   1351144     22.74     24.08  --
1791.16/448.42	c  N dy 11671   2939524       667     41617         0    112572    201671   2155800     22.72     25.34  --
1806.34/452.24	c  N dy 11772   2959552       667     41617         0    132451    201671   2892733     22.73     24.15  --
1823.92/456.65	c  N dy 11886   2979676       667     41617         0     77275    201671    669919     22.74     23.94  --
1836.70/459.88	c  N dy 11997   2999705       667     41617         0     97110    201671   1392236     22.74     26.84  --
1851.50/463.58	c  N dy 12141   3019783       667     41617         0    117012    201671   2134521     22.76     23.96  --
1867.86/467.64	c  N dy 12266   3040527       667     41617         0    137576    201671   2890229     22.77     24.20  --
1885.44/472.05	c  N dy 12401   3060581       667     41617         0     81312    201671    786970     22.78     25.35  --
1899.42/475.51	c  N dy 12555   3080609       667     41617         0    101182    201671   1521606     22.80     27.36  --
1914.60/479.33	c  N dy 12681   3100636       667     41617         0    121044    201671   2252912     22.81     27.89  --
1931.00/483.45	c  N dy 12753   3121594       667     41617         0    141781    201671   3018982     22.80     24.27  --
1948.58/487.81	c  N dy 12867   3142705       667     41617         0     85505    201671    920533     22.81     24.03  --
1962.13/491.27	c  N dy 12979   3162858       667     41617         0    105500    201671   1656177     22.82     24.08  --
1979.33/495.51	c  N dy 13096   3185234       667     41617         0    127658    201671   2478209     22.82     24.11  --
1997.28/500.05	c  N dy 13205   3206394       667     41617         0    148607    201671   3229942     22.83     24.17  --
2012.47/503.88	c  N dy 13233   3226761       667     41617         0     90611    201671   1112063     22.82     24.14  --
2034.84/509.42	c  N dy 13305   3257132       667     41617         0    120696    201671   2305084     22.81     24.21  --
2051.61/513.64	c  N dy 13336   3280354       667     41617         0    143722    201671   3215567     22.80     24.21  --
2101.15/526.04	c  N dy 13378   3340673       667     41617         0    124221    201671   2517118     22.75     24.03  --
2117.93/530.26	c  N dy 13506   3360697       667     41617         0    144080    201671   3264429     22.76     29.81  --
2135.50/534.62	c  N dy 13605   3380958       667     41617         0     83986    201671    772504     22.77     24.17  --
2149.08/538.04	c  N dy 13671   3402176       667     41617         0    104973    201671   1548560     22.76     23.97  --
2165.06/542.00	c  N dy 13782   3422834       667     41617         0    125426    201671   2325782     22.77     24.17  --
2181.46/546.17	c  N dy 13854   3443032       667     41617         0    145447    201671   3102923     22.77     24.06  --
2199.81/550.74	c  N dy 13977   3463216       667     41617         0     84301    201671    756549     22.78     24.04  --
2214.19/554.39	c  N dy 13989   3483261       667     41617         0    104234    201671   1606914     22.76     25.68  --
2229.39/558.16	c  N dy 14067   3503298       667     41617         0    124045    201671   2343536     22.75     23.96  --
2245.76/562.27	c  N dy 14180   3523346       667     41617         0    143913    201671   3076435     22.76     25.19  --
2262.93/566.58	c  N dy 14237   3543426       667     41617         0    163815    201671   3864253     22.76     23.97  --
2277.73/570.23	c  N dy 14349   3563695       667     41617         0    101696    201671   1363788     22.76     24.04  --
2305.67/577.23	c  N dy 14411   3600407       667     41617         0    138156    201671   2836290     22.74     24.11  --
2324.04/581.83	c  N dy 14529   3621365       667     41617         0    158926    201671   3614822     22.75     23.99  --
2340.02/585.89	c  N dy 14622   3641419       667     41617         0     95543    201671   1118212     22.75     24.03  --
2375.58/594.77	c  N dy 14697   3687289       667     41617         0    140963    201671   2931702     22.73     23.98  --
2397.15/600.16	c  N dy 14767   3713394       667     41617         0    166873    201671   3959694     22.72     23.99  --
2413.13/604.18	c  N dy 14884   3734761       667     41617         0    103874    201671   1401709     22.73     24.26  --
2426.32/607.46	c  F st 15002   3751563       667     41617         0    120510    201671   2016974     22.74   no data  --
2429.11/608.11	c  N st 15007   3754863       667     41617         0    123764    201671   2135667     22.74   no data  --
2445.11/612.11	c  N dy 15072   3774900       667     41617         0    143629    201671   2900945     22.74     27.70  --
2462.68/616.54	c  N dy 15165   3794994       667     41617         0    163580    201671   3650002     22.74     28.42  --
2478.64/620.58	c  N dy 15245   3816059       667     41617         0     99330    201671   1223595     22.74     24.19  --
2493.04/624.17	c  N dy 15317   3836123       667     41617         0    119180    201671   1954818     22.74     26.35  --
2509.81/628.38	c  N dy 15435   3856189       667     41617         0    139080    201671   2698709     22.75     24.67  --
2526.98/632.68	c  N dy 15491   3876237       667     41617         0    158902    201671   3480156     22.74     30.18  --
2545.36/637.24	c  N dy 15600   3896307       667     41617         0     92654    201671    925804     22.74     24.09  --
2571.33/643.77	c  N dy 15620   3927036       667     41617         0    123172    201671   2235703     22.73     24.06  --
2588.09/647.99	c  N dy 15627   3947067       667     41617         0    142902    201671   3048801     22.71     24.37  --
2608.46/653.04	c  N dy 15746   3968453       667     41617         0    164099    201671   3828334     22.72     24.00  --
2625.64/657.34	c  N dy 15842   3988872       667     41617         0     97202    201671   1050146     22.72     24.11  --
2642.03/661.45	c  N dy 15938   4011765       667     41617         0    119881    201671   1899882     22.72     24.27  --
2658.40/665.56	c  N dy 16060   4031844       667     41617         0    139778    201671   2648193     22.72     27.00  --
2677.18/670.22	c  N dy 16160   4052412       667     41617         0    160169    201671   3408927     22.73     24.15  --
2694.75/674.63	c  N dy 16211   4072482       667     41617         0     91943    201671    853968     22.72     27.72  --
2709.93/678.40	c  N dy 16346   4092861       667     41617         0    112142    201671   1598928     22.73     24.09  --
2725.93/682.41	c  N dy 16466   4112872       667     41617         0    131951    201671   2324898     22.74     25.70  --
2741.89/686.48	c  N dy 16546   4132875       667     41617         0    151719    201671   3032568     22.74     28.94  --
2762.26/691.54	c  N dy 16629   4154948       667     41617         0    173581    201671   3894207     22.74     24.05  --
2777.84/695.42	c  N dy 16701   4175013       667     41617         0    104316    201671   1277737     22.73     24.61  --
2793.42/699.35	c  N dy 16835   4195054       667     41617         0    124189    201671   2002002     22.74     24.59  --
2824.18/707.08	c  N dy 16942   4231885       667     41617         0    160764    201671   3471683     22.73     24.09  --
2844.57/712.14	c  N dy 17035   4252205       667     41617         0     90795    201671    740734     22.73     24.12  --
2858.53/715.67	c  N dy 17143   4272270       667     41617         0    110684    201671   1488746     22.74     27.81  --
2874.52/719.65	c  N dy 17247   4292333       667     41617         0    130557    201671   2223034     22.74     28.57  --
2892.49/724.18	c  N dy 17359   4313185       667     41617         0    151189    201671   2980579     22.75     23.97  --
2932.45/734.19	c  N dy 17473   4359101       667     41617         0    105708    201671   1360060     22.73     24.15  --
2947.61/737.99	c  N dy 17550   4379106       667     41617         0    125566    201671   2112461     22.73     29.11  --
2964.80/742.28	c  N dy 17683   4399148       667     41617         0    145415    201671   2832194     22.73     26.11  --
2983.57/746.95	c  N dy 17798   4419197       667     41617         0    165291    201671   3571244     22.74     24.03  --
3004.34/752.16	c  N dy 17904   4439536       667     41617         0     93293    201671    780791     22.75     24.45  --
3019.92/756.06	c  N dy 18052   4459718       667     41617         0    113326    201671   1504415     22.75     24.10  --
3036.69/760.24	c  N dy 18180   4479778       667     41617         0    133202    201671   2233444     22.76     25.54  --
3053.88/764.56	c  N dy 18282   4500221       667     41617         0    153438    201671   2986318     22.77     24.27  --
3071.05/768.87	c  N dy 18337   4520247       667     41617         0    173267    201671   3763411     22.76     30.13  --
3098.62/775.76	c  N dy 18415   4552304       667     41617         0    111916    201671   1529208     22.75     23.99  --
3114.20/779.64	c  N dy 18503   4572361       667     41617         0    131800    201671   2293771     22.75     25.75  --
3137.76/785.50	c  N dy 18664   4598745       667     41617         0    157952    201671   3291703     22.76     24.31  --
3166.53/792.76	c  N dy 18725   4631569       667     41617         0     96344    201671    843350     22.75     24.18  --
3181.71/796.54	c  N dy 18828   4651608       667     41617         0    116229    201671   1600986     22.75     25.96  --
3199.68/801.01	c  N dy 18957   4673360       667     41617         0    137754    201671   2406528     22.76     24.01  --
3218.47/805.76	c  N dy 19096   4693402       667     41617         0    157635    201671   3142464     22.77     29.00  --
3238.83/810.81	c  N dy 19201   4714107       667     41617         0    178143    201671   3901285     22.77     24.21  --
3258.39/815.73	c  N dy 19304   4734225       667     41617         0    102995    201671   1061498     22.77     24.30  --
3274.38/819.76	c  N dy 19440   4754237       667     41617         0    122814    201671   1791850     22.78     25.39  --
3291.15/823.94	c  N dy 19545   4774297       667     41617         0    142657    201671   2550262     22.78     27.88  --
3309.53/828.53	c  N dy 19646   4794347       667     41617         0    162568    201671   3311061     22.79     27.35  --
3333.09/834.42	c  N dy 19756   4818240       667     41617         0    186237    201671   4207316     22.79     24.08  --
3352.27/839.27	c  N dy 19861   4840241       667     41617         0    111995    201671   1359281     22.80     24.03  --
3368.25/843.20	c  N dy 19948   4860247       667     41617         0    131741    201671   2087011     22.80     24.05  --
3386.22/847.75	c  N dy 20063   4880265       667     41617         0    151564    201671   2809591     22.80     29.83  --
3407.42/853.02	c  N dy 20169   4902835       667     41617         0    173939    201671   3632362     22.81     24.06  --
3429.39/858.51	c  N dy 20231   4925207       667     41617         0     99120    201671    854044     22.80     24.01  --
3444.95/862.43	c  N dy 20274   4945547       667     41617         0    119194    201671   1633830     22.80     24.13  --
3461.73/866.65	c  N dy 20397   4965554       667     41617         0    139005    201671   2357683     22.80     27.50  --
3480.51/871.37	c  N dy 20540   4985614       667     41617         0    158929    201671   3098452     22.81     24.43  --
3501.67/876.66	c  N dy 20616   5008743       667     41617         0    181856    201671   4002818     22.81     24.04  --
3534.03/884.77	c  N dy 20687   5044810       667     41617         0    119570    201671   1675370     22.80     24.00  --
3552.43/889.37	c  N dy 20838   5065047       667     41617         0    139651    201671   2424873     22.81     24.01  --
3571.18/894.02	c  N dy 20970   5085095       667     41617         0    159531    201671   3158506     22.81     28.36  --
3590.76/898.99	c  N dy 20990   5107409       667     41617         0    181448    201671   4005262     22.80     24.06  --
3612.73/904.42	c  N dy 21101   5127414       667     41617         0    102360    201671    918546     22.80     25.75  --
3627.13/908.08	c  N dy 21152   5147491       667     41617         0    122259    201671   1683124     22.80     29.51  --
3644.70/912.48	c  N dy 21284   5167641       667     41617         0    142256    201671   2425179     22.81     24.30  --
3677.03/920.54	c  N dy 21377   5202592       667     41617         0    176602    201671   3757629     22.80     24.09  --
3698.21/925.83	c  N dy 21498   5222593       667     41617         0    196420    201671   4510075     22.81     28.06  --
3715.78/930.21	c  N dy 21617   5242653       667     41617         0    116480    201671   1414492     22.81     27.97  --
3734.55/934.94	c  N dy 21728   5265011       667     41617         0    138573    201671   2203472     22.81     24.04  --
3753.73/939.80	c  N dy 21834   5287351       667     41617         0    160713    201671   3037234     22.82     24.40  --
3773.71/944.75	c  N dy 21944   5307506       667     41617         0    180671    201671   3774903     22.82     24.08  --
3793.70/949.78	c  N dy 22030   5327569       667     41617         0    200549    201671   4528936     22.82     29.20  --
3811.27/954.16	c  N dy 22135   5348497       667     41617         0    120385    201671   1550955     22.83     24.04  --
3828.04/958.31	c  N dy 22238   5368582       667     41617         0    140287    201671   2288965     22.83     24.08  --
3846.00/962.85	c  N dy 22328   5388811       667     41617         0    160321    201671   3038182     22.83     24.37  --
3865.58/967.74	c  N dy 22431   5409121       667     41617         0    180380    201671   3784122     22.83     24.15  --
3887.15/973.11	c  N dy 22539   5429259       667     41617         0    200311    201671   4507479     22.84     24.39  --
3905.13/977.67	c  N dy 22671   5449301       667     41617         0    118302    201671   1428084     22.84     25.11  --
3921.90/981.86	c  N dy 22751   5470430       667     41617         0    139200    201671   2214630     22.84     24.05  --
3941.08/986.62	c  N dy 22792   5493612       667     41617         0    162225    201671   3133853     22.84     24.09  --
3961.45/991.78	c  N dy 22921   5513633       667     41617         0    182103    201671   3884938     22.84     24.05  --
3986.63/998.05	c  N dy 22986   5538011       667     41617         0    103340    201671    836463     22.84     24.17  --
4002.60/1002.02	c  N dy 23102   5558298       667     41617         0    123433    201671   1608820     22.84     24.06  --
4019.78/1006.31	c  N dy 23194   5578674       667     41617         0    143629    201671   2355979     22.85     24.20  --
4039.35/1011.24	c  N dy 23328   5598898       667     41617         0    163662    201671   3077173     22.85     24.32  --
4062.14/1016.94	c  N dy 23427   5622703       667     41617         0    187193    201671   3975013     22.85     24.12  --
4108.46/1028.59	c  N dy 23494   5669341       667     41617         0    129107    201671   1806312     22.83     24.06  --
4128.43/1033.55	c  N dy 23562   5692540       667     41617         0    152056    201671   2705792     22.82     24.07  --
4148.40/1038.59	c  N dy 23704   5712727       667     41617         0    172035    201671   3446532     22.83     24.14  --
4168.38/1043.58	c  N dy 23816   5732811       667     41617         0    191906    201671   4164153     22.83     24.32  --
4193.14/1049.72	c  N dy 23893   5757494       667     41617         0    111589    201671   1098292     22.83     24.10  --
4209.52/1053.86	c  N dy 24029   5777506       667     41617         0    131388    201671   1829161     22.84     29.58  --
4228.30/1058.58	c  N dy 24141   5798421       667     41617         0    152100    201671   2587899     22.84     24.06  --
4248.67/1063.64	c  N dy 24264   5818487       667     41617         0    171998    201671   3335765     22.85     26.51  --
4271.44/1069.33	c  N dy 24416   5838815       667     41617         0    192151    201671   4072914     22.86     24.08  --
4297.40/1075.89	c  N dy 24457   5867109       667     41617         0    114211    201671   1182838     22.85     24.32  --
4315.38/1080.30	c  N dy 24614   5887157       667     41617         0    134068    201671   1910432     22.86     27.49  --
4333.36/1084.86	c  N dy 24676   5908387       667     41617         0    155060    201671   2738026     22.85     24.15  --
4354.12/1090.03	c  N dy 24798   5929499       667     41617         0    175966    201671   3526947     22.86     24.22  --
4373.72/1094.94	c  N dy 24857   5949660       667     41617         0    195937    201671   4325178     22.85     24.09  --
4396.47/1100.65	c  N dy 24968   5969685       667     41617         0    109009    201671    933712     22.86     24.37  --
4413.67/1104.91	c  N dy 25127   5989719       667     41617         0    128882    201671   1664773     22.87     24.26  --
4431.62/1109.43	c  N dy 25233   6009807       667     41617         0    148788    201671   2437362     22.87     27.47  --
4452.00/1114.59	c  N dy 25362   6030329       667     41617         0    169112    201671   3189019     22.88     24.13  --
4472.77/1119.77	c  N dy 25450   6050725       667     41617         0    189308    201671   3954550     22.88     24.17  --
4494.74/1125.24	c  N dy 25545   6070795       667     41617         0    209166    201671   4724387     22.88     25.48  --
4514.34/1130.11	c  N dy 25625   6090822       667     41617         0    121159    201671   1332419     22.88     24.14  --
4532.31/1134.64	c  N dy 25764   6110960       667     41617         0    141126    201671   2072458     22.89     24.54  --
4550.66/1139.27	c  N dy 25869   6131194       667     41617         0    161139    201671   2792845     22.89     24.35  --
4569.84/1144.08	c  N dy 25956   6151428       667     41617         0    181107    201671   3541676     22.89     24.16  --
4593.01/1149.82	c  N dy 26037   6174349       667     41617         0    203772    201671   4405814     22.89     24.13  --
4616.57/1155.77	c  N dy 26075   6200039       667     41617         0    120451    201671   1334889     22.88     24.09  --
4634.15/1160.19	c  N dy 26203   6220442       667     41617         0    140696    201671   2094156     22.89     24.15  --
4659.74/1166.55	c  N dy 26301   6249350       667     41617         0    169296    201671   3152963     22.89     24.12  --
4680.89/1171.83	c  N dy 26419   6269391       667     41617         0    189119    201671   3867385     22.89     24.22  --
4706.06/1178.16	c  N dy 26478   6295072       667     41617         0    214603    201671   4892362     22.89     24.13  --
4726.02/1183.18	c  N dy 26612   6315157       667     41617         0    124673    201671   1409458     22.89     27.73  --
4748.40/1188.72	c  N dy 26656   6340171       667     41617         0    149414    201671   2397975     22.88     24.17  --
4769.59/1194.01	c  N dy 26818   6360242       667     41617         0    169311    201671   3141260     22.89     27.01  --
4791.16/1199.42	c  N dy 26915   6381862       667     41617         0    190707    201671   3920552     22.90     24.22  --

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-3250407-1304130697/watcher-3250407-1304130697 -o /tmp/evaluation-result-3250407-1304130697/solver-3250407-1304130697 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3250407-1304130697.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: 3.47 5.29 6.72 7/180 6176
/proc/meminfo: memFree=29337708/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 505485180 52465664 353 33554432000 4194304 4650419 140733216658448 18446744073709551615 47284979767212 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 12809 353 303 112 0 7774 0
[pid=6176/tid=6177] ppid=6174 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 505485181 52465664 353 33554432000 4194304 4650419 140733216658448 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 505485181 52465664 353 33554432000 4194304 4650419 140733216658448 18446744073709551615 47284979767218 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 505485181 52465664 353 33554432000 4194304 4650419 140733216658448 18446744073709551615 47284979767218 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0445151 s]
/proc/loadavg: 3.47 5.29 6.72 7/180 6176
/proc/meminfo: memFree=29337708/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=292768 CPUtime=0.15 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 9546 0 0 0 13 2 0 0 18 0 4 0 505485180 299794432 9445 33554432000 4194304 4650419 140733216658448 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 73227 9537 344 112 0 68192 0
[pid=6176/tid=6177] ppid=6174 vsize=292908 CPUtime=0.03 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) D 6174 6176 6135 0 -1 4202560 2303 0 0 0 3 0 0 0 18 0 4 0 505485181 299937792 9685 33554432000 4194304 4650419 140733216658448 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=293172 CPUtime=0.03 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) D 6174 6176 6135 0 -1 4202560 2479 0 0 0 3 0 0 0 18 0 4 0 505485181 300208128 10349 33554432000 4194304 4650419 140733216658448 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=293304 CPUtime=0.03 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 2675 0 0 0 3 0 0 0 18 0 4 0 505485181 300343296 10626 33554432000 4194304 4650419 140733216658448 18446744073709551615 228095508906 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 292768

[startup+0.684812 s]
/proc/loadavg: 3.47 5.29 6.72 7/180 6176
/proc/meminfo: memFree=29337708/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=336656 CPUtime=2.7 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) D 6174 6176 6135 0 -1 4202496 13412 0 0 0 267 3 0 0 18 0 4 0 505485180 344735744 13085 33554432000 4194304 4650419 140733216658448 18446744073709551615 4515973 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 84164 13085 370 112 0 79129 0
[pid=6176/tid=6177] ppid=6174 vsize=336656 CPUtime=0.66 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 3052 0 0 0 66 0 0 0 18 0 4 0 505485181 344735744 13085 33554432000 4194304 4650419 140733216658448 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=336656 CPUtime=0.66 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 3171 0 0 0 66 0 0 0 18 0 4 0 505485181 344735744 13094 33554432000 4194304 4650419 140733216658448 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=336656 CPUtime=0.66 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 3478 0 0 0 66 0 0 0 18 0 4 0 505485181 344735744 13100 33554432000 4194304 4650419 140733216658448 18446744073709551615 4329599 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 336656

[startup+0.700926 s]
/proc/loadavg: 3.47 5.29 6.72 7/180 6176
/proc/meminfo: memFree=29337708/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=315236 CPUtime=2.76 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 21093 0 0 0 272 4 0 0 18 0 4 0 505485180 322801664 13784 33554432000 4194304 4650419 140733216658448 18446744073709551615 4369188 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 78809 13784 372 112 0 73774 0
[pid=6176/tid=6177] ppid=6174 vsize=315236 CPUtime=0.68 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 5722 0 0 0 67 1 0 0 18 0 4 0 505485181 322801664 13784 33554432000 4194304 4650419 140733216658448 18446744073709551615 4369188 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=315236 CPUtime=0.68 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 5729 0 0 0 68 0 0 0 18 0 4 0 505485181 322801664 13784 33554432000 4194304 4650419 140733216658448 18446744073709551615 4369281 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=315236 CPUtime=0.68 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 3485 0 0 0 68 0 0 0 18 0 4 0 505485181 322801664 13784 33554432000 4194304 4650419 140733216658448 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 315236

[startup+0.800907 s]
/proc/loadavg: 3.47 5.29 6.72 7/180 6176
/proc/meminfo: memFree=29337708/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=315396 CPUtime=3.15 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 35147 0 0 0 307 8 0 0 18 0 4 0 505485180 322965504 27831 33554432000 4194304 4650419 140733216658448 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 78849 27831 385 112 0 73814 0
[pid=6176/tid=6177] ppid=6174 vsize=315396 CPUtime=0.77 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 10331 0 0 0 75 2 0 0 18 0 4 0 505485181 322965504 27831 33554432000 4194304 4650419 140733216658448 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=315396 CPUtime=0.78 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 10512 0 0 0 76 2 0 0 18 0 4 0 505485181 322965504 27831 33554432000 4194304 4650419 140733216658448 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=315396 CPUtime=0.78 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 3550 0 0 0 78 0 0 0 19 0 4 0 505485181 322965504 27831 33554432000 4194304 4650419 140733216658448 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 315396

[startup+1.50078 s]
/proc/loadavg: 3.47 5.29 6.72 10/184 6180
/proc/meminfo: memFree=29205368/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=315672 CPUtime=5.98 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 39051 0 0 0 588 10 0 0 18 0 4 0 505485180 323248128 29372 33554432000 4194304 4650419 140733216658448 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 78918 29372 387 112 0 73883 0
[pid=6176/tid=6177] ppid=6174 vsize=315672 CPUtime=1.48 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 11452 0 0 0 145 3 0 0 18 0 4 0 505485181 323248128 29372 33554432000 4194304 4650419 140733216658448 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=315672 CPUtime=1.48 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 11839 0 0 0 146 2 0 0 18 0 4 0 505485181 323248128 29372 33554432000 4194304 4650419 140733216658448 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=315672 CPUtime=1.49 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 3884 0 0 0 148 1 0 0 19 0 4 0 505485181 323248128 29372 33554432000 4194304 4650419 140733216658448 18446744073709551615 4328302 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 315672

[startup+3.10048 s]
/proc/loadavg: 3.47 5.29 6.72 9/184 6180
/proc/meminfo: memFree=29153288/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=349240 CPUtime=12.34 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 53522 0 0 0 1222 12 0 0 22 0 4 0 505485180 357621760 40436 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 87310 40436 394 112 0 82275 0
[pid=6176/tid=6177] ppid=6174 vsize=349240 CPUtime=3.07 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 16199 0 0 0 303 4 0 0 22 0 4 0 505485181 357621760 40436 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=349240 CPUtime=3.08 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 15891 0 0 0 305 3 0 0 21 0 4 0 505485181 357621760 40436 33554432000 4194304 4650419 140733216658448 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=349240 CPUtime=3.08 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 4793 0 0 0 307 1 0 0 25 0 4 0 505485181 357621760 40436 33554432000 4194304 4650419 140733216658448 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 349240

[startup+6.30089 s]
/proc/loadavg: 3.91 5.35 6.73 9/184 6180
/proc/meminfo: memFree=29066516/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=426960 CPUtime=25.12 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 80012 0 0 0 2495 17 0 0 25 0 4 0 505485180 437207040 57740 33554432000 4194304 4650419 140733216658448 18446744073709551615 4315114 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 106740 57740 396 112 0 101705 0
[pid=6176/tid=6177] ppid=6174 vsize=426960 CPUtime=6.25 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 20779 0 0 0 620 5 0 0 25 0 4 0 505485181 437207040 57740 33554432000 4194304 4650419 140733216658448 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=426960 CPUtime=6.28 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 20480 0 0 0 624 4 0 0 25 0 4 0 505485181 437207040 57740 33554432000 4194304 4650419 140733216658448 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=426960 CPUtime=6.29 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 17521 0 0 0 626 3 0 0 25 0 4 0 505485181 437207040 57740 33554432000 4194304 4650419 140733216658448 18446744073709551615 228095118338 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 426960

[startup+12.7007 s]
/proc/loadavg: 4.24 5.39 6.74 9/184 6211
/proc/meminfo: memFree=28934228/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=518884 CPUtime=50.68 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 99741 0 0 0 5047 21 0 0 25 0 4 0 505485180 531337216 74312 33554432000 4194304 4650419 140733216658448 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 129721 74312 396 112 0 124686 0
[pid=6176/tid=6177] ppid=6174 vsize=518884 CPUtime=12.61 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 26068 0 0 0 1255 6 0 0 25 0 4 0 505485181 531337216 74312 33554432000 4194304 4650419 140733216658448 18446744073709551615 4328292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=518884 CPUtime=12.68 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 24865 0 0 0 1263 5 0 0 25 0 4 0 505485181 531337216 74312 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=518884 CPUtime=12.69 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 21236 0 0 0 1265 4 0 0 25 0 4 0 505485181 531337216 74312 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 518884

[startup+25.5003 s]
/proc/loadavg: 5.07 5.52 6.76 9/184 6211
/proc/meminfo: memFree=28785512/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=552032 CPUtime=101.82 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 113334 0 0 0 10158 24 0 0 25 0 4 0 505485180 565280768 84208 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 138008 84208 396 112 0 132973 0
[pid=6176/tid=6177] ppid=6174 vsize=552032 CPUtime=25.34 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 27426 0 0 0 2528 6 0 0 25 0 4 0 505485181 565280768 84208 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=552032 CPUtime=25.47 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 29737 0 0 0 2542 5 0 0 25 0 4 0 505485181 565280768 84208 33554432000 4194304 4650419 140733216658448 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=552032 CPUtime=25.48 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 23043 0 0 0 2544 4 0 0 25 0 4 0 505485181 565280768 84208 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 552032

[startup+51.1066 s]
/proc/loadavg: 6.19 5.75 6.80 9/184 6212
/proc/meminfo: memFree=28699548/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=594672 CPUtime=204.1 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 124630 0 0 0 20383 27 0 0 25 0 4 0 505485180 608944128 95477 33554432000 4194304 4650419 140733216658448 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 148668 95477 396 112 0 143633 0
[pid=6176/tid=6177] ppid=6174 vsize=594672 CPUtime=50.81 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 29198 0 0 0 5074 7 0 0 25 0 4 0 505485181 608944128 95477 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=594672 CPUtime=51.07 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 35586 0 0 0 5101 6 0 0 25 0 4 0 505485181 608944128 95477 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=594672 CPUtime=51.1 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 23458 0 0 0 5105 5 0 0 25 0 4 0 505485181 608944128 95477 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 594672

[startup+102.301 s]
/proc/loadavg: 7.39 6.14 6.88 9/184 6213
/proc/meminfo: memFree=28640400/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=630640 CPUtime=408.61 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 135492 0 0 0 40830 31 0 0 25 0 4 0 505485180 645775360 106307 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 157660 106307 396 112 0 152625 0
[pid=6176/tid=6177] ppid=6174 vsize=630640 CPUtime=101.73 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 32542 0 0 0 10164 9 0 0 25 0 4 0 505485181 645775360 106307 33554432000 4194304 4650419 140733216658448 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=630640 CPUtime=102.27 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 38717 0 0 0 10220 7 0 0 25 0 4 0 505485181 645775360 106307 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=630640 CPUtime=102.29 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 24545 0 0 0 10224 5 0 0 25 0 4 0 505485181 645775360 106307 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366578 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 630640

[startup+162.301 s]

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

[pid=6176] ppid=6174 vsize=837896 CPUtime=2565.72 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 258150 0 0 0 256476 96 0 0 25 0 4 0 505485180 858005504 134673 33554432000 4194304 4650419 140733216658448 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 209474 134673 396 112 0 204439 0
[pid=6176/tid=6177] ppid=6174 vsize=837896 CPUtime=638.8 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 63223 0 0 0 63856 24 0 0 25 0 4 0 505485181 858005504 134673 33554432000 4194304 4650419 140733216658448 18446744073709551615 4313319 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=837896 CPUtime=642.28 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 64427 0 0 0 64206 22 0 0 25 0 4 0 505485181 858005504 134673 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=837896 CPUtime=642.3 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 46012 0 0 0 64211 19 0 0 25 0 4 0 505485181 858005504 134673 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 837896

[startup+702.306 s]
/proc/loadavg: 8.14 7.83 7.44 9/184 6229
/proc/meminfo: memFree=28350948/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=782288 CPUtime=2805.43 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 284924 0 0 0 280434 109 0 0 25 0 4 0 505485180 801062912 133714 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 195572 133714 396 112 0 190537 0
[pid=6176/tid=6177] ppid=6174 vsize=782288 CPUtime=698.48 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 68635 0 0 0 69820 28 0 0 25 0 4 0 505485181 801062912 133714 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=782288 CPUtime=702.29 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 69695 0 0 0 70205 24 0 0 25 0 4 0 505485181 801062912 133714 33554432000 4194304 4650419 140733216658448 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=782288 CPUtime=702.31 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 50132 0 0 0 70209 22 0 0 25 0 4 0 505485181 801062912 133714 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 782288

[startup+762.3 s]
/proc/loadavg: 8.14 7.89 7.48 9/184 6230
/proc/meminfo: memFree=28315668/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=768500 CPUtime=3045.09 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 327786 0 0 0 304383 126 0 0 25 0 4 0 505485180 786944000 132829 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 192125 132829 396 112 0 187090 0
[pid=6176/tid=6177] ppid=6174 vsize=768500 CPUtime=758.16 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 80942 0 0 0 75783 33 0 0 25 0 4 0 505485181 786944000 132829 33554432000 4194304 4650419 140733216658448 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=768500 CPUtime=762.28 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 83279 0 0 0 76200 28 0 0 25 0 4 0 505485181 786944000 132829 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=768500 CPUtime=762.31 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 54334 0 0 0 76207 24 0 0 25 0 4 0 505485181 786944000 132829 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 768500

[startup+822.301 s]
/proc/loadavg: 8.09 7.92 7.52 9/184 6232
/proc/meminfo: memFree=28320936/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=768964 CPUtime=3284.76 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 383270 0 0 0 328329 147 0 0 25 0 4 0 505485180 787419136 131536 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 192241 131536 396 112 0 187206 0
[pid=6176/tid=6177] ppid=6174 vsize=768964 CPUtime=817.83 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 98007 0 0 0 81744 39 0 0 25 0 4 0 505485181 787419136 131536 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=768964 CPUtime=822.29 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 100203 0 0 0 82195 34 0 0 25 0 4 0 505485181 787419136 131537 33554432000 4194304 4650419 140733216658448 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=768964 CPUtime=822.31 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 58562 0 0 0 82205 26 0 0 25 0 4 0 505485181 787419136 131537 33554432000 4194304 4650419 140733216658448 18446744073709551615 4333456 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 768964

[startup+882.301 s]
/proc/loadavg: 8.07 7.95 7.55 9/184 6234
/proc/meminfo: memFree=28322472/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=887096 CPUtime=3524.44 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 434728 0 0 0 352275 169 0 0 25 0 4 0 505485180 908386304 133121 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 221774 133121 396 112 0 216739 0
[pid=6176/tid=6177] ppid=6174 vsize=887096 CPUtime=877.5 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 112706 0 0 0 87705 45 0 0 25 0 4 0 505485181 908386304 133121 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=887096 CPUtime=882.29 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 116599 0 0 0 88188 41 0 0 25 0 4 0 505485181 908386304 133121 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=887096 CPUtime=882.31 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 62170 0 0 0 88202 29 0 0 25 0 4 0 505485181 908386304 133121 33554432000 4194304 4650419 140733216658448 18446744073709551615 4328278 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 887096

[startup+942.301 s]
/proc/loadavg: 8.13 7.98 7.58 9/184 6235
/proc/meminfo: memFree=28322424/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=888604 CPUtime=3764.12 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 484610 0 0 0 376222 190 0 0 25 0 4 0 505485180 909930496 136916 33554432000 4194304 4650419 140733216658448 18446744073709551615 4328318 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 222151 136916 396 112 0 217116 0
[pid=6176/tid=6177] ppid=6174 vsize=888604 CPUtime=937.17 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 129266 0 0 0 93666 51 0 0 25 0 4 0 505485181 909930496 136916 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=888604 CPUtime=942.29 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 131191 0 0 0 94182 47 0 0 25 0 4 0 505485181 909930496 136916 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=888604 CPUtime=942.31 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 66530 0 0 0 94200 31 0 0 25 0 4 0 505485181 909930496 136916 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 888604

[startup+1002.3 s]
/proc/loadavg: 8.15 8.02 7.62 9/184 6237
/proc/meminfo: memFree=28283440/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=889696 CPUtime=4003.8 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 536600 0 0 0 400169 211 0 0 25 0 4 0 505485180 911048704 136780 33554432000 4194304 4650419 140733216658448 18446744073709551615 4363548 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 222424 136780 396 112 0 217389 0
[pid=6176/tid=6177] ppid=6174 vsize=889696 CPUtime=996.85 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 143380 0 0 0 99628 57 0 0 25 0 4 0 505485181 911048704 136780 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=889696 CPUtime=1002.29 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 147640 0 0 0 100175 54 0 0 25 0 4 0 505485181 911048704 136780 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=889696 CPUtime=1002.31 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 71719 0 0 0 100197 34 0 0 25 0 4 0 505485181 911048704 136780 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 889696

[startup+1062.3 s]
/proc/loadavg: 8.15 8.04 7.65 9/184 6238
/proc/meminfo: memFree=28253744/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=956888 CPUtime=4243.47 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 585440 0 0 0 424112 235 0 0 25 0 4 0 505485180 979853312 138607 33554432000 4194304 4650419 140733216658448 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 239222 138607 396 112 0 234187 0
[pid=6176/tid=6177] ppid=6174 vsize=956888 CPUtime=1056.52 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 159455 0 0 0 105587 65 0 0 25 0 4 0 505485181 979853312 138607 33554432000 4194304 4650419 140733216658448 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=956888 CPUtime=1062.29 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 161562 0 0 0 106169 60 0 0 25 0 4 0 505485181 979853312 138607 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=956888 CPUtime=1062.32 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 76338 0 0 0 106195 37 0 0 25 0 4 0 505485181 979853312 138607 33554432000 4194304 4650419 140733216658448 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 956888

[startup+1122.3 s]
/proc/loadavg: 8.14 8.06 7.68 9/184 6240
/proc/meminfo: memFree=28231024/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=1079672 CPUtime=4483.16 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 630126 0 0 0 448060 256 0 0 25 0 4 0 505485180 1105584128 142473 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 269918 142473 396 112 0 264883 0
[pid=6176/tid=6177] ppid=6174 vsize=1079672 CPUtime=1116.2 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 172825 0 0 0 111548 72 0 0 25 0 4 0 505485181 1105584128 142473 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=1079672 CPUtime=1122.29 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 175268 0 0 0 112162 67 0 0 25 0 4 0 505485181 1105584128 142473 33554432000 4194304 4650419 140733216658448 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=1079672 CPUtime=1122.32 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 80438 0 0 0 112193 39 0 0 25 0 4 0 505485181 1105584128 142473 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 1079672

[startup+1182.3 s]
/proc/loadavg: 8.27 8.11 7.72 9/184 6242
/proc/meminfo: memFree=28228248/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=959144 CPUtime=4722.83 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 679947 0 0 0 472006 277 0 0 25 0 4 0 505485180 982163456 138200 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 239786 138200 396 112 0 234751 0
[pid=6176/tid=6177] ppid=6174 vsize=959144 CPUtime=1175.87 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 185883 0 0 0 117509 78 0 0 25 0 4 0 505485181 982163456 138200 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=959144 CPUtime=1182.3 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 190512 0 0 0 118156 74 0 0 25 0 4 0 505485181 982163456 138200 33554432000 4194304 4650419 140733216658448 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=959144 CPUtime=1182.32 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 85542 0 0 0 118190 42 0 0 25 0 4 0 505485181 982163456 138200 33554432000 4194304 4650419 140733216658448 18446744073709551615 4303968 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 959144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.71 s]
/proc/loadavg: 8.19 8.10 7.72 9/184 6242
/proc/meminfo: memFree=28160400/32951124 swapFree=67111348/67111528
[pid=6176] ppid=6174 vsize=959640 CPUtime=4800.37 cores=1,3,5,7
/proc/6176/stat : 6176 (strangenight1-m) R 6174 6176 6135 0 -1 4202496 692074 0 0 0 479753 284 0 0 25 0 4 0 505485180 982671360 141784 33554432000 4194304 4650419 140733216658448 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6176/statm: 239910 141784 396 112 0 234875 0
[pid=6176/tid=6177] ppid=6174 vsize=959640 CPUtime=1195.17 cores=1,3,5,7
/proc/6176/task/6177/stat : 6177 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 190873 0 0 0 119436 81 0 0 25 0 4 0 505485181 982671360 141784 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6176/tid=6178] ppid=6174 vsize=959640 CPUtime=1201.7 cores=1,3,5,7
/proc/6176/task/6178/stat : 6178 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 193585 0 0 0 120095 75 0 0 25 0 4 0 505485181 982671360 141784 33554432000 4194304 4650419 140733216658448 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6176/tid=6179] ppid=6174 vsize=959640 CPUtime=1201.74 cores=1,3,5,7
/proc/6176/task/6179/stat : 6179 (strangenight1-m) R 6174 6176 6135 0 -1 4202560 86490 0 0 0 120132 42 0 0 25 0 4 0 505485181 982671360 141784 33554432000 4194304 4650419 140733216658448 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 959640

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.75
CPU time (s): 4800.43
CPU user time (s): 4797.56
CPU system time (s): 2.87056
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 1157416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.56
system time used= 2.87056
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 692076
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= 5383
involuntary context switches= 33660

runsolver used 2.03469 second user time and 4.54631 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-30 04:31:37
IDJOB=3250407
IDBENCH=83253
IDSOLVER=1588
FILE ID=node142/3250407-1304130697
RUNJOBID= node142-1304130697-6154
PBS_JOBID= 13170793
Free space on /tmp= 73312 MiB

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

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

MD5SUM BENCH= 337bdbc5d8bf0013ca73aeffa06cffe8
RANDOM SEED=26411650

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5131.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29337988 kB
Buffers:       1082416 kB
Cached:        1954352 kB
SwapCached:        176 kB
Active:         191584 kB
Inactive:      2923908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29337988 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           14880 kB
Writeback:           0 kB
AnonPages:       78780 kB
Mapped:          14708 kB
Slab:           431852 kB
PageTables:       4644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   281404 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= 73304 MiB
End job on node142 at 2011-04-30 04:51:41