Trace number 3369102

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

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
MD5SUM683c9f75b69575e6451b8563d12f176b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.85272
Satisfiable
(Un)Satisfiability was proved
Number of variables1981
Number of clauses333838
Sum of the clauses size669567
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2333793
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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-3369102-1305434236.cnf'
0.00/0.01	c -- header says num vars:           1981
0.00/0.01	c -- header says num clauses:      333838
0.00/0.08	c -- clauses added:            0 learnts,       333838 normals,            0 xors
0.00/0.08	c -- vars added       1981
0.00/0.08	c Parsing time:  0.22 s
0.00/0.08	c  N st     0         0      1981        45    333793         0    669567         0   no data   no data  --
0.00/0.08	c asymm  cl-useful: 0/45/45 lits-rem:0 time: 0.00
0.00/0.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.20
0.00/0.25	c bin-w-bin subsume rem            0 bins  time:  0.25 s
0.00/0.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.18 s
0.00/0.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1981 time:  0.14 s
0.00/0.31	c Removed useless bin:       0  fixed:     0  props:   1.68M  time:  0.13 s
0.00/0.42	c lits-rem:       201  cl-subs:        0  v-elim:     45  v-fix:    0  time:  0.37 s
0.00/0.42	c Finding binary XORs  T:     0.02 s  found:       0
0.00/0.43	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.00/0.43	c calculated reachability. Time: 0.00
0.00/0.43	c Calc default polars -  time:   0.01 s pos:       0 undec:      45 neg:    1936
0.00/0.43	c =========================================================================================
0.00/0.43	c types(t): F = full restart, N = normal restart
0.00/0.43	c types(t): S = simplification begin/end, E = solution found
0.00/0.43	c restart types(rt): st = static, dy = dynamic
0.00/0.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.43	c  B st     0         0      1936      4791    327066         0    905451         0   no data   no data  --
0.00/0.84	c  N dy     9      4063      1936      4791    327066      3923    905444    526969     19.66     20.79  --
4.21/1.15	c  N dy    14      8087      1936      4791    327066      5419    905444    564330     15.62     16.50  --
5.97/1.59	c  N dy    23     12461      1936      4791    327066      5541    905438    536067     14.87     15.81  --
8.35/2.11	c  N dy    28     17084      1936      4791    327066      9991    905429   1362221     13.67     14.41  --
9.96/2.52	c  N dy    41     21163      1936      4791    327066      8527    905428    901380     13.49     16.60  --
11.56/2.92	c  F st    56     25001      1936      4791    327066     12284    905428   1272415     13.38   no data  --
11.56/2.99	c  N st    57     25254      1936      4791    327066     12530    905428   1325086     13.38   no data  --
13.95/3.53	c  N dy    62     30003      1936      4791    327066     10510    905423   1337664     13.38   no data  --
13.95/3.53	c  S st    62     30003      1936      4791    327066     10510    905423   1337664     13.38   no data  --
13.95/3.59	c  S st    62     30505      1936      4791    327066     11005    905420   1397856     13.38   no data  --
13.95/3.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
13.95/3.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.95/4.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 18.1M T:  1.74
16.38/4.14	c bin-w-bin subsume rem            0 bins  time:  0.17 s
21.52/5.49	c subs with bin:        0  lits-rem:       189  v-fix:    0  time:  5.36 s
21.92/5.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
21.92/5.55	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
29.90/7.59	c lits-rem:      2361  cl-subs:      365  v-elim:      0  v-fix:    0  time:  8.12 s
31.10/7.84	c asymm  cl-useful: 999/1930/4791 lits-rem:9267 time: 0.99
31.10/7.85	c calculated reachability. Time: 0.01
31.10/7.85	c  N dy    62     30505      1936      4791    327066     10640    894419   1304909     13.38   no data  --
33.51/8.49	c  N dy    75     34556      1936      4791    327066     14568    894414   2124183     13.30     14.18  --
35.89/9.06	c  N dy    86     39268      1936      4791    327066     11458    894414   1260943     12.97     13.72  --
38.33/9.67	c  N dy   103     43699      1936      4791    327066     15744    894413   1936178     12.98     13.78  --
39.47/9.97	c  S st   110     45758      1936      4791    327066      9060    894413    919666     12.93   no data  --
39.87/10.02	c  S st   110     46260      1936      4791    327066      9557    894413    978088     12.93   no data  --
39.87/10.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
39.87/10.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.47/10.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.6M T:  1.65
41.87/10.51	c bin-w-bin subsume rem            0 bins  time:  0.16 s
47.10/11.83	c subs with bin:        0  lits-rem:       279  v-fix:    0  time:  5.22 s
47.10/11.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
47.10/11.89	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.12 s
51.84/13.01	c lits-rem:       890  cl-subs:      250  v-elim:      0  v-fix:    0  time:  4.44 s
51.84/13.02	c vivif2 --  cl tried     4791 cl shrink     2906 lits rem      21639 time: 0.04
51.84/13.04	c vivif2 --  cl tried     9307 cl shrink        0 lits rem          0 time: 0.07
52.64/13.23	c asymm  cl-useful: 0/2816/4791 lits-rem:0 time: 0.76
52.64/13.23	c calculated reachability. Time: 0.01
52.64/13.23	c  N dy   110     46260      1936      4791    327066      9307    871964    962449     12.93   no data  --
54.64/13.77	c  N dy   123     50282      1936      4791    327066     13215    871964   1643557     12.82     13.51  --
57.43/14.40	c  N dy   135     54389      1936      4791    327066     17212    871964   2408189     12.71     13.50  --
59.84/15.09	c  N dy   153     58685      1936      4791    327066     11728    871964   1214479     12.73     13.61  --
62.21/15.62	c  N dy   173     62766      1936      4791    327066     15680    871964   1767201     12.79     13.47  --
64.65/16.29	c  N dy   191     66823      1936      4791    327066     19597    871964   2449764     12.85     13.60  --
66.60/16.73	c  S st   201     69390      1936      4791    327066     11425    871964   1216933     12.84      7.86  --
66.60/16.78	c  S st   201     69895      1936      4791    327066     11927    871964   1280409     12.84   no data  --
66.60/16.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
66.60/16.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.04/17.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 19.3M T:  2.24
69.40/17.44	c bin-w-bin subsume rem            0 bins  time:  0.16 s
74.98/18.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.71 s
75.38/18.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
75.38/18.93	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
82.56/20.73	c lits-rem:       471  cl-subs:      141  v-elim:      0  v-fix:    0  time:  7.13 s
82.56/20.73	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.01
82.56/20.75	c vivif2 --  cl tried    11786 cl shrink        0 lits rem          0 time: 0.09
83.36/20.98	c asymm  cl-useful: 1/1995/4791 lits-rem:1 time: 0.90
83.36/20.98	c calculated reachability. Time: 0.01
83.36/20.98	c  N dy   201     69895      1936      4791    327066     11786    871954   1266021     12.84   no data  --
86.59/21.73	c  N dy   217     74450      1936      4791    327066     16182    871954   2061448     12.86     14.32  --
90.56/22.79	c  N dy   253     79237      1936      4791    327067     20860    871954   2892350     13.17     13.92  --
94.95/23.82	c  N dy   283     84661      1936      4791    327067     14494    871954   1731215     13.32     14.04  --
96.53/24.23	c  F st   296     87501      1936      4791    327067     17268    871954   2198097     13.33   no data  --
98.93/24.91	c  N st   301     90800      1936      4791    327067     20500    871954   2854382     13.33   no data  --
104.15/26.17	c  N dy   333     96679      1936      4791    327067     13572    871954   1493499     13.56     14.37  --
108.12/27.18	c  N dy   361    103019      1936      4791    327067     19731    871954   2543271     13.67     14.46  --
109.70/27.51	c  S st   376    104843      1936      4791    327067     21510    871954   2859459     13.82   no data  --
109.70/27.59	c  S st   376    105345      1936      4791    327067     22011    871954   2930164     13.82   no data  --
110.10/27.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
110.10/27.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
113.69/28.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 31.3M T:  3.65
114.08/28.66	c bin-w-bin subsume rem            0 bins  time:  0.16 s
120.08/30.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.07 s
120.48/30.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
120.48/30.24	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
145.60/36.54	c lits-rem:       441  cl-subs:      241  v-elim:      0  v-fix:    0  time: 25.06 s
145.60/36.54	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.01
145.60/36.58	c vivif2 --  cl tried    21770 cl shrink        7 lits rem          7 time: 0.17
146.80/36.84	c asymm  cl-useful: 0/1295/4791 lits-rem:0 time: 1.04
146.80/36.85	c calculated reachability. Time: 0.01
146.80/36.85	c  N dy   376    105345      1936      4791    327067     21770    871954   2881489     13.82   no data  --
151.58/38.07	c  N dy   397    112143      1936      4791    327067     14751    871954   1595014     13.80     21.21  --
156.38/39.26	c  N dy   436    119319      1936      4791    327067     21710    871954   2758728     13.98     14.73  --
163.15/40.95	c  N dy   487    126998      1936      4791    327067     29226    871954   4056386     14.41     28.18  --
167.94/42.17	c  N dy   511    135462      1936      4791    327067     22843    871954   2901617     14.36     15.14  --
175.52/44.08	c  N dy   561    144622      1936      4791    327067     16188    871954   1809213     14.56     15.40  --
181.51/45.57	c  N dy   585    154436      1936      4791    327067     25775    871954   3125145     14.48     15.35  --
184.70/46.33	c  S st   609    158017      1936      4791    327067     29291    871954   3714751     14.59   no data  --
185.10/46.42	c  S st   609    158519      1936      4791    327067     29791    871954   3786585     14.59   no data  --
185.10/46.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
185.10/46.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
188.28/47.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 31.7M T:  3.43
189.08/47.44	c bin-w-bin subsume rem            0 bins  time:  0.16 s
195.47/49.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.20 s
195.47/49.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
195.47/49.06	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
232.17/58.20	c lits-rem:       586  cl-subs:      453  v-elim:      0  v-fix:    0  time: 36.39 s
232.17/58.20	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.02
232.17/58.27	c vivif2 --  cl tried    29338 cl shrink        0 lits rem          0 time: 0.25
233.37/58.50	c asymm  cl-useful: 0/1501/4791 lits-rem:0 time: 0.94
233.37/58.51	c calculated reachability. Time: 0.01
233.37/58.51	c  N dy   609    158519      1936      4791    327067     29338    871954   3717805     14.59   no data  --
241.75/60.64	c  N dy   634    168734      1936      4791    327067     22702    871954   2878752     14.51     34.07  --
254.91/63.99	c  N dy   676    181274      1936      4791    327067     34924    871954   5160878     14.53     15.36  --
266.10/66.78	c  N dy   748    192866      1936      4791    327068     28675    871954   3953875     14.85     24.99  --
279.27/70.04	c  N dy   808    205331      1936      4791    327068     22293    871953   2656514     14.99     15.80  --
290.02/72.71	c  N dy   835    219710      1936      4791    327068     36308    871953   4370225     14.89     15.90  --
302.39/75.80	c  N dy   861    233747      1936      4791    327068     30508    871953   3720640     14.78     40.82  --
306.37/76.83	c  S st   894    237779      1936      4791    327068     34458    871953   4406763     14.90   no data  --
306.77/76.94	c  S st   894    238280      1936      4791    327068     34957    871953   4473195     14.90   no data  --
306.77/76.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
306.77/76.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
312.36/78.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 38.9M T:  5.49
313.16/78.51	c bin-w-bin subsume rem            0 bins  time:  0.16 s
318.76/80.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.93 s
319.18/80.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
319.18/80.07	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
398.18/99.83	c lits-rem:       573  cl-subs:      519  v-elim:      0  v-fix:    0  time: 78.74 s
398.18/99.84	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.02
398.53/99.91	c vivif2 --  cl tried    34438 cl shrink       26 lits rem         26 time: 0.29
399.73/100.24	c asymm  cl-useful: 0/1125/4791 lits-rem:0 time: 1.32
399.73/100.25	c calculated reachability. Time: 0.01
399.73/100.25	c  N dy   894    238280      1936      4791    327068     34438    871953   4407720     14.90   no data  --
413.70/103.74	c  N dy   943    254187      1936      4791    327069     29342    871953   3779611     14.89     15.76  --
430.05/107.84	c  N dy  1043    270451      1936      4791    327069     23817    871953   2600857     15.22     25.57  --
446.46/111.95	c  N dy  1169    287730      1936      4791    327070     40693    871953   5469468     15.58     18.80  --
462.77/116.07	c  F st  1258    306251      1936      4791    327070     36347    871953   4543345     15.75     13.95  --
463.17/116.12	c  N st  1258    306251      1936      4791    327070     36347    871953   4543345     15.75     13.95  --
480.73/120.52	c  N dy  1294    325903      1936      4791    327070     32070    871953   3772197     15.68     16.51  --
499.87/125.33	c  N dy  1347    346568      1936      4791    327071     27843    871953   2959469     15.61     16.45  --
509.05/127.67	c  S st  1362    357420      1936      4791    327071     38443    871953   4956742     15.55     11.86  --
509.85/127.81	c  S st  1362    357920      1936      4791    327071     38942    871953   5027120     15.55   no data  --
509.85/127.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
509.85/127.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
515.44/129.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 47.2M T:  5.72
516.25/129.44	c bin-w-bin subsume rem            0 bins  time:  0.15 s
523.02/131.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.87 s
523.42/131.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
523.42/131.23	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
632.73/158.68	c lits-rem:       818  cl-subs:      533  v-elim:      0  v-fix:    0  time: 109.27 s
632.73/158.68	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.01
633.13/158.76	c vivif2 --  cl tried    38409 cl shrink      119 lits rem        273 time: 0.32
634.33/159.05	c asymm  cl-useful: 0/798/4791 lits-rem:0 time: 1.14
634.33/159.06	c calculated reachability. Time: 0.01
634.33/159.06	c  N dy  1362    357920      1936      4791    327071     38409    871953   4965087     15.55   no data  --
656.27/164.52	c  N dy  1473    378022      1936      4791    327072     32671    871953   3663377     15.75     16.64  --
674.23/169.02	c  N dy  1550    398056      1936      4791    327072     52131    871953   6710351     15.78     23.73  --
694.57/174.19	c  N dy  1666    418960      1936      4791    327072     46206    871953   5793313     15.98     17.13  --
714.91/179.20	c  N dy  1744    438974      1936      4791    327072     38416    871953   4377529     16.05     24.73  --
736.86/184.75	c  N dy  1826    459047      1936      4791    327072     29774    871953   2958183     16.11     24.32  --
759.20/190.37	c  N dy  1900    481350      1936      4791    327073     51287    871953   6517256     16.14     17.01  --
780.75/195.75	c  N dy  1978    501377      1936      4791    327073     41581    871953   4872606     16.19     17.06  --
805.90/202.11	c  N dy  2061    523644      1936      4791    327073     33134    871953   3335720     16.23     17.30  --
817.45/204.97	c  S st  2097    536880      1936      4791    327073     45996    871953   5361202     16.21   no data  --
818.25/205.10	c  S st  2097    537381      1936      4791    327073     46494    871953   5437598     16.21   no data  --
818.25/205.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
818.25/205.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
824.64/206.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 52.6M T:  6.64
825.43/206.98	c bin-w-bin subsume rem            0 bins  time:  0.16 s
832.23/208.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.61 s
832.23/208.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
832.23/208.71	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
948.31/237.75	c lits-rem:       417  cl-subs:      891  v-elim:      0  v-fix:    0  time: 115.65 s
948.31/237.76	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.01
948.71/237.85	c vivif2 --  cl tried    45603 cl shrink       12 lits rem         12 time: 0.36
949.91/238.15	c asymm  cl-useful: 0/736/4791 lits-rem:0 time: 1.21
949.91/238.16	c calculated reachability. Time: 0.01
949.91/238.16	c  N dy  2097    537381      1936      4791    327073     45603    871953   5368614     16.21   no data  --
970.66/243.34	c  N dy  2132    558086      1936      4791    327073     34643    871953   3540831     16.12     17.08  --
994.20/249.21	c  N dy  2180    581410      1936      4791    327073     57349    871953   6779435     16.07     16.92  --
1022.51/256.34	c  N dy  2211    608624      1936      4791    327073     51817    871953   5317635     15.95     16.90  --
1044.05/261.75	c  N dy  2229    629563      1936      4791    327073     39105    871953   3626934     15.83     16.78  --
1065.60/267.15	c  N dy  2308    649657      1936      4791    327073     58671    871953   6820261     15.88     22.69  --
1091.14/273.54	c  N dy  2355    672608      1936      4791    327073     46929    871953   4496693     15.82     16.68  --
1115.07/279.59	c  N dy  2400    692673      1936      4791    327073     66376    871953   6817998     15.78     16.72  --
1137.80/285.27	c  N dy  2463    714133      1936      4791    327073     52310    871953   5426534     15.79     16.64  --
1166.92/292.57	c  N dy  2532    736956      1936      4791    327073     38464    871953   3319453     15.80     16.70  --
1187.69/297.79	c  N dy  2597    757306      1936      4791    327073     58286    871953   5583503     15.81     16.65  --
1210.05/303.32	c  N dy  2658    777329      1936      4791    327073     40763    871953   3606385     15.80     17.45  --
1233.15/309.10	c  N dy  2729    800034      1936      4791    327074     62845    871953   6683192     15.80     16.66  --
1240.36/310.98	c  S st  2745    806072      1936      4791    327074     68718    871953   7403983     15.80     11.24  --
1241.13/311.13	c  S st  2745    806577      1936      4791    327074     69218    871953   7476783     15.80   no data  --
1241.13/311.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1241.13/311.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1249.91/313.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 59.1M T:  8.56
1250.72/313.56	c bin-w-bin subsume rem            0 bins  time:  0.16 s
1257.50/315.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.65 s
1257.50/315.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
1257.50/315.29	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
1474.55/369.68	c lits-rem:       591  cl-subs:     1610  v-elim:      0  v-fix:    0  time: 216.74 s
1474.55/369.69	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.02
1475.35/369.84	c vivif2 --  cl tried    67608 cl shrink      384 lits rem        384 time: 0.62
1476.94/370.21	c asymm  cl-useful: 0/642/4791 lits-rem:0 time: 1.47
1476.94/370.22	c calculated reachability. Time: 0.01
1476.94/370.22	c  N dy  2745    806577      1936      4791    327074     67608    871953   7369790     15.80   no data  --
1502.08/376.57	c  N dy  2847    826681      1936      4791    327074     49333    871953   5207565     15.89     16.74  --
1529.61/383.48	c  N dy  2931    846709      1936      4791    327074     68868    871953   8288334     15.92     16.89  --
1556.79/390.25	c  N dy  3001    867194      1936      4791    327074     49731    871953   4790612     15.93     17.06  --
1583.12/396.88	c  N dy  3133    887293      1936      4791    327074     69314    871953   7859807     16.05     19.73  --
1609.02/403.39	c  N dy  3194    908853      1936      4791    327074     50322    871953   5174921     16.04     16.90  --
1633.75/409.50	c  N dy  3263    929446      1936      4791    327074     70297    871953   8016138     16.04     16.91  --
1657.73/415.55	c  N dy  3325    951040      1936      4791    327074     50533    871953   4995709     16.05     16.96  --
1682.03/421.63	c  N dy  3403    971105      1936      4791    327074     70076    871953   8306152     16.07     16.92  --
1709.98/428.63	c  N dy  3495    991518      1936      4791    327074     48139    871953   4557753     16.10     17.11  --
1732.35/434.26	c  N dy  3569   1012743      1936      4791    327074     68759    871953   7488188     16.11     17.09  --
1757.83/440.70	c  N dy  3639   1032792      1936      4791    327074     45447    871953   4091218     16.12     17.07  --
1778.18/445.76	c  N dy  3716   1052869      1936      4791    327074     64902    871953   7187479     16.14     17.21  --
1803.71/452.18	c  F st  3781   1071877      1936      4791    327074     83341    871953   9958183     16.14     12.87  --
1805.72/452.66	c  N st  3784   1073066      1936      4791    327074     84505    871953  10132773     16.14   no data  --
1827.25/458.08	c  N dy  3838   1093122      1936      4791    327074     60410    871953   6512290     16.14     18.54  --
1856.78/465.49	c  N dy  3928   1113134      1936      4791    327074     79800    871953   9500844     16.16     25.67  --
1884.31/472.30	c  N dy  4009   1133355      1936      4791    327074     54770    871953   5441123     16.18     17.14  --
1909.84/478.79	c  N dy  4093   1153891      1936      4791    327074     74699    871953   8452470     16.20     17.30  --
1937.38/485.69	c  N dy  4151   1174400      1936      4791    327074     48907    871953   4375217     16.18     17.08  --
1960.13/491.38	c  N dy  4215   1194476      1936      4791    327074     68385    871953   7333272     16.19     17.49  --
1984.06/497.31	c  S st  4275   1209867      1936      4791    327074     83432    871953  10015586     16.21   no data  --
1984.86/497.56	c  S st  4275   1210368      1936      4791    327074     83931    871953  10092363     16.21   no data  --
1984.86/497.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1984.86/497.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1998.03/500.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 76.6M T: 12.83
1999.23/501.16	c bin-w-bin subsume rem            0 bins  time:  0.16 s
2010.00/503.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time: 10.73 s
2010.00/503.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
2010.40/503.93	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
2551.01/639.42	c lits-rem:      1177  cl-subs:     1930  v-elim:      0  v-fix:    0  time: 539.62 s
2551.01/639.42	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.02
2551.41/639.59	c vivif2 --  cl tried    82001 cl shrink        0 lits rem          0 time: 0.69
2553.04/639.98	c asymm  cl-useful: 0/553/4791 lits-rem:0 time: 1.52
2553.04/639.99	c calculated reachability. Time: 0.00
2553.04/639.99	c  N dy  4275   1210368      1936      4791    327074     82001    871953   9928773     16.21   no data  --
2581.73/647.11	c  N dy  4344   1230952      1936      4791    327075     55432    871953   5144061     16.22     17.18  --
2604.88/652.93	c  N dy  4388   1250988      1936      4791    327075     74788    871953   7724287     16.21     19.77  --
2637.98/661.21	c  N dy  4428   1271136      1936      4791    327075     94178    871953   9605270     16.18     17.06  --
2657.95/666.22	c  N dy  4474   1291236      1936      4791    327075     66171    871953   6197773     16.18     32.29  --
2683.47/672.61	c  N dy  4514   1311440      1936      4791    327075     85760    871953   8490921     16.15     17.17  --
2710.21/679.36	c  N dy  4573   1332057      1936      4791    327076     57252    871953   5029380     16.14     17.12  --
2732.99/685.08	c  N dy  4618   1353667      1936      4791    327076     78081    871953   6851767     16.12     17.00  --
2762.07/692.31	c  N dy  4667   1373761      1936      4791    327076     97548    871953   9134044     16.10     17.01  --
2786.80/698.58	c  N dy  4721   1394449      1936      4791    327076     68301    871953   6413579     16.09     17.02  --
2812.33/704.93	c  N dy  4743   1415432      1936      4791    327076     88601    871953   9101288     16.04     17.45  --
2844.25/712.91	c  N dy  4781   1437436      1936      4791    327076     59495    871953   4886874     16.01     16.90  --
2864.63/718.07	c  N dy  4803   1457968      1936      4791    327076     79312    871953   6611484     15.97     17.14  --
2890.54/724.55	c  N dy  4870   1478481      1936      4791    327076     99114    871953   9154076     15.97     16.82  --
2912.08/729.91	c  N dy  4917   1498539      1936      4791    327076     67155    871953   5717589     15.96     47.75  --
2934.02/735.42	c  N dy  4980   1518795      1936      4791    327076     86806    871953   7956036     15.96     16.84  --
2959.95/741.92	c  N dy  5037   1538863      1936      4791    327076     53961    871953   4331495     15.95     16.86  --
2979.89/746.94	c  N dy  5108   1558950      1936      4791    327076     73447    871953   6553952     15.95     18.96  --
3002.64/752.63	c  N dy  5171   1579037      1936      4791    327076     92939    871953   8798512     15.95     16.82  --
3024.59/758.17	c  N dy  5226   1599050      1936      4791    327076     59071    871953   4805314     15.95     16.79  --
3047.33/763.89	c  N dy  5276   1619878      1936      4791    327076     79140    871953   6999570     15.93     16.82  --
3069.68/769.44	c  N dy  5320   1639953      1936      4791    327076     98550    871953   8793085     15.91     16.90  --
3093.22/775.34	c  N dy  5348   1662951      1936      4791    327076     66653    871953   5315203     15.87     16.84  --
3114.80/780.78	c  N dy  5418   1683110      1936      4791    327076     86138    871953   7743893     15.88     16.94  --
3143.49/787.98	c  N dy  5491   1704810      1936      4791    327076    107123    871953  10164002     15.89     16.82  --
3149.91/789.58	c  S st  5495   1710369      1936      4791    327076     57350    871953   4382859     15.87     12.25  --
3150.66/789.70	c  S st  5495   1710873      1936      4791    327076     57849    871953   4457078     15.87   no data  --
3150.66/789.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3150.66/789.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3157.46/791.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 46.4M T:  6.94
3158.27/791.62	c bin-w-bin subsume rem            0 bins  time:  0.14 s
3163.43/792.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.39 s
3163.83/793.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
3163.83/793.04	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
3221.29/807.41	c lits-rem:       240  cl-subs:     1760  v-elim:      0  v-fix:    0  time: 57.25 s
3221.29/807.42	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.02
3221.68/807.52	c vivif2 --  cl tried    56089 cl shrink       32 lits rem         32 time: 0.41
3222.08/807.69	c asymm  cl-useful: 0/937/4791 lits-rem:0 time: 0.67
3222.48/807.70	c calculated reachability. Time: 0.01
3222.48/807.70	c  N dy  5495   1710873      1936      4791    327076     56089    871953   4425621     15.87   no data  --
3242.08/812.69	c  N dy  5560   1730909      1936      4791    327076     75434    871953   6373076     15.87     31.89  --
3264.38/818.26	c  N dy  5598   1750988      1936      4791    327076     94709    871953   8124768     15.85     16.74  --
3287.92/824.10	c  N dy  5644   1771320      1936      4791    327076     58394    871953   4457769     15.83     16.71  --
3307.07/828.98	c  N dy  5724   1791446      1936      4791    327076     77795    871953   6564571     15.85     16.77  --
3331.01/834.95	c  N dy  5784   1811832      1936      4791    327076     97535    871953   9406654     15.85     17.44  --
3358.14/841.74	c  N dy  5817   1832780      1936      4791    327076     60802    871953   4792028     15.83     16.77  --
3379.29/847.06	c  N dy  5897   1854084      1936      4791    327076     81408    871953   7232967     15.84     16.72  --
3397.24/851.59	c  N dy  5917   1875267      1936      4791    327076    101847    871953   8768347     15.81     16.96  --
3423.58/858.19	c  N dy  5980   1895794      1936      4791    327076     63833    871953   5266778     15.81     16.79  --
3446.72/863.95	c  N dy  6051   1915833      1936      4791    327076     83195    871953   7583749     15.81     17.50  --
3475.05/871.05	c  N dy  6099   1935957      1936      4791    327076    102568    871953   9732887     15.79     16.68  --
3508.56/879.42	c  N dy  6181   1957296      1936      4791    327076     64282    871953   4833834     15.81     16.85  --
3530.91/885.00	c  N dy  6250   1977532      1936      4791    327076     83792    871953   7139779     15.82     16.65  --
3557.25/891.65	c  N dy  6295   1998360      1936      4791    327076    103849    871953   9594276     15.80     16.74  --
3594.34/900.95	c  N dy  6401   2019370      1936      4791    327076     64397    871953   5036110     15.83     16.67  --
3617.88/906.88	c  N dy  6514   2039447      1936      4791    327076     83929    871953   8051761     15.87     22.81  --
3644.61/913.50	c  N dy  6593   2059479      1936      4791    327076    103383    871953  11094192     15.89     20.79  --
3684.11/923.43	c  N dy  6659   2084174      1936      4791    327076     66255    871953   5203106     15.88     16.75  --
3711.25/930.25	c  N dy  6757   2104614      1936      4791    327076     86044    871953   7758036     15.90     16.79  --
3743.95/938.45	c  N dy  6852   2124661      1936      4791    327076    105431    871953  10214790     15.92     21.36  --
3787.44/949.31	c  N dy  6961   2146491      1936      4791    327076     64715    871953   4838545     15.95     16.83  --
3812.62/955.63	c  N dy  7060   2167832      1936      4791    327076     85454    871953   7694075     15.98     16.95  --
3846.88/964.24	c  N dy  7131   2188728      1936      4791    327076    105579    871953  10193414     15.98     16.89  --
3894.35/976.19	c  N dy  7226   2208791      1936      4791    327076    125010    871953  12908081     16.01     27.27  --
3898.34/977.17	c  S st  7229   2210874      1936      4791    327076     64108    871953   4876634     16.00     15.23  --
3899.14/977.32	c  S st  7229   2211375      1936      4791    327076     64606    871953   4952759     16.00   no data  --
3899.14/977.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
3899.14/977.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3907.52/979.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 48.4M T:  8.46
3908.32/979.64	c bin-w-bin subsume rem            0 bins  time:  0.16 s
3914.69/981.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.58 s
3915.09/981.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.14 s
3915.09/981.36	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s
4005.69/1004.01	c lits-rem:       744  cl-subs:     4297  v-elim:      0  v-fix:    0  time: 90.26 s
4005.69/1004.02	c vivif2 --  cl tried     4791 cl shrink        0 lits rem          0 time: 0.02
4006.04/1004.13	c vivif2 --  cl tried    60309 cl shrink        0 lits rem          0 time: 0.45
4007.24/1004.49	c asymm  cl-useful: 0/884/4791 lits-rem:0 time: 1.45
4007.64/1004.50	c calculated reachability. Time: 0.01
4007.64/1004.50	c  N dy  7229   2211375      1936      4791    327076     60309    871953   4883868     16.00   no data  --
4027.99/1009.68	c  N dy  7300   2231398      1936      4791    327076     79617    871953   7053229     16.01     22.46  --
4057.53/1017.02	c  N dy  7385   2251408      1936      4791    327076     99044    871953   9392918     16.02     16.96  --
4089.84/1025.12	c  N dy  7444   2271448      1936      4791    327076    118361    871953  11190315     16.02     17.25  --
4113.37/1031.03	c  N dy  7512   2291505      1936      4791    327076     73952    871953   5680242     16.03     25.48  --
4135.72/1036.62	c  N dy  7586   2311684      1936      4791    327076     93497    871953   7675641     16.03     16.99  --
4163.69/1043.68	c  N dy  7680   2331685      1936      4791    327076    112913    871953  10593864     16.06     30.45  --
4196.37/1051.80	c  N dy  7761   2352604      1936      4791    327076     68347    871953   5556071     16.07     17.13  --
4220.32/1057.89	c  N dy  7839   2372896      1936      4791    327076     88026    871953   7666342     16.08     16.95  --
4247.84/1064.74	c  N dy  7896   2393125      1936      4791    327076    107739    871953  10117182     16.07     16.93  --
4275.37/1071.62	c  N dy  7944   2413356      1936      4791    327076    127281    871953  12311426     16.06     17.01  --
4300.10/1077.84	c  N dy  7980   2434036      1936      4791    327076     81345    871953   7165258     16.05     16.93  --
4327.23/1084.69	c  N dy  8017   2454595      1936      4791    327076    100980    871953   8936318     16.03     16.99  --
4353.17/1091.10	c  N dy  8049   2477006      1936      4791    327076    122677    871953  10971250     16.02     16.91  --
4385.09/1099.14	c  N dy  8162   2497007      1936      4791    327076     75423    871953   6345474     16.05     25.67  --
4415.41/1106.78	c  N dy  8221   2520836      1936      4791    327076     98324    871953   8585510     16.04     16.94  --
4442.95/1113.61	c  N dy  8281   2540888      1936      4791    327076    117770    871953  11474559     16.04     28.18  --
4480.44/1123.02	c  N dy  8341   2561599      1936      4791    327076     70102    871953   5371374     16.04     16.96  --
4500.80/1128.15	c  N dy  8405   2581612      1936      4791    327076     89501    871953   7787928     16.04     18.67  --
4528.73/1135.14	c  N dy  8496   2601871      1936      4791    327076    109152    871953  10568405     16.06     16.94  --
4561.85/1143.46	c  N dy  8572   2623559      1936      4791    327076    130261    871953  13002164     16.06     16.97  --
4593.38/1151.40	c  N dy  8659   2643602      1936      4791    327076     80958    871953   6746554     16.07     32.91  --
4621.69/1158.47	c  N dy  8743   2663706      1936      4791    327076    100378    871953   8844752     16.08     17.00  --
4653.22/1166.37	c  N dy  8798   2684302      1936      4791    327076    120272    871953  11905250     16.08     17.10  --
4695.90/1177.01	c  N dy  8863   2705896      1936      4791    327076     71460    871953   5383561     16.08     16.96  --
4701.08/1178.40	c  S st  8884   2711376      1936      4791    327076     76776    871953   5914631     16.08   no data  --
4701.88/1178.51	c  S st  8884   2711878      1936      4791    327076     77275    871953   5990147     16.08   no data  --
4701.88/1178.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4701.88/1178.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4709.87/1180.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 51.8M T:  8.02
4710.67/1180.75	c bin-w-bin subsume rem            0 bins  time:  0.16 s
4715.45/1181.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.95 s
4715.85/1182.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1936 time:  0.13 s
4715.85/1182.05	c Removed useless bin:       0  fixed:     0  props:   1.64M  time:  0.13 s

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-3369102-1305434236/watcher-3369102-1305434236 -o /tmp/evaluation-result-3369102-1305434236/solver-3369102-1305434236 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369102-1305434236.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: 4.18 6.56 6.99 5/327 1252
/proc/meminfo: memFree=25201024/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 655024054 52465664 353 33554432000 4194304 4650419 140733750297328 18446744073709551615 244447001585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 12809 353 303 112 0 7774 0
[pid=1252/tid=1253] ppid=1250 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 655024055 52465664 353 33554432000 4194304 4650419 140733750297328 18446744073709551615 47749092902838 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 655024055 52465664 353 33554432000 4194304 4650419 140733750297328 18446744073709551615 47749092902834 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 655024055 52465664 353 33554432000 4194304 4650419 140733750297328 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.075548 s]
/proc/loadavg: 4.18 6.56 6.99 5/327 1252
/proc/meminfo: memFree=25201024/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=294284 CPUtime=1 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 13289 0 0 0 96 4 0 0 18 0 4 0 655024054 301346816 13185 33554432000 4194304 4650419 140733750297328 18446744073709551615 244446988471 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 75520 20738 392 112 0 70485 0
[pid=1252/tid=1253] ppid=1250 vsize=302080 CPUtime=0.85 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 5525 0 0 0 84 1 0 0 19 0 4 0 655024055 309329920 20738 33554432000 4194304 4650419 140733750297328 18446744073709551615 4333874 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=302080 CPUtime=0.85 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 5750 0 0 0 83 2 0 0 18 0 4 0 655024055 309329920 20738 33554432000 4194304 4650419 140733750297328 18446744073709551615 4327576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=302080 CPUtime=0.84 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 5125 0 0 0 83 1 0 0 19 0 4 0 655024055 309329920 20738 33554432000 4194304 4650419 140733750297328 18446744073709551615 4364900 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 294284

