Trace number 3369120

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.18 1203.67

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
MD5SUM1ef198d3f2d717e33f4f2ba124eb7eb2
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 variables34306
Number of clauses708168
Sum of the clauses size3540840
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 5708168
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369120-1305413785.cnf'
0.00/0.00	c -- header says num vars:          34306
0.00/0.00	c -- header says num clauses:      708168
1.79/0.55	c -- clauses added:            0 learnts,       708168 normals,            0 xors
1.79/0.55	c -- vars added      34306
1.79/0.55	c Parsing time:  1.57 s
1.79/0.55	c  N st     0         0     34306    708168         0         0   3540840         0   no data   no data  --
4.20/1.18	c asymm  cl-useful: 0/41109/708168 lits-rem:0 time: 2.43
6.53/1.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.5M T:  1.97
9.12/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.12/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.12/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34306 time:  0.01 s
9.12/2.44	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
17.87/4.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  8.85 s
17.87/4.70	c Finding binary XORs  T:     0.04 s  found:       0
20.26/5.27	c Finding non-binary XORs:     2.19 s (found:       0, avg size: nan)
20.26/5.27	c calculated reachability. Time: 0.00
20.66/5.33	c Calc default polars -  time:   0.26 s pos:       0 undec:   34306 neg:       0
20.66/5.33	c =========================================================================================
20.66/5.33	c types(t): F = full restart, N = normal restart
20.66/5.33	c types(t): S = simplification begin/end, E = solution found
20.66/5.33	c restart types(rt): st = static, dy = dynamic
20.66/5.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
20.66/5.33	c  B st     0         0     34306    708168         0         0   3540840         0   no data   no data  --
23.85/6.10	c  N dy    18      4162     34306    708168         0      4160   3540840    962563    155.11    165.33  --
25.46/6.57	c  N dy    38      8168     34306    708168         0      8165   3540840   1759387    148.23    156.35  --
27.84/7.10	c  N dy    62     12370     34306    708168         0     12367   3540840   2564319    145.14    153.79  --
29.85/7.61	c  N dy    89     16417     34306    708168         0     16412   3540840   3355531    144.97    154.03  --
32.22/8.27	c  N dy   115     20438     34306    708168         0     10436   3540840    708112    144.74    155.30  --
34.23/8.78	c  N dy   140     24461     34306    708168         0     14457   3540840   1488263    143.92    152.90  --
34.66/8.86	c  F st   145     25001     34306    708168         0     14997   3540840   1602076    144.34   no data  --
35.41/9.09	c Found part       41 vars:       4293 clauses:     88534 lits size:    442670
35.41/9.09	c Found part       48 vars:       4265 clauses:     86046 lits size:    430230
35.41/9.09	c Found part       63 vars:       4257 clauses:     85800 lits size:    429000
35.41/9.09	c Found part       66 vars:       4296 clauses:     89914 lits size:    449570
35.41/9.09	c Found part       67 vars:      17195 clauses:    357874 lits size:   1789370
35.41/9.09	c Found parts:          5 time: 0.91 s
35.41/9.09	c Solving part 63
35.81/9.18	c  N st     0         0      4257     85800         0         0    429000         0   no data   no data  --
37.80/9.64	c asymm  cl-useful: 0/85800/85800 lits-rem:0 time: 1.84
37.80/9.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
37.80/9.69	c Finding binary XORs  T:     0.01 s  found:       0
38.20/9.73	c Finding non-binary XORs:     0.13 s (found:       0, avg size: nan)
38.20/9.73	c calculated reachability. Time: 0.00
38.20/9.73	c Calc default polars -  time:   0.01 s pos:       0 undec:   34306 neg:       0
38.20/9.73	c =========================================================================================
38.20/9.73	c types(t): F = full restart, N = normal restart
38.20/9.73	c types(t): S = simplification begin/end, E = solution found
38.20/9.73	c restart types(rt): st = static, dy = dynamic
38.20/9.73	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
38.20/9.73	c  B st     0         0      4257     85800         0         0    429000         0   no data   no data  --
40.58/10.33	c  N dy    15      4021      4257     85800         0      4021    429000    920331    149.66    159.70  --
42.58/10.81	c  N dy    39      8072      4257     85800         0      8071    429000   1741237    147.30    169.56  --
44.17/11.30	c  N dy    68     12078      4257     85800         0     12076    429000   2535713    146.98    174.29  --
46.57/11.80	c  N dy    93     16082      4257     85800         0     16080    429000   3313195    145.46    153.19  --
48.56/12.38	c  N dy   120     20127      4257     85800         0     10123    429000    660347    145.69    154.22  --
50.96/12.90	c  N dy   147     24158      4257     85800         0     14154    429000   1470350    145.64    160.00  --
51.36/13.01	c  F st   154     25002      4257     85800         0     14998    429000   1635716    145.57   no data  --
52.95/13.43	c  N st   159     28301      4257     85800         0     18295    429000   2374838    145.57   no data  --
55.35/14.00	c  N dy   176     32531      4257     85800         0     22520    429000   3295535    145.65    153.69  --
57.34/14.57	c  N dy   204     36596      4257     85800         0     26584    429000   4096604    145.67    154.86  --
59.74/15.19	c  N dy   233     40616      4257     85800         0     30603    429000   4903203    145.96    184.12  --
62.12/15.78	c  N dy   259     44672      4257     85800         0     19169    429000   1448494    145.90    153.86  --
64.53/16.33	c  N dy   282     48681      4257     85800         0     23176    429000   2251694    145.60    158.23  --
66.92/16.93	c  N dy   309     52746      4257     85800         0     27240    429000   3058115    145.43    156.38  --
69.32/17.56	c  N dy   335     56867      4257     85800         0     31359    429000   3858898    145.16    155.11  --
72.10/18.24	c  N dy   363     61098      4257     85800         0     35590    429000   4703062    145.13    161.38  --
74.89/18.90	c  N dy   392     65131      4257     85800         0     20879    429000   1110510    145.28    176.80  --
76.89/19.48	c  N dy   420     69320      4257     85800         0     25067    429000   1944524    145.25    172.72  --
79.67/20.17	c  N dy   455     73787      4257     85800         0     29533    429000   2851147    145.59    159.24  --
82.49/20.88	c  N dy   485     78499      4257     85800         0     34244    429000   3787760    145.63    157.15  --
86.07/21.72	c  N dy   518     83607      4257     85800         0     39350    429000   4827560    145.66    160.99  --
88.45/22.35	c  F st   539     87500      4257     85800         0     22374    429000    923782    145.36   no data  --
89.65/22.64	c  N st   543     89539      4257     85800         0     24412    429000   1398099    145.36   no data  --
92.84/23.47	c  N dy   564     95266      4257     85800         0     30135    429000   2706538    145.47    153.29  --
96.83/24.46	c  N dy   608    101485      4257     85800         0     36351    429000   3956217    145.53    156.52  --
101.21/25.56	c  N dy   653    107996      4257     85800         0     42860    429000   5283982    145.72    160.22  --
105.61/26.63	c  N dy   695    114943      4257     85800         0     27377    429000   1575916    145.66    160.10  --
109.99/27.78	c  N dy   745    122366      4257     85800         0     34797    429000   3062586    145.64    153.80  --
115.58/29.10	c  N dy   799    130284      4257     85800         0     42715    429000   4646896    145.64    160.22  --
120.76/30.49	c  N dy   855    138798      4257     85800         0     27513    429000   1315108    145.60    153.53  --
126.37/31.84	c  N dy   910    147719      4257     85800         0     36430    429000   3069421    145.34    154.08  --
132.73/33.41	c  N dy   968    157292      4257     85800         0     46002    429000   4944494    145.19    155.14  --
139.12/35.06	c  N dy  1033    167379      4257     85800         0     31234    429000   1809753    145.24    155.98  --
145.89/36.79	c  N dy  1107    178113      4257     85800         0     41965    429000   3998722    145.45    153.80  --
153.86/38.77	c  N dy  1181    189569      4257     85800         0     27495    429000    835464    145.44    155.35  --
161.47/40.67	c  N dy  1259    201760      4257     85800         0     39684    429000   3287999    145.42    173.27  --
170.67/42.96	c  N dy  1344    214773      4257     85800         0     52692    429000   5840100    145.22    154.28  --
179.79/45.23	c  N dy  1439    228680      4257     85800         0     39639    429000   3039529    145.27    155.06  --
190.17/47.83	c  N dy  1537    243394      4257     85800         0     54342    429000   5988860    145.24    156.40  --
200.14/50.37	c  N dy  1642    259162      4257     85800         0     42131    429000   3287483    145.12    164.29  --
212.10/53.32	c  N dy  1751    275786      4257     85800         0     29770    429000    641908    145.09    154.21  --
223.67/56.23	c  N dy  1873    293464      4257     85800         0     47440    429000   4175958    145.09    169.70  --
233.25/58.68	c  F st  1963    306250      4257     85800         0     30241    429000    530789    145.17    109.06  --
236.83/59.58	c  N dy  1975    312366      4257     85800         0     36351    429000   1985914    145.17    156.75  --
250.80/63.01	c  N dy  2114    332404      4257     85800         0     56377    429000   5986113    145.22    156.06  --
264.36/66.47	c  N dy  2245    352606      4257     85800         0     45594    429000   3390995    145.19    155.57  --
279.52/70.28	c  N dy  2385    372625      4257     85800         0     33620    429000    815344    145.22    180.02  --
293.52/73.75	c  N dy  2526    392783      4257     85800         0     53776    429000   4844299    145.22    153.40  --
307.84/77.35	c  N dy  2656    412792      4257     85800         0     40786    429000   2059362    145.20    190.20  --
322.20/80.94	c  N dy  2785    432828      4257     85800         0     60818    429000   6020598    145.11    152.97  --
336.56/84.57	c  N dy  2913    453019      4257     85800         0     47011    429000   3104701    145.12    155.35  --
351.71/88.39	c  N dy  3052    473044      4257     85800         0     67023    429000   7150157    145.24    154.42  --
366.07/91.92	c  N dy  3181    493161      4257     85800         0     52154    429000   3890548    145.21    155.52  --
381.28/95.78	c  N dy  3302    513176      4257     85800         0     36175    429000    529301    145.11    155.81  --
394.79/99.17	c  N dy  3429    533271      4257     85800         0     56262    429000   4545135    145.08    152.95  --
410.75/103.19	c  N dy  3561    553340      4257     85800         0     39333    429000    954268    145.03    154.12  --
425.14/106.76	c  N dy  3693    573349      4257     85800         0     59336    429000   4891937    145.00    193.72  --
441.06/110.77	c  N dy  3832    593365      4257     85800         0     41365    429000   1179069    145.06    154.10  --
455.43/114.39	c  N dy  3971    613374      4257     85800         0     61362    429000   5195654    145.07    155.79  --
472.17/118.52	c  N dy  4109    633458      4257     85800         0     42453    429000   1206212    145.09    158.28  --
486.57/122.14	c  N dy  4239    653517      4257     85800         0     62509    429000   5185726    145.04    154.47  --
503.28/126.34	c  N dy  4379    673641      4257     85800         0     42636    429000   1051524    145.09    152.92  --
517.63/129.94	c  N dy  4511    693722      4257     85800         0     62706    429000   5058341    145.10    153.32  --
534.41/134.14	c  N dy  4644    713801      4257     85800         0     41792    429000    683271    145.08    154.98  --
548.74/137.75	c  N dy  4774    733802      4257     85800         0     61783    429000   4707712    145.08    156.67  --
565.89/142.05	c  N dy  4917    753907      4257     85800         0     81883    429000   8752309    145.13    153.58  --
581.06/145.83	c  N dy  5060    773968      4257     85800         0     59954    429000   4154974    145.19    161.14  --
597.41/149.98	c  N dy  5193    793980      4257     85800         0     79963    429000   8154198    145.17    163.44  --
612.97/153.85	c  N dy  5320    814223      4257     85800         0     57209    429000   3413031    145.16    159.14  --
629.32/157.93	c  N dy  5452    834292      4257     85800         0     77269    429000   7460468    145.19    154.37  --
645.27/161.99	c  N dy  5592    854350      4257     85800         0     53333    429000   2409300    145.21    165.67  --
661.23/166.01	c  N dy  5729    874612      4257     85800         0     73586    429000   6479170    145.25    156.96  --
678.78/170.40	c  N dy  5863    894880      4257     85800         0     48868    429000   1326823    145.27    156.47  --
694.33/174.20	c  N dy  5997    914920      4257     85800         0     68900    429000   5315015    145.28    153.34  --
711.88/178.66	c  N dy  6136    935071      4257     85800         0     89046    429000   9330157    145.29    153.25  --
727.46/182.53	c  N dy  6268    955105      4257     85800         0     63096    429000   3921344    145.29    159.55  --
744.20/186.76	c  N dy  6400    975151      4257     85800         0     83137    429000   7914961    145.31    154.34  --
761.74/191.10	c  N dy  6536    995270      4257     85800         0     56263    429000   2417493    145.33    155.59  --
777.29/195.04	c  N dy  6660   1015283      4257     85800         0     76274    429000   6375111    145.29    154.68  --
795.64/199.68	c  N dy  6795   1035287      4257     85800         0     48287    429000    624367    145.30    159.58  --
810.82/203.42	c  N dy  6918   1055372      4257     85800         0     68368    429000   4642935    145.28    153.58  --
824.75/206.98	c  F st  7028   1071875      4257     85800         0     84863    429000   7933794    145.28   no data  --
828.79/207.98	c  N dy  7034   1077067      4257     85800         0     90047    429000   9122586    145.28   no data  --
845.49/212.20	c  N dy  7163   1097096      4257     85800         0     61088    429000   2991369    145.27    156.22  --
862.24/216.32	c  N dy  7294   1117189      4257     85800         0     81172    429000   7004041    145.27    153.53  --
881.43/221.12	c  N dy  7441   1137252      4257     85800         0     51248    429000    829097    145.32    155.71  --
896.55/224.96	c  N dy  7570   1157342      4257     85800         0     71330    429000   4883831    145.33    154.18  --
914.89/229.51	c  N dy  7710   1177408      4257     85800         0     91391    429000   8904560    145.35    154.17  --
932.03/233.89	c  N dy  7840   1197492      4257     85800         0     60492    429000   2471700    145.35    156.46  --
948.78/238.02	c  N dy  7976   1217531      4257     85800         0     80523    429000   6478589    145.34    161.99  --
967.54/242.77	c  N dy  8111   1237535      4257     85800         0    100514    429000  10526573    145.36    153.93  --
984.28/246.94	c  N dy  8248   1257606      4257     85800         0     68598    429000   3943579    145.38    155.06  --
1001.84/251.32	c  N dy  8383   1277661      4257     85800         0     88645    429000   7943123    145.37    153.63  --
1020.99/256.14	c  N dy  8515   1297762      4257     85800         0     55756    429000   1151661    145.37    156.00  --
1036.93/260.14	c  N dy  8648   1317775      4257     85800         0     75765    429000   5142362    145.37    153.04  --
1055.29/264.70	c  N dy  8782   1337831      4257     85800         0     95815    429000   9182867    145.36    154.17  --
1073.63/269.36	c  N dy  8919   1357882      4257     85800         0     61867    429000   2203867    145.38    153.43  --
1090.38/273.59	c  N dy  9057   1377908      4257     85800         0     81889    429000   6255017    145.40    183.07  --
1109.55/278.39	c  N dy  9195   1397922      4257     85800         0    101899    429000  10254179    145.42    154.26  --
1127.45/282.86	c  N dy  9328   1417987      4257     85800         0     66967    429000   3036624    145.43    168.90  --
1145.00/287.20	c  N dy  9466   1438048      4257     85800         0     87024    429000   7076521    145.45    161.41  --
1164.55/292.13	c  N dy  9601   1458254      4257     85800         0    107221    429000  11116228    145.44    156.28  --
1181.70/296.42	c  N dy  9731   1478267      4257     85800         0     71253    429000   3680786    145.44    153.42  --
1199.25/300.89	c  N dy  9867   1498506      4257     85800         0     91487    429000   7710376    145.44    155.42  --
1219.99/306.07	c  N dy 10007   1518555      4257     85800         0    111530    429000  11747122    145.45    153.56  --
1237.13/310.34	c  N dy 10138   1538982      4257     85800         0     74969    429000   4162443    145.42    154.99  --
1255.48/314.96	c  N dy 10273   1559214      4257     85800         0     95193    429000   8232097    145.43    156.14  --
1276.28/320.14	c  N dy 10409   1579294      4257     85800         0    115267    429000  12265170    145.44    156.77  --
1292.58/324.29	c  N dy 10541   1599316      4257     85800         0     77302    429000   4486417    145.43    155.94  --
1311.37/328.99	c  N dy 10687   1619452      4257     85800         0     97432    429000   8530260    145.45    154.10  --
1332.47/334.28	c  N dy 10829   1639504      4257     85800         0    117480    429000  12577367    145.47    153.88  --
1349.61/338.52	c  N dy 10972   1659544      4257     85800         0     78537    429000   4583382    145.50    154.07  --
1367.98/343.19	c  N dy 11107   1679585      4257     85800         0     98572    429000   8635227    145.52    157.50  --
1389.51/348.52	c  N dy 11256   1699611      4257     85800         0    118591    429000  12737022    145.57    155.28  --
1406.65/352.85	c  N dy 11399   1719826      4257     85800         0     78815    429000   4408957    145.58    153.93  --
1425.01/357.48	c  N dy 11532   1739837      4257     85800         0     98823    429000   8392118    145.58    163.69  --
1446.14/362.72	c  N dy 11672   1759864      4257     85800         0    118844    429000  12450871    145.61    153.70  --
1464.08/367.23	c  N dy 11815   1779983      4257     85800         0     77963    429000   4090132    145.64    153.75  --
1482.47/371.83	c  N dy 11945   1800069      4257     85800         0     98043    429000   8124639    145.64    153.58  --
1503.57/377.11	c  N dy 12082   1820130      4257     85800         0    118100    429000  12159612    145.64    162.22  --
1521.96/381.74	c  N dy 12220   1840182      4257     85800         0     76165    429000   3504908    145.65    156.51  --
1540.26/386.32	c  N dy 12354   1860247      4257     85800         0     96223    429000   7554110    145.66    154.12  --
1561.02/391.53	c  N dy 12492   1880328      4257     85800         0    116297    429000  11624604    145.69    154.36  --
1580.54/396.41	c  N dy 12626   1900439      4257     85800         0     73421    429000   2762579    145.70    153.94  --
1598.49/400.97	c  N dy 12765   1920759      4257     85800         0     93733    429000   6849633    145.71    153.47  --
1619.62/406.21	c  N dy 12908   1940900      4257     85800         0    113869    429000  10943618    145.75    156.22  --
1640.41/411.47	c  N dy 13048   1960981      4257     85800         0     69976    429000   1870150    145.77    153.51  --
1657.96/415.84	c  N dy 13183   1981092      4257     85800         0     90081    429000   5905413    145.78    155.92  --
1677.86/420.89	c  N dy 13322   2001183      4257     85800         0    110168    429000   9967063    145.80    159.16  --
1700.59/426.57	c  N dy 13460   2021326      4257     85800         0     65318    429000    723535    145.82    153.69  --
1717.34/430.78	c  N dy 13588   2041416      4257     85800         0     85401    429000   4728952    145.81    156.13  --
1736.93/435.63	c  N dy 13721   2061500      4257     85800         0    105480    429000   8756110    145.80    157.34  --
1758.03/440.99	c  N dy 13854   2081522      4257     85800         0    125494    429000  12737065    145.79    166.88  --
1777.16/445.77	c  N dy 13989   2101641      4257     85800         0     79628    429000   3392340    145.79    156.00  --
1796.32/450.53	c  N dy 14135   2121858      4257     85800         0     99839    429000   7477673    145.81    159.57  --
1817.45/455.84	c  N dy 14271   2141938      4257     85800         0    119913    429000  11491818    145.81    155.24  --
1838.59/461.19	c  N dy 14412   2161945      4257     85800         0     72945    429000   1885854    145.83    162.75  --
1856.14/465.58	c  N dy 14544   2182027      4257     85800         0     93020    429000   5925933    145.84    154.70  --
1876.48/470.64	c  N dy 14678   2202148      4257     85800         0    113132    429000   9964084    145.84    153.89  --
1899.26/476.31	c  N dy 14814   2222228      4257     85800         0    133205    429000  14002555    145.85    154.75  --
1918.35/481.11	c  N dy 14963   2242329      4257     85800         0     85315    429000   4201868    145.87    162.77  --
1937.11/485.88	c  N dy 15097   2262332      4257     85800         0    105309    429000   8237377    145.88    154.66  --
1959.04/491.33	c  N dy 15232   2282489      4257     85800         0    125459    429000  12221590    145.87    153.81  --
1980.98/496.85	c  N dy 15378   2302495      4257     85800         0     76475    429000   2214575    145.90    153.58  --
1999.33/501.47	c  N dy 15515   2322593      4257     85800         0     96564    429000   6254277    145.91    156.32  --
2019.66/506.55	c  N dy 15638   2342618      4257     85800         0    116586    429000  10257620    145.89    161.94  --
2042.80/512.36	c  N dy 15778   2362741      4257     85800         0    136706    429000  14313710    145.90    157.68  --
2061.58/517.05	c  N dy 15909   2382833      4257     85800         0     86811    429000   4083224    145.90    163.01  --
2081.09/521.94	c  N dy 16048   2402936      4257     85800         0    106905    429000   8115443    145.91    163.91  --
2103.43/527.55	c  N dy 16194   2422979      4257     85800         0    126943    429000  12201950    145.93    166.01  --
2125.76/533.16	c  N dy 16329   2443028      4257     85800         0     76016    429000   1705936    145.93    155.43  --
2143.72/537.68	c  N dy 16461   2463184      4257     85800         0     96169    429000   5710375    145.93    157.39  --
2164.04/542.76	c  N dy 16591   2483286      4257     85800         0    116261    429000   9744627    145.93    158.71  --
2187.19/548.51	c  N dy 16732   2503359      4257     85800         0    136327    429000  13788196    145.94    155.63  --
2207.52/553.69	c  N dy 16871   2523395      4257     85800         0     84377    429000   3211721    145.96    155.82  --
2227.07/558.54	c  N dy 16998   2543508      4257     85800         0    104485    429000   7258733    145.96    163.96  --
2249.01/564.01	c  N dy 17138   2563570      4257     85800         0    124543    429000  11255621    145.96    155.08  --
2272.53/569.98	c  N dy 17268   2583709      4257     85800         0    144673    429000  15344321    145.96    155.62  --
2291.27/574.64	c  N dy 17399   2603710      4257     85800         0     91691    429000   4488854    145.96    154.05  --
2311.24/579.65	c  N dy 17535   2623820      4257     85800         0    111795    429000   8568227    145.97    157.38  --
2333.95/585.35	c  N dy 17675   2643915      4257     85800         0    131887    429000  12642626    145.99    157.99  --
2357.49/591.25	c  N dy 17804   2664101      4257     85800         0     78091    429000   1558711    145.99    154.58  --
2375.83/595.88	c  N dy 17945   2684131      4257     85800         0     98115    429000   5615112    146.00    160.91  --
2396.58/601.02	c  N dy 18075   2704340      4257     85800         0    118318    429000   9645585    146.00    155.95  --
2419.72/606.80	c  N dy 18209   2724517      4257     85800         0    138488    429000  13708312    146.02    154.28  --
2442.05/612.45	c  N dy 18345   2744625      4257     85800         0     83608    429000   2488831    146.02    156.26  --
2461.58/617.32	c  N dy 18487   2764903      4257     85800         0    103881    429000   6567234    146.03    153.72  --
2482.77/622.68	c  N dy 18623   2784949      4257     85800         0    123915    429000  10600583    146.04    153.74  --
2506.66/628.69	c  N dy 18763   2805076      4257     85800         0    144036    429000  14664766    146.05    155.37  --
2528.19/634.06	c  N dy 18904   2825190      4257     85800         0     88170    429000   3233033    146.07    154.21  --
2548.16/639.05	c  N dy 19044   2845203      4257     85800         0    108171    429000   7280282    146.09    157.67  --
2570.10/644.54	c  N dy 19186   2865234      4257     85800         0    128197    429000  11342187    146.10    158.71  --
2594.80/650.77	c  N dy 19325   2885236      4257     85800         0    148195    429000  15362074    146.11    156.67  --
2615.15/655.84	c  N dy 19451   2905327      4257     85800         0     91309    429000   3627635    146.10    157.10  --
2635.09/660.86	c  N dy 19591   2925351      4257     85800         0    111325    429000   7692671    146.10    160.87  --
2657.43/666.51	c  N dy 19734   2945430      4257     85800         0    131394    429000  11781141    146.12    157.13  --
2682.95/672.84	c  N dy 19873   2965512      4257     85800         0    151471    429000  15866064    146.13    155.30  --
2702.48/677.75	c  N dy 19999   2985552      4257     85800         0     93537    429000   3880042    146.13    154.09  --
2722.84/682.86	c  N dy 20138   3005607      4257     85800         0    113586    429000   7935292    146.13    153.89  --
2745.18/688.44	c  N dy 20273   3025647      4257     85800         0    133618    429000  11995634    146.14    160.36  --
2770.30/694.73	c  N dy 20403   3045811      4257     85800         0    153778    429000  15996582    146.13    154.32  --
2790.63/699.87	c  N dy 20534   3065889      4257     85800         0     94884    429000   3989841    146.14    167.50  --
2810.98/704.97	c  N dy 20669   3085895      4257     85800         0    114887    429000   7963736    146.13    158.01  --
2833.76/710.63	c  N dy 20801   3105947      4257     85800         0    134931    429000  12018168    146.14    157.15  --
2858.84/716.99	c  N dy 20937   3125999      4257     85800         0    154974    429000  16050840    146.14    156.41  --
2879.58/722.19	c  N dy 21071   3146079      4257     85800         0     95061    429000   3827054    146.15    158.48  --
2900.32/727.34	c  N dy 21210   3166160      4257     85800         0    115136    429000   7855016    146.15    157.18  --
2923.06/733.02	c  N dy 21341   3186326      4257     85800         0    135296    429000  11903327    146.15    154.20  --
2948.59/739.43	c  N dy 21478   3206328      4257     85800         0    155294    429000  15877306    146.14    154.59  --
2970.12/744.82	c  N dy 21621   3226383      4257     85800         0     94370    429000   3503093    146.15    173.09  --
2990.06/749.89	c  N dy 21755   3246607      4257     85800         0    114588    429000   7594048    146.15    158.05  --
3013.22/755.69	c  N dy 21895   3266870      4257     85800         0    134844    429000  11688592    146.16    153.87  --
3038.33/761.96	c  N dy 22026   3286892      4257     85800         0    154858    429000  15725007    146.16    154.98  --
3061.07/767.63	c  N dy 22162   3307004      4257     85800         0     92994    429000   3002785    146.16    155.36  --
3081.40/772.78	c  N dy 22302   3327147      4257     85800         0    113133    429000   7050732    146.17    157.02  --
3104.14/778.41	c  N dy 22440   3347265      4257     85800         0    133245    429000  11086537    146.18    153.93  --
3128.86/784.66	c  N dy 22574   3367272      4257     85800         0    153243    429000  15135313    146.19    206.02  --
3153.20/790.70	c  N dy 22710   3387486      4257     85800         0     90467    429000   2347690    146.19    154.04  --
3172.73/795.68	c  N dy 22844   3407637      4257     85800         0    110614    429000   6403061    146.19    155.99  --
3194.68/801.16	c  N dy 22974   3427709      4257     85800         0    130676    429000  10382395    146.18    154.07  --
3219.43/807.31	c  N dy 23110   3447826      4257     85800         0    150786    429000  14443676    146.19    155.31  --
3245.33/813.81	c  N dy 23248   3467955      4257     85800         0     86931    429000   1426817    146.19    154.57  --
3264.47/818.61	c  N dy 23383   3488088      4257     85800         0    107058    429000   5467094    146.19    156.00  --
3286.01/824.04	c  N dy 23522   3508112      4257     85800         0    127079    429000   9557048    146.20    153.95  --
3310.35/830.13	c  N dy 23666   3528139      4257     85800         0    147096    429000  13659635    146.23    157.26  --
3337.08/836.85	c  N dy 23797   3548295      4257     85800         0    167250    429000  17716662    146.23    158.40  --
3357.81/842.07	c  N dy 23935   3568377      4257     85800         0    102359    429000   4355275    146.23    155.35  --
3379.35/847.40	c  N dy 24070   3588421      4257     85800         0    122398    429000   8404295    146.24    208.40  --
3402.09/853.17	c  N dy 24195   3608441      4257     85800         0    142412    429000  12452085    146.23    181.70  --
3428.81/859.85	c  N dy 24336   3628499      4257     85800         0    162468    429000  16483763    146.24    159.32  --
3452.73/865.83	c  N dy 24470   3648534      4257     85800         0     96528    429000   2982312    146.23    156.49  --
3473.48/871.03	c  N dy 24612   3668596      4257     85800         0    116582    429000   7027277    146.24    159.22  --
3496.26/876.74	c  N dy 24750   3688599      4257     85800         0    136576    429000  11005521    146.24    154.26  --
3521.75/883.16	c  N dy 24886   3708734      4257     85800         0    156704    429000  15078796    146.26    154.13  --
3549.66/890.10	c  N dy 25027   3728914      4257     85800         0     89906    429000   1463314    146.27    154.14  --
3569.20/895.06	c  N dy 25159   3748929      4257     85800         0    109919    429000   5436848    146.26    154.00  --
3571.99/895.76	c  F st 25178   3751562      4257     85800         0    112551    429000   5955866    146.26   no data  --
3589.94/900.29	c  N dy 25260   3768960      4257     85800         0    129941    429000   9658775    146.26    154.64  --
3615.06/906.54	c  N dy 25396   3789007      4257     85800         0    149981    429000  13723476    146.26    162.40  --
3642.19/913.38	c  N dy 25539   3809038      4257     85800         0    170004    429000  17815740    146.28    155.55  --
3664.93/919.00	c  N dy 25682   3829158      4257     85800         0    102137    429000   3750755    146.29    154.89  --
3686.07/924.37	c  N dy 25820   3849182      4257     85800         0    122156    429000   7784585    146.29    154.94  --
3709.60/930.22	c  N dy 25955   3869208      4257     85800         0    142175    429000  11792201    146.29    186.95  --
3735.54/936.79	c  N dy 26091   3889228      4257     85800         0    162187    429000  15847726    146.30    162.05  --
3762.66/943.51	c  N dy 26223   3909398      4257     85800         0     93382    429000   1782194    146.31    154.26  --
3782.99/948.65	c  N dy 26367   3929440      4257     85800         0    113418    429000   5890973    146.32    195.10  --
3805.73/954.33	c  N dy 26508   3949515      4257     85800         0    133486    429000   9919243    146.33    155.10  --
3830.86/960.64	c  N dy 26643   3969650      4257     85800         0    153611    429000  13973705    146.33    154.18  --
3858.77/967.61	c  N dy 26783   3989777      4257     85800         0    173728    429000  18079749    146.34    154.58  --
3881.51/973.31	c  N dy 26924   4009815      4257     85800         0    103783    429000   3676329    146.34    158.54  --
3902.65/978.69	c  N dy 27063   4029939      4257     85800         0    123898    429000   7721387    146.35    155.73  --
3926.23/984.58	c  N dy 27193   4049996      4257     85800         0    143946    429000  11746737    146.34    155.79  --
3952.55/991.15	c  N dy 27328   4070057      4257     85800         0    163997    429000  15747161    146.34    155.63  --
3980.82/998.25	c  N dy 27456   4090254      4257     85800         0     93225    429000   1344489    146.34    158.83  --
4000.81/1003.25	c  N dy 27586   4110323      4257     85800         0    113285    429000   5421639    146.34    155.98  --
4023.10/1008.85	c  N dy 27721   4130436      4257     85800         0    133390    429000   9482241    146.34    155.59  --
4047.84/1015.06	c  N dy 27850   4150621      4257     85800         0    153564    429000  13555764    146.34    156.67  --
4074.98/1021.87	c  N dy 27980   4170623      4257     85800         0    173559    429000  17595241    146.34    154.44  --
4100.08/1028.10	c  N dy 28113   4190638      4257     85800         0    101609    429000   2853320    146.34    155.93  --
4121.21/1033.41	c  N dy 28252   4210821      4257     85800         0    121784    429000   6935166    146.35    155.40  --
4144.35/1039.25	c  N dy 28384   4230920      4257     85800         0    141878    429000  10981724    146.35    157.11  --
4170.28/1045.76	c  N dy 28523   4250968      4257     85800         0    161922    429000  14985003    146.35    154.22  --
4198.99/1052.94	c  N dy 28664   4270969      4257     85800         0    181913    429000  19027012    146.36    155.26  --
4220.92/1058.48	c  N dy 28798   4291041      4257     85800         0    109011    429000   4197237    146.36    158.92  --
4243.26/1064.07	c  N dy 28936   4311131      4257     85800         0    129092    429000   8257038    146.37    155.58  --
4268.02/1070.21	c  N dy 29072   4331250      4257     85800         0    149199    429000  12316068    146.37    154.83  --
4295.12/1077.07	c  N dy 29208   4351340      4257     85800         0    169285    429000  16372997    146.38    179.91  --
4324.23/1084.35	c  N dy 29337   4371379      4257     85800         0     95363    429000   1210504    146.38    164.15  --
4344.57/1089.42	c  N dy 29475   4391620      4257     85800         0    115600    429000   5343928    146.39    156.61  --
4367.31/1095.10	c  N dy 29611   4411678      4257     85800         0    135655    429000   9357306    146.39    154.44  --
4392.44/1101.45	c  N dy 29748   4431684      4257     85800         0    155656    429000  13355190    146.38    160.71  --
4420.77/1108.50	c  N dy 29896   4451739      4257     85800         0    175704    429000  17457516    146.40    154.37  --
4448.32/1115.43	c  N dy 30035   4471762      4257     85800         0    100754    429000   2106859    146.40    158.20  --
4468.61/1120.55	c  N dy 30170   4491768      4257     85800         0    120754    429000   6112210    146.40    155.14  --
4492.19/1126.44	c  N dy 30305   4511909      4257     85800         0    140886    429000  10112791    146.40    155.56  --
4517.68/1132.87	c  N dy 30438   4531960      4257     85800         0    160931    429000  14172736    146.40    154.74  --
4545.59/1139.88	c  N dy 30569   4552073      4257     85800         0    181039    429000  18207048    146.39    155.04  --
4572.31/1146.53	c  N dy 30714   4572087      4257     85800         0    105069    429000   2830850    146.40    154.67  --
4594.25/1152.03	c  N dy 30859   4592171      4257     85800         0    125147    429000   6949637    146.42    193.32  --
4618.59/1158.10	c  N dy 30995   4612318      4257     85800         0    145279    429000  10987287    146.42    154.59  --
4644.92/1164.75	c  N dy 31131   4632499      4257     85800         0    165452    429000  15025475    146.42    154.43  --
4674.02/1172.02	c  N dy 31264   4652579      4257     85800         0    185528    429000  19063904    146.42    154.18  --
4698.75/1178.22	c  N dy 31396   4672653      4257     85800         0    108631    429000   3335937    146.42    155.68  --
4720.68/1183.70	c  N dy 31530   4692793      4257     85800         0    128763    429000   7395289    146.43    158.08  --
4745.02/1189.80	c  N dy 31669   4712821      4257     85800         0    148785    429000  11446209    146.43    155.19  --
4771.35/1196.48	c  N dy 31799   4732908      4257     85800         0    168864    429000  15474103    146.43    160.56  --

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

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

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


