Trace number 3369119

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.38 1203.14

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369119-1305413743.cnf'
0.00/0.01	c -- header says num vars:           2071
0.00/0.01	c -- header says num clauses:      159039
0.00/0.06	c -- clauses added:            0 learnts,       159039 normals,            0 xors
0.00/0.06	c -- vars added       2071
0.00/0.06	c Parsing time:  0.16 s
0.00/0.06	c  N st     0         0      2071    159039         0         0    479052         0   no data   no data  --
0.00/0.68	c asymm  cl-useful: 0/158323/159039 lits-rem:0 time: 2.49
2.75/0.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
2.75/0.76	c bin-w-bin subsume rem            0 bins  time:  0.06 s
2.75/0.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.75/0.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2071 time:  0.04 s
2.75/0.78	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.03 s
7.53/1.95	c lits-rem:         0  cl-subs:       10  v-elim:    690  v-fix:    0  time:  4.65 s
7.53/1.95	c Finding binary XORs  T:     0.00 s  found:       0
7.53/1.98	c Finding non-binary XORs:     0.11 s (found:       0, avg size: nan)
7.53/1.98	c calculated reachability. Time: 0.00
7.53/1.99	c Calc default polars -  time:   0.02 s pos:    1381 undec:     690 neg:       0
7.53/1.99	c =========================================================================================
7.53/1.99	c types(t): F = full restart, N = normal restart
7.53/1.99	c types(t): S = simplification begin/end, E = solution found
7.53/1.99	c restart types(rt): st = static, dy = dynamic
7.53/1.99	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.53/1.99	c  B st     0         0      1381     89143         0         0    419543         0   no data   no data  --
9.14/2.32	c  N dy    12      4092      1381     89143         0      4059    419543    159080     24.76     26.39  --
10.34/2.66	c  N dy    26      8202      1381     89143         0      8137    419543    310174     24.40     25.76  --
11.93/3.02	c  N dy    33     12606      1381     89143         0     12477    419543    464882     23.91     25.18  --
13.13/3.34	c  N dy    46     16608      1381     89143         0     16451    419543    604856     23.68     25.34  --
14.73/3.75	c  N dy    72     20741      1381     89143         0     10651    419543    276089     24.05     25.32  --
16.31/4.12	c  F st    99     25000      1381     89143         0     14885    419543    430246     24.18     19.78  --
16.31/4.14	c Found part        8 vars:        714 clauses:     47527 lits size:    217846
16.31/4.14	c Found part       11 vars:        667 clauses:     41616 lits size:    201697
16.31/4.14	c Found parts:          2 time: 0.06 s
16.31/4.14	c Solving part 11
16.31/4.17	c  N st     0         0       667     41616         0         0    201697         0   no data   no data  --
17.12/4.38	c asymm  cl-useful: 11/41616/41616 lits-rem:12 time: 0.85
17.12/4.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.12/4.39	c Finding binary XORs  T:     0.00 s  found:       0
17.52/4.40	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
17.52/4.40	c calculated reachability. Time: 0.00
17.52/4.40	c Calc default polars -  time:   0.00 s pos:     667 undec:    1404 neg:       0
17.52/4.40	c =========================================================================================
17.52/4.40	c types(t): F = full restart, N = normal restart
17.52/4.40	c types(t): S = simplification begin/end, E = solution found
17.52/4.40	c restart types(rt): st = static, dy = dynamic
17.52/4.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
17.52/4.40	c  B st     0         0       667     41616         0         0    201685         0   no data   no data  --
18.71/4.73	c  N dy     9      4046       667     41616         0      4001    201685    170733     26.28     29.39  --
20.31/5.16	c  N dy    21      9503       667     41616         0      5968    201685    191173     24.08     25.58  --
21.90/5.52	c  N dy    44     13689       667     41616         0     10113    201685    339340     24.45     25.86  --
23.10/5.86	c  N dy    55     17745       667     41616         0      8497    201685    226873     23.89     25.21  --
25.49/6.45	c  N dy    65     24570       667     41616         0      7998    201685    168523     23.42     25.09  --
25.49/6.49	c  F st    69     25000       667     41616         0      8424    201685    184076     23.49   no data  --
27.49/6.94	c  N dy    75     30195       667     41616         0     13567    201685    389714     23.49   no data  --
29.09/7.32	c  N dy    93     34504       667     41616         0      9307    201685    180666     23.49     24.76  --
30.29/7.68	c  N dy   112     38945       667     41616         0     13710    201685    349110     23.53     24.81  --
31.89/8.01	c  N dy   131     43031       667     41616         0     17768    201685    498726     23.57     27.70  --
33.12/8.37	c  N dy   142     47052       667     41616         0     12063    201685    241842     23.41     27.97  --
34.67/8.71	c  N dy   165     51084       667     41616         0     16059    201685    387064     23.50     26.29  --
35.87/9.07	c  N dy   196     55100       667     41616         0     20051    201685    539635     23.73     25.16  --
37.50/9.45	c  N dy   220     59224       667     41616         0     13374    201685    247120     23.80     25.15  --
39.06/9.80	c  N dy   240     63266       667     41616         0     17381    201685    391735     23.82     25.97  --
47.04/11.82	c  N dy   244     82808       667     41616         0     24816    201685    709021     22.94     24.22  --
48.64/12.26	c  F st   269     87500       667     41616         0     16739    201685    318349     22.99     22.71  --
49.04/12.32	c  N st   271     88127       667     41616         0     17357    201685    340193     22.99   no data  --
51.04/12.85	c  N dy   284     93926       667     41616         0     23085    201685    560446     23.02     24.37  --
53.44/13.43	c  N dy   312    100177       667     41616         0     15516    201685    243030     23.00     24.22  --
55.83/14.00	c  N dy   346    106569       667     41616         0     21865    201685    483228     23.09     24.55  --
58.23/14.64	c  N dy   380    113369       667     41616         0     28615    201685    739313     23.16     24.43  --
61.81/15.55	c  N dy   412    123339       667     41616         0     23689    201685    523486     23.07     24.45  --
67.00/16.88	c  N dy   441    136536       667     41616         0     21021    201685    418184     22.90     24.37  --
71.00/17.87	c  N dy   504    146634       667     41616         0     31044    201685    788086     23.02     24.31  --
74.98/18.84	c  N dy   537    156054       667     41616         0     23575    201685    459986     23.02     26.36  --
78.98/19.85	c  N dy   574    166047       667     41616         0     33482    201685    851207     23.02     24.36  --
82.96/20.89	c  N dy   622    176711       667     41616         0     26272    201685    514008     23.05     24.47  --
87.75/22.08	c  N dy   690    188041       667     41616         0     37503    201685    929775     23.13     24.44  --
93.34/23.45	c  N dy   736    201736       667     41616         0     32275    201685    729619     23.11     24.44  --
98.96/24.81	c  N dy   803    215322       667     41616         0     25997    201685    446527     23.17     24.41  --
104.51/26.26	c  N dy   873    229330       667     41616         0     39840    201685    950730     23.21     24.47  --
111.30/27.96	c  N dy   921    246299       667     41616         0     35941    201685    804624     23.13     24.77  --
118.48/29.74	c  N dy   982    263737       667     41616         0     31465    201685    588768     23.11     24.36  --
125.66/31.55	c  N dy  1072    280572       667     41616         0     25445    201685    329357     23.17     27.26  --
133.67/33.51	c  N dy  1145    298477       667     41616         0     43226    201685   1004706     23.17     28.48  --
137.24/34.41	c  F st  1195    306251       667     41616         0     27185    201684    356069     23.22     22.45  --
143.21/35.90	c  N dy  1223    319861       667     41616         0     40645    201684    882997     23.17     24.46  --
151.99/38.15	c  N dy  1263    341985       667     41616         0     37749    201684    645834     22.98     24.29  --
160.78/40.36	c  N dy  1323    362018       667     41616         0     31958    201684    476310     22.91     26.58  --
169.95/42.63	c  N dy  1389    382101       667     41616         0     51838    201684   1207644     22.84     24.90  --
178.73/44.88	c  N dy  1490    402117       667     41616         0     45009    201684    933915     22.89     24.18  --
187.91/47.14	c  N dy  1584    422226       667     41616         0     37321    201684    616978     22.93     24.20  --
197.49/49.51	c  N dy  1626    442239       667     41616         0     57184    201684   1384399     22.89     28.42  --
206.27/51.79	c  N dy  1726    462299       667     41616         0     48319    201684    967694     22.92     24.41  --
215.85/54.17	c  N dy  1843    482339       667     41616         0     38536    201684    586188     22.96     24.68  --
225.43/56.56	c  N dy  1962    502355       667     41616         0     58385    201684   1309223     23.02     25.93  --
234.63/58.88	c  N dy  2043    522675       667     41616         0     47839    201684    892764     23.00     24.46  --
244.58/61.33	c  N dy  2136    542827       667     41616         0     36152    201684    448335     23.02     24.34  --
254.16/63.75	c  N dy  2196    563994       667     41616         0     57115    201684   1225666     22.97     24.23  --
263.74/66.10	c  N dy  2263    584399       667     41616         0     44698    201684    732162     22.95     24.21  --
273.71/68.69	c  N dy  2374    604451       667     41616         0     64585    201684   1491494     22.99     29.27  --
284.49/71.39	c  N dy  2457    627013       667     41616         0     53326    201684   1051142     22.98     24.19  --
295.27/74.02	c  N dy  2549    647237       667     41616         0     38756    201684    454401     23.00     24.24  --
305.63/76.64	c  N dy  2631    668815       667     41616         0     60112    201684   1247821     22.98     24.22  --
323.19/81.04	c  N dy  2661    703244       667     41616         0     58630    201684   1249493     22.87     24.12  --
334.37/83.89	c  N dy  2704    724319       667     41616         0     42900    201684    557908     22.83     24.08  --
345.54/86.60	c  N dy  2740    744532       667     41616         0     62942    201684   1344286     22.75     24.12  --
355.92/89.30	c  N dy  2827    765219       667     41616         0     45882    201684    649983     22.76     24.10  --
367.09/92.09	c  N dy  2853    786068       667     41616         0     66592    201684   1462278     22.71     24.21  --
380.26/95.34	c  N dy  2962    811345       667     41616         0     53050    201684    884029     22.72     24.15  --
391.05/98.08	c  N dy  3095    831374       667     41616         0     72937    201684   1632399     22.76     24.01  --
401.85/100.76	c  N dy  3218    851444       667     41616         0     53222    201684    836945     22.79     27.16  --
413.00/103.50	c  N dy  3349    871544       667     41616         0     73167    201684   1588704     22.84     27.71  --
424.17/106.38	c  N dy  3454    893234       667     41616         0     54041    201684    859330     22.85     24.23  --
435.74/109.20	c  N dy  3563    913299       667     41616         0     73933    201684   1588362     22.87     26.48  --
446.51/111.94	c  N dy  3680    933338       667     41616         0     52209    201684    738959     22.91     27.17  --
530.32/132.97	c  N dy  3723   1049512       667     41616         0     80805    201684   1902307     22.32     24.10  --
541.91/135.88	c  N dy  3857   1069557       667     41616         0     56361    201684    812930     22.36     25.70  --
543.08/136.18	c  F st  3872   1071876       667     41616         0     58663    201684    894784     22.36     19.54  --
553.46/138.79	c  N dy  3953   1090581       667     41616         0     77190    201684   1574864     22.38     23.60  --
566.24/141.95	c  N dy  4058   1112248       667     41616         0     53247    201684    699206     22.39     23.78  --
577.82/144.87	c  N dy  4211   1132292       667     41616         0     73116    201684   1424526     22.44     25.40  --
590.98/148.17	c  N dy  4349   1152402       667     41616         0     46576    201684    400474     22.47     23.77  --
605.35/151.72	c  N dy  4471   1178914       667     41616         0     72854    201684   1395409     22.47     23.71  --
619.72/155.31	c  N dy  4550   1202710       667     41616         0     48916    201684    464580     22.46     23.92  --
630.89/158.15	c  N dy  4700   1223189       667     41616         0     69223    201684   1223555     22.51     23.84  --
654.03/163.99	c  N dy  4779   1262377       667     41616         0     59427    201684    857187     22.45     23.68  --
665.60/166.88	c  N dy  4897   1282536       667     41616         0     79444    201684   1602741     22.47     23.67  --
679.18/170.28	c  N dy  5028   1302630       667     41616         0     49939    201684    434936     22.49     28.34  --
690.35/173.07	c  N dy  5159   1322898       667     41616         0     70029    201684   1181558     22.52     23.88  --
703.12/176.20	c  N dy  5297   1342949       667     41616         0     89950    201684   1923178     22.56     25.40  --
716.69/179.61	c  N dy  5358   1364853       667     41616         0     61140    201683    852339     22.54     23.97  --
728.26/182.55	c  N dy  5483   1384865       667     41616         0     81028    201683   1583782     22.56     30.36  --
742.23/186.06	c  N dy  5630   1405615       667     41616         0    101606    201683   2331501     22.60     23.90  --
753.41/188.86	c  N dy  5733   1425678       667     41616         0     70015    201683   1116310     22.60     25.73  --
773.36/193.81	c  N dy  5838   1456454       667     41616         0    100567    201683   2343268     22.59     23.92  --
787.75/197.50	c  N dy  5915   1481775       667     41616         0     73094    201683   1248216     22.58     23.81  --
800.93/200.71	c  N dy  6037   1501866       667     41616         0     92997    201683   1977789     22.60     29.50  --
814.08/204.08	c  N dy  6160   1522032       667     41616         0     59580    201683    663145     22.62     23.82  --
826.84/207.24	c  N dy  6276   1544239       667     41616         0     81630    201683   1490214     22.64     23.83  --
840.00/210.58	c  N dy  6385   1564421       667     41616         0    101606    201683   2210766     22.65     23.92  --
855.57/214.47	c  N dy  6465   1589548       667     41616         0     71923    201683   1136148     22.64     23.85  --
871.57/218.45	c  N dy  6531   1616912       667     41616         0     98965    201683   2178877     22.62     23.98  --
884.32/221.69	c  N dy  6632   1636945       667     41616         0     63469    201683    759093     22.63     25.45  --
896.27/224.67	c  N dy  6743   1657010       667     41616         0     83386    201683   1518530     22.65     25.29  --
923.02/231.32	c  N dy  6801   1697841       667     41616         0     67355    201683    907418     22.58     23.98  --
934.98/234.34	c  N dy  6885   1718107       667     41616         0     87420    201683   1665783     22.59     23.92  --
948.95/237.87	c  N dy  7012   1738194       667     41616         0    107348    201683   2402798     22.61     23.81  --
961.32/240.98	c  N dy  7045   1759270       667     41616         0     70845    201683    986334     22.60     23.88  --
973.69/244.07	c  N dy  7144   1779322       667     41616         0     90733    201683   1733921     22.61     24.00  --
987.67/247.51	c  N dy  7220   1799376       667     41616         0    110641    201683   2500742     22.61     24.24  --
1000.43/250.79	c  N dy  7362   1819434       667     41616         0     72151    201683    983635     22.63     28.68  --
1013.21/253.97	c  N dy  7474   1839456       667     41616         0     91991    201683   1708309     22.65     24.00  --
1027.97/257.68	c  N dy  7596   1859475       667     41616         0    111793    201683   2410533     22.66     28.77  --
1070.26/268.27	c  N dy  7639   1913770       667     41616         0    105881    201683   2341162     22.59     23.91  --
1085.04/271.98	c  N dy  7787   1933826       667     41616         0     65574    201683    689305     22.62     30.69  --
1097.80/275.13	c  N dy  7924   1954046       667     41616         0     85598    201683   1423828     22.63     23.92  --
1111.77/278.63	c  N dy  8049   1974116       667     41616         0    105485    201683   2141134     22.65     26.96  --
1125.75/282.18	c  N dy  8125   1994159       667     41616         0     64067    201683    595303     22.65     23.88  --
1137.71/285.18	c  N dy  8220   2014184       667     41616         0     83863    201683   1328518     22.65     29.49  --
1151.28/288.55	c  N dy  8319   2034250       667     41616         0    103721    201683   2052488     22.66     25.04  --
1166.04/292.25	c  N dy  8410   2054448       667     41616         0    123702    201683   2793189     22.66     23.86  --
1180.81/295.99	c  N dy  8484   2078982       667     41616         0     85770    201683   1420558     22.65     23.90  --
1194.38/299.31	c  N dy  8583   2099069       667     41616         0    105665    201683   2137025     22.65     25.30  --
1208.75/302.90	c  N dy  8677   2119158       667     41616         0    125585    201683   2884889     22.66     25.52  --
1222.33/306.33	c  N dy  8792   2141158       667     41616         0     84083    201683   1293322     22.67     23.97  --
1235.50/309.65	c  N dy  8884   2161835       667     41616         0    104555    201683   2017387     22.68     23.98  --
1251.05/313.57	c  N dy  9018   2181903       667     41616         0    124446    201683   2739835     22.69     24.09  --
1264.21/316.83	c  N dy  9118   2201938       667     41616         0     79940    201683   1094701     22.69     23.99  --
1279.39/320.69	c  N dy  9199   2225796       667     41616         0    103572    201683   1984186     22.69     23.91  --
1294.53/324.46	c  N dy  9323   2245883       667     41616         0    123468    201683   2729567     22.71     26.84  --
1309.70/328.25	c  N dy  9374   2267493       667     41616         0     79509    201683   1063565     22.68     24.01  --
1323.28/331.67	c  N dy  9524   2287511       667     41616         0     99369    201683   1788415     22.70     29.15  --
1340.84/336.02	c  N dy  9597   2313014       667     41616         0    124514    201683   2641886     22.70     23.98  --
1354.79/339.52	c  N dy  9686   2333701       667     41616         0     78776    201683    986157     22.70     23.97  --
1371.58/343.78	c  N dy  9815   2358822       667     41616         0    103607    201683   1937065     22.71     24.25  --
1397.49/350.23	c  N dy  9926   2393448       667     41616         0     70667    201683    671708     22.70     23.90  --
1412.25/353.90	c  N dy 10027   2417718       667     41616         0     94678    201683   1509397     22.70     24.00  --
1426.63/357.55	c  N dy 10147   2438156       667     41616         0    114911    201683   2231839     22.71     23.98  --
1444.18/361.93	c  N dy 10230   2461458       667     41616         0     69780    201683    609297     22.71     24.05  --
1457.35/365.26	c  N dy 10347   2482499       667     41616         0     90648    201683   1390890     22.72     23.95  --
1471.32/368.74	c  N dy 10449   2502769       667     41616         0    110726    201683   2140571     22.73     23.94  --
1486.13/372.47	c  N dy 10540   2523005       667     41616         0    130781    201683   2876007     22.73     23.99  --
1500.85/376.19	c  N dy 10642   2543081       667     41616         0     81431    201683   1015964     22.74     25.02  --
1514.42/379.50	c  N dy 10753   2563144       667     41616         0    101313    201683   1765716     22.75     27.73  --
1528.79/383.14	c  N dy 10832   2583156       667     41616         0    121172    201683   2531480     22.75     24.02  --
1545.15/387.29	c  N dy 10933   2603251       667     41616         0     70777    201683    575130     22.76     24.77  --
1558.31/390.53	c  N dy 11065   2623487       667     41616         0     90812    201683   1311995     22.77     24.13  --
1574.67/394.69	c  N dy 11120   2648112       667     41616         0    115237    201683   2258627     22.76     24.09  --
1591.06/398.74	c  N dy 11245   2668233       667     41616         0    135172    201683   3000453     22.77     24.02  --
1605.81/402.43	c  N dy 11361   2688330       667     41616         0     83810    201683   1038227     22.79     26.98  --
1619.77/405.94	c  N dy 11491   2708410       667     41616         0    103720    201683   1760127     22.80     26.01  --
1635.37/409.89	c  N dy 11630   2728470       667     41616         0    123610    201683   2494245     22.81     24.05  --
1651.70/413.91	c  N dy 11696   2749636       667     41616         0    144599    201683   3293291     22.81     24.21  --
1664.48/417.12	c  N dy 11778   2769659       667     41616         0     92065    201683   1322435     22.81     25.44  --
1679.27/420.87	c  N dy 11909   2790952       667     41616         0    113151    201683   2098605     22.82     24.41  --
1694.40/424.63	c  N dy 12002   2810972       667     41616         0    132935    201683   2820383     22.83     28.56  --
1711.56/428.91	c  N dy 12160   2831013       667     41616         0     79579    201683    805073     22.84     29.31  --
1725.13/432.31	c  N dy 12298   2851067       667     41616         0     99452    201683   1537648     22.86     28.68  --
1739.50/435.96	c  N dy 12381   2871166       667     41616         0    119315    201683   2263199     22.86     26.87  --
1757.06/440.35	c  N dy 12499   2893496       667     41616         0    141397    201683   3096186     22.87     24.10  --
1771.46/443.97	c  N dy 12583   2913539       667     41616         0     87073    201683   1048271     22.87     24.30  --
1785.78/447.50	c  N dy 12695   2933588       667     41616         0    106897    201683   1786264     22.88     24.98  --
1801.36/451.41	c  N dy 12834   2953606       667     41616         0    126740    201683   2511437     22.89     27.64  --
1817.32/455.41	c  N dy 12910   2973686       667     41616         0    146601    201683   3238683     22.89     26.14  --
1832.50/459.23	c  N dy 13061   2994294       667     41616         0     91869    201683   1209080     22.90     24.67  --
1846.08/462.62	c  N dy 13144   3014298       667     41616         0    111681    201682   1941512     22.90     25.88  --
1862.81/466.89	c  N dy 13288   3035140       667     41616         0    132358    201682   2718952     22.92     24.27  --
1879.58/471.04	c  N dy 13382   3055241       667     41616         0    152290    201682   3500317     22.93     25.34  --
1893.54/474.56	c  N dy 13503   3075267       667     41616         0     95940    201682   1329759     22.94     25.16  --
1908.70/478.32	c  N dy 13642   3095413       667     41616         0    115922    201682   2070245     22.95     24.18  --
1924.69/482.31	c  N dy 13741   3115450       667     41616         0    135774    201682   2822797     22.95     26.99  --
1943.02/486.93	c  N dy 13847   3136778       667     41616         0     79680    201682    699787     22.96     24.26  --
1955.42/490.05	c  N dy 13915   3156931       667     41616         0     99676    201682   1456594     22.95     24.26  --
1969.76/493.65	c  N dy 14015   3176974       667     41616         0    119573    201682   2189666     22.95     29.64  --
1985.73/497.64	c  N dy 14119   3197036       667     41616         0    139449    201682   2935469     22.96     24.36  --
2004.48/502.31	c  N dy 14251   3217089       667     41616         0     81067    201682    718645     22.97     28.57  --
2017.66/505.68	c  N dy 14363   3237109       667     41616         0    100901    201682   1451208     22.97     24.25  --
2095.20/525.19	c  N dy 14428   3324285       667     41616         0    107725    201682   1846873     22.87     24.08  --
2111.36/529.29	c  N dy 14573   3344353       667     41616         0    127610    201682   2587112     22.89     24.71  --
2127.92/533.41	c  N dy 14670   3364401       667     41616         0    147427    201682   3301663     22.89     30.94  --
2144.11/537.56	c  N dy 14738   3384473       667     41616         0     87303    201682    910501     22.89     27.70  --
2158.08/541.04	c  N dy 14849   3404550       667     41616         0    107190    201682   1650687     22.89     24.33  --
2174.07/545.02	c  N dy 14945   3425065       667     41616         0    127491    201682   2398641     22.90     24.13  --
2192.40/549.68	c  N dy 15057   3446897       667     41616         0    149101    201682   3183430     22.90     24.14  --
2212.37/554.64	c  N dy 15164   3471043       667     41616         0     91960    201682   1072483     22.90     24.22  --
2226.75/558.25	c  N dy 15269   3491260       667     41616         0    112005    201682   1859932     22.91     24.21  --
2243.10/562.35	c  N dy 15400   3511340       667     41616         0    131927    201681   2596920     22.92     24.25  --
2263.04/567.34	c  N dy 15470   3534693       667     41616         0    154992    201681   3455606     22.91     24.18  --
2279.43/571.50	c  N dy 15566   3555428       667     41616         0     93445    201681   1080544     22.91     24.24  --
2294.17/575.18	c  N dy 15704   3575465       667     41616         0    113310    201681   1824900     22.93     26.24  --
2310.58/579.27	c  N dy 15789   3595554       667     41616         0    133222    201681   2541393     22.93     26.63  --
2328.89/583.85	c  N dy 15903   3615620       667     41616         0    153100    201681   3276487     22.93     25.74  --
2352.44/589.77	c  N dy 15987   3645965       667     41616         0     99927    201681   1324285     22.93     24.55  --
2367.65/593.56	c  N dy 16047   3666968       667     41616         0    120641    201681   2063214     22.92     24.21  --
2383.17/597.47	c  N dy 16074   3688494       667     41616         0    141822    201681   2849469     22.91     24.35  --
2411.90/604.66	c  N dy 16175   3723973       667     41616         0     93039    201681   1043123     22.90     24.19  --
2426.27/608.24	c  N dy 16287   3744080       667     41616         0    112947    201681   1785815     22.91     24.39  --
2431.86/609.60	c  F st 16313   3751562       667     41616         0    120344    201681   2048389     22.91   no data  --
2441.43/612.05	c  N dy 16358   3764226       667     41616         0    132895    201681   2525798     22.91     24.23  --
2457.79/616.20	c  N dy 16399   3784236       667     41616         0    152704    201681   3293029     22.91     24.24  --
2490.55/624.33	c  N dy 16505   3823582       667     41616         0    106515    201681   1570406     22.90     24.13  --
2504.88/627.90	c  N dy 16584   3843612       667     41616         0    126292    201681   2297314     22.90     28.01  --
2522.04/632.24	c  N dy 16688   3863640       667     41616         0    146135    201681   3006066     22.90     24.20  --
2539.61/636.66	c  N dy 16776   3883809       667     41616         0    166105    201681   3751536     22.90     24.17  --
2555.57/640.68	c  N dy 16878   3903878       667     41616         0    100022    201681   1213402     22.91     26.03  --
2571.14/644.51	c  N dy 16994   3924335       667     41616         0    120298    201681   1948008     22.91     24.19  --
2587.14/648.56	c  N dy 17093   3944429       667     41616         0    140231    201681   2693345     22.92     27.10  --
2606.25/653.30	c  N dy 17225   3964597       667     41616         0    160222    201681   3438315     22.92     24.14  --
2631.39/659.63	c  N dy 17327   3993370       667     41616         0    101684    201681   1309950     22.92     24.25  --
2646.16/663.39	c  N dy 17380   4013601       667     41616         0    121736    201681   2068891     22.92     24.34  --
2668.90/669.05	c  N dy 17455   4040888       667     41616         0    148716    201681   3112604     22.91     24.17  --
2688.45/673.93	c  N dy 17585   4060979       667     41616         0    168656    201681   3853461     22.92     24.25  --
2704.41/677.98	c  N dy 17662   4081016       667     41616         0    100346    201681   1154366     22.92     24.15  --
2719.98/681.82	c  N dy 17789   4101075       667     41616         0    120193    201681   1874450     22.92     25.84  --
2738.33/686.49	c  N dy 17877   4124194       667     41616         0    143069    201681   2717511     22.93     24.14  --
2758.69/691.58	c  N dy 17958   4147054       667     41616         0    165698    201681   3579194     22.93     24.23  --
2777.84/696.30	c  N dy 18017   4168094       667     41616         0     97421    201681   1020639     22.92     24.14  --
2791.81/699.87	c  N dy 18110   4188133       667     41616         0    117229    201681   1731909     22.92     24.93  --
2809.37/704.22	c  N dy 18235   4208256       667     41616         0    137185    201681   2457968     22.93     24.14  --
2825.33/708.27	c  N dy 18294   4228332       667     41616         0    157084    201681   3245608     22.93     24.37  --
2844.89/713.17	c  N dy 18411   4248577       667     41616         0    177093    201681   3974774     22.93     24.25  --
2861.25/717.25	c  N dy 18502   4270061       667     41616         0    108329    201681   1377849     22.93     24.14  --
2876.44/721.06	c  N dy 18596   4290068       667     41616         0    128115    201681   2113805     22.93     24.84  --
2893.18/725.26	c  N dy 18694   4310098       667     41616         0    147917    201681   2861501     22.94     27.87  --
2911.56/729.89	c  N dy 18789   4330151       667     41616         0    167829    201681   3622027     22.94     24.25  --
2929.89/734.47	c  N dy 18865   4350221       667     41616         0     96745    201681    942924     22.94     24.17  --
2944.66/738.11	c  N dy 18953   4370275       667     41616         0    116618    201681   1682417     22.94     29.75  --
2959.85/741.96	c  N dy 18988   4391548       667     41616         0    137610    201681   2523305     22.94     24.19  --
2977.81/746.45	c  N dy 19055   4412892       667     41616         0    158701    201681   3331415     22.93     24.23  --
2995.74/750.95	c  N dy 19117   4432960       667     41616         0    178528    201681   4102544     22.93     24.17  --
3012.52/755.12	c  N dy 19215   4452995       667     41616         0    106403    201681   1268035     22.93     29.38  --
3028.06/759.02	c  N dy 19270   4474546       667     41616         0    127686    201681   2082785     22.93     24.18  --
3053.21/765.36	c  N dy 19380   4504641       667     41616         0    157574    201681   3253689     22.93     24.20  --
3073.16/770.39	c  N dy 19490   4525176       667     41616         0    177904    201681   4003101     22.94     24.25  --
3091.96/775.08	c  N dy 19603   4545237       667     41616         0    104751    201681   1160853     22.94     24.65  --
3107.49/778.91	c  N dy 19640   4565992       667     41616         0    125252    201681   1975307     22.93     24.18  --
3126.25/783.60	c  N dy 19713   4589082       667     41616         0    148123    201681   2860424     22.93     24.17  --
3144.99/788.31	c  N dy 19827   4609380       667     41616         0    168271    201681   3618514     22.93     24.15  --
3164.55/793.26	c  N dy 19899   4629585       667     41616         0     94290    201681    759065     22.93     24.34  --
3179.33/796.95	c  N dy 20019   4649629       667     41616         0    114141    201681   1483175     22.94     27.97  --
3195.28/800.90	c  N dy 20117   4669712       667     41616         0    134009    201681   2198237     22.94     24.71  --
3212.03/805.20	c  N dy 20209   4689781       667     41616         0    153895    201681   2949997     22.95     24.16  --
3237.98/811.61	c  N dy 20296   4717525       667     41616         0    181235    201681   3986212     22.94     24.28  --
3255.54/816.04	c  N dy 20391   4737705       667     41616         0    106322    201681   1177826     22.95     24.18  --
3272.29/820.21	c  N dy 20520   4759020       667     41616         0    127452    201681   1948930     22.95     24.22  --
3289.86/824.68	c  N dy 20637   4779511       667     41616         0    147751    201681   2707337     22.96     24.32  --
3318.60/831.88	c  N dy 20685   4810566       667     41616         0    178503    201681   3952576     22.94     24.16  --
3338.53/836.86	c  N dy 20793   4830617       667     41616         0    102437    201681   1012080     22.94     25.28  --
3354.92/840.96	c  N dy 20897   4852270       667     41616         0    123873    201681   1809699     22.94     24.34  --
3371.66/845.18	c  N dy 21008   4872361       667     41616         0    143804    201681   2560439     22.95     25.72  --
3390.46/849.88	c  N dy 21101   4892454       667     41616         0    163717    201681   3282512     22.95     26.00  --
3409.58/854.60	c  N dy 21169   4913171       667     41616         0    184190    201681   4077822     22.95     24.47  --
3429.14/859.60	c  N dy 21315   4933191       667     41616         0    107055    201681   1153328     22.96     27.49  --
3444.30/863.38	c  N dy 21402   4953217       667     41616         0    126907    201681   1907133     22.96     24.18  --
3463.06/868.03	c  N dy 21528   4973667       667     41616         0    147185    201681   2666266     22.97     24.23  --
3482.23/872.84	c  N dy 21631   4994022       667     41616         0    167351    201681   3405272     22.97     24.68  --
3505.76/878.71	c  N dy 21682   5019340       667     41616         0    192309    201681   4343226     22.97     24.22  --
3523.31/883.15	c  N dy 21781   5039529       667     41616         0    114354    201681   1393325     22.97     24.25  --
3547.26/889.15	c  N dy 21815   5071392       667     41616         0    145858    201681   2673387     22.96     24.25  --
3566.82/894.08	c  N dy 21954   5091561       667     41616         0    165859    201681   3404999     22.96     24.41  --
3587.17/899.12	c  N dy 22062   5111617       667     41616         0    185756    201681   4160254     22.97     24.22  --
3606.72/904.01	c  N dy 22169   5131776       667     41616         0    106776    201681   1073295     22.97     24.23  --
3622.71/908.08	c  N dy 22291   5151859       667     41616         0    126639    201681   1789246     22.97     28.06  --
3640.27/912.43	c  N dy 22412   5171908       667     41616         0    146500    201681   2522218     22.98     25.00  --
3660.60/917.58	c  N dy 22561   5192428       667     41616         0    166814    201681   3263785     22.99     24.20  --
3681.35/922.77	c  N dy 22668   5212470       667     41616         0    186654    201681   3995230     22.99     26.45  --
3701.72/927.86	c  N dy 22763   5232991       667     41616         0    107013    201681   1041618     22.99     24.37  --
3716.86/931.67	c  N dy 22850   5253097       667     41616         0    126994    201681   1817294     23.00     24.22  --
3733.63/935.85	c  N dy 22944   5273140       667     41616         0    146862    201681   2557019     23.00     24.30  --
3752.79/940.60	c  N dy 23036   5293893       667     41616         0    167369    201681   3319823     23.00     24.24  --
3774.74/946.19	c  N dy 23145   5315855       667     41616         0    189124    201681   4105273     23.00     24.30  --
3795.89/951.43	c  N dy 23249   5336019       667     41616         0    108146    201681   1058581     23.01     24.31  --
3819.44/957.39	c  N dy 23327   5366837       667     41616         0    138541    201681   2221382     23.00     24.29  --
3839.38/962.34	c  N dy 23398   5389512       667     41616         0    161056    201681   3106554     23.00     24.29  --
3860.53/967.64	c  N dy 23506   5411002       667     41616         0    182316    201681   3917215     23.00     24.21  --
3881.28/972.88	c  N dy 23599   5431064       667     41616         0    202220    201681   4672087     23.00     24.21  --
3899.26/977.38	c  N dy 23730   5451311       667     41616         0    120369    201681   1506482     23.01     24.22  --
3919.19/982.32	c  N dy 23816   5476201       667     41616         0    144999    201681   2430859     23.00     24.30  --
3937.55/986.92	c  N dy 23896   5496733       667     41616         0    165288    201681   3215549     23.00     24.27  --
3958.70/992.27	c  N dy 24010   5517471       667     41616         0    185816    201681   3961004     23.01     24.38  --
3983.43/998.46	c  N dy 24116   5539824       667     41616         0    105085    201681    895226     23.01     24.23  --
3999.41/1002.41	c  N dy 24228   5559877       667     41616         0    124950    201681   1622368     23.02     24.40  --
4015.37/1006.46	c  N dy 24263   5579959       667     41616         0    144774    201681   2383141     23.01     30.46  --
4036.51/1011.79	c  N dy 24307   5604477       667     41616         0    169094    201681   3408072     23.00     24.25  --
4062.85/1018.37	c  N dy 24348   5632796       667     41616         0    197013    201681   4475053     22.99     24.61  --
4082.01/1023.10	c  N dy 24406   5653665       667     41616         0    113769    201681   1191984     22.99     24.26  --
4098.77/1027.31	c  N dy 24542   5673723       667     41616         0    133668    201681   1926152     23.00     29.43  --
4116.33/1031.75	c  N dy 24590   5693984       667     41616         0    153744    201681   2724858     22.99     24.31  --
4135.09/1036.45	c  N dy 24647   5714032       667     41616         0    173537    201681   3532962     22.99     28.90  --
4157.04/1041.97	c  N dy 24768   5734379       667     41616         0    193690    201681   4259931     22.99     24.39  --
4177.39/1047.03	c  N dy 24829   5754452       667     41616         0    108678    201681    973153     22.99     24.24  --
4197.35/1052.05	c  N dy 24906   5779463       667     41616         0    133364    201681   1908019     22.98     24.29  --
4225.67/1059.19	c  N dy 24978   5811165       667     41616         0    164778    201681   3209295     22.97     24.35  --
4246.05/1064.29	c  N dy 25071   5831319       667     41616         0    184730    201681   3956033     22.97     24.20  --
4267.58/1069.71	c  N dy 25174   5851410       667     41616         0    204613    201681   4682460     22.98     28.85  --
4289.53/1075.20	c  N dy 25182   5875449       667     41616         0    122592    201681   1525725     22.96     24.19  --
4307.51/1079.63	c  N dy 25307   5895600       667     41616         0    142592    201681   2311337     22.97     24.19  --
4324.65/1084.00	c  N dy 25375   5915661       667     41616         0    162428    201681   3077139     22.97     28.46  --
4343.80/1088.76	c  N dy 25450   5935665       667     41616         0    182262    201681   3843571     22.97     27.85  --
4363.76/1093.77	c  N dy 25514   5956120       667     41616         0    202508    201681   4624050     22.97     24.21  --
4387.70/1099.76	c  N dy 25640   5979126       667     41616         0    118437    201681   1277618     22.97     24.24  --
4406.05/1104.39	c  N dy 25730   6001783       667     41616         0    140855    201681   2116298     22.97     24.30  --
4423.60/1108.71	c  N dy 25784   6022553       667     41616         0    161415    201681   2914764     22.97     24.25  --
4442.76/1113.54	c  N dy 25862   6043441       667     41616         0    182046    201681   3691169     22.97     24.21  --
4463.91/1118.83	c  N dy 25958   6063525       667     41616         0    201927    201681   4432909     22.97     29.54  --
4485.46/1124.24	c  N dy 26075   6083578       667     41616         0    113985    201681   1082788     22.98     25.12  --
4502.22/1128.47	c  N dy 26194   6103849       667     41616         0    134049    201681   1813346     22.98     24.22  --
4520.97/1133.10	c  N dy 26317   6123932       667     41616         0    153951    201681   2552285     22.99     24.34  --
4540.15/1137.97	c  N dy 26434   6144147       667     41616         0    173931    201681   3282717     22.99     24.23  --
4561.29/1143.27	c  N dy 26539   6164170       667     41616         0    193758    201681   4020536     22.99     27.59  --
4583.23/1148.72	c  N dy 26643   6184172       667     41616         0    213527    201681   4745227     23.00     24.29  --
4601.61/1153.40	c  N dy 26766   6204530       667     41616         0    124901    201681   1458319     23.00     24.26  --
4619.94/1157.94	c  N dy 26870   6225611       667     41616         0    145816    201681   2233876     23.00     24.51  --
4640.30/1163.00	c  N dy 26981   6247037       667     41616         0    167023    201681   3005962     23.01     24.23  --
4660.26/1168.00	c  N dy 27085   6267157       667     41616         0    186961    201681   3744094     23.01     24.24  --
4681.79/1173.46	c  N dy 27160   6288141       667     41616         0    207697    201681   4515042     23.01     24.22  --
4703.34/1178.83	c  N dy 27255   6308421       667     41616         0    117980    201681   1185231     23.01     24.38  --
4721.70/1183.49	c  N dy 27335   6331783       667     41616         0    141132    201681   2070351     23.01     24.27  --
4741.66/1188.45	c  N dy 27486   6351848       667     41616         0    160989    201681   2798917     23.02     24.23  --
4761.99/1193.50	c  N dy 27579   6372451       667     41616         0    181354    201681   3538827     23.02     24.27  --
4782.35/1198.68	c  N dy 27662   6392605       667     41616         0    201315    201681   4272927     23.02     24.31  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369119-1305413743/watcher-3369119-1305413743 -o /tmp/evaluation-result-3369119-1305413743/solver-3369119-1305413743 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369119-1305413743.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.69 4.74 6.22 6/298 21572
/proc/meminfo: memFree=27760276/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 414 0 0 0 1 0 0 0 21 0 4 0 652972777 52465664 354 33554432000 4194304 4650419 140734528172128 18446744073709551615 47995247085490 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 12809 354 303 112 0 7774 0
[pid=21572/tid=21573] ppid=21570 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 652972777 52465664 354 33554432000 4194304 4650419 140734528172128 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 652972777 52465664 354 33554432000 4194304 4650419 140734528172128 18446744073709551615 47995247085490 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 652972777 52465664 354 33554432000 4194304 4650419 140734528172128 18446744073709551615 47995247085490 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.689319 s]
/proc/loadavg: 3.69 4.74 6.22 6/298 21572
/proc/meminfo: memFree=27760276/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=324724 CPUtime=2.71 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) D 21570 21572 20874 0 -1 4202496 13560 0 0 0 268 3 0 0 18 0 4 0 652972777 332517376 13268 33554432000 4194304 4650419 140734528172128 18446744073709551615 210204344970 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 81181 13268 370 112 0 76146 0
[pid=21572/tid=21573] ppid=21570 vsize=324724 CPUtime=0.66 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 3050 0 0 0 66 0 0 0 18 0 4 0 652972777 332517376 13268 33554432000 4194304 4650419 140734528172128 18446744073709551615 210204690522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=324724 CPUtime=0.67 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) D 21570 21572 20874 0 -1 4202560 3168 0 0 0 67 0 0 0 18 0 4 0 652972777 332517376 13268 33554432000 4194304 4650419 140734528172128 18446744073709551615 210204690522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=324724 CPUtime=0.67 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 3499 0 0 0 66 1 0 0 18 0 4 0 652972777 332517376 13268 33554432000 4194304 4650419 140734528172128 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 324724

