Trace number 3368839

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.46 1203.45

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf
MD5SUMd1b5f6eba94843a6d4f11aae7cd57ab2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.45193
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-3368839-1305404249.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.37/0.15	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.54
0.37/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.01/1.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.01/1.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.01/1.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
4.01/1.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.01/1.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
4.01/1.02	c Finding binary XORs  T:     0.00 s  found:       0
4.01/1.02	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
4.01/1.02	c calculated reachability. Time: 0.00
4.01/1.02	c Calc default polars -  time:   0.00 s pos:      40 undec:       2 neg:      28
4.01/1.02	c =========================================================================================
4.01/1.02	c types(t): F = full restart, N = normal restart
4.01/1.02	c types(t): S = simplification begin/end, E = solution found
4.01/1.02	c restart types(rt): st = static, dy = dynamic
4.01/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.01/1.02	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
4.01/1.02	c  N dy     7      5264        70      6230         0      2512     43610     54901     21.42     22.60  --
4.01/1.02	c  N dy    11     10831        70      6230         0      7552     43610    173607     20.25     21.32  --
4.01/1.02	c  N dy    30     17199        70      6230         0      9439     43610    209304     20.30     21.38  --
4.01/1.02	c  N dy    53     21205        70      6230         0      7999     43610    164566     20.50     21.59  --
4.40/1.14	c  F st    71     25002        70      6230         0     11458     43610    247958     20.52     20.21  --
4.40/1.16	c  N st    72     25252        70      6230         0     11681     43610    253447     20.52   no data  --
5.16/1.36	c  N dy    77     30000        70      6230         0      9812     43610    197413     20.52   no data  --
5.16/1.36	c  S st    77     30000        70      6230         0      9812     43610    197413     20.52   no data  --
5.16/1.39	c  S st    77     30502        70      6230         0     10276     43610    208853     20.52   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.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.55/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.55/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/2.36	c lits-rem:      1550  cl-subs:      852  v-elim:      0  v-fix:    0  time:  3.83 s
10.35/2.68	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.26
10.35/2.68	c calculated reachability. Time: 0.00
10.35/2.68	c  N dy    77     30502        70      6230         0      9424     43610    185595     20.52   no data  --
11.55/2.90	c  N dy    95     34871        70      6230         0     13428     43610    283255     20.62     21.73  --
12.35/3.12	c  N dy   115     39016        70      6230         0     10040     43610    188874     20.74     21.89  --
13.18/3.32	c  N dy   127     43076        70      6230         0     13720     43610    277649     20.75     21.99  --
13.53/3.48	c  S st   134     45753        70      6230         0     16148     43610    336777     20.77     20.49  --
13.93/3.52	c  S st   134     46259        70      6230         0      8507     43610    139098     20.77   no data  --
13.93/3.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.93/3.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.93/3.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.93/3.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.93/3.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.93/3.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.93/3.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.17/4.31	c lits-rem:       120  cl-subs:       40  v-elim:      0  v-fix:    0  time:  3.09 s
17.17/4.31	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.17/4.31	c vivif2 --  cl tried     8467 cl shrink        0 lits rem          0 time: 0.01
17.92/4.57	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.03
17.92/4.57	c calculated reachability. Time: 0.00
17.92/4.57	c  N dy   134     46259        70      6230         0      8467     43610    137830     20.77   no data  --
21.56/5.45	c  N dy   136     63230        70      6230         0     14717     43610    275689     20.21     21.33  --
22.72/5.76	c  N dy   157     67618        70      6230         0     18705     43610    371774     20.27     21.44  --
23.51/5.90	c  S st   169     69390        70      6230         0     10387     43610    161776     20.31     20.00  --
23.51/5.94	c  S st   169     69892        70      6230         0     10862     43610    173514     20.31   no data  --
23.51/5.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.51/5.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.51/5.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.51/5.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.51/5.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.51/5.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.51/5.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.10/6.83	c lits-rem:       273  cl-subs:      151  v-elim:      0  v-fix:    0  time:  3.50 s
27.10/6.83	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.10/6.83	c vivif2 --  cl tried    10711 cl shrink        0 lits rem          0 time: 0.01
28.30/7.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.23
28.30/7.14	c calculated reachability. Time: 0.00
28.30/7.14	c  N dy   169     69892        70      6230         0     10711     43610    169327     20.31   no data  --
29.50/7.43	c  N dy   203     74694        70      6230         0     15095     43610    276041     20.41     21.55  --
30.74/7.77	c  N dy   219     79869        70      6230         0     19774     43610    389287     20.43     21.60  --
32.29/8.15	c  N dy   232     85782        70      6230         0     14254     43610    243202     20.41     21.73  --
32.69/8.28	c  F st   249     87500        70      6230         0     15828     43610    282103     20.45     21.20  --
34.28/8.65	c  N dy   255     92692        70      6230         0     20517     43610    395231     20.45   no data  --
36.27/9.13	c  N dy   284     98754        70      6230         0     14223     43610    228220     20.50     21.64  --
37.88/9.51	c  S st   295    104839        70      6230         0     19727     43610    359495     20.46     19.83  --
37.88/9.57	c  S st   295    105346        70      6230         0     20201     43610    371051     20.46   no data  --
37.88/9.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.88/9.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.88/9.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
37.88/9.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.88/9.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.88/9.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
37.88/9.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.25/11.16	c lits-rem:      2131  cl-subs:     1939  v-elim:      0  v-fix:    0  time:  6.27 s
44.25/11.16	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.25/11.17	c vivif2 --  cl tried    18262 cl shrink        0 lits rem          0 time: 0.02
45.85/11.54	c asymm  cl-useful: 0/4636/6230 lits-rem:0 time: 1.50
45.85/11.55	c calculated reachability. Time: 0.00
45.85/11.55	c  N dy   295    105346        70      6230         0     18262     43610    322995     20.46   no data  --
47.89/12.04	c  N dy   316    112171        70      6230         0     24422     43610    471504     20.48     21.61  --
50.24/12.67	c  N dy   317    121850        70      6230         0     20501     43610    363392     20.35     21.43  --
53.03/13.37	c  N dy   362    129645        70      6230         0     14102     43610    203404     20.43     21.61  --
55.82/14.03	c  N dy   395    139275        70      6230         0     22832     43610    414602     20.46     21.64  --
61.44/15.41	c  N dy   400    158019        70      6230         0     25183     43610    440578     20.14     15.56  --
61.44/15.41	c  S st   400    158019        70      6230         0     25183     43610    440578     20.14     15.56  --
61.44/15.48	c  S st   400    158523        70      6230         0     25653     43610    452216     20.14   no data  --
61.44/15.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
61.44/15.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.44/15.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
61.80/15.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.80/15.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.80/15.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
61.80/15.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
70.98/17.80	c lits-rem:      1616  cl-subs:     3187  v-elim:      0  v-fix:    0  time:  9.15 s
70.98/17.80	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
70.98/17.80	c vivif2 --  cl tried    22466 cl shrink        0 lits rem          0 time: 0.02
71.38/17.99	c asymm  cl-useful: 0/1594/6230 lits-rem:0 time: 0.76
71.38/17.99	c calculated reachability. Time: 0.00
71.38/17.99	c  N dy   400    158523        70      6230         0     22466     43610    385793     20.14   no data  --
75.76/19.05	c  N dy   435    168933        70      6230         0     16788     43610    242788     20.15     21.21  --
79.76/20.06	c  N dy   513    179798        70      6230         0     26676     43610    485004     20.25     21.45  --
84.94/21.30	c  N dy   550    193390        70      6230         0     22703     43610    367288     20.26     21.40  --
90.93/22.85	c  N dy   609    207147        70      6230         0     18048     43610    247964     20.30     21.47  --
96.55/24.21	c  N dy   646    222540        70      6230         0     31940     43610    575684     20.24     21.31  --
102.09/25.64	c  N dy   693    237405        70      6230         0     27325     43610    454528     20.25     21.41  --
102.09/25.68	c  S st   697    237784        70      6230         0     27676     43610    463356     20.26   no data  --
102.49/25.76	c  S st   697    238289        70      6230         0     28145     43610    474951     20.26   no data  --
102.49/25.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
102.49/25.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
102.49/25.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
102.49/25.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
102.49/25.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
102.49/25.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
102.49/25.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.27/27.94	c lits-rem:      1656  cl-subs:     2229  v-elim:      0  v-fix:    0  time:  8.59 s
111.27/27.94	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
111.27/27.94	c vivif2 --  cl tried    25916 cl shrink        0 lits rem          0 time: 0.02
112.87/28.35	c asymm  cl-useful: 0/3634/6230 lits-rem:0 time: 1.61
112.87/28.35	c calculated reachability. Time: 0.00
112.87/28.35	c  N dy   697    238289        70      6230         0     25916     43610    419839     20.26   no data  --
122.88/30.90	c  N dy   741    265726        70      6230         0     31633     43610    532924     20.14     21.45  --
131.26/32.95	c  N dy   883    282866        70      6230         0     27503     43610    439191     20.26     21.35  --
141.19/35.43	c  N dy   948    305892        70      6230         0     27526     43610    418669     20.25     21.33  --
141.19/35.47	c  F st   951    306251        70      6230         0     27858     43610    426818     20.25     20.15  --
150.76/37.87	c  N dy  1048    325475        70      6230         0     23555     43610    315207     20.31     21.43  --
160.34/40.28	c  N dy  1124    347513        70      6230         0     43473     43610    792296     20.33     21.77  --
165.13/41.41	c  S st  1171    357435        70      6230         0     29880     43610    459066     20.35     19.41  --
165.13/41.49	c  S st  1171    357942        70      6230         0     30339     43610    470299     20.35   no data  --
165.13/41.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
165.13/41.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
165.53/41.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
165.53/41.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
165.53/41.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
165.53/41.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
165.53/41.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
173.91/43.68	c lits-rem:      1409  cl-subs:     1527  v-elim:      0  v-fix:    0  time:  8.63 s
173.91/43.68	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
173.91/43.69	c vivif2 --  cl tried    28812 cl shrink        0 lits rem          0 time: 0.02
175.54/44.04	c asymm  cl-useful: 0/2596/6230 lits-rem:0 time: 1.41
175.54/44.04	c calculated reachability. Time: 0.00
175.54/44.04	c  N dy  1171    357942        70      6230         0     28812     43610    430517     20.35   no data  --
189.06/47.40	c  N dy  1258    379387        70      6230         0     24791     43610    318405     20.38     21.60  --
199.04/49.91	c  N dy  1336    399413        70      6230         0     42911     43610    756002     20.39     23.11  --
208.21/52.23	c  N dy  1389    419486        70      6230         0     36563     43610    580883     20.36     22.49  --
219.77/55.11	c  N dy  1471    440431        70      6230         0     30198     43610    417010     20.38     21.55  --
231.35/58.02	c  N dy  1556    463049        70      6230         0     50655     43610    911307     20.38     21.51  --
241.36/60.58	c  N dy  1649    483350        70      6230         0     42918     43610    717467     20.41     21.56  --
254.12/63.80	c  N dy  1792    503373        70      6230         0     33936     43610    487532     20.47     22.41  --
265.25/66.54	c  N dy  1850    523387        70      6230         0     52017     43610    920749     20.47     24.17  --
272.43/68.32	c  S st  1879    536913        70      6230         0     36168     43610    526118     20.46     20.45  --
272.83/68.40	c  S st  1879    537422        70      6230         0     36641     43610    538219     20.46   no data  --
272.83/68.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
272.83/68.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
272.83/68.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
272.83/68.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
272.83/68.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
272.83/68.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
272.83/68.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
282.01/70.70	c lits-rem:      1148  cl-subs:     2007  v-elim:      0  v-fix:    0  time:  9.06 s
282.01/70.70	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
282.01/70.71	c vivif2 --  cl tried    34634 cl shrink        0 lits rem          0 time: 0.02
282.81/70.91	c asymm  cl-useful: 0/1506/6230 lits-rem:0 time: 0.78
282.81/70.91	c calculated reachability. Time: 0.00
282.81/70.91	c  N dy  1879    537422        70      6230         0     34634     43610    489189     20.46   no data  --
295.57/74.18	c  N dy  1947    560653        70      6230         0     55605     43610    994504     20.46     21.78  --
307.53/77.14	c  N dy  2056    580751        70      6230         0     44977     43610    732202     20.50     22.50  --
323.09/81.06	c  N dy  2113    608210        70      6230         0     39854     43610    584366     20.47     21.56  --
337.90/84.78	c  N dy  2182    632614        70      6230         0     31237     43610    369771     20.46     21.61  --
351.07/88.08	c  N dy  2290    654532        70      6230         0     51017     43610    851980     20.49     21.59  --
365.38/91.66	c  N dy  2320    677503        70      6230         0     40184     43610    566804     20.46     21.78  --
378.54/94.99	c  N dy  2407    697560        70      6230         0     58280     43610   1003792     20.47     23.98  --
394.54/98.99	c  N dy  2497    720201        70      6230         0     46250     43610    703636     20.49     21.57  --
411.26/103.19	c  N dy  2575    740239        70      6230         0     64341     43610   1138074     20.49     22.03  --
423.22/106.13	c  N dy  2656    760287        70      6230         0     49129     43610    763338     20.50     22.27  --
439.17/110.19	c  N dy  2755    780381        70      6230         0     67288     43610   1205640     20.52     22.19  --
451.16/113.17	c  N dy  2800    800879        70      6230         0     51406     43610    798266     20.51     21.77  --
455.14/114.20	c  S st  2828    806135        70      6230         0     56166     43610    914967     20.52     19.62  --
455.98/114.35	c  S st  2828    806639        70      6230         0     56634     43610    926363     20.52   no data  --
455.98/114.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
455.98/114.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.98/114.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
455.98/114.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
455.98/114.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
455.98/114.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
455.98/114.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
493.03/123.66	c lits-rem:      2413  cl-subs:     5334  v-elim:      0  v-fix:    0  time: 36.90 s
493.03/123.66	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
493.03/123.67	c vivif2 --  cl tried    51300 cl shrink        0 lits rem          0 time: 0.04
494.23/123.98	c asymm  cl-useful: 0/899/6230 lits-rem:0 time: 1.26
494.23/123.98	c calculated reachability. Time: 0.00
494.23/123.98	c  N dy  2828    806639        70      6230         0     51300     43610    796465     20.52   no data  --
513.77/128.83	c  N dy  2925    829580        70      6230         0     37036     43610    441872     20.53     21.71  --
525.75/131.88	c  N dy  3003    849647        70      6230         0     55112     43610    877980     20.54     22.20  --
544.14/136.47	c  N dy  3110    869958        70      6230         0     37501     43610    440052     20.56     21.67  --
567.64/142.39	c  N dy  3175    907782        70      6230         0     71410     43610   1245228     20.52     21.60  --
581.99/145.99	c  N dy  3264    928811        70      6230         0     53602     43610    815549     20.52     21.63  --
600.78/150.67	c  N dy  3354    950710        70      6230         0     73423     43610   1297702     20.54     21.62  --
615.50/154.31	c  N dy  3428    970890        70      6230         0     53787     43610    805527     20.54     21.65  --
632.65/158.66	c  N dy  3496    992727        70      6230         0     73418     43610   1277242     20.54     21.66  --
647.41/162.32	c  N dy  3558   1012884        70      6230         0     52822     43610    771169     20.54     21.62  --
664.96/166.79	c  N dy  3673   1032959        70      6230         0     70967     43610   1215157     20.56     22.94  --
678.93/170.26	c  N dy  3718   1053049        70      6230         0     49355     43610    675493     20.55     21.64  --
692.93/173.79	c  F st  3790   1071875        70      6230         0     66382     43610   1088822     20.55     21.05  --
694.09/174.07	c  N st  3793   1073065        70      6230         0     67458     43610   1115306     20.55   no data  --
714.87/179.24	c  N dy  3878   1097772        70      6230         0     49145     43610    656052     20.56     21.67  --
731.59/183.45	c  N dy  3989   1117804        70      6230         0     67219     43610   1101033     20.58     21.69  --
749.55/188.00	c  N dy  4036   1137846        70      6230         0     43837     43610    517034     20.58     21.69  --
762.71/191.24	c  N dy  4057   1157918        70      6230         0     61934     43610    948584     20.57     21.86  --
784.25/196.69	c  N dy  4092   1179615        70      6230         0     81289     43610   1408704     20.55     21.66  --
804.19/201.69	c  N dy  4168   1199632        70      6230         0     56999     43610    817583     20.55     22.46  --
813.36/203.92	c  S st  4197   1209961        70      6230         0     66265     43610   1040134     20.55     18.91  --
814.16/204.14	c  S st  4197   1210464        70      6230         0     66726     43610   1051804     20.55   no data  --
814.16/204.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
814.16/204.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
814.16/204.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
814.56/204.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
814.56/204.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
814.56/204.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
814.56/204.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
890.39/223.29	c lits-rem:      3517  cl-subs:     6131  v-elim:      0  v-fix:    0  time: 76.04 s
890.39/223.29	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
890.39/223.30	c vivif2 --  cl tried    60595 cl shrink        0 lits rem          0 time: 0.05
891.94/223.66	c asymm  cl-useful: 0/762/6230 lits-rem:0 time: 1.44
891.94/223.66	c calculated reachability. Time: 0.00
891.94/223.66	c  N dy  4197   1210464        70      6230         0     60595     43610    904080     20.55   no data  --
917.87/230.19	c  N dy  4294   1233748        70      6230         0     81637     43610   1414939     20.56     21.86  --
939.05/235.48	c  N dy  4371   1260168        70      6230         0     62464     43610    936145     20.56     21.77  --
978.15/245.28	c  N dy  4434   1307256        70      6230         0     60776     43610    873493     20.52     21.68  --
1006.82/252.43	c  N dy  4473   1334636        70      6230         0     85303     43610   1458443     20.51     21.60  --
1033.96/259.27	c  N dy  4591   1361600        70      6230         0     64756     43610    974189     20.52     21.69  --
1055.09/264.52	c  N dy  4612   1384967        70      6230         0     85515     43610   1457612     20.49     21.62  --
1072.65/268.91	c  N dy  4650   1405054        70      6230         0     57890     43610    790839     20.49     22.35  --
1092.23/273.87	c  N dy  4770   1425079        70      6230         0     75977     43610   1236345     20.50     22.77  --
1118.97/280.55	c  N dy  4864   1447066        70      6230         0     49109     43610    564159     20.51     21.71  --
1137.27/285.16	c  N dy  4955   1469410        70      6230         0     69263     43610   1052371     20.52     21.62  --
1162.01/291.40	c  N dy  5058   1491721        70      6230         0     89366     43610   1540457     20.52     21.61  --
1182.35/296.44	c  N dy  5147   1511750        70      6230         0     59708     43610    810527     20.53     22.26  --
1201.51/301.21	c  N dy  5227   1531845        70      6230         0     77871     43610   1251401     20.54     21.72  --
1223.87/306.81	c  N dy  5289   1551858        70      6230         0     95894     43610   1688176     20.54     22.66  --
1245.38/312.28	c  N dy  5391   1576595        70      6230         0     69487     43610   1030879     20.54     21.65  --
1275.70/319.80	c  N dy  5474   1605348        70      6230         0     95363     43610   1655010     20.54     21.63  --
1296.04/324.99	c  N dy  5611   1625357        70      6230         0     63976     43610    895437     20.56     21.90  --
1319.18/330.71	c  N dy  5682   1650137        70      6230         0     86300     43610   1432314     20.55     21.67  --
1341.52/336.38	c  N dy  5738   1670154        70      6230         0     53832     43610    627772     20.55     21.99  --
1359.91/340.99	c  N dy  5853   1690168        70      6230         0     71899     43610   1073056     20.56     22.12  --
1385.80/347.47	c  N dy  5965   1710464        70      6230         0     90240     43610   1521130     20.57     17.96  --
1385.80/347.47	c  S st  5965   1710464        70      6230         0     90240     43610   1521130     20.57     17.96  --
1387.39/347.81	c  S st  5965   1710969        70      6230         0     90710     43610   1533061     20.57   no data  --
1387.39/347.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1387.39/347.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1387.39/347.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
1387.79/347.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1387.79/347.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1387.79/347.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1387.79/347.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1918.64/481.07	c lits-rem:      5830  cl-subs:     8468  v-elim:      0  v-fix:    0  time: 530.93 s
1918.64/481.07	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1918.64/481.09	c vivif2 --  cl tried    82242 cl shrink        0 lits rem          0 time: 0.08
1920.64/481.54	c asymm  cl-useful: 0/539/6230 lits-rem:0 time: 1.82
1920.64/481.55	c calculated reachability. Time: 0.00
1920.64/481.55	c  N dy  5965   1710969        70      6230         0     82242     43610   1314401     20.57   no data  --
1958.13/490.96	c  N dy  6090   1731036        70      6230         0    100387     43610   1762307     20.59     22.08  --
1984.47/497.56	c  N dy  6171   1752246        70      6230         0     68499     43610    977232     20.59     21.76  --
2012.80/504.68	c  N dy  6258   1772452        70      6230         0     86774     43610   1423149     20.59     21.71  --
2042.71/512.18	c  N dy  6364   1792505        70      6230         0     52743     43610    578518     20.60     21.89  --
2061.46/516.84	c  N dy  6472   1813565        70      6230         0     71719     43610   1043528     20.61     21.73  --
2085.39/522.84	c  N dy  6504   1837757        70      6230         0     93442     43610   1564037     20.61     21.86  --
2111.72/529.41	c  N dy  6619   1857771        70      6230         0     58463     43610    709041     20.62     23.31  --
2132.85/534.79	c  N dy  6664   1883357        70      6230         0     81355     43610   1258566     20.61     21.76  --
2155.20/540.32	c  N dy  6699   1903449        70      6230         0     99246     43610   1677990     20.59     21.82  --
2179.94/546.52	c  N dy  6808   1923644        70      6230         0     63642     43610    818869     20.60     21.74  --
2199.87/551.55	c  N dy  6860   1945261        70      6230         0     82993     43610   1283238     20.60     21.88  --
2227.41/558.45	c  N dy  6920   1965297        70      6230         0    100928     43610   1712066     20.60     22.31  --
2256.13/565.62	c  N dy  7048   1988599        70      6230         0     67112     43610    892255     20.60     21.90  --
2279.27/571.40	c  N dy  7123   2011915        70      6230         0     87953     43610   1393665     20.60     21.69  --
2340.69/586.85	c  N dy  7149   2083002        70      6230         0     95681     43610   1544259     20.54     21.87  --
2372.21/594.75	c  N dy  7264   2103079        70      6230         0     57417     43610    633180     20.55     24.36  --
2392.15/599.78	c  N dy  7370   2124780        70      6230         0     76915     43610   1112437     20.56     21.76  --
2420.48/606.87	c  N dy  7409   2151447        70      6230         0    100668     43610   1670200     20.54     21.71  --
2451.59/614.64	c  N dy  7518   2173311        70      6230         0     63088     43610    754664     20.55     21.64  --
2470.38/619.32	c  N dy  7587   2193409        70      6230         0     81186     43610   1192060     20.55     21.65  --
2496.31/625.90	c  S st  7695   2210970        70      6230         0     96974     43610   1577648     20.56     19.21  --
2497.87/626.24	c  S st  7695   2211473        70      6230         0     97435     43610   1589237     20.56   no data  --
2497.87/626.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2497.87/626.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2498.27/626.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
2498.27/626.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2498.27/626.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2498.27/626.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2498.27/626.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2651.43/664.72	c lits-rem:      6332  cl-subs:     9605  v-elim:      0  v-fix:    0  time: 153.01 s
2651.43/664.72	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2651.43/664.74	c vivif2 --  cl tried    87830 cl shrink        0 lits rem          0 time: 0.09
2653.83/665.32	c asymm  cl-useful: 0/519/6230 lits-rem:0 time: 2.32
2653.83/665.33	c calculated reachability. Time: 0.00
2653.83/665.33	c  N dy  7695   2211473        70      6230         0     87830     43610   1351957     20.56   no data  --
2696.11/675.99	c  N dy  7808   2231503        70      6230         0    105935     43610   1796594     20.57     21.88  --
2734.00/685.46	c  N dy  7902   2251906        70      6230         0     66363     43610    824258     20.57     21.66  --
2762.73/692.64	c  N dy  8003   2272131        70      6230         0     84622     43610   1273010     20.58     21.73  --
2804.21/703.08	c  N dy  8093   2296163        70      6230         0    106193     43610   1794981     20.58     21.68  --
2840.12/712.09	c  N dy  8140   2317918        70      6230         0     66675     43610    807233     20.57     21.71  --
2868.05/719.08	c  N dy  8213   2338013        70      6230         0     84790     43610   1247281     20.58     21.68  --
2901.56/727.44	c  N dy  8252   2359697        70      6230         0    104305     43610   1709964     20.57     21.92  --
2941.84/737.58	c  N dy  8334   2379747        70      6230         0     62238     43610    696008     20.57     21.73  --
2969.78/744.50	c  N dy  8430   2399778        70      6230         0     80290     43610   1135071     20.58     21.91  --
3005.31/753.42	c  N dy  8535   2420332        70      6230         0     98736     43610   1583655     20.58     21.70  --
3048.36/764.29	c  N dy  8658   2440343        70      6230         0    116830     43610   2030840     20.59     21.75  --
3084.70/773.32	c  N dy  8730   2465663        70      6230         0     78483     43610   1076656     20.59     21.70  --
3162.05/792.70	c  N dy  8812   2537083        70      6230         0     80183     43610   1086052     20.55     21.76  --
3190.37/799.86	c  N dy  8938   2557716        70      6230         0     98785     43610   1543510     20.56     21.67  --
3232.65/810.41	c  N dy  9033   2584535        70      6230         0    122817     43610   2123993     20.56     21.68  --
3262.97/818.06	c  N dy  9123   2611013        70      6230         0     83934     43610   1178353     20.56     21.67  --
3292.09/825.37	c  N dy  9247   2631091        70      6230         0    102063     43610   1627374     20.57     22.09  --
3326.79/834.06	c  N dy  9353   2651141        70      6230         0    120164     43610   2071479     20.57     22.70  --
3357.51/841.72	c  N dy  9468   2671200        70      6230         0     74425     43610    944489     20.58     22.88  --
3389.42/849.71	c  N dy  9554   2695862        70      6230         0     96512     43610   1478758     20.58     21.87  --
3415.75/856.34	c  S st  9656   2711474        70      6230         0    110670     43610   1828609     20.59   no data  --
3416.95/856.68	c  S st  9656   2711978        70      6230         0    111140     43610   1840591     20.59   no data  --
3416.95/856.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3416.95/856.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3417.35/856.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3417.35/856.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3417.35/856.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3417.35/856.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3417.35/856.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3963.43/993.65	c lits-rem:      7278  cl-subs:    10448  v-elim:      0  v-fix:    0  time: 545.68 s
3963.43/993.65	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3963.43/993.67	c vivif2 --  cl tried   100692 cl shrink        0 lits rem          0 time: 0.10
3965.43/994.16	c asymm  cl-useful: 0/439/6230 lits-rem:0 time: 1.98
3965.43/994.17	c calculated reachability. Time: 0.00
3965.43/994.17	c  N dy  9656   2711978        70      6230         0    100692     43610   1575200     20.59   no data  --
4010.55/1005.44	c  N dy  9758   2732462        70      6230         0    119186     43610   2028739     20.59     21.69  --
4052.40/1015.91	c  N dy  9884   2752552        70      6230         0     73026     43610    901794     20.60     23.54  --
4091.09/1025.64	c  N dy  9928   2781090        70      6230         0     98663     43610   1517413     20.60     21.69  --
4133.41/1036.23	c  N dy 10037   2801136        70      6230         0    116742     43610   1961578     20.60     23.62  --
4180.45/1048.05	c  N dy 10168   2821160        70      6230         0     69291     43610    793377     20.61     22.77  --
4207.61/1054.86	c  N dy 10218   2841252        70      6230         0     87401     43610   1231996     20.61     24.24  --
4241.08/1063.23	c  N dy 10256   2862580        70      6230         0    106530     43610   1689249     20.60     21.70  --
4286.16/1074.53	c  N dy 10365   2882659        70      6230         0    124590     43610   2132718     20.61     22.47  --
4330.87/1085.78	c  N dy 10477   2905077        70      6230         0     78282     43610    996055     20.61     21.74  --
4369.13/1095.31	c  N dy 10580   2925173        70      6230         0     96429     43610   1443000     20.62     21.74  --
4414.59/1106.76	c  N dy 10684   2945538        70      6230         0    114799     43610   1894960     20.63     21.72  --
4468.44/1120.25	c  N dy 10800   2965631        70      6230         0    132938     43610   2341888     20.63     23.28  --
4505.98/1129.66	c  N dy 10881   2986991        70      6230         0     84624     43610   1136222     20.63     21.91  --
4541.08/1138.51	c  N dy 10942   3008677        70      6230         0    104070     43610   1602951     20.63     21.73  --
4582.92/1148.97	c  N dy 11026   3028729        70      6230         0    122068     43610   2041513     20.63     22.20  --
4617.23/1157.58	c  N dy 11047   3049007        70      6230         0     71885     43610    812480     20.63     21.73  --
4644.76/1164.45	c  N dy 11133   3071660        70      6230         0     92254     43610   1307407     20.63     21.73  --
4674.67/1171.98	c  N dy 11241   3091745        70      6230         0    110267     43610   1751069     20.64     21.75  --
4710.58/1180.95	c  N dy 11327   3111990        70      6230         0    128462     43610   2193928     20.64     21.75  --
4742.93/1189.06	c  N dy 11406   3133075        70      6230         0     78290     43610    960630     20.64     21.73  --
4767.22/1195.17	c  N dy 11453   3154797        70      6230         0     97742     43610   1429973     20.64     21.74  --

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-3368839-1305404249/watcher-3368839-1305404249 -o /tmp/evaluation-result-3368839-1305404249/solver-3368839-1305404249 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368839-1305404249.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.44 7.97 8.04 8/339 31748
/proc/meminfo: memFree=17847912/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 411 0 0 0 2 0 0 0 23 0 4 0 652025809 52465664 352 33554432000 4194304 4650419 140736488011312 18446744073709551615 47082603304876 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 12809 352 303 112 0 7774 0
[pid=31748/tid=31749] ppid=31746 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652025809 52465664 352 33554432000 4194304 4650419 140736488011312 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652025809 52465664 352 33554432000 4194304 4650419 140736488011312 18446744073709551615 47082603304886 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652025809 52465664 352 33554432000 4194304 4650419 140736488011312 18446744073709551615 47082603304882 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0250351 s]
/proc/loadavg: 7.44 7.97 8.04 8/339 31748
/proc/meminfo: memFree=17847912/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=281896 CPUtime=0.07 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 1269 0 0 0 7 0 0 0 24 0 4 0 652025809 288661504 1181 33554432000 4194304 4650419 140736488011312 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 70474 1181 366 112 0 65439 0
[pid=31748/tid=31749] ppid=31746 vsize=281896 CPUtime=0.01 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 210 0 0 0 1 0 0 0 25 0 4 0 652025809 288661504 1181 33554432000 4194304 4650419 140736488011312 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=281896 CPUtime=0.01 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 198 0 0 0 1 0 0 0 25 0 4 0 652025809 288661504 1181 33554432000 4194304 4650419 140736488011312 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=281896 CPUtime=0.02 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 239 0 0 0 2 0 0 0 25 0 4 0 652025809 288661504 1181 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 281896