[startup+0.940976 s]
/proc/loadavg: 4.18 6.56 6.99 5/327 1252
/proc/meminfo: memFree=25201024/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=318168 CPUtime=3.72 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 24789 0 0 0 365 7 0 0 19 0 4 0 655024054 325804032 19719 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 77487 19875 392 112 0 72452 0
[pid=1252/tid=1253] ppid=1250 vsize=309948 CPUtime=0.94 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 6223 0 0 0 93 1 0 0 19 0 4 0 655024055 317386752 19875 33554432000 4194304 4650419 140733750297328 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=309948 CPUtime=0.95 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 6459 0 0 0 93 2 0 0 18 0 4 0 655024055 317386752 19875 33554432000 4194304 4650419 140733750297328 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=309948 CPUtime=0.94 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 5341 0 0 0 93 1 0 0 19 0 4 0 655024055 317386752 19875 33554432000 4194304 4650419 140733750297328 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 318168

[startup+1.03181 s]
/proc/loadavg: 4.18 6.56 6.99 5/327 1252
/proc/meminfo: memFree=25201024/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=309948 CPUtime=4.21 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 25616 0 0 0 414 7 0 0 19 0 4 0 655024054 317386752 20546 33554432000 4194304 4650419 140733750297328 18446744073709551615 4328357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 77487 20546 392 112 0 72452 0
[pid=1252/tid=1253] ppid=1250 vsize=309948 CPUtime=1.04 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 6355 0 0 0 103 1 0 0 19 0 4 0 655024055 317386752 20546 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365084 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=309948 CPUtime=1.05 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 6615 0 0 0 103 2 0 0 18 0 4 0 655024055 317386752 20546 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=309948 CPUtime=1.04 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 5587 0 0 0 103 1 0 0 19 0 4 0 655024055 317386752 20546 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 309948