[startup+0 s]
/proc/loadavg: 7.28 7.90 7.95 6/352 4129
/proc/meminfo: memFree=26117032/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=117748 CPUtime=0 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 620 0 0 0 0 0 0 0 21 0 4 0 652981237 120573952 543 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634515259 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 29437 569 331 112 0 24402 0
[pid=4129/tid=4130] ppid=4127 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 678 0 0 0 0 0 0 0 18 0 4 0 652981237 289628160 2551 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 619 0 0 0 0 0 0 0 22 0 4 0 652981237 289628160 2552 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 366 0 0 0 0 0 0 0 22 0 4 0 652981237 289628160 2556 33554432000 4194304 4650419 140735534562976 18446744073709551615 4520131 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.027744 s]
/proc/loadavg: 7.28 7.90 7.95 6/352 4129
/proc/meminfo: memFree=26117032/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=287276 CPUtime=0.06 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 5447 0 0 0 5 1 0 0 17 0 4 0 652981237 294170624 5067 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 71819 5071 344 112 0 66784 0
[pid=4129/tid=4130] ppid=4127 vsize=287276 CPUtime=0.01 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 1456 0 0 0 1 0 0 0 18 0 4 0 652981237 294170624 5072 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=287276 CPUtime=0.01 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 1195 0 0 0 1 0 0 0 18 0 4 0 652981237 294170624 5074 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=287276 CPUtime=0 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 1073 0 0 0 0 0 0 0 22 0 4 0 652981237 294170624 5076 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 287276

