Trace number 3368795

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.28 1203.13

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf
MD5SUM2cb285a396d74446b485c2112c34e09c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.216967
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56230

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3368795-1305403107.cnf'
0.00/0.01	c -- header says num vars:             70
0.00/0.01	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.00/0.15	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.58/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.58/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.58/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.58/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.58/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.58/0.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.58/0.17	c Finding binary XORs  T:     0.00 s  found:       0
0.58/0.18	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.58/0.18	c calculated reachability. Time: 0.00
0.58/0.18	c Calc default polars -  time:   0.00 s pos:      40 undec:       2 neg:      28
0.58/0.18	c =========================================================================================
0.58/0.18	c types(t): F = full restart, N = normal restart
0.58/0.18	c types(t): S = simplification begin/end, E = solution found
0.58/0.18	c restart types(rt): st = static, dy = dynamic
0.58/0.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.58/0.18	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
1.17/0.34	c  N dy     9      5705        70      6230         0      2898     43610     63605     21.17     22.37  --
1.57/0.48	c  N dy    16      9801        70      6230         0      6633     43610    155366     21.03     22.27  --
2.77/0.78	c  N dy    19     17251        70      6230         0      9465     43610    208399     20.22     21.36  --
4.38/1.12	c  F st    35     25001        70      6230         0     11357     43610    242952     19.99     18.45  --
4.38/1.12	c  N st    35     25001        70      6230         0     11357     43610    242952     19.99     18.45  --
5.16/1.36	c  N dy    41     30001        70      6230         0      9745     43610    196164     19.99   no data  --
5.16/1.36	c  S st    41     30001        70      6230         0      9745     43610    196164     19.99   no data  --
5.16/1.39	c  S st    41     30502        70      6230         0     10213     43610    207725     19.99   no data  --
5.16/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.56/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.56/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.38	c lits-rem:      1544  cl-subs:      893  v-elim:      0  v-fix:    0  time:  3.91 s
10.34/2.68	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.20
10.34/2.68	c calculated reachability. Time: 0.00
10.34/2.68	c  N dy    41     30502        70      6230         0      9320     43610    184130     19.99   no data  --
11.54/2.90	c  N dy    60     34604        70      6230         0     13021     43610    272331     20.13     21.21  --
13.58/3.49	c  N dy    90     45458        70      6230         0     15729     43610    321267     19.98     21.09  --
13.94/3.52	c  S st    92     45755        70      6230         0     15997     43610    327661     19.98   no data  --
13.94/3.56	c  S st    92     46258        70      6230         0      8404     43610    138794     19.98   no data  --
13.94/3.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.94/3.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.94/3.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.94/3.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.94/3.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.94/3.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.94/3.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.14/4.33	c lits-rem:       226  cl-subs:       38  v-elim:      0  v-fix:    0  time:  3.04 s
17.14/4.33	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.14/4.33	c vivif2 --  cl tried     8366 cl shrink        0 lits rem          0 time: 0.00
17.97/4.59	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.00
17.97/4.59	c calculated reachability. Time: 0.00
17.97/4.59	c  N dy    92     46258        70      6230         0      8366     43610    137532     19.98   no data  --
19.12/4.80	c  N dy   126     50299        70      6230         0     12044     43610    227869     20.18     21.59  --
20.32/5.16	c  N dy   147     55917        70      6230         0     17188     43610    351495     20.23     21.43  --
21.53/5.44	c  N dy   152     60815        70      6230         0     12542     43610    221150     20.13     21.29  --
22.72/5.72	c  N dy   186     64978        70      6230         0     16356     43610    315470     20.27     21.34  --
23.92/6.06	c  N dy   210     69369        70      6230         0     10367     43610    160190     20.34     21.43  --
23.92/6.06	c  S st   211     69387        70      6230         0     10385     43610    160659     20.34   no data  --
23.92/6.09	c  S st   211     69892        70      6230         0     10849     43610    172049     20.34   no data  --
23.92/6.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.92/6.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.32/6.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
24.32/6.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.32/6.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.32/6.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
24.32/6.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.90/7.02	c lits-rem:       275  cl-subs:      154  v-elim:      0  v-fix:    0  time:  3.65 s
27.90/7.02	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.90/7.02	c vivif2 --  cl tried    10695 cl shrink        0 lits rem          0 time: 0.01
29.11/7.33	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.24
29.11/7.33	c calculated reachability. Time: 0.00
29.11/7.33	c  N dy   211     69892        70      6230         0     10695     43610    167899     20.34   no data  --
33.09/8.33	c  N dy   219     86584        70      6230         0     14817     43610    251123     19.95     21.08  --
33.49/8.40	c  F st   228     87500        70      6230         0     15666     43610    271931     19.97   no data  --
34.70/8.77	c  N dy   234     92696        70      6230         0     20314     43610    385934     19.97   no data  --
37.08/9.31	c  N dy   239    100991        70      6230         0     16113     43610    273183     19.89     20.94  --
38.28/9.62	c  S st   275    104839        70      6230         0     19624     43610    359593     19.98   no data  --
38.28/9.67	c  S st   275    105343        70      6230         0     20090     43610    371430     19.98   no data  --
38.28/9.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.28/9.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.28/9.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.28/9.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.28/9.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.28/9.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.28/9.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.46/11.42	c lits-rem:      2089  cl-subs:     1793  v-elim:      0  v-fix:    0  time:  6.90 s
45.46/11.42	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
45.46/11.43	c vivif2 --  cl tried    18297 cl shrink        0 lits rem          0 time: 0.02
47.06/11.80	c asymm  cl-useful: 0/4662/6230 lits-rem:0 time: 1.49
47.06/11.80	c calculated reachability. Time: 0.00
47.06/11.80	c  N dy   275    105343        70      6230         0     18297     43610    326514     19.98   no data  --
49.05/12.39	c  N dy   318    112441        70      6230         0     24739     43610    482539     20.08     21.20  --
51.45/12.91	c  N dy   358    119687        70      6230         0     18764     43610    329799     20.15     22.04  --
54.23/13.62	c  N dy   422    127352        70      6230         0     25768     43610    502896     20.29     22.57  --
56.64/14.27	c  N dy   466    135510        70      6230         0     19614     43610    335826     20.34     22.42  --
60.22/15.18	c  N dy   508    145905        70      6230         0     14519     43610    198047     20.35     21.47  --
63.42/15.91	c  N dy   560    155315        70      6230         0     23072     43610    404263     20.41     22.60  --
64.22/16.16	c  S st   575    158016        70      6230         0     25531     43610    464114     20.42   no data  --
64.61/16.22	c  S st   575    158520        70      6230         0     25997     43610    475670     20.42   no data  --
64.61/16.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
64.61/16.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
64.61/16.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
64.61/16.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
64.61/16.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
64.61/16.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
64.61/16.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.79/18.54	c lits-rem:      1878  cl-subs:     2302  v-elim:      0  v-fix:    0  time:  9.15 s
73.79/18.54	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
73.79/18.54	c vivif2 --  cl tried    23695 cl shrink        0 lits rem          0 time: 0.02
74.61/18.75	c asymm  cl-useful: 0/1568/6230 lits-rem:0 time: 0.82
74.61/18.75	c calculated reachability. Time: 0.00
74.61/18.75	c  N dy   575    158520        70      6230         0     23695     43610    415519     20.42   no data  --
78.58/19.79	c  N dy   607    168728        70      6230         0     17660     43610    261092     20.42     21.52  --
82.17/20.63	c  N dy   625    180279        70      6230         0     28092     43610    510883     20.37     21.59  --
86.16/21.68	c  N dy   674    191815        70      6230         0     22264     43610    359659     20.41     22.70  --
91.76/23.09	c  N dy   747    204213        70      6230         0     33523     43610    633930     20.48     21.57  --
101.72/25.51	c  N dy   811    230128        70      6230         0     21637     43610    316416     20.44     21.68  --
104.52/26.26	c  S st   867    237781        70      6230         0     28642     43610    489307     20.49   no data  --
104.92/26.33	c  S st   867    238287        70      6230         0     29111     43610    500906     20.49   no data  --
104.92/26.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
104.92/26.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
104.92/26.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
104.92/26.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
104.92/26.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
104.92/26.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
104.92/26.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
115.68/29.07	c lits-rem:      2862  cl-subs:     2281  v-elim:      0  v-fix:    0  time: 10.83 s
115.68/29.07	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
115.68/29.07	c vivif2 --  cl tried    26830 cl shrink        0 lits rem          0 time: 0.02
117.28/29.44	c asymm  cl-useful: 0/3480/6230 lits-rem:0 time: 1.46
117.28/29.44	c calculated reachability. Time: 0.00
117.28/29.44	c  N dy   867    238287        70      6230         0     26830     43610    442222     20.49   no data  --
123.30/30.95	c  N dy   897    253505        70      6230         0     21715     43610    307778     20.45     23.92  --
130.05/32.60	c  N dy   959    269707        70      6230         0     36359     43610    657996     20.44     22.28  --
137.63/34.51	c  N dy  1020    288159        70      6230         0     33128     43610    564758     20.44     21.52  --
146.01/36.61	c  F st  1113    306251        70      6230         0     28779     43610    453950     20.49     19.41  --
146.01/36.68	c  N st  1115    306876        70      6230         0     29343     43610    468035     20.49   no data  --
159.57/40.08	c  N dy  1151    339523        70      6230         0     36978     43610    623390     20.39     21.53  --
168.35/42.29	c  S st  1238    357430        70      6230         0     30651     43610    475365     20.43   no data  --
168.75/42.37	c  S st  1238    357932        70      6230         0     31118     43610    486968     20.43   no data  --
168.75/42.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
168.75/42.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
168.75/42.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
169.16/42.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
169.16/42.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
169.16/42.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
169.16/42.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
178.33/44.75	c lits-rem:      1416  cl-subs:     1832  v-elim:      0  v-fix:    0  time:  9.36 s
178.33/44.75	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
178.33/44.75	c vivif2 --  cl tried    29286 cl shrink        0 lits rem          0 time: 0.02
179.95/45.18	c asymm  cl-useful: 0/2750/6230 lits-rem:0 time: 1.70
179.95/45.18	c calculated reachability. Time: 0.00
179.95/45.18	c  N dy  1238    357932        70      6230         0     29286     43610    440060     20.43   no data  --
197.50/49.56	c  N dy  1345    389534        70      6230         0     34410     43610    545539     20.42     21.53  --
209.45/52.50	c  N dy  1444    409547        70      6230         0     28212     43610    386273     20.46     22.53  --
219.45/55.03	c  N dy  1493    430694        70      6230         0     47290     43610    843314     20.44     21.53  --
234.59/58.81	c  N dy  1583    460955        70      6230         0     49235     43610    868100     20.41     21.56  --
245.37/61.53	c  N dy  1698    481035        70      6230         0     41290     43610    680451     20.45     21.94  --
257.34/64.54	c  N dy  1748    503506        70      6230         0     34509     43610    498238     20.43     21.56  --
270.10/67.76	c  N dy  1856    524635        70      6230         0     53721     43610    965651     20.46     21.58  --
277.28/69.50	c  S st  1912    536899        70      6230         0     36769     43610    539396     20.47   no data  --
277.28/69.59	c  S st  1912    537400        70      6230         0     37235     43610    550862     20.47   no data  --
277.28/69.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
277.28/69.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
277.67/69.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
277.67/69.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
277.67/69.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
277.67/69.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
277.67/69.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
289.26/72.53	c lits-rem:      1250  cl-subs:     2075  v-elim:      0  v-fix:    0  time: 11.59 s
289.26/72.53	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
289.26/72.53	c vivif2 --  cl tried    35160 cl shrink        0 lits rem          0 time: 0.02
290.09/72.73	c asymm  cl-useful: 0/1566/6230 lits-rem:0 time: 0.78
290.09/72.73	c calculated reachability. Time: 0.00
290.09/72.73	c  N dy  1912    537400        70      6230         0     35160     43610    498748     20.47   no data  --
302.03/75.70	c  N dy  1975    557452        70      6230         0     53218     43610    931118     20.47     21.57  --
313.59/78.69	c  N dy  2041    578084        70      6230         0     43020     43610    675800     20.47     21.58  --
327.95/82.24	c  N dy  2145    598141        70      6230         0     31421     43610    388369     20.50     22.46  --
339.13/85.00	c  N dy  2194    618833        70      6230         0     50018     43610    834582     20.49     21.70  --
360.67/90.49	c  N dy  2225    659615        70      6230         0     55881     43610    941529     20.39     21.50  --
387.41/97.10	c  N dy  2260    701430        70      6230         0     61729     43610   1050701     20.29     21.41  --
400.18/100.36	c  N dy  2337    721508        70      6230         0     47644     43610    734517     20.29     22.77  --
418.13/104.87	c  N dy  2467    741584        70      6230         0     65844     43610   1180385     20.33     22.62  --
430.13/107.84	c  N dy  2547    761592        70      6230         0     50731     43610    800076     20.34     22.06  --
449.26/112.64	c  N dy  2594    792144        70      6230         0     43928     43610    614272     20.30     21.45  --
457.63/114.71	c  S st  2620    806100        70      6230         0     56495     43610    910792     20.28     18.13  --
458.03/114.87	c  S st  2620    806604        70      6230         0     56966     43610    922688     20.28   no data  --
458.03/114.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
458.03/114.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
458.43/114.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
458.43/114.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
458.43/114.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
458.43/114.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
458.43/114.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
491.58/123.26	c lits-rem:      2609  cl-subs:     6140  v-elim:      0  v-fix:    0  time: 33.22 s
491.58/123.26	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
491.58/123.27	c vivif2 --  cl tried    50826 cl shrink        0 lits rem          0 time: 0.04
492.75/123.59	c asymm  cl-useful: 0/919/6230 lits-rem:0 time: 1.28
492.75/123.59	c calculated reachability. Time: 0.00
492.75/123.59	c  N dy  2620    806604        70      6230         0     50826     43610    786433     20.28   no data  --
513.11/128.60	c  N dy  2749    826671        70      6230         0     68977     43610   1228830     20.31     22.48  --
527.10/132.15	c  N dy  2896    846735        70      6230         0     52283     43610    822520     20.35     22.09  --
545.01/136.67	c  N dy  2979    868116        70      6230         0     71590     43610   1286234     20.36     21.43  --
560.58/140.51	c  N dy  3044    893239        70      6230         0     58219     43610    935257     20.35     21.42  --
578.54/145.00	c  N dy  3137    913511        70      6230         0     39678     43610    480938     20.36     21.50  --
612.85/153.60	c  N dy  3296    965700        70      6230         0     48712     43610    676457     20.32     21.40  --
629.59/157.89	c  N dy  3410    985786        70      6230         0     66892     43610   1118712     20.34     22.43  --
647.94/162.43	c  N dy  3509   1006659        70      6230         0     47000     43610    634984     20.36     21.49  --
665.90/166.90	c  N dy  3595   1029335        70      6230         0     67529     43610   1132548     20.37     21.58  --
685.85/171.93	c  N dy  3722   1049661        70      6230         0     46238     43610    602094     20.39     21.69  --
704.20/176.54	c  N dy  3855   1071608        70      6230         0     66088     43610   1086342     20.42     21.51  --
704.60/176.62	c  F st  3858   1071876        70      6230         0     66331     43610   1092356     20.42   no data  --
724.95/181.74	c  N dy  3970   1091619        70      6230         0     43497     43610    522942     20.44     22.35  --
739.32/185.30	c  N dy  4035   1111688        70      6230         0     61578     43610    959987     20.44     22.52  --
758.46/190.19	c  N dy  4096   1131826        70      6230         0     79698     43610   1392977     20.44     21.53  --
773.63/193.92	c  N dy  4166   1151896        70      6230         0     56302     43610    820128     20.44     22.37  --
803.17/201.39	c  N dy  4260   1179248        70      6230         0     80960     43610   1413283     20.44     21.55  --
822.30/206.17	c  N dy  4347   1199299        70      6230         0     56661     43610    812440     20.45     21.86  --
835.87/209.55	c  S st  4419   1209907        70      6230         0     66294     43610   1049535     20.46     18.34  --
837.07/209.81	c  S st  4419   1210415        70      6230         0     66762     43610   1061621     20.46   no data  --
837.07/209.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
837.07/209.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
837.07/209.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
837.07/209.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
837.07/209.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
837.07/209.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
837.07/209.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
912.48/228.75	c lits-rem:      3082  cl-subs:     5226  v-elim:      0  v-fix:    0  time: 75.21 s
912.48/228.75	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
912.48/228.77	c vivif2 --  cl tried    61536 cl shrink        0 lits rem          0 time: 0.05
914.07/229.12	c asymm  cl-useful: 0/744/6230 lits-rem:0 time: 1.42
914.07/229.12	c calculated reachability. Time: 0.00
914.07/229.12	c  N dy  4419   1210415        70      6230         0     61536     43610    928906     20.46   no data  --
936.42/234.77	c  N dy  4482   1230511        70      6230         0     79652     43610   1365322     20.46     21.54  --
954.37/239.27	c  N dy  4587   1250570        70      6230         0     54757     43610    757723     20.48     21.92  --
974.35/244.21	c  N dy  4658   1271881        70      6230         0     73958     43610   1217381     20.48     21.60  --
1000.69/250.86	c  N dy  4743   1291947        70      6230         0     47975     43610    578194     20.48     23.24  --
1019.81/255.61	c  N dy  4844   1312012        70      6230         0     66108     43610   1023267     20.50     23.01  --
1046.95/262.42	c  N dy  4940   1333840        70      6230         0     85799     43610   1503837     20.51     21.69  --
1068.50/267.84	c  N dy  5028   1353907        70      6230         0     58788     43610    825695     20.51     22.79  --
1086.84/272.40	c  N dy  5093   1374136        70      6230         0     77016     43610   1265837     20.52     21.78  --
1111.18/278.50	c  N dy  5191   1394160        70      6230         0     49106     43610    579732     20.52     23.58  --
1149.49/288.15	c  N dy  5274   1441789        70      6230         0     91741     43610   1579657     20.49     21.59  --
1169.84/293.21	c  N dy  5387   1464278        70      6230         0     65296     43610    962219     20.50     21.70  --
1192.59/298.95	c  N dy  5498   1484762        70      6230         0     83715     43610   1410571     20.51     21.67  --
1215.75/304.79	c  N dy  5563   1506744        70      6230         0     55821     43610    712734     20.51     21.72  --
1236.08/309.86	c  N dy  5706   1526810        70      6230         0     73989     43610   1161138     20.53     23.18  --
1264.80/317.04	c  N dy  5826   1549375        70      6230         0     94374     43610   1657944     20.54     21.67  --
1283.56/321.73	c  N dy  5929   1569386        70      6230         0     63718     43610    895543     20.55     22.34  --
1303.53/326.81	c  N dy  5993   1590581        70      6230         0     82760     43610   1353252     20.55     21.64  --
1329.87/333.31	c  N dy  6082   1610739        70      6230         0     51403     43610    582232     20.55     21.68  --
1348.20/337.99	c  N dy  6214   1630768        70      6230         0     69511     43610   1029944     20.57     23.79  --
1390.89/348.64	c  N dy  6298   1675711        70      6230         0     59291     43610    745799     20.52     21.79  --
1413.67/354.31	c  N dy  6370   1696390        70      6230         0     77905     43610   1197467     20.52     21.67  --
1435.63/359.84	c  S st  6443   1710415        70      6230         0     90526     43610   1503759     20.53     17.85  --
1436.78/360.15	c  S st  6443   1710920        70      6230         0     90994     43610   1515514     20.53   no data  --
1436.78/360.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1436.78/360.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1437.18/360.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1437.18/360.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1437.18/360.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1437.18/360.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1437.18/360.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1642.23/411.65	c lits-rem:      5643  cl-subs:    10301  v-elim:      0  v-fix:    0  time: 204.98 s
1642.23/411.65	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1642.23/411.67	c vivif2 --  cl tried    80693 cl shrink        0 lits rem          0 time: 0.08
1644.23/412.13	c asymm  cl-useful: 0/565/6230 lits-rem:0 time: 1.84
1644.23/412.13	c calculated reachability. Time: 0.00
1644.23/412.13	c  N dy  6443   1710920        70      6230         0     80693     43610   1273553     20.53   no data  --
1684.53/422.20	c  N dy  6566   1734464        70      6230         0     51220     43610    559423     20.54     21.66  --
1707.29/427.97	c  N dy  6657   1754490        70      6230         0     69251     43610    999600     20.54     21.84  --
1742.40/436.72	c  N dy  6695   1780266        70      6230         0     92277     43610   1539380     20.52     21.62  --
1778.28/445.77	c  N dy  6813   1801094        70      6230         0     59202     43610    740256     20.54     21.70  --
1801.83/451.70	c  N dy  6902   1821125        70      6230         0     77300     43610   1179066     20.54     21.66  --
1866.86/467.97	c  N dy  7001   1877193        70      6230         0     74364     43610   1066355     20.50     21.67  --
1900.82/476.47	c  N dy  7112   1900792        70      6230         0     95594     43610   1582404     20.51     21.60  --
1927.92/483.25	c  N dy  7177   1920992        70      6230         0     59997     43610    731321     20.50     21.64  --
1951.46/489.19	c  N dy  7281   1941029        70      6230         0     78201     43610   1175917     20.51     22.24  --
1998.54/500.96	c  N dy  7390   1984605        70      6230         0     62412     43610    764924     20.49     21.70  --
2017.70/505.71	c  N dy  7448   2004892        70      6230         0     80659     43610   1203404     20.49     21.61  --
2048.02/513.33	c  N dy  7577   2026058        70      6230         0     99803     43610   1673534     20.50     21.70  --
2078.74/521.05	c  N dy  7692   2048101        70      6230         0     63833     43610    789690     20.50     21.62  --
2102.72/527.03	c  N dy  7758   2074122        70      6230         0     87152     43610   1347360     20.50     21.60  --
2129.41/533.72	c  N dy  7839   2094140        70      6230         0    105174     43610   1780446     20.50     21.93  --
2165.73/542.81	c  N dy  7932   2125906        70      6230         0     76993     43610   1089181     20.49     21.73  --
2200.04/551.48	c  N dy  8017   2155669        70      6230         0    103738     43610   1727617     20.48     21.57  --
2228.37/558.52	c  N dy  8093   2175747        70      6230         0     64332     43610    782532     20.49     22.35  --
2251.94/564.49	c  N dy  8191   2199111        70      6230         0     85405     43610   1295947     20.49     21.67  --
2267.08/568.26	c  S st  8243   2210920        70      6230         0     95979     43610   1553677     20.49   no data  --
2268.28/568.56	c  S st  8243   2211426        70      6230         0     96444     43610   1565284     20.49   no data  --
2268.28/568.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2268.28/568.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2268.67/568.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
2268.67/568.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2268.67/568.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2268.67/568.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2268.67/568.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2743.45/687.64	c lits-rem:      6848  cl-subs:     9000  v-elim:      0  v-fix:    0  time: 474.54 s
2743.45/687.64	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2743.45/687.66	c vivif2 --  cl tried    87444 cl shrink        0 lits rem          0 time: 0.08
2745.40/688.14	c asymm  cl-useful: 0/504/6230 lits-rem:0 time: 1.91
2745.40/688.14	c calculated reachability. Time: 0.00
2745.40/688.14	c  N dy  8243   2211426        70      6230         0     87444     43610   1342884     20.49   no data  --
2790.09/699.34	c  N dy  8385   2233414        70      6230         0    107290     43610   1832562     20.51     21.60  --
2828.80/709.09	c  N dy  8519   2253423        70      6230         0     67414     43610    853546     20.52     23.35  --
2869.09/719.13	c  N dy  8664   2278920        70      6230         0     90362     43610   1417529     20.53     21.73  --
2906.19/728.49	c  N dy  8753   2298982        70      6230         0    108457     43610   1860375     20.54     22.13  --
2942.91/737.66	c  N dy  8835   2319018        70      6230         0     67276     43610    830201     20.54     22.27  --
2981.21/747.27	c  N dy  8866   2351772        70      6230         0     96515     43610   1521377     20.52     21.61  --
3021.12/757.24	c  N dy  8955   2374687        70      6230         0    116997     43610   2014783     20.52     21.64  --
3062.21/767.53	c  N dy  8978   2411544        70      6230         0     89855     43610   1337395     20.49     21.74  --
3102.12/777.54	c  N dy  9077   2436332        70      6230         0    112127     43610   1876654     20.49     21.64  --
3140.42/787.14	c  N dy  9233   2456353        70      6230         0     69305     43610    861244     20.51     22.64  --
3166.36/793.65	c  N dy  9333   2478219        70      6230         0     89025     43610   1343466     20.51     21.61  --
3197.48/801.45	c  N dy  9455   2498289        70      6230         0    107146     43610   1790360     20.52     21.77  --
3271.29/819.92	c  N dy  9530   2563699        70      6230         0    103322     43610   1605637     20.47     21.88  --
3309.64/829.54	c  N dy  9694   2583702        70      6230         0    121402     43610   2055890     20.49     23.02  --
3347.11/839.00	c  N dy  9768   2617709        70      6230         0     89290     43610   1301758     20.48     21.58  --
3401.82/852.69	c  N dy  9850   2656439        70      6230         0    123883     43610   2122803     20.47     21.63  --
3431.30/860.02	c  N dy  9941   2676501        70      6230         0     78341     43610   1037653     20.48     22.06  --
3457.64/866.65	c  N dy 10028   2696560        70      6230         0     96302     43610   1470037     20.48     22.32  --
3483.17/873.09	c  S st 10143   2711426        70      6230         0    109770     43610   1805837     20.49   no data  --
3484.79/873.44	c  S st 10143   2711930        70      6230         0    110233     43610   1817513     20.49   no data  --
3484.79/873.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3484.79/873.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3485.21/873.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
3485.21/873.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3485.21/873.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3485.21/873.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3485.21/873.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4124.71/1033.83	c lits-rem:      7017  cl-subs:    10472  v-elim:      0  v-fix:    0  time: 639.35 s
4124.71/1033.83	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4124.71/1033.85	c vivif2 --  cl tried    99761 cl shrink        0 lits rem          0 time: 0.09
4126.70/1034.34	c asymm  cl-useful: 0/438/6230 lits-rem:0 time: 1.94
4126.70/1034.35	c calculated reachability. Time: 0.00
4126.70/1034.35	c  N dy 10143   2711930        70      6230         0     99761     43610   1553707     20.49   no data  --
4172.99/1045.95	c  N dy 10275   2732049        70      6230         0    117957     43610   2001849     20.49     21.58  --
4219.67/1057.62	c  N dy 10422   2752304        70      6230         0     72140     43610    882642     20.51     21.59  --
4255.98/1066.71	c  N dy 10525   2775528        70      6230         0     93035     43610   1391533     20.51     21.73  --
4298.67/1077.46	c  N dy 10647   2795611        70      6230         0    111143     43610   1837751     20.52     21.62  --
4348.96/1090.04	c  N dy 10768   2815750        70      6230         0    129273     43610   2284510     20.53     21.65  --
4380.10/1097.82	c  N dy 10826   2835875        70      6230         0     81813     43610   1091214     20.53     21.66  --
4422.77/1108.54	c  N dy 10994   2855932        70      6230         0     99961     43610   1544599     20.54     23.15  --
4475.43/1121.74	c  N dy 11142   2875974        70      6230         0    118037     43610   1994120     20.55     22.29  --
4530.88/1135.62	c  N dy 11277   2895978        70      6230         0     69647     43610    787793     20.56     22.23  --
4558.81/1142.67	c  N dy 11313   2916044        70      6230         0     87563     43610   1215303     20.55     23.51  --
4601.10/1153.27	c  N dy 11421   2936176        70      6230         0    105693     43610   1661054     20.56     21.74  --
4649.77/1165.40	c  N dy 11500   2956242        70      6230         0    123766     43610   2099752     20.56     21.66  --
4694.86/1176.74	c  N dy 11606   2976305        70      6230         0     74461     43610    890203     20.57     21.70  --
4725.98/1184.58	c  N dy 11682   2996373        70      6230         0     92504     43610   1328292     20.57     22.85  --
4780.25/1198.14	c  N dy 11803   3026694        70      6230         0    119726     43610   1989641     20.57     21.72  --

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-3368795-1305403107/watcher-3368795-1305403107 -o /tmp/evaluation-result-3368795-1305403107/solver-3368795-1305403107 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368795-1305403107.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: 7.45 7.96 8.02 5/320 14371
/proc/meminfo: memFree=28011580/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 651909486 52465664 352 33554432000 4194304 4650419 140733529819696 18446744073709551615 47148612233132 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 12809 352 303 112 0 7774 0
[pid=14371/tid=14372] ppid=14369 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651909487 52465664 352 33554432000 4194304 4650419 140733529819696 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651909487 52465664 352 33554432000 4194304 4650419 140733529819696 18446744073709551615 47148612233138 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651909487 52465664 352 33554432000 4194304 4650419 140733529819696 18446744073709551615 47148612233138 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.153774 s]
/proc/loadavg: 7.45 7.96 8.02 5/320 14371
/proc/meminfo: memFree=28011580/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=299344 CPUtime=0.58 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) D 14369 14371 13843 0 -1 4202496 1568 0 0 0 58 0 0 0 25 0 4 0 651909486 306528256 1478 33554432000 4194304 4650419 140733529819696 18446744073709551615 268272732519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 74836 1478 368 112 0 69801 0
[pid=14371/tid=14372] ppid=14369 vsize=299344 CPUtime=0.14 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 277 0 0 0 14 0 0 0 25 0 4 0 651909487 306528256 1478 33554432000 4194304 4650419 140733529819696 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=299344 CPUtime=0.14 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 232 0 0 0 14 0 0 0 25 0 4 0 651909487 306528256 1478 33554432000 4194304 4650419 140733529819696 18446744073709551615 4370593 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=299344 CPUtime=0.14 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 409 0 0 0 14 0 0 0 25 0 4 0 651909487 306528256 1478 33554432000 4194304 4650419 140733529819696 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 299344

