Trace number 3368885

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.1 1203.54

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf
MD5SUMacdd1627e1c0387cb30884180f862a47
Bench CategoryRANDOM (random 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 variables70
Number of clauses6230
Sum of the clauses size43610
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 56230

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-3368885-1305405402.cnf'
0.00/0.01	c -- header says num vars:             70
0.00/0.01	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.43/0.15	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.43/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.43/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.43/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.43/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.43/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.43/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.43/0.85	c Finding binary XORs  T:     0.00 s  found:       0
0.43/0.85	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.43/0.85	c calculated reachability. Time: 0.00
0.43/0.85	c Calc default polars -  time:   0.00 s pos:      35 undec:       4 neg:      31
0.43/0.85	c =========================================================================================
0.43/0.85	c types(t): F = full restart, N = normal restart
0.43/0.85	c types(t): S = simplification begin/end, E = solution found
0.43/0.85	c restart types(rt): st = static, dy = dynamic
0.43/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.43/0.85	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.43/0.85	c  N dy     7      5007        70      6230         0      2263     43610     48780     21.24     22.36  --
0.43/0.85	c  N dy    17      9032        70      6230         0      5884     43610    135092     20.68     22.91  --
0.43/0.85	c  N dy    30     13098        70      6230         0      5738     43610    122496     20.76     23.36  --
4.03/1.02	c  N dy    41     17615        70      6230         0      9834     43610    221780     20.70     21.83  --
4.77/1.22	c  F st    55     25000        70      6230         0     11372     43610    244115     20.62     18.10  --
4.77/1.22	c  N st    55     25000        70      6230         0     11372     43610    244115     20.62     18.10  --
5.57/1.42	c  N dy    61     30000        70      6230         0      9804     43610    196987     20.62   no data  --
5.57/1.42	c  S st    61     30000        70      6230         0      9804     43610    196987     20.62   no data  --
5.57/1.42	c  S st    61     30504        70      6230         0     10267     43610    208456     20.62   no data  --
5.57/1.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.57/1.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.57/1.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.44	c lits-rem:      1544  cl-subs:      889  v-elim:      0  v-fix:    0  time:  4.12 s
10.77/2.76	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.28
10.77/2.76	c calculated reachability. Time: 0.00
10.77/2.76	c  N dy    61     30504        70      6230         0      9378     43610    184871     20.62   no data  --
12.00/3.10	c  N dy    67     37188        70      6230         0      8320     43610    147776     20.43     21.51  --
13.15/3.30	c  N dy    86     41227        70      6230         0     11987     43610    236151     20.51     21.62  --
13.95/3.59	c  N dy   105     45757        70      6230         0     16108     43610    335256     20.58     19.64  --
13.95/3.59	c  S st   105     45757        70      6230         0     16108     43610    335256     20.58     19.64  --
14.35/3.64	c  S st   105     46258        70      6230         0      8458     43610    138286     20.58   no data  --
14.35/3.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.35/3.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.35/3.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
14.35/3.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.35/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.35/3.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
14.35/3.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.54/4.42	c lits-rem:       125  cl-subs:       39  v-elim:      0  v-fix:    0  time:  3.09 s
17.54/4.42	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.54/4.42	c vivif2 --  cl tried     8419 cl shrink        0 lits rem          0 time: 0.00
18.34/4.67	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.00
18.34/4.67	c calculated reachability. Time: 0.00
18.34/4.67	c  N dy   105     46258        70      6230         0      8419     43610    137033     20.58   no data  --
22.32/5.62	c  N dy   116     63354        70      6230         0     14776     43610    271195     20.06     21.25  --
23.52/5.92	c  N dy   141     67405        70      6230         0     18432     43610    359871     20.15     21.23  --
24.32/6.10	c  S st   161     69387        70      6230         0     10332     43610    161239     20.22   no data  --
24.32/6.14	c  S st   161     69890        70      6230         0     10797     43610    172650     20.22   no data  --
24.32/6.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.32/6.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.32/6.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
24.32/6.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.32/6.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.32/6.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
24.32/6.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.91/7.07	c lits-rem:       301  cl-subs:      129  v-elim:      0  v-fix:    0  time:  3.69 s
27.91/7.07	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.91/7.07	c vivif2 --  cl tried    10668 cl shrink        0 lits rem          0 time: 0.00
29.12/7.38	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.21
29.12/7.38	c calculated reachability. Time: 0.00
29.12/7.38	c  N dy   161     69890        70      6230         0     10668     43610    168697     20.22   no data  --
30.30/7.63	c  N dy   171     74638        70      6230         0     14985     43610    272187     20.21     21.34  --
31.91/8.04	c  N dy   201     80184        70      6230         0     20042     43610    393739     20.27     21.37  --
33.93/8.55	c  F st   232     87500        70      6230         0     15806     43610    280787     20.35     19.28  --
33.93/8.55	c  N st   232     87500        70      6230         0     15806     43610    280787     20.35     19.28  --
35.49/8.93	c  N dy   242     93346        70      6230         0     21100     43610    411249     20.36     21.44  --
38.32/9.69	c  N dy   258    104406        70      6230         0     19254     43610    346016     20.29     21.38  --
38.73/9.72	c  S st   263    104837        70      6230         0     19648     43610    355665     20.30   no data  --
38.73/9.78	c  S st   263    105339        70      6230         0     20116     43610    367221     20.30   no data  --
38.73/9.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.73/9.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.73/9.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
39.08/9.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.08/9.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.08/9.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
39.08/9.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.46/11.46	c lits-rem:      1811  cl-subs:     2158  v-elim:      0  v-fix:    0  time:  6.60 s
45.46/11.46	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
45.46/11.46	c vivif2 --  cl tried    17958 cl shrink        0 lits rem          0 time: 0.01
47.09/11.85	c asymm  cl-useful: 0/4833/6230 lits-rem:0 time: 1.55
47.09/11.85	c calculated reachability. Time: 0.00
47.09/11.85	c  N dy   263    105339        70      6230         0     17958     43610    316196     20.30   no data  --
52.25/13.19	c  N dy   289    124032        70      6230         0     22179     43610    403848     20.16     21.33  --
55.04/13.88	c  N dy   353    131981        70      6230         0     16004     43610    250238     20.27     21.34  --
57.83/14.50	c  N dy   368    140501        70      6230         0     23618     43610    430821     20.26     22.29  --
60.66/15.29	c  N dy   402    149596        70      6230         0     17484     43610    271792     20.30     21.50  --
63.81/16.02	c  S st   468    158008        70      6230         0     25161     43610    459532     20.39   no data  --
63.81/16.09	c  S st   468    158513        70      6230         0     25629     43610    470817     20.39   no data  --
63.81/16.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
63.81/16.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
64.21/16.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
64.21/16.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
64.21/16.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
64.21/16.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
64.21/16.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.43/18.45	c lits-rem:      2370  cl-subs:     2074  v-elim:      0  v-fix:    0  time:  9.29 s
73.43/18.45	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
73.43/18.46	c vivif2 --  cl tried    23555 cl shrink        0 lits rem          0 time: 0.02
74.18/18.64	c asymm  cl-useful: 0/1397/6230 lits-rem:0 time: 0.73
74.18/18.64	c calculated reachability. Time: 0.00
74.18/18.64	c  N dy   468    158513        70      6230         0     23555     43610    414402     20.39   no data  --
77.81/19.53	c  N dy   486    168664        70      6230         0     17438     43610    255932     20.36     23.47  --
81.36/20.45	c  N dy   504    181033        70      6230         0     28570     43610    519835     20.29     21.39  --
85.36/21.49	c  N dy   553    192669        70      6230         0     22930     43610    378462     20.32     22.69  --
91.38/22.95	c  N dy   630    204988        70      6230         0     34140     43610    650461     20.39     24.08  --
96.12/24.17	c  N dy   682    218339        70      6230         0     29051     43610    513235     20.40     21.55  --
102.11/25.65	c  N dy   726    232356        70      6230         0     23567     43610    362480     20.40     21.59  --
104.55/26.21	c  S st   745    237769        70      6230         0     28473     43610    479455     20.40     21.49  --
104.55/26.29	c  S st   745    238274        70      6230         0     28931     43610    490878     20.40   no data  --
104.55/26.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
104.55/26.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
104.89/26.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
104.89/26.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
104.89/26.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
104.89/26.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
104.89/26.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
114.87/28.82	c lits-rem:      1602  cl-subs:     2647  v-elim:      0  v-fix:    0  time:  9.98 s
114.87/28.82	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
114.87/28.82	c vivif2 --  cl tried    26284 cl shrink        0 lits rem          0 time: 0.02
116.47/29.21	c asymm  cl-useful: 0/3742/6230 lits-rem:0 time: 1.54
116.47/29.21	c calculated reachability. Time: 0.00
116.47/29.21	c  N dy   745    238274        70      6230         0     26284     43610    426939     20.40   no data  --
123.24/30.91	c  N dy   795    255977        70      6230         0     23456     43610    348999     20.41     21.71  --
130.03/32.62	c  N dy   843    272400        70      6230         0     38301     43610    703282     20.40     22.02  --
136.41/34.26	c  N dy   884    289921        70      6230         0     34266     43610    591610     20.37     21.50  --
144.03/36.16	c  F st   972    306250        70      6230         0     28334     43610    444178     20.43     20.38  --
145.18/36.47	c  N st   977    309547        70      6230         0     31331     43610    518010     20.43   no data  --
155.16/38.92	c  N dy  1074    329391        70      6230         0     27590     43610    413516     20.47     21.56  --
167.53/42.05	c  N dy  1190    355007        70      6230         0     28105     43610    409034     20.51     21.87  --
168.32/42.29	c  S st  1200    357411        70      6230         0     30289     43610    461919     20.51   no data  --
168.72/42.37	c  S st  1200    357913        70      6230         0     30750     43610    473553     20.51   no data  --
168.72/42.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
168.72/42.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
168.72/42.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
168.72/42.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
168.72/42.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
168.72/42.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
168.72/42.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
178.72/44.82	c lits-rem:      1401  cl-subs:     2009  v-elim:      0  v-fix:    0  time:  9.67 s
178.72/44.82	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
178.72/44.83	c vivif2 --  cl tried    28741 cl shrink        0 lits rem          0 time: 0.02
180.69/45.36	c asymm  cl-useful: 0/2488/6230 lits-rem:0 time: 2.12
180.69/45.36	c calculated reachability. Time: 0.00
180.69/45.36	c  N dy  1200    357913        70      6230         0     28741     43610    425639     20.51   no data  --
193.05/48.48	c  N dy  1287    377941        70      6230         0     46907     43610    867248     20.53     21.67  --
203.02/50.91	c  N dy  1337    398187        70      6230         0     41765     43610    724595     20.52     21.69  --
213.83/53.70	c  N dy  1447    419033        70      6230         0     36336     43610    584190     20.56     21.67  --
225.37/56.56	c  N dy  1511    439778        70      6230         0     29785     43610    408588     20.57     21.65  --
236.18/59.22	c  N dy  1546    462114        70      6230         0     49965     43610    891641     20.53     21.66  --
246.11/61.78	c  N dy  1572    482924        70      6230         0     42466     43610    699273     20.51     21.73  --
265.65/66.64	c  N dy  1669    517680        70      6230         0     46764     43610    787974     20.49     21.70  --
276.02/69.22	c  S st  1719    536870        70      6230         0     36085     43610    526628     20.47   no data  --
276.42/69.31	c  S st  1719    537370        70      6230         0     36552     43610    538113     20.47   no data  --
276.42/69.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
276.42/69.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
276.42/69.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
276.42/69.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
276.42/69.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
276.42/69.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
276.42/69.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
287.20/72.06	c lits-rem:      1100  cl-subs:     1787  v-elim:      0  v-fix:    0  time: 10.83 s
287.20/72.06	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
287.20/72.07	c vivif2 --  cl tried    34765 cl shrink        0 lits rem          0 time: 0.02
288.00/72.26	c asymm  cl-useful: 0/1531/6230 lits-rem:0 time: 0.79
288.00/72.26	c calculated reachability. Time: 0.00
288.00/72.26	c  N dy  1719    537370        70      6230         0     34765     43610    492227     20.47   no data  --
300.36/75.39	c  N dy  1793    558356        70      6230         0     53719     43610    949680     20.48     21.56  --
311.52/78.17	c  N dy  1821    579691        70      6230         0     44101     43610    697200     20.45     21.64  --
325.90/81.71	c  N dy  1918    600442        70      6230         0     33111     43610    431516     20.47     21.55  --
337.11/84.59	c  N dy  1997    620915        70      6230         0     51720     43610    884520     20.48     21.62  --
350.62/87.99	c  N dy  2091    641067        70      6230         0     39225     43610    563977     20.50     21.64  --
368.17/92.36	c  N dy  2176    665667        70      6230         0     61446     43610   1100906     20.52     21.65  --
380.57/95.42	c  N dy  2277    685680        70      6230         0     47888     43610    759206     20.53     21.89  --
397.30/99.67	c  N dy  2372    705764        70      6230         0     33489     43610    395655     20.55     22.50  --
410.45/102.96	c  N dy  2457    726078        70      6230         0     51779     43610    837169     20.56     21.82  --
427.21/107.18	c  N dy  2566    747480        70      6230         0     37679     43610    484382     20.58     21.70  --
440.37/110.42	c  N dy  2642    767703        70      6230         0     55921     43610    925795     20.59     21.69  --
453.54/113.76	c  N dy  2667    787713        70      6230         0     39575     43610    512709     20.56     22.95  --
466.70/117.00	c  S st  2770    806055        70      6230         0     56196     43610    918504     20.59   no data  --
467.10/117.14	c  S st  2770    806556        70      6230         0     56655     43610    930290     20.59   no data  --
467.10/117.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
467.10/117.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
467.10/117.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
467.10/117.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.10/117.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.10/117.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
467.10/117.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
508.57/127.54	c lits-rem:      2401  cl-subs:     4975  v-elim:      0  v-fix:    0  time: 41.22 s
508.57/127.54	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
508.57/127.55	c vivif2 --  cl tried    51680 cl shrink        0 lits rem          0 time: 0.04
509.77/127.82	c asymm  cl-useful: 0/919/6230 lits-rem:0 time: 1.09
509.77/127.82	c calculated reachability. Time: 0.00
509.77/127.82	c  N dy  2770    806556        70      6230         0     51680     43610    806235     20.59   no data  --
531.31/133.21	c  N dy  2883    832974        70      6230         0     40622     43610    525595     20.60     21.73  --
547.71/137.31	c  N dy  2953    857676        70      6230         0     62911     43610   1058488     20.58     21.68  --
564.03/141.41	c  N dy  3050    878332        70      6230         0     45530     43610    634360     20.60     21.78  --
587.21/147.22	c  N dy  3103    910883        70      6230         0     37874     43610    436913     20.58     21.69  --
600.37/150.53	c  N dy  3184    930914        70      6230         0     55980     43610    878428     20.59     21.77  --
619.48/155.38	c  N dy  3276    951648        70      6230         0     74784     43610   1336355     20.60     21.73  --
634.24/159.06	c  N dy  3372    972867        70      6230         0     56192     43610    870566     20.62     21.84  --
650.99/163.20	c  N dy  3402    993988        70      6230         0     75155     43610   1325227     20.60     21.94  --
666.94/167.25	c  N dy  3487   1015500        70      6230         0     55805     43610    845517     20.61     21.81  --
683.74/171.49	c  N dy  3551   1035519        70      6230         0     73860     43610   1280181     20.61     21.89  --
708.02/177.53	c  N dy  3654   1065685        70      6230         0     61264     43610    959274     20.61     21.73  --
714.04/179.03	c  F st  3692   1071875        70      6230         0     66866     43610   1097626     20.62   no data  --
727.96/182.59	c  N dy  3738   1085768        70      6230         0     79403     43610   1404846     20.63     21.80  --
744.32/186.65	c  N dy  3831   1106378        70      6230         0     57416     43610    858562     20.64     21.95  --
760.67/190.76	c  N dy  3865   1126399        70      6230         0     75429     43610   1293141     20.63     23.19  --
780.61/195.70	c  N dy  3895   1150244        70      6230         0     55295     43610    784865     20.61     21.71  --
802.95/201.35	c  N dy  3997   1170329        70      6230         0     73415     43610   1228626     20.62     21.98  --
841.28/210.98	c  N dy  4016   1209834        70      6230         0     66292     43610   1014170     20.54     17.30  --
841.28/210.98	c  S st  4016   1209834        70      6230         0     66292     43610   1014170     20.54     17.30  --
842.43/211.25	c  S st  4016   1210337        70      6230         0     66765     43610   1026108     20.54   no data  --
842.43/211.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
842.43/211.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
842.83/211.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
842.83/211.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
842.83/211.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
842.83/211.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
842.83/211.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
921.80/231.15	c lits-rem:      1734  cl-subs:     7453  v-elim:      0  v-fix:    0  time: 78.96 s
921.80/231.15	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
921.80/231.16	c vivif2 --  cl tried    59312 cl shrink        0 lits rem          0 time: 0.05
923.40/231.52	c asymm  cl-useful: 0/834/6230 lits-rem:0 time: 1.44
923.40/231.52	c calculated reachability. Time: 0.00
923.40/231.52	c  N dy  4016   1210337        70      6230         0     59312     43610    872244     20.54   no data  --
945.73/237.14	c  N dy  4084   1232217        70      6230         0     79058     43610   1350333     20.55     21.71  --
969.66/243.12	c  N dy  4165   1261742        70      6230         0     62967     43610    954615     20.54     21.71  --
992.79/248.94	c  N dy  4260   1281829        70      6230         0     81148     43610   1398168     20.55     22.84  --
1014.33/254.33	c  N dy  4331   1303337        70      6230         0     56713     43610    790915     20.55     21.77  --
1035.87/259.70	c  N dy  4414   1323363        70      6230         0     74882     43610   1231774     20.56     21.82  --
1064.20/266.89	c  N dy  4503   1345503        70      6230         0     49792     43610    604124     20.56     21.68  --
1080.14/270.85	c  N dy  4516   1366350        70      6230         0     68523     43610   1047775     20.55     21.63  --
1102.48/276.49	c  N dy  4600   1386396        70      6230         0     86596     43610   1486431     20.55     22.65  --
1119.24/280.60	c  N dy  4638   1406474        70      6230         0     58843     43610    811343     20.54     21.77  --
1146.76/287.52	c  N dy  4738   1434824        70      6230         0     84414     43610   1429103     20.54     21.70  --
1164.31/291.99	c  N dy  4777   1454919        70      6230         0     55640     43610    721267     20.53     22.84  --
1182.65/296.50	c  N dy  4868   1475202        70      6230         0     73894     43610   1166245     20.54     21.77  --
1203.39/301.78	c  N dy  4913   1495365        70      6230         0     91909     43610   1596803     20.54     21.66  --
1220.54/306.07	c  N dy  4931   1517503        70      6230         0     64081     43610    903805     20.52     21.61  --
1259.23/315.72	c  N dy  4960   1563156        70      6230         0     56475     43610    712273     20.46     21.54  --
1280.76/321.18	c  N dy  5055   1585898        70      6230         0     77003     43610   1207067     20.47     21.64  --
1307.88/327.90	c  N dy  5160   1606487        70      6230         0     95587     43610   1660669     20.48     21.68  --
1336.21/335.06	c  N dy  5275   1637600        70      6230         0     74092     43610   1132294     20.48     21.60  --
1361.73/341.40	c  N dy  5292   1666307        70      6230         0     99531     43610   1718763     20.45     21.58  --
1381.32/346.32	c  N dy  5415   1686372        70      6230         0     67440     43610    969685     20.46     22.49  --
1407.64/352.93	c  N dy  5503   1706458        70      6230         0     85514     43610   1408504     20.47     21.61  --
1413.98/354.54	c  S st  5528   1710338        70      6230         0     89053     43610   1495006     20.47   no data  --
1415.18/354.89	c  S st  5528   1710843        70      6230         0     89519     43610   1506593     20.47   no data  --
1415.57/354.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1415.57/354.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1415.57/354.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
1416.00/355.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1416.00/355.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1416.00/355.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1416.00/355.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1607.81/403.13	c lits-rem:      4676  cl-subs:     8635  v-elim:      0  v-fix:    0  time: 191.87 s
1607.81/403.13	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1607.81/403.15	c vivif2 --  cl tried    80884 cl shrink        0 lits rem          0 time: 0.07
1609.79/403.62	c asymm  cl-useful: 0/567/6230 lits-rem:0 time: 1.87
1609.79/403.63	c calculated reachability. Time: 0.00
1609.79/403.63	c  N dy  5528   1710843        70      6230         0     80884     43610   1287097     20.47   no data  --
1645.30/412.50	c  N dy  5604   1731286        70      6230         0     99320     43610   1733162     20.47     21.58  --
1672.82/419.41	c  N dy  5729   1751781        70      6230         0     67081     43610    950199     20.49     21.58  --
1700.34/426.38	c  N dy  5798   1771958        70      6230         0     85287     43610   1390893     20.49     21.70  --
1742.60/436.99	c  N dy  5876   1792941        70      6230         0     52184     43610    566172     20.49     21.58  --
1768.52/443.46	c  N dy  5962   1813034        70      6230         0     70266     43610   1008660     20.50     22.21  --
1805.62/452.75	c  N dy  6048   1836213        70      6230         0     91036     43610   1509561     20.50     21.78  --
1847.08/463.13	c  N dy  6165   1856225        70      6230         0     56136     43610    650712     20.51     22.01  --
1874.19/469.92	c  N dy  6278   1876236        70      6230         0     74159     43610   1093201     20.52     23.03  --
1904.90/477.69	c  N dy  6314   1899102        70      6230         0     94703     43610   1582619     20.51     21.64  --
1944.39/487.57	c  N dy  6415   1921806        70      6230         0     61199     43610    759075     20.52     21.95  --
1973.14/494.72	c  N dy  6542   1941824        70      6230         0     79312     43610   1205857     20.53     21.73  --
2007.01/503.20	c  N dy  6613   1964741        70      6230         0     99962     43610   1706909     20.53     21.64  --
2040.11/511.57	c  N dy  6738   1985722        70      6230         0     63925     43610    811293     20.54     21.76  --
2058.06/516.02	c  N dy  6762   2005749        70      6230         0     81878     43610   1239804     20.54     21.67  --
2087.62/523.48	c  N dy  6879   2026351        70      6230         0    100452     43610   1695238     20.55     21.70  --
2113.54/529.94	c  N dy  6949   2046408        70      6230         0     62626     43610    766597     20.55     21.66  --
2136.23/535.60	c  N dy  7088   2066503        70      6230         0     80730     43610   1214264     20.56     21.89  --
2162.21/542.14	c  N dy  7151   2086523        70      6230         0     98744     43610   1647804     20.56     22.50  --
2189.70/549.09	c  N dy  7235   2107120        70      6230         0     60565     43610    708131     20.56     21.65  --
2211.23/554.42	c  N dy  7350   2127171        70      6230         0     78684     43610   1151669     20.57     21.82  --
2238.35/561.25	c  N dy  7468   2147209        70      6230         0     96770     43610   1598238     20.58     24.57  --
2273.05/569.95	c  N dy  7585   2167352        70      6230         0    114947     43610   2045035     20.59     21.78  --
2294.99/575.41	c  N dy  7705   2187386        70      6230         0     75292     43610   1055358     20.60     23.80  --
2321.31/582.03	c  N dy  7816   2207487        70      6230         0     93413     43610   1500416     20.61     22.73  --
2326.50/583.36	c  S st  7836   2210844        70      6230         0     96435     43610   1574898     20.61     21.02  --
2327.70/583.63	c  S st  7836   2211349        70      6230         0     96903     43610   1586620     20.61   no data  --
2327.70/583.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2327.70/583.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2327.70/583.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
2328.10/583.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2328.10/583.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2328.10/583.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2328.10/583.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2702.60/677.60	c lits-rem:      5098  cl-subs:     8600  v-elim:      0  v-fix:    0  time: 374.27 s
2702.60/677.60	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2702.60/677.62	c vivif2 --  cl tried    88303 cl shrink        0 lits rem          0 time: 0.08
2704.20/678.04	c asymm  cl-useful: 0/506/6230 lits-rem:0 time: 1.69
2704.20/678.05	c calculated reachability. Time: 0.00
2704.20/678.05	c  N dy  7836   2211349        70      6230         0     88303     43610   1365396     20.61   no data  --
2740.50/687.17	c  N dy  7912   2231420        70      6230         0    106355     43610   1804822     20.62     22.97  --
2778.38/696.63	c  N dy  8001   2251497        70      6230         0     66342     43610    826453     20.62     23.29  --
2809.50/704.46	c  N dy  8070   2273437        70      6230         0     86040     43610   1300803     20.62     21.87  --
2888.06/724.14	c  N dy  8141   2328055        70      6230         0     75671     43610   1018092     20.58     21.72  --
2924.35/733.25	c  N dy  8281   2348122        70      6230         0     93782     43610   1466429     20.59     21.99  --
2966.62/743.89	c  N dy  8399   2368150        70      6230         0    111858     43610   1913222     20.60     22.09  --
3005.31/753.58	c  N dy  8511   2388436        70      6230         0     70079     43610    889488     20.61     21.75  --
3034.43/760.85	c  N dy  8568   2409082        70      6230         0     88586     43610   1336498     20.61     21.91  --
3077.10/771.50	c  N dy  8678   2430747        70      6230         0    108092     43610   1814806     20.62     21.80  --
3121.77/782.74	c  N dy  8795   2450815        70      6230         0     65048     43610    753591     20.63     24.24  --
3161.25/792.68	c  N dy  8852   2482157        70      6230         0     93069     43610   1421449     20.61     21.70  --
3201.14/802.69	c  N dy  8970   2502252        70      6230         0    111242     43610   1871079     20.62     23.03  --
3241.47/812.76	c  N dy  9074   2524298        70      6230         0     69123     43610    839576     20.63     21.76  --
3271.77/820.40	c  N dy  9231   2544376        70      6230         0     87273     43610   1292506     20.65     24.04  --
3303.24/828.22	c  N dy  9268   2566110        70      6230         0    106721     43610   1756666     20.64     21.82  --
3345.52/838.84	c  N dy  9352   2590108        70      6230         0     65392     43610    732751     20.64     21.88  --
3366.26/844.08	c  N dy  9425   2612748        70      6230         0     85725     43610   1227261     20.64     21.91  --
3395.38/851.37	c  N dy  9529   2632853        70      6230         0    103799     43610   1670901     20.64     21.75  --
3427.69/859.49	c  N dy  9590   2653452        70      6230         0    122252     43610   2114204     20.64     21.84  --
3455.21/866.38	c  N dy  9675   2674231        70      6230         0     77128     43610   1008877     20.65     21.89  --
3483.92/873.57	c  N dy  9776   2694440        70      6230         0     95359     43610   1456570     20.65     21.83  --
3513.07/880.82	c  S st  9850   2711352        70      6230         0    110549     43610   1825412     20.65     20.60  --
3514.63/881.20	c  S st  9850   2711855        70      6230         0    111010     43610   1836944     20.65   no data  --
3514.63/881.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3514.63/881.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3514.63/881.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
3515.03/881.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3515.03/881.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3515.03/881.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3515.03/881.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4051.90/1015.90	c lits-rem:      6749  cl-subs:    10932  v-elim:      0  v-fix:    0  time: 536.65 s
4051.90/1015.90	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4051.90/1015.93	c vivif2 --  cl tried   100078 cl shrink        0 lits rem          0 time: 0.08
4053.49/1016.37	c asymm  cl-useful: 0/458/6230 lits-rem:0 time: 1.77
4053.49/1016.38	c calculated reachability. Time: 0.00
4053.49/1016.38	c  N dy  9850   2711855        70      6230         0    100078     43610   1562886     20.65   no data  --
4091.39/1025.86	c  N dy  9899   2734723        70      6230         0    120645     43610   2059884     20.65     21.77  --
4148.42/1040.12	c  N dy 10002   2774011        70      6230         0     91655     43610   1335082     20.64     21.81  --
4189.89/1050.56	c  N dy 10090   2794133        70      6230         0    109730     43610   1778450     20.65     21.84  --
4245.76/1064.52	c  N dy 10208   2817252        70      6230         0    130600     43610   2289435     20.65     21.79  --
4275.25/1071.98	c  N dy 10273   2837299        70      6230         0     83338     43610   1132033     20.65     23.34  --
4313.93/1081.68	c  N dy 10318   2865097        70      6230         0    108211     43610   1723085     20.64     21.74  --
4357.40/1092.57	c  N dy 10405   2885105        70      6230         0    126124     43610   2162725     20.64     21.76  --
4396.48/1102.33	c  N dy 10514   2905197        70      6230         0     77978     43610    997849     20.65     23.09  --
4425.63/1109.65	c  N dy 10558   2925287        70      6230         0     95951     43610   1429869     20.64     22.67  --
4465.52/1119.63	c  N dy 10618   2945335        70      6230         0    113912     43610   1861515     20.64     22.64  --
4524.49/1134.45	c  N dy 10750   2965339        70      6230         0    131974     43610   2312309     20.65     23.77  --
4567.55/1145.28	c  N dy 10884   2986190        70      6230         0     83424     43610   1116551     20.66     21.75  --
4607.42/1155.25	c  N dy 10962   3007383        70      6230         0    102406     43610   1579071     20.66     21.80  --
4652.09/1166.44	c  N dy 11019   3027429        70      6230         0    120420     43610   2014944     20.66     22.30  --
4703.12/1179.21	c  N dy 11111   3047448        70      6230         0     70155     43610    775226     20.67     22.93  --
4737.46/1187.86	c  N dy 11177   3072104        70      6230         0     92269     43610   1310803     20.67     21.77  --
4782.07/1199.08	c  N dy 11320   3092131        70      6230         0    110404     43610   1761593     20.68     22.96  --

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-3368885-1305405402/watcher-3368885-1305405402 -o /tmp/evaluation-result-3368885-1305405402/solver-3368885-1305405402 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368885-1305405402.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.47 7.93 7.48 6/352 26822
/proc/meminfo: memFree=21553468/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 413 0 0 0 2 0 0 0 23 0 4 0 632956379 52465664 354 33554432000 4194304 4650419 140734370083936 18446744073709551615 47015401228210 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26822/statm: 12809 354 303 112 0 7774 0
[pid=26822/tid=26823] ppid=26820 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632956379 52465664 354 33554432000 4194304 4650419 140734370083936 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 632956379 52465664 354 33554432000 4194304 4650419 140734370083936 18446744073709551615 47015401228210 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 632956379 52465664 354 33554432000 4194304 4650419 140734370083936 18446744073709551615 47015401228210 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.114394 s]
/proc/loadavg: 7.47 7.93 7.48 6/352 26822
/proc/meminfo: memFree=21553468/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=282044 CPUtime=0.43 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 1450 0 0 0 43 0 0 0 24 0 4 0 632956379 288813056 1359 33554432000 4194304 4650419 140734370083936 18446744073709551615 4370892 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 70511 1359 366 112 0 65476 0
[pid=26822/tid=26823] ppid=26820 vsize=282044 CPUtime=0.09 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 228 0 0 0 9 0 0 0 18 0 4 0 632956379 288813056 1359 33554432000 4194304 4650419 140734370083936 18446744073709551615 4370465 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=282044 CPUtime=0.11 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 197 0 0 0 11 0 0 0 18 0 4 0 632956379 288813056 1359 33554432000 4194304 4650419 140734370083936 18446744073709551615 4370557 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=282044 CPUtime=0.11 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 375 0 0 0 11 0 0 0 18 0 4 0 632956379 288813056 1359 33554432000 4194304 4650419 140734370083936 18446744073709551615 4334521 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282044

