Trace number 3368707

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.41 1203.74

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf
MD5SUM6317a356b3e87abef9291d8243489542
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 variables80
Number of clauses7120
Sum of the clauses size49840
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 57120

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-3368707-1305401125.cnf'
0.00/0.01	c -- header says num vars:             80
0.00/0.01	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.00/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.00/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.00/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.00/0.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.69/0.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
0.69/0.36	c Finding binary XORs  T:     0.00 s  found:       0
0.69/0.36	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.69/0.36	c calculated reachability. Time: 0.00
0.69/0.36	c Calc default polars -  time:   0.00 s pos:      39 undec:       1 neg:      40
0.69/0.36	c =========================================================================================
0.69/0.36	c types(t): F = full restart, N = normal restart
0.69/0.36	c types(t): S = simplification begin/end, E = solution found
0.69/0.36	c restart types(rt): st = static, dy = dynamic
0.69/0.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.69/0.36	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.69/0.36	c  N dy     9      4021        80      7120         0      3683     49840    100663     23.45     24.96  --
0.69/1.02	c  N dy    10     14647        80      7120         0      7201     49840    170957     21.83     23.03  --
0.69/1.02	c  N dy    21     18749        80      7120         0      5820     49840    121345     21.59     22.85  --
4.41/1.15	c  N dy    60     22829        80      7120         0      9601     49840    224265     22.18     25.64  --
4.81/1.28	c  F st    77     25000        80      7120         0     11593     49840    277193     22.33   no data  --
5.21/1.38	c  N st    81     27033        80      7120         0      7198     49840    143813     22.33   no data  --
5.61/1.51	c  S st    83     30000        80      7120         0      9918     49840    218772     22.33   no data  --
6.02/1.54	c  S st    83     30504        80      7120         0     10388     49840    231710     22.33   no data  --
6.02/1.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.02/1.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.02/1.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
6.02/1.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.02/1.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.02/1.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
6.02/1.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.15/2.80	c lits-rem:      1751  cl-subs:      782  v-elim:      0  v-fix:    0  time:  4.93 s
12.37/3.13	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.31
12.37/3.13	c calculated reachability. Time: 0.00
12.37/3.13	c  N dy    83     30504        80      7120         0      9606     49840    206655     22.33   no data  --
13.94/3.50	c  N dy   109     37058        80      7120         0      8412     49840    159423     22.52     23.79  --
14.74/3.72	c  N dy   144     41099        80      7120         0     12153     49840    261886     22.76     24.08  --
15.53/3.96	c  N dy   156     45121        80      7120         0     15852     49840    360657     22.76     24.27  --
15.93/4.01	c  S st   159     45757        80      7120         0     16435     49840    376389     22.78     22.80  --
15.93/4.05	c  S st   159     46262        80      7120         0      8678     49840    152721     22.78   no data  --
15.93/4.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.93/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.93/4.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.52/4.93	c lits-rem:       121  cl-subs:       44  v-elim:      0  v-fix:    0  time:  3.46 s
19.52/4.93	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
19.52/4.93	c vivif2 --  cl tried     8634 cl shrink        0 lits rem          0 time: 0.01
20.72/5.22	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.14
20.72/5.22	c calculated reachability. Time: 0.00
20.72/5.22	c  N dy   159     46262        80      7120         0      8634     49840    151182     22.78   no data  --
22.31/5.68	c  N dy   169     54894        80      7120         0     16566     49840    360265     22.60     23.88  --
23.51/5.97	c  N dy   199     58983        80      7120         0     11180     49840    206220     22.72     25.01  --
24.71/6.23	c  N dy   219     63193        80      7120         0     15088     49840    311358     22.76     24.08  --
26.30/6.65	c  N dy   221     69395        80      7120         0     10613     49840    174907     22.61     19.80  --
26.30/6.65	c  S st   221     69395        80      7120         0     10613     49840    174907     22.61     19.80  --
26.30/6.68	c  S st   221     69902        80      7120         0     11095     49840    188227     22.61   no data  --
26.30/6.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.30/6.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.30/6.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.30/6.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.30/6.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.30/6.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
26.69/6.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.33/7.69	c lits-rem:       366  cl-subs:      166  v-elim:      0  v-fix:    0  time:  3.97 s
30.33/7.69	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
30.67/7.70	c vivif2 --  cl tried    10929 cl shrink        0 lits rem          0 time: 0.01
31.88/8.04	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.36
31.88/8.04	c calculated reachability. Time: 0.00
31.88/8.04	c  N dy   221     69902        80      7120         0     10929     49840    183401     22.61   no data  --
34.30/8.71	c  N dy   242     80136        80      7120         0     20267     49840    429563     22.54     23.73  --
35.87/9.09	c  N dy   273     85250        80      7120         0     13971     49840    253461     22.62     25.18  --
36.67/9.27	c  F st   290     87502        80      7120         0     16067     49840    309838     22.66     23.07  --
37.87/9.50	c  N st   295     90802        80      7120         0     19108     49840    392285     22.66   no data  --
40.25/10.10	c  N dy   298     99539        80      7120         0     15210     49840    268459     22.55     23.76  --
41.85/10.50	c  S st   336    104853        80      7120         0     20128     49840    401988     22.65     22.85  --
41.85/10.56	c  S st   336    105353        80      7120         0     20602     49840    414785     22.65   no data  --
41.85/10.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.85/10.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.85/10.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
41.85/10.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.85/10.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.85/10.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
41.85/10.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.83/12.50	c lits-rem:      2228  cl-subs:     1527  v-elim:      0  v-fix:    0  time:  7.64 s
49.83/12.50	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
49.83/12.50	c vivif2 --  cl tried    19075 cl shrink        0 lits rem          0 time: 0.02
51.42/12.90	c asymm  cl-useful: 0/5014/7120 lits-rem:0 time: 1.57
51.42/12.90	c calculated reachability. Time: 0.00
51.42/12.90	c  N dy   336    105353        80      7120         0     19075     49840    369983     22.65   no data  --
54.21/13.62	c  N dy   369    113688        80      7120         0     13898     49840    219028     22.69     23.89  --
61.39/15.47	c  N dy   389    138788        80      7120         0     22929     49840    439749     22.34     23.54  --
64.58/16.22	c  N dy   414    147652        80      7120         0     16512     49840    262186     22.34     25.00  --
67.77/17.04	c  N dy   487    157326        80      7120         0     25452     49840    504811     22.46     23.70  --
68.18/17.12	c  S st   494    158032        80      7120         0     26104     49840    522955     22.47   no data  --
68.18/17.19	c  S st   494    158536        80      7120         0     26566     49840    535617     22.47   no data  --
68.18/17.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.18/17.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.58/17.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
68.58/17.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.58/17.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.58/17.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
68.58/17.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.74/20.04	c lits-rem:      2445  cl-subs:     1908  v-elim:      0  v-fix:    0  time: 11.23 s
79.74/20.04	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
79.74/20.05	c vivif2 --  cl tried    24658 cl shrink        0 lits rem          0 time: 0.02
80.54/20.27	c asymm  cl-useful: 0/1789/7120 lits-rem:0 time: 0.88
80.54/20.27	c calculated reachability. Time: 0.00
80.54/20.27	c  N dy   494    158536        80      7120         0     24658     49840    476813     22.47   no data  --
84.92/21.30	c  N dy   556    169227        80      7120         0     18976     49840    311882     22.55     23.74  --
89.71/22.59	c  N dy   570    184543        80      7120         0     16493     49840    233979     22.44     23.77  --
94.09/23.64	c  N dy   639    196329        80      7120         0     27330     49840    525500     22.52     25.11  --
99.68/25.04	c  N dy   707    208923        80      7120         0     21555     49840    354128     22.57     24.61  --
105.66/26.58	c  N dy   803    222285        80      7120         0     33839     49840    688067     22.68     25.91  --
112.04/28.15	c  N dy   867    237804        80      7120         0     29761     49840    555341     22.71     20.79  --
112.04/28.15	c  S st   867    237804        80      7120         0     29761     49840    555341     22.71     20.79  --
112.44/28.23	c  S st   867    238308        80      7120         0     30234     49840    568573     22.71   no data  --
112.44/28.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
112.44/28.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.44/28.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
112.44/28.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
112.44/28.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
112.44/28.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
112.44/28.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.81/31.32	c lits-rem:      1760  cl-subs:     2222  v-elim:      0  v-fix:    0  time: 12.17 s
124.81/31.32	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
124.81/31.33	c vivif2 --  cl tried    28012 cl shrink        0 lits rem          0 time: 0.02
125.61/31.51	c asymm  cl-useful: 0/2090/7120 lits-rem:0 time: 0.76
125.61/31.52	c calculated reachability. Time: 0.00
125.61/31.52	c  N dy   867    238308        80      7120         0     28012     49840    504360     22.71   no data  --
131.98/33.15	c  N dy   937    253662        80      7120         0     22911     49840    354826     22.76     24.01  --
138.77/34.85	c  N dy   964    272378        80      7120         0     39959     49840    802637     22.68     23.98  --
145.54/36.59	c  N dy  1024    289770        80      7120         0     35781     49840    684541     22.70     25.24  --
153.16/38.49	c  F st  1103    306250        80      7120         0     29895     49840    515500     22.75     22.74  --
153.91/38.69	c  N st  1107    308282        80      7120         0     31763     49840    567299     22.75   no data  --
163.49/41.07	c  N dy  1191    328318        80      7120         0     28112     49840    451125     22.79     24.06  --
173.05/43.45	c  N dy  1222    348610        80      7120         0     23790     49840    317130     22.75     23.98  --
176.64/44.36	c  S st  1275    357463        80      7120         0     31970     49840    539402     22.78   no data  --
177.04/44.44	c  S st  1275    357969        80      7120         0     32450     49840    552626     22.78   no data  --
177.04/44.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
177.04/44.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
177.04/44.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
177.04/44.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
177.04/44.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
177.04/44.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
177.04/44.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
189.80/47.69	c lits-rem:      1448  cl-subs:     1682  v-elim:      0  v-fix:    0  time: 12.85 s
189.80/47.69	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
190.20/47.70	c vivif2 --  cl tried    30768 cl shrink        0 lits rem          0 time: 0.02
191.00/47.95	c asymm  cl-useful: 0/1629/7120 lits-rem:0 time: 1.02
191.00/47.96	c calculated reachability. Time: 0.00
191.00/47.96	c  N dy  1275    357969        80      7120         0     30768     49840    502460     22.78   no data  --
203.76/51.18	c  N dy  1361    381054        80      7120         0     28147     49840    415087     22.79     24.04  --
214.92/53.91	c  N dy  1431    401089        80      7120         0     46476     49840    904820     22.81     24.05  --
226.90/56.92	c  N dy  1483    426207        80      7120         0     44656     49840    839525     22.80     24.26  --
237.66/59.62	c  N dy  1591    446252        80      7120         0     37505     49840    640936     22.85     25.65  --
248.84/62.47	c  N dy  1632    467102        80      7120         0     30030     49840    418457     22.84     24.12  --
264.38/66.38	c  N dy  1712    496631        80      7120         0     29511     49840    391318     22.81     24.07  --
275.99/69.21	c  N dy  1801    517270        80      7120         0     48478     49840    901072     22.84     24.06  --
287.12/72.02	c  S st  1868    536953        80      7120         0     38145     49840    606703     22.84     22.74  --
287.52/72.12	c  S st  1868    537454        80      7120         0     38617     49840    619885     22.84   no data  --
287.52/72.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
287.52/72.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.52/72.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
287.52/72.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
287.52/72.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
287.52/72.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
287.52/72.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
298.67/74.98	c lits-rem:       979  cl-subs:     2155  v-elim:      0  v-fix:    0  time: 11.24 s
298.67/74.98	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
298.67/74.98	c vivif2 --  cl tried    36462 cl shrink        0 lits rem          0 time: 0.03
299.87/75.21	c asymm  cl-useful: 0/1305/7120 lits-rem:0 time: 0.89
299.87/75.21	c calculated reachability. Time: 0.00
299.87/75.21	c  N dy  1868    537454        80      7120         0     36462     49840    559645     22.84   no data  --
312.24/78.32	c  N dy  1923    560477        80      7120         0     57539     49840   1121836     22.83     24.05  --
326.60/81.94	c  N dy  2016    587341        80      7120         0     52946     49840    991461     22.84     24.06  --
339.76/85.21	c  N dy  2094    609587        80      7120         0     43102     49840    701554     22.84     24.11  --
354.95/89.08	c  N dy  2142    635062        80      7120         0     35212     49840    477460     22.81     24.14  --
368.86/92.55	c  N dy  2241    655135        80      7120         0     53634     49840    976751     22.84     26.43  --
385.66/96.71	c  N dy  2338    679273        80      7120         0     43704     49840    689900     22.86     24.08  --
400.37/100.46	c  N dy  2403    701237        80      7120         0     63784     49840   1228313     22.86     24.14  --
414.73/104.01	c  N dy  2490    723364        80      7120         0     51091     49840    876929     22.87     24.12  --
430.67/108.08	c  N dy  2506    744964        80      7120         0     36962     49840    479366     22.84     24.08  --
444.64/111.55	c  N dy  2621    764996        80      7120         0     55339     49840    976283     22.87     25.05  --
459.82/115.41	c  N dy  2711    785558        80      7120         0     39372     49840    530178     22.88     24.16  --
472.98/118.68	c  N dy  2789    805833        80      7120         0     57936     49840   1030824     22.89     24.15  --
473.40/118.76	c  S st  2793    806181        80      7120         0     58255     49840   1039793     22.89   no data  --
474.15/118.92	c  S st  2793    806687        80      7120         0     58724     49840   1052509     22.89   no data  --
474.15/118.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
474.15/118.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
474.15/118.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
474.15/118.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
474.15/118.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
474.15/118.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
474.15/118.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
518.82/130.11	c lits-rem:      3668  cl-subs:     4520  v-elim:      0  v-fix:    0  time: 44.37 s
518.82/130.11	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
518.82/130.12	c vivif2 --  cl tried    54204 cl shrink        0 lits rem          0 time: 0.04
519.62/130.39	c asymm  cl-useful: 0/936/7120 lits-rem:0 time: 1.08
519.62/130.39	c calculated reachability. Time: 0.00
519.62/130.39	c  N dy  2793    806687        80      7120         0     54204     49840    921195     22.89   no data  --
534.39/134.05	c  N dy  2846    826688        80      7120         0     37025     49840    452257     22.89     24.56  --
547.13/137.30	c  N dy  2955    846697        80      7120         0     55390     49840    949898     22.91     25.62  --
564.68/141.70	c  N dy  3036    866766        80      7120         0     37247     49840    440881     22.92     24.16  --
576.25/144.58	c  N dy  3079    889104        80      7120         0     57519     49840    971943     22.89     24.14  --
595.39/149.39	c  N dy  3159    912666        80      7120         0     41649     49840    540687     22.89     24.27  --
609.39/152.89	c  N dy  3241    932721        80      7120         0     60088     49840   1039023     22.91     25.11  --
635.29/159.33	c  N dy  3335    966639        80      7120         0     52657     49840    812837     22.89     24.27  --
652.42/163.62	c  N dy  3424    987045        80      7120         0     71371     49840   1317296     22.90     24.26  --
669.18/167.81	c  N dy  3525   1007088        80      7120         0     50489     49840    749272     22.92     24.37  --
685.12/171.81	c  N dy  3599   1027113        80      7120         0     68841     49840   1242015     22.92     24.80  --
703.06/176.37	c  N dy  3673   1047997        80      7120         0     47606     49840    651402     22.93     24.26  --
721.41/180.97	c  N dy  3776   1070729        80      7120         0     68441     49840   1214762     22.94     24.27  --
722.61/181.27	c  F st  3787   1071875        80      7120         0     69495     49840   1243952     22.95     22.52  --
744.55/186.73	c  N dy  3847   1099622        80      7120         0     53564     49840    788042     22.94     24.16  --
829.89/208.19	c  N dy  3930   1210030        80      7120         0     68724     49840   1155271     22.72     19.39  --
829.89/208.19	c  S st  3930   1210030        80      7120         0     68724     49840   1155271     22.72     19.39  --
831.09/208.40	c  S st  3930   1210536        80      7120         0     69195     49840   1168551     22.72   no data  --
831.09/208.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
831.09/208.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
831.09/208.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
831.09/208.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
831.09/208.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
831.09/208.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
831.09/208.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
908.43/227.84	c lits-rem:      1621  cl-subs:     6989  v-elim:      0  v-fix:    0  time: 77.19 s
908.43/227.85	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
908.43/227.86	c vivif2 --  cl tried    62206 cl shrink        0 lits rem          0 time: 0.06
910.03/228.25	c asymm  cl-useful: 0/785/7120 lits-rem:0 time: 1.57
910.03/228.25	c calculated reachability. Time: 0.00
910.03/228.25	c  N dy  3930   1210536        80      7120         0     62206     49840   1006442     22.72   no data  --
935.55/234.64	c  N dy  4043   1233012        80      7120         0     82790     49840   1564788     22.74     23.98  --
954.71/239.42	c  N dy  4088   1255369        80      7120         0     59992     49840    927619     22.73     24.05  --
973.08/244.05	c  N dy  4147   1275449        80      7120         0     78338     49840   1417653     22.73     24.31  --
996.57/249.92	c  N dy  4259   1295510        80      7120         0     52344     49840    712892     22.75     23.96  --
1016.94/255.02	c  N dy  4360   1315567        80      7120         0     70749     49840   1213134     22.77     26.67  --
1037.26/260.18	c  N dy  4364   1336899        80      7120         0     90071     49840   1719903     22.74     23.95  --
1057.59/265.24	c  N dy  4497   1356955        80      7120         0     62942     49840    984268     22.76     24.05  --
1087.55/272.79	c  N dy  4597   1385392        80      7120         0     88852     49840   1678164     22.76     23.97  --
1108.64/278.08	c  N dy  4691   1409552        80      7120         0     64379     49840    995886     22.76     24.10  --
1129.38/283.23	c  N dy  4756   1430247        80      7120         0     83319     49840   1502747     22.77     23.99  --
1150.92/288.66	c  N dy  4811   1452950        80      7120         0     56557     49840    772803     22.77     24.13  --
1170.91/293.63	c  N dy  4948   1473002        80      7120         0     74953     49840   1277157     22.79     25.54  --
1197.98/300.44	c  N dy  5054   1496056        80      7120         0     96052     49840   1848054     22.80     24.03  --
1215.53/304.82	c  N dy  5144   1516077        80      7120         0     65926     49840   1008626     22.81     25.03  --
1236.29/310.07	c  N dy  5242   1536132        80      7120         0     84226     49840   1499671     22.81     24.97  --
1263.02/316.73	c  N dy  5379   1556192        80      7120         0     53264     49840    652583     22.83     24.24  --
1280.56/321.18	c  N dy  5473   1576275        80      7120         0     71671     49840   1150987     22.84     24.54  --
1305.65/327.48	c  N dy  5614   1596276        80      7120         0     90037     49840   1654758     22.86     24.08  --
1328.40/333.21	c  N dy  5694   1616446        80      7120         0     58072     49840    762173     22.87     24.09  --
1344.74/337.20	c  N dy  5718   1636500        80      7120         0     76378     49840   1251305     22.86     26.06  --
1367.47/342.97	c  N dy  5788   1656512        80      7120         0     94687     49840   1742259     22.86     25.64  --
1393.39/349.47	c  N dy  5888   1681274        80      7120         0     66001     49840    958662     22.87     24.19  --
1416.14/355.15	c  N dy  6007   1701282        80      7120         0     84316     49840   1456810     22.88     24.18  --
1428.88/358.35	c  S st  6052   1710536        80      7120         0     92806     49840   1688234     22.89     22.50  --
1430.07/358.67	c  S st  6052   1711044        80      7120         0     93283     49840   1701727     22.89   no data  --
1430.07/358.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1430.07/358.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1430.46/358.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1430.46/358.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1430.46/358.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1430.46/358.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1430.46/358.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1603.15/402.05	c lits-rem:      6082  cl-subs:     8339  v-elim:      0  v-fix:    0  time: 172.48 s
1603.15/402.05	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1603.15/402.07	c vivif2 --  cl tried    84944 cl shrink        0 lits rem          0 time: 0.08
1604.77/402.46	c asymm  cl-useful: 0/820/7120 lits-rem:0 time: 1.53
1604.77/402.46	c calculated reachability. Time: 0.00
1604.77/402.46	c  N dy  6052   1711044        80      7120         0     84944     49840   1461219     22.89   no data  --
1633.86/409.76	c  N dy  6126   1731068        80      7120         0    103180     49840   1952968     22.89     26.36  --
1657.00/415.51	c  N dy  6198   1751123        80      7120         0     69903     49840   1061573     22.89     26.69  --
1691.69/424.29	c  N dy  6320   1773636        80      7120         0     90533     49840   1623387     22.91     24.27  --
1729.17/433.61	c  N dy  6432   1793889        80      7120         0     56162     49840    668495     22.92     24.26  --
1752.31/439.48	c  N dy  6504   1813916        80      7120         0     74455     49840   1157664     22.91     25.28  --
1782.23/446.97	c  N dy  6611   1835138        80      7120         0     93877     49840   1686050     22.92     24.13  --
1821.29/456.75	c  N dy  6667   1869263        80      7120         0     70953     49840   1038787     22.90     24.14  --
1869.55/468.86	c  N dy  6771   1908292        80      7120         0    106403     49840   1979456     22.89     24.13  --
1891.48/474.31	c  N dy  6881   1928336        80      7120         0     70183     49840   1019976     22.90     24.11  --
1913.43/479.83	c  N dy  6961   1948501        80      7120         0     88567     49840   1515881     22.90     24.20  --
1944.13/487.57	c  N dy  7089   1968577        80      7120         0    106980     49840   2019193     22.91     25.43  --
1970.05/494.04	c  N dy  7171   1995497        80      7120         0     76003     49840   1151929     22.91     24.30  --
1994.38/500.14	c  N dy  7267   2016313        80      7120         0     94998     49840   1668225     22.92     24.17  --
2028.68/508.71	c  N dy  7347   2041998        80      7120         0     61796     49840    754404     22.92     24.22  --
2045.83/513.07	c  N dy  7388   2062044        80      7120         0     80055     49840   1245078     22.92     26.64  --
2071.75/519.56	c  N dy  7500   2082121        80      7120         0     98443     49840   1747224     22.93     27.00  --
2102.86/527.35	c  N dy  7552   2105831        80      7120         0     62528     49840    757641     22.92     24.16  --
2122.42/532.29	c  N dy  7645   2125994        80      7120         0     80948     49840   1258357     22.93     24.20  --
2153.12/539.98	c  N dy  7753   2146695        80      7120         0     99908     49840   1774177     22.94     24.33  --
2184.60/547.85	c  N dy  7847   2166862        80      7120         0     59887     49840    672442     22.95     24.23  --
2219.70/556.68	c  N dy  7919   2204876        80      7120         0     94437     49840   1580718     22.93     24.51  --
2227.71/558.68	c  S st  7937   2211045        80      7120         0    100072     49840   1731356     22.93     21.78  --
2228.88/558.98	c  S st  7937   2211547        80      7120         0    100541     49840   1744472     22.93   no data  --
2228.88/558.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2228.88/558.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2229.28/559.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2229.28/559.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2229.28/559.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2229.28/559.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2229.28/559.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2607.34/653.81	c lits-rem:      3672  cl-subs:    10272  v-elim:      0  v-fix:    0  time: 377.63 s
2607.34/653.81	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2607.34/653.84	c vivif2 --  cl tried    90269 cl shrink        0 lits rem          0 time: 0.09
2608.94/654.26	c asymm  cl-useful: 0/706/7120 lits-rem:0 time: 1.70
2608.94/654.26	c calculated reachability. Time: 0.00
2608.94/654.26	c  N dy  7937   2211547        80      7120         0     90269     49840   1472333     22.93   no data  --
2647.63/663.93	c  N dy  8050   2231647        80      7120         0    108671     49840   1972030     22.94     24.50  --
2679.14/671.90	c  N dy  8148   2251723        80      7120         0     68118     49840    884044     22.94     24.80  --
2739.75/687.08	c  N dy  8212   2302415        80      7120         0    113995     49840   2098239     22.92     24.25  --
2765.67/693.60	c  N dy  8271   2322418        80      7120         0     72373     49840    984849     22.92     24.42  --
2795.18/700.97	c  N dy  8382   2343845        80      7120         0     92011     49840   1521616     22.93     24.26  --
2829.13/709.42	c  N dy  8490   2363849        80      7120         0    110303     49840   2020831     22.94     24.23  --
2871.35/720.06	c  N dy  8545   2396372        80      7120         0     78923     49840   1139835     22.93     24.24  --
2903.28/728.03	c  N dy  8670   2416837        80      7120         0     97668     49840   1653574     22.94     24.18  --
2955.92/741.30	c  N dy  8745   2450537        80      7120         0     66462     49840    790399     22.93     24.26  --
2978.62/746.90	c  N dy  8854   2470572        80      7120         0     84829     49840   1292383     22.94     25.70  --
3007.75/754.22	c  N dy  8964   2491518        80      7120         0    103989     49840   1814371     22.95     24.37  --
3038.46/761.95	c  N dy  9035   2511559        80      7120         0    122304     49840   2305433     22.95     24.72  --
3063.17/768.13	c  N dy  9131   2531574        80      7120         0     77656     49840   1079637     22.95     25.54  --
3091.91/775.40	c  N dy  9233   2554968        80      7120         0     99030     49840   1658230     22.96     24.28  --
3124.99/783.63	c  N dy  9354   2575062        80      7120         0    117427     49840   2160629     22.97     25.90  --
3187.62/799.38	c  N dy  9400   2630660        80      7120         0    103633     49840   1726149     22.94     24.21  --
3224.68/808.65	c  N dy  9519   2650679        80      7120         0    121959     49840   2226001     22.95     24.20  --
3256.59/816.68	c  N dy  9564   2671888        80      7120         0     76674     49840   1021664     22.95     24.18  --
3280.13/822.55	c  N dy  9626   2691994        80      7120         0     95030     49840   1516813     22.95     24.21  --
3305.66/828.95	c  S st  9673   2711547        80      7120         0    112772     49840   1990417     22.94   no data  --
3306.87/829.28	c  S st  9673   2712049        80      7120         0    113235     49840   2003506     22.94   no data  --
3306.87/829.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3306.87/829.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3307.29/829.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3307.64/829.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3307.64/829.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3307.64/829.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3307.64/829.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3919.81/982.95	c lits-rem:      6949  cl-subs:    10795  v-elim:      0  v-fix:    0  time: 612.18 s
3919.81/982.96	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3919.81/982.98	c vivif2 --  cl tried   102440 cl shrink        0 lits rem          0 time: 0.11
3921.79/983.49	c asymm  cl-useful: 0/546/7120 lits-rem:0 time: 2.03
3921.79/983.50	c calculated reachability. Time: 0.00
3921.79/983.50	c  N dy  9673   2712049        80      7120         0    102440     49840   1706281     22.94   no data  --
3960.50/993.17	c  N dy  9737   2732078        80      7120         0    120669     49840   2194968     22.94     25.17  --
3999.17/1002.81	c  N dy  9824   2752397        80      7120         0     74189     49840    946989     22.95     24.16  --
4033.86/1011.59	c  N dy  9954   2773632        80      7120         0     93663     49840   1481339     22.96     24.31  --
4068.96/1020.32	c  N dy 10010   2793673        80      7120         0    111967     49840   1973583     22.96     24.84  --
4114.47/1031.79	c  N dy 10011   2823807        80      7120         0     72989     49840    888686     22.94     24.21  --
4144.76/1039.32	c  N dy 10065   2845892        80      7120         0     93143     49840   1435963     22.94     24.18  --
4183.02/1048.94	c  N dy 10118   2869583        80      7120         0    114625     49840   2010291     22.93     24.23  --
4238.04/1062.77	c  N dy 10228   2889626        80      7120         0    132951     49840   2510094     22.94     25.50  --
4274.32/1071.86	c  N dy 10339   2909661        80      7120         0     83981     49840   1182297     22.95     25.50  --
4314.59/1081.95	c  N dy 10424   2931019        80      7120         0    103534     49840   1713815     22.95     24.17  --
4363.64/1094.29	c  N dy 10550   2951021        80      7120         0    121831     49840   2214301     22.96     24.62  --
4413.08/1106.63	c  N dy 10640   2971032        80      7120         0     71741     49840    830048     22.97     26.18  --
4448.58/1115.59	c  N dy 10758   2991831        80      7120         0     90859     49840   1354382     22.98     24.28  --
4484.46/1124.53	c  N dy 10812   3012733        80      7120         0    109844     49840   1868398     22.97     24.24  --
4533.12/1136.75	c  N dy 10891   3034090        80      7120         0    129268     49840   2396173     22.98     24.19  --
4582.58/1149.15	c  N dy 10996   3057791        80      7120         0     81560     49840   1078175     22.98     24.32  --
4612.49/1156.62	c  N dy 11063   3077874        80      7120         0     99863     49840   1572573     22.98     24.21  --
4656.75/1167.74	c  N dy 11123   3104681        80      7120         0    124302     49840   2228768     22.98     24.21  --
4695.43/1177.49	c  N dy 11163   3124854        80      7120         0     72451     49840    815710     22.98     24.24  --
4720.56/1183.72	c  N dy 11222   3145109        80      7120         0     90831     49840   1307869     22.98     24.22  --
4755.25/1192.40	c  N dy 11336   3165129        80      7120         0    109144     49840   1808644     22.98     24.40  --
4791.94/1201.63	c  N dy 11426   3186671        80      7120         0    128788     49840   2343628     22.99     24.35  --

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-3368707-1305401125/watcher-3368707-1305401125 -o /tmp/evaluation-result-3368707-1305401125/solver-3368707-1305401125 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368707-1305401125.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: 8.42 8.20 8.11 6/367 7422
/proc/meminfo: memFree=30327084/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 632528819 52465664 357 33554432000 4194304 4650419 140734931949056 18446744073709551615 212039655355 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 12809 357 306 112 0 7774 0
[pid=7422/tid=7423] ppid=7420 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632528819 52465664 357 33554432000 4194304 4650419 140734931949056 18446744073709551615 47919758133170 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632528819 52465664 357 33554432000 4194304 4650419 140734931949056 18446744073709551615 47919758132759 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632528819 52465664 357 33554432000 4194304 4650419 140734931949056 18446744073709551615 47919758132761 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.18199 s]
/proc/loadavg: 8.42 8.20 8.11 6/367 7422
/proc/meminfo: memFree=30327084/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=219500 CPUtime=0.69 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 2662 0 0 0 69 0 0 0 18 0 4 0 632528819 224768000 2127 33554432000 4194304 4650419 140734931949056 18446744073709551615 212039316513 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 54929 2208 378 112 0 49894 0
[pid=7422/tid=7423] ppid=7420 vsize=219716 CPUtime=0.16 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) D 7420 7422 7181 0 -1 4202560 428 0 0 0 16 0 0 0 18 0 4 0 632528819 224989184 2289 33554432000 4194304 4650419 140734931949056 18446744073709551615 212039316513 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=219716 CPUtime=0.17 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 683 0 0 0 17 0 0 0 18 0 4 0 632528819 224989184 2333 33554432000 4194304 4650419 140734931949056 18446744073709551615 212039352075 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=219980 CPUtime=0.17 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 661 0 0 0 17 0 0 0 18 0 4 0 632528819 225259520 2438 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 219500