[startup+0.201036 s]
/proc/loadavg: 7.45 7.96 8.02 5/320 14371
/proc/meminfo: memFree=28011580/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=285692 CPUtime=0.77 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 3308 0 0 0 77 0 0 0 25 0 4 0 651909486 292548608 2824 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 71423 2824 390 112 0 66388 0
[pid=14371/tid=14372] ppid=14369 vsize=285692 CPUtime=0.18 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 757 0 0 0 18 0 0 0 25 0 4 0 651909487 292548608 2824 33554432000 4194304 4650419 140733529819696 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=285692 CPUtime=0.19 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 760 0 0 0 19 0 0 0 25 0 4 0 651909487 292548608 2825 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=285692 CPUtime=0.19 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 621 0 0 0 19 0 0 0 25 0 4 0 651909487 292548608 2825 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 285692

[startup+0.301018 s]
/proc/loadavg: 7.45 7.96 8.02 5/320 14371
/proc/meminfo: memFree=28011580/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=285692 CPUtime=1.17 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 3638 0 0 0 117 0 0 0 25 0 4 0 651909486 292548608 3154 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 71423 3154 390 112 0 66388 0
[pid=14371/tid=14372] ppid=14369 vsize=285692 CPUtime=0.28 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 842 0 0 0 28 0 0 0 25 0 4 0 651909487 292548608 3154 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=285692 CPUtime=0.29 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 850 0 0 0 29 0 0 0 25 0 4 0 651909487 292548608 3154 33554432000 4194304 4650419 140733529819696 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=285692 CPUtime=0.29 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 686 0 0 0 29 0 0 0 25 0 4 0 651909487 292548608 3155 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366920 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) 285692

