Trace number 3175297

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf
MD5SUMa7e7ad4822818289e739fae39e69d3b8
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-3175297-1304109173.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.01/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.01/0.01	c -- vars added         80
0.01/0.01	c Parsing time:  0.01 s
0.01/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.37/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.37/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.37/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.37/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:      46 undec:       0 neg:      34
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
3.57/0.90	c  N dy    10      6335        80      7120         0      3489     49840     83996     22.67     24.13  --
3.57/0.90	c  N dy    23     10432        80      7120         0      7232     49840    183600     22.76     24.34  --
3.57/0.90	c  N dy    36     17717        80      7120         0     10005     49840    243831     22.57     23.83  --
4.00/1.09	c  N dy    63     22067        80      7120         0      8910     49840    203476     22.87     24.22  --
4.77/1.24	c  F st    72     25000        80      7120         0     11605     49840    276317     22.92     21.22  --
5.17/1.31	c  N st    75     26187        80      7120         0      6432     49840    120779     22.92   no data  --
5.57/1.48	c  S st    78     30000        80      7120         0      9910     49840    213295     22.92   no data  --
5.97/1.52	c  S st    78     30500        80      7120         0     10384     49840    226133     22.92   no data  --
5.97/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.97/1.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.76/2.80	c lits-rem:      1360  cl-subs:      840  v-elim:      0  v-fix:    0  time:  5.05 s
12.36/3.12	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.31
12.36/3.12	c calculated reachability. Time: 0.00
12.36/3.12	c  N dy    78     30500        80      7120         0      9544     49840    201035     22.92   no data  --
13.18/3.33	c  N dy    84     34535        80      7120         0     13252     49840    298960     22.77     23.99  --
13.95/3.56	c  N dy    97     38588        80      7120         0      9756     49840    193658     22.82     24.17  --
15.15/3.84	c  N dy   105     43620        80      7120         0     14382     49840    316154     22.77     24.04  --
15.55/3.99	c  S st   121     45750        80      7120         0     16352     49840    369451     22.85   no data  --
15.95/4.03	c  S st   121     46253        80      7120         0      8609     49840    148435     22.85   no data  --
15.95/4.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.95/4.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.95/4.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.95/4.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.15/4.85	c lits-rem:       155  cl-subs:       53  v-elim:      0  v-fix:    0  time:  3.22 s
19.15/4.85	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
19.15/4.85	c vivif2 --  cl tried     8556 cl shrink        0 lits rem          0 time: 0.00
20.35/5.14	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.13
20.35/5.14	c calculated reachability. Time: 0.00
20.35/5.14	c  N dy   121     46253        80      7120         0      8556     49840    146531     22.85   no data  --
21.56/5.50	c  N dy   124     53215        80      7120         0     14916     49840    313761     22.65     23.91  --
23.14/5.80	c  N dy   151     57282        80      7120         0      9519     49840    159090     22.76     24.26  --
23.94/6.09	c  N dy   172     62489        80      7120         0     14271     49840    286067     22.81     24.13  --
25.14/6.38	c  N dy   189     66527        80      7120         0     17989     49840    385850     22.86     24.19  --
25.95/6.59	c  S st   197     69379        80      7120         0     10546     49840    170299     22.82     19.83  --
26.36/6.63	c  S st   197     69881        80      7120         0     11012     49840    182921     22.82   no data  --
26.36/6.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.36/6.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.36/6.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
26.36/6.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.93/7.58	c lits-rem:       314  cl-subs:      142  v-elim:      0  v-fix:    0  time:  3.76 s
29.93/7.58	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.93/7.58	c vivif2 --  cl tried    10870 cl shrink        0 lits rem          0 time: 0.01
31.52/7.92	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.36
31.52/7.92	c calculated reachability. Time: 0.00
31.52/7.92	c  N dy   197     69881        80      7120         0     10870     49840    178603     22.82   no data  --
33.13/8.39	c  N dy   209     77860        80      7120         0     18164     49840    372661     22.79     24.14  --
35.14/8.86	c  N dy   244     82854        80      7120         0     11783     49840    191088     22.89     26.71  --
36.32/9.15	c  F st   268     87500        80      7120         0     16031     49840    305572     22.93     22.52  --
36.72/9.23	c  N st   271     88689        80      7120         0     17119     49840    335328     22.93   no data  --
39.54/9.98	c  N dy   285     99000        80      7120         0     14653     49840    249632     22.89     24.15  --
41.52/10.44	c  S st   319    104822        80      7120         0     20010     49840    394563     22.95     23.68  --
41.92/10.50	c  S st   319    105323        80      7120         0     20477     49840    407159     22.95   no data  --
41.92/10.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.92/10.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.92/10.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
41.92/10.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.92/10.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.92/10.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
41.92/10.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.70/12.25	c lits-rem:      1921  cl-subs:     1669  v-elim:      0  v-fix:    0  time:  6.87 s
48.70/12.25	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
48.70/12.25	c vivif2 --  cl tried    18808 cl shrink        0 lits rem          0 time: 0.02
50.31/12.64	c asymm  cl-useful: 0/5462/7120 lits-rem:0 time: 1.57
50.31/12.65	c calculated reachability. Time: 0.00
50.31/12.65	c  N dy   319    105323        80      7120         0     18808     49840    358768     22.95   no data  --
52.72/13.29	c  N dy   342    113296        80      7120         0     13313     49840    200516     22.93     24.21  --
59.89/15.09	c  N dy   383    137699        80      7120         0     21772     49840    411049     22.79     23.99  --
63.48/15.93	c  N dy   415    146511        80      7120         0     15304     49840    227490     22.80     24.07  --
66.67/16.75	c  N dy   435    157985        80      7120         0     25759     49840    502385     22.75     23.03  --
66.67/16.75	c  S st   435    157985        80      7120         0     25759     49840    502385     22.75     23.03  --
67.07/16.83	c  S st   435    158493        80      7120         0     26232     49840    515248     22.75   no data  --
67.07/16.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.07/16.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
67.07/16.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
67.07/16.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.07/16.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.07/16.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
67.07/16.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.26/19.18	c lits-rem:      2061  cl-subs:     2447  v-elim:      0  v-fix:    0  time:  9.30 s
76.26/19.18	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
76.26/19.19	c vivif2 --  cl tried    23785 cl shrink        0 lits rem          0 time: 0.02
77.47/19.40	c asymm  cl-useful: 0/1658/7120 lits-rem:0 time: 0.86
77.47/19.40	c calculated reachability. Time: 0.00
77.47/19.40	c  N dy   435    158493        80      7120         0     23785     49840    447813     22.75   no data  --
81.06/20.38	c  N dy   453    169715        80      7120         0     18661     49840    301733     22.72     24.03  --
85.05/21.32	c  N dy   488    180726        80      7120         0     28776     49840    573726     22.74     23.94  --
89.45/22.42	c  N dy   549    192668        80      7120         0     23348     49840    413630     22.80     24.05  --
95.84/24.04	c  N dy   587    208757        80      7120         0     20691     49840    326919     22.79     24.09  --
101.43/25.41	c  N dy   642    222105        80      7120         0     32923     49840    657720     22.84     24.07  --
107.02/26.87	c  N dy   703    236382        80      7120         0     27722     49840    499057     22.87     24.10  --
107.82/27.03	c  S st   715    237741        80      7120         0     28962     49840    532759     22.88     21.79  --
108.22/27.11	c  S st   715    238243        80      7120         0     29429     49840    545373     22.88   no data  --
108.22/27.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
108.22/27.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.22/27.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
108.22/27.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
108.22/27.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
108.22/27.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
108.22/27.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
118.63/29.78	c lits-rem:      2077  cl-subs:     2162  v-elim:      0  v-fix:    0  time: 10.55 s
118.63/29.78	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
118.63/29.78	c vivif2 --  cl tried    27267 cl shrink        0 lits rem          0 time: 0.02
119.41/29.98	c asymm  cl-useful: 0/2173/7120 lits-rem:0 time: 0.78
119.41/29.98	c calculated reachability. Time: 0.00
119.41/29.98	c  N dy   715    238243        80      7120         0     27267     49840    482460     22.88   no data  --
125.40/31.42	c  N dy   750    253623        80      7120         0     22232     49840    336157     22.87     24.11  --
131.81/33.03	c  N dy   797    269855        80      7120         0     37072     49840    736198     22.88     24.09  --
138.98/34.89	c  N dy   880    287218        80      7120         0     32915     49840    608854     22.92     24.24  --
146.97/36.85	c  F st   911    306251        80      7120         0     29216     49840    488536     22.87     19.85  --
146.97/36.85	c  N st   911    306251        80      7120         0     29216     49840    488536     22.87     19.85  --
155.35/38.93	c  N dy   932    325859        80      7120         0     25134     49840    367781     22.81     24.08  --
168.54/42.23	c  N dy   982    357364        80      7120         0     31065     49840    513729     22.75     20.04  --
168.54/42.23	c  S st   982    357364        80      7120         0     31065     49840    513729     22.75     20.04  --
168.94/42.32	c  S st   982    357866        80      7120         0     31540     49840    526690     22.75   no data  --
168.94/42.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
168.94/42.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
168.94/42.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
168.94/42.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
168.94/42.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
168.94/42.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
168.94/42.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
178.92/44.80	c lits-rem:      1653  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  9.79 s
178.92/44.80	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
178.92/44.81	c vivif2 --  cl tried    29746 cl shrink        0 lits rem          0 time: 0.02
179.74/45.01	c asymm  cl-useful: 0/1743/7120 lits-rem:0 time: 0.80
179.74/45.01	c calculated reachability. Time: 0.00
179.74/45.01	c  N dy   982    357866        80      7120         0     29746     49840    479268     22.75   no data  --
193.32/48.46	c  N dy  1030    384084        80      7120         0     30088     49840    468021     22.72     24.00  --
206.11/51.62	c  N dy  1141    404093        80      7120         0     48481     49840    963557     22.76     25.48  --
218.08/54.69	c  N dy  1220    428073        80      7120         0     45775     49840    875024     22.76     24.03  --
231.66/58.06	c  N dy  1272    455332        80      7120         0     45041     49840    835756     22.73     24.05  --
243.24/60.91	c  N dy  1375    475378        80      7120         0     36894     49840    606219     22.77     25.07  --
256.02/64.13	c  N dy  1462    495464        80      7120         0     27835     49840    348014     22.79     24.37  --
267.21/66.93	c  N dy  1554    516992        80      7120         0     47513     49840    876701     22.81     24.08  --
279.19/69.91	c  S st  1629    536800        80      7120         0     37282     49840    582866     22.82     22.20  --
279.59/70.01	c  S st  1629    537308        80      7120         0     37749     49840    595609     22.82   no data  --
279.59/70.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
279.59/70.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
279.59/70.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
279.59/70.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
279.59/70.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
279.59/70.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
279.59/70.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
289.59/72.57	c lits-rem:       982  cl-subs:     2005  v-elim:      0  v-fix:    0  time: 10.06 s
289.59/72.57	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
289.59/72.57	c vivif2 --  cl tried    35744 cl shrink        0 lits rem          0 time: 0.02
290.37/72.79	c asymm  cl-useful: 0/1317/7120 lits-rem:0 time: 0.86
290.37/72.79	c calculated reachability. Time: 0.00
290.37/72.79	c  N dy  1629    537308        80      7120         0     35744     49840    541005     22.82   no data  --
303.18/75.95	c  N dy  1745    557479        80      7120         0     54260     49840   1043438     22.86     24.07  --
315.95/79.12	c  N dy  1867    577565        80      7120         0     43476     49840    738471     22.90     25.12  --
329.91/82.67	c  N dy  1936    598351        80      7120         0     32299     49840    418508     22.92     24.24  --
341.51/85.52	c  N dy  2019    618449        80      7120         0     50797     49840    918345     22.93     26.57  --
358.68/89.88	c  N dy  2034    648981        80      7120         0     47348     49840    796435     22.87     24.20  --
375.06/93.91	c  N dy  2133    669052        80      7120         0     33760     49840    426509     22.90     24.68  --
386.26/96.79	c  N dy  2215    689109        80      7120         0     52180     49840    923710     22.91     25.28  --
401.02/100.40	c  N dy  2281    710112        80      7120         0     38441     49840    533849     22.91     24.25  --
424.99/106.42	c  N dy  2332    747278        80      7120         0     38454     49840    515442     22.85     24.21  --
441.77/110.61	c  N dy  2399    774232        80      7120         0     63074     49840   1176520     22.84     24.09  --
456.57/114.34	c  N dy  2458    796559        80      7120         0     48802     49840    780062     22.84     24.15  --
463.34/116.02	c  S st  2496    805962        80      7120         0     57407     49840   1012500     22.85     22.53  --
463.74/116.17	c  S st  2496    806467        80      7120         0     57880     49840   1025598     22.85   no data  --
463.74/116.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
463.74/116.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
464.14/116.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
464.14/116.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
464.14/116.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
464.14/116.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
464.14/116.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
503.29/126.02	c lits-rem:      2622  cl-subs:     4841  v-elim:      0  v-fix:    0  time: 39.08 s
503.29/126.02	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
503.29/126.03	c vivif2 --  cl tried    53039 cl shrink        0 lits rem          0 time: 0.04
504.49/126.39	c asymm  cl-useful: 0/919/7120 lits-rem:0 time: 1.41
504.49/126.39	c calculated reachability. Time: 0.00
504.49/126.39	c  N dy  2496    806467        80      7120         0     53039     49840    889315     22.85   no data  --
524.06/131.20	c  N dy  2582    826953        80      7120         0     36357     49840    436149     22.87     24.10  --
536.43/134.34	c  N dy  2659    847287        80      7120         0     54979     49840    937590     22.88     24.10  --
553.24/138.53	c  N dy  2705    867450        80      7120         0     36936     49840    435999     22.88     24.09  --
566.00/141.70	c  N dy  2790    887716        80      7120         0     55548     49840    938545     22.89     24.39  --
583.17/146.09	c  N dy  2855    907999        80      7120         0     74151     49840   1437252     22.89     24.26  --
597.57/149.61	c  N dy  2925    929160        80      7120         0     56058     49840    934062     22.90     24.13  --
620.72/155.48	c  N dy  2984    960100        80      7120         0     45805     49840    632897     22.87     24.18  --
635.91/159.29	c  N dy  3059    980597        80      7120         0     64601     49840   1137316     22.88     24.10  --
653.08/163.58	c  N dy  3106   1002118        80      7120         0     44991     49840    599869     22.87     24.08  --
670.66/167.94	c  N dy  3179   1026814        80      7120         0     67522     49840   1204198     22.87     24.24  --
688.64/172.48	c  N dy  3215   1048958        80      7120         0     47483     49840    647683     22.86     24.08  --
704.21/176.33	c  F st  3285   1071876        80      7120         0     68358     49840   1202655     22.84     19.43  --
704.21/176.33	c  N st  3285   1071876        80      7120         0     68358     49840   1202655     22.84     19.43  --
722.99/181.00	c  N dy  3373   1091943        80      7120         0     45666     49840    588761     22.85     24.08  --
736.97/184.54	c  N dy  3452   1112037        80      7120         0     64119     49840   1088574     22.86     24.58  --
761.73/190.79	c  N dy  3507   1143446        80      7120         0     50694     49840    698883     22.84     24.06  --
788.10/197.39	c  N dy  3579   1172895        80      7120         0     77600     49840   1412162     22.83     24.05  --
809.67/202.79	c  N dy  3640   1192909        80      7120         0     52889     49840    746622     22.83     25.75  --
826.84/207.00	c  S st  3737   1209700        80      7120         0     68377     49840   1167888     22.85     21.40  --
827.64/207.22	c  S st  3737   1210201        80      7120         0     68843     49840   1180830     22.85   no data  --
827.64/207.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
827.64/207.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
827.64/207.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
828.04/207.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
828.04/207.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
828.04/207.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
828.04/207.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
912.73/228.54	c lits-rem:      3380  cl-subs:     5267  v-elim:      0  v-fix:    0  time: 84.79 s
912.73/228.54	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
912.73/228.55	c vivif2 --  cl tried    63576 cl shrink        0 lits rem          0 time: 0.06
914.33/228.93	c asymm  cl-useful: 0/784/7120 lits-rem:0 time: 1.50
914.33/228.93	c calculated reachability. Time: 0.00
914.33/228.93	c  N dy  3737   1210201        80      7120         0     63576     49840   1030741     22.85   no data  --
936.70/234.53	c  N dy  3806   1230309        80      7120         0     82018     49840   1528158     22.85     24.20  --
961.47/240.75	c  N dy  3919   1257096        80      7120         0     62818     49840   1005636     22.86     24.22  --
984.63/246.52	c  N dy  4041   1277574        80      7120         0     81689     49840   1522986     22.88     24.28  --
1010.22/252.93	c  N dy  4171   1299335        80      7120         0     56807     49840    824268     22.90     24.22  --
1032.19/258.42	c  N dy  4267   1319356        80      7120         0     75210     49840   1325207     22.91     24.60  --
1058.56/265.02	c  N dy  4341   1339679        80      7120         0     48068     49840    569432     22.92     24.14  --
1078.11/269.90	c  N dy  4449   1359708        80      7120         0     66421     49840   1069480     22.93     26.59  --
1100.48/275.51	c  N dy  4534   1379752        80      7120         0     84779     49840   1567430     22.94     28.54  --
1121.65/280.88	c  N dy  4554   1406920        80      7120         0     62780     49840    937351     22.91     24.20  --
1143.62/286.37	c  N dy  4701   1426965        80      7120         0     81228     49840   1446202     22.93     25.80  --
1167.99/292.45	c  N dy  4781   1448880        80      7120         0     53572     49840    685923     22.93     24.26  --
1186.38/297.04	c  N dy  4899   1469330        80      7120         0     72342     49840   1198999     22.95     24.20  --
1210.73/303.15	c  N dy  5022   1489350        80      7120         0     90691     49840   1699741     22.96     25.25  --
1231.90/308.43	c  N dy  5129   1509393        80      7120         0     60589     49840    866761     22.98     24.29  --
1252.68/313.61	c  N dy  5253   1529465        80      7120         0     78970     49840   1371164     22.99     27.37  --
1275.45/319.32	c  N dy  5304   1549472        80      7120         0     97277     49840   1865458     22.99     24.29  --
1291.84/323.43	c  N dy  5351   1569539        80      7120         0     66127     49840    994856     22.99     24.97  --
1311.00/328.23	c  N dy  5411   1589562        80      7120         0     84483     49840   1487223     22.99     24.27  --
1331.00/333.29	c  N dy  5430   1610051        80      7120         0     52903     49840    621627     22.97     24.45  --
1351.75/338.44	c  N dy  5523   1633277        80      7120         0     74130     49840   1192646     22.97     24.20  --
1372.91/343.79	c  N dy  5586   1653369        80      7120         0     92508     49840   1687602     22.98     26.04  --
1401.70/350.99	c  N dy  5635   1683676        80      7120         0     68939     49840   1036629     22.96     24.25  --
1425.64/356.97	c  N dy  5712   1703737        80      7120         0     87265     49840   1533790     22.97     26.13  --
1435.23/359.31	c  S st  5727   1710201        80      7120         0     93150     49840   1690728     22.97     22.29  --
1436.45/359.64	c  S st  5727   1710707        80      7120         0     93621     49840   1703732     22.97   no data  --
1436.45/359.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1436.45/359.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1436.85/359.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1436.85/359.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1436.85/359.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1436.85/359.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1436.85/359.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1607.00/402.36	c lits-rem:      6224  cl-subs:     9023  v-elim:      0  v-fix:    0  time: 170.12 s
1607.00/402.36	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1607.00/402.38	c vivif2 --  cl tried    84598 cl shrink        0 lits rem          0 time: 0.08
1608.60/402.77	c asymm  cl-useful: 0/830/7120 lits-rem:0 time: 1.57
1608.60/402.78	c calculated reachability. Time: 0.00
1608.60/402.78	c  N dy  5727   1710707        80      7120         0     84598     49840   1453667     22.97   no data  --
1642.15/411.18	c  N dy  5826   1733477        80      7120         0     53730     49840    617499     22.98     24.22  --
1665.72/417.03	c  N dy  5909   1753488        80      7120         0     72052     49840   1114135     22.98     25.58  --
1695.29/424.44	c  N dy  6002   1773710        80      7120         0     90477     49840   1615614     22.99     24.26  --
1742.42/436.22	c  N dy  6093   1808036        80      7120         0     68828     49840    999162     22.98     24.28  --
1769.19/442.99	c  N dy  6180   1828098        80      7120         0     87161     49840   1497109     22.99     26.07  --
1801.93/451.17	c  N dy  6276   1848324        80      7120         0    105725     49840   2004234     23.00     24.33  --
1825.11/456.94	c  N dy  6377   1868335        80      7120         0     70355     49840   1038999     23.01     27.53  --
1870.25/468.25	c  N dy  6471   1903812        80      7120         0    102654     49840   1906759     23.00     24.43  --
1897.41/475.01	c  N dy  6548   1924359        80      7120         0     66740     49840    920098     23.01     24.24  --
1924.20/481.71	c  N dy  6612   1946946        80      7120         0     87378     49840   1479412     23.01     24.25  --
1954.14/489.24	c  N dy  6704   1966972        80      7120         0    105729     49840   1977123     23.02     24.86  --
1975.30/494.55	c  N dy  6746   1987659        80      7120         0     68779     49840    953495     23.01     24.24  --
1996.88/499.90	c  N dy  6842   2007757        80      7120         0     87173     49840   1453908     23.02     24.84  --
2033.63/509.14	c  N dy  6920   2038255        80      7120         0     58400     49840    661366     23.00     24.28  --
2065.21/517.03	c  N dy  6963   2075028        80      7120         0     91834     49840   1553914     22.99     24.22  --
2093.94/524.25	c  N dy  7068   2095179        80      7120         0    110233     49840   2052727     22.99     24.34  --
2115.91/529.76	c  N dy  7145   2115181        80      7120         0     71077     49840    986831     22.99     24.42  --
2144.30/536.84	c  N dy  7239   2140658        80      7120         0     94358     49840   1617220     23.00     24.22  --
2177.84/545.22	c  N dy  7372   2160979        80      7120         0    113004     49840   2129577     23.01     24.24  --
2201.80/551.24	c  N dy  7456   2180981        80      7120         0     72842     49840   1024647     23.02     25.07  --
2226.17/557.38	c  N dy  7552   2201063        80      7120         0     91169     49840   1521665     23.02     24.93  --
2238.55/560.44	c  S st  7579   2210709        80      7120         0     99998     49840   1758742     23.02   no data  --
2239.75/560.76	c  S st  7579   2211212        80      7120         0    100463     49840   1771664     23.02   no data  --
2239.75/560.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2239.75/560.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2240.15/560.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2240.15/560.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2240.15/560.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2240.15/560.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2240.15/560.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2685.15/672.23	c lits-rem:      5325  cl-subs:     8366  v-elim:      0  v-fix:    0  time: 444.68 s
2685.15/672.23	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2685.15/672.25	c vivif2 --  cl tried    92097 cl shrink        0 lits rem          0 time: 0.08
2686.75/672.67	c asymm  cl-useful: 0/642/7120 lits-rem:0 time: 1.68
2686.75/672.68	c calculated reachability. Time: 0.00
2686.75/672.68	c  N dy  7579   2211212        80      7120         0     92097     49840   1529960     23.02   no data  --
2722.70/681.68	c  N dy  7678   2231559        80      7120         0    110768     49840   2039977     23.03     24.31  --
2752.66/689.17	c  N dy  7723   2255713        80      7120         0     73647     49840   1024827     23.02     24.33  --
2785.44/697.30	c  N dy  7834   2278471        80      7120         0     94454     49840   1590206     23.03     24.29  --
2824.17/707.08	c  N dy  7909   2302340        80      7120         0    116293     49840   2182283     23.03     24.32  --
2848.94/713.24	c  N dy  7957   2322877        80      7120         0     74901     49840   1043998     23.03     24.47  --
2878.12/720.55	c  N dy  8055   2343413        80      7120         0     93700     49840   1556519     23.03     24.39  --
2913.27/729.35	c  N dy  8134   2364458        80      7120         0    112951     49840   2079322     23.04     24.47  --
2945.20/737.32	c  N dy  8204   2384502        80      7120         0     70148     49840    904850     23.04     26.00  --
2972.76/744.28	c  N dy  8275   2405060        80      7120         0     88912     49840   1413747     23.05     24.28  --
3037.08/760.37	c  N dy  8338   2445292        80      7120         0     63484     49840    710878     23.03     24.43  --
3064.64/767.29	c  N dy  8388   2471281        80      7120         0     87097     49840   1348716     23.02     24.26  --
3097.42/775.43	c  N dy  8482   2491437        80      7120         0    105582     49840   1852407     23.03     24.29  --
3139.35/785.92	c  N dy  8595   2511775        80      7120         0    124191     49840   2362973     23.04     24.50  --
3165.30/792.46	c  N dy  8717   2531847        80      7120         0     79649     49840   1140492     23.05     24.45  --
3191.27/798.92	c  N dy  8816   2551900        80      7120         0     98029     49840   1642409     23.06     26.22  --
3224.44/807.30	c  N dy  8923   2573532        80      7120         0    117821     49840   2183909     23.06     24.35  --
3259.18/815.98	c  N dy  9052   2594960        80      7120         0     73488     49840    952289     23.07     24.29  --
3280.36/821.25	c  N dy  9068   2618302        80      7120         0     94651     49840   1518328     23.06     24.40  --
3313.91/829.65	c  N dy  9184   2638374        80      7120         0    113054     49840   2021575     23.07     24.29  --
3359.05/840.91	c  N dy  9303   2661285        80      7120         0     69195     49840    816364     23.07     24.47  --
3393.40/849.51	c  N dy  9306   2699525        80      7120         0    103789     49840   1729276     23.05     24.26  --
3410.98/853.90	c  S st  9355   2711213        80      7120         0    114485     49840   2022533     23.05     21.75  --
3412.18/854.24	c  S st  9355   2711717        80      7120         0    114954     49840   2035551     23.05   no data  --
3412.18/854.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3412.18/854.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3412.58/854.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3412.58/854.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3412.58/854.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3412.58/854.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3412.58/854.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3881.55/971.73	c lits-rem:      3494  cl-subs:    12447  v-elim:      0  v-fix:    0  time: 468.67 s
3881.55/971.73	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3881.55/971.76	c vivif2 --  cl tried   102507 cl shrink        0 lits rem          0 time: 0.10
3883.55/972.26	c asymm  cl-useful: 0/522/7120 lits-rem:0 time: 2.03
3883.55/972.27	c calculated reachability. Time: 0.00
3883.55/972.27	c  N dy  9355   2711717        80      7120         0    102507     49840   1713893     23.05   no data  --
3931.88/984.32	c  N dy  9467   2731901        80      7120         0    120974     49840   2217610     23.06     24.35  --
3978.61/996.07	c  N dy  9522   2757187        80      7120         0     78902     49840   1068286     23.05     24.29  --
4017.37/1005.77	c  N dy  9572   2782439        80      7120         0    101947     49840   1686533     23.05     24.45  --
4051.34/1014.29	c  N dy  9607   2802517        80      7120         0    120280     49840   2177050     23.04     25.60  --
4096.05/1025.48	c  N dy  9698   2824056        80      7120         0     73630     49840    906996     23.05     24.27  --
4129.22/1033.74	c  N dy  9802   2844461        80      7120         0     92358     49840   1420594     23.05     24.28  --
4165.96/1042.91	c  N dy  9850   2865851        80      7120         0    111860     49840   1947656     23.05     24.30  --
4230.68/1059.12	c  N dy  9904   2900331        80      7120         0     75733     49840    942804     23.04     24.31  --
4261.04/1066.80	c  N dy  9982   2920376        80      7120         0     94036     49840   1438194     23.05     25.83  --
4303.38/1077.38	c  N dy 10074   2940420        80      7120         0    112303     49840   1935199     23.05     24.89  --
4351.72/1089.48	c  N dy 10140   2960895        80      7120         0    130967     49840   2438911     23.05     24.28  --
4392.86/1099.72	c  N dy 10213   2981920        80      7120         0     81837     49840   1098899     23.05     24.45  --
4429.24/1108.89	c  N dy 10314   3002057        80      7120         0    100204     49840   1600911     23.06     24.35  --
4471.56/1119.40	c  N dy 10390   3022073        80      7120         0    118473     49840   2096235     23.06     24.67  --
4525.09/1132.88	c  N dy 10452   3043428        80      7120         0    137985     49840   2621937     23.06     24.53  --
4561.43/1141.98	c  N dy 10548   3064333        80      7120         0     87820     49840   1249533     23.06     24.44  --
4595.81/1150.52	c  N dy 10585   3085604        80      7120         0    107061     49840   1757666     23.05     24.31  --
4636.13/1160.64	c  N dy 10614   3106325        80      7120         0    125882     49840   2257161     23.05     24.37  --
4675.68/1170.51	c  N dy 10634   3126484        80      7120         0     74062     49840    855564     23.04     24.34  --
4710.84/1179.32	c  N dy 10748   3148070        80      7120         0     93844     49840   1398185     23.05     24.31  --
4746.79/1188.37	c  N dy 10808   3168494        80      7120         0    112459     49840   1898885     23.05     24.27  --
4791.13/1199.47	c  N dy 10902   3188590        80      7120         0    130795     49840   2399404     23.05     25.77  --

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-3175297-1304109173/watcher-3175297-1304109173 -o /tmp/evaluation-result-3175297-1304109173/solver-3175297-1304109173 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175297-1304109173.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.18 8.21 8.16 3/180 24656
/proc/meminfo: memFree=25370308/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=182316 CPUtime=0 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 501 0 0 0 0 0 0 0 21 0 4 0 522515489 186691584 422 33554432000 4194304 4650419 140736579304416 18446744073709551615 232335935578 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 45820 446 331 112 0 40785 0
[pid=24656/tid=24659] ppid=24652 vsize=183280 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 15 0 0 0 0 0 0 0 22 0 4 0 522515489 187678720 506 33554432000 4194304 4650419 140736579304416 18446744073709551615 232335553221 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=183280 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 65 0 0 0 0 0 0 0 22 0 4 0 522515489 187678720 544 33554432000 4194304 4650419 140736579304416 18446744073709551615 4320796 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=183280 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 72 0 0 0 0 0 0 0 22 0 4 0 522515489 187678720 556 33554432000 4194304 4650419 140736579304416 18446744073709551615 4233488 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.00826401 s]
/proc/loadavg: 8.18 8.21 8.16 3/180 24656
/proc/meminfo: memFree=25370308/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=281792 CPUtime=0.01 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 922 0 0 0 1 0 0 0 18 0 4 0 522515489 288555008 833 33554432000 4194304 4650419 140736579304416 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 70448 836 343 112 0 65413 0
[pid=24656/tid=24659] ppid=24652 vsize=281792 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 85 0 0 0 0 0 0 0 21 0 4 0 522515489 288555008 836 33554432000 4194304 4650419 140736579304416 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=281792 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 146 0 0 0 0 0 0 0 18 0 4 0 522515489 288555008 839 33554432000 4194304 4650419 140736579304416 18446744073709551615 4373896 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=281792 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 146 0 0 0 0 0 0 0 18 0 4 0 522515489 288555008 840 33554432000 4194304 4650419 140736579304416 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 281792

