Trace number 3250143

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 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-3250143-1304130488.cnf'
0.00/0.00	c -- header says num vars:           2071
0.00/0.00	c -- header says num clauses:      159039
0.16/0.68	c -- clauses added:            0 learnts,       159039 normals,            0 xors
0.16/0.68	c -- vars added       2071
0.16/0.68	c Parsing time:  0.15 s
0.16/0.68	c  N st     0         0      2071    159039         0         0    479052         0   no data   no data  --
0.16/0.68	c asymm  cl-useful: 0/158323/159039 lits-rem:0 time: 2.49
2.73/0.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
5.93/1.56	c bin-w-bin subsume rem            0 bins  time:  0.06 s
5.93/1.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
5.93/1.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2071 time:  0.04 s
5.93/1.56	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.03 s
7.50/1.98	c lits-rem:         0  cl-subs:       10  v-elim:    690  v-fix:    0  time:  4.73 s
7.50/1.98	c Finding binary XORs  T:     0.00 s  found:       0
7.91/2.01	c Finding non-binary XORs:     0.11 s (found:       0, avg size: nan)
7.91/2.01	c calculated reachability. Time: 0.00
7.91/2.01	c Calc default polars -  time:   0.01 s pos:    1381 undec:     690 neg:       0
7.91/2.01	c =========================================================================================
7.91/2.01	c types(t): F = full restart, N = normal restart
7.91/2.01	c types(t): S = simplification begin/end, E = solution found
7.91/2.01	c restart types(rt): st = static, dy = dynamic
7.91/2.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.91/2.01	c  B st     0         0      1381     89143         0         0    419543         0   no data   no data  --
9.11/2.35	c  N dy    12      4092      1381     89143         0      4059    419543    159080     24.76     26.39  --
10.32/2.69	c  N dy    26      8202      1381     89143         0      8137    419543    310174     24.40     25.76  --
11.89/3.05	c  N dy    33     12606      1381     89143         0     12477    419543    464882     23.91     25.18  --
13.10/3.38	c  N dy    46     16608      1381     89143         0     16451    419543    604856     23.68     25.34  --
14.72/3.79	c  N dy    72     20741      1381     89143         0     10651    419543    276089     24.05     25.32  --
16.29/4.16	c  F st    99     25000      1381     89143         0     14885    419543    430246     24.18     19.78  --
16.29/4.18	c Found part        8 vars:        714 clauses:     47527 lits size:    217846
16.29/4.18	c Found part       11 vars:        667 clauses:     41616 lits size:    201697
16.29/4.18	c Found parts:          2 time: 0.06 s
16.29/4.18	c Solving part 11
16.69/4.21	c  N st     0         0       667     41616         0         0    201697         0   no data   no data  --
17.48/4.43	c asymm  cl-useful: 11/41616/41616 lits-rem:12 time: 0.85
17.48/4.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.48/4.43	c Finding binary XORs  T:     0.00 s  found:       0
17.48/4.45	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
17.48/4.45	c calculated reachability. Time: 0.00
17.48/4.45	c Calc default polars -  time:   0.00 s pos:     667 undec:    1404 neg:       0
17.48/4.45	c =========================================================================================
17.48/4.45	c types(t): F = full restart, N = normal restart
17.48/4.45	c types(t): S = simplification begin/end, E = solution found
17.48/4.45	c restart types(rt): st = static, dy = dynamic
17.48/4.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
17.48/4.45	c  B st     0         0       667     41616         0         0    201685         0   no data   no data  --
18.69/4.78	c  N dy     9      4046       667     41616         0      4001    201685    170733     26.28     29.39  --
20.68/5.21	c  N dy    21      9503       667     41616         0      5968    201685    191173     24.08     25.58  --
21.88/5.57	c  N dy    44     13689       667     41616         0     10113    201685    339340     24.45     25.86  --
23.50/5.92	c  N dy    55     17745       667     41616         0      8497    201685    226873     23.89     25.21  --
25.88/6.51	c  N dy    65     24570       667     41616         0      7998    201685    168523     23.42     25.09  --
25.88/6.54	c  F st    69     25000       667     41616         0      8424    201685    184076     23.49   no data  --
27.47/6.99	c  N dy    75     30195       667     41616         0     13567    201685    389714     23.49   no data  --
29.06/7.38	c  N dy    93     34504       667     41616         0      9307    201685    180666     23.49     24.76  --
30.67/7.74	c  N dy   112     38945       667     41616         0     13710    201685    349110     23.53     24.81  --
31.87/8.08	c  N dy   131     43031       667     41616         0     17768    201685    498726     23.57     27.70  --
33.47/8.44	c  N dy   142     47052       667     41616         0     12063    201685    241842     23.41     27.97  --
34.66/8.78	c  N dy   165     51084       667     41616         0     16059    201685    387064     23.50     26.29  --
36.26/9.14	c  N dy   196     55100       667     41616         0     20051    201685    539635     23.73     25.16  --
37.86/9.53	c  N dy   220     59224       667     41616         0     13374    201685    247120     23.80     25.15  --
39.06/9.88	c  N dy   240     63266       667     41616         0     17381    201685    391735     23.82     25.97  --
47.44/11.91	c  N dy   244     82808       667     41616         0     24816    201685    709021     22.94     24.22  --
49.05/12.35	c  F st   269     87500       667     41616         0     16739    201685    318349     22.99     22.71  --
49.45/12.41	c  N st   271     88127       667     41616         0     17357    201685    340193     22.99   no data  --
51.44/12.95	c  N dy   284     93926       667     41616         0     23085    201685    560446     23.02     24.37  --
53.84/13.53	c  N dy   312    100177       667     41616         0     15516    201685    243030     23.00     24.22  --
56.23/14.11	c  N dy   346    106569       667     41616         0     21865    201685    483228     23.09     24.55  --
58.65/14.76	c  N dy   380    113369       667     41616         0     28615    201685    739313     23.16     24.43  --
62.23/15.66	c  N dy   412    123339       667     41616         0     23689    201685    523486     23.07     24.45  --
67.83/17.01	c  N dy   441    136536       667     41616         0     21021    201685    418184     22.90     24.37  --
71.82/18.01	c  N dy   504    146634       667     41616         0     31044    201685    788086     23.02     24.31  --
75.40/18.98	c  N dy   537    156054       667     41616         0     23575    201685    459986     23.02     26.36  --
79.40/19.99	c  N dy   574    166047       667     41616         0     33482    201685    851207     23.02     24.36  --
83.79/21.04	c  N dy   622    176711       667     41616         0     26272    201685    514008     23.05     24.47  --
88.59/22.24	c  N dy   690    188041       667     41616         0     37503    201685    929775     23.13     24.44  --
94.20/23.62	c  N dy   736    201736       667     41616         0     32275    201685    729619     23.11     24.44  --
99.37/24.99	c  N dy   803    215322       667     41616         0     25997    201685    446527     23.17     24.41  --
105.36/26.45	c  N dy   873    229330       667     41616         0     39840    201685    950730     23.21     24.47  --
112.15/28.16	c  N dy   921    246299       667     41616         0     35941    201685    804624     23.13     24.77  --
119.35/29.94	c  N dy   982    263737       667     41616         0     31465    201685    588768     23.11     24.36  --
126.53/31.78	c  N dy  1072    280572       667     41616         0     25445    201685    329357     23.17     27.26  --
134.52/33.74	c  N dy  1145    298477       667     41616         0     43226    201685   1004706     23.17     28.48  --
138.14/34.65	c  F st  1195    306251       667     41616         0     27185    201684    356069     23.22     22.45  --
144.11/36.15	c  N dy  1223    319861       667     41616         0     40645    201684    882997     23.17     24.46  --
153.30/38.42	c  N dy  1263    341985       667     41616         0     37749    201684    645834     22.98     24.29  --
162.08/40.65	c  N dy  1323    362018       667     41616         0     31958    201684    476310     22.91     26.58  --
171.27/42.94	c  N dy  1389    382101       667     41616         0     51838    201684   1207644     22.84     24.90  --
180.46/45.20	c  N dy  1490    402117       667     41616         0     45009    201684    933915     22.89     24.18  --
189.25/47.47	c  N dy  1584    422226       667     41616         0     37321    201684    616978     22.93     24.20  --
198.83/49.87	c  N dy  1626    442239       667     41616         0     57184    201684   1384399     22.89     28.42  --
208.04/52.19	c  N dy  1726    462299       667     41616         0     48319    201684    967694     22.92     24.41  --
217.61/54.59	c  N dy  1843    482339       667     41616         0     38536    201684    586188     22.96     24.68  --
227.19/56.99	c  N dy  1962    502355       667     41616         0     58385    201684   1309223     23.02     25.93  --
236.78/59.34	c  N dy  2043    522675       667     41616         0     47839    201684    892764     23.00     24.46  --
246.77/61.82	c  N dy  2136    542827       667     41616         0     36152    201684    448335     23.02     24.34  --
256.37/64.25	c  N dy  2196    563994       667     41616         0     57115    201684   1225666     22.97     24.23  --
265.94/66.62	c  N dy  2263    584399       667     41616         0     44698    201684    732162     22.95     24.21  --
276.33/69.24	c  N dy  2374    604451       667     41616         0     64585    201684   1491494     22.99     29.27  --
287.12/71.97	c  N dy  2457    627013       667     41616         0     53326    201684   1051142     22.98     24.19  --
297.89/74.64	c  N dy  2549    647237       667     41616         0     38756    201684    454401     23.00     24.24  --
308.28/77.28	c  N dy  2631    668815       667     41616         0     60112    201684   1247821     22.98     24.22  --
326.26/81.70	c  N dy  2661    703244       667     41616         0     58630    201684   1249493     22.87     24.12  --
337.84/84.60	c  N dy  2704    724319       667     41616         0     42900    201684    557908     22.83     24.08  --
348.64/87.33	c  N dy  2740    744532       667     41616         0     62942    201684   1344286     22.75     24.12  --
359.41/90.05	c  N dy  2827    765219       667     41616         0     45882    201684    649983     22.76     24.10  --
370.61/92.87	c  N dy  2853    786068       667     41616         0     66592    201684   1462278     22.71     24.21  --
383.80/96.15	c  N dy  2962    811345       667     41616         0     53050    201684    884029     22.72     24.15  --
394.96/98.91	c  N dy  3095    831374       667     41616         0     72937    201684   1632399     22.76     24.01  --
405.77/101.62	c  N dy  3218    851444       667     41616         0     53222    201684    836945     22.79     27.16  --
416.53/104.39	c  N dy  3349    871544       667     41616         0     73167    201684   1588704     22.84     27.71  --
428.14/107.30	c  N dy  3454    893234       667     41616         0     54041    201684    859330     22.85     24.23  --
439.70/110.14	c  N dy  3563    913299       667     41616         0     73933    201684   1588362     22.87     26.48  --
450.88/112.92	c  N dy  3680    933338       667     41616         0     52209    201684    738959     22.91     27.17  --
535.56/134.10	c  N dy  3723   1049512       667     41616         0     80805    201684   1902307     22.32     24.10  --
547.14/137.04	c  N dy  3857   1069557       667     41616         0     56361    201684    812930     22.36     25.70  --
548.34/137.35	c  F st  3872   1071876       667     41616         0     58663    201684    894784     22.36     19.54  --
558.74/139.95	c  N dy  3953   1090581       667     41616         0     77190    201684   1574864     22.38     23.60  --
571.52/143.16	c  N dy  4058   1112248       667     41616         0     53247    201684    699206     22.39     23.78  --
583.10/146.10	c  N dy  4211   1132292       667     41616         0     73116    201684   1424526     22.44     25.40  --
596.69/149.44	c  N dy  4349   1152402       667     41616         0     46576    201684    400474     22.47     23.77  --
611.06/153.01	c  N dy  4471   1178914       667     41616         0     72854    201684   1395409     22.47     23.71  --
625.46/156.64	c  N dy  4550   1202710       667     41616         0     48916    201684    464580     22.46     23.92  --
637.03/159.50	c  N dy  4700   1223189       667     41616         0     69223    201684   1223555     22.51     23.84  --
660.19/165.38	c  N dy  4779   1262377       667     41616         0     59427    201684    857187     22.45     23.68  --
671.77/168.26	c  N dy  4897   1282536       667     41616         0     79444    201684   1602741     22.47     23.67  --
685.76/171.72	c  N dy  5028   1302630       667     41616         0     49939    201684    434936     22.49     28.34  --
696.94/174.51	c  N dy  5159   1322898       667     41616         0     70029    201684   1181558     22.52     23.88  --
709.34/177.66	c  N dy  5297   1342949       667     41616         0     89950    201684   1923178     22.56     25.40  --
723.30/181.11	c  N dy  5358   1364853       667     41616         0     61140    201683    852339     22.54     23.97  --
734.90/184.06	c  N dy  5483   1384865       667     41616         0     81028    201683   1583782     22.56     30.36  --
749.27/187.62	c  N dy  5630   1405615       667     41616         0    101606    201683   2331501     22.60     23.90  --
760.46/190.45	c  N dy  5733   1425678       667     41616         0     70015    201683   1116310     22.60     25.73  --
780.42/195.43	c  N dy  5838   1456454       667     41616         0    100567    201683   2343268     22.59     23.92  --
795.21/199.15	c  N dy  5915   1481775       667     41616         0     73094    201683   1248216     22.58     23.81  --
807.99/202.36	c  N dy  6037   1501866       667     41616         0     92997    201683   1977789     22.60     29.50  --
821.57/205.75	c  N dy  6160   1522032       667     41616         0     59580    201683    663145     22.62     23.82  --
834.36/208.94	c  N dy  6276   1544239       667     41616         0     81630    201683   1490214     22.64     23.83  --
847.94/212.30	c  N dy  6385   1564421       667     41616         0    101606    201683   2210766     22.65     23.92  --
863.51/216.22	c  N dy  6465   1589548       667     41616         0     71923    201683   1136148     22.64     23.85  --
879.09/220.19	c  N dy  6531   1616912       667     41616         0     98965    201683   2178877     22.62     23.98  --
892.27/223.48	c  N dy  6632   1636945       667     41616         0     63469    201683    759093     22.63     25.45  --
904.26/226.46	c  N dy  6743   1657010       667     41616         0     83386    201683   1518530     22.65     25.29  --
931.02/233.18	c  N dy  6801   1697841       667     41616         0     67355    201683    907418     22.58     23.98  --
943.40/236.20	c  N dy  6885   1718107       667     41616         0     87420    201683   1665783     22.59     23.92  --
957.39/239.77	c  N dy  7012   1738194       667     41616         0    107348    201683   2402798     22.61     23.81  --
970.16/242.91	c  N dy  7045   1759270       667     41616         0     70845    201683    986334     22.60     23.88  --
982.14/245.99	c  N dy  7144   1779322       667     41616         0     90733    201683   1733921     22.61     24.00  --
996.12/249.44	c  N dy  7220   1799376       667     41616         0    110641    201683   2500742     22.61     24.24  --
1009.31/252.79	c  N dy  7362   1819434       667     41616         0     72151    201683    983635     22.63     28.68  --
1022.09/255.96	c  N dy  7474   1839456       667     41616         0     91991    201683   1708309     22.65     24.00  --
1036.87/259.69	c  N dy  7596   1859475       667     41616         0    111793    201683   2410533     22.66     28.77  --
1079.62/270.36	c  N dy  7639   1913770       667     41616         0    105881    201683   2341162     22.59     23.91  --
1094.80/274.10	c  N dy  7787   1933826       667     41616         0     65574    201683    689305     22.62     30.69  --
1107.17/277.25	c  N dy  7924   1954046       667     41616         0     85598    201683   1423828     22.63     23.92  --
1121.16/280.76	c  N dy  8049   1974116       667     41616         0    105485    201683   2141134     22.65     26.96  --
1135.56/284.37	c  N dy  8125   1994159       667     41616         0     64067    201683    595303     22.65     23.88  --
1147.52/287.39	c  N dy  8220   2014184       667     41616         0     83863    201683   1328518     22.65     29.49  --
1161.10/290.77	c  N dy  8319   2034250       667     41616         0    103721    201683   2052488     22.66     25.04  --
1176.28/294.55	c  N dy  8410   2054448       667     41616         0    123702    201683   2793189     22.66     23.86  --
1191.06/298.29	c  N dy  8484   2078982       667     41616         0     85770    201683   1420558     22.65     23.90  --
1204.25/301.58	c  N dy  8583   2099069       667     41616         0    105665    201683   2137025     22.65     25.30  --
1219.05/305.21	c  N dy  8677   2119158       667     41616         0    125585    201683   2884889     22.66     25.52  --
1232.60/308.66	c  N dy  8792   2141158       667     41616         0     84083    201683   1293322     22.67     23.97  --
1246.19/312.00	c  N dy  8884   2161835       667     41616         0    104555    201683   2017387     22.68     23.98  --
1261.76/315.96	c  N dy  9018   2181903       667     41616         0    124446    201683   2739835     22.69     24.09  --
1274.94/319.26	c  N dy  9118   2201938       667     41616         0     79940    201683   1094701     22.69     23.99  --
1290.52/323.11	c  N dy  9199   2225796       667     41616         0    103572    201683   1984186     22.69     23.91  --
1305.70/326.91	c  N dy  9323   2245883       667     41616         0    123468    201683   2729567     22.71     26.84  --
1320.88/330.78	c  N dy  9374   2267493       667     41616         0     79509    201683   1063565     22.68     24.01  --
1334.86/334.20	c  N dy  9524   2287511       667     41616         0     99369    201683   1788415     22.70     29.15  --
1352.04/338.60	c  N dy  9597   2313014       667     41616         0    124514    201683   2641886     22.70     23.98  --
1366.42/342.14	c  N dy  9686   2333701       667     41616         0     78776    201683    986157     22.70     23.97  --
1383.60/346.41	c  N dy  9815   2358822       667     41616         0    103607    201683   1937065     22.71     24.25  --
1409.16/352.87	c  N dy  9926   2393448       667     41616         0     70667    201683    671708     22.70     23.90  --
1423.94/356.56	c  N dy 10027   2417718       667     41616         0     94678    201683   1509397     22.70     24.00  --
1438.75/360.23	c  N dy 10147   2438156       667     41616         0    114911    201683   2231839     22.71     23.98  --
1456.32/364.65	c  N dy 10230   2461458       667     41616         0     69780    201683    609297     22.71     24.05  --
1469.49/367.97	c  N dy 10347   2482499       667     41616         0     90648    201683   1390890     22.72     23.95  --
1483.46/371.45	c  N dy 10449   2502769       667     41616         0    110726    201683   2140571     22.73     23.94  --
1498.64/375.22	c  N dy 10540   2523005       667     41616         0    130781    201683   2876007     22.73     23.99  --
1513.44/378.95	c  N dy 10642   2543081       667     41616         0     81431    201683   1015964     22.74     25.02  --
1526.62/382.26	c  N dy 10753   2563144       667     41616         0    101313    201683   1765716     22.75     27.73  --
1540.97/385.88	c  N dy 10832   2583156       667     41616         0    121172    201683   2531480     22.75     24.02  --
1557.75/390.07	c  N dy 10933   2603251       667     41616         0     70777    201683    575130     22.76     24.77  --
1570.93/393.36	c  N dy 11065   2623487       667     41616         0     90812    201683   1311995     22.77     24.13  --
1587.32/397.49	c  N dy 11120   2648112       667     41616         0    115237    201683   2258627     22.76     24.09  --
1603.69/401.58	c  N dy 11245   2668233       667     41616         0    135172    201683   3000453     22.77     24.02  --
1618.89/405.31	c  N dy 11361   2688330       667     41616         0     83810    201683   1038227     22.79     26.98  --
1632.85/408.81	c  N dy 11491   2708410       667     41616         0    103720    201683   1760127     22.80     26.01  --
1648.43/412.76	c  N dy 11630   2728470       667     41616         0    123610    201683   2494245     22.81     24.05  --
1664.81/416.83	c  N dy 11696   2749636       667     41616         0    144599    201683   3293291     22.81     24.21  --
1677.59/420.07	c  N dy 11778   2769659       667     41616         0     92065    201683   1322435     22.81     25.44  --
1692.77/423.81	c  N dy 11909   2790952       667     41616         0    113151    201683   2098605     22.82     24.41  --
1707.94/427.60	c  N dy 12002   2810972       667     41616         0    132935    201683   2820383     22.83     28.56  --
1725.12/431.94	c  N dy 12160   2831013       667     41616         0     79579    201683    805073     22.84     29.31  --
1738.70/435.35	c  N dy 12298   2851067       667     41616         0     99452    201683   1537648     22.86     28.68  --
1753.48/439.01	c  N dy 12381   2871166       667     41616         0    119315    201683   2263199     22.86     26.87  --
1771.07/443.46	c  N dy 12499   2893496       667     41616         0    141397    201683   3096186     22.87     24.10  --
1785.86/447.13	c  N dy 12583   2913539       667     41616         0     87073    201683   1048271     22.87     24.30  --
1799.82/450.68	c  N dy 12695   2933588       667     41616         0    106897    201683   1786264     22.88     24.98  --
1815.41/454.58	c  N dy 12834   2953606       667     41616         0    126740    201683   2511437     22.89     27.64  --
1831.78/458.61	c  N dy 12910   2973686       667     41616         0    146601    201683   3238683     22.89     26.14  --
1846.98/462.45	c  N dy 13061   2994294       667     41616         0     91869    201683   1209080     22.90     24.67  --
1860.56/465.88	c  N dy 13144   3014298       667     41616         0    111681    201682   1941512     22.90     25.88  --
1877.73/470.14	c  N dy 13288   3035140       667     41616         0    132358    201682   2718952     22.92     24.27  --
1894.50/474.33	c  N dy 13382   3055241       667     41616         0    152290    201682   3500317     22.93     25.34  --
1908.49/477.85	c  N dy 13503   3075267       667     41616         0     95940    201682   1329759     22.94     25.16  --
1923.65/481.61	c  N dy 13642   3095413       667     41616         0    115922    201682   2070245     22.95     24.18  --
1939.25/485.60	c  N dy 13741   3115450       667     41616         0    135774    201682   2822797     22.95     26.99  --
1958.01/490.26	c  N dy 13847   3136778       667     41616         0     79680    201682    699787     22.96     24.26  --
1970.78/493.45	c  N dy 13915   3156931       667     41616         0     99676    201682   1456594     22.95     24.26  --
1985.17/497.06	c  N dy 14015   3176974       667     41616         0    119573    201682   2189666     22.95     29.64  --
2001.16/501.07	c  N dy 14119   3197036       667     41616         0    139449    201682   2935469     22.96     24.36  --
2019.92/505.77	c  N dy 14251   3217089       667     41616         0     81067    201682    718645     22.97     28.57  --
2033.50/509.17	c  N dy 14363   3237109       667     41616         0    100901    201682   1451208     22.97     24.25  --
2112.19/528.86	c  N dy 14428   3324285       667     41616         0    107725    201682   1846873     22.87     24.08  --
2128.59/532.97	c  N dy 14573   3344353       667     41616         0    127610    201682   2587112     22.89     24.71  --
2145.34/537.12	c  N dy 14670   3364401       667     41616         0    147427    201682   3301663     22.89     30.94  --
2161.73/541.27	c  N dy 14738   3384473       667     41616         0     87303    201682    910501     22.89     27.70  --
2175.70/544.78	c  N dy 14849   3404550       667     41616         0    107190    201682   1650687     22.89     24.33  --
2191.68/548.76	c  N dy 14945   3425065       667     41616         0    127491    201682   2398641     22.90     24.13  --
2210.46/553.43	c  N dy 15057   3446897       667     41616         0    149101    201682   3183430     22.90     24.14  --
2230.43/558.43	c  N dy 15164   3471043       667     41616         0     91960    201682   1072483     22.90     24.22  --
2244.81/562.09	c  N dy 15269   3491260       667     41616         0    112005    201682   1859932     22.91     24.21  --
2261.18/566.18	c  N dy 15400   3511340       667     41616         0    131927    201681   2596920     22.92     24.25  --
2281.16/571.17	c  N dy 15470   3534693       667     41616         0    154992    201681   3455606     22.91     24.18  --
2297.93/575.37	c  N dy 15566   3555428       667     41616         0     93445    201681   1080544     22.91     24.24  --
2312.73/579.07	c  N dy 15704   3575465       667     41616         0    113310    201681   1824900     22.93     26.24  --
2329.49/583.21	c  N dy 15789   3595554       667     41616         0    133222    201681   2541393     22.93     26.63  --
2347.48/587.77	c  N dy 15903   3615620       667     41616         0    153100    201681   3276487     22.93     25.74  --
2371.44/593.74	c  N dy 15987   3645965       667     41616         0     99927    201681   1324285     22.93     24.55  --
2386.61/597.54	c  N dy 16047   3666968       667     41616         0    120641    201681   2063214     22.92     24.21  --
2402.19/601.47	c  N dy 16074   3688494       667     41616         0    141822    201681   2849469     22.91     24.35  --
2430.95/608.67	c  N dy 16175   3723973       667     41616         0     93039    201681   1043123     22.90     24.19  --
2445.32/612.27	c  N dy 16287   3744080       667     41616         0    112947    201681   1785815     22.91     24.39  --
2450.93/613.62	c  F st 16313   3751562       667     41616         0    120344    201681   2048389     22.91   no data  --
2460.51/616.07	c  N dy 16358   3764226       667     41616         0    132895    201681   2525798     22.91     24.23  --
2477.29/620.23	c  N dy 16399   3784236       667     41616         0    152704    201681   3293029     22.91     24.24  --
2509.65/628.38	c  N dy 16505   3823582       667     41616         0    106515    201681   1570406     22.90     24.13  --
2524.04/631.97	c  N dy 16584   3843612       667     41616         0    126292    201681   2297314     22.90     28.01  --
2541.62/636.34	c  N dy 16688   3863640       667     41616         0    146135    201681   3006066     22.90     24.20  --
2559.20/640.76	c  N dy 16776   3883809       667     41616         0    166105    201681   3751536     22.90     24.17  --
2575.16/644.77	c  N dy 16878   3903878       667     41616         0    100022    201681   1213402     22.91     26.03  --
2590.73/648.65	c  N dy 16994   3924335       667     41616         0    120298    201681   1948008     22.91     24.19  --
2607.13/652.76	c  N dy 17093   3944429       667     41616         0    140231    201681   2693345     22.92     27.10  --
2625.88/657.49	c  N dy 17225   3964597       667     41616         0    160222    201681   3438315     22.92     24.14  --
2651.48/663.84	c  N dy 17327   3993370       667     41616         0    101684    201681   1309950     22.92     24.25  --
2666.63/667.62	c  N dy 17380   4013601       667     41616         0    121736    201681   2068891     22.92     24.34  --
2689.40/673.34	c  N dy 17455   4040888       667     41616         0    148716    201681   3112604     22.91     24.17  --
2708.97/678.21	c  N dy 17585   4060979       667     41616         0    168656    201681   3853461     22.92     24.25  --
2724.96/682.28	c  N dy 17662   4081016       667     41616         0    100346    201681   1154366     22.92     24.15  --
2740.53/686.14	c  N dy 17789   4101075       667     41616         0    120193    201681   1874450     22.92     25.84  --
2759.30/690.84	c  N dy 17877   4124194       667     41616         0    143069    201681   2717511     22.93     24.14  --
2779.67/695.93	c  N dy 17958   4147054       667     41616         0    165698    201681   3579194     22.93     24.23  --
2798.44/700.68	c  N dy 18017   4168094       667     41616         0     97421    201681   1020639     22.92     24.14  --
2812.83/704.24	c  N dy 18110   4188133       667     41616         0    117229    201681   1731909     22.92     24.93  --
2830.40/708.62	c  N dy 18235   4208256       667     41616         0    137185    201681   2457968     22.93     24.14  --
2846.78/712.70	c  N dy 18294   4228332       667     41616         0    157084    201681   3245608     22.93     24.37  --
2866.37/717.61	c  N dy 18411   4248577       667     41616         0    177093    201681   3974774     22.93     24.25  --
2882.73/721.72	c  N dy 18502   4270061       667     41616         0    108329    201681   1377849     22.93     24.14  --
2897.90/725.57	c  N dy 18596   4290068       667     41616         0    128115    201681   2113805     22.93     24.84  --
2915.10/729.80	c  N dy 18694   4310098       667     41616         0    147917    201681   2861501     22.94     27.87  --
2933.45/734.46	c  N dy 18789   4330151       667     41616         0    167829    201681   3622027     22.94     24.25  --
2951.83/739.07	c  N dy 18865   4350221       667     41616         0     96745    201681    942924     22.94     24.17  --
2966.61/742.75	c  N dy 18953   4370275       667     41616         0    116618    201681   1682417     22.94     29.75  --
2982.19/746.61	c  N dy 18988   4391548       667     41616         0    137610    201681   2523305     22.94     24.19  --
3000.16/751.16	c  N dy 19055   4412892       667     41616         0    158701    201681   3331415     22.93     24.23  --
3018.14/755.68	c  N dy 19117   4432960       667     41616         0    178528    201681   4102544     22.93     24.17  --
3034.91/759.88	c  N dy 19215   4452995       667     41616         0    106403    201681   1268035     22.93     29.38  --
3050.91/763.83	c  N dy 19270   4474546       667     41616         0    127686    201681   2082785     22.93     24.18  --
3076.45/770.21	c  N dy 19380   4504641       667     41616         0    157574    201681   3253689     22.93     24.20  --
3096.43/775.28	c  N dy 19490   4525176       667     41616         0    177904    201681   4003101     22.94     24.25  --
3115.20/779.97	c  N dy 19603   4545237       667     41616         0    104751    201681   1160853     22.94     24.65  --
3130.77/783.81	c  N dy 19640   4565992       667     41616         0    125252    201681   1975307     22.93     24.18  --
3149.55/788.54	c  N dy 19713   4589082       667     41616         0    148123    201681   2860424     22.93     24.17  --
3168.73/793.31	c  N dy 19827   4609380       667     41616         0    168271    201681   3618514     22.93     24.15  --
3188.30/798.21	c  N dy 19899   4629585       667     41616         0     94290    201681    759065     22.93     24.34  --
3203.08/801.97	c  N dy 20019   4649629       667     41616         0    114141    201681   1483175     22.94     27.97  --
3219.06/805.99	c  N dy 20117   4669712       667     41616         0    134009    201681   2198237     22.94     24.71  --
3236.63/810.31	c  N dy 20209   4689781       667     41616         0    153895    201681   2949997     22.95     24.16  --
3262.22/816.74	c  N dy 20296   4717525       667     41616         0    181235    201681   3986212     22.94     24.28  --
3279.80/821.19	c  N dy 20391   4737705       667     41616         0    106322    201681   1177826     22.95     24.18  --
3296.55/825.39	c  N dy 20520   4759020       667     41616         0    127452    201681   1948930     22.95     24.22  --
3314.54/829.88	c  N dy 20637   4779511       667     41616         0    147751    201681   2707337     22.96     24.32  --
3343.68/837.10	c  N dy 20685   4810566       667     41616         0    178503    201681   3952576     22.94     24.16  --
3363.65/842.14	c  N dy 20793   4830617       667     41616         0    102437    201681   1012080     22.94     25.28  --
3380.46/846.32	c  N dy 20897   4852270       667     41616         0    123873    201681   1809699     22.94     24.34  --
3397.22/850.56	c  N dy 21008   4872361       667     41616         0    143804    201681   2560439     22.95     25.72  --
3416.38/855.31	c  N dy 21101   4892454       667     41616         0    163717    201681   3282512     22.95     26.00  --
3435.16/860.04	c  N dy 21169   4913171       667     41616         0    184190    201681   4077822     22.95     24.47  --
3455.15/865.03	c  N dy 21315   4933191       667     41616         0    107055    201681   1153328     22.96     27.49  --
3470.31/868.85	c  N dy 21402   4953217       667     41616         0    126907    201681   1907133     22.96     24.18  --
3489.09/873.52	c  N dy 21528   4973667       667     41616         0    147185    201681   2666266     22.97     24.23  --
3508.28/878.36	c  N dy 21631   4994022       667     41616         0    167351    201681   3405272     22.97     24.68  --
3531.82/884.26	c  N dy 21682   5019340       667     41616         0    192309    201681   4343226     22.97     24.22  --
3549.40/888.69	c  N dy 21781   5039529       667     41616         0    114354    201681   1393325     22.97     24.25  --
3574.19/894.80	c  N dy 21815   5071392       667     41616         0    145858    201681   2673387     22.96     24.25  --
3593.74/899.77	c  N dy 21954   5091561       667     41616         0    165859    201681   3404999     22.96     24.41  --
3614.12/904.86	c  N dy 22062   5111617       667     41616         0    185756    201681   4160254     22.97     24.22  --
3633.69/909.73	c  N dy 22169   5131776       667     41616         0    106776    201681   1073295     22.97     24.23  --
3650.07/913.83	c  N dy 22291   5151859       667     41616         0    126639    201681   1789246     22.97     28.06  --
3667.64/918.25	c  N dy 22412   5171908       667     41616         0    146500    201681   2522218     22.98     25.00  --
3688.43/923.45	c  N dy 22561   5192428       667     41616         0    166814    201681   3263785     22.99     24.20  --
3709.19/928.63	c  N dy 22668   5212470       667     41616         0    186654    201681   3995230     22.99     26.45  --
3729.95/933.81	c  N dy 22763   5232991       667     41616         0    107013    201681   1041618     22.99     24.37  --
3745.15/937.64	c  N dy 22850   5253097       667     41616         0    126994    201681   1817294     23.00     24.22  --
3761.92/941.86	c  N dy 22944   5273140       667     41616         0    146862    201681   2557019     23.00     24.30  --
3781.08/946.66	c  N dy 23036   5293893       667     41616         0    167369    201681   3319823     23.00     24.24  --
3803.85/952.31	c  N dy 23145   5315855       667     41616         0    189124    201681   4105273     23.00     24.30  --
3825.02/957.60	c  N dy 23249   5336019       667     41616         0    108146    201681   1058581     23.01     24.31  --
3848.59/963.59	c  N dy 23327   5366837       667     41616         0    138541    201681   2221382     23.00     24.29  --
3868.59/968.57	c  N dy 23398   5389512       667     41616         0    161056    201681   3106554     23.00     24.29  --
3890.15/973.92	c  N dy 23506   5411002       667     41616         0    182316    201681   3917215     23.00     24.21  --
3910.91/979.19	c  N dy 23599   5431064       667     41616         0    202220    201681   4672087     23.00     24.21  --
3928.88/983.64	c  N dy 23730   5451311       667     41616         0    120369    201681   1506482     23.01     24.22  --
3948.85/988.63	c  N dy 23816   5476201       667     41616         0    144999    201681   2430859     23.00     24.30  --
3967.23/993.24	c  N dy 23896   5496733       667     41616         0    165288    201681   3215549     23.00     24.27  --
3988.79/998.67	c  N dy 24010   5517471       667     41616         0    185816    201681   3961004     23.01     24.38  --
4013.97/1004.91	c  N dy 24116   5539824       667     41616         0    105085    201681    895226     23.01     24.23  --
4029.54/1008.84	c  N dy 24228   5559877       667     41616         0    124950    201681   1622368     23.02     24.40  --
4045.91/1012.93	c  N dy 24263   5579959       667     41616         0    144774    201681   2383141     23.01     30.46  --
4067.09/1018.30	c  N dy 24307   5604477       667     41616         0    169094    201681   3408072     23.00     24.25  --
4093.46/1024.88	c  N dy 24348   5632796       667     41616         0    197013    201681   4475053     22.99     24.61  --
4112.63/1029.67	c  N dy 24406   5653665       667     41616         0    113769    201681   1191984     22.99     24.26  --
4129.41/1033.86	c  N dy 24542   5673723       667     41616         0    133668    201681   1926152     23.00     29.43  --
4147.38/1038.36	c  N dy 24590   5693984       667     41616         0    153744    201681   2724858     22.99     24.31  --
4166.56/1043.13	c  N dy 24647   5714032       667     41616         0    173537    201681   3532962     22.99     28.90  --
4188.94/1048.72	c  N dy 24768   5734379       667     41616         0    193690    201681   4259931     22.99     24.39  --
4209.29/1053.83	c  N dy 24829   5754452       667     41616         0    108678    201681    973153     22.99     24.24  --
4229.26/1058.81	c  N dy 24906   5779463       667     41616         0    133364    201681   1908019     22.98     24.29  --
4257.63/1065.99	c  N dy 24978   5811165       667     41616         0    164778    201681   3209295     22.97     24.35  --
4278.39/1071.11	c  N dy 25071   5831319       667     41616         0    184730    201681   3956033     22.97     24.20  --
4299.96/1076.59	c  N dy 25174   5851410       667     41616         0    204613    201681   4682460     22.98     28.85  --
4322.33/1082.13	c  N dy 25182   5875449       667     41616         0    122592    201681   1525725     22.96     24.19  --
4339.92/1086.52	c  N dy 25307   5895600       667     41616         0    142592    201681   2311337     22.97     24.19  --
4357.49/1090.92	c  N dy 25375   5915661       667     41616         0    162428    201681   3077139     22.97     28.46  --
4376.66/1095.71	c  N dy 25450   5935665       667     41616         0    182262    201681   3843571     22.97     27.85  --
4396.62/1100.79	c  N dy 25514   5956120       667     41616         0    202508    201681   4624050     22.97     24.21  --
4421.00/1106.84	c  N dy 25640   5979126       667     41616         0    118437    201681   1277618     22.97     24.24  --
4439.39/1111.49	c  N dy 25730   6001783       667     41616         0    140855    201681   2116298     22.97     24.30  --
4456.98/1115.86	c  N dy 25784   6022553       667     41616         0    161415    201681   2914764     22.97     24.25  --
4476.52/1120.73	c  N dy 25862   6043441       667     41616         0    182046    201681   3691169     22.97     24.21  --
4497.69/1126.01	c  N dy 25958   6063525       667     41616         0    201927    201681   4432909     22.97     29.54  --
4519.26/1131.44	c  N dy 26075   6083578       667     41616         0    113985    201681   1082788     22.98     25.12  --
4536.06/1135.69	c  N dy 26194   6103849       667     41616         0    134049    201681   1813346     22.98     24.22  --
4554.81/1140.36	c  N dy 26317   6123932       667     41616         0    153951    201681   2552285     22.99     24.34  --
4574.39/1145.26	c  N dy 26434   6144147       667     41616         0    173931    201681   3282717     22.99     24.23  --
4595.56/1150.58	c  N dy 26539   6164170       667     41616         0    193758    201681   4020536     22.99     27.59  --
4617.92/1156.10	c  N dy 26643   6184172       667     41616         0    213527    201681   4745227     23.00     24.29  --
4636.30/1160.78	c  N dy 26766   6204530       667     41616         0    124901    201681   1458319     23.00     24.26  --
4654.69/1165.32	c  N dy 26870   6225611       667     41616         0    145816    201681   2233876     23.00     24.51  --
4675.05/1170.45	c  N dy 26981   6247037       667     41616         0    167023    201681   3005962     23.01     24.23  --
4695.43/1175.52	c  N dy 27085   6267157       667     41616         0    186961    201681   3744094     23.01     24.24  --
4717.39/1181.04	c  N dy 27160   6288141       667     41616         0    207697    201681   4515042     23.01     24.22  --
4738.96/1186.46	c  N dy 27255   6308421       667     41616         0    117980    201681   1185231     23.01     24.38  --
4757.73/1191.11	c  N dy 27335   6331783       667     41616         0    141132    201681   2070351     23.01     24.27  --
4777.73/1196.13	c  N dy 27486   6351848       667     41616         0    160989    201681   2798917     23.02     24.23  --
4798.08/1201.22	c  N dy 27579   6372451       667     41616         0    181354    201681   3538827     23.02     24.27  --

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-3250143-1304130488/watcher-3250143-1304130488 -o /tmp/evaluation-result-3250143-1304130488/solver-3250143-1304130488 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3250143-1304130488.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.55 8.19 8.43 5/180 26682
/proc/meminfo: memFree=30865540/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 603279527 52465664 352 33554432000 4194304 4650419 140735603837664 18446744073709551615 47367577171890 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26682/statm: 12809 352 303 112 0 7774 0
[pid=26682/tid=26683] ppid=26680 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 603279527 52465664 352 33554432000 4194304 4650419 140735603837664 18446744073709551615 47367577171884 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 603279527 52465664 352 33554432000 4194304 4650419 140735603837664 18446744073709551615 47367577171890 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 603279527 52465664 352 33554432000 4194304 4650419 140735603837664 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.055718 s]
/proc/loadavg: 7.55 8.19 8.43 5/180 26682
/proc/meminfo: memFree=30865540/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=295920 CPUtime=0.16 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 11299 0 0 0 13 3 0 0 18 0 4 0 603279527 303022080 11200 33554432000 4194304 4650419 140735603837664 18446744073709551615 224284983722 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26682/statm: 74047 11203 344 112 0 69012 0
[pid=26682/tid=26683] ppid=26680 vsize=296188 CPUtime=0.03 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) D 26680 26682 23915 0 -1 4202560 2679 0 0 0 3 0 0 0 18 0 4 0 603279527 303296512 11203 33554432000 4194304 4650419 140735603837664 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=296188 CPUtime=0.03 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 2692 0 0 0 3 0 0 0 18 0 4 0 603279527 303296512 11203 33554432000 4194304 4650419 140735603837664 18446744073709551615 4545938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=296188 CPUtime=0.03 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) D 26680 26682 23915 0 -1 4202560 2830 0 0 0 3 0 0 0 18 0 4 0 603279527 303296512 11203 33554432000 4194304 4650419 140735603837664 18446744073709551615 4373896 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 295920