[startup+1.1135 s]
/proc/loadavg: 8.42 8.20 8.11 6/367 7422
/proc/meminfo: memFree=30327084/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=222800 CPUtime=4.41 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 8428 0 0 0 440 1 0 0 19 0 4 0 632528819 228147200 4229 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 55700 4229 391 112 0 50665 0
[pid=7422/tid=7423] ppid=7420 vsize=222800 CPUtime=1.09 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 1999 0 0 0 109 0 0 0 19 0 4 0 632528819 228147200 4229 33554432000 4194304 4650419 140734931949056 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=222800 CPUtime=1.1 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 2079 0 0 0 110 0 0 0 19 0 4 0 632528819 228147200 4230 33554432000 4194304 4650419 140734931949056 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=222800 CPUtime=1.1 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 1900 0 0 0 110 0 0 0 19 0 4 0 632528819 228147200 4230 33554432000 4194304 4650419 140734931949056 18446744073709551615 4331967 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 222800

[startup+1.21348 s]
/proc/loadavg: 8.42 8.20 8.11 6/367 7422
/proc/meminfo: memFree=30327084/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=222800 CPUtime=4.81 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 8673 0 0 0 480 1 0 0 19 0 4 0 632528819 228147200 4474 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 55700 4474 391 112 0 50665 0
[pid=7422/tid=7423] ppid=7420 vsize=222800 CPUtime=1.19 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 2078 0 0 0 119 0 0 0 19 0 4 0 632528819 228147200 4474 33554432000 4194304 4650419 140734931949056 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=222800 CPUtime=1.2 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 2129 0 0 0 120 0 0 0 19 0 4 0 632528819 228147200 4474 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=222800 CPUtime=1.2 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 1959 0 0 0 120 0 0 0 19 0 4 0 632528819 228147200 4474 33554432000 4194304 4650419 140734931949056 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 222800