[startup+0.100976 s]
/proc/loadavg: 7.28 7.90 7.95 6/352 4129
/proc/meminfo: memFree=26117032/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=372016 CPUtime=0.35 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 15893 0 0 0 26 9 0 0 18 0 4 0 652981237 380944384 13909 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 93004 13909 344 112 0 87969 0
[pid=4129/tid=4130] ppid=4127 vsize=372016 CPUtime=0.08 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) S 4127 4129 3413 0 -1 4202560 3877 0 0 0 7 1 0 0 18 0 4 0 652981237 380944384 13909 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620398 0 0 4096 2 18446604467636954432 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=372016 CPUtime=0.08 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) S 4127 4129 3413 0 -1 4202560 3907 0 0 0 6 2 0 0 18 0 4 0 652981237 380944384 13920 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620398 0 0 4096 2 18446604467636954432 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=372016 CPUtime=0.07 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) S 4127 4129 3413 0 -1 4202560 4010 0 0 0 6 1 0 0 18 0 4 0 652981237 380944384 13936 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620398 0 0 4096 2 18446604467636954432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 372016

[startup+0.311718 s]
/proc/loadavg: 7.28 7.90 7.95 6/352 4129
/proc/meminfo: memFree=26117032/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=542236 CPUtime=1.11 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 38549 0 0 0 86 25 0 0 18 0 4 0 652981237 555249664 34483 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 135559 34520 344 112 0 130524 0
[pid=4129/tid=4130] ppid=4127 vsize=542236 CPUtime=0.27 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 9164 0 0 0 21 6 0 0 18 0 4 0 652981237 555249664 34535 33554432000 4194304 4650419 140735534562976 18446744073709551615 4545921 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=542236 CPUtime=0.27 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 9881 0 0 0 21 6 0 0 18 0 4 0 652981237 555249664 34592 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=542236 CPUtime=0.27 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) S 4127 4129 3413 0 -1 4202560 9752 0 0 0 21 6 0 0 18 0 4 0 652981237 555249664 34648 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620398 0 0 4096 2 18446604467636954432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 542236

