Trace number 3175276

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.12 1201.63

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175276-1304106527.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	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.38/0.15	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.38/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.38/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.38/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.77/0.84	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.84	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.77/0.84	c calculated reachability. Time: 0.00
0.77/0.84	c Calc default polars -  time:   0.00 s pos:      35 undec:       4 neg:      31
0.77/0.84	c =========================================================================================
0.77/0.84	c types(t): F = full restart, N = normal restart
0.77/0.84	c types(t): S = simplification begin/end, E = solution found
0.77/0.84	c restart types(rt): st = static, dy = dynamic
0.77/0.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.84	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.77/0.84	c  N dy     7      5007        70      6230         0      2263     43610     48780     21.24     22.36  --
0.77/0.84	c  N dy    17      9032        70      6230         0      5884     43610    135092     20.68     22.91  --
0.77/0.84	c  N dy    30     13098        70      6230         0      5738     43610    122496     20.76     23.36  --
0.77/0.90	c  N dy    41     17615        70      6230         0      9834     43610    221780     20.70     21.83  --
4.78/1.20	c  F st    55     25000        70      6230         0     11372     43610    244115     20.62     18.10  --
4.78/1.20	c  N st    55     25000        70      6230         0     11372     43610    244115     20.62     18.10  --
5.18/1.35	c  N dy    61     30000        70      6230         0      9804     43610    196987     20.62   no data  --
5.18/1.35	c  S st    61     30000        70      6230         0      9804     43610    196987     20.62   no data  --
5.18/1.38	c  S st    61     30504        70      6230         0     10267     43610    208456     20.62   no data  --
5.18/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.18/1.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.18/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.18/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.18/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.18/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.41	c lits-rem:      1544  cl-subs:      889  v-elim:      0  v-fix:    0  time:  4.04 s
10.79/2.73	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.26
10.79/2.73	c calculated reachability. Time: 0.00
10.79/2.73	c  N dy    61     30504        70      6230         0      9378     43610    184871     20.62   no data  --
11.97/3.05	c  N dy    67     37188        70      6230         0      8320     43610    147776     20.43     21.51  --
12.77/3.25	c  N dy    86     41227        70      6230         0     11987     43610    236151     20.51     21.62  --
13.97/3.55	c  N dy   105     45757        70      6230         0     16108     43610    335256     20.58     19.64  --
13.97/3.55	c  S st   105     45757        70      6230         0     16108     43610    335256     20.58     19.64  --
13.97/3.59	c  S st   105     46258        70      6230         0      8458     43610    138286     20.58   no data  --
13.97/3.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.97/3.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.37/3.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
14.37/3.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.37/3.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.37/3.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
14.37/3.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.16/4.36	c lits-rem:       125  cl-subs:       39  v-elim:      0  v-fix:    0  time:  3.04 s
17.16/4.36	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.16/4.36	c vivif2 --  cl tried     8419 cl shrink        0 lits rem          0 time: 0.01
18.36/4.61	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.99
18.36/4.61	c calculated reachability. Time: 0.00
18.36/4.61	c  N dy   105     46258        70      6230         0      8419     43610    137033     20.58   no data  --
21.95/5.55	c  N dy   116     63354        70      6230         0     14776     43610    271195     20.06     21.25  --
23.15/5.85	c  N dy   141     67405        70      6230         0     18432     43610    359871     20.15     21.23  --
23.96/6.03	c  S st   161     69387        70      6230         0     10332     43610    161239     20.22   no data  --
23.96/6.06	c  S st   161     69890        70      6230         0     10797     43610    172650     20.22   no data  --
23.96/6.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.96/6.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.96/6.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.96/6.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.96/6.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.96/6.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.96/6.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.54/6.98	c lits-rem:       301  cl-subs:      129  v-elim:      0  v-fix:    0  time:  3.61 s
27.54/6.98	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.54/6.98	c vivif2 --  cl tried    10668 cl shrink        0 lits rem          0 time: 0.00
28.76/7.28	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.20
28.76/7.28	c calculated reachability. Time: 0.00
28.76/7.28	c  N dy   161     69890        70      6230         0     10668     43610    168697     20.22   no data  --
29.94/7.53	c  N dy   171     74638        70      6230         0     14985     43610    272187     20.21     21.34  --
31.55/7.93	c  N dy   201     80184        70      6230         0     20042     43610    393739     20.27     21.37  --
33.54/8.42	c  F st   232     87500        70      6230         0     15806     43610    280787     20.35     19.28  --
33.54/8.42	c  N st   232     87500        70      6230         0     15806     43610    280787     20.35     19.28  --
35.14/8.81	c  N dy   242     93346        70      6230         0     21100     43610    411249     20.36     21.44  --
37.93/9.55	c  N dy   258    104406        70      6230         0     19254     43610    346016     20.29     21.38  --
37.93/9.59	c  S st   263    104837        70      6230         0     19648     43610    355665     20.30   no data  --
38.33/9.65	c  S st   263    105339        70      6230         0     20116     43610    367221     20.30   no data  --
38.33/9.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.33/9.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.33/9.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.33/9.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.33/9.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.33/9.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.33/9.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.72/11.29	c lits-rem:      1811  cl-subs:     2158  v-elim:      0  v-fix:    0  time:  6.49 s
44.72/11.29	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.72/11.29	c vivif2 --  cl tried    17958 cl shrink        0 lits rem          0 time: 0.02
46.34/11.67	c asymm  cl-useful: 0/4833/6230 lits-rem:0 time: 1.49
46.34/11.67	c calculated reachability. Time: 0.00
46.34/11.67	c  N dy   263    105339        70      6230         0     17958     43610    316196     20.30   no data  --
51.51/12.99	c  N dy   289    124032        70      6230         0     22179     43610    403848     20.16     21.33  --
54.31/13.68	c  N dy   353    131981        70      6230         0     16004     43610    250238     20.27     21.34  --
56.70/14.29	c  N dy   368    140501        70      6230         0     23618     43610    430821     20.26     22.29  --
59.91/15.06	c  N dy   402    149596        70      6230         0     17484     43610    271792     20.30     21.50  --
63.10/15.80	c  S st   468    158008        70      6230         0     25161     43610    459532     20.39   no data  --
63.10/15.87	c  S st   468    158513        70      6230         0     25629     43610    470817     20.39   no data  --
63.10/15.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
63.10/15.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.10/15.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
63.10/15.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.10/15.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.10/15.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
63.10/15.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.31/18.14	c lits-rem:      2370  cl-subs:     2074  v-elim:      0  v-fix:    0  time:  8.97 s
72.31/18.14	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
72.31/18.14	c vivif2 --  cl tried    23555 cl shrink        0 lits rem          0 time: 0.02
73.08/18.32	c asymm  cl-useful: 0/1397/6230 lits-rem:0 time: 0.72
73.08/18.32	c calculated reachability. Time: 0.00
73.08/18.32	c  N dy   468    158513        70      6230         0     23555     43610    414402     20.39   no data  --
76.29/19.20	c  N dy   486    168664        70      6230         0     17438     43610    255932     20.36     23.47  --
80.28/20.13	c  N dy   504    181033        70      6230         0     28570     43610    519835     20.29     21.39  --
84.28/21.15	c  N dy   553    192669        70      6230         0     22930     43610    378462     20.32     22.69  --
89.88/22.56	c  N dy   630    204988        70      6230         0     34140     43610    650461     20.39     24.08  --
94.67/23.77	c  N dy   682    218339        70      6230         0     29051     43610    513235     20.40     21.55  --
100.65/25.26	c  N dy   726    232356        70      6230         0     23567     43610    362480     20.40     21.59  --
102.65/25.80	c  S st   745    237769        70      6230         0     28473     43610    479455     20.40     21.49  --
103.07/25.88	c  S st   745    238274        70      6230         0     28931     43610    490878     20.40   no data  --
103.07/25.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
103.07/25.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.07/25.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
103.07/25.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.07/25.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.07/25.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
103.07/25.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
112.63/28.25	c lits-rem:      1602  cl-subs:     2647  v-elim:      0  v-fix:    0  time:  9.40 s
112.63/28.25	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
112.63/28.26	c vivif2 --  cl tried    26284 cl shrink        0 lits rem          0 time: 0.02
114.24/28.67	c asymm  cl-useful: 0/3742/6230 lits-rem:0 time: 1.63
114.24/28.67	c calculated reachability. Time: 0.00
114.24/28.67	c  N dy   745    238274        70      6230         0     26284     43610    426939     20.40   no data  --
121.05/30.35	c  N dy   795    255977        70      6230         0     23456     43610    348999     20.41     21.71  --
127.82/32.04	c  N dy   843    272400        70      6230         0     38301     43610    703282     20.40     22.02  --
134.23/33.65	c  N dy   884    289921        70      6230         0     34266     43610    591610     20.37     21.50  --
141.80/35.53	c  F st   972    306250        70      6230         0     28334     43610    444178     20.43     20.38  --
143.01/35.84	c  N st   977    309547        70      6230         0     31331     43610    518010     20.43   no data  --
152.59/38.25	c  N dy  1074    329391        70      6230         0     27590     43610    413516     20.47     21.56  --
164.99/41.32	c  N dy  1190    355007        70      6230         0     28105     43610    409034     20.51     21.87  --
165.77/41.57	c  S st  1200    357411        70      6230         0     30289     43610    461919     20.51   no data  --
166.17/41.65	c  S st  1200    357913        70      6230         0     30750     43610    473553     20.51   no data  --
166.17/41.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.17/41.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.17/41.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
166.17/41.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.17/41.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.17/41.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
166.17/41.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
174.95/43.87	c lits-rem:      1401  cl-subs:     2009  v-elim:      0  v-fix:    0  time:  8.78 s
174.95/43.87	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
174.95/43.87	c vivif2 --  cl tried    28741 cl shrink        0 lits rem          0 time: 0.02
176.56/44.24	c asymm  cl-useful: 0/2488/6230 lits-rem:0 time: 1.44
176.56/44.24	c calculated reachability. Time: 0.00
176.56/44.24	c  N dy  1200    357913        70      6230         0     28741     43610    425639     20.51   no data  --
188.94/47.40	c  N dy  1287    377941        70      6230         0     46907     43610    867248     20.53     21.67  --
198.93/49.88	c  N dy  1337    398187        70      6230         0     41765     43610    724595     20.52     21.69  --
210.12/52.66	c  N dy  1447    419033        70      6230         0     36336     43610    584190     20.56     21.67  --
221.30/55.50	c  N dy  1511    439778        70      6230         0     29785     43610    408588     20.57     21.65  --
232.09/58.11	c  N dy  1546    462114        70      6230         0     49965     43610    891641     20.53     21.66  --
242.07/60.62	c  N dy  1572    482924        70      6230         0     42466     43610    699273     20.51     21.73  --
261.27/65.42	c  N dy  1669    517680        70      6230         0     46764     43610    787974     20.49     21.70  --
271.24/67.99	c  S st  1719    536870        70      6230         0     36085     43610    526628     20.47   no data  --
271.64/68.08	c  S st  1719    537370        70      6230         0     36552     43610    538113     20.47   no data  --
271.64/68.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
271.64/68.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
271.64/68.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
272.04/68.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
272.04/68.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
272.04/68.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
272.04/68.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
282.42/70.76	c lits-rem:      1100  cl-subs:     1787  v-elim:      0  v-fix:    0  time: 10.60 s
282.42/70.76	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
282.42/70.77	c vivif2 --  cl tried    34765 cl shrink        0 lits rem          0 time: 0.02
283.24/70.96	c asymm  cl-useful: 0/1531/6230 lits-rem:0 time: 0.78
283.24/70.97	c calculated reachability. Time: 0.00
283.24/70.97	c  N dy  1719    537370        70      6230         0     34765     43610    492227     20.47   no data  --
295.61/74.06	c  N dy  1793    558356        70      6230         0     53719     43610    949680     20.48     21.56  --
306.39/76.77	c  N dy  1821    579691        70      6230         0     44101     43610    697200     20.45     21.64  --
320.38/80.26	c  N dy  1918    600442        70      6230         0     33111     43610    431516     20.47     21.55  --
331.98/83.12	c  N dy  1997    620915        70      6230         0     51720     43610    884520     20.48     21.62  --
345.17/86.41	c  N dy  2091    641067        70      6230         0     39225     43610    563977     20.50     21.64  --
361.93/90.63	c  N dy  2176    665667        70      6230         0     61446     43610   1100906     20.52     21.65  --
374.32/93.75	c  N dy  2277    685680        70      6230         0     47888     43610    759206     20.53     21.89  --
390.30/97.79	c  N dy  2372    705764        70      6230         0     33489     43610    395655     20.55     22.50  --
403.08/100.96	c  N dy  2457    726078        70      6230         0     51779     43610    837169     20.56     21.82  --
420.66/105.39	c  N dy  2566    747480        70      6230         0     37679     43610    484382     20.58     21.70  --
433.45/108.56	c  N dy  2642    767703        70      6230         0     55921     43610    925795     20.59     21.69  --
446.62/111.84	c  N dy  2667    787713        70      6230         0     39575     43610    512709     20.56     22.95  --
459.44/115.03	c  S st  2770    806055        70      6230         0     56196     43610    918504     20.59   no data  --
459.81/115.18	c  S st  2770    806556        70      6230         0     56655     43610    930290     20.59   no data  --
459.81/115.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
459.81/115.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
460.21/115.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
460.21/115.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
460.21/115.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
460.21/115.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
460.21/115.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
501.35/125.53	c lits-rem:      2401  cl-subs:     4975  v-elim:      0  v-fix:    0  time: 41.11 s
501.35/125.53	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
501.35/125.54	c vivif2 --  cl tried    51680 cl shrink        0 lits rem          0 time: 0.04
502.55/125.80	c asymm  cl-useful: 0/919/6230 lits-rem:0 time: 1.06
502.55/125.80	c calculated reachability. Time: 0.00
502.55/125.80	c  N dy  2770    806556        70      6230         0     51680     43610    806235     20.59   no data  --
523.73/131.16	c  N dy  2883    832974        70      6230         0     40622     43610    525595     20.60     21.73  --
539.70/135.12	c  N dy  2953    857676        70      6230         0     62911     43610   1058488     20.58     21.68  --
555.70/139.19	c  N dy  3050    878332        70      6230         0     45530     43610    634360     20.60     21.78  --
578.46/144.88	c  N dy  3103    910883        70      6230         0     37874     43610    436913     20.58     21.69  --
591.65/148.16	c  N dy  3184    930914        70      6230         0     55980     43610    878428     20.59     21.77  --
610.42/152.89	c  N dy  3276    951648        70      6230         0     74784     43610   1336355     20.60     21.73  --
625.20/156.56	c  N dy  3372    972867        70      6230         0     56192     43610    870566     20.62     21.84  --
641.58/160.61	c  N dy  3402    993988        70      6230         0     75155     43610   1325227     20.60     21.94  --
657.56/164.61	c  N dy  3487   1015500        70      6230         0     55805     43610    845517     20.61     21.81  --
673.94/168.76	c  N dy  3551   1035519        70      6230         0     73860     43610   1280181     20.61     21.89  --
697.91/174.74	c  N dy  3654   1065685        70      6230         0     61264     43610    959274     20.61     21.73  --
703.91/176.21	c  F st  3692   1071875        70      6230         0     66866     43610   1097626     20.62   no data  --
717.89/179.72	c  N dy  3738   1085768        70      6230         0     79403     43610   1404846     20.63     21.80  --
733.47/183.69	c  N dy  3831   1106378        70      6230         0     57416     43610    858562     20.64     21.95  --
749.47/187.69	c  N dy  3865   1126399        70      6230         0     75429     43610   1293141     20.63     23.19  --
767.05/192.07	c  N dy  3895   1150244        70      6230         0     55295     43610    784865     20.61     21.71  --
788.62/197.46	c  N dy  3997   1170329        70      6230         0     73415     43610   1228626     20.62     21.98  --
823.78/206.29	c  N dy  4016   1209834        70      6230         0     66292     43610   1014170     20.54     17.30  --
823.78/206.29	c  S st  4016   1209834        70      6230         0     66292     43610   1014170     20.54     17.30  --
824.95/206.55	c  S st  4016   1210337        70      6230         0     66765     43610   1026108     20.54   no data  --
824.95/206.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
824.95/206.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
825.35/206.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
825.35/206.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
825.35/206.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
825.35/206.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
825.35/206.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
917.22/229.65	c lits-rem:      1734  cl-subs:     7453  v-elim:      0  v-fix:    0  time: 91.89 s
917.22/229.65	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
917.22/229.67	c vivif2 --  cl tried    59312 cl shrink        0 lits rem          0 time: 0.05
918.82/230.02	c asymm  cl-useful: 0/834/6230 lits-rem:0 time: 1.41
918.82/230.02	c calculated reachability. Time: 0.00
918.82/230.02	c  N dy  4016   1210337        70      6230         0     59312     43610    872244     20.54   no data  --
941.99/235.84	c  N dy  4084   1232217        70      6230         0     79058     43610   1350333     20.55     21.71  --
965.57/241.71	c  N dy  4165   1261742        70      6230         0     62967     43610    954615     20.54     21.71  --
985.94/246.87	c  N dy  4260   1281829        70      6230         0     81148     43610   1398168     20.55     22.84  --
1007.51/252.21	c  N dy  4331   1303337        70      6230         0     56713     43610    790915     20.55     21.77  --
1028.68/257.56	c  N dy  4414   1323363        70      6230         0     74882     43610   1231774     20.56     21.82  --
1057.06/264.61	c  N dy  4503   1345503        70      6230         0     49792     43610    604124     20.56     21.68  --
1072.62/268.54	c  N dy  4516   1366350        70      6230         0     68523     43610   1047775     20.55     21.63  --
1096.99/274.63	c  N dy  4600   1386396        70      6230         0     86596     43610   1486431     20.55     22.65  --
1112.98/278.69	c  N dy  4638   1406474        70      6230         0     58843     43610    811343     20.54     21.77  --
1140.56/285.51	c  N dy  4738   1434824        70      6230         0     84414     43610   1429103     20.54     21.70  --
1158.14/289.91	c  N dy  4777   1454919        70      6230         0     55640     43610    721267     20.53     22.84  --
1175.71/294.36	c  N dy  4868   1475202        70      6230         0     73894     43610   1166245     20.54     21.77  --
1196.08/299.46	c  N dy  4913   1495365        70      6230         0     91909     43610   1596803     20.54     21.66  --
1213.25/303.71	c  N dy  4931   1517503        70      6230         0     64081     43610    903805     20.52     21.61  --
1250.43/313.05	c  N dy  4960   1563156        70      6230         0     56475     43610    712273     20.46     21.54  --
1272.40/318.51	c  N dy  5055   1585898        70      6230         0     77003     43610   1207067     20.47     21.64  --
1298.36/325.01	c  N dy  5160   1606487        70      6230         0     95587     43610   1660669     20.48     21.68  --
1326.72/332.11	c  N dy  5275   1637600        70      6230         0     74092     43610   1132294     20.48     21.60  --
1351.50/338.32	c  N dy  5292   1666307        70      6230         0     99531     43610   1718763     20.45     21.58  --
1370.25/343.09	c  N dy  5415   1686372        70      6230         0     67440     43610    969685     20.46     22.49  --
1393.43/348.80	c  N dy  5503   1706458        70      6230         0     85514     43610   1408504     20.47     21.61  --
1398.61/350.13	c  S st  5528   1710338        70      6230         0     89053     43610   1495006     20.47   no data  --
1399.83/350.42	c  S st  5528   1710843        70      6230         0     89519     43610   1506593     20.47   no data  --
1399.83/350.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1399.83/350.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1399.83/350.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1400.21/350.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1400.21/350.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1400.21/350.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1400.21/350.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1585.96/397.06	c lits-rem:      4676  cl-subs:     8635  v-elim:      0  v-fix:    0  time: 185.87 s
1585.96/397.06	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1585.96/397.08	c vivif2 --  cl tried    80884 cl shrink        0 lits rem          0 time: 0.07
1587.96/397.55	c asymm  cl-useful: 0/567/6230 lits-rem:0 time: 1.88
1587.96/397.55	c calculated reachability. Time: 0.00
1587.96/397.55	c  N dy  5528   1710843        70      6230         0     80884     43610   1287097     20.47   no data  --
1622.72/406.21	c  N dy  5604   1731286        70      6230         0     99320     43610   1733162     20.47     21.58  --
1649.90/413.01	c  N dy  5729   1751781        70      6230         0     67081     43610    950199     20.49     21.58  --
1677.04/419.84	c  N dy  5798   1771958        70      6230         0     85287     43610   1390893     20.49     21.70  --
1715.00/429.33	c  N dy  5876   1792941        70      6230         0     52184     43610    566172     20.49     21.58  --
1740.55/435.74	c  N dy  5962   1813034        70      6230         0     70266     43610   1008660     20.50     22.21  --
1777.33/444.91	c  N dy  6048   1836213        70      6230         0     91036     43610   1509561     20.50     21.78  --
1817.65/455.05	c  N dy  6165   1856225        70      6230         0     56136     43610    650712     20.51     22.01  --
1845.21/461.95	c  N dy  6278   1876236        70      6230         0     74159     43610   1093201     20.52     23.03  --
1878.39/470.23	c  N dy  6314   1899102        70      6230         0     94703     43610   1582619     20.51     21.64  --
1917.52/480.00	c  N dy  6415   1921806        70      6230         0     61199     43610    759075     20.52     21.95  --
1945.07/486.97	c  N dy  6542   1941824        70      6230         0     79312     43610   1205857     20.53     21.73  --
1979.03/495.46	c  N dy  6613   1964741        70      6230         0     99962     43610   1706909     20.53     21.64  --
2014.61/504.38	c  N dy  6738   1985722        70      6230         0     63925     43610    811293     20.54     21.76  --
2034.96/509.44	c  N dy  6762   2005749        70      6230         0     81878     43610   1239804     20.54     21.67  --
2067.74/517.63	c  N dy  6879   2026351        70      6230         0    100452     43610   1695238     20.55     21.70  --
2093.28/524.04	c  N dy  6949   2046408        70      6230         0     62626     43610    766597     20.55     21.66  --
2115.25/529.54	c  N dy  7088   2066503        70      6230         0     80730     43610   1214264     20.56     21.89  --
2141.22/536.00	c  N dy  7151   2086523        70      6230         0     98744     43610   1647804     20.56     22.50  --
2168.81/542.96	c  N dy  7235   2107120        70      6230         0     60565     43610    708131     20.56     21.65  --
2189.15/548.09	c  N dy  7350   2127171        70      6230         0     78684     43610   1151669     20.57     21.82  --
2216.33/554.83	c  N dy  7468   2147209        70      6230         0     96770     43610   1598238     20.58     24.57  --
2250.28/563.35	c  N dy  7585   2167352        70      6230         0    114947     43610   2045035     20.59     21.78  --
2271.86/568.72	c  N dy  7705   2187386        70      6230         0     75292     43610   1055358     20.60     23.80  --
2297.82/575.25	c  N dy  7816   2207487        70      6230         0     93413     43610   1500416     20.61     22.73  --
2303.01/576.55	c  S st  7836   2210844        70      6230         0     96435     43610   1574898     20.61     21.02  --
2304.21/576.81	c  S st  7836   2211349        70      6230         0     96903     43610   1586620     20.61   no data  --
2304.21/576.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2304.21/576.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2304.21/576.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
2304.63/576.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2304.63/576.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2304.63/576.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2304.63/576.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2652.17/663.98	c lits-rem:      5098  cl-subs:     8600  v-elim:      0  v-fix:    0  time: 347.75 s
2652.17/663.98	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2652.54/664.00	c vivif2 --  cl tried    88303 cl shrink        0 lits rem          0 time: 0.08
2654.14/664.43	c asymm  cl-useful: 0/506/6230 lits-rem:0 time: 1.70
2654.14/664.43	c calculated reachability. Time: 0.00
2654.14/664.43	c  N dy  7836   2211349        70      6230         0     88303     43610   1365396     20.61   no data  --
2689.30/673.20	c  N dy  7912   2231420        70      6230         0    106355     43610   1804822     20.62     22.97  --
2721.26/681.21	c  N dy  8001   2251497        70      6230         0     66342     43610    826453     20.62     23.29  --
2748.02/687.91	c  N dy  8070   2273437        70      6230         0     86040     43610   1300803     20.62     21.87  --
2825.91/707.46	c  N dy  8141   2328055        70      6230         0     75671     43610   1018092     20.58     21.72  --
2862.27/716.52	c  N dy  8281   2348122        70      6230         0     93782     43610   1466429     20.59     21.99  --
2903.80/726.97	c  N dy  8399   2368150        70      6230         0    111858     43610   1913222     20.60     22.09  --
2942.17/736.53	c  N dy  8511   2388436        70      6230         0     70079     43610    889488     20.61     21.75  --
2970.51/743.68	c  N dy  8568   2409082        70      6230         0     88586     43610   1336498     20.61     21.91  --
3012.47/754.14	c  N dy  8678   2430747        70      6230         0    108092     43610   1814806     20.62     21.80  --
3056.42/765.18	c  N dy  8795   2450815        70      6230         0     65048     43610    753591     20.63     24.24  --
3095.55/774.97	c  N dy  8852   2482157        70      6230         0     93069     43610   1421449     20.61     21.70  --
3137.09/785.32	c  N dy  8970   2502252        70      6230         0    111242     43610   1871079     20.62     23.03  --
3179.83/796.03	c  N dy  9074   2524298        70      6230         0     69123     43610    839576     20.63     21.76  --
3209.81/803.56	c  N dy  9231   2544376        70      6230         0     87273     43610   1292506     20.65     24.04  --
3240.56/811.28	c  N dy  9268   2566110        70      6230         0    106721     43610   1756666     20.64     21.82  --
3284.91/822.39	c  N dy  9352   2590108        70      6230         0     65392     43610    732751     20.64     21.88  --
3309.25/828.48	c  N dy  9425   2612748        70      6230         0     85725     43610   1227261     20.64     21.91  --
3343.20/836.96	c  N dy  9529   2632853        70      6230         0    103799     43610   1670901     20.64     21.75  --
3375.56/845.02	c  N dy  9590   2653452        70      6230         0    122252     43610   2114204     20.64     21.84  --
3401.93/851.63	c  N dy  9675   2674231        70      6230         0     77128     43610   1008877     20.65     21.89  --
3428.30/858.21	c  N dy  9776   2694440        70      6230         0     95359     43610   1456570     20.65     21.83  --
3453.46/864.55	c  S st  9850   2711352        70      6230         0    110549     43610   1825412     20.65     20.60  --
3454.66/864.89	c  S st  9850   2711855        70      6230         0    111010     43610   1836944     20.65   no data  --
3455.06/864.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3455.06/864.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3455.06/864.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
3455.46/865.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3455.46/865.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3455.46/865.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3455.46/865.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3976.36/995.45	c lits-rem:      6749  cl-subs:    10932  v-elim:      0  v-fix:    0  time: 521.03 s
3976.36/995.45	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3976.36/995.47	c vivif2 --  cl tried   100078 cl shrink        0 lits rem          0 time: 0.09
3978.36/995.91	c asymm  cl-useful: 0/458/6230 lits-rem:0 time: 1.73
3978.36/995.91	c calculated reachability. Time: 0.00
3978.36/995.91	c  N dy  9850   2711855        70      6230         0    100078     43610   1562886     20.65   no data  --
4015.51/1005.28	c  N dy  9899   2734723        70      6230         0    120645     43610   2059884     20.65     21.77  --
4069.84/1018.89	c  N dy 10002   2774011        70      6230         0     91655     43610   1335082     20.64     21.81  --
4104.59/1027.58	c  N dy 10090   2794133        70      6230         0    109730     43610   1778450     20.65     21.84  --
4153.32/1039.71	c  N dy 10208   2817252        70      6230         0    130600     43610   2289435     20.65     21.79  --
4180.91/1046.66	c  N dy 10273   2837299        70      6230         0     83338     43610   1132033     20.65     23.34  --
4220.85/1056.64	c  N dy 10318   2865097        70      6230         0    108211     43610   1723085     20.64     21.74  --
4264.40/1067.51	c  N dy 10405   2885105        70      6230         0    126124     43610   2162725     20.64     21.76  --
4303.12/1077.24	c  N dy 10514   2905197        70      6230         0     77978     43610    997849     20.65     23.09  --
4332.28/1084.53	c  N dy 10558   2925287        70      6230         0     95951     43610   1429869     20.64     22.67  --
4370.25/1094.02	c  N dy 10618   2945335        70      6230         0    113912     43610   1861515     20.64     22.64  --
4422.58/1107.10	c  N dy 10750   2965339        70      6230         0    131974     43610   2312309     20.65     23.77  --
4460.91/1116.70	c  N dy 10884   2986190        70      6230         0     83424     43610   1116551     20.66     21.75  --
4497.29/1125.82	c  N dy 10962   3007383        70      6230         0    102406     43610   1579071     20.66     21.80  --
4542.40/1137.11	c  N dy 11019   3027429        70      6230         0    120420     43610   2014944     20.66     22.30  --
4596.33/1150.62	c  N dy 11111   3047448        70      6230         0     70155     43610    775226     20.67     22.93  --
4631.09/1159.31	c  N dy 11177   3072104        70      6230         0     92269     43610   1310803     20.67     21.77  --
4675.03/1170.30	c  N dy 11320   3092131        70      6230         0    110404     43610   1761593     20.68     22.96  --
4724.56/1182.70	c  N dy 11445   3112190        70      6230         0    128502     43610   2208203     20.68     22.39  --
4766.50/1193.24	c  N dy 11506   3132819        70      6230         0     77757     43610    946071     20.68     21.79  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.74 5.49 6.89 3/174 30243
/proc/meminfo: memFree=19043356/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 503068551 52465664 353 33554432000 4194304 4650419 140735120964896 18446744073709551615 47290712401842 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 12809 353 303 112 0 7774 0
[pid=30243/tid=30246] ppid=30240 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 503068551 52465664 353 33554432000 4194304 4650419 140735120964896 18446744073709551615 47290712401836 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 503068551 52465664 353 33554432000 4194304 4650419 140735120964896 18446744073709551615 47290712401842 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 503068551 52465664 353 33554432000 4194304 4650419 140735120964896 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.069479 s]
/proc/loadavg: 3.74 5.49 6.89 3/174 30243
/proc/meminfo: memFree=19043356/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=216380 CPUtime=0.25 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 1374 0 0 0 25 0 0 0 18 0 4 0 503068551 221573120 1290 33554432000 4194304 4650419 140735120964896 18446744073709551615 4370668 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 54095 1290 366 112 0 49060 0
[pid=30243/tid=30246] ppid=30240 vsize=216380 CPUtime=0.06 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 219 0 0 0 6 0 0 0 18 0 4 0 503068551 221573120 1290 33554432000 4194304 4650419 140735120964896 18446744073709551615 4370732 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=216380 CPUtime=0.06 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 189 0 0 0 6 0 0 0 18 0 4 0 503068551 221573120 1290 33554432000 4194304 4650419 140735120964896 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=216380 CPUtime=0.06 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 327 0 0 0 6 0 0 0 24 0 4 0 503068551 221573120 1290 33554432000 4194304 4650419 140735120964896 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 216380

