Trace number 3250363

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.31 1201.96

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
MD5SUMe252fbf81407f3388187ab50f0786909
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables34307
Number of clauses708206
Sum of the clauses size3541030
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 5708206
Number of clauses of size over 50

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-3250363-1304130637.cnf'
0.00/0.00	c -- header says num vars:          34307
0.00/0.00	c -- header says num clauses:      708206
1.55/0.42	c -- clauses added:            0 learnts,       708206 normals,            0 xors
1.55/0.42	c -- vars added      34307
1.55/0.42	c Parsing time:  1.50 s
1.55/0.42	c  N st     0         0     34307    708206         0         0   3541030         0   no data   no data  --
1.55/1.03	c asymm  cl-useful: 0/41100/708206 lits-rem:0 time: 2.44
6.36/1.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.5M T:  1.91
8.28/2.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.28/2.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.28/2.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34307 time:  0.00 s
8.28/2.18	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
17.44/4.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  8.88 s
17.44/4.44	c Finding binary XORs  T:     0.04 s  found:       0
19.83/5.02	c Finding non-binary XORs:     2.21 s (found:       0, avg size: nan)
19.83/5.02	c calculated reachability. Time: 0.00
19.83/5.08	c Calc default polars -  time:   0.25 s pos:       0 undec:   34307 neg:       0
19.83/5.08	c =========================================================================================
19.83/5.08	c types(t): F = full restart, N = normal restart
19.83/5.08	c types(t): S = simplification begin/end, E = solution found
19.83/5.08	c restart types(rt): st = static, dy = dynamic
19.83/5.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
19.83/5.08	c  B st     0         0     34307    708206         0         0   3541030         0   no data   no data  --
23.03/5.85	c  N dy    20      4300     34307    708206         0      4294   3541030   1008255    159.13    169.26  --
25.05/6.32	c  N dy    42      8305     34307    708206         0      8297   3541030   1815613    151.08    159.16  --
27.03/6.81	c  N dy    65     12337     34307    708206         0     12328   3541030   2595581    147.64    155.43  --
29.04/7.37	c  N dy    93     16380     34307    708206         0     16369   3541030   3400197    147.17    164.65  --
31.81/8.02	c  N dy   119     20484     34307    708206         0     10481   3541030    716324    146.11    154.60  --
33.83/8.54	c  N dy   145     24584     34307    708206         0     14580   3541030   1517968    145.84    164.93  --
33.83/8.59	c  F st   147     25001     34307    708206         0     14997   3541030   1594218    145.63    132.25  --
35.00/8.83	c Found part       41 vars:       4293 clauses:     88534 lits size:    442670
35.00/8.83	c Found part       48 vars:       4265 clauses:     86046 lits size:    430230
35.00/8.83	c Found part       63 vars:       4257 clauses:     85800 lits size:    429000
35.00/8.83	c Found part       66 vars:       4296 clauses:     89914 lits size:    449570
35.00/8.83	c Found part       67 vars:      17196 clauses:    357912 lits size:   1789560
35.00/8.83	c Found parts:          5 time: 0.94 s
35.00/8.83	c Solving part 63
35.40/8.92	c  N st     0         0      4257     85800         0         0    429000         0   no data   no data  --
37.00/9.38	c asymm  cl-useful: 0/85800/85800 lits-rem:0 time: 1.83
37.40/9.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
37.40/9.43	c Finding binary XORs  T:     0.01 s  found:       0
37.40/9.47	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
37.40/9.47	c calculated reachability. Time: 0.00
37.40/9.47	c Calc default polars -  time:   0.01 s pos:       0 undec:   34307 neg:       0
37.40/9.47	c =========================================================================================
37.40/9.47	c types(t): F = full restart, N = normal restart
37.40/9.47	c types(t): S = simplification begin/end, E = solution found
37.40/9.47	c restart types(rt): st = static, dy = dynamic
37.40/9.47	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
37.40/9.47	c  B st     0         0      4257     85800         0         0    429000         0   no data   no data  --
40.20/10.10	c  N dy    17      4285      4257     85800         0      4285    429000    965177    152.87    162.70  --
41.80/10.57	c  N dy    42      8397      4257     85800         0      8394    429000   1794414    150.25    158.53  --
43.79/11.06	c  N dy    69     12496      4257     85800         0     12490    429000   2621131    149.80    174.37  --
45.79/11.57	c  N dy    94     16511      4257     85800         0     16503    429000   3415634    148.37    196.45  --
48.19/12.14	c  N dy   119     20600      4257     85800         0     10595    429000    759543    148.43    186.45  --
50.19/12.67	c  N dy   145     24790      4257     85800         0     14783    429000   1586289    147.62    156.50  --
50.19/12.70	c  F st   147     25002      4257     85800         0     14995    429000   1629109    147.54   no data  --
52.98/13.36	c  N dy   153     30203      4257     85800         0     20193    429000   2848312    147.54   no data  --
55.39/13.93	c  N dy   178     34318      4257     85800         0     24305    429000   3687061    147.63    158.56  --
57.78/14.52	c  N dy   207     38407      4257     85800         0     28392    429000   4507898    147.97    156.79  --
60.20/15.12	c  N dy   233     42586      4257     85800         0     17081    429000   1036767    147.39    155.74  --
62.56/15.70	c  N dy   263     46747      4257     85800         0     21240    429000   1889594    147.70    157.45  --
64.59/16.25	c  N dy   289     50838      4257     85800         0     25330    429000   2691327    147.35    155.35  --
66.96/16.85	c  N dy   316     54877      4257     85800         0     29367    429000   3496990    147.29    157.51  --
69.35/17.46	c  N dy   342     58968      4257     85800         0     33457    429000   4314808    147.01    155.61  --
72.15/18.13	c  N dy   369     63124      4257     85800         0     18873    429000    716909    146.95    158.32  --
74.55/18.72	c  N dy   395     67247      4257     85800         0     22994    429000   1551585    146.78    155.41  --
76.95/19.33	c  N dy   420     71689      4257     85800         0     27436    429000   2431850    146.50    159.81  --
79.74/20.00	c  N dy   448     76303      4257     85800         0     32048    429000   3338278    146.23    155.31  --
82.54/20.75	c  N dy   478     81200      4257     85800         0     36944    429000   4288347    145.85    154.82  --
86.15/21.63	c  N dy   516     86380      4257     85800         0     21258    429000    712267    145.84    157.79  --
86.55/21.79	c  F st   524     87500      4257     85800         0     22376    429000    924494    145.78    121.85  --
89.73/22.51	c  N dy   530     92696      4257     85800         0     27566    429000   2186878    145.78   no data  --
93.33/23.40	c  N dy   565     98661      4257     85800         0     33528    429000   3378624    145.61    157.12  --
97.32/24.42	c  N dy   609    105014      4257     85800         0     39879    429000   4645291    145.70    155.25  --
101.72/25.58	c  N dy   658    111795      4257     85800         0     24236    429000    966734    145.82    181.60  --
106.11/26.63	c  N dy   708    119015      4257     85800         0     31453    429000   2394993    145.75    159.58  --
110.90/27.85	c  N dy   762    126638      4257     85800         0     39076    429000   3950102    145.95    155.11  --
116.50/29.23	c  N dy   810    134790      4257     85800         0     47223    429000   5572567    145.81    156.83  --
121.71/30.59	c  N dy   867    143680      4257     85800         0     32402    429000   2328247    145.89    158.53  --
127.68/32.07	c  N dy   927    152950      4257     85800         0     41669    429000   4164676    145.84    154.62  --
134.89/33.84	c  N dy  1002    162973      4257     85800         0     26834    429000    923432    145.95    163.49  --
141.26/35.45	c  N dy  1077    173433      4257     85800         0     37290    429000   3004461    146.01    174.37  --
148.84/37.38	c  N dy  1159    184700      4257     85800         0     48552    429000   5273453    146.15    157.93  --
156.45/39.27	c  N dy  1239    196485      4257     85800         0     34414    429000   2221821    146.11    154.34  --
164.82/41.39	c  N dy  1323    209164      4257     85800         0     47090    429000   4741212    145.96    156.08  --
174.02/43.63	c  N dy  1411    222610      4257     85800         0     33569    429000   1810777    145.82    155.05  --
183.21/45.96	c  N dy  1503    236892      4257     85800         0     47848    429000   4648460    145.66    155.52  --
193.59/48.51	c  N dy  1601    252065      4257     85800         0     35045    429000   1883639    145.58    164.23  --
204.38/51.24	c  N dy  1715    268251      4257     85800         0     51228    429000   5191290    145.71    160.03  --
215.55/54.09	c  N dy  1814    285460      4257     85800         0     39449    429000   2584690    145.47    191.41  --
228.73/57.31	c  N dy  1936    303741      4257     85800         0     57722    429000   6234312    145.51    156.81  --
230.73/57.85	c  F st  1956    306250      4257     85800         0     30243    429000    536304    145.53   no data  --
241.51/60.54	c  N dy  2037    323225      4257     85800         0     47213    429000   4204623    145.49    153.51  --
255.89/64.16	c  N dy  2171    343226      4257     85800         0     36223    429000   1550426    145.46    160.59  --
269.47/67.51	c  N dy  2301    363231      4257     85800         0     56220    429000   5557271    145.42    157.62  --
283.06/70.98	c  N dy  2428    383511      4257     85800         0     44500    429000   2965524    145.32    154.46  --
297.84/74.67	c  N dy  2564    403552      4257     85800         0     64536    429000   6986046    145.38    202.52  --
311.41/78.07	c  N dy  2693    423594      4257     85800         0     51592    429000   4222136    145.35    156.60  --
326.59/81.82	c  N dy  2823    443712      4257     85800         0     37713    429000   1231559    145.32    154.42  --
340.58/85.32	c  N dy  2953    463947      4257     85800         0     57942    429000   5255408    145.27    158.83  --
355.36/89.02	c  N dy  3085    484026      4257     85800         0     43021    429000   2093732    145.27    156.28  --
369.33/92.60	c  N dy  3207    504096      4257     85800         0     63089    429000   6057175    145.20    157.90  --
384.11/96.28	c  N dy  3336    524261      4257     85800         0     47263    429000   2746245    145.15    154.72  --
399.69/100.11	c  N dy  3473    544381      4257     85800         0     67377    429000   6794319    145.20    155.36  --
414.07/103.77	c  N dy  3602    564526      4257     85800         0     50529    429000   3200358    145.19    153.27  --
429.65/107.68	c  N dy  3740    584584      4257     85800         0     70581    429000   7180079    145.20    153.86  --
444.42/111.34	c  N dy  3872    604678      4257     85800         0     52680    429000   3470876    145.21    165.72  --
460.40/115.36	c  N dy  4014    624743      4257     85800         0     72738    429000   7482823    145.25    153.00  --
475.18/119.09	c  N dy  4144    644958      4257     85800         0     53958    429000   3458998    145.22    154.57  --
491.15/123.07	c  N dy  4280    665001      4257     85800         0     73995    429000   7493214    145.24    153.68  --
506.34/126.89	c  N dy  4415    685070      4257     85800         0     54067    429000   3342325    145.25    153.56  --
522.30/130.86	c  N dy  4551    705267      4257     85800         0     74259    429000   7411480    145.27    154.56  --
537.88/134.76	c  N dy  4690    725414      4257     85800         0     53412    429000   3014808    145.34    156.15  --
553.46/138.68	c  N dy  4819    745432      4257     85800         0     73423    429000   7032468    145.37    154.67  --
569.45/142.65	c  N dy  4952    765495      4257     85800         0     51493    429000   2437616    145.39    167.33  --
585.01/146.51	c  N dy  5089    785503      4257     85800         0     71491    429000   6415607    145.42    157.32  --
601.39/150.65	c  N dy  5213    805641      4257     85800         0     48638    429000   1639898    145.38    155.16  --
616.57/154.46	c  N dy  5350    825712      4257     85800         0     68702    429000   5639768    145.38    155.38  --
634.14/158.87	c  N dy  5485    845739      4257     85800         0     44734    429000    694024    145.39    172.47  --
648.94/162.57	c  N dy  5613    865803      4257     85800         0     64790    429000   4685660    145.38    155.73  --
666.11/166.85	c  N dy  5748    885895      4257     85800         0     84874    429000   8690901    145.37    155.97  --
682.07/170.84	c  N dy  5886    905944      4257     85800         0     59935    429000   3537354    145.38    154.37  --
698.44/174.95	c  N dy  6021    925985      4257     85800         0     79974    429000   7573550    145.40    161.87  --
715.62/179.28	c  N dy  6163    946008      4257     85800         0     54004    429000   2142134    145.43    154.50  --
731.60/183.20	c  N dy  6298    966103      4257     85800         0     74096    429000   6144257    145.43    153.65  --
749.99/187.82	c  N dy  6430    986161      4257     85800         0     47158    429000    597310    145.40    156.28  --
764.74/191.55	c  N dy  6567   1006196      4257     85800         0     67185    429000   4614274    145.40    153.34  --
781.52/195.79	c  N dy  6701   1026282      4257     85800         0     87262    429000   8613795    145.39    157.82  --
798.32/199.97	c  N dy  6836   1046349      4257     85800         0     59331    429000   2821550    145.40    156.77  --
814.27/203.96	c  N dy  6962   1066490      4257     85800         0     79463    429000   6834325    145.38    155.73  --
819.06/205.14	c  F st  6995   1071876      4257     85800         0     84844    429000   7899520    145.37   no data  --
831.85/208.37	c  N dy  7063   1086637      4257     85800         0     50618    429000    901908    145.35    153.27  --
847.42/212.21	c  N dy  7198   1106749      4257     85800         0     70723    429000   4939532    145.37    153.78  --
864.99/216.68	c  N dy  7333   1126839      4257     85800         0     90803    429000   8936056    145.36    154.39  --
882.17/220.98	c  N dy  7474   1146899      4257     85800         0     60884    429000   2781231    145.37    153.53  --
898.54/225.04	c  N dy  7600   1166960      4257     85800         0     80934    429000   6775253    145.37    185.18  --
917.31/229.79	c  N dy  7736   1187092      4257     85800         0    101065    429000  10800669    145.38    154.09  --
932.90/233.70	c  N dy  7867   1207166      4257     85800         0     70160    429000   4424049    145.37    153.92  --
950.86/238.17	c  N dy  8006   1227317      4257     85800         0     90303    429000   8453299    145.38    155.68  --
969.25/242.74	c  N dy  8142   1247348      4257     85800         0     58343    429000   1859782    145.37    158.43  --
985.21/246.77	c  N dy  8270   1267671      4257     85800         0     78656    429000   5889917    145.35    154.12  --
1003.99/251.50	c  N dy  8408   1287849      4257     85800         0     98825    429000   9965796    145.36    155.30  --
1021.55/255.86	c  N dy  8548   1307937      4257     85800         0     65921    429000   3155966    145.37    153.73  --
1038.73/260.12	c  N dy  8686   1327996      4257     85800         0     85974    429000   7160942    145.37    153.10  --
1058.30/265.00	c  N dy  8823   1348080      4257     85800         0    106054    429000  11169850    145.38    154.42  --
1074.69/269.13	c  N dy  8967   1368117      4257     85800         0     72108    429000   4244963    145.40    153.45  --
1092.26/273.59	c  N dy  9100   1388128      4257     85800         0     92111    429000   8276750    145.42    154.66  --
1112.23/278.51	c  N dy  9226   1408146      4257     85800         0     57133    429000   1032162    145.39    153.56  --
1128.20/282.54	c  N dy  9369   1428235      4257     85800         0     77214    429000   5046712    145.41    162.17  --
1146.57/287.16	c  N dy  9513   1448243      4257     85800         0     97211    429000   9133467    145.46    174.73  --
1165.74/291.94	c  N dy  9647   1468249      4257     85800         0     61232    429000   1653937    145.46    191.51  --
1182.11/296.09	c  N dy  9789   1488290      4257     85800         0     81269    429000   5714197    145.49    155.99  --
1201.29/300.81	c  N dy  9926   1508377      4257     85800         0    101347    429000   9748978    145.50    154.52  --
1220.46/305.64	c  N dy 10066   1528460      4257     85800         0     64443    429000   2132908    145.53    153.55  --
1237.25/309.90	c  N dy 10193   1548525      4257     85800         0     84500    429000   6104117    145.51    153.41  --
1256.41/314.63	c  N dy 10324   1568616      4257     85800         0    104580    429000  10097676    145.49    154.76  --
1275.18/319.32	c  N dy 10456   1588622      4257     85800         0     66607    429000   2341716    145.50    155.23  --
1291.95/323.51	c  N dy 10584   1608702      4257     85800         0     86680    429000   6367026    145.48    155.30  --
1311.13/328.34	c  N dy 10717   1628704      4257     85800         0    106677    429000  10388885    145.48    154.25  --
1330.29/333.12	c  N dy 10856   1648767      4257     85800         0     67761    429000   2391225    145.50    178.73  --
1347.49/337.47	c  N dy 10997   1668802      4257     85800         0     87791    429000   6395940    145.51    160.85  --
1367.04/342.36	c  N dy 11130   1688894      4257     85800         0    107879    429000  10407286    145.51    155.70  --
1386.63/347.25	c  N dy 11272   1709038      4257     85800         0     68026    429000   2251324    145.53    154.20  --
1404.61/351.74	c  N dy 11411   1729243      4257     85800         0     88222    429000   6323031    145.54    154.72  --
1424.16/356.66	c  N dy 11544   1749467      4257     85800         0    108441    429000  10423101    145.55    155.51  --
1444.91/361.80	c  N dy 11694   1769603      4257     85800         0     67591    429000   1980390    145.59    158.31  --
1461.71/366.06	c  N dy 11831   1789614      4257     85800         0     87596    429000   5972357    145.60    154.96  --
1481.27/370.92	c  N dy 11967   1809690      4257     85800         0    107666    429000   9990648    145.61    154.01  --
1502.03/376.16	c  N dy 12109   1829751      4257     85800         0     65740    429000   1404011    145.64    156.39  --
1519.20/380.42	c  N dy 12247   1849792      4257     85800         0     85775    429000   5422651    145.65    182.28  --
1538.77/385.30	c  N dy 12383   1869863      4257     85800         0    105835    429000   9424218    145.65    155.83  --
1560.35/390.77	c  N dy 12515   1889962      4257     85800         0    125927    429000  13437090    145.65    156.60  --
1577.51/395.07	c  N dy 12658   1910023      4257     85800         0     83010    429000   4686240    145.68    167.76  --
1596.68/399.87	c  N dy 12799   1930202      4257     85800         0    103182    429000   8810918    145.70    157.66  --
1619.05/405.43	c  N dy 12943   1950446      4257     85800         0    123420    429000  12878686    145.71    155.65  --
1637.44/410.08	c  N dy 13079   1970590      4257     85800         0     79579    429000   3781715    145.71    154.03  --
1655.79/414.68	c  N dy 13211   1990666      4257     85800         0     99646    429000   7781781    145.71    173.89  --
1677.35/420.01	c  N dy 13351   2010877      4257     85800         0    119849    429000  11843587    145.72    160.29  --
1696.92/424.99	c  N dy 13490   2030908      4257     85800         0     74898    429000   2642813    145.74    154.53  --
1714.89/429.46	c  N dy 13623   2051013      4257     85800         0     94997    429000   6686391    145.74    155.84  --
1735.26/434.59	c  N dy 13762   2071042      4257     85800         0    115021    429000  10701322    145.74    159.69  --
1756.83/439.98	c  N dy 13896   2091110      4257     85800         0     69101    429000   1288123    145.74    161.41  --
1774.40/444.36	c  N dy 14033   2111192      4257     85800         0     89177    429000   5349030    145.76    163.37  --
1794.77/449.43	c  N dy 14170   2131539      4257     85800         0    109514    429000   9523380    145.78    155.29  --
1816.34/454.88	c  N dy 14304   2151562      4257     85800         0    129531    429000  13521791    145.79    153.51  --
1835.13/459.59	c  N dy 14436   2171804      4257     85800         0     82791    429000   3796523    145.77    157.62  --
1853.88/464.29	c  N dy 14571   2191956      4257     85800         0    102938    429000   7838351    145.77    157.39  --
1875.85/469.73	c  N dy 14716   2211985      4257     85800         0    122960    429000  11901096    145.79    154.05  --
1897.42/475.17	c  N dy 14858   2232086      4257     85800         0     75083    429000   2107943    145.81    155.24  --
1915.79/479.70	c  N dy 14997   2252148      4257     85800         0     95138    429000   6142851    145.82    155.18  --
1936.18/484.84	c  N dy 15132   2272259      4257     85800         0    115240    429000  10160349    145.82    158.96  --
1959.33/490.62	c  N dy 15280   2292328      4257     85800         0    135305    429000  14213125    145.84    154.35  --
1977.69/495.21	c  N dy 15408   2312393      4257     85800         0     86384    429000   4164446    145.82    157.21  --
1997.28/500.14	c  N dy 15549   2332498      4257     85800         0    106484    429000   8222707    145.84    154.34  --
2018.83/505.60	c  N dy 15689   2352502      4257     85800         0    126484    429000  12265305    145.86    153.96  --
2040.79/511.04	c  N dy 15824   2372543      4257     85800         0     76538    429000   2054477    145.88    217.66  --
2058.78/515.55	c  N dy 15959   2392579      4257     85800         0     96568    429000   6146129    145.89    159.03  --
2079.54/520.72	c  N dy 16090   2412620      4257     85800         0    116599    429000  10215480    145.89    181.41  --
2102.31/526.47	c  N dy 16223   2432690      4257     85800         0    136664    429000  14245340    145.90    168.00  --
2122.28/531.41	c  N dy 16366   2452770      4257     85800         0     85760    429000   3740808    145.92    166.31  --
2141.05/536.17	c  N dy 16498   2472827      4257     85800         0    105810    429000   7750821    145.92    157.01  --
2163.41/541.71	c  N dy 16635   2493026      4257     85800         0    126002    429000  11823280    145.93    155.84  --
2186.98/547.67	c  N dy 16777   2513125      4257     85800         0     74114    429000   1138176    145.94    154.42  --
2205.34/552.25	c  N dy 16924   2533196      4257     85800         0     94177    429000   5212945    145.96    176.23  --
2226.13/557.41	c  N dy 17062   2553298      4257     85800         0    114274    429000   9339171    145.98    154.43  --
2248.88/563.16	c  N dy 17203   2573389      4257     85800         0    134360    429000  13390885    145.99    162.17  --
2270.84/568.64	c  N dy 17337   2593452      4257     85800         0     81435    429000   2444851    145.99    155.90  --
2290.02/573.40	c  N dy 17475   2613563      4257     85800         0    101535    429000   6544130    146.00    155.31  --
2310.79/578.63	c  N dy 17613   2633674      4257     85800         0    121632    429000  10571653    146.01    155.79  --
2334.35/584.51	c  N dy 17749   2653810      4257     85800         0    141760    429000  14631188    146.01    155.25  --
2354.71/589.68	c  N dy 17891   2673936      4257     85800         0     87915    429000   3538246    146.02    155.58  --
2374.28/594.58	c  N dy 18028   2694008      4257     85800         0    107979    429000   7568210    146.02    154.99  --
2396.65/600.12	c  N dy 18167   2714224      4257     85800         0    128190    429000  11687626    146.04    154.52  --
2421.01/606.26	c  N dy 18303   2734433      4257     85800         0    148390    429000  15747206    146.04    154.62  --
2440.19/611.07	c  N dy 18442   2754505      4257     85800         0     93495    429000   4525001    146.07    156.09  --
2460.55/616.14	c  N dy 18579   2774535      4257     85800         0    113518    429000   8602219    146.09    176.97  --
2483.31/621.82	c  N dy 18720   2794629      4257     85800         0    133605    429000  12658441    146.10    154.05  --
2508.48/628.14	c  N dy 18863   2814727      4257     85800         0     77722    429000   1116324    146.12    165.22  --
2526.45/632.67	c  N dy 18995   2834822      4257     85800         0     97811    429000   5163413    146.12    154.05  --
2547.22/637.87	c  N dy 19131   2854937      4257     85800         0    117922    429000   9189155    146.12    154.31  --
2569.98/643.56	c  N dy 19264   2875095      4257     85800         0    138079    429000  13291782    146.13    159.35  --
2593.95/649.57	c  N dy 19398   2895120      4257     85800         0     81117    429000   1606944    146.13    156.04  --
2612.74/654.25	c  N dy 19537   2915189      4257     85800         0    101181    429000   5681434    146.14    154.26  --
2633.89/659.57	c  N dy 19668   2935243      4257     85800         0    121226    429000   9704777    146.14    164.43  --
2657.45/665.43	c  N dy 19805   2955253      4257     85800         0    141232    429000  13738367    146.14    155.85  --
2681.81/671.51	c  N dy 19943   2975397      4257     85800         0     83385    429000   1874653    146.16    154.02  --
2700.61/676.25	c  N dy 20071   2995639      4257     85800         0    103621    429000   5912035    146.15    155.09  --
2722.18/681.65	c  N dy 20211   3015713      4257     85800         0    123691    429000   9972814    146.16    162.11  --
2745.72/687.53	c  N dy 20341   3035716      4257     85800         0    143690    429000  13983354    146.16    162.36  --
2769.68/693.54	c  N dy 20476   3055795      4257     85800         0     84783    429000   1978845    146.16    155.29  --
2788.48/698.25	c  N dy 20607   3075818      4257     85800         0    104801    429000   6007358    146.15    155.88  --
2810.05/703.64	c  N dy 20739   3095870      4257     85800         0    124846    429000  10038339    146.15    159.18  --
2833.99/709.62	c  N dy 20873   3115951      4257     85800         0    144923    429000  14069752    146.14    156.66  --
2858.37/715.76	c  N dy 21006   3135980      4257     85800         0     84971    429000   1817885    146.15    157.07  --
2877.53/720.54	c  N dy 21145   3155989      4257     85800         0    104973    429000   5865155    146.17    155.36  --
2899.09/725.94	c  N dy 21286   3176086      4257     85800         0    125065    429000   9948173    146.18    154.19  --
2923.05/731.92	c  N dy 21429   3196150      4257     85800         0    145121    429000  14035089    146.19    195.18  --
2948.61/738.31	c  N dy 21570   3216167      4257     85800         0     84153    429000   1448168    146.20    155.73  --
2967.79/743.12	c  N dy 21704   3236264      4257     85800         0    104242    429000   5490367    146.21    162.09  --
2988.95/748.48	c  N dy 21843   3256290      4257     85800         0    124264    429000   9507963    146.22    155.11  --
3013.31/754.54	c  N dy 21987   3276322      4257     85800         0    144291    429000  13568757    146.23    154.52  --
3040.48/761.38	c  N dy 22131   3296404      4257     85800         0     82390    429000    908263    146.25    155.68  --
3059.24/766.09	c  N dy 22270   3316441      4257     85800         0    102422    429000   4975264    146.26    155.10  --
3080.81/771.48	c  N dy 22411   3336476      4257     85800         0    122447    429000   9022426    146.27    168.43  --
3105.17/777.52	c  N dy 22552   3356536      4257     85800         0    142503    429000  13050100    146.28    154.26  --
3131.54/784.10	c  N dy 22687   3376786      4257     85800         0    162747    429000  17104337    146.28    154.93  --
3151.90/789.28	c  N dy 22822   3396836      4257     85800         0     99819    429000   4207262    146.28    165.85  --
3173.07/794.53	c  N dy 22966   3416951      4257     85800         0    119928    429000   8273494    146.29    155.59  --
3195.44/800.13	c  N dy 23088   3437032      4257     85800         0    140002    429000  12293450    146.28    154.80  --
3221.40/806.66	c  N dy 23233   3457052      4257     85800         0    160014    429000  16409339    146.31    190.59  --
3243.76/812.26	c  N dy 23368   3477082      4257     85800         0     96059    429000   3279909    146.31    156.70  --
3264.13/817.34	c  N dy 23501   3497215      4257     85800         0    116190    429000   7328757    146.31    156.22  --
3286.50/822.97	c  N dy 23634   3517298      4257     85800         0    136268    429000  11349316    146.31    155.93  --
3311.66/829.25	c  N dy 23767   3537348      4257     85800         0    156316    429000  15359476    146.31    157.92  --
3336.82/835.52	c  N dy 23911   3557356      4257     85800         0     91346    429000   2143609    146.33    160.19  --
3356.80/840.54	c  N dy 24053   3577468      4257     85800         0    111455    429000   6198201    146.33    156.18  --
3379.16/846.13	c  N dy 24191   3597471      4257     85800         0    131454    429000  10220136    146.33    154.57  --
3402.72/852.08	c  N dy 24313   3617543      4257     85800         0    151517    429000  14248295    146.32    167.71  --
3430.29/858.90	c  N dy 24455   3637567      4257     85800         0    171528    429000  18261658    146.32    162.05  --
3449.85/863.86	c  N dy 24589   3657664      4257     85800         0    105646    429000   4835558    146.33    167.86  --
3471.42/869.26	c  N dy 24729   3677748      4257     85800         0    125721    429000   8846963    146.33    159.53  --
3495.40/875.30	c  N dy 24868   3697761      4257     85800         0    145727    429000  12846606    146.33    154.74  --
3522.16/881.96	c  N dy 25007   3717889      4257     85800         0    165850    429000  16931540    146.34    157.78  --
3545.70/887.84	c  N dy 25144   3737933      4257     85800         0     98917    429000   3315299    146.35    186.17  --
3559.68/891.34	c  F st 25239   3751564      4257     85800         0    112545    429000   6057041    146.35    151.80  --
3565.69/892.82	c  N dy 25254   3757971      4257     85800         0    118946    429000   7513921    146.35    155.12  --
3589.63/898.82	c  N dy 25399   3778098      4257     85800         0    139070    429000  11591465    146.36    154.18  --
3614.79/905.20	c  N dy 25536   3798319      4257     85800         0    159288    429000  15650910    146.37    155.30  --
3641.95/911.91	c  N dy 25670   3818425      4257     85800         0     91411    429000   1575814    146.37    156.30  --
3661.53/916.83	c  N dy 25805   3838586      4257     85800         0    111569    429000   5632268    146.38    155.88  --
3683.90/922.47	c  N dy 25938   3858786      4257     85800         0    131764    429000   9706966    146.38    155.95  --
3708.65/928.62	c  N dy 26066   3878867      4257     85800         0    151840    429000  13727476    146.37    160.91  --
3735.42/935.37	c  N dy 26201   3898918      4257     85800         0    171884    429000  17773234    146.38    155.11  --
3758.58/941.11	c  N dy 26340   3918988      4257     85800         0    102971    429000   3715742    146.38    159.27  --
3779.75/946.40	c  N dy 26476   3939210      4257     85800         0    123186    429000   7812836    146.39    157.86  --
3802.51/952.17	c  N dy 26604   3959300      4257     85800         0    143264    429000  11884761    146.39    155.38  --
3828.48/958.67	c  N dy 26744   3979302      4257     85800         0    163260    429000  15951365    146.40    154.89  --
3854.82/965.29	c  N dy 26870   3999394      4257     85800         0     93385    429000   1584256    146.40    177.77  --
3874.79/970.26	c  N dy 27004   4019463      4257     85800         0    113442    429000   5652552    146.40    156.73  --
3897.57/975.96	c  N dy 27144   4039541      4257     85800         0    133514    429000   9654745    146.40    156.36  --
3923.12/982.38	c  N dy 27284   4059654      4257     85800         0    153625    429000  13731262    146.41    158.00  --
3951.49/989.46	c  N dy 27424   4079954      4257     85800         0    173921    429000  17802667    146.41    157.43  --
3975.44/995.47	c  N dy 27557   4099969      4257     85800         0    102952    429000   3315404    146.41    154.29  --
3996.63/1000.75	c  N dy 27689   4120060      4257     85800         0    123037    429000   7372696    146.41    191.31  --
4020.57/1006.75	c  N dy 27827   4140179      4257     85800         0    143152    429000  11444044    146.41    160.41  --
4046.14/1013.18	c  N dy 27957   4160277      4257     85800         0    163243    429000  15515235    146.42    154.70  --
4074.50/1020.26	c  N dy 28091   4180425      4257     85800         0    183388    429000  19561966    146.41    161.72  --
4095.65/1025.52	c  N dy 28235   4200518      4257     85800         0    111500    429000   4858740    146.42    156.48  --
4118.03/1031.13	c  N dy 28376   4220554      4257     85800         0    131528    429000   8915316    146.44    171.87  --
4142.78/1037.32	c  N dy 28517   4240559      4257     85800         0    151523    429000  12976005    146.44    156.23  --
4169.95/1044.11	c  N dy 28652   4260571      4257     85800         0    171529    429000  16983327    146.45    167.05  --
4196.30/1050.77	c  N dy 28791   4280719      4257     85800         0     98700    429000   2094869    146.45    155.40  --
4217.07/1055.90	c  N dy 28930   4300743      4257     85800         0    118721    429000   6131004    146.45    156.25  --
4239.83/1061.62	c  N dy 29062   4320744      4257     85800         0    138716    429000  10185643    146.45    155.19  --
4264.99/1067.95	c  N dy 29193   4340839      4257     85800         0    158803    429000  14286449    146.45    168.57  --
4292.96/1074.99	c  N dy 29332   4360958      4257     85800         0    178918    429000  18386518    146.46    154.51  --
4317.72/1081.16	c  N dy 29472   4380980      4257     85800         0    104960    429000   3185944    146.47    156.62  --
4339.31/1086.56	c  N dy 29613   4401034      4257     85800         0    125008    429000   7286917    146.49    160.94  --
4362.85/1092.46	c  N dy 29744   4421106      4257     85800         0    145077    429000  11328035    146.49    154.86  --
4389.22/1099.00	c  N dy 29879   4441150      4257     85800         0    165113    429000  15371857    146.49    157.81  --
4418.39/1106.31	c  N dy 30013   4461292      4257     85800         0    185251    429000  19470639    146.50    155.42  --
4441.53/1112.15	c  N dy 30151   4481353      4257     85800         0    110333    429000   4051962    146.50    156.90  --
4463.50/1117.65	c  N dy 30289   4501478      4257     85800         0    130450    429000   8137088    146.50    154.30  --
4488.28/1123.85	c  N dy 30427   4521526      4257     85800         0    150490    429000  12237530    146.52    155.26  --
4515.43/1130.60	c  N dy 30557   4541527      4257     85800         0    170486    429000  16226878    146.51    154.48  --
4544.98/1138.03	c  N dy 30698   4561529      4257     85800         0    190485    429000  20274545    146.52    155.20  --
4566.55/1143.46	c  N dy 30835   4581535      4257     85800         0    114510    429000   4682013    146.52    162.90  --
4589.33/1149.17	c  N dy 30978   4601560      4257     85800         0    134525    429000   8739003    146.53    164.22  --
4614.87/1155.52	c  N dy 31120   4621607      4257     85800         0    154563    429000  12796390    146.54    155.39  --
4642.05/1162.35	c  N dy 31248   4641818      4257     85800         0    174769    429000  16829552    146.53    158.26  --
4672.81/1170.01	c  N dy 31394   4661898      4257     85800         0     97876    429000   1158658    146.54    155.66  --
4693.15/1175.16	c  N dy 31534   4681979      4257     85800         0    117953    429000   5197489    146.55    154.63  --
4715.92/1180.88	c  N dy 31669   4702066      4257     85800         0    138035    429000   9256906    146.55    241.25  --
4741.89/1187.33	c  N dy 31813   4722249      4257     85800         0    158211    429000  13378044    146.57    157.65  --
4769.87/1194.30	c  N dy 31945   4742359      4257     85800         0    178319    429000  17415850    146.56    155.33  --
4798.60/1201.58	c  N dy 32067   4762474      4257     85800         0    100470    429000   1469986    146.56    157.78  --

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

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

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


