Trace number 3175098

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.33 1201.73

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.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-3175098-1304086898.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	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.02 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.38/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.38/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.38/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.38/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
3.18/0.89	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.89	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.18/0.89	c calculated reachability. Time: 0.00
3.18/0.89	c Calc default polars -  time:   0.00 s pos:      39 undec:       1 neg:      40
3.18/0.89	c =========================================================================================
3.18/0.89	c types(t): F = full restart, N = normal restart
3.18/0.89	c types(t): S = simplification begin/end, E = solution found
3.18/0.89	c restart types(rt): st = static, dy = dynamic
3.18/0.89	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.89	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
3.18/0.89	c  N dy     9      4021        80      7120         0      3683     49840    100663     23.45     24.96  --
3.18/0.89	c  N dy    10     14647        80      7120         0      7201     49840    170957     21.83     23.03  --
3.99/1.01	c  N dy    21     18749        80      7120         0      5820     49840    121345     21.59     22.85  --
4.77/1.21	c  N dy    60     22829        80      7120         0      9601     49840    224265     22.18     25.64  --
5.17/1.31	c  F st    77     25000        80      7120         0     11593     49840    277193     22.33   no data  --
5.56/1.41	c  N st    81     27033        80      7120         0      7198     49840    143813     22.33   no data  --
5.96/1.51	c  S st    83     30000        80      7120         0      9918     49840    218772     22.33   no data  --
5.96/1.53	c  S st    83     30504        80      7120         0     10388     49840    231710     22.33   no data  --
5.96/1.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.96/1.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.96/1.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.36/2.66	c lits-rem:      1751  cl-subs:      782  v-elim:      0  v-fix:    0  time:  4.45 s
11.97/3.00	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.35
11.97/3.00	c calculated reachability. Time: 0.00
11.97/3.00	c  N dy    83     30504        80      7120         0      9606     49840    206655     22.33   no data  --
13.18/3.37	c  N dy   109     37058        80      7120         0      8412     49840    159423     22.52     23.79  --
13.96/3.60	c  N dy   144     41099        80      7120         0     12153     49840    261886     22.76     24.08  --
15.16/3.84	c  N dy   156     45121        80      7120         0     15852     49840    360657     22.76     24.27  --
15.16/3.88	c  S st   159     45757        80      7120         0     16435     49840    376389     22.78     22.80  --
15.56/3.93	c  S st   159     46262        80      7120         0      8678     49840    152721     22.78   no data  --
15.56/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.56/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.56/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.56/3.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.75/4.75	c lits-rem:       121  cl-subs:       44  v-elim:      0  v-fix:    0  time:  3.26 s
18.75/4.75	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.75/4.76	c vivif2 --  cl tried     8634 cl shrink        0 lits rem          0 time: 0.01
19.94/5.04	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.13
19.94/5.04	c calculated reachability. Time: 0.00
19.94/5.04	c  N dy   159     46262        80      7120         0      8634     49840    151182     22.78   no data  --
21.56/5.50	c  N dy   169     54894        80      7120         0     16566     49840    360265     22.60     23.88  --
22.74/5.78	c  N dy   199     58983        80      7120         0     11180     49840    206220     22.72     25.01  --
23.94/6.05	c  N dy   219     63193        80      7120         0     15088     49840    311358     22.76     24.08  --
25.54/6.46	c  N dy   221     69395        80      7120         0     10613     49840    174907     22.61     19.80  --
25.54/6.46	c  S st   221     69395        80      7120         0     10613     49840    174907     22.61     19.80  --
25.54/6.50	c  S st   221     69902        80      7120         0     11095     49840    188227     22.61   no data  --
25.54/6.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.96/6.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
25.96/6.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.96/6.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.96/6.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.96/6.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.53/7.43	c lits-rem:       366  cl-subs:      166  v-elim:      0  v-fix:    0  time:  3.66 s
29.53/7.43	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.53/7.43	c vivif2 --  cl tried    10929 cl shrink        0 lits rem          0 time: 0.01
30.76/7.77	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.35
30.76/7.77	c calculated reachability. Time: 0.00
30.76/7.77	c  N dy   221     69902        80      7120         0     10929     49840    183401     22.61   no data  --
33.53/8.42	c  N dy   242     80136        80      7120         0     20267     49840    429563     22.54     23.73  --
34.75/8.80	c  N dy   273     85250        80      7120         0     13971     49840    253461     22.62     25.18  --
35.53/8.98	c  F st   290     87502        80      7120         0     16067     49840    309838     22.66     23.07  --
36.73/9.21	c  N st   295     90802        80      7120         0     19108     49840    392285     22.66   no data  --
39.15/9.84	c  N dy   298     99539        80      7120         0     15210     49840    268459     22.55     23.76  --
40.72/10.24	c  S st   336    104853        80      7120         0     20128     49840    401988     22.65     22.85  --
41.12/10.30	c  S st   336    105353        80      7120         0     20602     49840    414785     22.65   no data  --
41.12/10.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.12/10.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.12/10.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
41.12/10.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.12/10.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.12/10.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
41.12/10.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.33/12.13	c lits-rem:      2228  cl-subs:     1527  v-elim:      0  v-fix:    0  time:  7.21 s
48.33/12.13	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
48.33/12.13	c vivif2 --  cl tried    19075 cl shrink        0 lits rem          0 time: 0.02
49.91/12.53	c asymm  cl-useful: 0/5014/7120 lits-rem:0 time: 1.58
49.91/12.53	c calculated reachability. Time: 0.00
49.91/12.53	c  N dy   336    105353        80      7120         0     19075     49840    369983     22.65   no data  --
52.73/13.24	c  N dy   369    113688        80      7120         0     13898     49840    219028     22.69     23.89  --
60.30/15.10	c  N dy   389    138788        80      7120         0     22929     49840    439749     22.34     23.54  --
63.10/15.84	c  N dy   414    147652        80      7120         0     16512     49840    262186     22.34     25.00  --
66.29/16.66	c  N dy   487    157326        80      7120         0     25452     49840    504811     22.46     23.70  --
66.69/16.73	c  S st   494    158032        80      7120         0     26104     49840    522955     22.47   no data  --
67.09/16.80	c  S st   494    158536        80      7120         0     26566     49840    535617     22.47   no data  --
67.09/16.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.09/16.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
67.09/16.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
67.09/16.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.09/16.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.09/16.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
67.09/16.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.48/19.43	c lits-rem:      2445  cl-subs:     1908  v-elim:      0  v-fix:    0  time: 10.39 s
77.48/19.43	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
77.48/19.44	c vivif2 --  cl tried    24658 cl shrink        0 lits rem          0 time: 0.02
78.28/19.67	c asymm  cl-useful: 0/1789/7120 lits-rem:0 time: 0.92
78.28/19.67	c calculated reachability. Time: 0.00
78.28/19.67	c  N dy   494    158536        80      7120         0     24658     49840    476813     22.47   no data  --
82.67/20.71	c  N dy   556    169227        80      7120         0     18976     49840    311882     22.55     23.74  --
87.88/22.02	c  N dy   570    184543        80      7120         0     16493     49840    233979     22.44     23.77  --
91.88/23.03	c  N dy   639    196329        80      7120         0     27330     49840    525500     22.52     25.11  --
97.45/24.43	c  N dy   707    208923        80      7120         0     21555     49840    354128     22.57     24.61  --
103.45/25.96	c  N dy   803    222285        80      7120         0     33839     49840    688067     22.68     25.91  --
109.86/27.53	c  N dy   867    237804        80      7120         0     29761     49840    555341     22.71     20.79  --
109.86/27.53	c  S st   867    237804        80      7120         0     29761     49840    555341     22.71     20.79  --
110.23/27.61	c  S st   867    238308        80      7120         0     30234     49840    568573     22.71   no data  --
110.23/27.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
110.23/27.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.23/27.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
110.23/27.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.23/27.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.23/27.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
110.23/27.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.22/30.62	c lits-rem:      1760  cl-subs:     2222  v-elim:      0  v-fix:    0  time: 11.92 s
122.22/30.62	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
122.22/30.62	c vivif2 --  cl tried    28012 cl shrink        0 lits rem          0 time: 0.02
123.03/30.81	c asymm  cl-useful: 0/2090/7120 lits-rem:0 time: 0.73
123.03/30.81	c calculated reachability. Time: 0.00
123.03/30.81	c  N dy   867    238308        80      7120         0     28012     49840    504360     22.71   no data  --
129.41/32.45	c  N dy   937    253662        80      7120         0     22911     49840    354826     22.76     24.01  --
136.22/34.13	c  N dy   964    272378        80      7120         0     39959     49840    802637     22.68     23.98  --
142.99/35.86	c  N dy  1024    289770        80      7120         0     35781     49840    684541     22.70     25.24  --
150.58/37.77	c  F st  1103    306250        80      7120         0     29895     49840    515500     22.75     22.74  --
151.38/37.96	c  N st  1107    308282        80      7120         0     31763     49840    567299     22.75   no data  --
160.97/40.33	c  N dy  1191    328318        80      7120         0     28112     49840    451125     22.79     24.06  --
170.16/42.70	c  N dy  1222    348610        80      7120         0     23790     49840    317130     22.75     23.98  --
174.16/43.60	c  S st  1275    357463        80      7120         0     31970     49840    539402     22.78   no data  --
174.16/43.68	c  S st  1275    357969        80      7120         0     32450     49840    552626     22.78   no data  --
174.16/43.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
174.16/43.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
174.56/43.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
174.56/43.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
174.56/43.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
174.56/43.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
174.56/43.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
185.73/46.55	c lits-rem:      1448  cl-subs:     1682  v-elim:      0  v-fix:    0  time: 11.33 s
185.73/46.55	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
185.73/46.56	c vivif2 --  cl tried    30768 cl shrink        0 lits rem          0 time: 0.03
186.93/46.81	c asymm  cl-useful: 0/1629/7120 lits-rem:0 time: 1.00
186.93/46.81	c calculated reachability. Time: 0.00
186.93/46.81	c  N dy  1275    357969        80      7120         0     30768     49840    502460     22.78   no data  --
200.11/50.12	c  N dy  1361    381054        80      7120         0     28147     49840    415087     22.79     24.04  --
210.91/52.84	c  N dy  1431    401089        80      7120         0     46476     49840    904820     22.81     24.05  --
223.28/55.90	c  N dy  1483    426207        80      7120         0     44656     49840    839525     22.80     24.26  --
233.66/58.57	c  N dy  1591    446252        80      7120         0     37505     49840    640936     22.85     25.65  --
245.25/61.42	c  N dy  1632    467102        80      7120         0     30030     49840    418457     22.84     24.12  --
260.83/65.33	c  N dy  1712    496631        80      7120         0     29511     49840    391318     22.81     24.07  --
272.03/68.12	c  N dy  1801    517270        80      7120         0     48478     49840    901072     22.84     24.06  --
283.20/70.95	c  S st  1868    536953        80      7120         0     38145     49840    606703     22.84     22.74  --
283.60/71.05	c  S st  1868    537454        80      7120         0     38617     49840    619885     22.84   no data  --
283.60/71.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
283.60/71.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
283.60/71.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
283.60/71.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
283.60/71.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
283.60/71.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
283.60/71.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
294.78/73.81	c lits-rem:       979  cl-subs:     2155  v-elim:      0  v-fix:    0  time: 10.90 s
294.78/73.81	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
294.78/73.82	c vivif2 --  cl tried    36462 cl shrink        0 lits rem          0 time: 0.02
295.58/74.05	c asymm  cl-useful: 0/1305/7120 lits-rem:0 time: 0.90
295.58/74.05	c calculated reachability. Time: 0.00
295.58/74.05	c  N dy  1868    537454        80      7120         0     36462     49840    559645     22.84   no data  --
307.97/77.18	c  N dy  1923    560477        80      7120         0     57539     49840   1121836     22.83     24.05  --
322.35/80.79	c  N dy  2016    587341        80      7120         0     52946     49840    991461     22.84     24.06  --
335.53/84.02	c  N dy  2094    609587        80      7120         0     43102     49840    701554     22.84     24.11  --
350.71/87.83	c  N dy  2142    635062        80      7120         0     35212     49840    477460     22.81     24.14  --
364.31/91.24	c  N dy  2241    655135        80      7120         0     53634     49840    976751     22.84     26.43  --
381.47/95.52	c  N dy  2338    679273        80      7120         0     43704     49840    689900     22.86     24.08  --
396.25/99.27	c  N dy  2403    701237        80      7120         0     63784     49840   1228313     22.86     24.14  --
410.23/102.78	c  N dy  2490    723364        80      7120         0     51091     49840    876929     22.87     24.12  --
426.61/106.87	c  N dy  2506    744964        80      7120         0     36962     49840    479366     22.84     24.08  --
440.59/110.31	c  N dy  2621    764996        80      7120         0     55339     49840    976283     22.87     25.05  --
455.77/114.19	c  N dy  2711    785558        80      7120         0     39372     49840    530178     22.88     24.16  --
468.95/117.45	c  N dy  2789    805833        80      7120         0     57936     49840   1030824     22.89     24.15  --
469.35/117.53	c  S st  2793    806181        80      7120         0     58255     49840   1039793     22.89   no data  --
469.77/117.68	c  S st  2793    806687        80      7120         0     58724     49840   1052509     22.89   no data  --
469.77/117.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
469.77/117.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
470.17/117.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
470.17/117.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
470.17/117.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
470.17/117.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
470.17/117.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
514.11/128.79	c lits-rem:      3668  cl-subs:     4520  v-elim:      0  v-fix:    0  time: 44.10 s
514.11/128.79	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
514.49/128.81	c vivif2 --  cl tried    54204 cl shrink        0 lits rem          0 time: 0.04
515.29/129.09	c asymm  cl-useful: 0/936/7120 lits-rem:0 time: 1.14
515.29/129.09	c calculated reachability. Time: 0.00
515.29/129.09	c  N dy  2793    806687        80      7120         0     54204     49840    921195     22.89   no data  --
530.07/132.73	c  N dy  2846    826688        80      7120         0     37025     49840    452257     22.89     24.56  --
543.25/136.01	c  N dy  2955    846697        80      7120         0     55390     49840    949898     22.91     25.62  --
560.43/140.35	c  N dy  3036    866766        80      7120         0     37247     49840    440881     22.92     24.16  --
572.02/143.24	c  N dy  3079    889104        80      7120         0     57519     49840    971943     22.89     24.14  --
591.18/148.00	c  N dy  3159    912666        80      7120         0     41649     49840    540687     22.89     24.27  --
605.17/151.53	c  N dy  3241    932721        80      7120         0     60088     49840   1039023     22.91     25.11  --
630.74/157.92	c  N dy  3335    966639        80      7120         0     52657     49840    812837     22.89     24.27  --
647.52/162.18	c  N dy  3424    987045        80      7120         0     71371     49840   1317296     22.90     24.26  --
664.29/166.35	c  N dy  3525   1007088        80      7120         0     50489     49840    749272     22.92     24.37  --
680.27/170.36	c  N dy  3599   1027113        80      7120         0     68841     49840   1242015     22.92     24.80  --
698.26/174.90	c  N dy  3673   1047997        80      7120         0     47606     49840    651402     22.93     24.26  --
716.62/179.48	c  N dy  3776   1070729        80      7120         0     68441     49840   1214762     22.94     24.27  --
717.82/179.79	c  F st  3787   1071875        80      7120         0     69495     49840   1243952     22.95     22.52  --
739.79/185.24	c  N dy  3847   1099622        80      7120         0     53564     49840    788042     22.94     24.16  --
824.87/206.58	c  N dy  3930   1210030        80      7120         0     68724     49840   1155271     22.72     19.39  --
824.87/206.58	c  S st  3930   1210030        80      7120         0     68724     49840   1155271     22.72     19.39  --
825.69/206.80	c  S st  3930   1210536        80      7120         0     69195     49840   1168551     22.72   no data  --
825.69/206.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
825.69/206.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
826.09/206.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
826.09/206.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
826.09/206.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
826.09/206.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
826.09/206.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
906.36/226.99	c lits-rem:      1621  cl-subs:     6989  v-elim:      0  v-fix:    0  time: 80.33 s
906.36/226.99	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
906.76/227.01	c vivif2 --  cl tried    62206 cl shrink        0 lits rem          0 time: 0.06
908.36/227.40	c asymm  cl-useful: 0/785/7120 lits-rem:0 time: 1.56
908.36/227.40	c calculated reachability. Time: 0.00
908.36/227.40	c  N dy  3930   1210536        80      7120         0     62206     49840   1006442     22.72   no data  --
933.92/233.80	c  N dy  4043   1233012        80      7120         0     82790     49840   1564788     22.74     23.98  --
952.70/238.60	c  N dy  4088   1255369        80      7120         0     59992     49840    927619     22.73     24.05  --
971.09/243.11	c  N dy  4147   1275449        80      7120         0     78338     49840   1417653     22.73     24.31  --
993.07/248.68	c  N dy  4259   1295510        80      7120         0     52344     49840    712892     22.75     23.96  --
1013.81/253.80	c  N dy  4360   1315567        80      7120         0     70749     49840   1213134     22.77     26.67  --
1034.19/258.95	c  N dy  4364   1336899        80      7120         0     90071     49840   1719903     22.74     23.95  --
1054.58/264.02	c  N dy  4497   1356955        80      7120         0     62942     49840    984268     22.76     24.05  --
1086.12/271.92	c  N dy  4597   1385392        80      7120         0     88852     49840   1678164     22.76     23.97  --
1106.91/277.20	c  N dy  4691   1409552        80      7120         0     64379     49840    995886     22.76     24.10  --
1127.66/282.31	c  N dy  4756   1430247        80      7120         0     83319     49840   1502747     22.77     23.99  --
1149.23/287.79	c  N dy  4811   1452950        80      7120         0     56557     49840    772803     22.77     24.13  --
1169.20/292.76	c  N dy  4948   1473002        80      7120         0     74953     49840   1277157     22.79     25.54  --
1196.77/299.61	c  N dy  5054   1496056        80      7120         0     96052     49840   1848054     22.80     24.03  --
1213.94/303.96	c  N dy  5144   1516077        80      7120         0     65926     49840   1008626     22.81     25.03  --
1235.11/309.20	c  N dy  5242   1536132        80      7120         0     84226     49840   1499671     22.81     24.97  --
1261.48/315.90	c  N dy  5379   1556192        80      7120         0     53264     49840    652583     22.83     24.24  --
1279.46/320.31	c  N dy  5473   1576275        80      7120         0     71671     49840   1150987     22.84     24.54  --
1304.63/326.67	c  N dy  5614   1596276        80      7120         0     90037     49840   1654758     22.86     24.08  --
1327.39/332.37	c  N dy  5694   1616446        80      7120         0     58072     49840    762173     22.87     24.09  --
1343.37/336.35	c  N dy  5718   1636500        80      7120         0     76378     49840   1251305     22.86     26.06  --
1366.56/342.15	c  N dy  5788   1656512        80      7120         0     94687     49840   1742259     22.86     25.64  --
1392.52/348.67	c  N dy  5888   1681274        80      7120         0     66001     49840    958662     22.87     24.19  --
1415.26/354.31	c  N dy  6007   1701282        80      7120         0     84316     49840   1456810     22.88     24.18  --
1427.68/357.46	c  S st  6052   1710536        80      7120         0     92806     49840   1688234     22.89     22.50  --
1428.85/357.78	c  S st  6052   1711044        80      7120         0     93283     49840   1701727     22.89   no data  --
1428.85/357.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1428.85/357.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1429.25/357.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1429.25/357.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1429.25/357.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1429.25/357.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1429.25/357.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1604.21/401.70	c lits-rem:      6082  cl-subs:     8339  v-elim:      0  v-fix:    0  time: 174.92 s
1604.21/401.70	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1604.61/401.72	c vivif2 --  cl tried    84944 cl shrink        0 lits rem          0 time: 0.08
1605.81/402.09	c asymm  cl-useful: 0/820/7120 lits-rem:0 time: 1.48
1605.81/402.09	c calculated reachability. Time: 0.00
1605.81/402.09	c  N dy  6052   1711044        80      7120         0     84944     49840   1461219     22.89   no data  --
1634.19/409.16	c  N dy  6126   1731068        80      7120         0    103180     49840   1952968     22.89     26.36  --
1656.94/414.84	c  N dy  6198   1751123        80      7120         0     69903     49840   1061573     22.89     26.69  --
1692.09/423.64	c  N dy  6320   1773636        80      7120         0     90533     49840   1623387     22.91     24.27  --
1729.24/432.95	c  N dy  6432   1793889        80      7120         0     56162     49840    668495     22.92     24.26  --
1752.83/438.87	c  N dy  6504   1813916        80      7120         0     74455     49840   1157664     22.91     25.28  --
1784.77/446.81	c  N dy  6611   1835138        80      7120         0     93877     49840   1686050     22.92     24.13  --
1823.91/456.63	c  N dy  6667   1869263        80      7120         0     70953     49840   1038787     22.90     24.14  --
1872.65/468.83	c  N dy  6771   1908292        80      7120         0    106403     49840   1979456     22.89     24.13  --
1893.44/474.07	c  N dy  6881   1928336        80      7120         0     70183     49840   1019976     22.90     24.11  --
1915.41/479.53	c  N dy  6961   1948501        80      7120         0     88567     49840   1515881     22.90     24.20  --
1946.17/487.27	c  N dy  7089   1968577        80      7120         0    106980     49840   2019193     22.91     25.43  --
1972.12/493.74	c  N dy  7171   1995497        80      7120         0     76003     49840   1151929     22.91     24.30  --
1996.48/499.83	c  N dy  7267   2016313        80      7120         0     94998     49840   1668225     22.92     24.17  --
2030.83/508.41	c  N dy  7347   2041998        80      7120         0     61796     49840    754404     22.92     24.22  --
2048.40/512.82	c  N dy  7388   2062044        80      7120         0     80055     49840   1245078     22.92     26.64  --
2073.99/519.29	c  N dy  7500   2082121        80      7120         0     98443     49840   1747224     22.93     27.00  --
2105.13/527.07	c  N dy  7552   2105831        80      7120         0     62528     49840    757641     22.92     24.16  --
2125.10/532.02	c  N dy  7645   2125994        80      7120         0     80948     49840   1258357     22.93     24.20  --
2155.06/539.53	c  N dy  7753   2146695        80      7120         0     99908     49840   1774177     22.94     24.33  --
2187.02/547.53	c  N dy  7847   2166862        80      7120         0     59887     49840    672442     22.95     24.23  --
2222.17/556.38	c  N dy  7919   2204876        80      7120         0     94437     49840   1580718     22.93     24.51  --
2230.56/558.40	c  S st  7937   2211045        80      7120         0    100072     49840   1731356     22.93     21.78  --
2231.78/558.70	c  S st  7937   2211547        80      7120         0    100541     49840   1744472     22.93   no data  --
2231.78/558.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2231.78/558.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2231.78/558.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2232.18/558.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2232.18/558.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2232.18/558.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2232.18/558.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2616.43/655.02	c lits-rem:      3672  cl-subs:    10272  v-elim:      0  v-fix:    0  time: 384.20 s
2616.43/655.02	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2616.43/655.05	c vivif2 --  cl tried    90269 cl shrink        0 lits rem          0 time: 0.09
2618.45/655.50	c asymm  cl-useful: 0/706/7120 lits-rem:0 time: 1.82
2618.45/655.51	c calculated reachability. Time: 0.00
2618.45/655.51	c  N dy  7937   2211547        80      7120         0     90269     49840   1472333     22.93   no data  --
2656.38/665.00	c  N dy  8050   2231647        80      7120         0    108671     49840   1972030     22.94     24.50  --
2688.34/673.01	c  N dy  8148   2251723        80      7120         0     68118     49840    884044     22.94     24.80  --
2749.05/688.23	c  N dy  8212   2302415        80      7120         0    113995     49840   2098239     22.92     24.25  --
2775.02/694.76	c  N dy  8271   2322418        80      7120         0     72373     49840    984849     22.92     24.42  --
2804.58/702.16	c  N dy  8382   2343845        80      7120         0     92011     49840   1521616     22.93     24.26  --
2838.56/710.60	c  N dy  8490   2363849        80      7120         0    110303     49840   2020831     22.94     24.23  --
2880.87/721.24	c  N dy  8545   2396372        80      7120         0     78923     49840   1139835     22.93     24.24  --
2911.63/728.99	c  N dy  8670   2416837        80      7120         0     97668     49840   1653574     22.94     24.18  --
2963.16/741.85	c  N dy  8745   2450537        80      7120         0     66462     49840    790399     22.93     24.26  --
2985.93/747.53	c  N dy  8854   2470572        80      7120         0     84829     49840   1292383     22.94     25.70  --
3015.48/754.94	c  N dy  8964   2491518        80      7120         0    103989     49840   1814371     22.95     24.37  --
3046.25/762.65	c  N dy  9035   2511559        80      7120         0    122304     49840   2305433     22.95     24.72  --
3071.03/768.84	c  N dy  9131   2531574        80      7120         0     77656     49840   1079637     22.95     25.54  --
3100.18/776.10	c  N dy  9233   2554968        80      7120         0     99030     49840   1658230     22.96     24.28  --
3132.95/784.32	c  N dy  9354   2575062        80      7120         0    117427     49840   2160629     22.97     25.90  --
3195.64/800.09	c  N dy  9400   2630660        80      7120         0    103633     49840   1726149     22.94     24.21  --
3231.59/809.02	c  N dy  9519   2650679        80      7120         0    121959     49840   2226001     22.95     24.20  --
3263.55/817.04	c  N dy  9564   2671888        80      7120         0     76674     49840   1021664     22.95     24.18  --
3289.12/823.41	c  N dy  9626   2691994        80      7120         0     95030     49840   1516813     22.95     24.21  --
3314.69/829.83	c  S st  9673   2711547        80      7120         0    112772     49840   1990417     22.94   no data  --
3315.88/830.16	c  S st  9673   2712049        80      7120         0    113235     49840   2003506     22.94   no data  --
3315.88/830.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3315.88/830.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3316.28/830.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3316.28/830.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3316.28/830.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3316.28/830.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3316.28/830.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3938.64/986.08	c lits-rem:      6949  cl-subs:    10795  v-elim:      0  v-fix:    0  time: 622.16 s
3938.64/986.08	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3939.04/986.11	c vivif2 --  cl tried   102440 cl shrink        0 lits rem          0 time: 0.10
3941.05/986.63	c asymm  cl-useful: 0/546/7120 lits-rem:0 time: 2.06
3941.05/986.63	c calculated reachability. Time: 0.00
3941.05/986.63	c  N dy  9673   2712049        80      7120         0    102440     49840   1706281     22.94   no data  --
3979.78/996.33	c  N dy  9737   2732078        80      7120         0    120669     49840   2194968     22.94     25.17  --
4018.13/1005.98	c  N dy  9824   2752397        80      7120         0     74189     49840    946989     22.95     24.16  --
4053.68/1014.83	c  N dy  9954   2773632        80      7120         0     93663     49840   1481339     22.96     24.31  --
4088.84/1023.62	c  N dy 10010   2793673        80      7120         0    111967     49840   1973583     22.96     24.84  --
4134.38/1035.09	c  N dy 10011   2823807        80      7120         0     72989     49840    888686     22.94     24.21  --
4165.15/1042.70	c  N dy 10065   2845892        80      7120         0     93143     49840   1435963     22.94     24.18  --
4203.48/1052.33	c  N dy 10118   2869583        80      7120         0    114625     49840   2010291     22.93     24.23  --
4258.20/1066.01	c  N dy 10228   2889626        80      7120         0    132951     49840   2510094     22.94     25.50  --
4294.55/1075.13	c  N dy 10339   2909661        80      7120         0     83981     49840   1182297     22.95     25.50  --
4334.50/1085.16	c  N dy 10424   2931019        80      7120         0    103534     49840   1713815     22.95     24.17  --
4384.44/1097.66	c  N dy 10550   2951021        80      7120         0    121831     49840   2214301     22.96     24.62  --
4433.97/1110.06	c  N dy 10640   2971032        80      7120         0     71741     49840    830048     22.97     26.18  --
4469.91/1119.02	c  N dy 10758   2991831        80      7120         0     90859     49840   1354382     22.98     24.28  --
4505.47/1127.97	c  N dy 10812   3012733        80      7120         0    109844     49840   1868398     22.97     24.24  --
4553.80/1140.09	c  N dy 10891   3034090        80      7120         0    129268     49840   2396173     22.98     24.19  --
4600.56/1151.77	c  N dy 10996   3057791        80      7120         0     81560     49840   1078175     22.98     24.32  --
4630.50/1159.26	c  N dy 11063   3077874        80      7120         0     99863     49840   1572573     22.98     24.21  --
4674.43/1170.23	c  N dy 11123   3104681        80      7120         0    124302     49840   2228768     22.98     24.21  --
4713.58/1180.06	c  N dy 11163   3124854        80      7120         0     72451     49840    815710     22.98     24.24  --
4738.35/1186.25	c  N dy 11222   3145109        80      7120         0     90831     49840   1307869     22.98     24.22  --
4773.91/1195.15	c  N dy 11336   3165129        80      7120         0    109144     49840   1808644     22.98     24.40  --

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-3175098-1304086898/watcher-3175098-1304086898 -o /tmp/evaluation-result-3175098-1304086898/solver-3175098-1304086898 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175098-1304086898.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: 6.82 7.82 7.91 5/180 6609
/proc/meminfo: memFree=26106832/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 419 0 0 0 0 0 0 0 25 0 4 0 520290276 52465664 358 33554432000 4194304 4650419 140737007043152 18446744073709551615 230809165755 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 12809 358 306 112 0 7774 0
[pid=6609/tid=6610] ppid=6607 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520290276 52465664 358 33554432000 4194304 4650419 140737007043152 18446744073709551615 47967575005104 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520290276 52465664 358 33554432000 4194304 4650419 140737007043152 18446744073709551615 230804212822 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520290276 52465664 358 33554432000 4194304 4650419 140737007043152 18446744073709551615 230804212822 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0247049 s]
/proc/loadavg: 6.82 7.82 7.91 5/180 6609
/proc/meminfo: memFree=26106832/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=281932 CPUtime=0.08 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 1394 0 0 0 8 0 0 0 18 0 4 0 520290276 288698368 1295 33554432000 4194304 4650419 140737007043152 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 70483 1295 366 112 0 65448 0
[pid=6609/tid=6610] ppid=6607 vsize=281932 CPUtime=0.01 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 222 0 0 0 1 0 0 0 25 0 4 0 520290276 288698368 1295 33554432000 4194304 4650419 140737007043152 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=281932 CPUtime=0.01 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 244 0 0 0 1 0 0 0 18 0 4 0 520290276 288698368 1295 33554432000 4194304 4650419 140737007043152 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=281932 CPUtime=0.01 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 259 0 0 0 1 0 0 0 18 0 4 0 520290276 288698368 1295 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 281932