[startup+0.700325 s]
/proc/loadavg: 3.69 4.74 6.22 6/298 21572
/proc/meminfo: memFree=27760276/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=348972 CPUtime=2.75 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 21055 0 0 0 271 4 0 0 18 0 4 0 652972777 357347328 17988 33554432000 4194304 4650419 140734528172128 18446744073709551615 4511549 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 87243 17988 370 112 0 82208 0
[pid=21572/tid=21573] ppid=21570 vsize=348972 CPUtime=0.67 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 5719 0 0 0 66 1 0 0 18 0 4 0 652972777 357347328 17988 33554432000 4194304 4650419 140734528172128 18446744073709551615 4511549 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=348972 CPUtime=0.69 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 5713 0 0 0 68 1 0 0 18 0 4 0 652972777 357347328 17988 33554432000 4194304 4650419 140734528172128 18446744073709551615 4511549 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=348972 CPUtime=0.68 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 3505 0 0 0 67 1 0 0 18 0 4 0 652972777 357347328 17988 33554432000 4194304 4650419 140734528172128 18446744073709551615 210204304362 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 348972

[startup+0.800307 s]
/proc/loadavg: 3.69 4.74 6.22 6/298 21572
/proc/meminfo: memFree=27760276/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=336072 CPUtime=3.14 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 35422 0 0 0 307 7 0 0 18 0 4 0 652972777 344137728 28143 33554432000 4194304 4650419 140734528172128 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 84018 28143 385 112 0 78983 0
[pid=21572/tid=21573] ppid=21570 vsize=336072 CPUtime=0.77 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 10481 0 0 0 75 2 0 0 19 0 4 0 652972777 344137728 28143 33554432000 4194304 4650419 140734528172128 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=336072 CPUtime=0.79 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 10477 0 0 0 77 2 0 0 18 0 4 0 652972777 344137728 28143 33554432000 4194304 4650419 140734528172128 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=336072 CPUtime=0.78 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 3571 0 0 0 77 1 0 0 18 0 4 0 652972777 344137728 28143 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 336072