[startup+0 s]
/proc/loadavg: 7.51 7.98 8.05 5/180 30942
/proc/meminfo: memFree=30764180/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 524664765 52465664 352 33554432000 4194304 4650419 140733335296160 18446744073709551615 47302102435766 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 12809 352 303 112 0 7774 0
[pid=30942/tid=30943] ppid=30940 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524664766 52465664 352 33554432000 4194304 4650419 140733335296160 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524664766 52465664 352 33554432000 4194304 4650419 140733335296160 18446744073709551615 47302102435762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 524664766 52465664 352 33554432000 4194304 4650419 140733335296160 18446744073709551615 47302102435762 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0864749 s]
/proc/loadavg: 7.51 7.98 8.05 5/180 30942
/proc/meminfo: memFree=30764180/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=307308 CPUtime=0.32 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) D 30940 30942 30175 0 -1 4202496 17231 0 0 0 28 4 0 0 18 0 4 0 524664765 314683392 15113 33554432000 4194304 4650419 140733335296160 18446744073709551615 4514716 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 77298 15123 344 112 0 72263 0
[pid=30942/tid=30943] ppid=30940 vsize=309192 CPUtime=0.07 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) D 30940 30942 30175 0 -1 4202560 4199 0 0 0 7 0 0 0 18 0 4 0 524664766 316612608 15123 33554432000 4194304 4650419 140733335296160 18446744073709551615 270613168554 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=309192 CPUtime=0.07 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 4189 0 0 0 6 1 0 0 25 0 4 0 524664766 316612608 15123 33554432000 4194304 4650419 140733335296160 18446744073709551615 270612769092 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=309192 CPUtime=0.07 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 4206 0 0 0 7 0 0 0 25 0 4 0 524664766 316612608 15123 33554432000 4194304 4650419 140733335296160 18446744073709551615 270613168554 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 307308

