Trace number 3369118

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 (fixed)? (TO) 4800.36 1203.14

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369118-1305413819.cnf'
0.00/0.01	c -- header says num vars:           2070
0.00/0.01	c -- header says num clauses:      158884
0.30/0.09	c -- clauses added:            0 learnts,       158884 normals,            0 xors
0.30/0.09	c -- vars added       2070
0.30/0.09	c Parsing time:  0.20 s
0.30/0.09	c  N st     0         0      2070    158884         0         0    478584         0   no data   no data  --
0.30/0.71	c asymm  cl-useful: 0/158377/158884 lits-rem:0 time: 2.53
2.80/0.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
3.13/0.81	c bin-w-bin subsume rem            0 bins  time:  0.06 s
3.13/0.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3.13/0.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2070 time:  0.04 s
3.13/0.81	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.02 s
7.92/2.00	c lits-rem:         0  cl-subs:       10  v-elim:    690  v-fix:    0  time:  4.73 s
7.92/2.00	c Finding binary XORs  T:     0.00 s  found:       0
7.92/2.03	c Finding non-binary XORs:     0.11 s (found:       0, avg size: nan)
7.92/2.03	c calculated reachability. Time: 0.00
7.92/2.04	c Calc default polars -  time:   0.01 s pos:    1380 undec:     690 neg:       0
7.92/2.04	c =========================================================================================
7.92/2.04	c types(t): F = full restart, N = normal restart
7.92/2.04	c types(t): S = simplification begin/end, E = solution found
7.92/2.04	c restart types(rt): st = static, dy = dynamic
7.92/2.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.92/2.04	c  B st     0         0      1380     88662         0         0    416384         0   no data   no data  --
9.11/2.39	c  N dy    14      4414      1380     88662         0      4392    416384    175580     25.10     26.52  --
11.91/3.00	c  N dy    25     11637      1380     88662         0     11526    416384    428570     22.71     24.24  --
13.50/3.46	c  N dy    45     16947      1380     88662         0     16788    416384    609083     22.67     23.90  --
15.12/3.85	c  N dy    67     21032      1380     88662         0     10930    416384    284833     22.82     26.48  --
16.29/4.19	c  F st    75     25001      1380     88662         0     14854    416384    418007     22.60     22.44  --
16.69/4.21	c Found part        8 vars:        713 clauses:     47045 lits size:    214696
16.69/4.21	c Found part        9 vars:        667 clauses:     41617 lits size:    201688
16.69/4.21	c Found parts:          2 time: 0.07 s
16.69/4.21	c Solving part 9
16.69/4.24	c  N st     0         0       667     41617         0         0    201688         0   no data   no data  --
17.49/4.45	c asymm  cl-useful: 12/41617/41617 lits-rem:13 time: 0.85
17.49/4.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.49/4.46	c Finding binary XORs  T:     0.00 s  found:       0
17.49/4.47	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
17.49/4.47	c calculated reachability. Time: 0.00
17.49/4.47	c Calc default polars -  time:   0.00 s pos:     667 undec:    1403 neg:       0
17.49/4.47	c =========================================================================================
17.49/4.47	c types(t): F = full restart, N = normal restart
17.49/4.47	c types(t): S = simplification begin/end, E = solution found
17.49/4.47	c restart types(rt): st = static, dy = dynamic
17.49/4.47	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
17.49/4.47	c  B st     0         0       667     41617         0         0    201675         0   no data   no data  --
18.69/4.79	c  N dy    14      4067       667     41617         0      4024    201675    154900     22.04     24.90  --
20.28/5.14	c  N dy    44      8159       667     41617         0      4656    201675    132243     24.48     25.77  --
21.48/5.47	c  N dy    57     12249       667     41617         0      8716    201675    285238     24.11     25.40  --
23.48/5.95	c  N dy    65     17842       667     41617         0      8634    201675    243095     23.15     24.50  --
25.07/6.30	c  N dy    83     21853       667     41617         0     12620    201675    389297     23.20     24.60  --
25.86/6.59	c  F st    94     25000       667     41617         0      8456    201675    185526     23.13   no data  --
26.26/6.69	c  N st    97     26190       667     41617         0      9632    201675    230745     23.13   no data  --
27.87/7.04	c  N dy   100     30193       667     41617         0     13578    201675    386333     23.13   no data  --
29.46/7.44	c  N dy   132     34265       667     41617         0      9076    201675    167280     23.51     27.09  --
30.66/7.76	c  N dy   148     38270       667     41617         0     13042    201675    316865     23.54     28.53  --
32.25/8.14	c  N dy   176     42673       667     41617         0     17421    201675    477312     23.68     25.07  --
33.85/8.51	c  N dy   193     46747       667     41617         0     11758    201675    233244     23.69     24.99  --
35.05/8.85	c  N dy   210     50775       667     41617         0     15756    201675    373697     23.68     25.33  --
36.65/9.23	c  N dy   220     55224       667     41617         0     20165    201675    529283     23.58     25.06  --
38.23/9.61	c  N dy   246     59242       667     41617         0     13373    201675    246069     23.65     25.08  --
39.43/9.96	c  N dy   270     63281       667     41617         0     17378    201675    393191     23.72     27.11  --
41.03/10.38	c  N dy   295     67626       667     41617         0     21679    201675    547784     23.79     25.11  --
43.03/10.83	c  N dy   316     72622       667     41617         0     14841    201675    268612     23.79     25.10  --
47.01/11.85	c  N dy   340     83112       667     41617         0     25188    201675    675838     23.62     25.16  --
48.61/12.26	c  F st   351     87500       667     41617         0     16755    201675    303271     23.53     22.91  --
49.01/12.37	c  N st   354     88687       667     41617         0     17928    201675    350695     23.53   no data  --
51.41/12.93	c  N dy   372     94396       667     41617         0     23588    201675    565144     23.59     32.21  --
53.40/13.50	c  N dy   387    100446       667     41617         0     15791    201675    247915     23.55     25.23  --
55.79/14.09	c  N dy   423    106882       667     41617         0     22185    201675    490515     23.61     24.93  --
58.59/14.76	c  N dy   445    113740       667     41617         0     28988    201675    751773     23.55     28.23  --
61.38/15.44	c  N dy   471    120995       667     41617         0     21392    201675    428740     23.53     24.89  --
64.57/16.21	c  N dy   504    128809       667     41617         0     29116    201675    705767     23.56     30.70  --
67.78/17.05	c  N dy   554    137360       667     41617         0     21811    201675    398799     23.63     24.89  --
71.36/17.95	c  N dy   581    147673       667     41617         0     32011    201675    741197     23.52     24.79  --
75.35/18.91	c  N dy   636    157346       667     41617         0     24827    201675    477047     23.61     24.89  --
81.72/20.54	c  N dy   690    173298       667     41617         0     22840    201675    391719     23.50     24.84  --
86.11/21.67	c  N dy   735    184642       667     41617         0     34104    201675    815513     23.49     24.77  --
91.30/22.95	c  N dy   810    197354       667     41617         0     27931    201675    530093     23.56     25.08  --
96.90/24.37	c  N dy   868    211013       667     41617         0     21720    201674    282265     23.55     24.85  --
102.48/25.74	c  N dy   932    224880       667     41617         0     35468    201674    787515     23.57     24.86  --
108.45/27.27	c  N dy  1020    239326       667     41617         0     29030    201674    514514     23.64     29.88  --
115.25/28.96	c  N dy  1067    254603       667     41617         0     22405    201674    240348     23.63     26.70  --
123.23/30.93	c  N dy  1086    270887       667     41617         0     38489    201674    877319     23.45     26.29  --
130.80/32.84	c  N dy  1165    288202       667     41617         0     32922    201674    615699     23.47     30.60  --
138.78/34.85	c  F st  1264    306250       667     41617         0     27117    201674    357236     23.49     19.85  --
139.19/34.91	c  N st  1266    306878       667     41617         0     27734    201674    376818     23.49   no data  --
147.96/37.15	c  N dy  1287    326988       667     41617         0     47506    201674   1103357     23.36     24.66  --
156.74/39.35	c  N dy  1385    347131       667     41617         0     42863    201674    901504     23.38     24.72  --
167.12/41.90	c  N dy  1471    370055       667     41617         0     39871    201674    788611     23.36     24.60  --
175.89/44.16	c  N dy  1566    390082       667     41617         0     33095    201674    489489     23.38     27.59  --
185.46/46.50	c  N dy  1672    410191       667     41617         0     53044    201674   1218257     23.41     24.82  --
202.22/50.79	c  N dy  1704    445247       667     41617         0     31485    201674    385033     23.13     24.71  --
211.80/53.17	c  N dy  1836    465412       667     41617         0     51506    201674   1123328     23.20     24.54  --
222.57/55.86	c  N dy  1939    488009       667     41617         0     44164    201674    794628     23.21     24.46  --
233.35/58.55	c  N dy  1994    510396       667     41617         0     35687    201674    486594     23.15     24.39  --
242.92/60.90	c  N dy  2091    530436       667     41617         0     55562    201673   1238074     23.17     24.56  --
264.07/66.29	c  N dy  2124    570006       667     41617         0     63047    201673   1580667     22.95     24.34  --
274.84/68.91	c  N dy  2229    591360       667     41617         0     51607    201673    978530     22.96     24.17  --
286.42/71.81	c  N dy  2264    615102       667     41617         0     41388    201673    598371     22.85     24.07  --
298.38/74.86	c  N dy  2396    639472       667     41617         0     65547    201673   1506996     22.88     24.16  --
309.60/77.67	c  N dy  2426    660936       667     41617         0     52138    201673   1008852     22.79     24.08  --
324.71/81.46	c  N dy  2528    689822       667     41617         0     45178    201673    703277     22.76     24.01  --
335.10/84.06	c  N dy  2613    711137       667     41617         0     66251    201673   1471792     22.77     24.09  --
345.07/86.58	c  N dy  2684    731648       667     41617         0     50098    201673    835091     22.76     24.49  --
355.83/89.29	c  N dy  2810    751698       667     41617         0     69986    201673   1557354     22.80     28.40  --
367.80/92.29	c  N dy  2920    775180       667     41617         0     55673    201673    998549     22.82     24.47  --
378.98/95.03	c  N dy  2999    795474       667     41617         0     75775    201673   1764461     22.83     24.21  --
389.34/97.67	c  N dy  3130    815523       667     41617         0     57105    201673   1011380     22.87     28.88  --
428.09/107.36	c  N dy  3182    876990       667     41617         0     77974    201673   1847396     22.65     23.87  --
439.23/110.11	c  N dy  3307    897381       667     41617         0     57893    201673   1005940     22.69     23.93  --
450.79/113.07	c  N dy  3443    917522       667     41617         0     77873    201673   1755766     22.73     24.06  --
462.37/115.96	c  N dy  3579    937941       667     41617         0     56647    201673    907817     22.77     23.99  --
474.34/118.91	c  N dy  3674    958320       667     41617         0     76843    201672   1648586     22.78     23.98  --
485.50/121.74	c  N dy  3799    978336       667     41617         0     54174    201672    781468     22.80     27.80  --
500.28/125.48	c  N dy  3830   1005055       667     41617         0     80569    201672   1816053     22.73     23.95  --
513.04/128.60	c  N dy  3876   1027715       667     41617         0     59451    201672    972602     22.70     23.91  --
523.82/131.38	c  N dy  3961   1047743       667     41617         0     79276    201672   1723670     22.70     24.93  --
535.78/134.36	c  N dy  4087   1067971       667     41617         0     54872    201672    750077     22.73     23.95  --
537.81/134.84	c  F st  4098   1071875       667     41617         0     58739    201672    881604     22.72     21.74  --
546.95/137.12	c  N dy  4165   1088060       667     41617         0     74764    201672   1458586     22.73     25.38  --
558.93/140.15	c  N dy  4276   1108171       667     41617         0     49237    201672    527389     22.74     23.94  --
571.29/143.22	c  N dy  4410   1130653       667     41617         0     71509    201672   1342295     22.76     24.09  --
584.06/146.42	c  N dy  4515   1151028       667     41617         0     91737    201672   2105268     22.77     24.11  --
595.23/149.29	c  N dy  4645   1171298       667     41617         0     65328    201672   1078978     22.80     24.04  --
607.20/152.23	c  N dy  4724   1191668       667     41617         0     85539    201672   1842192     22.79     24.19  --
619.17/155.29	c  N dy  4799   1211695       667     41617         0     57859    201672    797963     22.79     30.28  --
630.74/158.13	c  N dy  4872   1231841       667     41617         0     77801    201672   1550335     22.79     24.06  --
643.91/161.49	c  N dy  4980   1251963       667     41617         0     49284    201672    434215     22.81     24.18  --
654.69/164.17	c  N dy  5055   1272023       667     41617         0     69219    201672   1227763     22.81     31.19  --
667.45/167.39	c  N dy  5165   1292687       667     41617         0     89704    201672   1996280     22.82     24.06  --
681.82/171.00	c  N dy  5286   1316197       667     41617         0     63412    201672    913393     22.84     24.04  --
694.19/174.04	c  N dy  5402   1336257       667     41617         0     83325    201672   1651698     22.85     24.20  --
707.34/177.32	c  N dy  5447   1356445       667     41617         0     52815    201672    501276     22.83     24.11  --
718.12/180.08	c  N dy  5564   1376540       667     41617         0     72740    201672   1227277     22.85     24.21  --
730.51/183.16	c  N dy  5628   1396580       667     41617         0     92592    201672   1961014     22.84     26.66  --
742.86/186.24	c  N dy  5668   1417044       667     41617         0     61437    201672    802897     22.83     24.06  --
754.42/189.19	c  N dy  5771   1437134       667     41617         0     81374    201672   1538836     22.84     24.20  --
768.00/192.58	c  N dy  5890   1457248       667     41617         0    101298    201672   2270131     22.86     24.12  --
781.16/195.86	c  N dy  5923   1478907       667     41617         0     70240    201672   1135388     22.83     24.14  --
793.93/199.09	c  N dy  5980   1501328       667     41617         0     92408    201672   1975893     22.82     24.04  --
807.90/202.52	c  N dy  6080   1521707       667     41617         0     59200    201672    660862     22.82     24.25  --
819.46/205.42	c  N dy  6172   1542023       667     41617         0     79308    201672   1381471     22.83     24.12  --
833.03/208.85	c  N dy  6228   1562186       667     41617         0     99251    201672   2149690     22.82     24.04  --
846.60/212.20	c  N dy  6344   1582220       667     41617         0     64679    201672    826542     22.83     27.64  --
858.56/215.27	c  N dy  6461   1602301       667     41617         0     84547    201672   1541791     22.85     26.85  --
872.94/218.83	c  N dy  6589   1622457       667     41617         0    104534    201672   2281712     22.87     24.35  --
885.30/221.96	c  N dy  6643   1643088       667     41617         0     69593    201672    992861     22.86     24.15  --
898.06/225.10	c  N dy  6760   1663096       667     41617         0     89428    201672   1726725     22.88     24.09  --
911.63/228.52	c  N dy  6843   1683150       667     41617         0    109279    201672   2502321     22.89     25.96  --
924.79/231.87	c  N dy  6932   1704863       667     41617         0     74390    201672   1110739     22.89     24.10  --
938.36/235.21	c  N dy  7068   1724870       667     41617         0     94241    201672   1851543     22.91     26.78  --
955.52/239.52	c  N dy  7098   1749576       667     41617         0     61355    201672    629330     22.88     24.33  --
967.49/242.58	c  N dy  7236   1769626       667     41617         0     81242    201672   1366775     22.90     26.40  --
981.43/246.07	c  N dy  7361   1789691       667     41617         0    101140    201672   2092372     22.92     24.20  --
996.20/249.79	c  N dy  7475   1809974       667     41617         0     62849    201672    644571     22.93     24.27  --
1008.56/252.84	c  N dy  7599   1830096       667     41617         0     82822    201672   1382194     22.95     24.20  --
1021.34/256.05	c  N dy  7650   1850175       667     41617         0    102661    201672   2152586     22.94     24.43  --
1035.70/259.61	c  N dy  7735   1870452       667     41617         0     63351    201672    621420     22.94     24.20  --
1047.67/262.64	c  N dy  7832   1890953       667     41617         0     83623    201672   1374361     22.95     24.16  --
1103.96/276.72	c  N dy  7899   1964362       667     41617         0     95897    201672   1964781     22.83     24.06  --
1118.29/280.36	c  N dy  7959   1986150       667     41617         0    117440    201672   2794372     22.82     24.09  --
1131.45/283.65	c  N dy  8057   2006151       667     41617         0     75929    201672   1027789     22.83     24.44  --
1144.63/286.95	c  N dy  8159   2026543       667     41617         0     96115    201672   1760558     22.84     24.21  --
1166.96/292.56	c  N dy  8176   2055729       667     41617         0     62753    201672    516189     22.78     24.02  --
1179.33/295.69	c  N dy  8282   2076744       667     41617         0     83565    201672   1292511     22.79     24.22  --
1201.28/301.19	c  N dy  8360   2107534       667     41617         0    113976    201672   2435540     22.78     24.05  --
1219.63/305.74	c  N dy  8495   2132694       667     41617         0     75625    201671    987992     22.80     24.27  --
1232.00/308.87	c  N dy  8559   2152776       667     41617         0     95485    201671   1739333     22.79     27.04  --
1246.37/312.48	c  N dy  8660   2172807       667     41617         0    115335    201671   2472757     22.80     26.16  --
1276.29/319.93	c  N dy  8694   2214561       667     41617         0     92395    201671   1648802     22.76     24.11  --
1290.25/323.48	c  N dy  8795   2234649       667     41617         0    112270    201671   2362754     22.76     26.52  --
1346.91/337.60	c  N dy  8845   2304469       667     41617         0    116144    201671   2618847     22.65     23.87  --
1361.68/341.32	c  N dy  8889   2324541       667     41617         0     69763    201671    661787     22.64     24.03  --
1374.44/344.53	c  N dy  9021   2344609       667     41617         0     89643    201671   1390122     22.66     28.27  --
1388.41/348.08	c  N dy  9097   2365159       667     41617         0    110010    201671   2192464     22.65     23.87  --
1405.17/352.21	c  N dy  9241   2385563       667     41617         0    130252    201671   2935267     22.67     23.99  --
1419.13/355.78	c  N dy  9367   2406695       667     41617         0     83896    201671   1150088     22.68     23.92  --
1433.48/359.31	c  N dy  9456   2426747       667     41617         0    103680    201671   1898560     22.69     29.39  --
1449.06/363.24	c  N dy  9582   2446793       667     41617         0    123555    201671   2639661     22.70     25.48  --
1465.40/367.38	c  N dy  9732   2466849       667     41617         0     75180    201671    790520     22.72     23.99  --
1478.98/370.76	c  N dy  9855   2486928       667     41617         0     95081    201671   1521988     22.73     24.52  --
1493.74/374.46	c  N dy  9968   2507002       667     41617         0    115000    201671   2268138     22.75     26.46  --
1514.49/379.62	c  N dy 10039   2533173       667     41617         0     71593    201671    645219     22.74     23.98  --
1526.85/382.71	c  N dy 10122   2553244       667     41617         0     91484    201671   1387275     22.74     24.74  --
1540.82/386.24	c  N dy 10233   2573302       667     41617         0    111355    201671   2127592     22.75     24.45  --
1555.60/389.91	c  N dy 10271   2593732       667     41617         0    131538    201671   2897345     22.73     24.21  --
1571.14/393.84	c  N dy 10395   2614548       667     41617         0     81949    201671   1003791     22.74     24.06  --
1584.71/397.25	c  N dy 10508   2634566       667     41617         0    101797    201671   1733642     22.75     29.85  --
1599.49/400.98	c  N dy 10587   2654604       667     41617         0    121644    201671   2496223     22.75     26.16  --
1626.59/407.70	c  N dy 10677   2689510       667     41617         0     84977    201671   1143540     22.74     23.95  --
1640.17/411.17	c  N dy 10796   2709592       667     41617         0    104870    201671   1876200     22.74     28.94  --
1654.93/414.80	c  N dy 10846   2730004       667     41617         0    125083    201671   2643510     22.74     24.01  --
1673.28/419.41	c  N dy 10975   2750037       667     41617         0     72656    201671    585205     22.75     25.92  --
1686.05/422.66	c  N dy 11089   2770106       667     41617         0     92544    201671   1332680     22.76     24.31  --
1700.02/426.13	c  N dy 11179   2790190       667     41617         0    112431    201671   2098676     22.76     24.01  --
1715.98/430.12	c  N dy 11255   2810238       667     41617         0    132232    201671   2862581     22.76     24.41  --
1731.58/434.09	c  N dy 11331   2830241       667     41617         0     78792    201671    782665     22.77     24.06  --
1745.51/437.54	c  N dy 11469   2850263       667     41617         0     98634    201671   1514116     22.78     28.18  --
1760.67/441.36	c  N dy 11582   2870340       667     41617         0    118517    201671   2243829     22.79     29.94  --
1799.76/451.16	c  N dy 11650   2919508       667     41617         0     92734    201671   1351144     22.74     24.08  --
1814.55/454.81	c  N dy 11671   2939524       667     41617         0    112572    201671   2155800     22.72     25.34  --
1829.69/458.66	c  N dy 11772   2959552       667     41617         0    132451    201671   2892733     22.73     24.15  --
1847.65/463.11	c  N dy 11886   2979676       667     41617         0     77275    201671    669919     22.74     23.94  --
1860.41/466.37	c  N dy 11997   2999705       667     41617         0     97110    201671   1392236     22.74     26.84  --
1875.58/470.15	c  N dy 12141   3019783       667     41617         0    117012    201671   2134521     22.76     23.96  --
1891.94/474.27	c  N dy 12266   3040527       667     41617         0    137576    201671   2890229     22.77     24.20  --
1909.89/478.70	c  N dy 12401   3060581       667     41617         0     81312    201671    786970     22.78     25.35  --
1923.86/482.24	c  N dy 12555   3080609       667     41617         0    101182    201671   1521606     22.80     27.36  --
1939.42/486.18	c  N dy 12681   3100636       667     41617         0    121044    201671   2252912     22.81     27.89  --
1956.17/490.34	c  N dy 12753   3121594       667     41617         0    141781    201671   3018982     22.80     24.27  --
1973.72/494.77	c  N dy 12867   3142705       667     41617         0     85505    201671    920533     22.81     24.03  --
1987.69/498.29	c  N dy 12979   3162858       667     41617         0    105500    201671   1656177     22.82     24.08  --
2005.25/502.62	c  N dy 13096   3185234       667     41617         0    127658    201671   2478209     22.82     24.11  --
2023.20/507.19	c  N dy 13205   3206394       667     41617         0    148607    201671   3229942     22.83     24.17  --
2038.81/511.05	c  N dy 13233   3226761       667     41617         0     90611    201671   1112063     22.82     24.14  --
2061.10/516.63	c  N dy 13305   3257132       667     41617         0    120696    201671   2305084     22.81     24.21  --
2078.31/520.92	c  N dy 13336   3280354       667     41617         0    143722    201671   3215567     22.80     24.21  --
2128.14/533.48	c  N dy 13378   3340673       667     41617         0    124221    201671   2517118     22.75     24.03  --
2145.29/537.77	c  N dy 13506   3360697       667     41617         0    144080    201671   3264429     22.76     29.81  --
2163.24/542.22	c  N dy 13605   3380958       667     41617         0     83986    201671    772504     22.77     24.17  --
2177.21/545.71	c  N dy 13671   3402176       667     41617         0    104973    201671   1548560     22.76     23.97  --
2193.17/549.73	c  N dy 13782   3422834       667     41617         0    125426    201671   2325782     22.77     24.17  --
2210.32/554.00	c  N dy 13854   3443032       667     41617         0    145447    201671   3102923     22.77     24.06  --
2228.68/558.62	c  N dy 13977   3463216       667     41617         0     84301    201671    756549     22.78     24.04  --
2243.45/562.30	c  N dy 13989   3483261       667     41617         0    104234    201671   1606914     22.76     25.68  --
2258.60/566.11	c  N dy 14067   3503298       667     41617         0    124045    201671   2343536     22.75     23.96  --
2274.98/570.29	c  N dy 14180   3523346       667     41617         0    143913    201671   3076435     22.76     25.19  --
2292.53/574.66	c  N dy 14237   3543426       667     41617         0    163815    201671   3864253     22.76     23.97  --
2307.28/578.39	c  N dy 14349   3563695       667     41617         0    101696    201671   1363788     22.76     24.04  --
2335.61/585.46	c  N dy 14411   3600407       667     41617         0    138156    201671   2836290     22.74     24.11  --
2354.39/590.13	c  N dy 14529   3621365       667     41617         0    158926    201671   3614822     22.75     23.99  --
2370.73/594.28	c  N dy 14622   3641419       667     41617         0     95543    201671   1118212     22.75     24.03  --
2407.05/603.31	c  N dy 14697   3687289       667     41617         0    140963    201671   2931702     22.73     23.98  --
2429.00/608.82	c  N dy 14767   3713394       667     41617         0    166873    201671   3959694     22.72     23.99  --
2444.94/612.88	c  N dy 14884   3734761       667     41617         0    103874    201671   1401709     22.73     24.26  --
2458.11/616.17	c  F st 15002   3751563       667     41617         0    120510    201671   2016974     22.74   no data  --
2460.89/616.82	c  N st 15007   3754863       667     41617         0    123764    201671   2135667     22.74   no data  --
2476.87/620.82	c  N dy 15072   3774900       667     41617         0    143629    201671   2900945     22.74     27.70  --
2494.42/625.26	c  N dy 15165   3794994       667     41617         0    163580    201671   3650002     22.74     28.42  --
2510.77/629.38	c  N dy 15245   3816059       667     41617         0     99330    201671   1223595     22.74     24.19  --
2525.55/633.07	c  N dy 15317   3836123       667     41617         0    119180    201671   1954818     22.74     26.35  --
2542.69/637.35	c  N dy 15435   3856189       667     41617         0    139080    201671   2698709     22.75     24.67  --
2560.25/641.70	c  N dy 15491   3876237       667     41617         0    158902    201671   3480156     22.74     30.18  --
2578.64/646.34	c  N dy 15600   3896307       667     41617         0     92654    201671    925804     22.74     24.09  --
2604.56/652.90	c  N dy 15620   3927036       667     41617         0    123172    201671   2235703     22.73     24.06  --
2621.70/657.12	c  N dy 15627   3947067       667     41617         0    142902    201671   3048801     22.71     24.37  --
2642.05/662.20	c  N dy 15746   3968453       667     41617         0    164099    201671   3828334     22.72     24.00  --
2659.19/666.56	c  N dy 15842   3988872       667     41617         0     97202    201671   1050146     22.72     24.11  --
2675.96/670.74	c  N dy 15938   4011765       667     41617         0    119881    201671   1899882     22.72     24.27  --
2692.75/674.92	c  N dy 16060   4031844       667     41617         0    139778    201671   2648193     22.72     27.00  --
2711.46/679.61	c  N dy 16160   4052412       667     41617         0    160169    201671   3408927     22.73     24.15  --
2729.01/684.07	c  N dy 16211   4072482       667     41617         0     91943    201671    853968     22.72     27.72  --
2744.19/687.88	c  N dy 16346   4092861       667     41617         0    112142    201671   1598928     22.73     24.09  --
2760.54/691.94	c  N dy 16466   4112872       667     41617         0    131951    201671   2324898     22.74     25.70  --
2776.90/696.07	c  N dy 16546   4132875       667     41617         0    151719    201671   3032568     22.74     28.94  --
2797.26/701.12	c  N dy 16629   4154948       667     41617         0    173581    201671   3894207     22.74     24.05  --
2812.82/705.03	c  N dy 16701   4175013       667     41617         0    104316    201671   1277737     22.73     24.61  --
2828.81/709.04	c  N dy 16835   4195054       667     41617         0    124189    201671   2002002     22.74     24.59  --
2859.90/716.80	c  N dy 16942   4231885       667     41617         0    160764    201671   3471683     22.73     24.09  --
2880.25/721.91	c  N dy 17035   4252205       667     41617         0     90795    201671    740734     22.73     24.12  --
2894.23/725.47	c  N dy 17143   4272270       667     41617         0    110684    201671   1488746     22.74     27.81  --
2910.17/729.47	c  N dy 17247   4292333       667     41617         0    130557    201671   2223034     22.74     28.57  --
2928.53/734.00	c  N dy 17359   4313185       667     41617         0    151189    201671   2980579     22.75     23.97  --
2968.85/744.15	c  N dy 17473   4359101       667     41617         0    105708    201671   1360060     22.73     24.15  --
2983.98/747.99	c  N dy 17550   4379106       667     41617         0    125566    201671   2112461     22.73     29.11  --
3001.54/752.35	c  N dy 17683   4399148       667     41617         0    145415    201671   2832194     22.73     26.11  --
3019.91/756.98	c  N dy 17798   4419197       667     41617         0    165291    201671   3571244     22.74     24.03  --
3041.05/762.23	c  N dy 17904   4439536       667     41617         0     93293    201671    780791     22.75     24.45  --
3056.63/766.19	c  N dy 18052   4459718       667     41617         0    113326    201671   1504415     22.75     24.10  --
3073.37/770.39	c  N dy 18180   4479778       667     41617         0    133202    201671   2233444     22.76     25.54  --
3090.93/774.73	c  N dy 18282   4500221       667     41617         0    153438    201671   2986318     22.77     24.27  --
3108.08/779.04	c  N dy 18337   4520247       667     41617         0    173267    201671   3763411     22.76     30.13  --
3135.63/786.00	c  N dy 18415   4552304       667     41617         0    111916    201671   1529208     22.75     23.99  --
3151.57/789.95	c  N dy 18503   4572361       667     41617         0    131800    201671   2293771     22.75     25.75  --
3175.13/795.85	c  N dy 18664   4598745       667     41617         0    157952    201671   3291703     22.76     24.31  --
3204.24/803.13	c  N dy 18725   4631569       667     41617         0     96344    201671    843350     22.75     24.18  --
3219.44/806.98	c  N dy 18828   4651608       667     41617         0    116229    201671   1600986     22.75     25.96  --
3237.76/811.54	c  N dy 18957   4673360       667     41617         0    137754    201671   2406528     22.76     24.01  --
3256.91/816.33	c  N dy 19096   4693402       667     41617         0    157635    201671   3142464     22.77     29.00  --
3277.26/821.43	c  N dy 19201   4714107       667     41617         0    178143    201671   3901285     22.77     24.21  --
3296.82/826.39	c  N dy 19304   4734225       667     41617         0    102995    201671   1061498     22.77     24.30  --
3313.17/830.46	c  N dy 19440   4754237       667     41617         0    122814    201671   1791850     22.78     25.39  --
3330.32/834.70	c  N dy 19545   4774297       667     41617         0    142657    201671   2550262     22.78     27.88  --
3348.68/839.32	c  N dy 19646   4794347       667     41617         0    162568    201671   3311061     22.79     27.35  --
3372.23/845.24	c  N dy 19756   4818240       667     41617         0    186237    201671   4207316     22.79     24.08  --
3391.78/850.12	c  N dy 19861   4840241       667     41617         0    111995    201671   1359281     22.80     24.03  --
3407.34/854.10	c  N dy 19948   4860247       667     41617         0    131741    201671   2087011     22.80     24.05  --
3425.73/858.67	c  N dy 20063   4880265       667     41617         0    151564    201671   2809591     22.80     29.83  --
3446.84/863.93	c  N dy 20169   4902835       667     41617         0    173939    201671   3632362     22.81     24.06  --
3468.79/869.43	c  N dy 20231   4925207       667     41617         0     99120    201671    854044     22.80     24.01  --
3484.74/873.40	c  N dy 20274   4945547       667     41617         0    119194    201671   1633830     22.80     24.13  --
3501.51/877.68	c  N dy 20397   4965554       667     41617         0    139005    201671   2357683     22.80     27.50  --
3520.65/882.47	c  N dy 20540   4985614       667     41617         0    158929    201671   3098452     22.81     24.43  --
3541.80/887.80	c  N dy 20616   5008743       667     41617         0    181856    201671   4002818     22.81     24.04  --
3574.55/896.00	c  N dy 20687   5044810       667     41617         0    119570    201671   1675370     22.80     24.00  --
3593.27/900.64	c  N dy 20838   5065047       667     41617         0    139651    201671   2424873     22.81     24.01  --
3612.02/905.39	c  N dy 20970   5085095       667     41617         0    159531    201671   3158506     22.81     28.36  --
3632.38/910.40	c  N dy 20990   5107409       667     41617         0    181448    201671   4005262     22.80     24.06  --
3653.96/915.85	c  N dy 21101   5127414       667     41617         0    102360    201671    918546     22.80     25.75  --
3668.69/919.53	c  N dy 21152   5147491       667     41617         0    122259    201671   1683124     22.80     29.51  --
3686.24/923.94	c  N dy 21284   5167641       667     41617         0    142256    201671   2425179     22.81     24.30  --
3718.57/932.06	c  N dy 21377   5202592       667     41617         0    176602    201671   3757629     22.80     24.09  --
3739.71/937.36	c  N dy 21498   5222593       667     41617         0    196420    201671   4510075     22.81     28.06  --
3757.27/941.79	c  N dy 21617   5242653       667     41617         0    116480    201671   1414492     22.81     27.97  --
3776.44/946.57	c  N dy 21728   5265011       667     41617         0    138573    201671   2203472     22.81     24.04  --
3796.37/951.50	c  N dy 21834   5287351       667     41617         0    160713    201671   3037234     22.82     24.40  --
3815.94/956.50	c  N dy 21944   5307506       667     41617         0    180671    201671   3774903     22.82     24.08  --
3836.27/961.56	c  N dy 22030   5327569       667     41617         0    200549    201671   4528936     22.82     29.20  --
3854.23/966.02	c  N dy 22135   5348497       667     41617         0    120385    201671   1550955     22.83     24.04  --
3870.98/970.21	c  N dy 22238   5368582       667     41617         0    140287    201671   2288965     22.83     24.08  --
3888.94/974.79	c  N dy 22328   5388811       667     41617         0    160321    201671   3038182     22.83     24.37  --
3908.88/979.74	c  N dy 22431   5409121       667     41617         0    180380    201671   3784122     22.83     24.15  --
3930.06/985.10	c  N dy 22539   5429259       667     41617         0    200311    201671   4507479     22.84     24.39  --
3948.39/989.68	c  N dy 22671   5449301       667     41617         0    118302    201671   1428084     22.84     25.11  --
3965.59/993.93	c  N dy 22751   5470430       667     41617         0    139200    201671   2214630     22.84     24.05  --
3985.10/998.81	c  N dy 22792   5493612       667     41617         0    162225    201671   3133853     22.84     24.09  --
4005.85/1004.05	c  N dy 22921   5513633       667     41617         0    182103    201671   3884938     22.84     24.05  --
4031.01/1010.33	c  N dy 22986   5538011       667     41617         0    103340    201671    836463     22.84     24.17  --
4046.95/1014.37	c  N dy 23102   5558298       667     41617         0    123433    201671   1608820     22.84     24.06  --
4064.10/1018.69	c  N dy 23194   5578674       667     41617         0    143629    201671   2355979     22.85     24.20  --
4084.09/1023.67	c  N dy 23328   5598898       667     41617         0    163662    201671   3077173     22.85     24.32  --
4107.20/1029.45	c  N dy 23427   5622703       667     41617         0    187193    201671   3975013     22.85     24.12  --
4153.90/1041.17	c  N dy 23494   5669341       667     41617         0    129107    201671   1806312     22.83     24.06  --
4173.83/1046.19	c  N dy 23562   5692540       667     41617         0    152056    201671   2705792     22.82     24.07  --
4194.58/1051.31	c  N dy 23704   5712727       667     41617         0    172035    201671   3446532     22.83     24.14  --
4214.53/1056.35	c  N dy 23816   5732811       667     41617         0    191906    201671   4164153     22.83     24.32  --
4239.27/1062.56	c  N dy 23893   5757494       667     41617         0    111589    201671   1098292     22.83     24.10  --
4256.02/1066.73	c  N dy 24029   5777506       667     41617         0    131388    201671   1829161     22.84     29.58  --
4275.18/1071.51	c  N dy 24141   5798421       667     41617         0    152100    201671   2587899     22.84     24.06  --
4295.53/1076.62	c  N dy 24264   5818487       667     41617         0    171998    201671   3335765     22.85     26.51  --
4318.27/1082.33	c  N dy 24416   5838815       667     41617         0    192151    201671   4072914     22.86     24.08  --
4344.61/1088.94	c  N dy 24457   5867109       667     41617         0    114211    201671   1182838     22.85     24.32  --
4362.16/1093.38	c  N dy 24614   5887157       667     41617         0    134068    201671   1910432     22.86     27.49  --
4380.92/1098.01	c  N dy 24676   5908387       667     41617         0    155060    201671   2738026     22.85     24.15  --
4401.66/1103.24	c  N dy 24798   5929499       667     41617         0    175966    201671   3526947     22.86     24.22  --
4421.64/1108.25	c  N dy 24857   5949660       667     41617         0    195937    201671   4325178     22.85     24.09  --
4444.76/1114.03	c  N dy 24968   5969685       667     41617         0    109009    201671    933712     22.86     24.37  --
4461.91/1118.31	c  N dy 25127   5989719       667     41617         0    128882    201671   1664773     22.87     24.26  --
4479.87/1122.80	c  N dy 25233   6009807       667     41617         0    148788    201671   2437362     22.87     27.47  --
4500.23/1127.99	c  N dy 25362   6030329       667     41617         0    169112    201671   3189019     22.88     24.13  --
4521.38/1133.24	c  N dy 25450   6050725       667     41617         0    189308    201671   3954550     22.88     24.17  --
4543.32/1138.73	c  N dy 25545   6070795       667     41617         0    209166    201671   4724387     22.88     25.48  --
4562.86/1143.67	c  N dy 25625   6090822       667     41617         0    121159    201671   1332419     22.88     24.14  --
4581.22/1148.24	c  N dy 25764   6110960       667     41617         0    141126    201671   2072458     22.89     24.54  --
4599.58/1152.89	c  N dy 25869   6131194       667     41617         0    161139    201671   2792845     22.89     24.35  --
4619.15/1157.76	c  N dy 25956   6151428       667     41617         0    181107    201671   3541676     22.89     24.16  --
4642.66/1163.62	c  N dy 26037   6174349       667     41617         0    203772    201671   4405814     22.89     24.13  --
4666.61/1169.64	c  N dy 26075   6200039       667     41617         0    120451    201671   1334889     22.88     24.09  --
4684.57/1174.10	c  N dy 26203   6220442       667     41617         0    140696    201671   2094156     22.89     24.15  --
4709.70/1180.48	c  N dy 26301   6249350       667     41617         0    169296    201671   3152963     22.89     24.12  --
4731.25/1185.82	c  N dy 26419   6269391       667     41617         0    189119    201671   3867385     22.89     24.22  --
4756.38/1192.13	c  N dy 26478   6295072       667     41617         0    214603    201671   4892362     22.89     24.13  --
4776.34/1197.19	c  N dy 26612   6315157       667     41617         0    124673    201671   1409458     22.89     27.73  --
4799.11/1202.82	c  N dy 26656   6340171       667     41617         0    149414    201671   2397975     22.88     24.17  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369118-1305413819/watcher-3369118-1305413819 -o /tmp/evaluation-result-3369118-1305413819/solver-3369118-1305413819 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369118-1305413819.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: 7.77 8.04 7.73 6/317 10898
/proc/meminfo: memFree=21470008/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 731612349 52465664 356 33554432000 4194304 4650419 140737181418704 18446744073709551615 252458065851 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10898/statm: 12809 356 306 112 0 7774 0
[pid=10898/tid=10899] ppid=10896 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731612350 52465664 356 33554432000 4194304 4650419 140737181418704 18446744073709551615 47089224705561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731612350 52465664 356 33554432000 4194304 4650419 140737181418704 18446744073709551615 47089224705970 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731612350 52465664 356 33554432000 4194304 4650419 140737181418704 18446744073709551615 47089224705555 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0903779 s]
/proc/loadavg: 7.77 8.04 7.73 6/317 10898
/proc/meminfo: memFree=21470008/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=298540 CPUtime=0.3 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 12613 0 0 0 25 5 0 0 18 0 4 0 731612349 305704960 12388 33554432000 4194304 4650419 140737181418704 18446744073709551615 252458170911 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10898/statm: 74635 12388 367 112 0 69600 0
[pid=10898/tid=10899] ppid=10896 vsize=298540 CPUtime=0.07 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 3006 0 0 0 6 1 0 0 18 0 4 0 731612350 305704960 12388 33554432000 4194304 4650419 140737181418704 18446744073709551615 252457734629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=298540 CPUtime=0.06 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 2992 0 0 0 5 1 0 0 18 0 4 0 731612350 305704960 12388 33554432000 4194304 4650419 140737181418704 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=298540 CPUtime=0.06 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 3061 0 0 0 6 0 0 0 18 0 4 0 731612350 305704960 12388 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 298540