[startup+0.900293 s]
/proc/loadavg: 3.69 4.74 6.22 6/298 21572
/proc/meminfo: memFree=27760276/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=336072 CPUtime=3.54 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 35479 0 0 0 347 7 0 0 18 0 4 0 652972777 344137728 28200 33554432000 4194304 4650419 140734528172128 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 84018 28200 385 112 0 78983 0
[pid=21572/tid=21573] ppid=21570 vsize=336072 CPUtime=0.87 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 10481 0 0 0 85 2 0 0 19 0 4 0 652972777 344137728 28200 33554432000 4194304 4650419 140734528172128 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=336072 CPUtime=0.89 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 10477 0 0 0 87 2 0 0 18 0 4 0 652972777 344137728 28200 33554432000 4194304 4650419 140734528172128 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=336072 CPUtime=0.88 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 3628 0 0 0 87 1 0 0 18 0 4 0 652972777 344137728 28200 33554432000 4194304 4650419 140734528172128 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 336072

[startup+1.50119 s]
/proc/loadavg: 3.69 4.74 6.22 6/298 21572
/proc/meminfo: memFree=27760276/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=342284 CPUtime=5.95 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 39777 0 0 0 587 8 0 0 18 0 4 0 652972777 350498816 31312 33554432000 4194304 4650419 140734528172128 18446744073709551615 4428562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 85571 31312 387 112 0 80536 0
[pid=21572/tid=21573] ppid=21570 vsize=342284 CPUtime=1.47 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 11810 0 0 0 145 2 0 0 20 0 4 0 652972777 350498816 31312 33554432000 4194304 4650419 140734528172128 18446744073709551615 4432584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=342284 CPUtime=1.48 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 11806 0 0 0 146 2 0 0 18 0 4 0 652972777 350498816 31313 33554432000 4194304 4650419 140734528172128 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=342284 CPUtime=1.48 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 3940 0 0 0 147 1 0 0 19 0 4 0 652972777 350498816 31313 33554432000 4194304 4650419 140734528172128 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 342284