[startup+1.01424 s]
/proc/loadavg: 7.47 7.93 7.48 6/352 26822
/proc/meminfo: memFree=21553468/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=287632 CPUtime=4.03 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 7432 0 0 0 402 1 0 0 19 0 4 0 632956379 294535168 4024 33554432000 4194304 4650419 140734370083936 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 71908 4024 390 112 0 66873 0
[pid=26822/tid=26823] ppid=26820 vsize=287632 CPUtime=0.99 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1832 0 0 0 99 0 0 0 19 0 4 0 632956379 294535168 4024 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=287632 CPUtime=1 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1780 0 0 0 100 0 0 0 18 0 4 0 632956379 294535168 4024 33554432000 4194304 4650419 140734370083936 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=287632 CPUtime=1.01 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1547 0 0 0 101 0 0 0 19 0 4 0 632956379 294535168 4024 33554432000 4194304 4650419 140734370083936 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 287632

[startup+1.10122 s]
/proc/loadavg: 7.47 7.93 7.48 6/352 26822
/proc/meminfo: memFree=21553468/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=287712 CPUtime=4.37 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 7862 0 0 0 436 1 0 0 19 0 4 0 632956379 294617088 4089 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 71928 4089 391 112 0 66893 0
[pid=26822/tid=26823] ppid=26820 vsize=287712 CPUtime=1.08 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1877 0 0 0 108 0 0 0 19 0 4 0 632956379 294617088 4089 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=287712 CPUtime=1.09 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1828 0 0 0 109 0 0 0 19 0 4 0 632956379 294617088 4089 33554432000 4194304 4650419 140734370083936 18446744073709551615 4334261 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=287712 CPUtime=1.09 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1839 0 0 0 109 0 0 0 19 0 4 0 632956379 294617088 4089 33554432000 4194304 4650419 140734370083936 18446744073709551615 4332020 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 287712