[startup+0.716864 s]
/proc/loadavg: 7.77 8.04 7.73 6/317 10898
/proc/meminfo: memFree=21470008/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=339816 CPUtime=2.8 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) D 10896 10898 10621 0 -1 4202496 14350 0 0 0 275 5 0 0 18 0 4 0 731612349 347971584 13674 33554432000 4194304 4650419 140737181418704 18446744073709551615 252457763466 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10898/statm: 84954 13674 370 112 0 79919 0
[pid=10898/tid=10899] ppid=10896 vsize=339816 CPUtime=0.7 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) D 10896 10898 10621 0 -1 4202560 4017 0 0 0 69 1 0 0 18 0 4 0 731612350 347971584 13674 33554432000 4194304 4650419 140737181418704 18446744073709551615 4514355 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=339816 CPUtime=0.68 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 2993 0 0 0 67 1 0 0 18 0 4 0 731612350 347971584 13674 33554432000 4194304 4650419 140737181418704 18446744073709551615 252458109287 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=339816 CPUtime=0.7 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 3481 0 0 0 69 1 0 0 18 0 4 0 731612350 347971584 13674 33554432000 4194304 4650419 140737181418704 18446744073709551615 4328302 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 339816

[startup+0.800359 s]
/proc/loadavg: 7.77 8.04 7.73 6/317 10898
/proc/meminfo: memFree=21470008/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=333580 CPUtime=3.13 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 33223 0 0 0 304 9 0 0 18 0 4 0 731612349 341585920 25943 33554432000 4194304 4650419 140737181418704 18446744073709551615 4449563 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10898/statm: 83395 25943 384 112 0 78360 0
[pid=10898/tid=10899] ppid=10896 vsize=333580 CPUtime=0.78 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 9704 0 0 0 76 2 0 0 18 0 4 0 731612350 341585920 25943 33554432000 4194304 4650419 140737181418704 18446744073709551615 4504216 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=333580 CPUtime=0.77 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 9691 0 0 0 74 3 0 0 18 0 4 0 731612350 341585920 25943 33554432000 4194304 4650419 140737181418704 18446744073709551615 4470486 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=333580 CPUtime=0.78 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 3540 0 0 0 77 1 0 0 18 0 4 0 731612350 341585920 25943 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 333580