[startup+0.69863 s]
/proc/loadavg: 7.55 8.19 8.43 5/180 26682
/proc/meminfo: memFree=30865540/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=339532 CPUtime=2.73 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 21089 0 0 0 268 5 0 0 18 0 4 0 603279527 347680768 16898 33554432000 4194304 4650419 140735603837664 18446744073709551615 4511549 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26682/statm: 84883 16395 370 112 0 79848 0
[pid=26682/tid=26683] ppid=26680 vsize=339532 CPUtime=0.67 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 5703 0 0 0 66 1 0 0 18 0 4 0 603279527 347680768 16395 33554432000 4194304 4650419 140735603837664 18446744073709551615 224284969095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=339532 CPUtime=0.67 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) D 26680 26682 23915 0 -1 4202560 5724 0 0 0 66 1 0 0 18 0 4 0 603279527 347680768 16395 33554432000 4194304 4650419 140735603837664 18446744073709551615 224284969095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=339532 CPUtime=0.67 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) D 26680 26682 23915 0 -1 4202560 3513 0 0 0 67 0 0 0 18 0 4 0 603279527 347680768 16395 33554432000 4194304 4650419 140735603837664 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 339532

[startup+0.718398 s]
/proc/loadavg: 7.55 8.19 8.43 5/180 26682
/proc/meminfo: memFree=30865540/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=315496 CPUtime=2.8 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) D 26680 26682 23915 0 -1 4202496 22316 0 0 0 275 5 0 0 18 0 4 0 603279527 323067904 15008 33554432000 4194304 4650419 140735603837664 18446744073709551615 4426459 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26682/statm: 78874 15008 377 112 0 73839 0
[pid=26682/tid=26683] ppid=26680 vsize=315496 CPUtime=0.69 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) D 26680 26682 23915 0 -1 4202560 6120 0 0 0 68 1 0 0 18 0 4 0 603279527 323067904 15008 33554432000 4194304 4650419 140735603837664 18446744073709551615 224284622951 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=315496 CPUtime=0.69 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) D 26680 26682 23915 0 -1 4202560 6128 0 0 0 68 1 0 0 18 0 4 0 603279527 323067904 15008 33554432000 4194304 4650419 140735603837664 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=315496 CPUtime=0.69 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 3539 0 0 0 69 0 0 0 18 0 4 0 603279527 323067904 15008 33554432000 4194304 4650419 140735603837664 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 315496