[startup+0.101021 s]
/proc/loadavg: 7.44 7.97 8.04 8/339 31748
/proc/meminfo: memFree=17847912/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=282028 CPUtime=0.37 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 1425 0 0 0 37 0 0 0 24 0 4 0 652025809 288796672 1337 33554432000 4194304 4650419 140736488011312 18446744073709551615 4369378 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 70507 1337 366 112 0 65472 0
[pid=31748/tid=31749] ppid=31746 vsize=282028 CPUtime=0.08 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 224 0 0 0 8 0 0 0 25 0 4 0 652025809 288796672 1337 33554432000 4194304 4650419 140736488011312 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=282028 CPUtime=0.09 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 210 0 0 0 9 0 0 0 25 0 4 0 652025809 288796672 1337 33554432000 4194304 4650419 140736488011312 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=282028 CPUtime=0.09 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 363 0 0 0 9 0 0 0 25 0 4 0 652025809 288796672 1337 33554432000 4194304 4650419 140736488011312 18446744073709551615 270612807435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282028

[startup+0.300987 s]
/proc/loadavg: 7.44 7.97 8.04 8/339 31748
/proc/meminfo: memFree=17847912/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=285384 CPUtime=1.17 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 3667 0 0 0 116 1 0 0 25 0 4 0 652025809 292233216 3149 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 71346 3149 390 112 0 66311 0
[pid=31748/tid=31749] ppid=31746 vsize=285384 CPUtime=0.28 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 886 0 0 0 28 0 0 0 25 0 4 0 652025809 292233216 3149 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=285384 CPUtime=0.29 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 880 0 0 0 29 0 0 0 18 0 4 0 652025809 292233216 3150 33554432000 4194304 4650419 140736488011312 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=285384 CPUtime=0.29 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 724 0 0 0 29 0 0 0 25 0 4 0 652025809 292233216 3150 33554432000 4194304 4650419 140736488011312 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285384