[startup+0.900344 s]
/proc/loadavg: 7.77 8.04 7.73 6/317 10898
/proc/meminfo: memFree=21470008/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=336800 CPUtime=3.53 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 34993 0 0 0 343 10 0 0 18 0 4 0 731612349 344883200 27711 33554432000 4194304 4650419 140737181418704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10898/statm: 84200 27711 385 112 0 79165 0
[pid=10898/tid=10899] ppid=10896 vsize=336800 CPUtime=0.88 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 10280 0 0 0 86 2 0 0 18 0 4 0 731612350 344883200 27711 33554432000 4194304 4650419 140737181418704 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=336800 CPUtime=0.87 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 10267 0 0 0 84 3 0 0 18 0 4 0 731612350 344883200 27711 33554432000 4194304 4650419 140737181418704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=336800 CPUtime=0.88 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 3582 0 0 0 87 1 0 0 18 0 4 0 731612350 344883200 27711 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365422 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 336800

[startup+1.50024 s]
/proc/loadavg: 7.77 8.04 7.73 6/317 10898
/proc/meminfo: memFree=21470008/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=344020 CPUtime=5.93 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 38836 0 0 0 583 10 0 0 18 0 4 0 731612349 352276480 30076 33554432000 4194304 4650419 140737181418704 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10898/statm: 86005 30076 387 112 0 80970 0
[pid=10898/tid=10899] ppid=10896 vsize=344020 CPUtime=1.48 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 11428 0 0 0 146 2 0 0 19 0 4 0 731612350 352276480 30076 33554432000 4194304 4650419 140737181418704 18446744073709551615 4205240 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=344020 CPUtime=1.47 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 11388 0 0 0 144 3 0 0 18 0 4 0 731612350 352276480 30076 33554432000 4194304 4650419 140737181418704 18446744073709551615 4433204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=344020 CPUtime=1.48 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 3836 0 0 0 147 1 0 0 19 0 4 0 731612350 352276480 30076 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 344020