[startup+1.20121 s]
/proc/loadavg: 7.47 7.93 7.48 6/352 26822
/proc/meminfo: memFree=21553468/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=287792 CPUtime=4.77 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 8361 0 0 0 476 1 0 0 19 0 4 0 632956379 294699008 4229 33554432000 4194304 4650419 140734370083936 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 71948 4229 391 112 0 66913 0
[pid=26822/tid=26823] ppid=26820 vsize=287792 CPUtime=1.18 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1952 0 0 0 118 0 0 0 19 0 4 0 632956379 294699008 4229 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=287792 CPUtime=1.19 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1891 0 0 0 119 0 0 0 19 0 4 0 632956379 294699008 4229 33554432000 4194304 4650419 140734370083936 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=287792 CPUtime=1.19 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 1897 0 0 0 119 0 0 0 19 0 4 0 632956379 294699008 4229 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 287792

[startup+1.50116 s]
/proc/loadavg: 7.47 7.93 7.48 6/352 26822
/proc/meminfo: memFree=21553468/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=288144 CPUtime=5.98 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 10802 0 0 0 596 2 0 0 19 0 4 0 632956379 295059456 5937 33554432000 4194304 4650419 140734370083936 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 72036 5937 392 112 0 67001 0
[pid=26822/tid=26823] ppid=26820 vsize=288144 CPUtime=1.48 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 2337 0 0 0 148 0 0 0 20 0 4 0 632956379 295059456 5937 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=288144 CPUtime=1.49 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 2305 0 0 0 149 0 0 0 19 0 4 0 632956379 295059456 5937 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=288144 CPUtime=1.49 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 2038 0 0 0 149 0 0 0 20 0 4 0 632956379 295059456 5937 33554432000 4194304 4650419 140734370083936 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 288144