[startup+1.31346 s]
/proc/loadavg: 8.42 8.20 8.11 6/367 7422
/proc/meminfo: memFree=30327084/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=222980 CPUtime=5.21 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 9416 0 0 0 520 1 0 0 19 0 4 0 632528819 228331520 4404 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 55745 4404 391 112 0 50710 0
[pid=7422/tid=7423] ppid=7420 vsize=222980 CPUtime=1.29 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 2380 0 0 0 129 0 0 0 19 0 4 0 632528819 228331520 4404 33554432000 4194304 4650419 140734931949056 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=222980 CPUtime=1.3 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 2460 0 0 0 130 0 0 0 19 0 4 0 632528819 228331520 4404 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=222980 CPUtime=1.3 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 2015 0 0 0 130 0 0 0 19 0 4 0 632528819 228331520 4404 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 222980

[startup+1.51343 s]
/proc/loadavg: 8.42 8.20 8.11 6/367 7422
/proc/meminfo: memFree=30327084/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=223056 CPUtime=6.02 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 10116 0 0 0 600 2 0 0 19 0 4 0 632528819 228409344 4701 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 55764 4701 391 112 0 50729 0
[pid=7422/tid=7423] ppid=7420 vsize=223056 CPUtime=1.49 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 2500 0 0 0 149 0 0 0 19 0 4 0 632528819 228409344 4701 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=223056 CPUtime=1.5 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 2574 0 0 0 150 0 0 0 20 0 4 0 632528819 228409344 4701 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=223056 CPUtime=1.5 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 2116 0 0 0 150 0 0 0 20 0 4 0 632528819 228409344 4701 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 223056