[startup+0.100473 s]
/proc/loadavg: 3.74 5.49 6.89 3/174 30243
/proc/meminfo: memFree=19043356/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=216380 CPUtime=0.38 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 1435 0 0 0 38 0 0 0 18 0 4 0 503068551 221573120 1351 33554432000 4194304 4650419 140735120964896 18446744073709551615 4370541 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 54095 1351 366 112 0 49060 0
[pid=30243/tid=30246] ppid=30240 vsize=216380 CPUtime=0.09 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 223 0 0 0 9 0 0 0 18 0 4 0 503068551 221573120 1351 33554432000 4194304 4650419 140735120964896 18446744073709551615 4370953 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=216380 CPUtime=0.09 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 191 0 0 0 9 0 0 0 18 0 4 0 503068551 221573120 1351 33554432000 4194304 4650419 140735120964896 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=216380 CPUtime=0.09 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 377 0 0 0 9 0 0 0 24 0 4 0 503068551 221573120 1351 33554432000 4194304 4650419 140735120964896 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 216380

[startup+0.948323 s]
/proc/loadavg: 3.74 5.49 6.89 3/174 30243
/proc/meminfo: memFree=19043356/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=221912 CPUtime=3.77 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 7244 0 0 0 376 1 0 0 19 0 4 0 503068551 227237888 3872 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 55478 3872 390 112 0 50443 0
[pid=30243/tid=30246] ppid=30240 vsize=221912 CPUtime=0.94 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 1856 0 0 0 94 0 0 0 19 0 4 0 503068551 227237888 3872 33554432000 4194304 4650419 140735120964896 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=221912 CPUtime=0.94 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 1733 0 0 0 94 0 0 0 19 0 4 0 503068551 227237888 3872 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=221912 CPUtime=0.93 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 1461 0 0 0 93 0 0 0 25 0 4 0 503068551 227237888 3872 33554432000 4194304 4650419 140735120964896 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 221912