[startup+3.11387 s]
/proc/loadavg: 7.84 8.00 7.50 9/356 26826
/proc/meminfo: memFree=21468380/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=293688 CPUtime=12.41 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 18253 0 0 0 1238 3 0 0 25 0 4 0 632956379 300736512 10829 33554432000 4194304 4650419 140734370083936 18446744073709551615 4310867 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 73422 10829 392 112 0 68387 0
[pid=26822/tid=26823] ppid=26820 vsize=293688 CPUtime=3.09 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 3894 0 0 0 309 0 0 0 25 0 4 0 632956379 300736512 10829 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=293688 CPUtime=3.1 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 4888 0 0 0 310 0 0 0 24 0 4 0 632956379 300736512 10829 33554432000 4194304 4650419 140734370083936 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=293688 CPUtime=3.1 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 4887 0 0 0 310 0 0 0 25 0 4 0 632956379 300736512 10829 33554432000 4194304 4650419 140734370083936 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 293688

[startup+6.30031 s]
/proc/loadavg: 7.85 8.00 7.50 10/356 26826
/proc/meminfo: memFree=21447140/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=301212 CPUtime=25.16 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 27324 0 0 0 2511 5 0 0 25 0 4 0 632956379 308441088 12896 33554432000 4194304 4650419 140734370083936 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 75303 12896 392 112 0 70268 0
[pid=26822/tid=26823] ppid=26820 vsize=301212 CPUtime=6.29 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 6612 0 0 0 628 1 0 0 25 0 4 0 632956379 308441088 12898 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=301212 CPUtime=6.3 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 7023 0 0 0 629 1 0 0 25 0 4 0 632956379 308441088 12898 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=301212 CPUtime=6.3 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 7123 0 0 0 629 1 0 0 25 0 4 0 632956379 308441088 12898 33554432000 4194304 4650419 140734370083936 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 301212