[startup+3.10092 s]
/proc/loadavg: 3.69 4.74 6.22 9/302 21576
/proc/meminfo: memFree=27575264/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=382832 CPUtime=12.33 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 51389 0 0 0 1222 11 0 0 21 0 4 0 652972777 392019968 40612 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 95708 40612 394 112 0 90673 0
[pid=21572/tid=21573] ppid=21570 vsize=382832 CPUtime=3.04 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 15875 0 0 0 302 2 0 0 25 0 4 0 652972777 392019968 40612 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=382832 CPUtime=3.08 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 15887 0 0 0 305 3 0 0 21 0 4 0 652972777 392019968 40612 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=382832 CPUtime=3.08 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 4695 0 0 0 306 2 0 0 22 0 4 0 652972777 392019968 40612 33554432000 4194304 4650419 140734528172128 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 382832

[startup+6.30039 s]
/proc/loadavg: 4.03 4.79 6.23 9/302 21576
/proc/meminfo: memFree=27498452/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=425532 CPUtime=25.1 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 76333 0 0 0 2494 16 0 0 25 0 4 0 652972777 435744768 56424 33554432000 4194304 4650419 140734528172128 18446744073709551615 4328348 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 106383 56424 396 112 0 101348 0
[pid=21572/tid=21573] ppid=21570 vsize=425532 CPUtime=6.21 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 20462 0 0 0 618 3 0 0 25 0 4 0 652972777 435744768 56424 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=425532 CPUtime=6.28 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 20480 0 0 0 624 4 0 0 25 0 4 0 652972777 435744768 56424 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=425532 CPUtime=6.29 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 16913 0 0 0 625 4 0 0 25 0 4 0 652972777 435744768 56424 33554432000 4194304 4650419 140734528172128 18446744073709551615 4433854 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 425532