[startup+0.106252 s]
/proc/loadavg: 7.51 7.98 8.05 5/180 30942
/proc/meminfo: memFree=30764180/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=313868 CPUtime=0.41 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 20302 0 0 0 36 5 0 0 18 0 4 0 524664765 321400832 18160 33554432000 4194304 4650419 140733335296160 18446744073709551615 270613153975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 78566 19812 344 112 0 73531 0
[pid=30942/tid=30943] ppid=30940 vsize=315612 CPUtime=0.11 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) D 30940 30942 30175 0 -1 4202560 5519 0 0 0 10 1 0 0 18 0 4 0 524664766 323186688 20357 33554432000 4194304 4650419 140733335296160 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=314800 CPUtime=0.11 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) D 30940 30942 30175 0 -1 4202560 5513 0 0 0 10 1 0 0 18 0 4 0 524664766 322355200 20358 33554432000 4194304 4650419 140733335296160 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=314800 CPUtime=0.1 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 5519 0 0 0 10 0 0 0 25 0 4 0 524664766 322355200 20358 33554432000 4194304 4650419 140733335296160 18446744073709551615 270613168554 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 313868

[startup+0.373997 s]
/proc/loadavg: 7.51 7.98 8.05 5/180 30942
/proc/meminfo: memFree=30764180/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=487980 CPUtime=1.55 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 56594 0 0 0 142 13 0 0 18 0 4 0 524664765 499691520 52317 33554432000 4194304 4650419 140733335296160 18446744073709551615 4307907 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 122809 53752 349 112 0 117774 0
[pid=30942/tid=30943] ppid=30940 vsize=491236 CPUtime=0.4 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) D 30940 30942 30175 0 -1 4202560 14279 0 0 0 36 4 0 0 18 0 4 0 524664766 503025664 53752 33554432000 4194304 4650419 140733335296160 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=491236 CPUtime=0.39 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 14396 0 0 0 36 3 0 0 18 0 4 0 524664766 503025664 53752 33554432000 4194304 4650419 140733335296160 18446744073709551615 270613168554 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=491236 CPUtime=0.39 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 14507 0 0 0 37 2 0 0 25 0 4 0 524664766 503025664 53752 33554432000 4194304 4650419 140733335296160 18446744073709551615 4310160 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 487980