[startup+0.700947 s]
/proc/loadavg: 7.45 7.96 8.02 5/320 14371
/proc/meminfo: memFree=28011580/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=287540 CPUtime=2.77 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 6028 0 0 0 276 1 0 0 25 0 4 0 651909486 294440960 3598 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 71885 3598 390 112 0 66850 0
[pid=14371/tid=14372] ppid=14369 vsize=287540 CPUtime=0.68 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 1444 0 0 0 68 0 0 0 25 0 4 0 651909487 294440960 3598 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=287540 CPUtime=0.69 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 1474 0 0 0 69 0 0 0 25 0 4 0 651909487 294440960 3598 33554432000 4194304 4650419 140733529819696 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=287540 CPUtime=0.69 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 1258 0 0 0 69 0 0 0 25 0 4 0 651909487 294440960 3598 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366923 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) 287540

[startup+1.50081 s]
/proc/loadavg: 7.45 7.96 8.02 9/324 14375
/proc/meminfo: memFree=27986580/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=294748 CPUtime=5.96 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 10757 0 0 0 594 2 0 0 25 0 4 0 651909486 301821952 5927 33554432000 4194304 4650419 140733529819696 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 73687 5927 392 112 0 68652 0
[pid=14371/tid=14372] ppid=14369 vsize=294748 CPUtime=1.47 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 2391 0 0 0 147 0 0 0 25 0 4 0 651909487 301821952 5927 33554432000 4194304 4650419 140733529819696 18446744073709551615 4334261 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=294748 CPUtime=1.49 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 2334 0 0 0 149 0 0 0 25 0 4 0 651909487 301821952 5927 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=294748 CPUtime=1.49 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 1905 0 0 0 149 0 0 0 25 0 4 0 651909487 301821952 5927 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 294748