[startup+0.100242 s]
/proc/loadavg: 8.18 8.21 8.16 3/180 24656
/proc/meminfo: memFree=25370308/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=282048 CPUtime=0.37 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 1528 0 0 0 37 0 0 0 18 0 4 0 522515489 288817152 1439 33554432000 4194304 4650419 140736579304416 18446744073709551615 4370456 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 70512 1439 366 112 0 65477 0
[pid=24656/tid=24659] ppid=24652 vsize=282048 CPUtime=0.09 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 216 0 0 0 9 0 0 0 22 0 4 0 522515489 288817152 1439 33554432000 4194304 4650419 140736579304416 18446744073709551615 4371092 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=282048 CPUtime=0.09 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 257 0 0 0 9 0 0 0 18 0 4 0 522515489 288817152 1439 33554432000 4194304 4650419 140736579304416 18446744073709551615 4370547 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=282048 CPUtime=0.09 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 375 0 0 0 9 0 0 0 18 0 4 0 522515489 288817152 1439 33554432000 4194304 4650419 140736579304416 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282048

[startup+0.300207 s]
/proc/loadavg: 8.18 8.21 8.16 3/180 24656
/proc/meminfo: memFree=25370308/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=285704 CPUtime=1.17 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 3912 0 0 0 116 1 0 0 18 0 4 0 522515489 292560896 3331 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 71426 3331 390 112 0 66391 0
[pid=24656/tid=24659] ppid=24652 vsize=285704 CPUtime=0.28 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 887 0 0 0 28 0 0 0 22 0 4 0 522515489 292560896 3331 33554432000 4194304 4650419 140736579304416 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=285704 CPUtime=0.29 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 951 0 0 0 29 0 0 0 18 0 4 0 522515489 292560896 3331 33554432000 4194304 4650419 140736579304416 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=285704 CPUtime=0.29 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 751 0 0 0 29 0 0 0 18 0 4 0 522515489 292560896 3331 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285704