[startup+1.16325 s]
/proc/loadavg: 4.18 6.56 6.99 5/327 1252
/proc/meminfo: memFree=25201024/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=310080 CPUtime=4.61 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 26296 0 0 0 454 7 0 0 19 0 4 0 655024054 317521920 21226 33554432000 4194304 4650419 140733750297328 18446744073709551615 4334075 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 77520 21226 392 112 0 72485 0
[pid=1252/tid=1253] ppid=1250 vsize=310080 CPUtime=1.14 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 6491 0 0 0 113 1 0 0 19 0 4 0 655024055 317521920 21226 33554432000 4194304 4650419 140733750297328 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=310080 CPUtime=1.15 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 6810 0 0 0 113 2 0 0 19 0 4 0 655024055 317521920 21226 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366068 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=310080 CPUtime=1.14 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 5797 0 0 0 113 1 0 0 19 0 4 0 655024055 317521920 21227 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366127 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 310080

[startup+1.50019 s]
/proc/loadavg: 4.18 6.56 6.99 5/327 1252
/proc/meminfo: memFree=25201024/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=311816 CPUtime=5.97 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 29481 0 0 0 589 8 0 0 19 0 4 0 655024054 319299584 22104 33554432000 4194304 4650419 140733750297328 18446744073709551615 4361023 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 77954 22104 392 112 0 72919 0
[pid=1252/tid=1253] ppid=1250 vsize=311816 CPUtime=1.48 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 7624 0 0 0 147 1 0 0 19 0 4 0 655024055 319299584 22104 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=311816 CPUtime=1.49 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 7280 0 0 0 147 2 0 0 19 0 4 0 655024055 319299584 22104 33554432000 4194304 4650419 140733750297328 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=311816 CPUtime=1.48 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 6369 0 0 0 147 1 0 0 20 0 4 0 655024055 319299584 22106 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 311816