[startup+0.700917 s]
/proc/loadavg: 7.44 7.97 8.04 8/339 31748
/proc/meminfo: memFree=17847912/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=287224 CPUtime=2.77 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 6061 0 0 0 276 1 0 0 25 0 4 0 652025809 294117376 3639 33554432000 4194304 4650419 140736488011312 18446744073709551615 4310650 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 71806 3639 390 112 0 66771 0
[pid=31748/tid=31749] ppid=31746 vsize=287224 CPUtime=0.68 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 1472 0 0 0 68 0 0 0 25 0 4 0 652025809 294117376 3639 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=287224 CPUtime=0.69 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 1429 0 0 0 69 0 0 0 18 0 4 0 652025809 294117376 3639 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=287224 CPUtime=0.69 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 1357 0 0 0 69 0 0 0 25 0 4 0 652025809 294117376 3639 33554432000 4194304 4650419 140736488011312 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287224

[startup+1.50078 s]
/proc/loadavg: 7.44 7.97 8.04 10/343 31752
/proc/meminfo: memFree=17820972/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=288528 CPUtime=5.96 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 11018 0 0 0 594 2 0 0 25 0 4 0 652025809 295452672 5806 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 72132 5806 392 112 0 67097 0
[pid=31748/tid=31749] ppid=31746 vsize=288528 CPUtime=1.47 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 2381 0 0 0 147 0 0 0 25 0 4 0 652025809 295452672 5806 33554432000 4194304 4650419 140736488011312 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=288528 CPUtime=1.48 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 2300 0 0 0 148 0 0 0 19 0 4 0 652025809 295452672 5806 33554432000 4194304 4650419 140736488011312 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=288528 CPUtime=1.49 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 2303 0 0 0 149 0 0 0 25 0 4 0 652025809 295452672 5806 33554432000 4194304 4650419 140736488011312 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288528