[startup+0.700627 s]
/proc/loadavg: 7.28 7.90 7.95 6/352 4129
/proc/meminfo: memFree=26117032/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=569592 CPUtime=2.57 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 61270 0 0 0 213 44 0 0 18 0 4 0 652981237 583262208 57204 33554432000 4194304 4650419 140735534562976 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 142398 57204 367 112 0 137363 0
[pid=4129/tid=4130] ppid=4127 vsize=569592 CPUtime=0.64 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 14357 0 0 0 54 10 0 0 18 0 4 0 652981237 583262208 57204 33554432000 4194304 4650419 140735534562976 18446744073709551615 4370723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=569592 CPUtime=0.62 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 15512 0 0 0 52 10 0 0 18 0 4 0 652981237 583262208 57204 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634176197 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=569592 CPUtime=0.63 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 15450 0 0 0 53 10 0 0 18 0 4 0 652981237 583262208 57204 33554432000 4194304 4650419 140735534562976 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 569592

[startup+1.50049 s]
/proc/loadavg: 7.28 7.90 7.95 9/356 4133
/proc/meminfo: memFree=25858708/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=591512 CPUtime=5.74 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 102866 0 0 0 521 53 0 0 19 0 4 0 652981237 605708288 68556 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 147878 68556 371 112 0 142843 0
[pid=4129/tid=4130] ppid=4127 vsize=591512 CPUtime=1.43 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 27717 0 0 0 130 13 0 0 19 0 4 0 652981237 605708288 68556 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=591512 CPUtime=1.43 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 27629 0 0 0 129 14 0 0 19 0 4 0 652981237 605708288 68556 33554432000 4194304 4650419 140735534562976 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=591512 CPUtime=1.42 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 16842 0 0 0 131 11 0 0 19 0 4 0 652981237 605708288 68556 33554432000 4194304 4650419 140735534562976 18446744073709551615 4329420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 591512

