Trace number 3368906

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.1 1203.55

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368906-1305405721.cnf'
0.00/0.01	c -- header says num vars:             80
0.00/0.01	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.63/0.18	c Parsing time:  0.01 s
0.63/0.18	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.63/0.18	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.63/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.57/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3.57/0.90	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.01 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  --
3.97/1.10	c  N dy    63     22067        80      7120         0      8910     49840    203476     22.87     24.22  --
5.16/1.30	c  F st    72     25000        80      7120         0     11605     49840    276317     22.92     21.22  --
5.16/1.30	c  N st    75     26187        80      7120         0      6432     49840    120779     22.92   no data  --
5.96/1.50	c  S st    78     30000        80      7120         0      9910     49840    213295     22.92   no data  --
6.36/1.60	c  S st    78     30500        80      7120         0     10384     49840    226133     22.92   no data  --
6.36/1.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.36/1.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
6.36/1.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.36/1.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
6.36/1.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.75/2.78	c lits-rem:      1360  cl-subs:      840  v-elim:      0  v-fix:    0  time:  5.03 s
12.35/3.10	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.30
12.35/3.10	c calculated reachability. Time: 0.00
12.35/3.10	c  N dy    78     30500        80      7120         0      9544     49840    201035     22.92   no data  --
12.75/3.30	c  N dy    84     34535        80      7120         0     13252     49840    298960     22.77     23.99  --
13.94/3.53	c  N dy    97     38588        80      7120         0      9756     49840    193658     22.82     24.17  --
15.14/3.80	c  N dy   105     43620        80      7120         0     14382     49840    316154     22.77     24.04  --
15.54/3.95	c  S st   121     45750        80      7120         0     16352     49840    369451     22.85   no data  --
15.54/3.99	c  S st   121     46253        80      7120         0      8609     49840    148435     22.85   no data  --
15.54/3.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.93/4.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.93/4.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.12/4.81	c lits-rem:       155  cl-subs:       53  v-elim:      0  v-fix:    0  time:  3.21 s
19.12/4.81	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
19.12/4.81	c vivif2 --  cl tried     8556 cl shrink        0 lits rem          0 time: 0.01
19.92/5.09	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.13
19.92/5.09	c calculated reachability. Time: 0.00
19.92/5.09	c  N dy   121     46253        80      7120         0      8556     49840    146531     22.85   no data  --
21.52/5.45	c  N dy   124     53215        80      7120         0     14916     49840    313761     22.65     23.91  --
22.71/5.75	c  N dy   151     57282        80      7120         0      9519     49840    159090     22.76     24.26  --
23.91/6.04	c  N dy   172     62489        80      7120         0     14271     49840    286067     22.81     24.13  --
25.10/6.33	c  N dy   189     66527        80      7120         0     17989     49840    385850     22.86     24.19  --
25.91/6.54	c  S st   197     69379        80      7120         0     10546     49840    170299     22.82     19.83  --
25.91/6.58	c  S st   197     69881        80      7120         0     11012     49840    182921     22.82   no data  --
25.91/6.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.91/6.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.91/6.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.91/6.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.91/6.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.91/6.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.91/6.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.90/7.53	c lits-rem:       314  cl-subs:      142  v-elim:      0  v-fix:    0  time:  3.74 s
29.90/7.53	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.90/7.53	c vivif2 --  cl tried    10870 cl shrink        0 lits rem          0 time: 0.01
31.13/7.88	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.36
31.13/7.88	c calculated reachability. Time: 0.00
31.13/7.88	c  N dy   197     69881        80      7120         0     10870     49840    178603     22.82   no data  --
33.09/8.34	c  N dy   209     77860        80      7120         0     18164     49840    372661     22.79     24.14  --
34.69/8.79	c  N dy   244     82854        80      7120         0     11783     49840    191088     22.89     26.71  --
35.87/9.08	c  F st   268     87500        80      7120         0     16031     49840    305572     22.93     22.52  --
36.27/9.16	c  N st   271     88689        80      7120         0     17119     49840    335328     22.93   no data  --
39.08/9.90	c  N dy   285     99000        80      7120         0     14653     49840    249632     22.89     24.15  --
41.06/10.35	c  S st   319    104822        80      7120         0     20010     49840    394563     22.95     23.68  --
41.46/10.41	c  S st   319    105323        80      7120         0     20477     49840    407159     22.95   no data  --
41.46/10.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.46/10.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.46/10.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
41.46/10.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.46/10.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.46/10.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
41.46/10.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.27/12.18	c lits-rem:      1921  cl-subs:     1669  v-elim:      0  v-fix:    0  time:  6.95 s
48.27/12.18	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
48.27/12.19	c vivif2 --  cl tried    18808 cl shrink        0 lits rem          0 time: 0.02
49.84/12.57	c asymm  cl-useful: 0/5462/7120 lits-rem:0 time: 1.53
49.84/12.57	c calculated reachability. Time: 0.00
49.84/12.57	c  N dy   319    105323        80      7120         0     18808     49840    358768     22.95   no data  --
52.66/13.22	c  N dy   342    113296        80      7120         0     13313     49840    200516     22.93     24.21  --
59.41/14.99	c  N dy   383    137699        80      7120         0     21772     49840    411049     22.79     23.99  --
62.99/15.82	c  N dy   415    146511        80      7120         0     15304     49840    227490     22.80     24.07  --
66.24/16.64	c  N dy   435    157985        80      7120         0     25759     49840    502385     22.75     23.03  --
66.24/16.64	c  S st   435    157985        80      7120         0     25759     49840    502385     22.75     23.03  --
66.58/16.71	c  S st   435    158493        80      7120         0     26232     49840    515248     22.75   no data  --
66.58/16.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
66.58/16.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.58/16.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
66.58/16.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.58/16.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.58/16.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
66.58/16.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.76/19.03	c lits-rem:      2061  cl-subs:     2447  v-elim:      0  v-fix:    0  time:  9.16 s
75.76/19.03	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.76/19.04	c vivif2 --  cl tried    23785 cl shrink        0 lits rem          0 time: 0.02
76.56/19.24	c asymm  cl-useful: 0/1658/7120 lits-rem:0 time: 0.79
76.56/19.24	c calculated reachability. Time: 0.00
76.56/19.24	c  N dy   435    158493        80      7120         0     23785     49840    447813     22.75   no data  --
80.55/20.20	c  N dy   453    169715        80      7120         0     18661     49840    301733     22.72     24.03  --
84.13/21.14	c  N dy   488    180726        80      7120         0     28776     49840    573726     22.74     23.94  --
88.52/22.23	c  N dy   549    192668        80      7120         0     23348     49840    413630     22.80     24.05  --
94.91/23.85	c  N dy   587    208757        80      7120         0     20691     49840    326919     22.79     24.09  --
100.50/25.23	c  N dy   642    222105        80      7120         0     32923     49840    657720     22.84     24.07  --
106.07/26.66	c  N dy   703    236382        80      7120         0     27722     49840    499057     22.87     24.10  --
106.87/26.82	c  S st   715    237741        80      7120         0     28962     49840    532759     22.88     21.79  --
107.27/26.90	c  S st   715    238243        80      7120         0     29429     49840    545373     22.88   no data  --
107.27/26.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
107.27/26.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.27/26.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
107.27/26.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
107.27/26.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
107.27/26.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
107.27/26.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.65/29.51	c lits-rem:      2077  cl-subs:     2162  v-elim:      0  v-fix:    0  time: 10.33 s
117.65/29.51	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
117.65/29.52	c vivif2 --  cl tried    27267 cl shrink        0 lits rem          0 time: 0.03
118.47/29.73	c asymm  cl-useful: 0/2173/7120 lits-rem:0 time: 0.83
118.47/29.73	c calculated reachability. Time: 0.00
118.47/29.73	c  N dy   715    238243        80      7120         0     27267     49840    482460     22.88   no data  --
124.03/31.18	c  N dy   750    253623        80      7120         0     22232     49840    336157     22.87     24.11  --
130.41/32.77	c  N dy   797    269855        80      7120         0     37072     49840    736198     22.88     24.09  --
138.00/34.62	c  N dy   880    287218        80      7120         0     32915     49840    608854     22.92     24.24  --
145.56/36.58	c  F st   911    306251        80      7120         0     29216     49840    488536     22.87     19.85  --
145.56/36.58	c  N st   911    306251        80      7120         0     29216     49840    488536     22.87     19.85  --
153.99/38.65	c  N dy   932    325859        80      7120         0     25134     49840    367781     22.81     24.08  --
167.15/41.92	c  N dy   982    357364        80      7120         0     31065     49840    513729     22.75     20.04  --
167.15/41.92	c  S st   982    357364        80      7120         0     31065     49840    513729     22.75     20.04  --
167.50/42.01	c  S st   982    357866        80      7120         0     31540     49840    526690     22.75   no data  --
167.50/42.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
167.50/42.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.50/42.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
167.50/42.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
167.50/42.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
167.50/42.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
167.50/42.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
177.08/44.48	c lits-rem:      1653  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  9.73 s
177.08/44.48	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
177.08/44.48	c vivif2 --  cl tried    29746 cl shrink        0 lits rem          0 time: 0.03
177.88/44.68	c asymm  cl-useful: 0/1743/7120 lits-rem:0 time: 0.78
177.88/44.68	c calculated reachability. Time: 0.00
177.88/44.68	c  N dy   982    357866        80      7120         0     29746     49840    479268     22.75   no data  --
191.83/48.18	c  N dy  1030    384084        80      7120         0     30088     49840    468021     22.72     24.00  --
204.60/51.36	c  N dy  1141    404093        80      7120         0     48481     49840    963557     22.76     25.48  --
216.56/54.37	c  N dy  1220    428073        80      7120         0     45775     49840    875024     22.76     24.03  --
229.73/57.69	c  N dy  1272    455332        80      7120         0     45041     49840    835756     22.73     24.05  --
241.33/60.53	c  N dy  1375    475378        80      7120         0     36894     49840    606219     22.77     25.07  --
254.07/63.74	c  N dy  1462    495464        80      7120         0     27835     49840    348014     22.79     24.37  --
265.23/66.50	c  N dy  1554    516992        80      7120         0     47513     49840    876701     22.81     24.08  --
276.84/69.48	c  S st  1629    536800        80      7120         0     37282     49840    582866     22.82     22.20  --
277.19/69.58	c  S st  1629    537308        80      7120         0     37749     49840    595609     22.82   no data  --
277.19/69.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
277.19/69.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
277.19/69.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
277.59/69.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
277.59/69.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
277.59/69.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
277.59/69.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
287.57/72.16	c lits-rem:       982  cl-subs:     2005  v-elim:      0  v-fix:    0  time: 10.16 s
287.57/72.16	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
287.57/72.17	c vivif2 --  cl tried    35744 cl shrink        0 lits rem          0 time: 0.03
288.37/72.38	c asymm  cl-useful: 0/1317/7120 lits-rem:0 time: 0.86
288.37/72.38	c calculated reachability. Time: 0.00
288.37/72.38	c  N dy  1629    537308        80      7120         0     35744     49840    541005     22.82   no data  --
301.14/75.57	c  N dy  1745    557479        80      7120         0     54260     49840   1043438     22.86     24.07  --
313.49/78.67	c  N dy  1867    577565        80      7120         0     43476     49840    738471     22.90     25.12  --
327.86/82.22	c  N dy  1936    598351        80      7120         0     32299     49840    418508     22.92     24.24  --
339.03/85.04	c  N dy  2019    618449        80      7120         0     50797     49840    918345     22.93     26.57  --
355.82/89.22	c  N dy  2034    648981        80      7120         0     47348     49840    796435     22.87     24.20  --
372.13/93.37	c  N dy  2133    669052        80      7120         0     33760     49840    426509     22.90     24.68  --
383.69/96.29	c  N dy  2215    689109        80      7120         0     52180     49840    923710     22.91     25.28  --
398.06/99.88	c  N dy  2281    710112        80      7120         0     38441     49840    533849     22.91     24.25  --
422.78/106.01	c  N dy  2332    747278        80      7120         0     38454     49840    515442     22.85     24.21  --
438.76/110.08	c  N dy  2399    774232        80      7120         0     63074     49840   1176520     22.84     24.09  --
453.89/113.80	c  N dy  2458    796559        80      7120         0     48802     49840    780062     22.84     24.15  --
460.28/115.44	c  S st  2496    805962        80      7120         0     57407     49840   1012500     22.85     22.53  --
460.70/115.60	c  S st  2496    806467        80      7120         0     57880     49840   1025598     22.85   no data  --
460.70/115.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
460.70/115.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
461.12/115.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
461.12/115.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
461.12/115.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
461.12/115.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
461.12/115.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
499.76/125.35	c lits-rem:      2622  cl-subs:     4841  v-elim:      0  v-fix:    0  time: 38.65 s
499.76/125.35	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
499.76/125.36	c vivif2 --  cl tried    53039 cl shrink        0 lits rem          0 time: 0.05
500.95/125.69	c asymm  cl-useful: 0/919/7120 lits-rem:0 time: 1.31
501.35/125.70	c calculated reachability. Time: 0.00
501.35/125.70	c  N dy  2496    806467        80      7120         0     53039     49840    889315     22.85   no data  --
520.50/130.59	c  N dy  2582    826953        80      7120         0     36357     49840    436149     22.87     24.10  --
532.86/133.69	c  N dy  2659    847287        80      7120         0     54979     49840    937590     22.88     24.10  --
549.62/137.88	c  N dy  2705    867450        80      7120         0     36936     49840    435999     22.88     24.09  --
562.38/141.02	c  N dy  2790    887716        80      7120         0     55548     49840    938545     22.89     24.39  --
579.57/145.36	c  N dy  2855    907999        80      7120         0     74151     49840   1437252     22.89     24.26  --
593.88/148.91	c  N dy  2925    929160        80      7120         0     56058     49840    934062     22.90     24.13  --
617.02/154.74	c  N dy  2984    960100        80      7120         0     45805     49840    632897     22.87     24.18  --
632.22/158.55	c  N dy  3059    980597        80      7120         0     64601     49840   1137316     22.88     24.10  --
648.93/162.80	c  N dy  3106   1002118        80      7120         0     44991     49840    599869     22.87     24.08  --
666.48/167.17	c  N dy  3179   1026814        80      7120         0     67522     49840   1204198     22.87     24.24  --
684.46/171.67	c  N dy  3215   1048958        80      7120         0     47483     49840    647683     22.86     24.08  --
699.98/175.50	c  F st  3285   1071876        80      7120         0     68358     49840   1202655     22.84     19.43  --
699.98/175.51	c  N st  3285   1071876        80      7120         0     68358     49840   1202655     22.84     19.43  --
718.33/180.18	c  N dy  3373   1091943        80      7120         0     45666     49840    588761     22.85     24.08  --
732.29/183.67	c  N dy  3452   1112037        80      7120         0     64119     49840   1088574     22.86     24.58  --
757.42/189.93	c  N dy  3507   1143446        80      7120         0     50694     49840    698883     22.84     24.06  --
781.74/196.05	c  N dy  3579   1172895        80      7120         0     77600     49840   1412162     22.83     24.05  --
802.09/201.17	c  N dy  3640   1192909        80      7120         0     52889     49840    746622     22.83     25.75  --
819.24/205.45	c  S st  3737   1209700        80      7120         0     68377     49840   1167888     22.85     21.40  --
820.04/205.69	c  S st  3737   1210201        80      7120         0     68843     49840   1180830     22.85   no data  --
820.04/205.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
820.04/205.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
820.46/205.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
820.46/205.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
820.46/205.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
820.46/205.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
820.46/205.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
914.95/229.49	c lits-rem:      3380  cl-subs:     5267  v-elim:      0  v-fix:    0  time: 94.58 s
914.95/229.49	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
915.35/229.51	c vivif2 --  cl tried    63576 cl shrink        0 lits rem          0 time: 0.06
916.55/229.89	c asymm  cl-useful: 0/784/7120 lits-rem:0 time: 1.53
916.55/229.90	c calculated reachability. Time: 0.00
916.55/229.90	c  N dy  3737   1210201        80      7120         0     63576     49840   1030741     22.85   no data  --
938.92/235.49	c  N dy  3806   1230309        80      7120         0     82018     49840   1528158     22.85     24.20  --
962.82/241.43	c  N dy  3919   1257096        80      7120         0     62818     49840   1005636     22.86     24.22  --
985.96/247.25	c  N dy  4041   1277574        80      7120         0     81689     49840   1522986     22.88     24.28  --
1011.48/253.65	c  N dy  4171   1299335        80      7120         0     56807     49840    824268     22.90     24.22  --
1033.42/259.11	c  N dy  4267   1319356        80      7120         0     75210     49840   1325207     22.91     24.60  --
1059.34/265.68	c  N dy  4341   1339679        80      7120         0     48068     49840    569432     22.92     24.14  --
1078.88/270.55	c  N dy  4449   1359708        80      7120         0     66421     49840   1069480     22.93     26.59  --
1101.25/276.18	c  N dy  4534   1379752        80      7120         0     84779     49840   1567430     22.94     28.54  --
1122.36/281.48	c  N dy  4554   1406920        80      7120         0     62780     49840    937351     22.91     24.20  --
1144.30/286.97	c  N dy  4701   1426965        80      7120         0     81228     49840   1446202     22.93     25.80  --
1168.62/293.05	c  N dy  4781   1448880        80      7120         0     53572     49840    685923     22.93     24.26  --
1186.97/297.66	c  N dy  4899   1469330        80      7120         0     72342     49840   1198999     22.95     24.20  --
1211.34/303.75	c  N dy  5022   1489350        80      7120         0     90691     49840   1699741     22.96     25.25  --
1232.04/308.94	c  N dy  5129   1509393        80      7120         0     60589     49840    866761     22.98     24.29  --
1253.17/314.21	c  N dy  5253   1529465        80      7120         0     78970     49840   1371164     22.99     27.37  --
1275.51/319.88	c  N dy  5304   1549472        80      7120         0     97277     49840   1865458     22.99     24.29  --
1291.85/323.95	c  N dy  5351   1569539        80      7120         0     66127     49840    994856     22.99     24.97  --
1311.40/328.82	c  N dy  5411   1589562        80      7120         0     84483     49840   1487223     22.99     24.27  --
1331.34/333.86	c  N dy  5430   1610051        80      7120         0     52903     49840    621627     22.97     24.45  --
1351.31/338.90	c  N dy  5523   1633277        80      7120         0     74130     49840   1192646     22.97     24.20  --
1373.25/344.32	c  N dy  5586   1653369        80      7120         0     92508     49840   1687602     22.98     26.04  --
1401.53/351.44	c  N dy  5635   1683676        80      7120         0     68939     49840   1036629     22.96     24.25  --
1422.67/356.70	c  N dy  5712   1703737        80      7120         0     87265     49840   1533790     22.97     26.13  --
1430.29/358.64	c  S st  5727   1710201        80      7120         0     93150     49840   1690728     22.97     22.29  --
1431.45/358.91	c  S st  5727   1710707        80      7120         0     93621     49840   1703732     22.97   no data  --
1431.45/358.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1431.45/358.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1431.45/358.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1431.85/359.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1431.85/359.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1431.85/359.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1431.85/359.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1604.54/402.32	c lits-rem:      6224  cl-subs:     9023  v-elim:      0  v-fix:    0  time: 172.67 s
1604.54/402.32	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1604.54/402.34	c vivif2 --  cl tried    84598 cl shrink        0 lits rem          0 time: 0.09
1606.19/402.73	c asymm  cl-useful: 0/830/7120 lits-rem:0 time: 1.52
1606.19/402.73	c calculated reachability. Time: 0.00
1606.19/402.73	c  N dy  5727   1710707        80      7120         0     84598     49840   1453667     22.97   no data  --
1639.65/411.16	c  N dy  5826   1733477        80      7120         0     53730     49840    617499     22.98     24.22  --
1662.81/416.94	c  N dy  5909   1753488        80      7120         0     72052     49840   1114135     22.98     25.58  --
1692.29/424.31	c  N dy  6002   1773710        80      7120         0     90477     49840   1615614     22.99     24.26  --
1738.95/436.06	c  N dy  6093   1808036        80      7120         0     68828     49840    999162     22.98     24.28  --
1765.68/442.79	c  N dy  6180   1828098        80      7120         0     87161     49840   1497109     22.99     26.07  --
1798.39/451.00	c  N dy  6276   1848324        80      7120         0    105725     49840   2004234     23.00     24.33  --
1821.16/456.69	c  N dy  6377   1868335        80      7120         0     70355     49840   1038999     23.01     27.53  --
1865.78/467.85	c  N dy  6471   1903812        80      7120         0    102654     49840   1906759     23.00     24.43  --
1892.91/474.61	c  N dy  6548   1924359        80      7120         0     66740     49840    920098     23.01     24.24  --
1919.23/481.22	c  N dy  6612   1946946        80      7120         0     87378     49840   1479412     23.01     24.25  --
1951.54/489.34	c  N dy  6704   1966972        80      7120         0    105729     49840   1977123     23.02     24.86  --
1975.06/495.30	c  N dy  6746   1987659        80      7120         0     68779     49840    953495     23.01     24.24  --
1996.65/500.65	c  N dy  6842   2007757        80      7120         0     87173     49840   1453908     23.02     24.84  --
2033.30/509.84	c  N dy  6920   2038255        80      7120         0     58400     49840    661366     23.00     24.28  --
2064.41/517.68	c  N dy  6963   2075028        80      7120         0     91834     49840   1553914     22.99     24.22  --
2093.18/524.83	c  N dy  7068   2095179        80      7120         0    110233     49840   2052727     22.99     24.34  --
2115.12/530.37	c  N dy  7145   2115181        80      7120         0     71077     49840    986831     22.99     24.42  --
2143.39/537.43	c  N dy  7239   2140658        80      7120         0     94358     49840   1617220     23.00     24.22  --
2178.48/546.21	c  N dy  7372   2160979        80      7120         0    113004     49840   2129577     23.01     24.24  --
2200.42/551.73	c  N dy  7456   2180981        80      7120         0     72842     49840   1024647     23.02     25.07  --
2224.79/557.84	c  N dy  7552   2201063        80      7120         0     91169     49840   1521665     23.02     24.93  --
2237.12/560.91	c  S st  7579   2210709        80      7120         0     99998     49840   1758742     23.02   no data  --
2238.31/561.23	c  S st  7579   2211212        80      7120         0    100463     49840   1771664     23.02   no data  --
2238.31/561.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2238.31/561.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2238.31/561.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2238.71/561.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2238.71/561.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2238.71/561.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2238.71/561.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2664.65/668.18	c lits-rem:      5325  cl-subs:     8366  v-elim:      0  v-fix:    0  time: 425.94 s
2664.65/668.19	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2665.05/668.21	c vivif2 --  cl tried    92097 cl shrink        0 lits rem          0 time: 0.10
2666.65/668.63	c asymm  cl-useful: 0/642/7120 lits-rem:0 time: 1.67
2666.65/668.63	c calculated reachability. Time: 0.00
2666.65/668.63	c  N dy  7579   2211212        80      7120         0     92097     49840   1529960     23.02   no data  --
2702.58/677.66	c  N dy  7678   2231559        80      7120         0    110768     49840   2039977     23.03     24.31  --
2732.46/685.17	c  N dy  7723   2255713        80      7120         0     73647     49840   1024827     23.02     24.33  --
2764.76/693.25	c  N dy  7834   2278471        80      7120         0     94454     49840   1590206     23.03     24.29  --
2803.49/702.93	c  N dy  7909   2302340        80      7120         0    116293     49840   2182283     23.03     24.32  --
2827.79/709.08	c  N dy  7957   2322877        80      7120         0     74901     49840   1043998     23.03     24.47  --
2856.90/716.35	c  N dy  8055   2343413        80      7120         0     93700     49840   1556519     23.03     24.39  --
2892.00/725.10	c  N dy  8134   2364458        80      7120         0    112951     49840   2079322     23.04     24.47  --
2923.91/733.18	c  N dy  8204   2384502        80      7120         0     70148     49840    904850     23.04     26.00  --
2953.08/740.46	c  N dy  8275   2405060        80      7120         0     88912     49840   1413747     23.05     24.28  --
3015.65/756.14	c  N dy  8338   2445292        80      7120         0     63484     49840    710878     23.03     24.43  --
3043.17/763.00	c  N dy  8388   2471281        80      7120         0     87097     49840   1348716     23.02     24.26  --
3075.08/771.08	c  N dy  8482   2491437        80      7120         0    105582     49840   1852407     23.03     24.29  --
3116.56/781.49	c  N dy  8595   2511775        80      7120         0    124191     49840   2362973     23.04     24.50  --
3144.89/788.53	c  N dy  8717   2531847        80      7120         0     79649     49840   1140492     23.05     24.45  --
3174.80/796.04	c  N dy  8816   2551900        80      7120         0     98029     49840   1642409     23.06     26.22  --
3211.09/805.13	c  N dy  8923   2573532        80      7120         0    117821     49840   2183909     23.06     24.35  --
3245.39/813.74	c  N dy  9052   2594960        80      7120         0     73488     49840    952289     23.07     24.29  --
3266.13/818.99	c  N dy  9068   2618302        80      7120         0     94651     49840   1518328     23.06     24.40  --
3298.83/827.18	c  N dy  9184   2638374        80      7120         0    113054     49840   2021575     23.07     24.29  --
3343.89/838.45	c  N dy  9303   2661285        80      7120         0     69195     49840    816364     23.07     24.47  --
3378.99/847.23	c  N dy  9306   2699525        80      7120         0    103789     49840   1729276     23.05     24.26  --
3396.54/851.66	c  S st  9355   2711213        80      7120         0    114485     49840   2022533     23.05     21.75  --
3398.14/852.01	c  S st  9355   2711717        80      7120         0    114954     49840   2035551     23.05   no data  --
3398.14/852.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3398.14/852.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3398.14/852.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3398.55/852.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3398.55/852.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3398.55/852.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3398.55/852.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3877.14/972.11	c lits-rem:      3494  cl-subs:    12447  v-elim:      0  v-fix:    0  time: 478.34 s
3877.14/972.11	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3877.14/972.14	c vivif2 --  cl tried   102507 cl shrink        0 lits rem          0 time: 0.11
3879.12/972.61	c asymm  cl-useful: 0/522/7120 lits-rem:0 time: 1.87
3879.12/972.61	c calculated reachability. Time: 0.00
3879.12/972.61	c  N dy  9355   2711717        80      7120         0    102507     49840   1713893     23.05   no data  --
3919.80/982.85	c  N dy  9467   2731901        80      7120         0    120974     49840   2217610     23.06     24.35  --
3959.29/992.72	c  N dy  9522   2757187        80      7120         0     78902     49840   1068286     23.05     24.29  --
3999.17/1002.77	c  N dy  9572   2782439        80      7120         0    101947     49840   1686533     23.05     24.45  --
4035.87/1011.94	c  N dy  9607   2802517        80      7120         0    120280     49840   2177050     23.04     25.60  --
4081.33/1023.34	c  N dy  9698   2824056        80      7120         0     73630     49840    906996     23.05     24.27  --
4114.04/1031.53	c  N dy  9802   2844461        80      7120         0     92358     49840   1420594     23.05     24.28  --
4150.37/1040.66	c  N dy  9850   2865851        80      7120         0    111860     49840   1947656     23.05     24.30  --
4215.34/1056.91	c  N dy  9904   2900331        80      7120         0     75733     49840    942804     23.04     24.31  --
4246.06/1064.60	c  N dy  9982   2920376        80      7120         0     94036     49840   1438194     23.05     25.83  --
4287.92/1075.14	c  N dy 10074   2940420        80      7120         0    112303     49840   1935199     23.05     24.89  --
4336.17/1087.29	c  N dy 10140   2960895        80      7120         0    130967     49840   2438911     23.05     24.28  --
4376.85/1097.46	c  N dy 10213   2981920        80      7120         0     81837     49840   1098899     23.05     24.45  --
4413.99/1106.76	c  N dy 10314   3002057        80      7120         0    100204     49840   1600911     23.06     24.35  --
4456.22/1117.32	c  N dy 10390   3022073        80      7120         0    118473     49840   2096235     23.06     24.67  --
4509.65/1130.72	c  N dy 10452   3043428        80      7120         0    137985     49840   2621937     23.06     24.53  --
4545.93/1139.87	c  N dy 10548   3064333        80      7120         0     87820     49840   1249533     23.06     24.44  --
4577.81/1147.87	c  N dy 10585   3085604        80      7120         0    107061     49840   1757666     23.05     24.31  --
4614.91/1157.16	c  N dy 10614   3106325        80      7120         0    125882     49840   2257161     23.05     24.37  --
4654.39/1167.02	c  N dy 10634   3126484        80      7120         0     74062     49840    855564     23.04     24.34  --
4689.49/1175.80	c  N dy 10748   3148070        80      7120         0     93844     49840   1398185     23.05     24.31  --
4725.42/1184.84	c  N dy 10808   3168494        80      7120         0    112459     49840   1898885     23.05     24.27  --
4769.65/1195.95	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368906-1305405721/watcher-3368906-1305405721 -o /tmp/evaluation-result-3368906-1305405721/solver-3368906-1305405721 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368906-1305405721.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: 6.34 7.70 7.93 6/360 18919
/proc/meminfo: memFree=18698208/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 4 0 632987950 52465664 352 33554432000 4194304 4650419 140735831239312 18446744073709551615 47230222546866 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 12809 352 303 112 0 7774 0
[pid=18919/tid=18920] ppid=18917 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632987951 52465664 352 33554432000 4194304 4650419 140735831239312 18446744073709551615 47230222546866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632987951 52465664 352 33554432000 4194304 4650419 140735831239312 18446744073709551615 47230222546870 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632987951 52465664 352 33554432000 4194304 4650419 140735831239312 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.16334 s]
/proc/loadavg: 6.34 7.70 7.93 6/360 18919
/proc/meminfo: memFree=18698208/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=282204 CPUtime=0.63 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 1629 0 0 0 63 0 0 0 18 0 4 0 632987950 288976896 1538 33554432000 4194304 4650419 140735831239312 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 70551 1538 366 112 0 65516 0
[pid=18919/tid=18920] ppid=18917 vsize=282204 CPUtime=0.15 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 258 0 0 0 15 0 0 0 18 0 4 0 632987951 288976896 1538 33554432000 4194304 4650419 140735831239312 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=282204 CPUtime=0.15 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 262 0 0 0 15 0 0 0 18 0 4 0 632987951 288976896 1538 33554432000 4194304 4650419 140735831239312 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=282204 CPUtime=0.14 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 432 0 0 0 14 0 0 0 25 0 4 0 632987951 288976896 1538 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 282204