[startup+0.701137 s]
/proc/loadavg: 8.18 8.21 8.16 3/180 24656
/proc/meminfo: memFree=25370308/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=287456 CPUtime=2.77 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 6282 0 0 0 276 1 0 0 18 0 4 0 522515489 294354944 3923 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 71864 3923 390 112 0 66829 0
[pid=24656/tid=24659] ppid=24652 vsize=287456 CPUtime=0.68 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 1525 0 0 0 68 0 0 0 24 0 4 0 522515489 294354944 3923 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=287456 CPUtime=0.69 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 1562 0 0 0 69 0 0 0 18 0 4 0 522515489 294354944 3923 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=287456 CPUtime=0.69 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 1229 0 0 0 69 0 0 0 18 0 4 0 522515489 294354944 3923 33554432000 4194304 4650419 140736579304416 18446744073709551615 4328251 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287456

[startup+1.501 s]
/proc/loadavg: 8.25 8.22 8.16 9/188 24664
/proc/meminfo: memFree=25343584/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=288756 CPUtime=5.97 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 10166 0 0 0 595 2 0 0 19 0 4 0 522515489 295686144 4773 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 72189 4774 391 112 0 67154 0
[pid=24656/tid=24659] ppid=24652 vsize=288756 CPUtime=1.48 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 2482 0 0 0 148 0 0 0 25 0 4 0 522515489 295686144 4774 33554432000 4194304 4650419 140736579304416 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=288756 CPUtime=1.49 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 2541 0 0 0 149 0 0 0 20 0 4 0 522515489 295686144 4774 33554432000 4194304 4650419 140736579304416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=288756 CPUtime=1.49 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 2209 0 0 0 149 0 0 0 19 0 4 0 522515489 295686144 4774 33554432000 4194304 4650419 140736579304416 18446744073709551615 4360637 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288756