[startup+1.00031 s]
/proc/loadavg: 3.74 5.49 6.89 3/174 30243
/proc/meminfo: memFree=19043356/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=221912 CPUtime=3.98 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 7361 0 0 0 397 1 0 0 19 0 4 0 503068551 227237888 3989 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 55478 3989 390 112 0 50443 0
[pid=30243/tid=30246] ppid=30240 vsize=221912 CPUtime=0.99 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 1886 0 0 0 99 0 0 0 19 0 4 0 503068551 227237888 3989 33554432000 4194304 4650419 140735120964896 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=221912 CPUtime=0.99 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 1760 0 0 0 99 0 0 0 19 0 4 0 503068551 227237888 3989 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=221912 CPUtime=0.99 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 1493 0 0 0 99 0 0 0 25 0 4 0 503068551 227237888 3989 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 221912

[startup+1.50023 s]
/proc/loadavg: 3.74 5.49 6.89 3/174 30243
/proc/meminfo: memFree=19043356/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=227968 CPUtime=5.97 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 10671 0 0 0 596 1 0 0 20 0 4 0 503068551 233439232 5847 33554432000 4194304 4650419 140735120964896 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 56992 5847 392 112 0 51957 0
[pid=30243/tid=30246] ppid=30240 vsize=227968 CPUtime=1.49 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 2401 0 0 0 149 0 0 0 19 0 4 0 503068551 233439232 5847 33554432000 4194304 4650419 140735120964896 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=227968 CPUtime=1.49 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 2260 0 0 0 149 0 0 0 20 0 4 0 503068551 233439232 5847 33554432000 4194304 4650419 140735120964896 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=227968 CPUtime=1.49 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 2003 0 0 0 149 0 0 0 25 0 4 0 503068551 233439232 5847 33554432000 4194304 4650419 140735120964896 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 227968