[startup+1.10799 s]
/proc/loadavg: 7.51 7.98 8.05 5/180 30942
/proc/meminfo: memFree=30764180/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=516816 CPUtime=5.39 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 106354 0 0 0 516 23 0 0 19 0 4 0 524664765 529219584 66475 33554432000 4194304 4650419 140733335296160 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 129204 66475 371 112 0 124169 0
[pid=30942/tid=30943] ppid=30940 vsize=516816 CPUtime=1.34 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 29822 0 0 0 128 6 0 0 19 0 4 0 524664766 529219584 66475 33554432000 4194304 4650419 140733335296160 18446744073709551615 270612775936 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=516816 CPUtime=1.34 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 29817 0 0 0 128 6 0 0 19 0 4 0 524664766 529219584 66475 33554432000 4194304 4650419 140733335296160 18446744073709551615 4370618 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=516816 CPUtime=1.34 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 16430 0 0 0 131 3 0 0 25 0 4 0 524664766 529219584 66475 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 516816

[startup+1.561 s]
/proc/loadavg: 7.51 7.98 8.05 5/180 30942
/proc/meminfo: memFree=30764180/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=518596 CPUtime=6.2 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 107103 0 0 0 596 24 0 0 19 0 4 0 524664765 531042304 67224 33554432000 4194304 4650419 140733335296160 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 129649 67224 372 112 0 124614 0
[pid=30942/tid=30943] ppid=30940 vsize=518596 CPUtime=1.54 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 29824 0 0 0 148 6 0 0 19 0 4 0 524664766 531042304 67224 33554432000 4194304 4650419 140733335296160 18446744073709551615 4244702 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=518596 CPUtime=1.54 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 29817 0 0 0 148 6 0 0 19 0 4 0 524664766 531042304 67224 33554432000 4194304 4650419 140733335296160 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=518596 CPUtime=1.54 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 17177 0 0 0 151 3 0 0 25 0 4 0 524664766 531042304 67224 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 518596