[startup+12.7012 s]
/proc/loadavg: 7.94 8.01 7.51 9/356 26826
/proc/meminfo: memFree=21403172/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=310936 CPUtime=50.66 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 39546 0 0 0 5058 8 0 0 25 0 4 0 632956379 318398464 19375 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 77734 19375 392 112 0 72699 0
[pid=26822/tid=26823] ppid=26820 vsize=310936 CPUtime=12.68 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 8582 0 0 0 1266 2 0 0 25 0 4 0 632956379 318398464 19375 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=310936 CPUtime=12.69 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 10250 0 0 0 1267 2 0 0 25 0 4 0 632956379 318398464 19375 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=310936 CPUtime=12.69 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 11120 0 0 0 1268 1 0 0 25 0 4 0 632956379 318398464 19375 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 310936

[startup+25.5009 s]
/proc/loadavg: 7.95 8.01 7.52 10/356 26826
/proc/meminfo: memFree=21346464/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=293864 CPUtime=101.71 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 56963 0 0 0 10159 12 0 0 25 0 4 0 632956379 300916736 23427 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 73466 23427 392 112 0 68431 0
[pid=26822/tid=26823] ppid=26820 vsize=293864 CPUtime=25.48 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 11984 0 0 0 2545 3 0 0 25 0 4 0 632956379 300916736 23427 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=293864 CPUtime=25.49 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 15509 0 0 0 2546 3 0 0 25 0 4 0 632956379 300916736 23427 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=293864 CPUtime=25.49 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 15790 0 0 0 2546 3 0 0 25 0 4 0 632956379 300916736 23427 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 293864