[startup+3.10094 s]
/proc/loadavg: 4.08 5.53 6.90 10/184 30253
/proc/meminfo: memFree=18954004/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=228536 CPUtime=12.37 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 17834 0 0 0 1235 2 0 0 25 0 4 0 503068551 234020864 10519 33554432000 4194304 4650419 140735120964896 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 57134 10519 392 112 0 52099 0
[pid=30243/tid=30246] ppid=30240 vsize=228536 CPUtime=3.09 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 3986 0 0 0 309 0 0 0 25 0 4 0 503068551 234020864 10519 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=228536 CPUtime=3.09 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 4790 0 0 0 309 0 0 0 25 0 4 0 503068551 234020864 10519 33554432000 4194304 4650419 140735120964896 18446744073709551615 4419584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=228536 CPUtime=3.07 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 4610 0 0 0 307 0 0 0 25 0 4 0 503068551 234020864 10519 33554432000 4194304 4650419 140735120964896 18446744073709551615 4370630 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 228536

[startup+6.30037 s]
/proc/loadavg: 4.08 5.53 6.90 9/184 30253
/proc/meminfo: memFree=18934040/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=230080 CPUtime=25.15 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 26364 0 0 0 2511 4 0 0 25 0 4 0 503068551 235601920 13025 33554432000 4194304 4650419 140735120964896 18446744073709551615 4439111 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 57520 13025 392 112 0 52485 0
[pid=30243/tid=30246] ppid=30240 vsize=230080 CPUtime=6.29 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 6864 0 0 0 629 0 0 0 25 0 4 0 503068551 235601920 13025 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=230080 CPUtime=6.29 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 6944 0 0 0 628 1 0 0 25 0 4 0 503068551 235601920 13025 33554432000 4194304 4650419 140735120964896 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=230080 CPUtime=6.26 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 6505 0 0 0 625 1 0 0 25 0 4 0 503068551 235601920 13025 33554432000 4194304 4650419 140735120964896 18446744073709551615 4313339 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 230080