[startup+12.7113 s]
/proc/loadavg: 4.35 4.84 6.24 9/302 21576
/proc/meminfo: memFree=27449140/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=522196 CPUtime=50.68 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 89326 0 0 0 5049 19 0 0 25 0 4 0 652972777 534728704 64622 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 130549 64622 396 112 0 125514 0
[pid=21572/tid=21573] ppid=21570 vsize=522196 CPUtime=12.56 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 21344 0 0 0 1253 3 0 0 25 0 4 0 652972777 534728704 64622 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=522196 CPUtime=12.7 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 22438 0 0 0 1265 5 0 0 25 0 4 0 652972777 534728704 64622 33554432000 4194304 4650419 140734528172128 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=522196 CPUtime=12.7 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 24525 0 0 0 1264 6 0 0 25 0 4 0 652972777 534728704 64622 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 522196

[startup+25.5012 s]
/proc/loadavg: 5.24 5.01 6.27 9/302 21577
/proc/meminfo: memFree=27411060/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=522376 CPUtime=101.72 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 100340 0 0 0 10150 22 0 0 25 0 4 0 652972777 534913024 70432 33554432000 4194304 4650419 140734528172128 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 130594 70432 396 112 0 125559 0
[pid=21572/tid=21573] ppid=21570 vsize=522376 CPUtime=25.25 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 22184 0 0 0 2521 4 0 0 25 0 4 0 652972777 534913024 70432 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=522376 CPUtime=25.48 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 23795 0 0 0 2543 5 0 0 25 0 4 0 652972777 534913024 70432 33554432000 4194304 4650419 140734528172128 18446744073709551615 4298280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=522376 CPUtime=25.48 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 32236 0 0 0 2540 8 0 0 25 0 4 0 652972777 534913024 70432 33554432000 4194304 4650419 140734528172128 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 522376