[startup+3.10052 s]
/proc/loadavg: 7.50 7.96 8.02 9/324 14375
/proc/meminfo: memFree=27947892/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=295368 CPUtime=12.34 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 17869 0 0 0 1232 2 0 0 25 0 4 0 651909486 302456832 10479 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 73842 10479 392 112 0 68807 0
[pid=14371/tid=14372] ppid=14369 vsize=295368 CPUtime=3.06 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 3939 0 0 0 306 0 0 0 25 0 4 0 651909487 302456832 10479 33554432000 4194304 4650419 140733529819696 18446744073709551615 4310960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=295368 CPUtime=3.08 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 4740 0 0 0 308 0 0 0 25 0 4 0 651909487 302456832 10479 33554432000 4194304 4650419 140733529819696 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=295368 CPUtime=3.09 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 4621 0 0 0 309 0 0 0 25 0 4 0 651909487 302456832 10479 33554432000 4194304 4650419 140733529819696 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 295368

[startup+6.30096 s]
/proc/loadavg: 7.50 7.96 8.02 9/324 14375
/proc/meminfo: memFree=27911568/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=305292 CPUtime=25.12 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 26034 0 0 0 2508 4 0 0 25 0 4 0 651909486 312619008 12982 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 76323 12982 392 112 0 71288 0
[pid=14371/tid=14372] ppid=14369 vsize=305292 CPUtime=6.22 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 6815 0 0 0 622 0 0 0 25 0 4 0 651909487 312619008 12982 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=305292 CPUtime=6.29 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 6781 0 0 0 628 1 0 0 25 0 4 0 651909487 312619008 12982 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=305292 CPUtime=6.28 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 6796 0 0 0 628 0 0 0 25 0 4 0 651909487 312619008 12982 33554432000 4194304 4650419 140733529819696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 305292