[startup+0.800596 s]
/proc/loadavg: 7.55 8.19 8.43 5/180 26682
/proc/meminfo: memFree=30865540/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=315496 CPUtime=3.11 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 35334 0 0 0 302 9 0 0 18 0 4 0 603279527 323067904 28017 33554432000 4194304 4650419 140735603837664 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 78874 28017 385 112 0 73839 0
[pid=26682/tid=26683] ppid=26680 vsize=315496 CPUtime=0.76 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 10346 0 0 0 74 2 0 0 18 0 4 0 603279527 323067904 28017 33554432000 4194304 4650419 140735603837664 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=315496 CPUtime=0.76 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 10519 0 0 0 74 2 0 0 18 0 4 0 603279527 323067904 28017 33554432000 4194304 4650419 140735603837664 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=315496 CPUtime=0.77 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 3579 0 0 0 77 0 0 0 18 0 4 0 603279527 323067904 28017 33554432000 4194304 4650419 140735603837664 18446744073709551615 4329578 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 315496

[startup+1.50049 s]
/proc/loadavg: 7.75 8.22 8.44 10/184 26686
/proc/meminfo: memFree=30720308/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=315760 CPUtime=5.93 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 38879 0 0 0 584 9 0 0 18 0 4 0 603279527 323338240 29102 33554432000 4194304 4650419 140735603837664 18446744073709551615 4432399 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 78940 29102 387 112 0 73905 0
[pid=26682/tid=26683] ppid=26680 vsize=315760 CPUtime=1.48 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 11469 0 0 0 145 3 0 0 18 0 4 0 603279527 323338240 29102 33554432000 4194304 4650419 140735603837664 18446744073709551615 4433024 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=315760 CPUtime=1.48 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 11848 0 0 0 145 3 0 0 18 0 4 0 603279527 323338240 29102 33554432000 4194304 4650419 140735603837664 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=315760 CPUtime=1.47 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 3951 0 0 0 147 0 0 0 18 0 4 0 603279527 323338240 29102 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365357 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) 315760