[startup+3.10121 s]
/proc/loadavg: 7.28 7.90 7.95 9/356 4133
/proc/meminfo: memFree=25632408/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=844164 CPUtime=11.91 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 186420 0 0 0 1094 97 0 0 18 0 4 0 652981237 864423936 151616 33554432000 4194304 4650419 140735534562976 18446744073709551615 4475954 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 211041 151616 388 112 0 206006 0
[pid=4129/tid=4130] ppid=4127 vsize=844164 CPUtime=2.96 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 54406 0 0 0 269 27 0 0 18 0 4 0 652981237 864423936 151616 33554432000 4194304 4650419 140735534562976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=844164 CPUtime=2.96 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 56786 0 0 0 266 30 0 0 18 0 4 0 652981237 864423936 151616 33554432000 4194304 4650419 140735534562976 18446744073709551615 4443971 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=844164 CPUtime=2.99 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 18933 0 0 0 287 12 0 0 18 0 4 0 652981237 864423936 151616 33554432000 4194304 4650419 140735534562976 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.91
Current children cumulated vsize (KiB) 844164

[startup+6.30064 s]
/proc/loadavg: 7.33 7.90 7.95 9/356 4133
/proc/meminfo: memFree=25391020/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=949016 CPUtime=24.65 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 233595 0 0 0 2360 105 0 0 25 0 4 0 652981237 971792384 164669 33554432000 4194304 4650419 140735534562976 18446744073709551615 4334251 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 237254 164670 394 112 0 232219 0
[pid=4129/tid=4130] ppid=4127 vsize=949016 CPUtime=6.16 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 65858 0 0 0 587 29 0 0 25 0 4 0 652981237 971792384 164670 33554432000 4194304 4650419 140735534562976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=949016 CPUtime=6.16 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 64931 0 0 0 584 32 0 0 25 0 4 0 652981237 971792384 164671 33554432000 4194304 4650419 140735534562976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=949016 CPUtime=6.14 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 35951 0 0 0 599 15 0 0 25 0 4 0 652981237 971792384 164671 33554432000 4194304 4650419 140735534562976 18446744073709551615 4360413 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 949016