[startup+12.7008 s]
/proc/loadavg: 7.57 7.96 8.02 9/324 14376
/proc/meminfo: memFree=27859176/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=296400 CPUtime=50.65 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 37886 0 0 0 5058 7 0 0 25 0 4 0 651909486 303513600 17692 33554432000 4194304 4650419 140733529819696 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 74100 17692 392 112 0 69065 0
[pid=14371/tid=14372] ppid=14369 vsize=296400 CPUtime=12.56 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 9485 0 0 0 1255 1 0 0 25 0 4 0 651909487 303513600 17692 33554432000 4194304 4650419 140733529819696 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=296400 CPUtime=12.68 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 9509 0 0 0 1267 1 0 0 25 0 4 0 651909487 303513600 17692 33554432000 4194304 4650419 140733529819696 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=296400 CPUtime=12.69 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 10466 0 0 0 1268 1 0 0 25 0 4 0 651909487 303513600 17692 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 296400

[startup+25.5005 s]
/proc/loadavg: 7.72 7.98 8.02 9/324 14376
/proc/meminfo: memFree=27815220/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=308996 CPUtime=101.72 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 57475 0 0 0 10159 13 0 0 25 0 4 0 651909486 316411904 23931 33554432000 4194304 4650419 140733529819696 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 77249 23931 392 112 0 72214 0
[pid=14371/tid=14372] ppid=14369 vsize=308996 CPUtime=25.23 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 14118 0 0 0 2521 2 0 0 25 0 4 0 651909487 316411904 23931 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=308996 CPUtime=25.49 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 14873 0 0 0 2546 3 0 0 25 0 4 0 651909487 316411904 23931 33554432000 4194304 4650419 140733529819696 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=308996 CPUtime=25.48 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 15897 0 0 0 2546 2 0 0 25 0 4 0 651909487 316411904 23931 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 308996