[startup+0.200337 s]
/proc/loadavg: 6.34 7.70 7.93 6/360 18919
/proc/meminfo: memFree=18698208/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=284184 CPUtime=0.77 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 3539 0 0 0 77 0 0 0 18 0 4 0 632987950 291004416 3032 33554432000 4194304 4650419 140735831239312 18446744073709551615 4439120 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 71046 3032 384 112 0 66011 0
[pid=18919/tid=18920] ppid=18917 vsize=284184 CPUtime=0.19 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 813 0 0 0 19 0 0 0 18 0 4 0 632987951 291004416 3032 33554432000 4194304 4650419 140735831239312 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=284184 CPUtime=0.19 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 836 0 0 0 19 0 0 0 18 0 4 0 632987951 291004416 3032 33554432000 4194304 4650419 140735831239312 18446744073709551615 4439082 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=284184 CPUtime=0.18 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 657 0 0 0 18 0 0 0 25 0 4 0 632987951 291004416 3032 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284184

[startup+0.300319 s]
/proc/loadavg: 6.34 7.70 7.93 6/360 18919
/proc/meminfo: memFree=18698208/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=284184 CPUtime=1.17 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 3869 0 0 0 117 0 0 0 18 0 4 0 632987950 291004416 3270 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 71046 3270 390 112 0 66011 0
[pid=18919/tid=18920] ppid=18917 vsize=284184 CPUtime=0.29 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 896 0 0 0 29 0 0 0 18 0 4 0 632987951 291004416 3270 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=284184 CPUtime=0.29 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 929 0 0 0 29 0 0 0 18 0 4 0 632987951 291004416 3270 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=284184 CPUtime=0.28 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 729 0 0 0 28 0 0 0 25 0 4 0 632987951 291004416 3271 33554432000 4194304 4650419 140735831239312 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284184