[startup+3.10121 s]
/proc/loadavg: 7.75 8.22 8.44 9/184 26686
/proc/meminfo: memFree=30679168/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=349100 CPUtime=12.3 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 53558 0 0 0 1218 12 0 0 19 0 4 0 603279527 357478400 40314 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 87275 40314 394 112 0 82240 0
[pid=26682/tid=26683] ppid=26680 vsize=349100 CPUtime=3.06 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 16209 0 0 0 303 3 0 0 19 0 4 0 603279527 357478400 40314 33554432000 4194304 4650419 140735603837664 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=349100 CPUtime=3.07 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 15913 0 0 0 303 4 0 0 19 0 4 0 603279527 357478400 40314 33554432000 4194304 4650419 140735603837664 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=349100 CPUtime=3.07 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 4694 0 0 0 306 1 0 0 22 0 4 0 603279527 357478400 40314 33554432000 4194304 4650419 140735603837664 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 349100

[startup+6.30068 s]
/proc/loadavg: 7.77 8.22 8.44 9/184 26686
/proc/meminfo: memFree=30604900/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=422984 CPUtime=25.07 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 79550 0 0 0 2490 17 0 0 25 0 4 0 603279527 433135616 57100 33554432000 4194304 4650419 140735603837664 18446744073709551615 4328315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 105746 57100 396 112 0 100711 0
[pid=26682/tid=26683] ppid=26680 vsize=422984 CPUtime=6.27 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 20813 0 0 0 623 4 0 0 25 0 4 0 603279527 433135616 57100 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=422984 CPUtime=6.27 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 20507 0 0 0 622 5 0 0 25 0 4 0 603279527 433135616 57100 33554432000 4194304 4650419 140735603837664 18446744073709551615 4331043 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=422984 CPUtime=6.27 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 16880 0 0 0 625 2 0 0 25 0 4 0 603279527 433135616 57100 33554432000 4194304 4650419 140735603837664 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) 422984