[startup+3.10089 s]
/proc/loadavg: 4.65 6.62 7.01 9/331 1256
/proc/meminfo: memFree=25029744/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=305800 CPUtime=12.34 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 44744 0 0 0 1224 10 0 0 25 0 4 0 655024054 313139200 24719 33554432000 4194304 4650419 140733750297328 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 76450 24719 393 112 0 71415 0
[pid=1252/tid=1253] ppid=1250 vsize=305800 CPUtime=3.09 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 11059 0 0 0 307 2 0 0 25 0 4 0 655024055 313139200 24719 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=305800 CPUtime=3.08 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 10442 0 0 0 306 2 0 0 23 0 4 0 655024055 313139200 24719 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=305800 CPUtime=3.05 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 11085 0 0 0 304 1 0 0 25 0 4 0 655024055 313139200 24719 33554432000 4194304 4650419 140733750297328 18446744073709551615 4363734 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 305800

[startup+6.31229 s]
/proc/loadavg: 4.91 6.64 7.01 9/331 1256
/proc/meminfo: memFree=24917780/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=390620 CPUtime=25.16 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 74095 0 0 0 2500 16 0 0 25 0 4 0 655024054 399994880 50083 33554432000 4194304 4650419 140733750297328 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 97655 50083 394 112 0 92620 0
[pid=1252/tid=1253] ppid=1250 vsize=390620 CPUtime=6.29 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 15745 0 0 0 627 2 0 0 25 0 4 0 655024055 399994880 50083 33554432000 4194304 4650419 140733750297328 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=390620 CPUtime=6.3 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 20118 0 0 0 626 4 0 0 25 0 4 0 655024055 399994880 50083 33554432000 4194304 4650419 140733750297328 18446744073709551615 4436145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=390620 CPUtime=6.23 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 17300 0 0 0 621 2 0 0 25 0 4 0 655024055 399994880 50083 33554432000 4194304 4650419 140733750297328 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 390620