[startup+0.700246 s]
/proc/loadavg: 6.34 7.70 7.93 6/360 18919
/proc/meminfo: memFree=18698208/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=286004 CPUtime=2.77 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 6328 0 0 0 277 0 0 0 18 0 4 0 632987950 292868096 3936 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365410 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 71501 3936 390 112 0 66466 0
[pid=18919/tid=18920] ppid=18917 vsize=286004 CPUtime=0.69 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 1543 0 0 0 69 0 0 0 18 0 4 0 632987951 292868096 3936 33554432000 4194304 4650419 140735831239312 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=286004 CPUtime=0.69 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 1582 0 0 0 69 0 0 0 18 0 4 0 632987951 292868096 3936 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=286004 CPUtime=0.68 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 1227 0 0 0 68 0 0 0 25 0 4 0 632987951 292868096 3936 33554432000 4194304 4650419 140735831239312 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286004

[startup+1.5011 s]
/proc/loadavg: 6.34 7.70 7.93 10/364 18923
/proc/meminfo: memFree=18666308/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=287416 CPUtime=5.96 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 10232 0 0 0 595 1 0 0 20 0 4 0 632987950 294313984 4820 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 71854 4820 391 112 0 66819 0
[pid=18919/tid=18920] ppid=18917 vsize=287416 CPUtime=1.49 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 2534 0 0 0 149 0 0 0 19 0 4 0 632987951 294313984 4820 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=287416 CPUtime=1.49 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 2572 0 0 0 149 0 0 0 19 0 4 0 632987951 294313984 4820 33554432000 4194304 4650419 140735831239312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=287416 CPUtime=1.47 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 2189 0 0 0 147 0 0 0 25 0 4 0 632987951 294313984 4820 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287416