[startup+51.1004 s]
/proc/loadavg: 8.05 8.03 7.54 9/356 26827
/proc/meminfo: memFree=21307824/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=314508 CPUtime=203.82 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 82413 0 0 0 20362 20 0 0 25 0 4 0 632956379 322056192 28626 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 78627 28626 392 112 0 73592 0
[pid=26822/tid=26823] ppid=26820 vsize=314508 CPUtime=51.08 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 15443 0 0 0 5104 4 0 0 25 0 4 0 632956379 322056192 28626 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=314508 CPUtime=51.09 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 24146 0 0 0 5103 6 0 0 25 0 4 0 632956379 322056192 28626 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=314508 CPUtime=51.09 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 23769 0 0 0 5103 6 0 0 25 0 4 0 632956379 322056192 28626 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 314508

[startup+102.3 s]
/proc/loadavg: 8.02 8.02 7.56 10/356 26829
/proc/meminfo: memFree=21237004/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=342168 CPUtime=408.05 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 128314 0 0 0 40771 34 0 0 25 0 4 0 632956379 350380032 38711 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 85542 38711 392 112 0 80507 0
[pid=26822/tid=26823] ppid=26820 vsize=342168 CPUtime=102.27 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 25160 0 0 0 10221 6 0 0 25 0 4 0 632956379 350380032 38711 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=342168 CPUtime=102.29 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 35777 0 0 0 10220 9 0 0 25 0 4 0 632956379 350380032 38711 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=342168 CPUtime=102.29 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 37590 0 0 0 10219 10 0 0 25 0 4 0 632956379 350380032 38711 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 342168