[startup+12.7011 s]
/proc/loadavg: 5.16 6.66 7.02 9/331 1256
/proc/meminfo: memFree=24834368/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=445480 CPUtime=50.65 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 97959 0 0 0 5046 19 0 0 25 0 4 0 655024054 456171520 62160 33554432000 4194304 4650419 140733750297328 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 111370 62160 394 112 0 106335 0
[pid=1252/tid=1253] ppid=1250 vsize=445480 CPUtime=12.69 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 23427 0 0 0 1265 4 0 0 25 0 4 0 655024055 456171520 62160 33554432000 4194304 4650419 140733750297328 18446744073709551615 4345582 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=445480 CPUtime=12.68 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 26165 0 0 0 1263 5 0 0 25 0 4 0 655024055 456171520 62160 33554432000 4194304 4650419 140733750297328 18446744073709551615 4363307 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=445480 CPUtime=12.57 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 22599 0 0 0 1254 3 0 0 25 0 4 0 655024055 456171520 62160 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 445480

[startup+25.5007 s]
/proc/loadavg: 5.68 6.72 7.03 9/331 1257
/proc/meminfo: memFree=24642964/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=611928 CPUtime=101.72 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 151501 0 0 0 10141 31 0 0 25 0 4 0 655024054 626614272 97582 33554432000 4194304 4650419 140733750297328 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 152982 97582 394 112 0 147947 0
[pid=1252/tid=1253] ppid=1250 vsize=611928 CPUtime=25.49 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 34884 0 0 0 2543 6 0 0 25 0 4 0 655024055 626614272 97582 33554432000 4194304 4650419 140733750297328 18446744073709551615 4363754 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=611928 CPUtime=25.48 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 32989 0 0 0 2542 6 0 0 25 0 4 0 655024055 626614272 97582 33554432000 4194304 4650419 140733750297328 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=611928 CPUtime=25.23 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 44811 0 0 0 2516 7 0 0 25 0 4 0 655024055 626614272 97582 33554432000 4194304 4650419 140733750297328 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 611928