[startup+3.10082 s]
/proc/loadavg: 6.34 7.70 7.93 9/364 18923
/proc/meminfo: memFree=18634440/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=297564 CPUtime=12.35 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 19368 0 0 0 1232 3 0 0 25 0 4 0 632987950 304705536 11901 33554432000 4194304 4650419 140735831239312 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 74391 11901 392 112 0 69356 0
[pid=18919/tid=18920] ppid=18917 vsize=297564 CPUtime=3.09 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 4207 0 0 0 309 0 0 0 25 0 4 0 632987951 304705536 11901 33554432000 4194304 4650419 140735831239312 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=297564 CPUtime=3.09 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 5308 0 0 0 309 0 0 0 25 0 4 0 632987951 304705536 11901 33554432000 4194304 4650419 140735831239312 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=297564 CPUtime=3.06 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 5371 0 0 0 305 1 0 0 25 0 4 0 632987951 304705536 11901 33554432000 4194304 4650419 140735831239312 18446744073709551615 4370671 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 297564

[startup+6.30025 s]
/proc/loadavg: 6.56 7.73 7.93 9/364 18923
/proc/meminfo: memFree=18589180/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=279444 CPUtime=25.1 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 27873 0 0 0 2505 5 0 0 25 0 4 0 632987950 286150656 16466 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 69861 16466 392 112 0 64826 0
[pid=18919/tid=18920] ppid=18917 vsize=279444 CPUtime=6.29 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 7278 0 0 0 628 1 0 0 25 0 4 0 632987951 286150656 16466 33554432000 4194304 4650419 140735831239312 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=279444 CPUtime=6.29 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 7143 0 0 0 628 1 0 0 25 0 4 0 632987951 286150656 16466 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=279444 CPUtime=6.21 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 7336 0 0 0 620 1 0 0 25 0 4 0 632987951 286150656 16466 33554432000 4194304 4650419 140735831239312 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 279444