[startup+162.301 s]

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

[pid=26822] ppid=26820 vsize=451280 CPUtime=2561.8 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 372207 0 0 0 256043 137 0 0 25 0 4 0 632956379 462110720 72294 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 112820 72294 392 112 0 107785 0
[pid=26822/tid=26823] ppid=26820 vsize=451280 CPUtime=642.29 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 65099 0 0 0 64205 24 0 0 25 0 4 0 632956379 462110720 72294 33554432000 4194304 4650419 140734370083936 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=451280 CPUtime=642.3 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 106558 0 0 0 64188 42 0 0 25 0 4 0 632956379 462110720 72294 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=451280 CPUtime=642.3 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 107812 0 0 0 64195 35 0 0 25 0 4 0 632956379 462110720 72294 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2561.8
Current children cumulated vsize (KiB) 451280

[startup+702.301 s]
/proc/loadavg: 8.12 8.09 7.80 11/356 26845
/proc/meminfo: memFree=20830012/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=504632 CPUtime=2801.11 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 383910 0 0 0 279967 144 0 0 25 0 4 0 632956379 516743168 77716 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 126158 77716 392 112 0 121123 0
[pid=26822/tid=26823] ppid=26820 vsize=504632 CPUtime=702.29 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 65751 0 0 0 70205 24 0 0 25 0 4 0 632956379 516743168 77716 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=504632 CPUtime=702.29 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 110755 0 0 0 70184 45 0 0 25 0 4 0 632956379 516743168 77716 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=504632 CPUtime=702.31 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 112322 0 0 0 70194 37 0 0 25 0 4 0 632956379 516743168 77716 33554432000 4194304 4650419 140734370083936 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.11
Current children cumulated vsize (KiB) 504632

[startup+762.3 s]
/proc/loadavg: 8.08 8.09 7.82 9/356 26846
/proc/meminfo: memFree=20788460/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=504744 CPUtime=3040.41 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 400169 0 0 0 303888 153 0 0 25 0 4 0 632956379 516857856 82650 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 126186 82650 392 112 0 121151 0
[pid=26822/tid=26823] ppid=26820 vsize=504744 CPUtime=762.29 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 65751 0 0 0 76205 24 0 0 25 0 4 0 632956379 516857856 82650 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476385 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=504744 CPUtime=762.3 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 116368 0 0 0 76181 49 0 0 25 0 4 0 632956379 516857856 82650 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=504744 CPUtime=762.31 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 117779 0 0 0 76193 38 0 0 25 0 4 0 632956379 516857856 82650 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.41
Current children cumulated vsize (KiB) 504744

[startup+822.301 s]
/proc/loadavg: 8.11 8.10 7.84 10/356 26848
/proc/meminfo: memFree=20778644/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=504848 CPUtime=3279.71 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 418632 0 0 0 327812 159 0 0 25 0 4 0 632956379 516964352 79790 33554432000 4194304 4650419 140734370083936 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 126212 79790 392 112 0 121177 0
[pid=26822/tid=26823] ppid=26820 vsize=504848 CPUtime=822.29 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 66134 0 0 0 82205 24 0 0 25 0 4 0 632956379 516964352 79790 33554432000 4194304 4650419 140734370083936 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=504848 CPUtime=822.3 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 121955 0 0 0 82178 52 0 0 25 0 4 0 632956379 516964352 79790 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=504848 CPUtime=822.31 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 127651 0 0 0 82192 39 0 0 25 0 4 0 632956379 516964352 79790 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.71
Current children cumulated vsize (KiB) 504848

[startup+882.3 s]
/proc/loadavg: 8.04 8.08 7.84 9/356 26849
/proc/meminfo: memFree=20790512/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=423788 CPUtime=3519.01 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 434921 0 0 0 351733 168 0 0 25 0 4 0 632956379 433958912 80139 33554432000 4194304 4650419 140734370083936 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 105947 80139 392 112 0 100912 0
[pid=26822/tid=26823] ppid=26820 vsize=423788 CPUtime=882.29 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 70585 0 0 0 88203 26 0 0 25 0 4 0 632956379 433958912 80139 33554432000 4194304 4650419 140734370083936 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=423788 CPUtime=882.3 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 123083 0 0 0 88177 53 0 0 25 0 4 0 632956379 433958912 80139 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=423788 CPUtime=882.31 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 132191 0 0 0 88189 42 0 0 25 0 4 0 632956379 433958912 80139 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.01
Current children cumulated vsize (KiB) 423788

[startup+942.301 s]
/proc/loadavg: 8.05 8.08 7.85 10/356 26851
/proc/meminfo: memFree=20716832/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=514700 CPUtime=3758.33 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 444357 0 0 0 375659 174 0 0 25 0 4 0 632956379 527052800 89380 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 128675 89380 392 112 0 123640 0
[pid=26822/tid=26823] ppid=26820 vsize=514700 CPUtime=942.3 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 74238 0 0 0 94201 29 0 0 25 0 4 0 632956379 527052800 89380 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=514700 CPUtime=942.3 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 125837 0 0 0 94175 55 0 0 25 0 4 0 632956379 527052800 89380 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=514700 CPUtime=942.31 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 135147 0 0 0 94188 43 0 0 25 0 4 0 632956379 527052800 89380 33554432000 4194304 4650419 140734370083936 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.33
Current children cumulated vsize (KiB) 514700