[startup+12.7005 s]
/proc/loadavg: 7.39 7.90 7.95 9/356 4133
/proc/meminfo: memFree=25213000/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1129764 CPUtime=50.16 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 305696 0 0 0 4898 118 0 0 25 0 4 0 652981237 1156878336 194359 33554432000 4194304 4650419 140735534562976 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 282441 194359 394 112 0 277406 0
[pid=4129/tid=4130] ppid=4127 vsize=1129764 CPUtime=12.56 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 88810 0 0 0 1224 32 0 0 25 0 4 0 652981237 1156878336 194359 33554432000 4194304 4650419 140735534562976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1129764 CPUtime=12.55 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 83430 0 0 0 1221 34 0 0 25 0 4 0 652981237 1156878336 194359 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1129764 CPUtime=12.47 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 47876 0 0 0 1228 19 0 0 25 0 4 0 652981237 1156878336 194359 33554432000 4194304 4650419 140735534562976 18446744073709551615 4311406 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.16
Current children cumulated vsize (KiB) 1129764

[startup+25.5003 s]
/proc/loadavg: 7.52 7.91 7.95 9/356 4133
/proc/meminfo: memFree=25042208/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1405096 CPUtime=101.21 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 375791 0 0 0 9989 132 0 0 25 0 4 0 652981237 1438818304 220702 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 351274 220702 394 112 0 346239 0
[pid=4129/tid=4130] ppid=4127 vsize=1405096 CPUtime=25.36 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 106922 0 0 0 2501 35 0 0 25 0 4 0 652981237 1438818304 220702 33554432000 4194304 4650419 140735534562976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1405096 CPUtime=25.35 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 101133 0 0 0 2497 38 0 0 25 0 4 0 652981237 1438818304 220702 33554432000 4194304 4650419 140735534562976 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1405096 CPUtime=25.12 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 60817 0 0 0 2490 22 0 0 25 0 4 0 652981237 1438818304 220702 33554432000 4194304 4650419 140735534562976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.21
Current children cumulated vsize (KiB) 1405096