[startup+51.1009 s]
/proc/loadavg: 6.47 6.82 7.06 9/331 1257
/proc/meminfo: memFree=24455428/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=677344 CPUtime=203.85 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 241344 0 0 0 20336 49 0 0 25 0 4 0 655024054 693600256 124064 33554432000 4194304 4650419 140733750297328 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 169336 124064 394 112 0 164301 0
[pid=1252/tid=1253] ppid=1250 vsize=677344 CPUtime=51.08 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 48356 0 0 0 5100 8 0 0 25 0 4 0 655024055 693600256 124064 33554432000 4194304 4650419 140733750297328 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=677344 CPUtime=51.08 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 53532 0 0 0 5099 9 0 0 25 0 4 0 655024055 693600256 124064 33554432000 4194304 4650419 140733750297328 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=677344 CPUtime=50.57 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 75817 0 0 0 5042 15 0 0 25 0 4 0 655024055 693600256 124064 33554432000 4194304 4650419 140733750297328 18446744073709551615 4333991 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 677344

[startup+102.3 s]
/proc/loadavg: 7.59 7.07 7.12 10/331 1259
/proc/meminfo: memFree=24279440/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=844976 CPUtime=408.11 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 366271 0 0 0 40726 85 0 0 25 0 4 0 655024054 865255424 150921 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1252/statm: 211244 150921 394 112 0 206209 0
[pid=1252/tid=1253] ppid=1250 vsize=844976 CPUtime=102.29 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 64628 0 0 0 10216 13 0 0 25 0 4 0 655024055 865255424 150921 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=844976 CPUtime=102.28 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 75154 0 0 0 10212 16 0 0 25 0 4 0 655024055 865255424 150921 33554432000 4194304 4650419 140733750297328 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=844976 CPUtime=101.23 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 120417 0 0 0 10092 31 0 0 25 0 4 0 655024055 865255424 150921 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 844976