[startup+3.10071 s]
/proc/loadavg: 8.25 8.22 8.16 10/188 24664
/proc/meminfo: memFree=25318660/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=298200 CPUtime=12.36 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 19276 0 0 0 1233 3 0 0 25 0 4 0 522515489 305356800 11408 33554432000 4194304 4650419 140736579304416 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 74550 11408 392 112 0 69515 0
[pid=24656/tid=24659] ppid=24652 vsize=298200 CPUtime=3.08 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 4224 0 0 0 307 1 0 0 25 0 4 0 522515489 305356800 11408 33554432000 4194304 4650419 140736579304416 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=298200 CPUtime=3.08 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 5304 0 0 0 308 0 0 0 25 0 4 0 522515489 305356800 11408 33554432000 4194304 4650419 140736579304416 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=298200 CPUtime=3.09 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 5248 0 0 0 308 1 0 0 25 0 4 0 522515489 305356800 11408 33554432000 4194304 4650419 140736579304416 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 298200

[startup+6.30115 s]
/proc/loadavg: 8.23 8.22 8.16 10/188 24664
/proc/meminfo: memFree=25256540/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=307936 CPUtime=25.14 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 27671 0 0 0 2510 4 0 0 25 0 4 0 522515489 315326464 16070 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 76984 16070 392 112 0 71949 0
[pid=24656/tid=24659] ppid=24652 vsize=307936 CPUtime=6.26 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 7263 0 0 0 625 1 0 0 25 0 4 0 522515489 315326464 16070 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=307936 CPUtime=6.28 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 6921 0 0 0 628 0 0 0 25 0 4 0 522515489 315326464 16070 33554432000 4194304 4650419 140736579304416 18446744073709551615 4361049 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=307936 CPUtime=6.29 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 7348 0 0 0 628 1 0 0 25 0 4 0 522515489 315326464 16070 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 307936