[startup+3.10093 s]
/proc/loadavg: 7.77 8.04 7.73 9/321 10902
/proc/meminfo: memFree=21308180/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=381980 CPUtime=12.31 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 50356 0 0 0 1218 13 0 0 21 0 4 0 731612349 391147520 40965 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363582 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 95495 40965 394 112 0 90460 0
[pid=10898/tid=10899] ppid=10896 vsize=381980 CPUtime=3.07 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 14615 0 0 0 305 2 0 0 22 0 4 0 731612350 391147520 40966 33554432000 4194304 4650419 140737181418704 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=381980 CPUtime=3.05 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 15367 0 0 0 302 3 0 0 21 0 4 0 731612350 391147520 40966 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=381980 CPUtime=3.08 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 4686 0 0 0 307 1 0 0 25 0 4 0 731612350 391147520 40966 33554432000 4194304 4650419 140737181418704 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 381980

[startup+6.30034 s]
/proc/loadavg: 7.87 8.05 7.73 9/321 10902
/proc/meminfo: memFree=21244444/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=472164 CPUtime=25.07 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 75396 0 0 0 2490 17 0 0 25 0 4 0 731612349 483495936 56289 33554432000 4194304 4650419 140737181418704 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 118041 56289 396 112 0 113006 0
[pid=10898/tid=10899] ppid=10896 vsize=472164 CPUtime=6.27 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 18884 0 0 0 624 3 0 0 25 0 4 0 731612350 483495936 56289 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=472164 CPUtime=6.26 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 19129 0 0 0 622 4 0 0 25 0 4 0 731612350 483495936 56289 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=472164 CPUtime=6.28 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 17243 0 0 0 625 3 0 0 25 0 4 0 731612350 483495936 56289 33554432000 4194304 4650419 140737181418704 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 472164