[startup+51.1009 s]
/proc/loadavg: 6.18 5.25 6.32 9/302 21577
/proc/meminfo: memFree=27339444/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=522528 CPUtime=203.9 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 118365 0 0 0 20362 28 0 0 25 0 4 0 652972777 535068672 79562 33554432000 4194304 4650419 140734528172128 18446744073709551615 4334529 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 130632 79562 396 112 0 125597 0
[pid=21572/tid=21573] ppid=21570 vsize=522528 CPUtime=50.62 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 24080 0 0 0 5058 4 0 0 25 0 4 0 652972777 535068672 79564 33554432000 4194304 4650419 140734528172128 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=522528 CPUtime=51.09 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 26776 0 0 0 5103 6 0 0 25 0 4 0 652972777 535068672 79564 33554432000 4194304 4650419 140734528172128 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=522528 CPUtime=51.09 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 43667 0 0 0 5097 12 0 0 25 0 4 0 652972777 535068672 79564 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 522528

[startup+102.3 s]
/proc/loadavg: 7.32 5.70 6.41 9/302 21579
/proc/meminfo: memFree=27264652/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=523220 CPUtime=408.21 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 138370 0 0 0 40785 36 0 0 25 0 4 0 652972777 535777280 83962 33554432000 4194304 4650419 140734528172128 18446744073709551615 4311310 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 130805 83962 396 112 0 125770 0
[pid=21572/tid=21573] ppid=21570 vsize=523220 CPUtime=101.35 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 25267 0 0 0 10130 5 0 0 25 0 4 0 652972777 535777280 83962 33554432000 4194304 4650419 140734528172128 18446744073709551615 4360358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=523220 CPUtime=102.26 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 27795 0 0 0 10220 6 0 0 25 0 4 0 652972777 535777280 83962 33554432000 4194304 4650419 140734528172128 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=523220 CPUtime=102.29 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 60427 0 0 0 10211 18 0 0 25 0 4 0 652972777 535777280 83962 33554432000 4194304 4650419 140734528172128 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.21
Current children cumulated vsize (KiB) 523220