[startup+3.10115 s]
/proc/loadavg: 8.55 8.23 8.12 9/371 7426
/proc/meminfo: memFree=30237532/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=242696 CPUtime=12.37 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 19182 0 0 0 1234 3 0 0 24 0 4 0 632528819 248520704 11873 33554432000 4194304 4650419 140734931949056 18446744073709551615 4370647 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 60674 11873 392 112 0 55639 0
[pid=7422/tid=7423] ppid=7420 vsize=242696 CPUtime=3.07 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 4129 0 0 0 306 1 0 0 24 0 4 0 632528819 248520704 11873 33554432000 4194304 4650419 140734931949056 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=242696 CPUtime=3.09 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 5339 0 0 0 309 0 0 0 25 0 4 0 632528819 248520704 11873 33554432000 4194304 4650419 140734931949056 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=242696 CPUtime=3.1 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 5261 0 0 0 310 0 0 0 25 0 4 0 632528819 248520704 11873 33554432000 4194304 4650419 140734931949056 18446744073709551615 4370593 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 242696

[startup+6.30057 s]
/proc/loadavg: 8.55 8.23 8.12 9/371 7426
/proc/meminfo: memFree=30218068/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=231940 CPUtime=25.11 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 27547 0 0 0 2507 4 0 0 25 0 4 0 632528819 237506560 14198 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 57985 14198 392 112 0 52950 0
[pid=7422/tid=7423] ppid=7420 vsize=231940 CPUtime=6.23 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 7424 0 0 0 622 1 0 0 25 0 4 0 632528819 237506560 14198 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=231940 CPUtime=6.28 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 6544 0 0 0 628 0 0 0 25 0 4 0 632528819 237506560 14198 33554432000 4194304 4650419 140734931949056 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=231940 CPUtime=6.29 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 7281 0 0 0 628 1 0 0 25 0 4 0 632528819 237506560 14198 33554432000 4194304 4650419 140734931949056 18446744073709551615 4331298 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 231940