[startup+12.7121 s]
/proc/loadavg: 7.88 8.05 7.73 9/321 10902
/proc/meminfo: memFree=21204920/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=558144 CPUtime=50.65 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 94676 0 0 0 5044 21 0 0 25 0 4 0 731612349 571539456 65414 33554432000 4194304 4650419 140737181418704 18446744073709551615 4315467 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 139536 65414 396 112 0 134501 0
[pid=10898/tid=10899] ppid=10896 vsize=558144 CPUtime=12.68 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 22380 0 0 0 1264 4 0 0 25 0 4 0 731612350 571539456 65414 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=558144 CPUtime=12.67 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 21803 0 0 0 1263 4 0 0 25 0 4 0 731612350 571539456 65414 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=558144 CPUtime=12.69 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 26089 0 0 0 1264 5 0 0 25 0 4 0 731612350 571539456 65414 33554432000 4194304 4650419 140737181418704 18446744073709551615 4334464 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 558144

[startup+25.5008 s]
/proc/loadavg: 7.91 8.05 7.74 9/321 10903
/proc/meminfo: memFree=21185436/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=558620 CPUtime=101.68 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 110553 0 0 0 10144 24 0 0 25 0 4 0 731612349 572026880 70409 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 139655 70409 396 112 0 134620 0
[pid=10898/tid=10899] ppid=10896 vsize=558620 CPUtime=25.47 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 23335 0 0 0 2543 4 0 0 25 0 4 0 731612350 572026880 70409 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=558620 CPUtime=25.46 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 22934 0 0 0 2542 4 0 0 25 0 4 0 731612350 572026880 70409 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=558620 CPUtime=25.48 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 33251 0 0 0 2541 7 0 0 25 0 4 0 731612350 572026880 70409 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 558620