[startup+51.101 s]
/proc/loadavg: 7.88 8.00 8.02 9/324 14376
/proc/meminfo: memFree=27762432/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=316280 CPUtime=203.87 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 83289 0 0 0 20365 22 0 0 25 0 4 0 651909486 323870720 30653 33554432000 4194304 4650419 140733529819696 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 79070 30653 392 112 0 74035 0
[pid=14371/tid=14372] ppid=14369 vsize=316280 CPUtime=50.57 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 20563 0 0 0 5053 4 0 0 25 0 4 0 651909487 323870720 30653 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=316280 CPUtime=51.09 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 21279 0 0 0 5103 6 0 0 25 0 4 0 651909487 323870720 30653 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=316280 CPUtime=51.08 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 23932 0 0 0 5104 4 0 0 25 0 4 0 651909487 323870720 30653 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 316280

[startup+102.301 s]
/proc/loadavg: 7.95 8.00 8.02 9/324 14378
/proc/meminfo: memFree=27691588/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=350400 CPUtime=408.18 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 120113 0 0 0 40783 35 0 0 25 0 4 0 651909486 358809600 36673 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 87600 36673 392 112 0 82565 0
[pid=14371/tid=14372] ppid=14369 vsize=350400 CPUtime=101.27 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 29773 0 0 0 10120 7 0 0 25 0 4 0 651909487 358809600 36675 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=350400 CPUtime=102.3 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 30515 0 0 0 10220 10 0 0 25 0 4 0 651909487 358809600 36675 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=350400 CPUtime=102.29 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 38058 0 0 0 10219 10 0 0 25 0 4 0 651909487 358809600 36675 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (KiB) 350400