[startup+3.10049 s]
/proc/loadavg: 7.48 7.97 8.04 9/343 31752
/proc/meminfo: memFree=17790576/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=294048 CPUtime=12.35 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 17987 0 0 0 1232 3 0 0 25 0 4 0 652025809 301105152 10945 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 73512 10945 392 112 0 68477 0
[pid=31748/tid=31749] ppid=31746 vsize=294048 CPUtime=3.05 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 3957 0 0 0 305 0 0 0 25 0 4 0 652025809 301105152 10945 33554432000 4194304 4650419 140736488011312 18446744073709551615 4331701 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=294048 CPUtime=3.09 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 4773 0 0 0 308 1 0 0 24 0 4 0 652025809 301105152 10945 33554432000 4194304 4650419 140736488011312 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=294048 CPUtime=3.09 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 4795 0 0 0 308 1 0 0 25 0 4 0 652025809 301105152 10945 33554432000 4194304 4650419 140736488011312 18446744073709551615 4370618 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 294048

[startup+6.30093 s]
/proc/loadavg: 7.48 7.97 8.04 9/343 31752
/proc/meminfo: memFree=17752948/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=302772 CPUtime=25.11 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 27048 0 0 0 2506 5 0 0 25 0 4 0 652025809 310038528 13013 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 75693 13013 392 112 0 70658 0
[pid=31748/tid=31749] ppid=31746 vsize=302772 CPUtime=6.21 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 6900 0 0 0 621 0 0 0 25 0 4 0 652025809 310038528 13013 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=302772 CPUtime=6.28 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 6897 0 0 0 627 1 0 0 25 0 4 0 652025809 310038528 13013 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=302772 CPUtime=6.29 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 7028 0 0 0 628 1 0 0 25 0 4 0 652025809 310038528 13013 33554432000 4194304 4650419 140736488011312 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 302772