[startup+12.7006 s]
/proc/loadavg: 7.79 8.21 8.43 9/184 26686
/proc/meminfo: memFree=30525440/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=517976 CPUtime=50.64 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 97647 0 0 0 5042 22 0 0 25 0 4 0 603279527 530407424 72051 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 129494 72051 396 112 0 124459 0
[pid=26682/tid=26683] ppid=26680 vsize=517976 CPUtime=12.67 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 26049 0 0 0 1262 5 0 0 25 0 4 0 603279527 530407424 72051 33554432000 4194304 4650419 140735603837664 18446744073709551615 4329570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=517976 CPUtime=12.67 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 23920 0 0 0 1261 6 0 0 25 0 4 0 603279527 530407424 72051 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=517976 CPUtime=12.67 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 22070 0 0 0 1263 4 0 0 25 0 4 0 603279527 530407424 72051 33554432000 4194304 4650419 140735603837664 18446744073709551615 4329710 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 517976

[startup+25.5005 s]
/proc/loadavg: 7.82 8.20 8.43 9/184 26686
/proc/meminfo: memFree=30472964/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=561888 CPUtime=101.77 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 105966 0 0 0 10154 23 0 0 25 0 4 0 603279527 575373312 80349 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 140472 80349 396 112 0 135437 0
[pid=26682/tid=26683] ppid=26680 vsize=561888 CPUtime=25.47 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 29690 0 0 0 2541 6 0 0 25 0 4 0 603279527 575373312 80349 33554432000 4194304 4650419 140735603837664 18446744073709551615 4364325 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=561888 CPUtime=25.46 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 25999 0 0 0 2540 6 0 0 25 0 4 0 603279527 575373312 80349 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=561888 CPUtime=25.47 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 23473 0 0 0 2543 4 0 0 25 0 4 0 603279527 575373312 80349 33554432000 4194304 4650419 140735603837664 18446744073709551615 4360479 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 561888