[startup+0.100691 s]
/proc/loadavg: 6.82 7.82 7.91 5/180 6609
/proc/meminfo: memFree=26106832/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=282064 CPUtime=0.38 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 1550 0 0 0 38 0 0 0 18 0 4 0 520290276 288833536 1451 33554432000 4194304 4650419 140737007043152 18446744073709551615 4369160 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 70516 1451 366 112 0 65481 0
[pid=6609/tid=6610] ppid=6607 vsize=282064 CPUtime=0.09 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 236 0 0 0 9 0 0 0 25 0 4 0 520290276 288833536 1451 33554432000 4194304 4650419 140737007043152 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=282064 CPUtime=0.09 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 257 0 0 0 9 0 0 0 18 0 4 0 520290276 288833536 1451 33554432000 4194304 4650419 140737007043152 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=282064 CPUtime=0.09 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 376 0 0 0 9 0 0 0 18 0 4 0 520290276 288833536 1451 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282064

[startup+0.300656 s]
/proc/loadavg: 6.82 7.82 7.91 5/180 6609
/proc/meminfo: memFree=26106832/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=286024 CPUtime=1.17 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 3912 0 0 0 117 0 0 0 18 0 4 0 520290276 292888576 3307 33554432000 4194304 4650419 140737007043152 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 71506 3307 390 112 0 66471 0
[pid=6609/tid=6610] ppid=6607 vsize=286024 CPUtime=0.29 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 890 0 0 0 29 0 0 0 18 0 4 0 520290276 292888576 3307 33554432000 4194304 4650419 140737007043152 18446744073709551615 4333694 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=286024 CPUtime=0.29 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 926 0 0 0 29 0 0 0 18 0 4 0 520290276 292888576 3307 33554432000 4194304 4650419 140737007043152 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=286024 CPUtime=0.29 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 766 0 0 0 29 0 0 0 18 0 4 0 520290276 292888576 3307 33554432000 4194304 4650419 140737007043152 18446744073709551615 4330626 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 286024