[startup+162.3 s]

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

[pid=1252] ppid=1250 vsize=1692800 CPUtime=2801.97 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 1914905 0 0 0 279689 508 0 0 25 0 4 0 655024054 1733427200 332930 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1252/statm: 423200 332930 394 112 0 418165 0
[pid=1252/tid=1253] ppid=1250 vsize=1692800 CPUtime=702.29 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 359961 0 0 0 70111 118 0 0 25 0 4 0 655024055 1733427200 332930 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1692800 CPUtime=702.28 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 562401 0 0 0 70090 138 0 0 25 0 4 0 655024055 1733427200 332930 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1692800 CPUtime=698.08 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 487413 0 0 0 69675 133 0 0 25 0 4 0 655024055 1733427200 332930 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.97
Current children cumulated vsize (KiB) 1692800

[startup+762.3 s]
/proc/loadavg: 4.08 4.73 5.95 5/322 1293
/proc/meminfo: memFree=23938628/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=1556404 CPUtime=3041.35 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 2210507 0 0 0 303564 571 0 0 25 0 4 0 655024054 1593757696 320274 33554432000 4194304 4650419 140733750297328 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1252/statm: 389101 320274 394 112 0 384066 0
[pid=1252/tid=1253] ppid=1250 vsize=1556404 CPUtime=762.29 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 368218 0 0 0 76109 120 0 0 25 0 4 0 655024055 1593757696 320274 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1556404 CPUtime=762.28 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 766320 0 0 0 76054 174 0 0 25 0 4 0 655024055 1593757696 320274 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1556404 CPUtime=758.08 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 545757 0 0 0 75660 148 0 0 25 0 4 0 655024055 1593757696 320274 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3041.35
Current children cumulated vsize (KiB) 1556404

[startup+822.3 s]
/proc/loadavg: 4.03 4.59 5.82 5/322 1295
/proc/meminfo: memFree=23966368/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=1558092 CPUtime=3280.75 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 2341063 0 0 0 327470 605 0 0 25 0 4 0 655024054 1595486208 314509 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1252/statm: 389523 314509 394 112 0 384488 0
[pid=1252/tid=1253] ppid=1250 vsize=1558092 CPUtime=822.29 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 397689 0 0 0 82100 129 0 0 25 0 4 0 655024055 1595486208 314509 33554432000 4194304 4650419 140733750297328 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1558092 CPUtime=821.93 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 806322 0 0 0 82009 184 0 0 25 0 4 0 655024055 1595486208 314509 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1558092 CPUtime=818.08 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 575549 0 0 0 81652 156 0 0 25 0 4 0 655024055 1595486208 314509 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3280.75
Current children cumulated vsize (KiB) 1558092

[startup+882.301 s]
/proc/loadavg: 4.07 4.50 5.71 5/322 1296
/proc/meminfo: memFree=23916480/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=1583484 CPUtime=3520.14 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 2466584 0 0 0 351370 644 0 0 25 0 4 0 655024054 1621487616 325690 33554432000 4194304 4650419 140733750297328 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1252/statm: 395871 325690 394 112 0 390836 0
[pid=1252/tid=1253] ppid=1250 vsize=1583484 CPUtime=882.28 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 427359 0 0 0 88090 138 0 0 25 0 4 0 655024055 1621487616 325690 33554432000 4194304 4650419 140733750297328 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1583484 CPUtime=881.32 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 845115 0 0 0 87938 194 0 0 25 0 4 0 655024055 1621487616 325690 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1583484 CPUtime=878.07 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 599012 0 0 0 87642 165 0 0 25 0 4 0 655024055 1621487616 325690 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3520.14
Current children cumulated vsize (KiB) 1583484

[startup+942.301 s]
/proc/loadavg: 4.02 4.40 5.60 5/322 1298
/proc/meminfo: memFree=23847768/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=1688520 CPUtime=3759.53 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 2699638 0 0 0 375255 698 0 0 25 0 4 0 655024054 1729044480 342248 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1252/statm: 422130 342248 394 112 0 417095 0
[pid=1252/tid=1253] ppid=1250 vsize=1688520 CPUtime=942.29 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 454531 0 0 0 94083 146 0 0 25 0 4 0 655024055 1729044480 342250 33554432000 4194304 4650419 140733750297328 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1688520 CPUtime=940.71 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 1017482 0 0 0 93843 228 0 0 25 0 4 0 655024055 1729044480 342250 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1688520 CPUtime=938.09 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 600457 0 0 0 93643 166 0 0 25 0 4 0 655024055 1729044480 342250 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3759.53
Current children cumulated vsize (KiB) 1688520

[startup+1002.3 s]
/proc/loadavg: 4.06 4.34 5.50 5/322 1300
/proc/meminfo: memFree=23924392/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=1626620 CPUtime=3998.87 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 2754590 0 0 0 399165 722 0 0 25 0 4 0 655024054 1665658880 323769 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1252/statm: 406655 323769 394 112 0 401620 0
[pid=1252/tid=1253] ppid=1250 vsize=1626620 CPUtime=1002.28 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 471376 0 0 0 100075 153 0 0 25 0 4 0 655024055 1665658880 323769 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1626620 CPUtime=1000.06 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 1043032 0 0 0 99767 239 0 0 25 0 4 0 655024055 1665658880 323769 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1626620 CPUtime=998.08 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 600457 0 0 0 99642 166 0 0 25 0 4 0 655024055 1665658880 323769 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3998.87
Current children cumulated vsize (KiB) 1626620