[startup+3.10073 s]
/proc/loadavg: 7.51 7.98 8.05 9/184 30946
/proc/meminfo: memFree=30152084/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=798436 CPUtime=12.25 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 191162 0 0 0 1176 49 0 0 19 0 4 0 524664765 817598464 150557 33554432000 4194304 4650419 140733335296160 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 199609 150557 391 112 0 194574 0
[pid=30942/tid=30943] ppid=30940 vsize=798436 CPUtime=3.04 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 57138 0 0 0 289 15 0 0 19 0 4 0 524664766 817598464 150558 33554432000 4194304 4650419 140733335296160 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=798436 CPUtime=3.06 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 57180 0 0 0 292 14 0 0 19 0 4 0 524664766 817598464 150558 33554432000 4194304 4650419 140733335296160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=798436 CPUtime=3.08 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 19208 0 0 0 304 4 0 0 19 0 4 0 524664766 817598464 150558 33554432000 4194304 4650419 140733335296160 18446744073709551615 270612771525 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 798436

[startup+6.30616 s]
/proc/loadavg: 7.62 8.00 8.05 9/184 30947
/proc/meminfo: memFree=30115628/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=863928 CPUtime=25.05 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 245970 0 0 0 2446 59 0 0 25 0 4 0 524664765 884662272 155735 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 215982 155735 394 112 0 210947 0
[pid=30942/tid=30943] ppid=30940 vsize=863928 CPUtime=6.23 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 69867 0 0 0 605 18 0 0 25 0 4 0 524664766 884662272 155735 33554432000 4194304 4650419 140733335296160 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=863928 CPUtime=6.25 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 69921 0 0 0 610 15 0 0 25 0 4 0 524664766 884662272 155735 33554432000 4194304 4650419 140733335296160 18446744073709551615 4310883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=863928 CPUtime=6.28 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 35710 0 0 0 622 6 0 0 25 0 4 0 524664766 884662272 155735 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 863928