[startup+12.7008 s]
/proc/loadavg: 7.56 7.97 8.04 9/343 31752
/proc/meminfo: memFree=17705008/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=312120 CPUtime=50.64 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 39786 0 0 0 5056 8 0 0 25 0 4 0 652025809 319610880 19170 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 78030 19170 392 112 0 72995 0
[pid=31748/tid=31749] ppid=31746 vsize=312120 CPUtime=12.55 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 9411 0 0 0 1253 2 0 0 25 0 4 0 652025809 319610880 19170 33554432000 4194304 4650419 140736488011312 18446744073709551615 4334234 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=312120 CPUtime=12.69 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 10199 0 0 0 1267 2 0 0 25 0 4 0 652025809 319610880 19170 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=312120 CPUtime=12.69 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 10895 0 0 0 1267 2 0 0 25 0 4 0 652025809 319610880 19170 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 312120

[startup+25.5005 s]
/proc/loadavg: 7.71 7.99 8.05 9/343 31753
/proc/meminfo: memFree=17664576/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=283388 CPUtime=101.69 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 59665 0 0 0 10155 14 0 0 25 0 4 0 652025809 290189312 24467 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 70847 24467 392 112 0 65812 0
[pid=31748/tid=31749] ppid=31746 vsize=283388 CPUtime=25.2 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 13973 0 0 0 2517 3 0 0 25 0 4 0 652025809 290189312 24467 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=283388 CPUtime=25.48 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 16026 0 0 0 2545 3 0 0 25 0 4 0 652025809 290189312 24467 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=283388 CPUtime=25.49 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 15461 0 0 0 2546 3 0 0 25 0 4 0 652025809 290189312 24467 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 283388