[startup+12.701 s]
/proc/loadavg: 8.21 8.21 8.16 10/188 24664
/proc/meminfo: memFree=25205024/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=308344 CPUtime=50.71 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 38868 0 0 0 5064 7 0 0 25 0 4 0 522515489 315744256 21952 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 77086 21952 392 112 0 72051 0
[pid=24656/tid=24659] ppid=24652 vsize=308344 CPUtime=12.62 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 9870 0 0 0 1261 1 0 0 25 0 4 0 522515489 315744256 21952 33554432000 4194304 4650419 140736579304416 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=308344 CPUtime=12.69 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 8524 0 0 0 1268 1 0 0 25 0 4 0 522515489 315744256 21952 33554432000 4194304 4650419 140736579304416 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=308344 CPUtime=12.69 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 11500 0 0 0 1267 2 0 0 25 0 4 0 522515489 315744256 21952 33554432000 4194304 4650419 140736579304416 18446744073709551615 4334196 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 308344

[startup+25.5007 s]
/proc/loadavg: 8.16 8.20 8.16 10/188 24665
/proc/meminfo: memFree=25145016/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=315180 CPUtime=101.83 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 59008 0 0 0 10172 11 0 0 25 0 4 0 522515489 322744320 27529 33554432000 4194304 4650419 140736579304416 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 78795 27529 392 112 0 73760 0
[pid=24656/tid=24659] ppid=24652 vsize=315180 CPUtime=25.34 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 15866 0 0 0 2532 2 0 0 25 0 4 0 522515489 322744320 27529 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=315180 CPUtime=25.48 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 11439 0 0 0 2547 1 0 0 25 0 4 0 522515489 322744320 27529 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=315180 CPUtime=25.49 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 17535 0 0 0 2545 4 0 0 25 0 4 0 522515489 322744320 27529 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 315180