[startup+12.701 s]
/proc/loadavg: 7.65 8.00 8.05 9/184 30947
/proc/meminfo: memFree=29956964/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1117312 CPUtime=50.59 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 333464 0 0 0 4984 75 0 0 25 0 4 0 524664765 1144127488 194904 33554432000 4194304 4650419 140733335296160 18446744073709551615 4311310 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 279328 194904 394 112 0 274293 0
[pid=30942/tid=30943] ppid=30940 vsize=1117312 CPUtime=12.59 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 94717 0 0 0 1236 23 0 0 25 0 4 0 524664766 1144127488 194904 33554432000 4194304 4650419 140733335296160 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1117312 CPUtime=12.65 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 94824 0 0 0 1245 20 0 0 25 0 4 0 524664766 1144127488 194904 33554432000 4194304 4650419 140733335296160 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1117312 CPUtime=12.67 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 48528 0 0 0 1258 9 0 0 25 0 4 0 524664766 1144127488 194904 33554432000 4194304 4650419 140733335296160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 1117312

[startup+25.5008 s]
/proc/loadavg: 7.73 8.00 8.05 9/184 30947
/proc/meminfo: memFree=29916596/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1115984 CPUtime=101.72 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 391381 0 0 0 10083 89 0 0 25 0 4 0 524664765 1142767616 196796 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 278996 196796 394 112 0 273961 0
[pid=30942/tid=30943] ppid=30940 vsize=1115984 CPUtime=25.32 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 109824 0 0 0 2505 27 0 0 25 0 4 0 524664766 1142767616 196796 33554432000 4194304 4650419 140733335296160 18446744073709551615 4304296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1115984 CPUtime=25.45 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 111932 0 0 0 2521 24 0 0 25 0 4 0 524664766 1142767616 196796 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1115984 CPUtime=25.47 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 57186 0 0 0 2536 11 0 0 25 0 4 0 524664766 1142767616 196796 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 1115984