[startup+12.7004 s]
/proc/loadavg: 8.46 8.22 8.12 9/371 7427
/proc/meminfo: memFree=30158784/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=252200 CPUtime=50.62 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 39205 0 0 0 5056 6 0 0 25 0 4 0 632528819 258252800 20583 33554432000 4194304 4650419 140734931949056 18446744073709551615 4370626 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 63050 20583 392 112 0 58015 0
[pid=7422/tid=7423] ppid=7420 vsize=252200 CPUtime=12.54 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 9446 0 0 0 1253 1 0 0 25 0 4 0 632528819 258252800 20583 33554432000 4194304 4650419 140734931949056 18446744073709551615 4439648 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=252200 CPUtime=12.68 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 9641 0 0 0 1267 1 0 0 25 0 4 0 632528819 258252800 20583 33554432000 4194304 4650419 140734931949056 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=252200 CPUtime=12.68 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 10350 0 0 0 1267 1 0 0 25 0 4 0 632528819 258252800 20583 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 252200

[startup+25.5011 s]
/proc/loadavg: 8.46 8.23 8.12 9/371 7427
/proc/meminfo: memFree=30103708/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=238052 CPUtime=101.68 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 59758 0 0 0 10157 11 0 0 25 0 4 0 632528819 243765248 25584 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 59513 25584 392 112 0 54478 0
[pid=7422/tid=7423] ppid=7420 vsize=238052 CPUtime=25.2 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 14338 0 0 0 2517 3 0 0 25 0 4 0 632528819 243765248 25584 33554432000 4194304 4650419 140734931949056 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=238052 CPUtime=25.48 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 15411 0 0 0 2546 2 0 0 25 0 4 0 632528819 243765248 25584 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=238052 CPUtime=25.49 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 14204 0 0 0 2547 2 0 0 25 0 4 0 632528819 243765248 25585 33554432000 4194304 4650419 140734931949056 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 238052