[startup+12.7062 s]
/proc/loadavg: 4.68 5.61 6.91 9/184 30254
/proc/meminfo: memFree=18875688/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=249548 CPUtime=50.73 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 39041 0 0 0 5066 7 0 0 25 0 4 0 503068551 255537152 18112 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 62387 18112 392 112 0 57352 0
[pid=30243/tid=30246] ppid=30240 vsize=249548 CPUtime=12.7 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 9895 0 0 0 1269 1 0 0 25 0 4 0 503068551 255537152 18112 33554432000 4194304 4650419 140735120964896 18446744073709551615 4311351 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=249548 CPUtime=12.69 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 9696 0 0 0 1267 2 0 0 25 0 4 0 503068551 255537152 18112 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=249548 CPUtime=12.63 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 10651 0 0 0 1262 1 0 0 25 0 4 0 503068551 255537152 18112 33554432000 4194304 4650419 140735120964896 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 249548

[startup+25.5009 s]
/proc/loadavg: 5.19 5.69 6.92 10/184 30254
/proc/meminfo: memFree=18819504/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=231456 CPUtime=101.85 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 57467 0 0 0 10173 12 0 0 25 0 4 0 503068551 237010944 23742 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 57864 23742 392 112 0 52829 0
[pid=30243/tid=30246] ppid=30240 vsize=231456 CPUtime=25.49 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 14934 0 0 0 2547 2 0 0 25 0 4 0 503068551 237010944 23742 33554432000 4194304 4650419 140735120964896 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=231456 CPUtime=25.48 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 15049 0 0 0 2545 3 0 0 25 0 4 0 503068551 237010944 23742 33554432000 4194304 4650419 140735120964896 18446744073709551615 4313051 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=231456 CPUtime=25.36 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 15858 0 0 0 2534 2 0 0 25 0 4 0 503068551 237010944 23742 33554432000 4194304 4650419 140735120964896 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 231456