[startup+0.700582 s]
/proc/loadavg: 6.82 7.82 7.91 5/180 6609
/proc/meminfo: memFree=26106832/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=287652 CPUtime=2.77 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 6316 0 0 0 277 0 0 0 18 0 4 0 520290276 294555648 3913 33554432000 4194304 4650419 140737007043152 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 71913 3913 390 112 0 66878 0
[pid=6609/tid=6610] ppid=6607 vsize=287652 CPUtime=0.69 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 1503 0 0 0 69 0 0 0 18 0 4 0 520290276 294555648 3913 33554432000 4194304 4650419 140737007043152 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=287652 CPUtime=0.69 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 1580 0 0 0 69 0 0 0 18 0 4 0 520290276 294555648 3913 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=287652 CPUtime=0.69 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 1277 0 0 0 69 0 0 0 18 0 4 0 520290276 294555648 3914 33554432000 4194304 4650419 140737007043152 18446744073709551615 4339837 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287652

[startup+1.50044 s]
/proc/loadavg: 6.82 7.82 7.91 11/184 6613
/proc/meminfo: memFree=26077796/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=288944 CPUtime=5.96 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 10220 0 0 0 595 1 0 0 19 0 4 0 520290276 295878656 4796 33554432000 4194304 4650419 140737007043152 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 72236 4796 391 112 0 67201 0
[pid=6609/tid=6610] ppid=6607 vsize=288944 CPUtime=1.48 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 2468 0 0 0 148 0 0 0 19 0 4 0 520290276 295878656 4796 33554432000 4194304 4650419 140737007043152 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=288944 CPUtime=1.48 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 2576 0 0 0 148 0 0 0 19 0 4 0 520290276 295878656 4796 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=288944 CPUtime=1.49 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 2253 0 0 0 149 0 0 0 19 0 4 0 520290276 295878656 4796 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288944