[startup+51.1002 s]
/proc/loadavg: 8.47 8.28 8.18 11/188 24665
/proc/meminfo: memFree=25096268/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=326296 CPUtime=204.09 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 89108 0 0 0 20391 18 0 0 25 0 4 0 522515489 334127104 34967 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 81574 34967 392 112 0 76539 0
[pid=24656/tid=24659] ppid=24652 vsize=326296 CPUtime=50.81 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 24766 0 0 0 5077 4 0 0 25 0 4 0 522515489 334127104 34967 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=326296 CPUtime=51.09 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 16801 0 0 0 5107 2 0 0 25 0 4 0 522515489 334127104 34967 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=326296 CPUtime=51.09 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 26858 0 0 0 5102 7 0 0 25 0 4 0 522515489 334127104 34967 33554432000 4194304 4650419 140736579304416 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 326296

[startup+102.307 s]
/proc/loadavg: 8.27 8.25 8.18 9/188 24667
/proc/meminfo: memFree=25036360/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=307956 CPUtime=408.64 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 132465 0 0 0 40831 33 0 0 25 0 4 0 522515489 315346944 38845 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 76989 38845 392 112 0 71954 0
[pid=24656/tid=24659] ppid=24652 vsize=307956 CPUtime=101.74 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 38029 0 0 0 10165 9 0 0 25 0 4 0 522515489 315346944 38845 33554432000 4194304 4650419 140736579304416 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=307956 CPUtime=102.3 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 23189 0 0 0 10226 4 0 0 25 0 4 0 522515489 315346944 38845 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=307956 CPUtime=102.29 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 40242 0 0 0 10218 11 0 0 25 0 4 0 522515489 315346944 38845 33554432000 4194304 4650419 140736579304416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 307956