[startup+12.7011 s]
/proc/loadavg: 6.67 7.73 7.93 9/364 18924
/proc/meminfo: memFree=18549528/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=296508 CPUtime=50.64 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 40335 0 0 0 5055 9 0 0 25 0 4 0 632987950 303624192 21834 33554432000 4194304 4650419 140735831239312 18446744073709551615 4333858 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 74127 21834 392 112 0 69092 0
[pid=18919/tid=18920] ppid=18917 vsize=296508 CPUtime=12.69 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 10388 0 0 0 1267 2 0 0 25 0 4 0 632987951 303624192 21834 33554432000 4194304 4650419 140735831239312 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=296508 CPUtime=12.69 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 9846 0 0 0 1267 2 0 0 25 0 4 0 632987951 303624192 21834 33554432000 4194304 4650419 140735831239312 18446744073709551615 4329109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=296508 CPUtime=12.54 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 11110 0 0 0 1252 2 0 0 25 0 4 0 632987951 303624192 21834 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 296508

[startup+25.5008 s]
/proc/loadavg: 6.96 7.74 7.93 9/364 18924
/proc/meminfo: memFree=18506084/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=287512 CPUtime=101.69 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 62237 0 0 0 10154 15 0 0 25 0 4 0 632987950 294412288 26584 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 71878 26584 392 112 0 66843 0
[pid=18919/tid=18920] ppid=18917 vsize=287512 CPUtime=25.49 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 16329 0 0 0 2546 3 0 0 25 0 4 0 632987951 294412288 26584 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=287512 CPUtime=25.49 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 14472 0 0 0 2545 4 0 0 25 0 4 0 632987951 294412288 26584 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=287512 CPUtime=25.2 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 17042 0 0 0 2516 4 0 0 25 0 4 0 632987951 294412288 26584 33554432000 4194304 4650419 140735831239312 18446744073709551615 4363845 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 287512