[startup+3.10115 s]
/proc/loadavg: 6.82 7.82 7.91 9/184 6613
/proc/meminfo: memFree=26038612/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=295756 CPUtime=12.37 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 19474 0 0 0 1234 3 0 0 24 0 4 0 520290276 302854144 11944 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 73939 11944 392 112 0 68904 0
[pid=6609/tid=6610] ppid=6607 vsize=295756 CPUtime=3.07 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 4135 0 0 0 307 0 0 0 24 0 4 0 520290276 302854144 11944 33554432000 4194304 4650419 140737007043152 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=295756 CPUtime=3.08 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 5331 0 0 0 308 0 0 0 24 0 4 0 520290276 302854144 11944 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=295756 CPUtime=3.09 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 5474 0 0 0 309 0 0 0 24 0 4 0 520290276 302854144 11944 33554432000 4194304 4650419 140737007043152 18446744073709551615 4370652 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) 295756

[startup+6.30056 s]
/proc/loadavg: 6.99 7.84 7.92 9/184 6613
/proc/meminfo: memFree=25990424/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=277496 CPUtime=25.14 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 28104 0 0 0 2510 4 0 0 25 0 4 0 520290276 284155904 15040 33554432000 4194304 4650419 140737007043152 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 69374 15040 392 112 0 64339 0
[pid=6609/tid=6610] ppid=6607 vsize=277496 CPUtime=6.26 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 7297 0 0 0 625 1 0 0 25 0 4 0 520290276 284155904 15040 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=277496 CPUtime=6.28 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 7140 0 0 0 628 0 0 0 25 0 4 0 520290276 284155904 15040 33554432000 4194304 4650419 140737007043152 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=277496 CPUtime=6.28 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 7436 0 0 0 628 0 0 0 25 0 4 0 520290276 284155904 15040 33554432000 4194304 4650419 140737007043152 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 277496