[startup+51.1062 s]
/proc/loadavg: 7.89 8.18 8.41 9/184 26686
/proc/meminfo: memFree=30402200/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=607632 CPUtime=204.04 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 121299 0 0 0 20377 27 0 0 25 0 4 0 603279527 622215168 90289 33554432000 4194304 4650419 140735603837664 18446744073709551615 4328256 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 151908 90289 396 112 0 146873 0
[pid=26682/tid=26683] ppid=26680 vsize=607632 CPUtime=51.07 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 35624 0 0 0 5100 7 0 0 25 0 4 0 603279527 622215168 90289 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=607632 CPUtime=51.07 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 29324 0 0 0 5100 7 0 0 25 0 4 0 603279527 622215168 90289 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=607632 CPUtime=51.08 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 23715 0 0 0 5103 5 0 0 25 0 4 0 603279527 622215168 90289 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 607632

[startup+102.301 s]
/proc/loadavg: 7.95 8.15 8.39 9/184 26688
/proc/meminfo: memFree=30292164/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=621348 CPUtime=408.54 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 141997 0 0 0 40820 34 0 0 25 0 4 0 603279527 636260352 97536 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 155337 97536 396 112 0 150302 0
[pid=26682/tid=26683] ppid=26680 vsize=621348 CPUtime=102.26 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 41618 0 0 0 10217 9 0 0 25 0 4 0 603279527 636260352 97536 33554432000 4194304 4650419 140735603837664 18446744073709551615 4328325 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=621348 CPUtime=102.26 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 34547 0 0 0 10217 9 0 0 25 0 4 0 603279527 636260352 97536 33554432000 4194304 4650419 140735603837664 18446744073709551615 4328348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=621348 CPUtime=102.27 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 26622 0 0 0 10222 5 0 0 25 0 4 0 603279527 636260352 97536 33554432000 4194304 4650419 140735603837664 18446744073709551615 4360427 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.54
Current children cumulated vsize (KiB) 621348