[startup+51.1006 s]
/proc/loadavg: 8.38 8.23 8.12 9/371 7428
/proc/meminfo: memFree=30049040/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=247960 CPUtime=203.76 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 88350 0 0 0 20356 20 0 0 25 0 4 0 632528819 253911040 29513 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 61990 29513 392 112 0 56955 0
[pid=7422/tid=7423] ppid=7420 vsize=247960 CPUtime=50.49 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 21467 0 0 0 5044 5 0 0 25 0 4 0 632528819 253911040 29513 33554432000 4194304 4650419 140734931949056 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=247960 CPUtime=51.08 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 22185 0 0 0 5104 4 0 0 25 0 4 0 632528819 253911040 29513 33554432000 4194304 4650419 140734931949056 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=247960 CPUtime=51.09 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 22401 0 0 0 5104 5 0 0 25 0 4 0 632528819 253911040 29513 33554432000 4194304 4650419 140734931949056 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 247960

[startup+102.3 s]
/proc/loadavg: 8.27 8.22 8.12 9/371 7429
/proc/meminfo: memFree=29974104/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=291900 CPUtime=407.94 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 135121 0 0 0 40758 36 0 0 25 0 4 0 632528819 298905600 40949 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 72975 40949 392 112 0 67940 0
[pid=7422/tid=7423] ppid=7420 vsize=291900 CPUtime=101.09 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 31980 0 0 0 10100 9 0 0 25 0 4 0 632528819 298905600 40949 33554432000 4194304 4650419 140734931949056 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=291900 CPUtime=102.28 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 34433 0 0 0 10219 9 0 0 25 0 4 0 632528819 298905600 40949 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=291900 CPUtime=102.28 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 35405 0 0 0 10219 9 0 0 25 0 4 0 632528819 298905600 40950 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.94
Current children cumulated vsize (KiB) 291900