[startup+1002.3 s]
/proc/loadavg: 8.05 8.07 7.86 9/356 26853
/proc/meminfo: memFree=20708376/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=501832 CPUtime=3997.66 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 453340 0 0 0 399586 180 0 0 25 0 4 0 632956379 513875968 92580 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 125458 92580 392 112 0 120423 0
[pid=26822/tid=26823] ppid=26820 vsize=501832 CPUtime=1002.3 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 74459 0 0 0 100201 29 0 0 25 0 4 0 632956379 513875968 92580 33554432000 4194304 4650419 140734370083936 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=501832 CPUtime=1002.3 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 129215 0 0 0 100173 57 0 0 25 0 4 0 632956379 513875968 92580 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=501832 CPUtime=1002.31 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 140470 0 0 0 100184 47 0 0 25 0 4 0 632956379 513875968 92580 33554432000 4194304 4650419 140734370083936 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.66
Current children cumulated vsize (KiB) 501832

[startup+1062.3 s]
/proc/loadavg: 8.05 8.07 7.87 10/356 26854
/proc/meminfo: memFree=20667316/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=567368 CPUtime=4236.99 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 461032 0 0 0 423515 184 0 0 25 0 4 0 632956379 580984832 97176 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 141842 97176 392 112 0 136807 0
[pid=26822/tid=26823] ppid=26820 vsize=567368 CPUtime=1062.31 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 74459 0 0 0 106202 29 0 0 25 0 4 0 632956379 580984832 97176 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=567368 CPUtime=1062.31 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 130222 0 0 0 106173 58 0 0 25 0 4 0 632956379 580984832 97176 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=567368 CPUtime=1062.33 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 146392 0 0 0 106184 49 0 0 25 0 4 0 632956379 580984832 97176 33554432000 4194304 4650419 140734370083936 18446744073709551615 4419584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.99
Current children cumulated vsize (KiB) 567368

[startup+1122.3 s]
/proc/loadavg: 8.09 8.07 7.89 9/356 26856
/proc/meminfo: memFree=20660332/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=567368 CPUtime=4476.24 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 472912 0 0 0 447435 189 0 0 25 0 4 0 632956379 580984832 99173 33554432000 4194304 4650419 140734370083936 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 141842 99173 392 112 0 136807 0
[pid=26822/tid=26823] ppid=26820 vsize=567368 CPUtime=1122.3 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 74459 0 0 0 112201 29 0 0 25 0 4 0 632956379 580984832 99173 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=567368 CPUtime=1122.31 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 133254 0 0 0 112170 61 0 0 25 0 4 0 632956379 580984832 99173 33554432000 4194304 4650419 140734370083936 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=567368 CPUtime=1122.31 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 152959 0 0 0 112181 50 0 0 25 0 4 0 632956379 580984832 99173 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.24
Current children cumulated vsize (KiB) 567368

[startup+1182.31 s]
/proc/loadavg: 8.14 8.09 7.90 9/356 26857
/proc/meminfo: memFree=20634760/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=567368 CPUtime=4715.53 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 481890 0 0 0 471361 192 0 0 25 0 4 0 632956379 580984832 97375 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 141842 97375 392 112 0 136807 0
[pid=26822/tid=26823] ppid=26820 vsize=567368 CPUtime=1182.31 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 74762 0 0 0 118202 29 0 0 25 0 4 0 632956379 580984832 97375 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=567368 CPUtime=1182.32 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 133254 0 0 0 118171 61 0 0 25 0 4 0 632956379 580984832 97375 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=567368 CPUtime=1182.33 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 161097 0 0 0 118181 52 0 0 25 0 4 0 632956379 580984832 97375 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.53
Current children cumulated vsize (KiB) 567368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.10 8.08 7.90 5/351 26859
/proc/meminfo: memFree=21166884/32951124 swapFree=67111348/67111528
[pid=26822] ppid=26820 vsize=567368 CPUtime=4800.04 cores=1,3,5,7
/proc/26822/stat : 26822 (strangenight1-m) R 26820 26822 26096 0 -1 4202496 484888 0 0 0 479811 193 0 0 25 0 4 0 632956379 580984832 96927 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26822/statm: 141842 96927 392 112 0 136807 0
[pid=26822/tid=26823] ppid=26820 vsize=567368 CPUtime=1203.51 cores=1,3,5,7
/proc/26822/task/26823/stat : 26823 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 74919 0 0 0 120322 29 0 0 25 0 4 0 632956379 580984832 96927 33554432000 4194304 4650419 140734370083936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26822/tid=26824] ppid=26820 vsize=567368 CPUtime=1203.52 cores=1,3,5,7
/proc/26822/task/26824/stat : 26824 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 133254 0 0 0 120291 61 0 0 25 0 4 0 632956379 580984832 96927 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26822/tid=26825] ppid=26820 vsize=567368 CPUtime=1203.53 cores=1,3,5,7
/proc/26822/task/26825/stat : 26825 (strangenight1-m) R 26820 26822 26096 0 -1 4202560 163938 0 0 0 120301 52 0 0 25 0 4 0 632956379 580984832 96927 33554432000 4194304 4650419 140734370083936 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 567368

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.54
CPU time (s): 4800.1
CPU user time (s): 4798.15
CPU system time (s): 1.9507
CPU usage (%): 398.832
Max. virtual memory (cumulated for all children) (KiB): 580452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.15
system time used= 1.9507
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484888
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= 395
involuntary context switches= 30252

runsolver used 3.63245 second user time and 10.4664 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-14 22:36:43
IDJOB=3368885
IDBENCH=82894
IDSOLVER=1846
FILE ID=node144/3368885-1305405402
RUNJOBID= node144-1305405402-26800
PBS_JOBID= 13324479
Free space on /tmp= 73236 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368885-1305405402/watcher-3368885-1305405402 -o /tmp/evaluation-result-3368885-1305405402/solver-3368885-1305405402 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368885-1305405402.cnf

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

MD5SUM BENCH= acdd1627e1c0387cb30884180f862a47
RANDOM SEED=892873991

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21553624 kB
Buffers:        288728 kB
Cached:        3629988 kB
SwapCached:          0 kB
Active:        8182884 kB
Inactive:      2868652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21553624 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12588 kB
Writeback:           0 kB
AnonPages:     7132180 kB
Mapped:          27128 kB
Slab:           245136 kB
PageTables:      37272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 82058904 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= 73236 MiB
End job on node144 at 2011-05-14 22:56:48