[startup+162.301 s]

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

[pid=26682] ppid=26680 vsize=766068 CPUtime=2565.57 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 270639 0 0 0 256466 91 0 0 25 0 4 0 603279527 784453632 119050 33554432000 4194304 4650419 140735603837664 18446744073709551615 4313456 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 191517 119050 396 112 0 186482 0
[pid=26682/tid=26683] ppid=26680 vsize=766068 CPUtime=642.27 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 75355 0 0 0 64203 24 0 0 25 0 4 0 603279527 784453632 119050 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=766068 CPUtime=642.22 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 67575 0 0 0 64199 23 0 0 25 0 4 0 603279527 784453632 119050 33554432000 4194304 4650419 140735603837664 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=766068 CPUtime=642.27 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 65995 0 0 0 64203 24 0 0 25 0 4 0 603279527 784453632 119050 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.57
Current children cumulated vsize (KiB) 766068

[startup+702.307 s]
/proc/loadavg: 8.32 8.17 8.26 9/184 26707
/proc/meminfo: memFree=30001872/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=667928 CPUtime=2805.26 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 297901 0 0 0 280425 101 0 0 25 0 4 0 603279527 683958272 117350 33554432000 4194304 4650419 140735603837664 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 166982 117350 396 112 0 161947 0
[pid=26682/tid=26683] ppid=26680 vsize=667928 CPUtime=702.28 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 82655 0 0 0 70202 26 0 0 25 0 4 0 603279527 683958272 117350 33554432000 4194304 4650419 140735603837664 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=667928 CPUtime=702.21 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 75936 0 0 0 70194 27 0 0 25 0 4 0 603279527 683958272 117350 33554432000 4194304 4650419 140735603837664 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=667928 CPUtime=702.28 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 70370 0 0 0 70202 26 0 0 25 0 4 0 603279527 683958272 117350 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.26
Current children cumulated vsize (KiB) 667928

[startup+762.301 s]
/proc/loadavg: 8.30 8.18 8.26 9/184 26709
/proc/meminfo: memFree=29978496/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=668388 CPUtime=3044.91 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 354003 0 0 0 304372 119 0 0 25 0 4 0 603279527 684429312 118420 33554432000 4194304 4650419 140735603837664 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 167097 118420 396 112 0 162062 0
[pid=26682/tid=26683] ppid=26680 vsize=668388 CPUtime=762.27 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 99343 0 0 0 76196 31 0 0 25 0 4 0 603279527 684429312 118420 33554432000 4194304 4650419 140735603837664 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=668388 CPUtime=762.2 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 93445 0 0 0 76188 32 0 0 25 0 4 0 603279527 684429312 118420 33554432000 4194304 4650419 140735603837664 18446744073709551615 4349712 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=668388 CPUtime=762.27 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 74958 0 0 0 76199 28 0 0 25 0 4 0 603279527 684429312 118420 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.91
Current children cumulated vsize (KiB) 668388

[startup+822.301 s]
/proc/loadavg: 8.25 8.18 8.25 9/184 26709
/proc/meminfo: memFree=29958484/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=727188 CPUtime=3284.57 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 408129 0 0 0 328319 138 0 0 25 0 4 0 603279527 744640512 121112 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 181797 121112 396 112 0 176762 0
[pid=26682/tid=26683] ppid=26680 vsize=727188 CPUtime=822.27 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 114294 0 0 0 82191 36 0 0 25 0 4 0 603279527 744640512 121112 33554432000 4194304 4650419 140735603837664 18446744073709551615 4360637 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=727188 CPUtime=822.2 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 110688 0 0 0 82182 38 0 0 25 0 4 0 603279527 744640512 121112 33554432000 4194304 4650419 140735603837664 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=727188 CPUtime=822.27 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 79640 0 0 0 82197 30 0 0 25 0 4 0 603279527 744640512 121112 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.57
Current children cumulated vsize (KiB) 727188