[startup+162.301 s]

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

[pid=14371] ppid=14369 vsize=515072 CPUtime=2562.69 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 356666 0 0 0 256136 133 0 0 25 0 4 0 651909486 527433728 76891 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 128768 76891 392 112 0 123733 0
[pid=14371/tid=14372] ppid=14369 vsize=515072 CPUtime=635.79 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 93998 0 0 0 63548 31 0 0 25 0 4 0 651909487 527433728 76891 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=515072 CPUtime=642.3 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 88901 0 0 0 64191 39 0 0 25 0 4 0 651909487 527433728 76891 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=515072 CPUtime=642.28 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 107800 0 0 0 64192 36 0 0 25 0 4 0 651909487 527433728 76891 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2562.69
Current children cumulated vsize (KiB) 515072

[startup+702.301 s]
/proc/loadavg: 8.11 8.09 8.04 9/324 14406
/proc/meminfo: memFree=27328928/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=515216 CPUtime=2802.06 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 370974 0 0 0 280068 138 0 0 25 0 4 0 651909486 527581184 78766 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 128804 78766 392 112 0 123769 0
[pid=14371/tid=14372] ppid=14369 vsize=515216 CPUtime=695.15 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 94963 0 0 0 69483 32 0 0 25 0 4 0 651909487 527581184 78766 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=515216 CPUtime=702.3 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 92049 0 0 0 70189 41 0 0 25 0 4 0 651909487 527581184 78766 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=515216 CPUtime=702.29 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 117340 0 0 0 70191 38 0 0 25 0 4 0 651909487 527581184 78766 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.06
Current children cumulated vsize (KiB) 515216

[startup+762.3 s]
/proc/loadavg: 8.15 8.11 8.05 9/324 14408
/proc/meminfo: memFree=27320724/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=504500 CPUtime=3041.48 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 381627 0 0 0 304004 144 0 0 25 0 4 0 651909486 516608000 76863 33554432000 4194304 4650419 140733529819696 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 126125 76863 392 112 0 121090 0
[pid=14371/tid=14372] ppid=14369 vsize=504500 CPUtime=754.55 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 94963 0 0 0 75423 32 0 0 25 0 4 0 651909487 516608000 76864 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=504500 CPUtime=762.32 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 97173 0 0 0 76187 45 0 0 25 0 4 0 651909487 516608000 76864 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=504500 CPUtime=762.31 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 121038 0 0 0 76191 40 0 0 25 0 4 0 651909487 516608000 76864 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3041.48
Current children cumulated vsize (KiB) 504500

[startup+822.301 s]
/proc/loadavg: 8.12 8.11 8.05 9/324 14409
/proc/meminfo: memFree=27325792/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=545652 CPUtime=3280.88 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 401557 0 0 0 327933 155 0 0 25 0 4 0 651909486 558747648 73819 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 136413 73819 392 112 0 131378 0
[pid=14371/tid=14372] ppid=14369 vsize=545652 CPUtime=813.95 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 97983 0 0 0 81361 34 0 0 25 0 4 0 651909487 558747648 73819 33554432000 4194304 4650419 140733529819696 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=545652 CPUtime=822.3 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 102649 0 0 0 82183 47 0 0 25 0 4 0 651909487 558747648 73819 33554432000 4194304 4650419 140733529819696 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=545652 CPUtime=822.29 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 126553 0 0 0 82187 42 0 0 25 0 4 0 651909487 558747648 73819 33554432000 4194304 4650419 140733529819696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3280.88
Current children cumulated vsize (KiB) 545652

[startup+882.312 s]
/proc/loadavg: 8.17 8.11 8.05 9/324 14411
/proc/meminfo: memFree=27261296/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=570880 CPUtime=3520.32 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 420506 0 0 0 351867 165 0 0 25 0 4 0 651909486 584581120 89996 33554432000 4194304 4650419 140733529819696 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 142720 89996 392 112 0 137685 0
[pid=14371/tid=14372] ppid=14369 vsize=570880 CPUtime=873.36 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 103484 0 0 0 87299 37 0 0 25 0 4 0 651909487 584581120 89996 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=570880 CPUtime=882.31 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 106339 0 0 0 88182 49 0 0 25 0 4 0 651909487 584581120 89996 33554432000 4194304 4650419 140733529819696 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=570880 CPUtime=882.3 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 130992 0 0 0 88186 44 0 0 25 0 4 0 651909487 584581120 89996 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3520.32
Current children cumulated vsize (KiB) 570880

[startup+942.3 s]
/proc/loadavg: 8.06 8.09 8.05 9/324 14412
/proc/meminfo: memFree=27276144/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=570984 CPUtime=3759.67 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 425950 0 0 0 375799 168 0 0 25 0 4 0 651909486 584687616 84838 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476411 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 142746 84838 392 112 0 137711 0
[pid=14371/tid=14372] ppid=14369 vsize=570984 CPUtime=932.74 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 104138 0 0 0 93237 37 0 0 25 0 4 0 651909487 584687616 84838 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=570984 CPUtime=942.31 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 109132 0 0 0 94179 52 0 0 25 0 4 0 651909487 584687616 84838 33554432000 4194304 4650419 140733529819696 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=570984 CPUtime=942.29 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 132455 0 0 0 94184 45 0 0 25 0 4 0 651909487 584687616 84838 33554432000 4194304 4650419 140733529819696 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3759.67
Current children cumulated vsize (KiB) 570984