[startup+12.7004 s]
/proc/loadavg: 7.07 7.84 7.92 9/184 6614
/proc/meminfo: memFree=25928364/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=307316 CPUtime=50.71 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 39464 0 0 0 5065 6 0 0 25 0 4 0 520290276 314691584 22112 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 76829 22112 392 112 0 71794 0
[pid=6609/tid=6610] ppid=6607 vsize=307316 CPUtime=12.63 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 9570 0 0 0 1261 2 0 0 25 0 4 0 520290276 314691584 22112 33554432000 4194304 4650419 140737007043152 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=307316 CPUtime=12.69 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 9059 0 0 0 1268 1 0 0 25 0 4 0 520290276 314691584 22112 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=307316 CPUtime=12.68 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 11521 0 0 0 1267 1 0 0 25 0 4 0 520290276 314691584 22112 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 307316

[startup+25.501 s]
/proc/loadavg: 7.28 7.85 7.92 9/184 6614
/proc/meminfo: memFree=25872676/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=305004 CPUtime=101.85 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 56552 0 0 0 10175 10 0 0 25 0 4 0 520290276 312324096 24980 33554432000 4194304 4650419 140737007043152 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 76251 24980 392 112 0 71216 0
[pid=6609/tid=6610] ppid=6607 vsize=305004 CPUtime=25.36 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 12937 0 0 0 2533 3 0 0 25 0 4 0 520290276 312324096 24980 33554432000 4194304 4650419 140737007043152 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=305004 CPUtime=25.49 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 13221 0 0 0 2547 2 0 0 25 0 4 0 520290276 312324096 24980 33554432000 4194304 4650419 140737007043152 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=305004 CPUtime=25.48 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 17539 0 0 0 2546 2 0 0 25 0 4 0 520290276 312324096 24980 33554432000 4194304 4650419 140737007043152 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 305004