[startup+51.1003 s]
/proc/loadavg: 6.23 5.89 6.95 9/184 30255
/proc/meminfo: memFree=18763876/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=249948 CPUtime=204.13 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 88945 0 0 0 20392 21 0 0 25 0 4 0 503068551 255946752 28576 33554432000 4194304 4650419 140735120964896 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 62487 28576 392 112 0 57452 0
[pid=30243/tid=30246] ppid=30240 vsize=249948 CPUtime=51.09 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 23070 0 0 0 5105 4 0 0 25 0 4 0 503068551 255946752 28576 33554432000 4194304 4650419 140735120964896 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=249948 CPUtime=51.08 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 23512 0 0 0 5102 6 0 0 25 0 4 0 503068551 255946752 28576 33554432000 4194304 4650419 140735120964896 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=249948 CPUtime=50.84 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 24116 0 0 0 5079 5 0 0 25 0 4 0 503068551 255946752 28576 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 249948

[startup+102.301 s]
/proc/loadavg: 7.27 6.23 7.01 9/184 30256
/proc/meminfo: memFree=18707688/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=258792 CPUtime=408.67 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 129068 0 0 0 40835 32 0 0 25 0 4 0 503068551 265003008 35435 33554432000 4194304 4650419 140735120964896 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 64698 35435 392 112 0 59663 0
[pid=30243/tid=30246] ppid=30240 vsize=258792 CPUtime=102.29 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 31076 0 0 0 10223 6 0 0 25 0 4 0 503068551 265003008 35435 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=258792 CPUtime=102.29 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 35019 0 0 0 10219 10 0 0 25 0 4 0 503068551 265003008 35435 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=258792 CPUtime=101.79 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 34751 0 0 0 10171 8 0 0 25 0 4 0 503068551 265003008 35435 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 258792