[startup+162.311 s]

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

[pid=21572] ppid=21570 vsize=624852 CPUtime=2801.81 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 360734 0 0 0 280028 153 0 0 25 0 4 0 652972777 639848448 98684 33554432000 4194304 4650419 140734528172128 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 156213 98684 396 112 0 151178 0
[pid=21572/tid=21573] ppid=21570 vsize=624852 CPUtime=695.87 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 53416 0 0 0 69565 22 0 0 25 0 4 0 652972777 639848448 98685 33554432000 4194304 4650419 140734528172128 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=624852 CPUtime=701.36 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 59839 0 0 0 70112 24 0 0 25 0 4 0 652972777 639848448 98685 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=624852 CPUtime=702.3 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 195320 0 0 0 70145 85 0 0 25 0 4 0 652972777 639848448 98685 33554432000 4194304 4650419 140734528172128 18446744073709551615 4360435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.81
Current children cumulated vsize (KiB) 624852

[startup+762.301 s]
/proc/loadavg: 8.24 7.92 7.30 9/302 21608
/proc/meminfo: memFree=26947984/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=640276 CPUtime=3041.24 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 415493 0 0 0 303949 175 0 0 25 0 4 0 652972777 655642624 102717 33554432000 4194304 4650419 140734528172128 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 160069 102717 396 112 0 155034 0
[pid=21572/tid=21573] ppid=21570 vsize=640276 CPUtime=755.32 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 70194 0 0 0 75503 29 0 0 25 0 4 0 652972777 655642624 102717 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=640276 CPUtime=761.34 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 77310 0 0 0 76104 30 0 0 25 0 4 0 652972777 655642624 102717 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=640276 CPUtime=762.29 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 211811 0 0 0 76137 92 0 0 25 0 4 0 652972777 655642624 102717 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.24
Current children cumulated vsize (KiB) 640276

[startup+822.311 s]
/proc/loadavg: 8.21 7.96 7.35 9/302 21610
/proc/meminfo: memFree=26935200/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=582948 CPUtime=3280.72 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 470221 0 0 0 327876 196 0 0 25 0 4 0 652972777 596938752 101001 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 145737 101001 396 112 0 140702 0
[pid=21572/tid=21573] ppid=21570 vsize=582948 CPUtime=814.77 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 86865 0 0 0 81443 34 0 0 25 0 4 0 652972777 596938752 101001 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=582948 CPUtime=821.34 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 94479 0 0 0 82098 36 0 0 25 0 4 0 652972777 596938752 101001 33554432000 4194304 4650419 140734528172128 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=582948 CPUtime=822.3 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 228289 0 0 0 82131 99 0 0 25 0 4 0 652972777 596938752 101001 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.72
Current children cumulated vsize (KiB) 582948

[startup+882.301 s]
/proc/loadavg: 8.19 8.00 7.40 9/302 21612
/proc/meminfo: memFree=26941876/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=701116 CPUtime=3520.12 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 521009 0 0 0 351796 216 0 0 25 0 4 0 652972777 717942784 105863 33554432000 4194304 4650419 140734528172128 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 175279 105863 396 112 0 170244 0
[pid=21572/tid=21573] ppid=21570 vsize=701116 CPUtime=874.22 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 103578 0 0 0 87381 41 0 0 25 0 4 0 652972777 717942784 105863 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=701116 CPUtime=881.32 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 109301 0 0 0 88090 42 0 0 25 0 4 0 652972777 717942784 105863 33554432000 4194304 4650419 140734528172128 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=701116 CPUtime=882.3 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 242791 0 0 0 88124 106 0 0 25 0 4 0 652972777 717942784 105863 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.12
Current children cumulated vsize (KiB) 701116