[startup+51.1008 s]
/proc/loadavg: 7.74 7.93 7.95 9/356 4134
/proc/meminfo: memFree=25068152/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1455184 CPUtime=203.33 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 457457 0 0 0 20178 155 0 0 25 0 4 0 652981237 1490108416 218333 33554432000 4194304 4650419 140735534562976 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 363796 218333 394 112 0 358761 0
[pid=4129/tid=4130] ppid=4127 vsize=1455184 CPUtime=50.95 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 124013 0 0 0 5055 40 0 0 25 0 4 0 652981237 1490108416 218333 33554432000 4194304 4650419 140735534562976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1455184 CPUtime=50.95 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 117867 0 0 0 5052 43 0 0 25 0 4 0 652981237 1490108416 218333 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1455184 CPUtime=50.44 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 81024 0 0 0 5017 27 0 0 25 0 4 0 652981237 1490108416 218333 33554432000 4194304 4650419 140735534562976 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.33
Current children cumulated vsize (KiB) 1455184

[startup+102.313 s]
/proc/loadavg: 7.89 7.94 7.95 9/356 4135
/proc/meminfo: memFree=24949620/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1456824 CPUtime=407.6 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 662447 0 0 0 40551 209 0 0 25 0 4 0 652981237 1491787776 239959 33554432000 4194304 4650419 140735534562976 18446744073709551615 4331984 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 364206 239959 394 112 0 359171 0
[pid=4129/tid=4130] ppid=4127 vsize=1456824 CPUtime=102.16 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 176283 0 0 0 10162 54 0 0 25 0 4 0 652981237 1491787776 239959 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1456824 CPUtime=101.93 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 159375 0 0 0 10139 54 0 0 25 0 4 0 652981237 1491787776 239959 33554432000 4194304 4650419 140735534562976 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1456824 CPUtime=101.32 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 136353 0 0 0 10089 43 0 0 25 0 4 0 652981237 1491787776 239959 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.6
Current children cumulated vsize (KiB) 1456824

[startup+162.3 s]

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

[pid=4129] ppid=4127 vsize=1731468 CPUtime=2561.33 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 2446281 0 0 0 255400 733 0 0 25 0 4 0 652981237 1773023232 296162 33554432000 4194304 4650419 140735534562976 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 432867 296162 394 112 0 427832 0
[pid=4129/tid=4130] ppid=4127 vsize=1731468 CPUtime=642.07 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 646658 0 0 0 64015 192 0 0 25 0 4 0 652981237 1773023232 296181 33554432000 4194304 4650419 140735534562976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1731468 CPUtime=635.94 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 589033 0 0 0 63413 181 0 0 25 0 4 0 652981237 1773023232 296181 33554432000 4194304 4650419 140735534562976 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1731468 CPUtime=641.22 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 575211 0 0 0 63950 172 0 0 25 0 4 0 652981237 1773023232 296181 33554432000 4194304 4650419 140735534562976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2561.33
Current children cumulated vsize (KiB) 1731468

[startup+702.301 s]
/proc/loadavg: 8.18 8.11 8.02 9/356 4163
/proc/meminfo: memFree=24601500/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1669460 CPUtime=2800.61 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 2619812 0 0 0 279272 789 0 0 25 0 4 0 652981237 1709527040 289866 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 417365 289866 394 112 0 412330 0
[pid=4129/tid=4130] ppid=4127 vsize=1669460 CPUtime=702.05 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 690660 0 0 0 70000 205 0 0 25 0 4 0 652981237 1709527040 289866 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1669460 CPUtime=695.27 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 629064 0 0 0 69331 196 0 0 25 0 4 0 652981237 1709527040 289866 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1669460 CPUtime=701.2 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 620179 0 0 0 69934 186 0 0 25 0 4 0 652981237 1709527040 289866 33554432000 4194304 4650419 140735534562976 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.61
Current children cumulated vsize (KiB) 1669460

[startup+762.314 s]
/proc/loadavg: 8.19 8.12 8.02 9/356 4165
/proc/meminfo: memFree=24516644/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1736692 CPUtime=3039.97 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 2777072 0 0 0 303159 838 0 0 25 0 4 0 652981237 1778372608 288258 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 434173 288258 394 112 0 429138 0
[pid=4129/tid=4130] ppid=4127 vsize=1736692 CPUtime=762.05 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 732501 0 0 0 75986 219 0 0 25 0 4 0 652981237 1778372608 288258 33554432000 4194304 4650419 140735534562976 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1736692 CPUtime=754.62 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 663582 0 0 0 75255 207 0 0 25 0 4 0 652981237 1778372608 288258 33554432000 4194304 4650419 140735534562976 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1736692 CPUtime=761.2 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 659480 0 0 0 75921 199 0 0 25 0 4 0 652981237 1778372608 288258 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.97
Current children cumulated vsize (KiB) 1736692

[startup+822.301 s]
/proc/loadavg: 8.19 8.13 8.03 9/356 4166
/proc/meminfo: memFree=24448428/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1786484 CPUtime=3279.24 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 2950628 0 0 0 327030 894 0 0 25 0 4 0 652981237 1829359616 289076 33554432000 4194304 4650419 140735534562976 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 446621 289076 394 112 0 441586 0
[pid=4129/tid=4130] ppid=4127 vsize=1786484 CPUtime=822.04 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 779602 0 0 0 81971 233 0 0 25 0 4 0 652981237 1829359616 289076 33554432000 4194304 4650419 140735534562976 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1786484 CPUtime=813.95 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 708460 0 0 0 81174 221 0 0 25 0 4 0 652981237 1829359616 289076 33554432000 4194304 4650419 140735534562976 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1786484 CPUtime=821.18 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 701448 0 0 0 81904 214 0 0 25 0 4 0 652981237 1829359616 289076 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.24
Current children cumulated vsize (KiB) 1786484

[startup+882.301 s]
/proc/loadavg: 8.18 8.13 8.03 9/356 4168
/proc/meminfo: memFree=24400764/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1770244 CPUtime=3518.55 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 3105606 0 0 0 350909 946 0 0 25 0 4 0 652981237 1812729856 309017 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 442561 309017 394 112 0 437526 0
[pid=4129/tid=4130] ppid=4127 vsize=1770244 CPUtime=882.03 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 824299 0 0 0 87957 246 0 0 25 0 4 0 652981237 1812729856 309017 33554432000 4194304 4650419 140735534562976 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1770244 CPUtime=873.28 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 742997 0 0 0 87093 235 0 0 25 0 4 0 652981237 1812729856 309017 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1770244 CPUtime=881.17 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 741154 0 0 0 87890 227 0 0 25 0 4 0 652981237 1812729856 309017 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.55
Current children cumulated vsize (KiB) 1770244