[startup+51.101 s]
/proc/loadavg: 7.94 8.04 7.74 9/321 10903
/proc/meminfo: memFree=21184280/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=570772 CPUtime=203.84 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 137173 0 0 0 20355 29 0 0 25 0 4 0 731612349 584470528 79157 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 142693 79157 396 112 0 137658 0
[pid=10898/tid=10899] ppid=10896 vsize=570772 CPUtime=51.08 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 26324 0 0 0 5103 5 0 0 25 0 4 0 731612350 584470528 79159 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=570772 CPUtime=51.07 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 24655 0 0 0 5102 5 0 0 25 0 4 0 731612350 584470528 79159 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=570772 CPUtime=51.1 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 44800 0 0 0 5100 10 0 0 25 0 4 0 731612350 584470528 79159 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 570772

[startup+102.3 s]
/proc/loadavg: 8.09 8.07 7.76 9/321 10905
/proc/meminfo: memFree=21194836/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=560476 CPUtime=408.1 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 179319 0 0 0 40768 42 0 0 25 0 4 0 731612349 573927424 82677 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366506 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 140119 82677 396 112 0 135084 0
[pid=10898/tid=10899] ppid=10896 vsize=560476 CPUtime=102.27 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 30153 0 0 0 10221 6 0 0 25 0 4 0 731612350 573927424 82677 33554432000 4194304 4650419 140737181418704 18446744073709551615 4514393 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=560476 CPUtime=102.26 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 28638 0 0 0 10220 6 0 0 25 0 4 0 731612350 573927424 82677 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=560476 CPUtime=102.28 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 62388 0 0 0 10213 15 0 0 25 0 4 0 731612350 573927424 82678 33554432000 4194304 4650419 140737181418704 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 560476