[startup+51.1003 s]
/proc/loadavg: 7.58 7.87 7.92 9/184 6615
/proc/meminfo: memFree=25810620/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=306632 CPUtime=204.1 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 83280 0 0 0 20394 16 0 0 25 0 4 0 520290276 313991168 31035 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 76658 31035 392 112 0 71623 0
[pid=6609/tid=6610] ppid=6607 vsize=306632 CPUtime=50.82 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 19160 0 0 0 5078 4 0 0 25 0 4 0 520290276 313991168 31035 33554432000 4194304 4650419 140737007043152 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=306632 CPUtime=51.08 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 18553 0 0 0 5105 3 0 0 25 0 4 0 520290276 313991168 31035 33554432000 4194304 4650419 140737007043152 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=306632 CPUtime=51.09 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 26332 0 0 0 5104 5 0 0 25 0 4 0 520290276 313991168 31035 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 306632

[startup+102.307 s]
/proc/loadavg: 7.93 7.92 7.94 9/184 6616
/proc/meminfo: memFree=25729856/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=340644 CPUtime=408.65 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 126705 0 0 0 40838 27 0 0 25 0 4 0 520290276 348819456 41628 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365398 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 85161 41628 392 112 0 80126 0
[pid=6609/tid=6610] ppid=6607 vsize=340644 CPUtime=101.75 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 27769 0 0 0 10168 7 0 0 25 0 4 0 520290276 348819456 41628 33554432000 4194304 4650419 140737007043152 18446744073709551615 4457430 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=340644 CPUtime=102.28 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 31347 0 0 0 10221 7 0 0 25 0 4 0 520290276 348819456 41628 33554432000 4194304 4650419 140737007043152 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=340644 CPUtime=102.29 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 42020 0 0 0 10222 7 0 0 25 0 4 0 520290276 348819456 41628 33554432000 4194304 4650419 140737007043152 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 340644