[startup+162.301 s]

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

[pid=7422] ppid=7420 vsize=482064 CPUtime=2800.76 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 402142 0 0 0 279935 141 0 0 25 0 4 0 632528819 493633536 84454 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 120516 84454 392 112 0 115481 0
[pid=7422/tid=7423] ppid=7420 vsize=482064 CPUtime=694.01 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 100147 0 0 0 69372 29 0 0 25 0 4 0 632528819 493633536 84454 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=482064 CPUtime=702.27 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 99950 0 0 0 70187 40 0 0 25 0 4 0 632528819 493633536 84454 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=482064 CPUtime=702.3 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 107057 0 0 0 70187 43 0 0 25 0 4 0 632528819 493633536 84454 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.76
Current children cumulated vsize (KiB) 482064

[startup+762.301 s]
/proc/loadavg: 8.08 8.11 8.09 9/371 7447
/proc/meminfo: memFree=29461596/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=481924 CPUtime=3040.03 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 416962 0 0 0 303856 147 0 0 25 0 4 0 632528819 493490176 85160 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 120481 85160 392 112 0 115446 0
[pid=7422/tid=7423] ppid=7420 vsize=481924 CPUtime=753.3 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 100832 0 0 0 75300 30 0 0 25 0 4 0 632528819 493490176 85160 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=481924 CPUtime=762.27 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 106627 0 0 0 76185 42 0 0 25 0 4 0 632528819 493490176 85160 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=481924 CPUtime=762.3 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 108667 0 0 0 76186 44 0 0 25 0 4 0 632528819 493490176 85160 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.03
Current children cumulated vsize (KiB) 481924

[startup+822.301 s]
/proc/loadavg: 8.19 8.12 8.09 9/371 7448
/proc/meminfo: memFree=29499112/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=482968 CPUtime=3279.33 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 441886 0 0 0 327776 157 0 0 25 0 4 0 632528819 494559232 79452 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 120742 79452 392 112 0 115707 0
[pid=7422/tid=7423] ppid=7420 vsize=482968 CPUtime=812.59 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 106311 0 0 0 81227 32 0 0 25 0 4 0 632528819 494559232 79452 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=482968 CPUtime=822.28 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 113487 0 0 0 82183 45 0 0 25 0 4 0 632528819 494559232 79452 33554432000 4194304 4650419 140734931949056 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=482968 CPUtime=822.3 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 116302 0 0 0 82183 47 0 0 25 0 4 0 632528819 494559232 79452 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.33
Current children cumulated vsize (KiB) 482968

[startup+882.301 s]
/proc/loadavg: 8.14 8.11 8.09 9/371 7450
/proc/meminfo: memFree=29439536/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=483224 CPUtime=3518.61 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 464804 0 0 0 351695 166 0 0 25 0 4 0 632528819 494821376 84941 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 120806 84941 392 112 0 115771 0
[pid=7422/tid=7423] ppid=7420 vsize=483224 CPUtime=871.88 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 109517 0 0 0 87154 34 0 0 25 0 4 0 632528819 494821376 84941 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=483224 CPUtime=882.27 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 119716 0 0 0 88180 47 0 0 25 0 4 0 632528819 494821376 84941 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=483224 CPUtime=882.3 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 122325 0 0 0 88180 50 0 0 25 0 4 0 632528819 494821376 84941 33554432000 4194304 4650419 140734931949056 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.61
Current children cumulated vsize (KiB) 483224

[startup+942.3 s]
/proc/loadavg: 8.08 8.10 8.09 9/371 7451
/proc/meminfo: memFree=29434920/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=483320 CPUtime=3757.89 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 477101 0 0 0 375615 174 0 0 25 0 4 0 632528819 494919680 87922 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 120830 87922 392 112 0 115795 0
[pid=7422/tid=7423] ppid=7420 vsize=483320 CPUtime=931.18 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 111492 0 0 0 93083 35 0 0 25 0 4 0 632528819 494919680 87922 33554432000 4194304 4650419 140734931949056 18446744073709551615 4439153 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=483320 CPUtime=942.27 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 124926 0 0 0 94176 51 0 0 25 0 4 0 632528819 494919680 87922 33554432000 4194304 4650419 140734931949056 18446744073709551615 4304127 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=483320 CPUtime=942.31 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 127436 0 0 0 94177 54 0 0 25 0 4 0 632528819 494919680 87922 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.89
Current children cumulated vsize (KiB) 483320

[startup+1002.3 s]
/proc/loadavg: 8.15 8.11 8.09 9/371 7453
/proc/meminfo: memFree=29418484/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=496236 CPUtime=3997.17 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 488508 0 0 0 399538 179 0 0 25 0 4 0 632528819 508145664 88672 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 124059 88672 392 112 0 119024 0
[pid=7422/tid=7423] ppid=7420 vsize=496236 CPUtime=990.46 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 115505 0 0 0 99011 35 0 0 25 0 4 0 632528819 508145664 88672 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=496236 CPUtime=1002.28 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 130328 0 0 0 100174 54 0 0 25 0 4 0 632528819 508145664 88672 33554432000 4194304 4650419 140734931949056 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=496236 CPUtime=1002.31 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 127436 0 0 0 100177 54 0 0 25 0 4 0 632528819 508145664 88672 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.17
Current children cumulated vsize (KiB) 496236