[startup+51.1002 s]
/proc/loadavg: 7.82 8.00 8.05 9/184 30948
/proc/meminfo: memFree=29887824/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1283636 CPUtime=203.97 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 492710 0 0 0 20282 115 0 0 25 0 4 0 524664765 1314443264 199134 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 320909 199134 394 112 0 315874 0
[pid=30942/tid=30943] ppid=30940 vsize=1283636 CPUtime=50.78 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 137455 0 0 0 5043 35 0 0 25 0 4 0 524664766 1314443264 199134 33554432000 4194304 4650419 140733335296160 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1283636 CPUtime=51.05 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 139879 0 0 0 5075 30 0 0 25 0 4 0 524664766 1314443264 199134 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1283636 CPUtime=51.07 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 75408 0 0 0 5091 16 0 0 25 0 4 0 524664766 1314443264 199134 33554432000 4194304 4650419 140733335296160 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 1283636

[startup+102.301 s]
/proc/loadavg: 7.96 8.01 8.05 9/184 30949
/proc/meminfo: memFree=29723632/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1302348 CPUtime=408.48 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 683898 0 0 0 40688 160 0 0 25 0 4 0 524664765 1333604352 220562 33554432000 4194304 4650419 140733335296160 18446744073709551615 4334343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 325587 220562 394 112 0 320552 0
[pid=30942/tid=30943] ppid=30940 vsize=1302348 CPUtime=101.7 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 184173 0 0 0 10122 48 0 0 25 0 4 0 524664766 1333604352 220563 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1302348 CPUtime=102.25 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 193294 0 0 0 10183 42 0 0 25 0 4 0 524664766 1333604352 220563 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1302348 CPUtime=102.26 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 113931 0 0 0 10202 24 0 0 25 0 4 0 524664766 1333604352 220563 33554432000 4194304 4650419 140733335296160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.48
Current children cumulated vsize (KiB) 1302348

[startup+162.301 s]

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

[pid=30942] ppid=30940 vsize=1482412 CPUtime=2804.83 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 2555082 0 0 0 279748 735 0 0 25 0 4 0 524664765 1517989888 253636 33554432000 4194304 4650419 140733335296160 18446744073709551615 4349680 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 370603 253636 394 112 0 365568 0
[pid=30942/tid=30943] ppid=30940 vsize=1482412 CPUtime=698.33 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 645405 0 0 0 69644 189 0 0 25 0 4 0 524664766 1517989888 253636 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1482412 CPUtime=702.14 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 694246 0 0 0 70019 195 0 0 25 0 4 0 524664766 1517989888 253636 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366743 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1482412 CPUtime=702.16 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 528795 0 0 0 70063 153 0 0 25 0 4 0 524664766 1517989888 253636 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2804.83
Current children cumulated vsize (KiB) 1482412

[startup+762.3 s]
/proc/loadavg: 8.07 8.04 8.03 9/184 30967
/proc/meminfo: memFree=29418464/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1386400 CPUtime=3044.46 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 2725130 0 0 0 303661 785 0 0 25 0 4 0 524664765 1419673600 237389 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 346600 237389 394 112 0 341565 0
[pid=30942/tid=30943] ppid=30940 vsize=1386400 CPUtime=757.98 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 685995 0 0 0 75597 201 0 0 25 0 4 0 524664766 1419673600 237389 33554432000 4194304 4650419 140733335296160 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1386400 CPUtime=762.14 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 738996 0 0 0 76007 207 0 0 25 0 4 0 524664766 1419673600 237389 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1386400 CPUtime=762.15 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 569162 0 0 0 76049 166 0 0 25 0 4 0 524664766 1419673600 237389 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.46
Current children cumulated vsize (KiB) 1386400

[startup+822.301 s]
/proc/loadavg: 8.07 8.04 8.03 9/184 30968
/proc/meminfo: memFree=29353812/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1501740 CPUtime=3284.1 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 2901235 0 0 0 327576 834 0 0 25 0 4 0 524664765 1537781760 254433 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 375435 254434 394 112 0 370400 0
[pid=30942/tid=30943] ppid=30940 vsize=1501740 CPUtime=817.65 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 727740 0 0 0 81551 214 0 0 25 0 4 0 524664766 1537781760 254434 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1501740 CPUtime=822.13 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 783546 0 0 0 81993 220 0 0 25 0 4 0 524664766 1537781760 254434 33554432000 4194304 4650419 140733335296160 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1501740 CPUtime=822.14 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 614096 0 0 0 82038 176 0 0 25 0 4 0 524664766 1537781760 254434 33554432000 4194304 4650419 140733335296160 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.1
Current children cumulated vsize (KiB) 1501740

[startup+882.301 s]
/proc/loadavg: 8.06 8.05 8.03 9/184 30970
/proc/meminfo: memFree=29276992/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1567820 CPUtime=3523.75 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 3078216 0 0 0 351484 891 0 0 25 0 4 0 524664765 1605447680 263939 33554432000 4194304 4650419 140733335296160 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 391955 263939 394 112 0 386920 0
[pid=30942/tid=30943] ppid=30940 vsize=1567820 CPUtime=877.32 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 768854 0 0 0 87503 229 0 0 25 0 4 0 524664766 1605447680 263939 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1567820 CPUtime=882.12 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 827916 0 0 0 87979 233 0 0 25 0 4 0 524664766 1605447680 263939 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1567820 CPUtime=882.14 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 661402 0 0 0 88023 191 0 0 25 0 4 0 524664766 1605447680 263939 33554432000 4194304 4650419 140733335296160 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.75
Current children cumulated vsize (KiB) 1567820

[startup+942.301 s]
/proc/loadavg: 8.06 8.05 8.03 9/184 30972
/proc/meminfo: memFree=29304448/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1568444 CPUtime=3763.39 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 3255509 0 0 0 375397 942 0 0 25 0 4 0 524664765 1606086656 248734 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 392111 248734 394 112 0 387076 0
[pid=30942/tid=30943] ppid=30940 vsize=1568444 CPUtime=937.29 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 809063 0 0 0 93489 240 0 0 25 0 4 0 524664766 1606086656 248735 33554432000 4194304 4650419 140733335296160 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1568444 CPUtime=942.12 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 874259 0 0 0 93967 245 0 0 25 0 4 0 524664766 1606086656 248735 33554432000 4194304 4650419 140733335296160 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1568444 CPUtime=941.81 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 705643 0 0 0 93978 203 0 0 25 0 4 0 524664766 1606086656 248735 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.39
Current children cumulated vsize (KiB) 1568444