[startup+51.1012 s]
/proc/loadavg: 7.32 7.76 7.93 9/364 18925
/proc/meminfo: memFree=18460924/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=300124 CPUtime=203.8 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 96779 0 0 0 20355 25 0 0 25 0 4 0 632987950 307326976 33786 33554432000 4194304 4650419 140735831239312 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 75031 33786 392 112 0 69996 0
[pid=18919/tid=18920] ppid=18917 vsize=300124 CPUtime=51.09 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 26069 0 0 0 5104 5 0 0 25 0 4 0 632987951 307326976 33786 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=300124 CPUtime=51.08 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 23153 0 0 0 5102 6 0 0 25 0 4 0 632987951 307326976 33786 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=300124 CPUtime=50.5 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 25745 0 0 0 5043 7 0 0 25 0 4 0 632987951 307326976 33786 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 300124

[startup+102.301 s]
/proc/loadavg: 7.70 7.80 7.93 9/364 18926
/proc/meminfo: memFree=18406208/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=314996 CPUtime=408.06 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 147649 0 0 0 40763 43 0 0 25 0 4 0 632987950 322555904 38732 33554432000 4194304 4650419 140735831239312 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 78749 38732 392 112 0 73714 0
[pid=18919/tid=18920] ppid=18917 vsize=314996 CPUtime=102.3 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 37591 0 0 0 10221 9 0 0 25 0 4 0 632987951 322555904 38733 33554432000 4194304 4650419 140735831239312 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=314996 CPUtime=102.29 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 37212 0 0 0 10218 11 0 0 25 0 4 0 632987951 322555904 38733 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=314996 CPUtime=101.13 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 40621 0 0 0 10100 13 0 0 25 0 4 0 632987951 322555904 38733 33554432000 4194304 4650419 140735831239312 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 314996