[startup+1062.3 s]
/proc/loadavg: 8.05 8.09 8.09 9/371 7455
/proc/meminfo: memFree=29407400/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=496300 CPUtime=4236.45 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 504070 0 0 0 423460 185 0 0 25 0 4 0 632528819 508211200 90842 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 124075 90842 392 112 0 119040 0
[pid=7422/tid=7423] ppid=7420 vsize=496300 CPUtime=1049.75 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 125429 0 0 0 104938 37 0 0 25 0 4 0 632528819 508211200 90842 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=496300 CPUtime=1062.27 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 133828 0 0 0 106171 56 0 0 25 0 4 0 632528819 508211200 90842 33554432000 4194304 4650419 140734931949056 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=496300 CPUtime=1062.31 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 127436 0 0 0 106177 54 0 0 25 0 4 0 632528819 508211200 90842 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4236.45
Current children cumulated vsize (KiB) 496300

[startup+1122.3 s]
/proc/loadavg: 8.02 8.07 8.08 9/371 7456
/proc/meminfo: memFree=29394324/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=500336 CPUtime=4475.69 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 515296 0 0 0 447381 188 0 0 25 0 4 0 632528819 512344064 93495 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 125084 93495 392 112 0 120049 0
[pid=7422/tid=7423] ppid=7420 vsize=500336 CPUtime=1109 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 133627 0 0 0 110862 38 0 0 25 0 4 0 632528819 512344064 93495 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=500336 CPUtime=1122.27 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 133828 0 0 0 112171 56 0 0 25 0 4 0 632528819 512344064 93495 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=500336 CPUtime=1122.31 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 127436 0 0 0 112177 54 0 0 25 0 4 0 632528819 512344064 93495 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4475.69
Current children cumulated vsize (KiB) 500336

[startup+1182.3 s]
/proc/loadavg: 8.10 8.08 8.08 9/371 7458
/proc/meminfo: memFree=29369108/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=552704 CPUtime=4714.99 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 527559 0 0 0 471307 192 0 0 25 0 4 0 632528819 565968896 99231 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 138176 99231 392 112 0 133141 0
[pid=7422/tid=7423] ppid=7420 vsize=552704 CPUtime=1168.3 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 139263 0 0 0 116790 40 0 0 25 0 4 0 632528819 565968896 99232 33554432000 4194304 4650419 140734931949056 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=552704 CPUtime=1182.29 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 133828 0 0 0 118173 56 0 0 25 0 4 0 632528819 565968896 99232 33554432000 4194304 4650419 140734931949056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=552704 CPUtime=1182.32 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 128445 0 0 0 118178 54 0 0 25 0 4 0 632528819 565968896 99232 33554432000 4194304 4650419 140734931949056 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4714.99
Current children cumulated vsize (KiB) 552704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.14 8.09 8.09 5/366 7459
/proc/meminfo: memFree=29937780/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=552704 CPUtime=4800.33 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 529995 0 0 0 479839 194 0 0 25 0 4 0 632528819 565968896 98601 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 138176 98601 392 112 0 133141 0
[pid=7422/tid=7423] ppid=7420 vsize=552704 CPUtime=1189.44 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 139587 0 0 0 118904 40 0 0 25 0 4 0 632528819 565968896 98603 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=552704 CPUtime=1203.69 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 134610 0 0 0 120312 57 0 0 25 0 4 0 632528819 565968896 98603 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=552704 CPUtime=1203.72 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 128445 0 0 0 120318 54 0 0 25 0 4 0 632528819 565968896 98603 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 552704

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

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

[startup+1203.7 s]
/proc/loadavg: 8.14 8.09 8.09 5/366 7459
/proc/meminfo: memFree=29937780/32951124 swapFree=51873460/67111528
[pid=7422] ppid=7420 vsize=552704 CPUtime=4800.33 cores=0,2,4,6
/proc/7422/stat : 7422 (strangenight1-m) R 7420 7422 7181 0 -1 4202496 529995 0 0 0 479839 194 0 0 25 0 4 0 632528819 565968896 98601 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7422/statm: 138176 98601 392 112 0 133141 0
[pid=7422/tid=7423] ppid=7420 vsize=552704 CPUtime=1189.44 cores=0,2,4,6
/proc/7422/task/7423/stat : 7423 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 139587 0 0 0 118904 40 0 0 25 0 4 0 632528819 565968896 98603 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7422/tid=7424] ppid=7420 vsize=552704 CPUtime=1203.69 cores=0,2,4,6
/proc/7422/task/7424/stat : 7424 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 134610 0 0 0 120312 57 0 0 25 0 4 0 632528819 565968896 98603 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7422/tid=7425] ppid=7420 vsize=552704 CPUtime=1203.72 cores=0,2,4,6
/proc/7422/task/7425/stat : 7425 (strangenight1-m) R 7420 7422 7181 0 -1 4202560 128445 0 0 0 120318 54 0 0 25 0 4 0 632528819 565968896 98603 33554432000 4194304 4650419 140734931949056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 552704

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.74
CPU time (s): 4800.41
CPU user time (s): 4798.44
CPU system time (s): 1.9687
CPU usage (%): 398.792
Max. virtual memory (cumulated for all children) (KiB): 618528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.44
system time used= 1.9687
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529997
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= 718
involuntary context switches= 36486

runsolver used 3.9404 second user time and 10.3654 second system time

The end

Launcher Data 

Begin job on node146 at 2011-05-14 21:25:26
IDJOB=3368707
IDBENCH=82716
IDSOLVER=1846
FILE ID=node146/3368707-1305401125
RUNJOBID= node146-1305398713-7199
PBS_JOBID= 13324493
Free space on /tmp= 73268 MiB

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

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

MD5SUM BENCH= 6317a356b3e87abef9291d8243489542
RANDOM SEED=1648741574

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30327488 kB
Buffers:         49612 kB
Cached:          99112 kB
SwapCached:      56048 kB
Active:         749152 kB
Inactive:      1653700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30327488 kB
SwapTotal:    67111528 kB
SwapFree:     51873460 kB
Dirty:           13808 kB
Writeback:           0 kB
AnonPages:     2204700 kB
Mapped:          17340 kB
Slab:            96316 kB
PageTables:      58792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81850808 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= 73268 MiB
End job on node146 at 2011-05-14 21:45:31