[startup+162.3 s]

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

[pid=24656] ppid=24652 vsize=569196 CPUtime=2805.39 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 438073 0 0 0 280375 164 0 0 25 0 4 0 522515489 582856704 81207 33554432000 4194304 4650419 140736579304416 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 142299 81207 392 112 0 137264 0
[pid=24656/tid=24659] ppid=24652 vsize=569196 CPUtime=698.48 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 120275 0 0 0 69797 51 0 0 25 0 4 0 522515489 582856704 81207 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=569196 CPUtime=702.3 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 88207 0 0 0 70196 34 0 0 25 0 4 0 522515489 582856704 81207 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=569196 CPUtime=702.3 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 117877 0 0 0 70190 40 0 0 25 0 4 0 522515489 582856704 81207 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 569196

[startup+762.307 s]
/proc/loadavg: 8.20 8.19 8.18 11/188 24684
/proc/meminfo: memFree=24720372/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=546248 CPUtime=3045.09 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 461574 0 0 0 304337 172 0 0 25 0 4 0 522515489 559357952 76452 33554432000 4194304 4650419 140736579304416 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 136562 76452 392 112 0 131527 0
[pid=24656/tid=24659] ppid=24652 vsize=546248 CPUtime=758.15 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 126372 0 0 0 75762 53 0 0 25 0 4 0 522515489 559357952 76452 33554432000 4194304 4650419 140736579304416 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=546248 CPUtime=762.31 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 91023 0 0 0 76195 36 0 0 25 0 4 0 522515489 559357952 76452 33554432000 4194304 4650419 140736579304416 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=546248 CPUtime=762.31 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 127601 0 0 0 76190 41 0 0 25 0 4 0 522515489 559357952 76452 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 546248

[startup+822.3 s]
/proc/loadavg: 8.44 8.24 8.20 10/188 24686
/proc/meminfo: memFree=24700636/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=547616 CPUtime=3284.75 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 483787 0 0 0 328292 183 0 0 25 0 4 0 522515489 560758784 82213 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 136904 82213 392 112 0 131869 0
[pid=24656/tid=24659] ppid=24652 vsize=547616 CPUtime=817.82 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 132669 0 0 0 81726 56 0 0 25 0 4 0 522515489 560758784 82213 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=547616 CPUtime=822.31 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 94398 0 0 0 82192 39 0 0 25 0 4 0 522515489 560758784 82213 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=547616 CPUtime=822.31 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 136091 0 0 0 82187 44 0 0 25 0 4 0 522515489 560758784 82213 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 547616

[startup+882.301 s]
/proc/loadavg: 8.34 8.24 8.20 10/188 24687
/proc/meminfo: memFree=24656088/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=552556 CPUtime=3524.43 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 498187 0 0 0 352251 192 0 0 25 0 4 0 522515489 565817344 84768 33554432000 4194304 4650419 140736579304416 18446744073709551615 4439089 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 138139 84768 392 112 0 133104 0
[pid=24656/tid=24659] ppid=24652 vsize=552556 CPUtime=877.5 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 138383 0 0 0 87690 60 0 0 25 0 4 0 522515489 565817344 84768 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=552556 CPUtime=882.3 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 97680 0 0 0 88190 40 0 0 25 0 4 0 522515489 565817344 84768 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=552556 CPUtime=882.3 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 137746 0 0 0 88185 45 0 0 25 0 4 0 522515489 565817344 84768 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 552556

[startup+942.301 s]
/proc/loadavg: 8.39 8.26 8.20 9/188 24689
/proc/meminfo: memFree=24644788/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=552744 CPUtime=3764.1 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 510852 0 0 0 376211 199 0 0 25 0 4 0 522515489 566009856 91238 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 138186 91238 392 112 0 133151 0
[pid=24656/tid=24659] ppid=24652 vsize=552744 CPUtime=937.17 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 142978 0 0 0 93654 63 0 0 25 0 4 0 522515489 566009856 91238 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=552744 CPUtime=942.31 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 100260 0 0 0 94189 42 0 0 25 0 4 0 522515489 566009856 91238 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=552744 CPUtime=942.3 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 143236 0 0 0 94182 48 0 0 25 0 4 0 522515489 566009856 91238 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 552744