[startup+162.306 s]

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

[pid=30243] ppid=30240 vsize=417696 CPUtime=2565.87 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 339350 0 0 0 256470 117 0 0 25 0 4 0 503068551 427720704 79086 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 104424 79086 392 112 0 99389 0
[pid=30243/tid=30246] ppid=30240 vsize=417696 CPUtime=642.3 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 102161 0 0 0 64200 30 0 0 25 0 4 0 503068551 427720704 79086 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=417696 CPUtime=642.29 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 96262 0 0 0 64189 40 0 0 25 0 4 0 503068551 427720704 79086 33554432000 4194304 4650419 140735120964896 18446744073709551615 4438931 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=417696 CPUtime=638.94 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 79930 0 0 0 63870 24 0 0 25 0 4 0 503068551 427720704 79086 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.87
Current children cumulated vsize (KiB) 417696

[startup+702.301 s]
/proc/loadavg: 8.11 7.85 7.52 10/184 30272
/proc/meminfo: memFree=18247204/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=430168 CPUtime=2805.57 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 345415 0 0 0 280437 120 0 0 25 0 4 0 503068551 440492032 85150 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 107542 85150 392 112 0 102507 0
[pid=30243/tid=30246] ppid=30240 vsize=430168 CPUtime=702.31 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 105117 0 0 0 70200 31 0 0 25 0 4 0 503068551 440492032 85150 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=430168 CPUtime=702.3 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 98594 0 0 0 70188 42 0 0 25 0 4 0 503068551 440492032 85150 33554432000 4194304 4650419 140735120964896 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=430168 CPUtime=698.62 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 80250 0 0 0 69838 24 0 0 25 0 4 0 503068551 440492032 85150 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.57
Current children cumulated vsize (KiB) 430168

[startup+762.301 s]
/proc/loadavg: 8.12 7.90 7.56 10/184 30283
/proc/meminfo: memFree=18238408/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=430280 CPUtime=3045.2 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 350936 0 0 0 304398 122 0 0 25 0 4 0 503068551 440606720 85618 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 107570 85618 392 112 0 102535 0
[pid=30243/tid=30246] ppid=30240 vsize=430280 CPUtime=762.3 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 105615 0 0 0 76199 31 0 0 25 0 4 0 503068551 440606720 85618 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=430280 CPUtime=762.29 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 101126 0 0 0 76186 43 0 0 25 0 4 0 503068551 440606720 85618 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=430280 CPUtime=758.29 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 80250 0 0 0 75805 24 0 0 25 0 4 0 503068551 440606720 85618 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.2
Current children cumulated vsize (KiB) 430280

[startup+822.306 s]
/proc/loadavg: 8.04 7.92 7.58 9/184 30284
/proc/meminfo: memFree=18227628/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=439352 CPUtime=3284.91 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 359305 0 0 0 328363 128 0 0 25 0 4 0 503068551 449896448 81728 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 109838 81728 392 112 0 104803 0
[pid=30243/tid=30246] ppid=30240 vsize=439352 CPUtime=822.3 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 106253 0 0 0 82199 31 0 0 25 0 4 0 503068551 449896448 81728 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=439352 CPUtime=822.29 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 106422 0 0 0 82182 47 0 0 25 0 4 0 503068551 449896448 81728 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=439352 CPUtime=817.97 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 80250 0 0 0 81773 24 0 0 25 0 4 0 503068551 449896448 81728 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.91
Current children cumulated vsize (KiB) 439352

[startup+882.301 s]
/proc/loadavg: 8.01 7.93 7.60 10/184 30286
/proc/meminfo: memFree=18189428/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=464536 CPUtime=3524.56 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 369245 0 0 0 352324 132 0 0 25 0 4 0 503068551 475684864 88742 33554432000 4194304 4650419 140735120964896 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 116134 88742 392 112 0 111099 0
[pid=30243/tid=30246] ppid=30240 vsize=464536 CPUtime=882.3 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 109150 0 0 0 88197 33 0 0 25 0 4 0 503068551 475684864 88742 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=464536 CPUtime=882.29 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 108431 0 0 0 88180 49 0 0 25 0 4 0 503068551 475684864 88742 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=464536 CPUtime=877.64 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 82701 0 0 0 87739 25 0 0 25 0 4 0 503068551 475684864 88742 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.56
Current children cumulated vsize (KiB) 464536

[startup+942.301 s]
/proc/loadavg: 8.00 7.94 7.63 10/184 30287
/proc/meminfo: memFree=18169436/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=464592 CPUtime=3764.24 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 373309 0 0 0 376290 134 0 0 25 0 4 0 503068551 475742208 89759 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 116148 89759 392 112 0 111113 0
[pid=30243/tid=30246] ppid=30240 vsize=464592 CPUtime=942.31 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 109518 0 0 0 94198 33 0 0 25 0 4 0 503068551 475742208 89759 33554432000 4194304 4650419 140735120964896 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=464592 CPUtime=942.29 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 112125 0 0 0 94178 51 0 0 25 0 4 0 503068551 475742208 89759 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=464592 CPUtime=937.32 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 82703 0 0 0 93707 25 0 0 25 0 4 0 503068551 475742208 89759 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.24
Current children cumulated vsize (KiB) 464592