[startup+1002.3 s]
/proc/loadavg: 8.02 8.07 8.04 9/324 14414
/proc/meminfo: memFree=27231860/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=558064 CPUtime=3999.03 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 430131 0 0 0 399732 171 0 0 25 0 4 0 651909486 571457536 86158 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 139516 86158 392 112 0 134481 0
[pid=14371/tid=14372] ppid=14369 vsize=558064 CPUtime=992.09 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 107218 0 0 0 99170 39 0 0 25 0 4 0 651909487 571457536 86158 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=558064 CPUtime=1002.31 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 110192 0 0 0 100178 53 0 0 25 0 4 0 651909487 571457536 86158 33554432000 4194304 4650419 140733529819696 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=558064 CPUtime=1002.29 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 132496 0 0 0 100184 45 0 0 25 0 4 0 651909487 571457536 86158 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3999.03
Current children cumulated vsize (KiB) 558064

[startup+1062.3 s]
/proc/loadavg: 8.12 8.09 8.04 9/324 14415
/proc/meminfo: memFree=27226492/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=571144 CPUtime=4238.43 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 435705 0 0 0 423668 175 0 0 25 0 4 0 651909486 584851456 88692 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 142786 88692 392 112 0 137751 0
[pid=14371/tid=14372] ppid=14369 vsize=571144 CPUtime=1051.49 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 107218 0 0 0 105110 39 0 0 25 0 4 0 651909487 584851456 88692 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=571144 CPUtime=1062.31 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 114973 0 0 0 106176 55 0 0 25 0 4 0 651909487 584851456 88692 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=571144 CPUtime=1062.3 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 132511 0 0 0 106185 45 0 0 25 0 4 0 651909487 584851456 88692 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4238.43
Current children cumulated vsize (KiB) 571144

[startup+1122.3 s]
/proc/loadavg: 8.04 8.07 8.04 9/324 14417
/proc/meminfo: memFree=27196956/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=563432 CPUtime=4477.81 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 438796 0 0 0 447605 176 0 0 25 0 4 0 651909486 576954368 88791 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 140858 88791 392 112 0 135823 0
[pid=14371/tid=14372] ppid=14369 vsize=563432 CPUtime=1110.87 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 107264 0 0 0 111048 39 0 0 25 0 4 0 651909487 576954368 88791 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=563432 CPUtime=1122.31 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 117246 0 0 0 112175 56 0 0 25 0 4 0 651909487 576954368 88791 33554432000 4194304 4650419 140733529819696 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=563432 CPUtime=1122.3 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 132647 0 0 0 112185 45 0 0 25 0 4 0 651909487 576954368 88791 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4477.81
Current children cumulated vsize (KiB) 563432

[startup+1182.3 s]
/proc/loadavg: 8.11 8.08 8.04 9/324 14419
/proc/meminfo: memFree=27191360/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=575204 CPUtime=4717.21 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 447048 0 0 0 471540 181 0 0 25 0 4 0 651909486 589008896 93085 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 143801 93085 392 112 0 138766 0
[pid=14371/tid=14372] ppid=14369 vsize=575204 CPUtime=1170.25 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 107264 0 0 0 116986 39 0 0 25 0 4 0 651909487 589008896 93085 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=575204 CPUtime=1182.32 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 120204 0 0 0 118175 57 0 0 25 0 4 0 651909487 589008896 93085 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=575204 CPUtime=1182.3 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 134909 0 0 0 118183 47 0 0 25 0 4 0 651909487 589008896 93085 33554432000 4194304 4650419 140733529819696 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4717.21
Current children cumulated vsize (KiB) 575204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.15 8.09 8.05 9/324 14419
/proc/meminfo: memFree=27182796/32950928 swapFree=60199044/67111528
[pid=14371] ppid=14369 vsize=575204 CPUtime=4800.22 cores=1,3,5,7
/proc/14371/stat : 14371 (strangenight1-m) R 14369 14371 13843 0 -1 4202496 448838 0 0 0 479840 182 0 0 25 0 4 0 651909486 589008896 94875 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14371/statm: 143801 94875 392 112 0 138766 0
[pid=14371/tid=14372] ppid=14369 vsize=575204 CPUtime=1190.85 cores=1,3,5,7
/proc/14371/task/14372/stat : 14372 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 107896 0 0 0 119045 40 0 0 25 0 4 0 651909487 589008896 94875 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14371/tid=14373] ppid=14369 vsize=575204 CPUtime=1203.13 cores=1,3,5,7
/proc/14371/task/14373/stat : 14373 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 120204 0 0 0 120256 57 0 0 25 0 4 0 651909487 589008896 94875 33554432000 4194304 4650419 140733529819696 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14371/tid=14374] ppid=14369 vsize=575204 CPUtime=1203.11 cores=1,3,5,7
/proc/14371/task/14374/stat : 14374 (strangenight1-m) R 14369 14371 13843 0 -1 4202560 136067 0 0 0 120263 48 0 0 25 0 4 0 651909487 589008896 94875 33554432000 4194304 4650419 140733529819696 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 575204

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.13
CPU time (s): 4800.28
CPU user time (s): 4798.44
CPU system time (s): 1.84172
CPU usage (%): 398.982
Max. virtual memory (cumulated for all children) (KiB): 575204

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

runsolver used 3.38948 second user time and 8.90765 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-14 21:58:27
IDJOB=3368795
IDBENCH=82804
IDSOLVER=1846
FILE ID=node122/3368795-1305403107
RUNJOBID= node122-1305403107-14349
PBS_JOBID= 13324448
Free space on /tmp= 73432 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368795-1305403107/watcher-3368795-1305403107 -o /tmp/evaluation-result-3368795-1305403107/solver-3368795-1305403107 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368795-1305403107.cnf

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

MD5SUM BENCH= 2cb285a396d74446b485c2112c34e09c
RANDOM SEED=949205350

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28011612 kB
Buffers:        273100 kB
Cached:        3350988 kB
SwapCached:      50104 kB
Active:         875652 kB
Inactive:      3854748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28011612 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:           12552 kB
Writeback:           0 kB
AnonPages:     1067132 kB
Mapped:          14128 kB
Slab:           112948 kB
PageTables:      32196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52610880 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= 73424 MiB
End job on node122 at 2011-05-14 22:18:32