[startup+162.312 s]

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

[pid=10898] ppid=10896 vsize=807092 CPUtime=2802.06 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 502412 0 0 0 280035 171 0 0 25 0 4 0 731612349 826462208 103633 33554432000 4194304 4650419 140737181418704 18446744073709551615 4313463 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 201773 103633 396 112 0 196738 0
[pid=10898/tid=10899] ppid=10896 vsize=807092 CPUtime=702.27 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 61027 0 0 0 70208 19 0 0 25 0 4 0 731612350 826462208 103636 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=807092 CPUtime=702.22 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 58604 0 0 0 70204 18 0 0 25 0 4 0 731612350 826462208 103636 33554432000 4194304 4650419 140737181418704 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=807092 CPUtime=702.29 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 194213 0 0 0 70162 67 0 0 25 0 4 0 731612350 826462208 103636 33554432000 4194304 4650419 140737181418704 18446744073709551615 4315143 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.06
Current children cumulated vsize (KiB) 807092

[startup+762.301 s]
/proc/loadavg: 4.65 6.78 7.44 5/312 10949
/proc/meminfo: memFree=22532764/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=795476 CPUtime=3041.45 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 546085 0 0 0 303956 189 0 0 25 0 4 0 731612349 814567424 97195 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 198869 97195 396 112 0 193834 0
[pid=10898/tid=10899] ppid=10896 vsize=795476 CPUtime=762.26 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 74723 0 0 0 76202 24 0 0 25 0 4 0 731612350 814567424 97195 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=795476 CPUtime=762.21 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 63048 0 0 0 76201 20 0 0 25 0 4 0 731612350 814567424 97195 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=795476 CPUtime=762.29 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 205808 0 0 0 76156 73 0 0 25 0 4 0 731612350 814567424 97195 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.45
Current children cumulated vsize (KiB) 795476

[startup+822.312 s]
/proc/loadavg: 4.24 6.27 7.22 5/312 10951
/proc/meminfo: memFree=22537408/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=739148 CPUtime=3280.89 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 597791 0 0 0 327880 209 0 0 25 0 4 0 731612349 756887552 99089 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 184787 99089 396 112 0 179752 0
[pid=10898/tid=10899] ppid=10896 vsize=739148 CPUtime=822.27 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 91867 0 0 0 82196 31 0 0 25 0 4 0 731612350 756887552 99089 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=739148 CPUtime=822.23 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 67165 0 0 0 82200 23 0 0 25 0 4 0 731612350 756887552 99089 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=739148 CPUtime=822.29 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 221326 0 0 0 82151 78 0 0 25 0 4 0 731612350 756887552 99089 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.89
Current children cumulated vsize (KiB) 739148

[startup+882.301 s]
/proc/loadavg: 4.13 5.87 7.02 5/312 10953
/proc/meminfo: memFree=22552188/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=681980 CPUtime=3520.26 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 651062 0 0 0 351799 227 0 0 25 0 4 0 731612349 698347520 95785 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 170495 95785 396 112 0 165460 0
[pid=10898/tid=10899] ppid=10896 vsize=681980 CPUtime=882.26 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 108631 0 0 0 88189 37 0 0 25 0 4 0 731612350 698347520 95785 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=681980 CPUtime=882.22 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 71765 0 0 0 88197 25 0 0 25 0 4 0 731612350 698347520 95785 33554432000 4194304 4650419 140737181418704 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=681980 CPUtime=882.29 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 236671 0 0 0 88145 84 0 0 25 0 4 0 731612350 698347520 95785 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.26
Current children cumulated vsize (KiB) 681980

[startup+942.3 s]
/proc/loadavg: 4.05 5.53 6.83 5/312 10954
/proc/meminfo: memFree=22519784/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=721104 CPUtime=3759.66 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 700213 0 0 0 375721 245 0 0 25 0 4 0 731612349 738410496 103804 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 180276 103804 396 112 0 175241 0
[pid=10898/tid=10899] ppid=10896 vsize=721104 CPUtime=942.26 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 123148 0 0 0 94183 43 0 0 25 0 4 0 731612350 738410496 103805 33554432000 4194304 4650419 140737181418704 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=721104 CPUtime=942.21 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 76041 0 0 0 94195 26 0 0 25 0 4 0 731612350 738410496 103805 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=721104 CPUtime=942.28 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 250336 0 0 0 94139 89 0 0 25 0 4 0 731612350 738410496 103805 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3759.66
Current children cumulated vsize (KiB) 721104