[startup+51.101 s]
/proc/loadavg: 7.87 8.00 8.05 9/343 31754
/proc/meminfo: memFree=17629680/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=312400 CPUtime=203.82 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 84342 0 0 0 20359 23 0 0 25 0 4 0 652025809 319897600 29414 33554432000 4194304 4650419 140736488011312 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 78100 29414 392 112 0 73065 0
[pid=31748/tid=31749] ppid=31746 vsize=312400 CPUtime=50.53 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 18531 0 0 0 5047 6 0 0 25 0 4 0 652025809 319897600 29414 33554432000 4194304 4650419 140736488011312 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=312400 CPUtime=51.08 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 21804 0 0 0 5103 5 0 0 25 0 4 0 652025809 319897600 29414 33554432000 4194304 4650419 140736488011312 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=312400 CPUtime=51.09 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 22897 0 0 0 5103 6 0 0 25 0 4 0 652025809 319897600 29414 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 312400

[startup+102.313 s]
/proc/loadavg: 8.06 8.03 8.06 9/343 31755
/proc/meminfo: memFree=17568152/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=334184 CPUtime=408.11 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 130846 0 0 0 40770 41 0 0 25 0 4 0 652025809 342204416 38321 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 83546 38321 392 112 0 78511 0
[pid=31748/tid=31749] ppid=31746 vsize=334184 CPUtime=101.18 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 27542 0 0 0 10109 9 0 0 25 0 4 0 652025809 342204416 38321 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=334184 CPUtime=102.3 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 33011 0 0 0 10221 9 0 0 25 0 4 0 652025809 342204416 38321 33554432000 4194304 4650419 140736488011312 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=334184 CPUtime=102.3 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 36154 0 0 0 10218 12 0 0 25 0 4 0 652025809 342204416 38321 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 334184