[startup+162.3 s]

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

[pid=18919] ppid=18917 vsize=470136 CPUtime=2561.76 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 427579 0 0 0 256011 165 0 0 25 0 4 0 632987950 481419264 78906 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 117534 78906 392 112 0 112499 0
[pid=18919/tid=18920] ppid=18917 vsize=470136 CPUtime=642.31 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 112283 0 0 0 64186 45 0 0 25 0 4 0 632987951 481419264 78906 33554432000 4194304 4650419 140735831239312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=470136 CPUtime=642.29 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 112806 0 0 0 64183 46 0 0 25 0 4 0 632987951 481419264 78906 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=470136 CPUtime=634.83 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 96824 0 0 0 63446 37 0 0 25 0 4 0 632987951 481419264 78906 33554432000 4194304 4650419 140735831239312 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.76
Current children cumulated vsize (KiB) 470136

[startup+702.301 s]
/proc/loadavg: 8.15 8.07 8.01 9/364 18942
/proc/meminfo: memFree=18044268/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=457744 CPUtime=2801.06 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 446957 0 0 0 279931 175 0 0 25 0 4 0 632987950 468729856 78969 33554432000 4194304 4650419 140735831239312 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 114436 78969 392 112 0 109401 0
[pid=18919/tid=18920] ppid=18917 vsize=457744 CPUtime=702.3 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 119653 0 0 0 70181 49 0 0 25 0 4 0 632987951 468729856 78969 33554432000 4194304 4650419 140735831239312 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=457744 CPUtime=702.3 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 116330 0 0 0 70180 50 0 0 25 0 4 0 632987951 468729856 78969 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=457744 CPUtime=694.13 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 97421 0 0 0 69376 37 0 0 25 0 4 0 632987951 468729856 78969 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.06
Current children cumulated vsize (KiB) 457744

[startup+762.301 s]
/proc/loadavg: 8.05 8.05 8.00 9/364 18944
/proc/meminfo: memFree=18021800/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=471360 CPUtime=3040.41 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 460778 0 0 0 303858 183 0 0 25 0 4 0 632987950 482672640 83351 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 117840 83351 392 112 0 112805 0
[pid=18919/tid=18920] ppid=18917 vsize=471360 CPUtime=762.32 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 124389 0 0 0 76180 52 0 0 25 0 4 0 632987951 482672640 83352 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=471360 CPUtime=762.31 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 119418 0 0 0 76180 51 0 0 25 0 4 0 632987951 482672640 83352 33554432000 4194304 4650419 140735831239312 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=471360 CPUtime=753.44 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 97611 0 0 0 75307 37 0 0 25 0 4 0 632987951 482672640 83352 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.41
Current children cumulated vsize (KiB) 471360

[startup+822.301 s]
/proc/loadavg: 8.13 8.07 8.01 9/364 18945
/proc/meminfo: memFree=18051900/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=432188 CPUtime=3279.68 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 478738 0 0 0 327776 192 0 0 25 0 4 0 632987950 442560512 80308 33554432000 4194304 4650419 140735831239312 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 108047 80308 392 112 0 103012 0
[pid=18919/tid=18920] ppid=18917 vsize=432188 CPUtime=822.31 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 130530 0 0 0 82175 56 0 0 25 0 4 0 632987951 442560512 80308 33554432000 4194304 4650419 140735831239312 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=432188 CPUtime=822.29 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 125525 0 0 0 82175 54 0 0 25 0 4 0 632987951 442560512 80308 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=432188 CPUtime=812.73 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 98049 0 0 0 81236 37 0 0 25 0 4 0 632987951 442560512 80308 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.68
Current children cumulated vsize (KiB) 432188

[startup+882.314 s]
/proc/loadavg: 8.15 8.08 8.01 9/364 18947
/proc/meminfo: memFree=18033284/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=444892 CPUtime=3519.04 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 497859 0 0 0 351703 201 0 0 25 0 4 0 632987950 455569408 81078 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 111223 81078 392 112 0 106188 0
[pid=18919/tid=18920] ppid=18917 vsize=444892 CPUtime=882.33 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 136444 0 0 0 88175 58 0 0 25 0 4 0 632987951 455569408 81078 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=444892 CPUtime=882.32 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 131013 0 0 0 88174 58 0 0 25 0 4 0 632987951 455569408 81078 33554432000 4194304 4650419 140735831239312 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=444892 CPUtime=872.04 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 100708 0 0 0 87166 38 0 0 25 0 4 0 632987951 455569408 81078 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.04
Current children cumulated vsize (KiB) 444892

[startup+942.301 s]
/proc/loadavg: 8.11 8.08 8.01 9/364 18948
/proc/meminfo: memFree=18051348/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=445364 CPUtime=3758.29 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 519741 0 0 0 375620 209 0 0 25 0 4 0 632987950 456052736 79577 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 111341 79577 392 112 0 106306 0
[pid=18919/tid=18920] ppid=18917 vsize=445364 CPUtime=942.31 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 142472 0 0 0 94170 61 0 0 25 0 4 0 632987951 456052736 79577 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=445364 CPUtime=942.3 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 136708 0 0 0 94169 61 0 0 25 0 4 0 632987951 456052736 79577 33554432000 4194304 4650419 140735831239312 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=445364 CPUtime=931.33 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 100825 0 0 0 93094 39 0 0 25 0 4 0 632987951 456052736 79577 33554432000 4194304 4650419 140735831239312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.29
Current children cumulated vsize (KiB) 445364