[startup+1002.3 s]
/proc/loadavg: 4.06 5.26 6.65 5/312 10956
/proc/meminfo: memFree=22527176/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=662760 CPUtime=3999.06 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 744088 0 0 0 399644 262 0 0 25 0 4 0 731612349 678666240 102030 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 165690 102030 396 112 0 160655 0
[pid=10898/tid=10899] ppid=10896 vsize=662760 CPUtime=1002.27 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 139527 0 0 0 100179 48 0 0 25 0 4 0 731612350 678666240 102030 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=662760 CPUtime=1002.21 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 80558 0 0 0 100193 28 0 0 25 0 4 0 731612350 678666240 102030 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=662760 CPUtime=1002.29 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 259079 0 0 0 100135 94 0 0 25 0 4 0 731612350 678666240 102030 33554432000 4194304 4650419 140737181418704 18446744073709551615 4339794 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.06
Current children cumulated vsize (KiB) 662760

[startup+1062.3 s]
/proc/loadavg: 4.06 5.04 6.49 5/312 10957
/proc/meminfo: memFree=22508004/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=664376 CPUtime=4238.47 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 790165 0 0 0 423567 280 0 0 25 0 4 0 731612349 680321024 106800 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 166094 106800 396 112 0 161059 0
[pid=10898/tid=10899] ppid=10896 vsize=664376 CPUtime=1062.27 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 153510 0 0 0 106173 54 0 0 25 0 4 0 731612350 680321024 106800 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=664376 CPUtime=1062.21 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 85525 0 0 0 106191 30 0 0 25 0 4 0 731612350 680321024 106800 33554432000 4194304 4650419 140737181418704 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=664376 CPUtime=1062.29 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 270686 0 0 0 106131 98 0 0 25 0 4 0 731612350 680321024 106800 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4238.47
Current children cumulated vsize (KiB) 664376

[startup+1122.3 s]
/proc/loadavg: 4.05 4.87 6.34 5/312 10959
/proc/meminfo: memFree=22507672/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=665168 CPUtime=4477.88 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 832765 0 0 0 447490 298 0 0 25 0 4 0 731612349 681132032 106929 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 166292 106929 396 112 0 161257 0
[pid=10898/tid=10899] ppid=10896 vsize=665168 CPUtime=1122.26 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 167396 0 0 0 112166 60 0 0 25 0 4 0 731612350 681132032 106929 33554432000 4194304 4650419 140737181418704 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=665168 CPUtime=1122.22 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 90775 0 0 0 112190 32 0 0 25 0 4 0 731612350 681132032 106929 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=665168 CPUtime=1122.29 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 280114 0 0 0 112126 103 0 0 25 0 4 0 731612350 681132032 106929 33554432000 4194304 4650419 140737181418704 18446744073709551615 4360431 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4477.88
Current children cumulated vsize (KiB) 665168

[startup+1182.3 s]
/proc/loadavg: 4.05 4.72 6.19 5/312 10961
/proc/meminfo: memFree=22483176/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=731780 CPUtime=4717.29 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 879869 0 0 0 471412 317 0 0 25 0 4 0 731612349 749342720 112825 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 182945 112825 396 112 0 177910 0
[pid=10898/tid=10899] ppid=10896 vsize=731780 CPUtime=1182.26 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 183998 0 0 0 118160 66 0 0 25 0 4 0 731612350 749342720 112825 33554432000 4194304 4650419 140737181418704 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=731780 CPUtime=1182.22 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 95013 0 0 0 118188 34 0 0 25 0 4 0 731612350 749342720 112825 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=731780 CPUtime=1182.3 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 292190 0 0 0 118122 108 0 0 25 0 4 0 731612350 749342720 112825 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.29
Current children cumulated vsize (KiB) 731780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 4.10 4.69 6.15 5/312 10961
/proc/meminfo: memFree=22506948/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=605452 CPUtime=4800.29 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 892008 0 0 0 479706 323 0 0 25 0 4 0 731612349 619982848 106542 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366857 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 151363 106542 396 112 0 146328 0
[pid=10898/tid=10899] ppid=10896 vsize=605452 CPUtime=1203.08 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 187249 0 0 0 120239 69 0 0 25 0 4 0 731612350 619982848 106543 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=605452 CPUtime=1203.04 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 97160 0 0 0 120268 36 0 0 25 0 4 0 731612350 619982848 106543 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=605452 CPUtime=1203.11 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 293266 0 0 0 120202 109 0 0 25 0 4 0 731612350 619982848 106543 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 605452

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

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

[startup+1203.1 s]
/proc/loadavg: 4.10 4.69 6.15 5/312 10961
/proc/meminfo: memFree=22506948/32951124 swapFree=59305796/67111528
[pid=10898] ppid=10896 vsize=605452 CPUtime=4800.29 cores=0,2,4,6
/proc/10898/stat : 10898 (strangenight1-m) R 10896 10898 10621 0 -1 4202496 892008 0 0 0 479706 323 0 0 25 0 4 0 731612349 619982848 106542 33554432000 4194304 4650419 140737181418704 18446744073709551615 4366857 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10898/statm: 151363 106542 396 112 0 146328 0
[pid=10898/tid=10899] ppid=10896 vsize=605452 CPUtime=1203.08 cores=0,2,4,6
/proc/10898/task/10899/stat : 10899 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 187249 0 0 0 120239 69 0 0 25 0 4 0 731612350 619982848 106543 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10898/tid=10900] ppid=10896 vsize=605452 CPUtime=1203.04 cores=0,2,4,6
/proc/10898/task/10900/stat : 10900 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 97160 0 0 0 120268 36 0 0 25 0 4 0 731612350 619982848 106543 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10898/tid=10901] ppid=10896 vsize=605452 CPUtime=1203.11 cores=0,2,4,6
/proc/10898/task/10901/stat : 10901 (strangenight1-m) R 10896 10898 10621 0 -1 4202560 293266 0 0 0 120202 109 0 0 25 0 4 0 731612350 619982848 106543 33554432000 4194304 4650419 140737181418704 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 605452

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.36
CPU user time (s): 4797.11
CPU system time (s): 3.2505
CPU usage (%): 398.987
Max. virtual memory (cumulated for all children) (KiB): 872728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.11
system time used= 3.2505
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 892011
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= 9944
involuntary context switches= 23423

runsolver used 3.64445 second user time and 8.41572 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-15 00:56:59
IDJOB=3369118
IDBENCH=83253
IDSOLVER=1846
FILE ID=node111/3369118-1305413819
RUNJOBID= node111-1305410850-10639
PBS_JOBID= 13324532
Free space on /tmp= 73656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369118-1305413819/watcher-3369118-1305413819 -o /tmp/evaluation-result-3369118-1305413819/solver-3369118-1305413819 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369118-1305413819.cnf

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

MD5SUM BENCH= 337bdbc5d8bf0013ca73aeffa06cffe8
RANDOM SEED=1048665179

node111.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.849
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.849
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	: 5428.12
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.849
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.75
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.849
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.86
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.849
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.75
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.849
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.83
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.849
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.67
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.849
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21469172 kB
Buffers:        265636 kB
Cached:        6523176 kB
SwapCached:      13720 kB
Active:        2393716 kB
Inactive:      8871020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21469172 kB
SwapTotal:    67111528 kB
SwapFree:     59305796 kB
Dirty:            8556 kB
Writeback:           0 kB
AnonPages:     4471112 kB
Mapped:          13256 kB
Slab:           115140 kB
PageTables:      39596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 55073884 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= 73668 MiB
End job on node111 at 2011-05-15 01:17:04