[startup+882.301 s]
/proc/loadavg: 8.22 8.18 8.25 9/184 26711
/proc/meminfo: memFree=29945272/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=845992 CPUtime=3524.24 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 461675 0 0 0 352269 155 0 0 25 0 4 0 603279527 866295808 124126 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 211498 124126 396 112 0 206463 0
[pid=26682/tid=26683] ppid=26680 vsize=845992 CPUtime=882.27 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 131296 0 0 0 88186 41 0 0 25 0 4 0 603279527 866295808 124126 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=845992 CPUtime=882.19 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 127494 0 0 0 88176 43 0 0 25 0 4 0 603279527 866295808 124126 33554432000 4194304 4650419 140735603837664 18446744073709551615 4328209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=845992 CPUtime=882.27 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 84567 0 0 0 88195 32 0 0 25 0 4 0 603279527 866295808 124126 33554432000 4194304 4650419 140735603837664 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.24
Current children cumulated vsize (KiB) 845992

[startup+942.301 s]
/proc/loadavg: 8.27 8.19 8.24 9/184 26713
/proc/meminfo: memFree=29927868/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=729168 CPUtime=3763.91 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 512901 0 0 0 376218 173 0 0 25 0 4 0 603279527 746668032 122334 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 182292 122334 396 112 0 177257 0
[pid=26682/tid=26683] ppid=26680 vsize=729168 CPUtime=942.27 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 147491 0 0 0 94180 47 0 0 25 0 4 0 603279527 746668032 122334 33554432000 4194304 4650419 140735603837664 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=729168 CPUtime=942.18 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 142200 0 0 0 94171 47 0 0 25 0 4 0 603279527 746668032 122334 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=729168 CPUtime=942.27 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 88314 0 0 0 94193 34 0 0 25 0 4 0 603279527 746668032 122334 33554432000 4194304 4650419 140735603837664 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.91
Current children cumulated vsize (KiB) 729168

[startup+1002.3 s]
/proc/loadavg: 8.22 8.18 8.24 9/184 26715
/proc/meminfo: memFree=29885532/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=909520 CPUtime=4003.58 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 560765 0 0 0 400163 195 0 0 25 0 4 0 603279527 931348480 130344 33554432000 4194304 4650419 140735603837664 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 227380 130344 396 112 0 222345 0
[pid=26682/tid=26683] ppid=26680 vsize=909520 CPUtime=1002.28 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 161816 0 0 0 100174 54 0 0 25 0 4 0 603279527 931348480 130344 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=909520 CPUtime=1002.18 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 156152 0 0 0 100165 53 0 0 25 0 4 0 603279527 931348480 130344 33554432000 4194304 4650419 140735603837664 18446744073709551615 4313463 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=909520 CPUtime=1002.27 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 93638 0 0 0 100190 37 0 0 25 0 4 0 603279527 931348480 130344 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.58
Current children cumulated vsize (KiB) 909520

[startup+1062.3 s]
/proc/loadavg: 8.19 8.18 8.23 9/184 26717
/proc/meminfo: memFree=29915608/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=670320 CPUtime=4243.24 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 613897 0 0 0 424113 211 0 0 25 0 4 0 603279527 686407680 123469 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 167580 123469 396 112 0 162545 0
[pid=26682/tid=26683] ppid=26680 vsize=670320 CPUtime=1062.27 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 178419 0 0 0 106169 58 0 0 25 0 4 0 603279527 686407680 123469 33554432000 4194304 4650419 140735603837664 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=670320 CPUtime=1062.17 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 172292 0 0 0 106159 58 0 0 25 0 4 0 603279527 686407680 123469 33554432000 4194304 4650419 140735603837664 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=670320 CPUtime=1062.27 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 97711 0 0 0 106188 39 0 0 25 0 4 0 603279527 686407680 123469 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.24
Current children cumulated vsize (KiB) 670320

[startup+1122.3 s]
/proc/loadavg: 8.17 8.17 8.22 9/184 26717
/proc/meminfo: memFree=29901924/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=853172 CPUtime=4482.92 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 659172 0 0 0 448063 229 0 0 25 0 4 0 603279527 873648128 127926 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363520 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 213293 127926 396 112 0 208258 0
[pid=26682/tid=26683] ppid=26680 vsize=853172 CPUtime=1122.28 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 191917 0 0 0 112165 63 0 0 25 0 4 0 603279527 873648128 127926 33554432000 4194304 4650419 140735603837664 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=853172 CPUtime=1122.17 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 185957 0 0 0 112154 63 0 0 25 0 4 0 603279527 873648128 127926 33554432000 4194304 4650419 140735603837664 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=853172 CPUtime=1122.28 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 102125 0 0 0 112186 42 0 0 25 0 4 0 603279527 873648128 127926 33554432000 4194304 4650419 140735603837664 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.92
Current children cumulated vsize (KiB) 853172

[startup+1182.3 s]
/proc/loadavg: 8.11 8.15 8.21 9/184 26719
/proc/meminfo: memFree=29834536/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=915952 CPUtime=4722.58 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 706207 0 0 0 472010 248 0 0 25 0 4 0 603279527 937934848 132542 33554432000 4194304 4650419 140735603837664 18446744073709551615 4328256 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 228988 132542 396 112 0 223953 0
[pid=26682/tid=26683] ppid=26680 vsize=915952 CPUtime=1182.27 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 206288 0 0 0 118159 68 0 0 25 0 4 0 603279527 937934848 132542 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=915952 CPUtime=1182.16 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 200184 0 0 0 118148 68 0 0 25 0 4 0 603279527 937934848 132542 33554432000 4194304 4650419 140735603837664 18446744073709551615 4350758 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=915952 CPUtime=1182.28 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 107288 0 0 0 118183 45 0 0 25 0 4 0 603279527 937934848 132542 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.58
Current children cumulated vsize (KiB) 915952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.71 s]
/proc/loadavg: 8.08 8.14 8.20 9/184 26721
/proc/meminfo: memFree=29832780/32951124 swapFree=67103364/67111528
[pid=26682] ppid=26680 vsize=855356 CPUtime=4800.12 cores=0,2,4,6
/proc/26682/stat : 26682 (strangenight1-m) R 26680 26682 23915 0 -1 4202496 723366 0 0 0 479757 255 0 0 25 0 4 0 603279527 875884544 127976 33554432000 4194304 4650419 140735603837664 18446744073709551615 4363458 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26682/statm: 213839 127976 396 112 0 208804 0
[pid=26682/tid=26683] ppid=26680 vsize=855356 CPUtime=1201.69 cores=0,2,4,6
/proc/26682/task/26683/stat : 26683 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 211821 0 0 0 120099 70 0 0 25 0 4 0 603279527 875884544 127976 33554432000 4194304 4650419 140735603837664 18446744073709551615 4349729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26682/tid=26684] ppid=26680 vsize=855356 CPUtime=1201.57 cores=0,2,4,6
/proc/26682/task/26684/stat : 26684 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 205367 0 0 0 120087 70 0 0 25 0 4 0 603279527 875884544 127976 33554432000 4194304 4650419 140735603837664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26682/tid=26685] ppid=26680 vsize=855356 CPUtime=1201.69 cores=0,2,4,6
/proc/26682/task/26685/stat : 26685 (strangenight1-m) R 26680 26682 23915 0 -1 4202560 108370 0 0 0 120123 46 0 0 25 0 4 0 603279527 875884544 127976 33554432000 4194304 4650419 140735603837664 18446744073709551615 4334212 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 855356

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.17
CPU user time (s): 4797.6
CPU system time (s): 2.57561
CPU usage (%): 399.434
Max. virtual memory (cumulated for all children) (KiB): 996860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.6
system time used= 2.57561
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 723370
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= 5421
involuntary context switches= 20756

runsolver used 1.9477 second user time and 4.6333 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-30 04:28:09
IDJOB=3250143
IDBENCH=83245
IDSOLVER=1588
FILE ID=node118/3250143-1304130488
RUNJOBID= node118-1304130488-26659
PBS_JOBID= 13170759
Free space on /tmp= 71928 MiB

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

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

MD5SUM BENCH= d2ef996f95bbf68a3c980c797dfdc364
RANDOM SEED=1304359844

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30865952 kB
Buffers:        404896 kB
Cached:        1261728 kB
SwapCached:       2448 kB
Active:         144436 kB
Inactive:      1588016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30865952 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:           14792 kB
Writeback:           0 kB
AnonPages:       65144 kB
Mapped:          14856 kB
Slab:           289828 kB
PageTables:       4880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   275996 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= 71920 MiB
End job on node118 at 2011-04-30 04:48:12