[startup+942.301 s]
/proc/loadavg: 8.17 8.14 8.04 9/356 4170
/proc/meminfo: memFree=24418208/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1753692 CPUtime=3757.87 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 3264102 0 0 0 374790 997 0 0 25 0 4 0 652981237 1795780608 292925 33554432000 4194304 4650419 140735534562976 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 438423 292925 394 112 0 433388 0
[pid=4129/tid=4130] ppid=4127 vsize=1753692 CPUtime=942.02 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 868047 0 0 0 93943 259 0 0 25 0 4 0 652981237 1795780608 292925 33554432000 4194304 4650419 140735534562976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1753692 CPUtime=932.62 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 780126 0 0 0 93016 246 0 0 25 0 4 0 652981237 1795780608 292925 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1753692 CPUtime=941.17 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 779493 0 0 0 93877 240 0 0 25 0 4 0 652981237 1795780608 292925 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.87
Current children cumulated vsize (KiB) 1753692

[startup+1002.3 s]
/proc/loadavg: 8.15 8.14 8.04 9/356 4171
/proc/meminfo: memFree=24498660/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1753816 CPUtime=3997.17 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 3421987 0 0 0 398668 1049 0 0 25 0 4 0 652981237 1795907584 283772 33554432000 4194304 4650419 140735534562976 18446744073709551615 4314985 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 438454 283772 394 112 0 433419 0
[pid=4129/tid=4130] ppid=4127 vsize=1753816 CPUtime=1002.01 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 910677 0 0 0 99930 271 0 0 25 0 4 0 652981237 1795907584 283772 33554432000 4194304 4650419 140735534562976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1753816 CPUtime=991.96 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 818788 0 0 0 98935 261 0 0 25 0 4 0 652981237 1795907584 283773 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1753816 CPUtime=1001.16 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 818861 0 0 0 99862 254 0 0 25 0 4 0 652981237 1795907584 283773 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.17
Current children cumulated vsize (KiB) 1753816

[startup+1062.3 s]
/proc/loadavg: 8.14 8.14 8.05 9/356 4173
/proc/meminfo: memFree=24449768/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1722648 CPUtime=4236.48 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 3582543 0 0 0 422547 1101 0 0 25 0 4 0 652981237 1763991552 281558 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 430662 281558 394 112 0 425627 0
[pid=4129/tid=4130] ppid=4127 vsize=1722648 CPUtime=1062 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 950966 0 0 0 105916 284 0 0 25 0 4 0 652981237 1763991552 281558 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1722648 CPUtime=1051.63 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 857150 0 0 0 104887 276 0 0 25 0 4 0 652981237 1763991552 281558 33554432000 4194304 4650419 140735534562976 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1722648 CPUtime=1060.82 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 861672 0 0 0 105814 268 0 0 25 0 4 0 652981237 1763991552 281558 33554432000 4194304 4650419 140735534562976 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.48
Current children cumulated vsize (KiB) 1722648

[startup+1122.3 s]
/proc/loadavg: 8.13 8.14 8.05 9/356 4174
/proc/meminfo: memFree=24464732/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1740172 CPUtime=4475.79 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 3742474 0 0 0 446426 1153 0 0 25 0 4 0 652981237 1781936128 287027 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 435043 287027 394 112 0 430008 0
[pid=4129/tid=4130] ppid=4127 vsize=1740172 CPUtime=1121.86 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 993071 0 0 0 111887 299 0 0 21 0 4 0 652981237 1781936128 287027 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1740172 CPUtime=1111.62 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 899421 0 0 0 110873 289 0 0 25 0 4 0 652981237 1781936128 287027 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1740172 CPUtime=1120.29 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 899265 0 0 0 111749 280 0 0 25 0 4 0 652981237 1781936128 287027 33554432000 4194304 4650419 140735534562976 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4475.79
Current children cumulated vsize (KiB) 1740172

[startup+1182.3 s]
/proc/loadavg: 8.17 8.16 8.06 9/356 4176
/proc/meminfo: memFree=24403204/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1854344 CPUtime=4715.11 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 3898457 0 0 0 470311 1200 0 0 25 0 4 0 652981237 1898848256 298417 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 463586 298417 394 112 0 458551 0
[pid=4129/tid=4130] ppid=4127 vsize=1854344 CPUtime=1181.19 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 1032028 0 0 0 117809 310 0 0 25 0 4 0 652981237 1898848256 298417 33554432000 4194304 4650419 140735534562976 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1854344 CPUtime=1171.61 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 941095 0 0 0 116861 300 0 0 25 0 4 0 652981237 1898848256 298417 33554432000 4194304 4650419 140735534562976 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1854344 CPUtime=1180.28 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 937144 0 0 0 117735 293 0 0 25 0 4 0 652981237 1898848256 298417 33554432000 4194304 4650419 140735534562976 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.11
Current children cumulated vsize (KiB) 1854344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.19 8.16 8.07 5/351 4178
/proc/meminfo: memFree=25059184/32951124 swapFree=53501236/67111528
[pid=4129] ppid=4127 vsize=1640504 CPUtime=4800.08 cores=1,3,5,7
/proc/4129/stat : 4129 (strangenight1-m) R 4127 4129 3413 0 -1 4202496 3952105 0 0 0 478791 1217 0 0 25 0 4 0 652981237 1679876096 287318 33554432000 4194304 4650419 140735534562976 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4129/statm: 410126 287318 394 112 0 405091 0
[pid=4129/tid=4130] ppid=4127 vsize=1640504 CPUtime=1202.26 cores=1,3,5,7
/proc/4129/task/4130/stat : 4130 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 1047856 0 0 0 119911 315 0 0 25 0 4 0 652981237 1679876096 287330 33554432000 4194304 4650419 140735534562976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4129/tid=4131] ppid=4127 vsize=1640504 CPUtime=1192.93 cores=1,3,5,7
/proc/4129/task/4131/stat : 4131 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 955407 0 0 0 118988 305 0 0 20 0 4 0 652981237 1679876096 287330 33554432000 4194304 4650419 140735534562976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4129/tid=4132] ppid=4127 vsize=1640504 CPUtime=1201.59 cores=1,3,5,7
/proc/4129/task/4132/stat : 4132 (strangenight1-m) R 4127 4129 3413 0 -1 4202560 947781 0 0 0 119862 297 0 0 21 0 4 0 652981237 1679876096 287330 33554432000 4194304 4650419 140735534562976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1640504

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): 1203.67
CPU time (s): 4800.18
CPU user time (s): 4787.95
CPU system time (s): 12.2271
CPU usage (%): 398.796
Max. virtual memory (cumulated for all children) (KiB): 1919952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.95
system time used= 12.2271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3952128
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= 105453
involuntary context switches= 35098

runsolver used 3.59745 second user time and 9.57754 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 00:56:26
IDJOB=3369120
IDBENCH=83249
IDSOLVER=1846
FILE ID=node103/3369120-1305413785
RUNJOBID= node103-1305413785-4107
PBS_JOBID= 13324513
Free space on /tmp= 72960 MiB

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

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

MD5SUM BENCH= 1ef198d3f2d717e33f4f2ba124eb7eb2
RANDOM SEED=1537336400

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26117188 kB
Buffers:        301848 kB
Cached:        3899128 kB
SwapCached:     340192 kB
Active:        1446512 kB
Inactive:      5116628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26117188 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           37396 kB
Writeback:           0 kB
AnonPages:     2032472 kB
Mapped:          11164 kB
Slab:           152936 kB
PageTables:      53148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78471216 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= 72964 MiB
End job on node103 at 2011-05-15 01:16:32