[startup+162.3 s]

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

[pid=31748] ppid=31746 vsize=559704 CPUtime=2562.13 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 345773 0 0 0 256078 135 0 0 25 0 4 0 652025809 573136896 78420 33554432000 4194304 4650419 140736488011312 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 139926 78420 392 112 0 134891 0
[pid=31748/tid=31749] ppid=31746 vsize=559704 CPUtime=635.17 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 64142 0 0 0 63491 26 0 0 25 0 4 0 652025809 573136896 78420 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=559704 CPUtime=642.31 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 104380 0 0 0 64190 41 0 0 25 0 4 0 652025809 573136896 78420 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=559704 CPUtime=642.31 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 92088 0 0 0 64196 35 0 0 25 0 4 0 652025809 573136896 78420 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.13
Current children cumulated vsize (KiB) 559704

[startup+702.301 s]
/proc/loadavg: 8.04 8.07 8.07 9/343 31771
/proc/meminfo: memFree=17235724/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=559808 CPUtime=2801.42 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 355001 0 0 0 280002 140 0 0 25 0 4 0 652025809 573243392 79845 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 139952 79845 392 112 0 134917 0
[pid=31748/tid=31749] ppid=31746 vsize=559808 CPUtime=694.51 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 64402 0 0 0 69424 27 0 0 25 0 4 0 652025809 573243392 79845 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=559808 CPUtime=702.3 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 109400 0 0 0 70186 44 0 0 25 0 4 0 652025809 573243392 79845 33554432000 4194304 4650419 140736488011312 18446744073709551615 4334374 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=559808 CPUtime=702.3 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 92787 0 0 0 70195 35 0 0 25 0 4 0 652025809 573243392 79845 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.42
Current children cumulated vsize (KiB) 559808

[startup+762.313 s]
/proc/loadavg: 8.18 8.10 8.08 9/343 31772
/proc/meminfo: memFree=17246364/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=559936 CPUtime=3040.82 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 365508 0 0 0 303936 146 0 0 25 0 4 0 652025809 573374464 80208 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 139984 80208 392 112 0 134949 0
[pid=31748/tid=31749] ppid=31746 vsize=559936 CPUtime=753.87 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 64402 0 0 0 75360 27 0 0 25 0 4 0 652025809 573374464 80208 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=559936 CPUtime=762.31 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 114581 0 0 0 76184 47 0 0 25 0 4 0 652025809 573374464 80208 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=559936 CPUtime=762.32 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 92787 0 0 0 76197 35 0 0 25 0 4 0 652025809 573374464 80208 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.82
Current children cumulated vsize (KiB) 559936

[startup+822.301 s]
/proc/loadavg: 8.20 8.11 8.09 9/343 31774
/proc/meminfo: memFree=17180248/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=640016 CPUtime=3280.13 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 385939 0 0 0 327855 158 0 0 25 0 4 0 652025809 655376384 90242 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 160004 90242 392 112 0 154969 0
[pid=31748/tid=31749] ppid=31746 vsize=640016 CPUtime=813.2 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 67023 0 0 0 81292 28 0 0 25 0 4 0 652025809 655376384 90242 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=640016 CPUtime=822.29 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 120188 0 0 0 82179 50 0 0 25 0 4 0 652025809 655376384 90242 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=640016 CPUtime=822.31 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 97863 0 0 0 82193 38 0 0 25 0 4 0 652025809 655376384 90242 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.13
Current children cumulated vsize (KiB) 640016

[startup+882.301 s]
/proc/loadavg: 8.18 8.12 8.09 9/343 31776
/proc/meminfo: memFree=17204052/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=608384 CPUtime=3519.47 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 402041 0 0 0 351778 169 0 0 25 0 4 0 652025809 622985216 89542 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 152096 89542 392 112 0 147061 0
[pid=31748/tid=31749] ppid=31746 vsize=608384 CPUtime=872.55 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 71342 0 0 0 87222 33 0 0 25 0 4 0 652025809 622985216 89542 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=608384 CPUtime=882.3 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 124995 0 0 0 88177 53 0 0 25 0 4 0 652025809 622985216 89542 33554432000 4194304 4650419 140736488011312 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=608384 CPUtime=882.31 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 102355 0 0 0 88190 41 0 0 25 0 4 0 652025809 622985216 89542 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.47
Current children cumulated vsize (KiB) 608384