[startup+1002.3 s]
/proc/loadavg: 8.03 7.96 7.65 9/184 30289
/proc/meminfo: memFree=18149584/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=464696 CPUtime=4003.93 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 379473 0 0 0 400256 137 0 0 25 0 4 0 503068551 475848704 92874 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 116174 92874 392 112 0 111139 0
[pid=30243/tid=30246] ppid=30240 vsize=464696 CPUtime=1002.31 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 112543 0 0 0 100197 34 0 0 25 0 4 0 503068551 475848704 92874 33554432000 4194304 4650419 140735120964896 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=464696 CPUtime=1002.29 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 114888 0 0 0 100177 52 0 0 25 0 4 0 503068551 475848704 92874 33554432000 4194304 4650419 140735120964896 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=464696 CPUtime=996.99 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 82705 0 0 0 99674 25 0 0 25 0 4 0 503068551 475848704 92874 33554432000 4194304 4650419 140735120964896 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.93
Current children cumulated vsize (KiB) 464696

[startup+1062.3 s]
/proc/loadavg: 8.11 8.00 7.68 9/184 30291
/proc/meminfo: memFree=18115976/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=518448 CPUtime=4243.6 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 389685 0 0 0 424218 142 0 0 25 0 4 0 503068551 530890752 91141 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 129612 91141 392 112 0 124577 0
[pid=30243/tid=30246] ppid=30240 vsize=518448 CPUtime=1062.31 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 112608 0 0 0 106197 34 0 0 25 0 4 0 503068551 530890752 91141 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=518448 CPUtime=1062.3 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 118898 0 0 0 106175 55 0 0 25 0 4 0 503068551 530890752 91141 33554432000 4194304 4650419 140735120964896 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=518448 CPUtime=1056.66 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 86163 0 0 0 105640 26 0 0 25 0 4 0 503068551 530890752 91141 33554432000 4194304 4650419 140735120964896 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.6
Current children cumulated vsize (KiB) 518448

[startup+1122.3 s]
/proc/loadavg: 8.20 8.03 7.70 10/184 30292
/proc/meminfo: memFree=18109404/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=544188 CPUtime=4483.28 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 402258 0 0 0 448180 148 0 0 25 0 4 0 503068551 557248512 95124 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 136047 95124 392 112 0 131012 0
[pid=30243/tid=30246] ppid=30240 vsize=544188 CPUtime=1122.31 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 112620 0 0 0 112197 34 0 0 25 0 4 0 503068551 557248512 95124 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=544188 CPUtime=1122.3 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 124421 0 0 0 112172 58 0 0 25 0 4 0 503068551 557248512 95124 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=544188 CPUtime=1116.34 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 88259 0 0 0 111608 26 0 0 25 0 4 0 503068551 557248512 95124 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.28
Current children cumulated vsize (KiB) 544188

[startup+1182.3 s]
/proc/loadavg: 8.20 8.05 7.73 10/184 30294
/proc/meminfo: memFree=18077040/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=544188 CPUtime=4722.96 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 408554 0 0 0 472146 150 0 0 25 0 4 0 503068551 557248512 99299 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 136047 99299 392 112 0 131012 0
[pid=30243/tid=30246] ppid=30240 vsize=544188 CPUtime=1182.31 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 114610 0 0 0 118197 34 0 0 25 0 4 0 503068551 557248512 99299 33554432000 4194304 4650419 140735120964896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=544188 CPUtime=1182.3 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 126067 0 0 0 118172 58 0 0 25 0 4 0 503068551 557248512 99299 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=544188 CPUtime=1176.01 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 89821 0 0 0 117575 26 0 0 25 0 4 0 503068551 557248512 99299 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.96
Current children cumulated vsize (KiB) 544188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.14 8.05 7.74 9/184 30294
/proc/meminfo: memFree=18103452/32951124 swapFree=67111528/67111528
[pid=30243] ppid=30240 vsize=505836 CPUtime=4800.07 cores=0,2,4,6
/proc/30243/stat : 30243 (strangenight1-m) R 30240 30243 29626 0 -1 4202496 411869 0 0 0 479856 151 0 0 25 0 4 0 503068551 517976064 93844 33554432000 4194304 4650419 140735120964896 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30243/statm: 126459 93844 392 112 0 121424 0
[pid=30243/tid=30246] ppid=30240 vsize=505836 CPUtime=1201.61 cores=0,2,4,6
/proc/30243/task/30246/stat : 30246 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 115430 0 0 0 120127 34 0 0 25 0 4 0 503068551 517976064 93844 33554432000 4194304 4650419 140735120964896 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30243/tid=30247] ppid=30240 vsize=505836 CPUtime=1201.6 cores=0,2,4,6
/proc/30243/task/30247/stat : 30247 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 126067 0 0 0 120102 58 0 0 25 0 4 0 503068551 517976064 93844 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30243/tid=30251] ppid=30240 vsize=505836 CPUtime=1195.21 cores=0,2,4,6
/proc/30243/task/30251/stat : 30251 (strangenight1-m) R 30240 30243 29626 0 -1 4202560 90157 0 0 0 119494 27 0 0 25 0 4 0 503068551 517976064 93844 33554432000 4194304 4650419 140735120964896 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 505836

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.12
CPU user time (s): 4798.59
CPU system time (s): 1.53777
CPU usage (%): 399.467
Max. virtual memory (cumulated for all children) (KiB): 544188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.59
system time used= 1.53777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411869
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= 601
involuntary context switches= 26041

runsolver used 1.91171 second user time and 4.53131 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-29 21:48:47
IDJOB=3175276
IDBENCH=82894
IDSOLVER=1588
FILE ID=node145/3175276-1304106527
RUNJOBID= node145-1304106527-30226
PBS_JOBID= 13170624
Free space on /tmp= 72208 MiB

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

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

MD5SUM BENCH= acdd1627e1c0387cb30884180f862a47
RANDOM SEED=1019759246

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19043652 kB
Buffers:       2052896 kB
Cached:       11219072 kB
SwapCached:          0 kB
Active:        2588048 kB
Inactive:     10748060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19043652 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12484 kB
Writeback:           0 kB
AnonPages:       63464 kB
Mapped:          14492 kB
Slab:           507992 kB
PageTables:       3912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186280 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= 72196 MiB
End job on node145 at 2011-04-29 22:08:51