[startup+162.301 s]

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

[pid=6609] ppid=6607 vsize=510560 CPUtime=2805.38 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 407488 0 0 0 280394 144 0 0 25 0 4 0 520290276 522813440 79388 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 127640 79388 392 112 0 122605 0
[pid=6609/tid=6610] ppid=6607 vsize=510560 CPUtime=698.5 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 96560 0 0 0 69822 28 0 0 25 0 4 0 520290276 522813440 79388 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=510560 CPUtime=702.23 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 110711 0 0 0 70179 44 0 0 25 0 4 0 520290276 522813440 79388 33554432000 4194304 4650419 140737007043152 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=510560 CPUtime=702.3 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 121414 0 0 0 70188 42 0 0 25 0 4 0 520290276 522813440 79388 33554432000 4194304 4650419 140737007043152 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 510560

[startup+762.307 s]
/proc/loadavg: 8.06 8.02 7.97 9/184 6634
/proc/meminfo: memFree=25248120/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=510708 CPUtime=3045.08 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 426477 0 0 0 304356 152 0 0 25 0 4 0 520290276 522964992 87541 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 127677 87541 392 112 0 122642 0
[pid=6609/tid=6610] ppid=6607 vsize=510708 CPUtime=758.17 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 97052 0 0 0 75789 28 0 0 25 0 4 0 520290276 522964992 87541 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=510708 CPUtime=762.24 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 117613 0 0 0 76176 48 0 0 25 0 4 0 520290276 522964992 87541 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=510708 CPUtime=762.32 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 127517 0 0 0 76187 45 0 0 25 0 4 0 520290276 522964992 87541 33554432000 4194304 4650419 140737007043152 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 510708

[startup+822.301 s]
/proc/loadavg: 8.06 8.03 7.98 9/184 6635
/proc/meminfo: memFree=25225504/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=510984 CPUtime=3284.72 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 446608 0 0 0 328312 160 0 0 25 0 4 0 520290276 523247616 84777 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 127746 84777 392 112 0 122711 0
[pid=6609/tid=6610] ppid=6607 vsize=510984 CPUtime=817.85 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 97052 0 0 0 81757 28 0 0 25 0 4 0 520290276 523247616 84777 33554432000 4194304 4650419 140737007043152 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=510984 CPUtime=822.23 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 124418 0 0 0 82172 51 0 0 25 0 4 0 520290276 523247616 84777 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=510984 CPUtime=822.31 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 136075 0 0 0 82182 49 0 0 25 0 4 0 520290276 523247616 84777 33554432000 4194304 4650419 140737007043152 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 510984

[startup+882.301 s]
/proc/loadavg: 8.02 8.02 7.98 9/184 6637
/proc/meminfo: memFree=25209488/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=529328 CPUtime=3524.4 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 460618 0 0 0 352272 168 0 0 25 0 4 0 520290276 542031872 92257 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 132332 92257 392 112 0 127297 0
[pid=6609/tid=6610] ppid=6607 vsize=529328 CPUtime=877.52 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 99804 0 0 0 87722 30 0 0 25 0 4 0 520290276 542031872 92257 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=529328 CPUtime=882.22 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 129481 0 0 0 88169 53 0 0 25 0 4 0 520290276 542031872 92257 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=529328 CPUtime=882.31 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 141504 0 0 0 88179 52 0 0 25 0 4 0 520290276 542031872 92257 33554432000 4194304 4650419 140737007043152 18446744073709551615 4339796 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 529328

[startup+942.301 s]
/proc/loadavg: 8.08 8.03 7.98 9/184 6638
/proc/meminfo: memFree=25172004/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=529540 CPUtime=3764.08 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 475955 0 0 0 376231 177 0 0 25 0 4 0 520290276 542248960 94853 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 132385 94853 392 112 0 127350 0
[pid=6609/tid=6610] ppid=6607 vsize=529540 CPUtime=937.2 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 102935 0 0 0 93688 32 0 0 25 0 4 0 520290276 542248960 94853 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=529540 CPUtime=942.23 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 135881 0 0 0 94165 58 0 0 25 0 4 0 520290276 542248960 94853 33554432000 4194304 4650419 140737007043152 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=529540 CPUtime=942.31 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 147310 0 0 0 94176 55 0 0 25 0 4 0 520290276 542248960 94853 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 529540