[startup+942.3 s]
/proc/loadavg: 8.13 8.11 8.09 9/343 31777
/proc/meminfo: memFree=17125292/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=632540 CPUtime=3758.81 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 418231 0 0 0 375701 180 0 0 25 0 4 0 652025809 647720960 98736 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 158135 98736 392 112 0 153100 0
[pid=31748/tid=31749] ppid=31746 vsize=632540 CPUtime=931.9 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 76672 0 0 0 93154 36 0 0 25 0 4 0 652025809 647720960 98736 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=632540 CPUtime=942.3 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 130372 0 0 0 94172 58 0 0 25 0 4 0 652025809 647720960 98736 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=632540 CPUtime=942.31 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 107758 0 0 0 94186 45 0 0 25 0 4 0 652025809 647720960 98736 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.81
Current children cumulated vsize (KiB) 632540

[startup+1002.3 s]
/proc/loadavg: 8.20 8.13 8.10 9/343 31779
/proc/meminfo: memFree=17152548/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=632656 CPUtime=3998.14 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 424378 0 0 0 399629 185 0 0 25 0 4 0 652025809 647839744 99124 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 158164 99124 392 112 0 153129 0
[pid=31748/tid=31749] ppid=31746 vsize=632656 CPUtime=991.21 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 76806 0 0 0 99085 36 0 0 25 0 4 0 652025809 647839744 99124 33554432000 4194304 4650419 140736488011312 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=632656 CPUtime=1002.3 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 135400 0 0 0 100168 62 0 0 25 0 4 0 652025809 647839744 99124 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=632656 CPUtime=1002.31 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 108723 0 0 0 100186 45 0 0 25 0 4 0 652025809 647839744 99124 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.14
Current children cumulated vsize (KiB) 632656

[startup+1062.3 s]
/proc/loadavg: 8.18 8.14 8.10 9/343 31780
/proc/meminfo: memFree=17105404/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=632856 CPUtime=4237.49 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 431610 0 0 0 423560 189 0 0 25 0 4 0 652025809 648044544 103437 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 158214 103437 392 112 0 153179 0
[pid=31748/tid=31749] ppid=31746 vsize=632856 CPUtime=1050.57 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 77074 0 0 0 105021 36 0 0 25 0 4 0 652025809 648044544 103437 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=632856 CPUtime=1062.31 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 139319 0 0 0 106166 65 0 0 25 0 4 0 652025809 648044544 103437 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=632856 CPUtime=1062.31 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 108756 0 0 0 106186 45 0 0 25 0 4 0 652025809 648044544 103437 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.49
Current children cumulated vsize (KiB) 632856

[startup+1122.3 s]
/proc/loadavg: 8.10 8.12 8.09 9/343 31782
/proc/meminfo: memFree=17086532/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=632904 CPUtime=4476.82 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 438315 0 0 0 447488 194 0 0 25 0 4 0 652025809 648093696 107081 33554432000 4194304 4650419 140736488011312 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 158226 107081 392 112 0 153191 0
[pid=31748/tid=31749] ppid=31746 vsize=632904 CPUtime=1109.89 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 77074 0 0 0 110953 36 0 0 25 0 4 0 652025809 648093696 107081 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=632904 CPUtime=1122.3 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 142252 0 0 0 112164 66 0 0 25 0 4 0 652025809 648093696 107081 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=632904 CPUtime=1122.31 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 108756 0 0 0 112186 45 0 0 25 0 4 0 652025809 648093696 107081 33554432000 4194304 4650419 140736488011312 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.82
Current children cumulated vsize (KiB) 632904

[startup+1182.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/343 31784
/proc/meminfo: memFree=17152480/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=567420 CPUtime=4716.16 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 443643 0 0 0 471419 197 0 0 25 0 4 0 652025809 581038080 92143 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 141855 92143 392 112 0 136820 0
[pid=31748/tid=31749] ppid=31746 vsize=567420 CPUtime=1169.23 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 77488 0 0 0 116887 36 0 0 25 0 4 0 652025809 581038080 92143 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=567420 CPUtime=1182.3 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 146221 0 0 0 118162 68 0 0 25 0 4 0 652025809 581038080 92143 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=567420 CPUtime=1182.32 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 109377 0 0 0 118186 46 0 0 25 0 4 0 652025809 581038080 92143 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.16
Current children cumulated vsize (KiB) 567420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.13 8.12 8.09 6/342 31785
/proc/meminfo: memFree=17303980/32951124 swapFree=67056804/67111528
[pid=31748] ppid=31746 vsize=573988 CPUtime=4800.42 cores=1,3,5,7
/proc/31748/stat : 31748 (strangenight1-m) R 31746 31748 31208 0 -1 4202496 448999 0 0 0 479841 201 0 0 25 0 4 0 652025809 587763712 94481 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31748/statm: 143497 94481 392 112 0 138462 0
[pid=31748/tid=31749] ppid=31746 vsize=573988 CPUtime=1190.11 cores=1,3,5,7
/proc/31748/task/31749/stat : 31749 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 78018 0 0 0 118974 37 0 0 25 0 4 0 652025809 587763712 94481 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31748/tid=31750] ppid=31746 vsize=573988 CPUtime=1203.43 cores=1,3,5,7
/proc/31748/task/31750/stat : 31750 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 148577 0 0 0 120274 69 0 0 25 0 4 0 652025809 587763712 94481 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31748/tid=31751] ppid=31746 vsize=573988 CPUtime=1203.44 cores=1,3,5,7
/proc/31748/task/31751/stat : 31751 (strangenight1-m) R 31746 31748 31208 0 -1 4202560 109381 0 0 0 120298 46 0 0 25 0 4 0 652025809 587763712 94481 33554432000 4194304 4650419 140736488011312 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 573988

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.45
CPU time (s): 4800.46
CPU user time (s): 4798.43
CPU system time (s): 2.02969
CPU usage (%): 398.892
Max. virtual memory (cumulated for all children) (KiB): 640016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.43
system time used= 2.02969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448999
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= 540
involuntary context switches= 33831

runsolver used 3.50447 second user time and 9.8385 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-14 22:17:29
IDJOB=3368839
IDBENCH=82848
IDSOLVER=1846
FILE ID=node108/3368839-1305404249
RUNJOBID= node108-1305404249-31726
PBS_JOBID= 13324481
Free space on /tmp= 73548 MiB

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

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

MD5SUM BENCH= d1b5f6eba94843a6d4f11aae7cd57ab2
RANDOM SEED=447285100

node108.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	: 5226.15
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.82
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.77
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.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.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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17848068 kB
Buffers:        278284 kB
Cached:        4407432 kB
SwapCached:       8700 kB
Active:       11039052 kB
Inactive:      3753664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17848068 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:           12548 kB
Writeback:           0 kB
AnonPages:    10104192 kB
Mapped:          26752 kB
Slab:           208024 kB
PageTables:      38408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52337224 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= 73544 MiB
End job on node108 at 2011-05-14 22:37:34