[startup+1002.3 s]
/proc/loadavg: 8.27 8.24 8.19 10/188 24691
/proc/meminfo: memFree=24628140/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=526508 CPUtime=4003.78 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 519067 0 0 0 400173 205 0 0 25 0 4 0 522515489 539144192 93174 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 131627 93174 392 112 0 126592 0
[pid=24656/tid=24659] ppid=24652 vsize=526508 CPUtime=996.84 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 143347 0 0 0 99621 63 0 0 25 0 4 0 522515489 539144192 93174 33554432000 4194304 4650419 140736579304416 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=526508 CPUtime=1002.31 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 101825 0 0 0 100188 43 0 0 25 0 4 0 522515489 539144192 93174 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=526508 CPUtime=1002.31 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 146935 0 0 0 100180 51 0 0 25 0 4 0 522515489 539144192 93174 33554432000 4194304 4650419 140736579304416 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 526508

[startup+1062.3 s]
/proc/loadavg: 8.49 8.29 8.21 10/188 24692
/proc/meminfo: memFree=24597988/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=526508 CPUtime=4243.46 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 526251 0 0 0 424137 209 0 0 25 0 4 0 522515489 539144192 90698 33554432000 4194304 4650419 140736579304416 18446744073709551615 4364746 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 131627 90698 392 112 0 126592 0
[pid=24656/tid=24659] ppid=24652 vsize=526508 CPUtime=1056.53 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 144174 0 0 0 105589 64 0 0 25 0 4 0 522515489 539144192 90698 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=526508 CPUtime=1062.31 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 105049 0 0 0 106186 45 0 0 25 0 4 0 522515489 539144192 90698 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=526508 CPUtime=1062.31 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 147056 0 0 0 106180 51 0 0 25 0 4 0 522515489 539144192 90698 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 526508

[startup+1122.3 s]
/proc/loadavg: 8.18 8.23 8.19 9/188 24694
/proc/meminfo: memFree=24582712/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=534280 CPUtime=4483.14 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 532498 0 0 0 448101 213 0 0 25 0 4 0 522515489 547102720 96736 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 133570 96736 392 112 0 128535 0
[pid=24656/tid=24659] ppid=24652 vsize=534280 CPUtime=1116.2 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 144174 0 0 0 111556 64 0 0 25 0 4 0 522515489 547102720 96736 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=534280 CPUtime=1122.31 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 106956 0 0 0 112186 45 0 0 25 0 4 0 522515489 547102720 96736 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=534280 CPUtime=1122.31 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 147269 0 0 0 112180 51 0 0 25 0 4 0 522515489 547102720 96736 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 534280

[startup+1182.3 s]
/proc/loadavg: 8.19 8.22 8.18 10/188 24695
/proc/meminfo: memFree=24592468/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=586908 CPUtime=4722.82 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 535233 0 0 0 472067 215 0 0 25 0 4 0 522515489 600993792 93886 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 146727 93886 392 112 0 141692 0
[pid=24656/tid=24659] ppid=24652 vsize=586908 CPUtime=1175.87 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 144545 0 0 0 117523 64 0 0 25 0 4 0 522515489 600993792 93886 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=586908 CPUtime=1182.31 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 106961 0 0 0 118186 45 0 0 25 0 4 0 522515489 600993792 93886 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=586908 CPUtime=1182.31 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 147269 0 0 0 118180 51 0 0 25 0 4 0 522515489 600993792 93886 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 586908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.20 8.18 10/188 24696
/proc/meminfo: memFree=24583776/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=544708 CPUtime=4800.33 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 537778 0 0 0 479816 217 0 0 25 0 4 0 522515489 557780992 96242 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 136177 96242 392 112 0 131142 0
[pid=24656/tid=24659] ppid=24652 vsize=544708 CPUtime=1195.16 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 145805 0 0 0 119451 65 0 0 25 0 4 0 522515489 557780992 96242 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=544708 CPUtime=1201.72 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 107275 0 0 0 120127 45 0 0 25 0 4 0 522515489 557780992 96242 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=544708 CPUtime=1201.72 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 147269 0 0 0 120121 51 0 0 25 0 4 0 522515489 557780992 96242 33554432000 4194304 4650419 140736579304416 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 544708

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.20 8.18 10/188 24696
/proc/meminfo: memFree=24583776/32951124 swapFree=67111524/67111528
[pid=24656] ppid=24652 vsize=544708 CPUtime=4800.33 cores=1,3,5,7
/proc/24656/stat : 24656 (strangenight1-m) R 24652 24656 24228 0 -1 4202496 537778 0 0 0 479816 217 0 0 25 0 4 0 522515489 557780992 96242 33554432000 4194304 4650419 140736579304416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24656/statm: 136177 96242 392 112 0 131142 0
[pid=24656/tid=24659] ppid=24652 vsize=544708 CPUtime=1195.16 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 145805 0 0 0 119451 65 0 0 25 0 4 0 522515489 557780992 96242 33554432000 4194304 4650419 140736579304416 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24656/tid=24661] ppid=24652 vsize=544708 CPUtime=1201.72 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 107275 0 0 0 120127 45 0 0 25 0 4 0 522515489 557780992 96242 33554432000 4194304 4650419 140736579304416 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24656/tid=24662] ppid=24652 vsize=544708 CPUtime=1201.72 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (strangenight1-m) R 24652 24656 24228 0 -1 4202560 147269 0 0 0 120121 51 0 0 25 0 4 0 522515489 557780992 96242 33554432000 4194304 4650419 140736579304416 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 544708

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.39
CPU user time (s): 4798.19
CPU system time (s): 2.19367
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 595772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.19
system time used= 2.19367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537778
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= 514
involuntary context switches= 36428

runsolver used 1.84372 second user time and 4.73828 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 22:32:53
IDJOB=3175297
IDBENCH=82915
IDSOLVER=1588
FILE ID=node132/3175297-1304109173
RUNJOBID= node132-1304107969-24544
PBS_JOBID= 13170650
Free space on /tmp= 71872 MiB

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

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

MD5SUM BENCH= a7e7ad4822818289e739fae39e69d3b8
RANDOM SEED=1421154390

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:      25370612 kB
Buffers:        775800 kB
Cached:        6241300 kB
SwapCached:          4 kB
Active:        2097916 kB
Inactive:      4983816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25370612 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12416 kB
Writeback:           0 kB
AnonPages:       64740 kB
Mapped:          14688 kB
Slab:           435908 kB
PageTables:       4620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187320 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71860 MiB
End job on node132 at 2011-04-29 22:52:57