[startup+942.301 s]
/proc/loadavg: 8.17 8.03 7.44 9/302 21613
/proc/meminfo: memFree=26928828/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=762036 CPUtime=3759.57 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 572486 0 0 0 375719 238 0 0 25 0 4 0 652972777 780324864 106308 33554432000 4194304 4650419 140734528172128 18446744073709551615 4363541 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 190509 106308 396 112 0 185474 0
[pid=21572/tid=21573] ppid=21570 vsize=762036 CPUtime=933.68 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 118041 0 0 0 93320 48 0 0 25 0 4 0 652972777 780324864 106308 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=762036 CPUtime=941.3 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 126020 0 0 0 94082 48 0 0 25 0 4 0 652972777 780324864 106308 33554432000 4194304 4650419 140734528172128 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=762036 CPUtime=942.3 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 259172 0 0 0 94117 113 0 0 25 0 4 0 652972777 780324864 106308 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.57
Current children cumulated vsize (KiB) 762036

[startup+1002.3 s]
/proc/loadavg: 8.11 8.04 7.48 9/302 21615
/proc/meminfo: memFree=26923712/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=644012 CPUtime=3999.01 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 623815 0 0 0 399639 262 0 0 25 0 4 0 652972777 659468288 103052 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 161003 103052 396 112 0 155968 0
[pid=21572/tid=21573] ppid=21570 vsize=644012 CPUtime=993.12 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 133937 0 0 0 99258 54 0 0 25 0 4 0 652972777 659468288 103052 33554432000 4194304 4650419 140734528172128 18446744073709551615 4329622 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=644012 CPUtime=1001.29 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 140093 0 0 0 100075 54 0 0 25 0 4 0 652972777 659468288 103052 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=644012 CPUtime=1002.3 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 275811 0 0 0 100110 120 0 0 25 0 4 0 652972777 659468288 103052 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.01
Current children cumulated vsize (KiB) 644012

[startup+1062.3 s]
/proc/loadavg: 8.08 8.04 7.51 9/302 21616
/proc/meminfo: memFree=26893312/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=705272 CPUtime=4238.44 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 673118 0 0 0 423562 282 0 0 25 0 4 0 652972777 722198528 106746 33554432000 4194304 4650419 140734528172128 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 176318 106746 396 112 0 171283 0
[pid=21572/tid=21573] ppid=21570 vsize=705272 CPUtime=1052.58 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 148308 0 0 0 105197 61 0 0 25 0 4 0 652972777 722198528 106746 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=705272 CPUtime=1061.28 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 156190 0 0 0 106068 60 0 0 25 0 4 0 652972777 722198528 106746 33554432000 4194304 4650419 140734528172128 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=705272 CPUtime=1062.3 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 289747 0 0 0 106104 126 0 0 25 0 4 0 652972777 722198528 106746 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.44
Current children cumulated vsize (KiB) 705272

[startup+1122.3 s]
/proc/loadavg: 8.03 8.03 7.54 9/302 21618
/proc/meminfo: memFree=26850516/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=828060 CPUtime=4477.89 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 718900 0 0 0 447483 306 0 0 25 0 4 0 652972777 847933440 111736 33554432000 4194304 4650419 140734528172128 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 207015 111736 396 112 0 201980 0
[pid=21572/tid=21573] ppid=21570 vsize=828060 CPUtime=1112.02 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 162054 0 0 0 111135 67 0 0 25 0 4 0 652972777 847933440 111736 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=828060 CPUtime=1121.28 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 169402 0 0 0 112060 68 0 0 25 0 4 0 652972777 847933440 111736 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=828060 CPUtime=1122.29 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 303189 0 0 0 112097 132 0 0 25 0 4 0 652972777 847933440 111736 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.89
Current children cumulated vsize (KiB) 828060

[startup+1182.3 s]
/proc/loadavg: 8.01 8.02 7.57 9/302 21620
/proc/meminfo: memFree=26807836/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=707516 CPUtime=4717.31 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 766724 0 0 0 471402 329 0 0 25 0 4 0 652972777 724496384 109209 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 176879 109209 396 112 0 171844 0
[pid=21572/tid=21573] ppid=21570 vsize=707516 CPUtime=1171.45 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 175863 0 0 0 117072 73 0 0 25 0 4 0 652972777 724496384 109209 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=707516 CPUtime=1181.27 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 183475 0 0 0 118054 73 0 0 25 0 4 0 652972777 724496384 109209 33554432000 4194304 4650419 140734528172128 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=707516 CPUtime=1182.3 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 319080 0 0 0 118090 140 0 0 25 0 4 0 652972777 724496384 109209 33554432000 4194304 4650419 140734528172128 18446744073709551615 4331301 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.31
Current children cumulated vsize (KiB) 707516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.01 8.02 7.58 5/297 21621
/proc/meminfo: memFree=27312300/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=830844 CPUtime=4800.31 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 783328 0 0 0 479693 338 0 0 25 0 4 0 652972777 850784256 112710 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 207711 112710 396 112 0 202676 0
[pid=21572/tid=21573] ppid=21570 vsize=830844 CPUtime=1192.05 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 181476 0 0 0 119129 76 0 0 25 0 4 0 652972777 850784256 112712 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=830844 CPUtime=1202.07 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 188877 0 0 0 120131 76 0 0 25 0 4 0 652972777 850784256 112712 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=830844 CPUtime=1203.11 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 322863 0 0 0 120168 143 0 0 25 0 4 0 652972777 850784256 112712 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 830844

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

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

[startup+1203.1 s]
/proc/loadavg: 8.01 8.02 7.58 5/297 21621
/proc/meminfo: memFree=27312300/32951124 swapFree=63649232/67111528
[pid=21572] ppid=21570 vsize=830844 CPUtime=4800.31 cores=1,3,5,7
/proc/21572/stat : 21572 (strangenight1-m) R 21570 21572 20874 0 -1 4202496 783328 0 0 0 479693 338 0 0 25 0 4 0 652972777 850784256 112710 33554432000 4194304 4650419 140734528172128 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21572/statm: 207711 112710 396 112 0 202676 0
[pid=21572/tid=21573] ppid=21570 vsize=830844 CPUtime=1192.05 cores=1,3,5,7
/proc/21572/task/21573/stat : 21573 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 181476 0 0 0 119129 76 0 0 25 0 4 0 652972777 850784256 112712 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21572/tid=21574] ppid=21570 vsize=830844 CPUtime=1202.07 cores=1,3,5,7
/proc/21572/task/21574/stat : 21574 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 188877 0 0 0 120131 76 0 0 25 0 4 0 652972777 850784256 112712 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21572/tid=21575] ppid=21570 vsize=830844 CPUtime=1203.11 cores=1,3,5,7
/proc/21572/task/21575/stat : 21575 (strangenight1-m) R 21570 21572 20874 0 -1 4202560 322863 0 0 0 120168 143 0 0 25 0 4 0 652972777 850784256 112712 33554432000 4194304 4650419 140734528172128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 830844

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.38
CPU user time (s): 4796.97
CPU system time (s): 3.40148
CPU usage (%): 398.989
Max. virtual memory (cumulated for all children) (KiB): 830844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.97
system time used= 3.40148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 783334
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= 4633
involuntary context switches= 35161

runsolver used 3.05553 second user time and 8.01578 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-15 00:55:43
IDJOB=3369119
IDBENCH=83245
IDSOLVER=1846
FILE ID=node130/3369119-1305413743
RUNJOBID= node130-1305413743-21550
PBS_JOBID= 13324512
Free space on /tmp= 73420 MiB

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

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

MD5SUM BENCH= d2ef996f95bbf68a3c980c797dfdc364
RANDOM SEED=1424987482

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27760308 kB
Buffers:        261360 kB
Cached:        3599208 kB
SwapCached:      10248 kB
Active:        1159616 kB
Inactive:      3761416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27760308 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:           14756 kB
Writeback:           0 kB
AnonPages:     1059188 kB
Mapped:          13660 kB
Slab:           183012 kB
PageTables:      24796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51545360 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= 73420 MiB
End job on node130 at 2011-05-15 01:15:48