[startup+1062.31 s]
/proc/loadavg: 4.07 4.29 5.41 5/322 1301
/proc/meminfo: memFree=23808300/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=1857128 CPUtime=4238.3 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 2852092 0 0 0 423072 758 0 0 25 0 4 0 655024054 1901699072 352427 33554432000 4194304 4650419 140733750297328 18446744073709551615 4366073 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1252/statm: 464282 352427 394 112 0 459247 0
[pid=1252/tid=1253] ppid=1250 vsize=1857128 CPUtime=1062.3 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 502959 0 0 0 106064 166 0 0 25 0 4 0 655024055 1901699072 352427 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1857128 CPUtime=1059.46 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 1078347 0 0 0 105697 249 0 0 25 0 4 0 655024055 1901699072 352427 33554432000 4194304 4650419 140733750297328 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1857128 CPUtime=1058.09 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 600607 0 0 0 105643 166 0 0 25 0 4 0 655024055 1901699072 352427 33554432000 4194304 4650419 140733750297328 18446744073709551615 4332006 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4238.3
Current children cumulated vsize (KiB) 1857128

[startup+1122.3 s]
/proc/loadavg: 4.07 4.25 5.33 5/322 1303
/proc/meminfo: memFree=23750864/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=1892936 CPUtime=4477.66 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 2958262 0 0 0 446969 797 0 0 25 0 4 0 655024054 1938366464 367024 33554432000 4194304 4650419 140733750297328 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1252/statm: 473234 367024 394 112 0 468199 0
[pid=1252/tid=1253] ppid=1250 vsize=1892936 CPUtime=1122.29 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 541415 0 0 0 112050 179 0 0 25 0 4 0 655024055 1938366464 367024 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1892936 CPUtime=1118.85 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 1093504 0 0 0 111634 251 0 0 25 0 4 0 655024055 1938366464 367024 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1892936 CPUtime=1118.08 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 631215 0 0 0 111629 179 0 0 25 0 4 0 655024055 1938366464 367024 33554432000 4194304 4650419 140733750297328 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4477.66
Current children cumulated vsize (KiB) 1892936

[startup+1182.3 s]
/proc/loadavg: 4.06 4.22 5.25 5/322 1304
/proc/meminfo: memFree=23837764/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=1632712 CPUtime=4717.04 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 3129254 0 0 0 470862 842 0 0 25 0 4 0 655024054 1671897088 344864 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1252/statm: 408178 344864 394 112 0 403143 0
[pid=1252/tid=1253] ppid=1250 vsize=1632712 CPUtime=1182.29 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 554885 0 0 0 118045 184 0 0 25 0 4 0 655024055 1671897088 344864 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1632712 CPUtime=1178.23 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 1186134 0 0 0 117556 267 0 0 25 0 4 0 655024055 1671897088 344864 33554432000 4194304 4650419 140733750297328 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1632712 CPUtime=1178.08 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 669637 0 0 0 117614 194 0 0 25 0 4 0 655024055 1671897088 344864 33554432000 4194304 4650419 140733750297328 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4717.04
Current children cumulated vsize (KiB) 1632712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.11 s]
/proc/loadavg: 4.04 4.20 5.22 5/322 1305
/proc/meminfo: memFree=23833664/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=1698476 CPUtime=4800.07 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 3151644 0 0 0 479154 853 0 0 25 0 4 0 655024054 1739239424 345771 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1252/statm: 424619 345771 394 112 0 419584 0
[pid=1252/tid=1253] ppid=1250 vsize=1698476 CPUtime=1203.11 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 554885 0 0 0 120127 184 0 0 25 0 4 0 655024055 1739239424 345775 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1698476 CPUtime=1198.82 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 1194234 0 0 0 119609 273 0 0 25 0 4 0 655024055 1739239424 345775 33554432000 4194304 4650419 140733750297328 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1698476 CPUtime=1198.9 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 682323 0 0 0 119691 199 0 0 25 0 4 0 655024055 1739239424 345775 33554432000 4194304 4650419 140733750297328 18446744073709551615 4520325 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1698476

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

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

[startup+1203.11 s]
/proc/loadavg: 4.04 4.20 5.22 5/322 1305
/proc/meminfo: memFree=23833664/32951124 swapFree=44485764/67111528
[pid=1252] ppid=1250 vsize=1698476 CPUtime=4800.07 cores=1,3,5,7
/proc/1252/stat : 1252 (strangenight1-m) R 1250 1252 390 0 -1 4202496 3151644 0 0 0 479154 853 0 0 25 0 4 0 655024054 1739239424 345771 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1252/statm: 424619 345771 394 112 0 419584 0
[pid=1252/tid=1253] ppid=1250 vsize=1698476 CPUtime=1203.11 cores=1,3,5,7
/proc/1252/task/1253/stat : 1253 (strangenight1-m) R 1250 1252 390 0 -1 4202560 554885 0 0 0 120127 184 0 0 25 0 4 0 655024055 1739239424 345775 33554432000 4194304 4650419 140733750297328 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1252/tid=1254] ppid=1250 vsize=1698476 CPUtime=1198.82 cores=1,3,5,7
/proc/1252/task/1254/stat : 1254 (strangenight1-m) R 1250 1252 390 0 -1 4202560 1194234 0 0 0 119609 273 0 0 25 0 4 0 655024055 1739239424 345775 33554432000 4194304 4650419 140733750297328 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1252/tid=1255] ppid=1250 vsize=1698476 CPUtime=1198.9 cores=1,3,5,7
/proc/1252/task/1255/stat : 1255 (strangenight1-m) R 1250 1252 390 0 -1 4202560 682323 0 0 0 119691 199 0 0 25 0 4 0 655024055 1739239424 345775 33554432000 4194304 4650419 140733750297328 18446744073709551615 4520325 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1698476

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.18
CPU time (s): 4800.18
CPU user time (s): 4791.59
CPU system time (s): 8.59069
CPU usage (%): 398.956
Max. virtual memory (cumulated for all children) (KiB): 1929860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.59
system time used= 8.59069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3151650
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= 4431
involuntary context switches= 20221

runsolver used 3.53246 second user time and 8.84266 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-15 06:37:16
IDJOB=3369102
IDBENCH=88221
IDSOLVER=1846
FILE ID=node105/3369102-1305434236
RUNJOBID= node105-1305434236-1230
PBS_JOBID= 13324613
Free space on /tmp= 73612 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369102-1305434236/watcher-3369102-1305434236 -o /tmp/evaluation-result-3369102-1305434236/solver-3369102-1305434236 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369102-1305434236.cnf

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

MD5SUM BENCH= 683c9f75b69575e6451b8563d12f176b
RANDOM SEED=2016431828

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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	: 5410.70
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.825
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.74
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.825
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.82
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.825
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:      25201304 kB
Buffers:        288052 kB
Cached:        5980964 kB
SwapCached:      39656 kB
Active:         786264 kB
Inactive:      6702796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25201304 kB
SwapTotal:    67111528 kB
SwapFree:     44485764 kB
Dirty:           17176 kB
Writeback:           0 kB
AnonPages:     1188020 kB
Mapped:          10352 kB
Slab:           129252 kB
PageTables:      65884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65406004 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= 73612 MiB
End job on node105 at 2011-05-15 06:57:21