[startup+1002.3 s]
/proc/loadavg: 8.10 8.04 7.99 9/184 6640
/proc/meminfo: memFree=25187232/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=595188 CPUtime=4003.74 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 491943 0 0 0 400192 182 0 0 25 0 4 0 520290276 609472512 98643 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 148797 98643 392 112 0 143762 0
[pid=6609/tid=6610] ppid=6607 vsize=595188 CPUtime=996.87 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 107289 0 0 0 99655 32 0 0 25 0 4 0 520290276 609472512 98643 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=595188 CPUtime=1002.22 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 141359 0 0 0 100162 60 0 0 25 0 4 0 520290276 609472512 98643 33554432000 4194304 4650419 140737007043152 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=595188 CPUtime=1002.31 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 152654 0 0 0 100175 56 0 0 25 0 4 0 520290276 609472512 98643 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 595188

[startup+1062.3 s]
/proc/loadavg: 8.10 8.05 7.99 9/184 6642
/proc/meminfo: memFree=25153724/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=595252 CPUtime=4243.43 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 518135 0 0 0 424152 191 0 0 25 0 4 0 520290276 609538048 95725 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 148813 95725 392 112 0 143778 0
[pid=6609/tid=6610] ppid=6607 vsize=595252 CPUtime=1056.55 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 115702 0 0 0 105621 34 0 0 25 0 4 0 520290276 609538048 95725 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=595252 CPUtime=1062.21 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 145404 0 0 0 106158 63 0 0 25 0 4 0 520290276 609538048 95725 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=595252 CPUtime=1062.31 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 163531 0 0 0 106173 58 0 0 25 0 4 0 520290276 609538048 95725 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 595252

[startup+1122.3 s]
/proc/loadavg: 8.09 8.05 8.00 9/184 6643
/proc/meminfo: memFree=25190400/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=595252 CPUtime=4483.1 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 540423 0 0 0 448112 198 0 0 25 0 4 0 520290276 609538048 89456 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 148813 89456 392 112 0 143778 0
[pid=6609/tid=6610] ppid=6607 vsize=595252 CPUtime=1116.23 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 123899 0 0 0 111587 36 0 0 25 0 4 0 520290276 609538048 89456 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=595252 CPUtime=1122.21 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 146623 0 0 0 112158 63 0 0 25 0 4 0 520290276 609538048 89456 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=595252 CPUtime=1122.31 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 173194 0 0 0 112171 60 0 0 25 0 4 0 520290276 609538048 89456 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.1
Current children cumulated vsize (KiB) 595252

[startup+1182.3 s]
/proc/loadavg: 8.20 8.08 8.01 9/184 6645
/proc/meminfo: memFree=25159248/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=565280 CPUtime=4722.77 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 563860 0 0 0 472071 206 0 0 25 0 4 0 520290276 578846720 90830 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 141320 90830 392 112 0 136285 0
[pid=6609/tid=6610] ppid=6607 vsize=565280 CPUtime=1175.9 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 131013 0 0 0 117551 39 0 0 25 0 4 0 520290276 578846720 90830 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=565280 CPUtime=1182.21 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 150727 0 0 0 118157 64 0 0 25 0 4 0 520290276 578846720 90830 33554432000 4194304 4650419 140737007043152 18446744073709551615 4476175 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=565280 CPUtime=1182.32 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 180444 0 0 0 118169 63 0 0 25 0 4 0 520290276 578846720 90830 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.77
Current children cumulated vsize (KiB) 565280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.08 8.01 10/184 6645
/proc/meminfo: memFree=25157128/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=565280 CPUtime=4800.28 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 568204 0 0 0 479819 209 0 0 25 0 4 0 520290276 578846720 95084 33554432000 4194304 4650419 140737007043152 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 141320 95084 392 112 0 136285 0
[pid=6609/tid=6610] ppid=6607 vsize=565280 CPUtime=1195.19 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 132367 0 0 0 119479 40 0 0 25 0 4 0 520290276 578846720 95084 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=565280 CPUtime=1201.61 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 151097 0 0 0 120097 64 0 0 25 0 4 0 520290276 578846720 95084 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=565280 CPUtime=1201.72 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 181758 0 0 0 120109 63 0 0 25 0 4 0 520290276 578846720 95084 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 565280

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

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

[startup+1201.7 s]
/proc/loadavg: 8.14 8.08 8.01 10/184 6645
/proc/meminfo: memFree=25157128/32951124 swapFree=67111524/67111528
[pid=6609] ppid=6607 vsize=565280 CPUtime=4800.28 cores=0,2,4,6
/proc/6609/stat : 6609 (strangenight1-m) R 6607 6609 6568 0 -1 4202496 568204 0 0 0 479819 209 0 0 25 0 4 0 520290276 578846720 95084 33554432000 4194304 4650419 140737007043152 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6609/statm: 141320 95084 392 112 0 136285 0
[pid=6609/tid=6610] ppid=6607 vsize=565280 CPUtime=1195.19 cores=0,2,4,6
/proc/6609/task/6610/stat : 6610 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 132367 0 0 0 119479 40 0 0 25 0 4 0 520290276 578846720 95084 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6609/tid=6611] ppid=6607 vsize=565280 CPUtime=1201.61 cores=0,2,4,6
/proc/6609/task/6611/stat : 6611 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 151097 0 0 0 120097 64 0 0 25 0 4 0 520290276 578846720 95084 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6609/tid=6612] ppid=6607 vsize=565280 CPUtime=1201.72 cores=0,2,4,6
/proc/6609/task/6612/stat : 6612 (strangenight1-m) R 6607 6609 6568 0 -1 4202560 181758 0 0 0 120109 63 0 0 25 0 4 0 520290276 578846720 95084 33554432000 4194304 4650419 140737007043152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 565280

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.33
CPU user time (s): 4798.22
CPU system time (s): 2.11568
CPU usage (%): 399.451
Max. virtual memory (cumulated for all children) (KiB): 646368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.22
system time used= 2.11568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568205
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= 666
involuntary context switches= 21851

runsolver used 1.83072 second user time and 4.71728 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 16:21:38
IDJOB=3175098
IDBENCH=82716
IDSOLVER=1588
FILE ID=node104/3175098-1304086898
RUNJOBID= node104-1304086898-6586
PBS_JOBID= 13170552
Free space on /tmp= 71544 MiB

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

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

MD5SUM BENCH= 6317a356b3e87abef9291d8243489542
RANDOM SEED=1796797089

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26108120 kB
Buffers:       1878884 kB
Cached:        4354436 kB
SwapCached:          4 kB
Active:         166100 kB
Inactive:      6132168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26108120 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12560 kB
Writeback:           0 kB
AnonPages:       63688 kB
Mapped:          14636 kB
Slab:           480116 kB
PageTables:       4832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   226300 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= 71536 MiB
End job on node104 at 2011-04-29 16:41:42