[startup+1002.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/364 18950
/proc/meminfo: memFree=17971964/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=511144 CPUtime=3997.58 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 535597 0 0 0 399543 215 0 0 25 0 4 0 632987950 523411456 89404 33554432000 4194304 4650419 140735831239312 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 127786 89405 392 112 0 122751 0
[pid=18919/tid=18920] ppid=18917 vsize=511144 CPUtime=1002.31 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 148445 0 0 0 100168 63 0 0 25 0 4 0 632987951 523411456 89405 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=511144 CPUtime=1002.3 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 141045 0 0 0 100167 63 0 0 25 0 4 0 632987951 523411456 89405 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=511144 CPUtime=990.61 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 101351 0 0 0 99022 39 0 0 25 0 4 0 632987951 523411456 89405 33554432000 4194304 4650419 140735831239312 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.58
Current children cumulated vsize (KiB) 511144

[startup+1062.3 s]
/proc/loadavg: 8.12 8.10 8.02 9/364 18952
/proc/meminfo: memFree=17980744/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=511576 CPUtime=4236.89 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 555789 0 0 0 423466 223 0 0 25 0 4 0 632987950 523853824 88873 33554432000 4194304 4650419 140735831239312 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 127894 88873 392 112 0 122859 0
[pid=18919/tid=18920] ppid=18917 vsize=511576 CPUtime=1062.31 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 159258 0 0 0 106167 64 0 0 25 0 4 0 632987951 523853824 88873 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=511576 CPUtime=1062.3 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 146386 0 0 0 106164 66 0 0 25 0 4 0 632987951 523853824 88873 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=511576 CPUtime=1049.91 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 101452 0 0 0 104952 39 0 0 25 0 4 0 632987951 523853824 88873 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.89
Current children cumulated vsize (KiB) 511576

[startup+1122.3 s]
/proc/loadavg: 8.09 8.10 8.02 9/364 18953
/proc/meminfo: memFree=17941420/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=578608 CPUtime=4476.15 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 570195 0 0 0 447389 226 0 0 25 0 4 0 632987950 592494592 94259 33554432000 4194304 4650419 140735831239312 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 144652 94259 392 112 0 139617 0
[pid=18919/tid=18920] ppid=18917 vsize=578608 CPUtime=1122.31 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 167949 0 0 0 112166 65 0 0 25 0 4 0 632987951 592494592 94259 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=578608 CPUtime=1122.31 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 149170 0 0 0 112163 68 0 0 25 0 4 0 632987951 592494592 94259 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=578608 CPUtime=1109.18 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 101698 0 0 0 110879 39 0 0 25 0 4 0 632987951 592494592 94259 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.15
Current children cumulated vsize (KiB) 578608

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 8.02 9/364 18964
/proc/meminfo: memFree=17928616/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=565448 CPUtime=4715.41 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 591160 0 0 0 471306 235 0 0 25 0 4 0 632987950 579018752 90553 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 141362 90553 392 112 0 136327 0
[pid=18919/tid=18920] ppid=18917 vsize=565448 CPUtime=1182.29 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 173298 0 0 0 118161 68 0 0 25 0 4 0 632987951 579018752 90553 33554432000 4194304 4650419 140735831239312 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=565448 CPUtime=1182.3 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 161346 0 0 0 118160 70 0 0 25 0 4 0 632987951 579018752 90554 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=565448 CPUtime=1168.46 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 101698 0 0 0 116807 39 0 0 25 0 4 0 632987951 579018752 90554 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.41
Current children cumulated vsize (KiB) 565448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.51 s]
/proc/loadavg: 8.08 8.09 8.02 9/364 18964
/proc/meminfo: memFree=17904560/32951124 swapFree=67111348/67111528
[pid=18919] ppid=18917 vsize=565448 CPUtime=4800.04 cores=1,3,5,7
/proc/18919/stat : 18919 (strangenight1-m) R 18917 18919 18878 0 -1 4202496 598207 0 0 0 479767 237 0 0 25 0 4 0 632987950 579018752 92659 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18919/statm: 141362 92659 392 112 0 136327 0
[pid=18919/tid=18920] ppid=18917 vsize=565448 CPUtime=1203.52 cores=1,3,5,7
/proc/18919/task/18920/stat : 18920 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 174252 0 0 0 120283 69 0 0 25 0 4 0 632987951 579018752 92660 33554432000 4194304 4650419 140735831239312 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18919/tid=18921] ppid=18917 vsize=565448 CPUtime=1203.54 cores=1,3,5,7
/proc/18919/task/18921/stat : 18921 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 166359 0 0 0 120283 71 0 0 25 0 4 0 632987951 579018752 92660 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18919/tid=18922] ppid=18917 vsize=565448 CPUtime=1189.42 cores=1,3,5,7
/proc/18919/task/18922/stat : 18922 (strangenight1-m) R 18917 18919 18878 0 -1 4202560 101698 0 0 0 118903 39 0 0 25 0 4 0 632987951 579018752 92660 33554432000 4194304 4650419 140735831239312 18446744073709551615 4476421 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 565448

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.55
CPU time (s): 4800.1
CPU user time (s): 4797.71
CPU system time (s): 2.38964
CPU usage (%): 398.828
Max. virtual memory (cumulated for all children) (KiB): 696772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.71
system time used= 2.38964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598208
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= 229
involuntary context switches= 30185

runsolver used 3.83442 second user time and 10.3074 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 22:42:01
IDJOB=3368906
IDBENCH=82915
IDSOLVER=1846
FILE ID=node145/3368906-1305405721
RUNJOBID= node145-1305405721-18897
PBS_JOBID= 13324499
Free space on /tmp= 73656 MiB

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

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

MD5SUM BENCH= a7e7ad4822818289e739fae39e69d3b8
RANDOM SEED=524242200

node145.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18698496 kB
Buffers:        295556 kB
Cached:        8124988 kB
SwapCached:          0 kB
Active:        7274048 kB
Inactive:      6622036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18698496 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12592 kB
Writeback:           0 kB
AnonPages:     5475388 kB
Mapped:          27668 kB
Slab:           255772 kB
PageTables:      34264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79425980 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= 73648 MiB
End job on node145 at 2011-05-14 23:02:06