[startup+1002.3 s]
/proc/loadavg: 8.02 8.04 8.03 9/184 30973
/proc/meminfo: memFree=29207664/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1568916 CPUtime=4003 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 3425898 0 0 0 399305 995 0 0 25 0 4 0 524664765 1606569984 262610 33554432000 4194304 4650419 140733335296160 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 392229 262610 394 112 0 387194 0
[pid=30942/tid=30943] ppid=30940 vsize=1568916 CPUtime=997.28 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 848133 0 0 0 99475 253 0 0 25 0 4 0 524664766 1606569984 262610 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1568916 CPUtime=1002.11 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 918376 0 0 0 99953 258 0 0 25 0 4 0 524664766 1606569984 262610 33554432000 4194304 4650419 140733335296160 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1568916 CPUtime=1001.47 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 748835 0 0 0 99930 217 0 0 25 0 4 0 524664766 1606569984 262610 33554432000 4194304 4650419 140733335296160 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003
Current children cumulated vsize (KiB) 1568916

[startup+1062.31 s]
/proc/loadavg: 8.01 8.03 8.02 9/184 30975
/proc/meminfo: memFree=29205740/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1569412 CPUtime=4242.66 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 3592985 0 0 0 423217 1049 0 0 25 0 4 0 524664765 1607077888 269910 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 392353 269910 394 112 0 387318 0
[pid=30942/tid=30943] ppid=30940 vsize=1569412 CPUtime=1057.28 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 886474 0 0 0 105462 266 0 0 25 0 4 0 524664766 1607077888 269910 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1569412 CPUtime=1062.1 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 961441 0 0 0 105938 272 0 0 25 0 4 0 524664766 1607077888 269910 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1569412 CPUtime=1061.13 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 791266 0 0 0 105883 230 0 0 25 0 4 0 524664766 1607077888 269910 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.66
Current children cumulated vsize (KiB) 1569412

[startup+1122.3 s]
/proc/loadavg: 8.00 8.02 8.02 9/184 30976
/proc/meminfo: memFree=29198368/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1635436 CPUtime=4482.28 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 3758332 0 0 0 447122 1106 0 0 25 0 4 0 524664765 1674686464 271676 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 408859 271676 394 112 0 403824 0
[pid=30942/tid=30943] ppid=30940 vsize=1635436 CPUtime=1117.27 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 924544 0 0 0 111448 279 0 0 25 0 4 0 524664766 1674686464 271676 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1635436 CPUtime=1122.09 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 1003870 0 0 0 111923 286 0 0 25 0 4 0 524664766 1674686464 271676 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1635436 CPUtime=1120.8 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 833361 0 0 0 111835 245 0 0 25 0 4 0 524664766 1674686464 271676 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.28
Current children cumulated vsize (KiB) 1635436

[startup+1182.3 s]
/proc/loadavg: 8.03 8.03 8.01 9/184 30978
/proc/meminfo: memFree=29191864/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1570384 CPUtime=4721.91 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 3921606 0 0 0 471029 1162 0 0 25 0 4 0 524664765 1608073216 268176 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 392596 268177 394 112 0 387561 0
[pid=30942/tid=30943] ppid=30940 vsize=1570384 CPUtime=1177.25 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 962285 0 0 0 117433 292 0 0 25 0 4 0 524664766 1608073216 268177 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1570384 CPUtime=1182.08 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 1045833 0 0 0 117907 301 0 0 25 0 4 0 524664766 1608073216 268177 33554432000 4194304 4650419 140733335296160 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1570384 CPUtime=1180.46 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 875139 0 0 0 117786 260 0 0 25 0 4 0 524664766 1608073216 268177 33554432000 4194304 4650419 140733335296160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.91
Current children cumulated vsize (KiB) 1570384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.08 8.04 8.02 5/176 30996
/proc/meminfo: memFree=29793404/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1553244 CPUtime=4800.24 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 3971119 0 0 0 478845 1179 0 0 19 0 4 0 524664765 1590521856 252612 33554432000 4194304 4650419 140733335296160 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 388311 252612 394 112 0 383276 0
[pid=30942/tid=30943] ppid=30940 vsize=1553244 CPUtime=1196.86 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 973074 0 0 0 119389 297 0 0 25 0 4 0 524664766 1590521856 252612 33554432000 4194304 4650419 140733335296160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1553244 CPUtime=1201.69 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 1057001 0 0 0 119864 305 0 0 25 0 4 0 524664766 1590521856 252612 33554432000 4194304 4650419 140733335296160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1553244 CPUtime=1199.96 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 889338 0 0 0 119733 263 0 0 25 0 4 0 524664766 1590521856 252613 33554432000 4194304 4650419 140733335296160 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1553244

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

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

[startup+1201.9 s]
/proc/loadavg: 8.08 8.04 8.02 5/176 30996
/proc/meminfo: memFree=29793404/32951124 swapFree=67111524/67111528
[pid=30942] ppid=30940 vsize=1553244 CPUtime=4800.24 cores=1,3,5,7
/proc/30942/stat : 30942 (strangenight1-m) R 30940 30942 30175 0 -1 4202496 3971119 0 0 0 478845 1179 0 0 19 0 4 0 524664765 1590521856 252612 33554432000 4194304 4650419 140733335296160 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30942/statm: 388311 252612 394 112 0 383276 0
[pid=30942/tid=30943] ppid=30940 vsize=1553244 CPUtime=1196.86 cores=1,3,5,7
/proc/30942/task/30943/stat : 30943 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 973074 0 0 0 119389 297 0 0 25 0 4 0 524664766 1590521856 252612 33554432000 4194304 4650419 140733335296160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30942/tid=30944] ppid=30940 vsize=1553244 CPUtime=1201.69 cores=1,3,5,7
/proc/30942/task/30944/stat : 30944 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 1057001 0 0 0 119864 305 0 0 25 0 4 0 524664766 1590521856 252612 33554432000 4194304 4650419 140733335296160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=30942/tid=30945] ppid=30940 vsize=1553244 CPUtime=1199.96 cores=1,3,5,7
/proc/30942/task/30945/stat : 30945 (strangenight1-m) R 30940 30942 30175 0 -1 4202560 889338 0 0 0 119733 263 0 0 25 0 4 0 524664766 1590521856 252613 33554432000 4194304 4650419 140733335296160 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1553244

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.96
CPU time (s): 4800.31
CPU user time (s): 4788.48
CPU system time (s): 11.8372
CPU usage (%): 399.373
Max. virtual memory (cumulated for all children) (KiB): 1701668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.48
system time used= 11.8372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3971138
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= 16786
involuntary context switches= 19598

runsolver used 1.84872 second user time and 4.73628 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-30 04:30:38
IDJOB=3250363
IDBENCH=83251
IDSOLVER=1588
FILE ID=node108/3250363-1304130637
RUNJOBID= node108-1304128228-30194
PBS_JOBID= 13170776
Free space on /tmp= 72608 MiB

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

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

MD5SUM BENCH= e252fbf81407f3388187ab50f0786909
RANDOM SEED=152360854

node108.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.820
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.64
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.820
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	: 5226.15
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.820
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.820
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.77
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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.75
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.820
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:      30764460 kB
Buffers:        573156 kB
Cached:        1115340 kB
SwapCached:          4 kB
Active:         190888 kB
Inactive:      1596648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30764460 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           35248 kB
Writeback:           0 kB
AnonPages:       98876 kB
Mapped:          15584 kB
Slab:           335148 kB
PageTables:       4920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   400600 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= 72608 MiB
End job on node108 at 2011-04-30 04:50:42