Trace number 3369393

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.14 1202.85

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n190-s29985700-unsat.cnf
MD5SUMf2cf61fc47972fb7e89be65d1a83332e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables193
Number of clauses396
Sum of the clauses size1188
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3396
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	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-3369393-1305413258.cnf'
0.00/0.01	c -- header says num vars:            193
0.00/0.01	c -- header says num clauses:         396
0.00/0.01	c -- clauses added:            0 learnts,          396 normals,            0 xors
0.00/0.01	c -- vars added        193
3.57/0.90	c Parsing time:  0.00 s
3.57/0.90	c  N st     0         0       193       396         0         0      1188         0   no data   no data  --
3.57/0.90	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.00
3.57/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.57/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
3.57/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:       1 undec:     185 neg:       7
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       193       396         0         0      1188         0   no data   no data  --
3.57/0.90	c  N dy    16      5169       193       396         0      2408      1188     36118     11.26     11.88  --
3.57/0.90	c  N dy    37      9249       193       396         0      6229      1188    111351     12.07     12.75  --
3.57/0.90	c  N dy    56     13250       193       396         0      6016      1188     93330     11.97     13.01  --
3.57/0.90	c  N dy    72     17641       193       396         0     10119      1188    177256     11.77     12.40  --
3.57/0.90	c  N dy    83     21724       193       396         0      8655      1188    134107     11.57     12.95  --
3.57/0.90	c  F st   109     25000       193       396         0     11743      1188    196251     11.76     12.00  --
3.57/0.90	c  N st   112     26192       193       396         0      6524      1188     75144     11.76   no data  --
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  S st   115     30004       193       396         0     10032      1188    160363     11.76   no data  --
3.57/0.90	c  S st   115     30506       193       396         0     10524      1188    173166     11.76   no data  --
3.57/0.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.57/0.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.57/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.57/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
3.57/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/1.00	c lits-rem:       566  cl-subs:      266  v-elim:      0  v-fix:    0  time:  0.84 s
3.57/1.00	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.01
3.57/1.00	c calculated reachability. Time: 0.00
3.57/1.00	c  N st   115     30506       193       396         0     10258      1188    164559     11.76   no data  --
4.76/1.20	c  N st   117     37617       193       396         0      9376      1188    232595     11.76   no data  --
5.55/1.40	c  N st   118     44018       193       396         0     15156      1188    387676     11.76   no data  --
5.96/1.50	c  S st   119     45759       193       396         0      8632      1188    175916     11.76   no data  --
5.96/1.50	c  S st   119     46261       193       396         0      9114      1188    187643     11.76   no data  --
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.96/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
5.96/1.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.96/1.58	c lits-rem:      1020  cl-subs:      421  v-elim:      0  v-fix:    0  time:  0.40 s
5.96/1.58	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
5.96/1.58	c vivif2 --  cl tried     8693 cl shrink        0 lits rem          0 time: 0.01
5.96/1.59	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.01
5.96/1.59	c calculated reachability. Time: 0.00
5.96/1.59	c  N st   119     46261       193       396         0      8693      1188    173612     11.76   no data  --
8.79/2.26	c  N st   120     60662       193       396         0     12529      1188    303905     11.76   no data  --
10.35/2.70	c  N st   121     69391       193       396         0     10432      1188    202916     11.76   no data  --
10.35/2.70	c  S st   121     69391       193       396         0     10432      1188    202916     11.76   no data  --
10.75/2.72	c  S st   121     69895       193       396         0     10916      1188    215553     11.76   no data  --
10.75/2.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.75/2.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.75/2.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.75/2.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.75/2.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
10.75/2.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
12.35/3.17	c lits-rem:      1166  cl-subs:      436  v-elim:      0  v-fix:    0  time:  1.77 s
12.35/3.17	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
12.35/3.17	c vivif2 --  cl tried    10480 cl shrink        0 lits rem          0 time: 0.00
12.35/3.18	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.01
12.35/3.18	c calculated reachability. Time: 0.00
12.35/3.18	c  N st   121     69895       193       396         0     10480      1188    201690     11.76   no data  --
15.94/4.06	c  F st   122     87502       193       396         0     15358      1188    368469     11.76   no data  --
15.94/4.06	c  N st   122     87502       193       396         0     15358      1188    368469     11.76   no data  --
16.74/4.23	c Decided on static restart strategy
17.16/4.35	c  N st   129     95539       193       396         0     22650      1188    561368     11.76   no data  --
18.72/4.70	c  N st   131    104844       193       396         0     19428      1188    431840     11.76   no data  --
18.72/4.70	c  S st   131    104844       193       396         0     19428      1188    431840     11.76   no data  --
18.72/4.74	c  S st   131    105349       193       396         0     19923      1188    443507     11.76   no data  --
18.72/4.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.72/4.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.72/4.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.72/4.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.72/4.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.72/4.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
18.72/4.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.11/6.33	c lits-rem:      2782  cl-subs:      746  v-elim:      0  v-fix:    0  time:  6.30 s
25.11/6.33	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
25.11/6.34	c vivif2 --  cl tried    19177 cl shrink        0 lits rem          0 time: 0.02
25.11/6.34	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.02
25.11/6.34	c calculated reachability. Time: 0.00
25.11/6.34	c  N st   131    105349       193       396         0     19177      1188    412541     11.76   no data  --
27.10/6.80	c  N st   132    114948       193       396         0     15390      1188    295908     11.76   no data  --
29.91/7.53	c  N st   133    129348       193       396         0     14639      1188    255890     11.76   no data  --
34.73/8.81	c  N st   134    150943       193       396         0     19571      1188    409541     11.76   no data  --
36.29/9.17	c  S st   135    158023       193       396         0     26030      1188    627203     11.76   no data  --
36.69/9.21	c  S st   135    158525       193       396         0     26521      1188    639738     11.76   no data  --
36.69/9.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.69/9.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.69/9.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.69/9.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.69/9.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.69/9.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
36.69/9.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.07/11.34	c lits-rem:      3687  cl-subs:     1926  v-elim:      0  v-fix:    0  time:  8.39 s
45.07/11.34	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
45.07/11.35	c vivif2 --  cl tried    24595 cl shrink        0 lits rem          0 time: 0.02
45.07/11.35	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.03
45.07/11.35	c calculated reachability. Time: 0.00
45.07/11.35	c  N st   135    158525       193       396         0     24595      1188    558045     11.76   no data  --
56.25/14.15	c  N st   136    207113       193       396         0     19304      1188    352031     11.76   no data  --
65.03/16.32	c  N st   137    237787       193       396         0     28178      1188    674770     11.76   no data  --
65.03/16.32	c  S st   137    237787       193       396         0     28178      1188    674770     11.76   no data  --
65.03/16.39	c  S st   137    238291       193       396         0     28671      1188    687197     11.76   no data  --
65.03/16.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.03/16.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.03/16.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.05
65.45/16.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.45/16.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.45/16.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
65.45/16.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.40/18.91	c lits-rem:      5742  cl-subs:     1212  v-elim:      0  v-fix:    0  time:  9.92 s
75.40/18.91	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
75.40/18.91	c vivif2 --  cl tried    27459 cl shrink        0 lits rem          0 time: 0.03
75.40/18.92	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.03
75.40/18.92	c calculated reachability. Time: 0.00
75.40/18.92	c  N st   137    238291       193       396         0     27459      1188    632315     11.76   no data  --
92.96/23.34	c  F st   138    306253       193       396         0     29966      1188    673332     11.76   no data  --
92.96/23.34	c  N st   138    306253       193       396         0     29966      1188    673332     11.76   no data  --
94.16/23.63	c Decided on static restart strategy
98.95/24.88	c  N st   148    334557       193       396         0     34422      1188    750573     11.76   no data  --
104.14/26.13	c  N st   150    357436       193       396         0     33090      1188    667669     11.76   no data  --
104.14/26.13	c  S st   150    357436       193       396         0     33090      1188    667669     11.76   no data  --
104.14/26.19	c  S st   150    357939       193       396         0     33590      1188    680479     11.76   no data  --
104.14/26.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
104.14/26.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
104.54/26.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
104.54/26.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
104.54/26.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
104.54/26.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
104.54/26.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.31/27.99	c lits-rem:      2295  cl-subs:      578  v-elim:      0  v-fix:    0  time:  7.08 s
111.31/27.99	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
111.71/28.00	c vivif2 --  cl tried    33012 cl shrink        0 lits rem          0 time: 0.03
111.71/28.01	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.06
111.71/28.01	c calculated reachability. Time: 0.00
111.71/28.01	c  N st   150    357939       193       396         0     33012      1188    659269     11.76   no data  --
120.10/30.15	c  N st   151    390331       193       396         0     38336      1188    835775     11.76   no data  --
132.86/33.31	c  N st   152    438920       193       396         0     32576      1188    607745     11.76   no data  --
154.81/38.83	c  N st   153    511802       193       396         0     44425      1188    956647     11.76   no data  --
161.60/40.55	c  N st   154    536909       193       396         0     38211      1188    750307     11.76   no data  --
161.60/40.55	c  S st   154    536909       193       396         0     38211      1188    750307     11.76   no data  --
162.03/40.61	c  S st   154    537412       193       396         0     38697      1188    763129     11.76   no data  --
162.03/40.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
162.03/40.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.03/40.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
162.03/40.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
162.03/40.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.03/40.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
162.03/40.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
171.98/43.11	c lits-rem:      7793  cl-subs:     1947  v-elim:      0  v-fix:    0  time:  9.82 s
171.98/43.11	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
171.98/43.12	c vivif2 --  cl tried    36750 cl shrink        0 lits rem          0 time: 0.03
171.98/43.13	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.04
171.98/43.13	c calculated reachability. Time: 0.00
171.98/43.13	c  N st   154    537412       193       396         0     36750      1188    682869     11.76   no data  --
222.27/55.77	c  N st   155    701397       193       396         0     31661      1188    472315     11.76   no data  --
259.38/65.04	c  N st   156    806119       193       396         0     57184      1188   1265523     11.76   no data  --
259.38/65.04	c  S st   156    806119       193       396         0     57184      1188   1265523     11.76   no data  --
259.78/65.14	c  S st   156    806623       193       396         0     57680      1188   1278627     11.76   no data  --
259.78/65.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
259.78/65.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
259.78/65.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
260.18/65.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.18/65.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.18/65.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
260.18/65.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
289.75/72.67	c lits-rem:      1700  cl-subs:     4653  v-elim:      0  v-fix:    0  time: 29.81 s
289.75/72.68	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
289.75/72.69	c vivif2 --  cl tried    53027 cl shrink        0 lits rem          0 time: 0.05
290.11/72.71	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.08
290.11/72.71	c calculated reachability. Time: 0.00
290.11/72.71	c  N st   156    806623       193       396         0     53027      1188   1106508     11.76   no data  --
380.31/95.37	c  F st   157   1071877       193       396         0     64938      1188   1456790     11.76   no data  --
380.31/95.37	c  N st   157   1071877       193       396         0     64938      1188   1456790     11.76   no data  --
382.30/95.82	c Decided on static restart strategy
389.08/97.54	c  N st   167   1100183       193       396         0     53022      1188   1010847     11.76   no data  --
403.49/101.15	c  N st   169   1136178       193       396         0     45776      1188    767506     11.76   no data  --
416.23/104.37	c  N st   170   1168570       193       396         0     74169      1188   1759322     11.76   no data  --
435.37/109.15	c  N st   171   1209936       193       396         0     68469      1188   1554652     11.76   no data  --
435.37/109.15	c  S st   171   1209936       193       396         0     68469      1188   1554652     11.76   no data  --
436.17/109.30	c  S st   171   1210441       193       396         0     68966      1188   1567838     11.76   no data  --
436.17/109.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
436.17/109.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
436.17/109.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
436.58/109.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
436.58/109.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
436.58/109.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
436.58/109.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
544.71/136.59	c lits-rem:       637  cl-subs:    12573  v-elim:      0  v-fix:    0  time: 108.43 s
544.71/136.59	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
545.11/136.60	c vivif2 --  cl tried    56393 cl shrink        0 lits rem          0 time: 0.05
545.11/136.63	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.12
545.11/136.63	c calculated reachability. Time: 0.00
545.11/136.63	c  N st   171   1210441       193       396         0     56393      1188   1066503     11.76   no data  --
581.03/145.60	c  N st   172   1283328       193       396         0     79470      1188   2024127     11.76   no data  --
627.76/157.34	c  N st   173   1392651       193       396         0     87935      1188   2037283     11.76   no data  --
690.78/173.10	c  N st   174   1556638       193       396         0     48583      1188    716926     11.76   no data  --
752.24/188.57	c  N st   175   1710442       193       396         0     83939      1188   1863571     11.76   no data  --
752.24/188.57	c  S st   175   1710442       193       396         0     83939      1188   1863571     11.76   no data  --
753.04/188.72	c  S st   175   1710943       193       396         0     84431      1188   1877219     11.76   no data  --
753.04/188.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
753.04/188.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
753.04/188.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
753.45/188.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
753.45/188.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
753.45/188.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
753.45/188.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
857.20/214.86	c lits-rem:     16814  cl-subs:     8718  v-elim:      0  v-fix:    0  time: 103.90 s
857.20/214.86	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
857.20/214.88	c vivif2 --  cl tried    75713 cl shrink        0 lits rem          0 time: 0.07
857.60/214.92	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.16
857.60/214.92	c calculated reachability. Time: 0.00
857.60/214.92	c  N st   175   1710943       193       396         0     75713      1188   1553727     11.76   no data  --
1001.67/251.01	c  N st   176   2079908       193       396         0     83985      1188   1860364     11.76   no data  --
1065.53/267.04	c  N st   177   2210943       193       396         0     90201      1188   1863542     11.76   no data  --
1065.53/267.04	c  S st   177   2210943       193       396         0     90201      1188   1863542     11.76   no data  --
1065.93/267.19	c  S st   177   2211444       193       396         0     90695      1188   1877029     11.76   no data  --
1065.93/267.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1065.93/267.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1066.36/267.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
1066.36/267.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1066.36/267.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1066.36/267.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
1066.36/267.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1152.93/288.93	c lits-rem:      8438  cl-subs:     7544  v-elim:      0  v-fix:    0  time: 86.34 s
1152.93/288.93	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
1152.93/288.95	c vivif2 --  cl tried    83151 cl shrink        0 lits rem          0 time: 0.07
1152.93/288.99	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.16
1152.93/288.99	c calculated reachability. Time: 0.00
1152.93/288.99	c  N st   177   2211444       193       396         0     83151      1188   1626259     11.76   no data  --
1396.78/350.05	c  N st   178   2711445       193       396         0    105980      1188   2146271     11.76   no data  --
1396.78/350.05	c  S st   178   2711445       193       396         0    105980      1188   2146271     11.76   no data  --
1397.58/350.27	c  S st   178   2711947       193       396         0    106477      1188   2159475     11.76   no data  --
1397.58/350.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1397.58/350.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1397.98/350.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
1398.38/350.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1398.38/350.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1398.38/350.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
1398.38/350.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1495.76/374.86	c lits-rem:      5798  cl-subs:     5515  v-elim:      0  v-fix:    0  time: 97.53 s
1495.76/374.86	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
1495.76/374.88	c vivif2 --  cl tried   100962 cl shrink        0 lits rem          0 time: 0.09
1496.16/374.94	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.23
1496.16/374.94	c calculated reachability. Time: 0.00
1496.16/374.94	c  N st   178   2711947       193       396         0    100962      1188   1974804     11.76   no data  --
1757.16/440.33	c  N st   179   3211947       193       396         0     81863      1188   1340340     11.76   no data  --
1757.16/440.33	c  S st   179   3211947       193       396         0     81863      1188   1340340     11.76   no data  --
1757.96/440.52	c  S st   179   3212456       193       396         0     82362      1188   1355379     11.76   no data  --
1757.96/440.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1757.96/440.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1757.96/440.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
1758.36/440.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1758.36/440.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1758.36/440.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
1758.36/440.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1784.30/447.10	c lits-rem:       998  cl-subs:     1500  v-elim:      0  v-fix:    0  time: 25.86 s
1784.30/447.10	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
1784.30/447.12	c vivif2 --  cl tried    80862 cl shrink        0 lits rem          0 time: 0.08
1784.30/447.19	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.26
1784.30/447.19	c calculated reachability. Time: 0.00
1784.30/447.19	c  N st   179   3212456       193       396         0     80862      1188   1307608     11.76   no data  --
2055.28/515.04	c  N st   180   3712460       193       396         0     85585      1188   1490725     11.76   no data  --
2055.28/515.04	c  S st   180   3712460       193       396         0     85585      1188   1490725     11.76   no data  --
2056.08/515.23	c  S st   180   3712961       193       396         0     86075      1188   1503684     11.76   no data  --
2056.08/515.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2056.08/515.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2056.08/515.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
2056.48/515.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2056.48/515.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2056.48/515.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
2056.48/515.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2112.35/529.34	c lits-rem:      1746  cl-subs:     5470  v-elim:      0  v-fix:    0  time: 55.89 s
2112.35/529.34	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
2112.35/529.36	c vivif2 --  cl tried    80605 cl shrink        0 lits rem          0 time: 0.07
2112.75/529.42	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.22
2112.75/529.42	c calculated reachability. Time: 0.00
2112.75/529.42	c  N st   180   3712961       193       396         0     80605      1188   1306595     11.76   no data  --
2135.50/535.18	c  F st   181   3751563       193       396         0    112336      1188   2388514     11.76   no data  --
2135.50/535.19	c  N st   181   3751563       193       396         0    112336      1188   2388514     11.76   no data  --
2139.09/536.00	c Decided on static restart strategy
2153.46/539.69	c  N st   191   3779867       193       396         0    137552      1188   3173629     11.76   no data  --
2171.81/544.28	c  N st   193   3815863       193       396         0     99329      1188   1732649     11.76   no data  --
2189.77/548.71	c  N st   194   3848255       193       396         0    127876      1188   2644768     11.76   no data  --
2211.32/554.20	c  N st   195   3896844       193       396         0     96707      1188   1716097     11.76   no data  --
2264.00/567.31	c  N st   196   3969726       193       396         0     85787      1188   1303951     11.76   no data  --
2355.79/590.35	c  N st   197   4079050       193       396         0    102653      1188   1917720     11.76   no data  --
2442.00/611.96	c  N st   198   4212961       193       396         0    142327      1188   3198231     11.76   no data  --
2442.00/611.96	c  S st   198   4212961       193       396         0    142327      1188   3198231     11.76   no data  --
2443.20/612.27	c  S st   198   4213463       193       396         0    142826      1188   3211823     11.76   no data  --
2443.20/612.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2443.20/612.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2443.60/612.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
2444.00/612.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2444.00/612.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2444.00/612.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
2444.00/612.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2895.32/725.54	c lits-rem:      4363  cl-subs:     9084  v-elim:      0  v-fix:    0  time: 451.05 s
2895.32/725.54	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
2895.32/725.58	c vivif2 --  cl tried   133742 cl shrink        0 lits rem          0 time: 0.14
2895.72/725.67	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.38
2895.72/725.68	c calculated reachability. Time: 0.00
2895.72/725.68	c  N st   198   4213463       193       396         0    133742      1188   2863696     11.76   no data  --
3066.54/768.44	c  N st   199   4459441       193       396         0    108661      1188   2047391     11.76   no data  --
3209.05/804.12	c  N st   200   4713463       193       396         0     84758      1188   1243931     11.76   no data  --
3209.05/804.12	c  S st   200   4713463       193       396         0     84758      1188   1243931     11.76   no data  --
3209.41/804.26	c  S st   200   4713969       193       396         0     85256      1188   1259592     11.76   no data  --
3209.41/804.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3209.41/804.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3209.41/804.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
3209.81/804.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3209.81/804.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3209.81/804.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
3209.81/804.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3223.38/807.72	c lits-rem:      1460  cl-subs:      739  v-elim:      0  v-fix:    0  time: 13.54 s
3223.38/807.72	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
3223.38/807.74	c vivif2 --  cl tried    84517 cl shrink        0 lits rem          0 time: 0.06
3223.38/807.78	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.15
3223.38/807.78	c calculated reachability. Time: 0.00
3223.38/807.78	c  N st   200   4713969       193       396         0     84517      1188   1233791     11.76   no data  --
3527.10/883.83	c  N st   201   5213971       193       396         0     94633      1188   1422636     11.76   no data  --
3527.10/883.83	c  S st   201   5213971       193       396         0     94633      1188   1422636     11.76   no data  --
3527.90/884.02	c  S st   201   5214476       193       396         0     95130      1188   1437064     11.76   no data  --
3527.90/884.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3527.90/884.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3527.90/884.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3528.30/884.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3528.30/884.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3528.30/884.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
3528.30/884.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3545.86/888.57	c lits-rem:      1634  cl-subs:     1396  v-elim:      0  v-fix:    0  time: 17.82 s
3545.86/888.57	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
3545.86/888.59	c vivif2 --  cl tried    93734 cl shrink        0 lits rem          0 time: 0.07
3546.26/888.64	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.21
3546.26/888.65	c calculated reachability. Time: 0.00
3546.26/888.65	c  N st   201   5214476       193       396         0     93734      1188   1390815     11.76   no data  --
3927.80/984.28	c  N st   202   5714477       193       396         0    174847      1188   4333509     11.76   no data  --
3927.80/984.28	c  S st   202   5714477       193       396         0    174847      1188   4333509     11.76   no data  --
3929.79/984.73	c  S st   202   5714980       193       396         0    175344      1188   4348349     11.76   no data  --
3929.79/984.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3929.79/984.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3930.19/984.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.41
3930.99/985.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3930.99/985.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3930.99/985.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
3930.99/985.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3369393-1305413258/watcher-3369393-1305413258 -o /tmp/evaluation-result-3369393-1305413258/solver-3369393-1305413258 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369393-1305413258.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.42 7.96 7.43 1/286 28257
/proc/meminfo: memFree=24427796/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 417 0 0 0 0 0 0 0 24 0 4 0 633741726 52465664 357 33554432000 4194304 4650419 140737089053712 18446744073709551615 46942887544345 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 12809 357 306 112 0 7774 0
[pid=28257/tid=28258] ppid=28255 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633741727 52465664 357 33554432000 4194304 4650419 140737089053712 18446744073709551615 46942887544345 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633741727 52465664 357 33554432000 4194304 4650419 140737089053712 18446744073709551615 46942887544336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 633741727 52465664 357 33554432000 4194304 4650419 140737089053712 18446744073709551615 46942887544748 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0534671 s]
/proc/loadavg: 7.42 7.96 7.43 1/286 28257
/proc/meminfo: memFree=24427796/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=281948 CPUtime=0.18 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 1159 0 0 0 18 0 0 0 18 0 4 0 633741726 288714752 1027 33554432000 4194304 4650419 140737089053712 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 70487 1027 390 112 0 65452 0
[pid=28257/tid=28258] ppid=28255 vsize=281948 CPUtime=0.04 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 193 0 0 0 4 0 0 0 18 0 4 0 633741727 288714752 1027 33554432000 4194304 4650419 140737089053712 18446744073709551615 4331995 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=281948 CPUtime=0.04 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 197 0 0 0 4 0 0 0 25 0 4 0 633741727 288714752 1027 33554432000 4194304 4650419 140737089053712 18446744073709551615 4328370 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=281948 CPUtime=0.04 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 164 0 0 0 4 0 0 0 25 0 4 0 633741727 288714752 1027 33554432000 4194304 4650419 140737089053712 18446744073709551615 4360507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 281948

[startup+0.100471 s]
/proc/loadavg: 7.42 7.96 7.43 1/286 28257
/proc/meminfo: memFree=24427796/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=282884 CPUtime=0.37 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 1739 0 0 0 37 0 0 0 18 0 4 0 633741726 289673216 1154 33554432000 4194304 4650419 140737089053712 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 70721 1154 392 112 0 65686 0
[pid=28257/tid=28258] ppid=28255 vsize=282884 CPUtime=0.09 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 336 0 0 0 9 0 0 0 18 0 4 0 633741727 289673216 1154 33554432000 4194304 4650419 140737089053712 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=282884 CPUtime=0.09 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 351 0 0 0 9 0 0 0 25 0 4 0 633741727 289673216 1155 33554432000 4194304 4650419 140737089053712 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=282884 CPUtime=0.08 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 311 0 0 0 8 0 0 0 25 0 4 0 633741727 289673216 1155 33554432000 4194304 4650419 140737089053712 18446744073709551615 4360483 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282884

[startup+0.300423 s]
/proc/loadavg: 7.42 7.96 7.43 1/286 28257
/proc/meminfo: memFree=24427796/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=283672 CPUtime=1.16 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 3121 0 0 0 116 0 0 0 18 0 4 0 633741726 290480128 1800 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 70918 1800 392 112 0 65883 0
[pid=28257/tid=28258] ppid=28255 vsize=283672 CPUtime=0.29 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 684 0 0 0 29 0 0 0 18 0 4 0 633741727 290480128 1800 33554432000 4194304 4650419 140737089053712 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=283672 CPUtime=0.29 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 724 0 0 0 29 0 0 0 25 0 4 0 633741727 290480128 1800 33554432000 4194304 4650419 140737089053712 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=283672 CPUtime=0.28 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 627 0 0 0 28 0 0 0 25 0 4 0 633741727 290480128 1800 33554432000 4194304 4650419 140737089053712 18446744073709551615 4331268 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283672

[startup+0.700348 s]
/proc/loadavg: 7.42 7.96 7.43 1/286 28257
/proc/meminfo: memFree=24427796/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=284736 CPUtime=2.76 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 5618 0 0 0 276 0 0 0 18 0 4 0 633741726 291569664 2598 33554432000 4194304 4650419 140737089053712 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 71184 2598 393 112 0 66149 0
[pid=28257/tid=28258] ppid=28255 vsize=284736 CPUtime=0.69 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 1323 0 0 0 69 0 0 0 18 0 4 0 633741727 291569664 2598 33554432000 4194304 4650419 140737089053712 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=284736 CPUtime=0.69 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 1289 0 0 0 69 0 0 0 25 0 4 0 633741727 291569664 2599 33554432000 4194304 4650419 140737089053712 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=284736 CPUtime=0.68 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 1287 0 0 0 68 0 0 0 25 0 4 0 633741727 291569664 2599 33554432000 4194304 4650419 140737089053712 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284736

[startup+1.50021 s]
/proc/loadavg: 7.42 7.96 7.43 11/298 28274
/proc/meminfo: memFree=24340056/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=283916 CPUtime=5.96 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 15294 0 0 0 594 2 0 0 19 0 4 0 633741726 290729984 9542 33554432000 4194304 4650419 140737089053712 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 70979 9542 394 112 0 65944 0
[pid=28257/tid=28258] ppid=28255 vsize=283916 CPUtime=1.49 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 3689 0 0 0 149 0 0 0 20 0 4 0 633741727 290729984 9542 33554432000 4194304 4650419 140737089053712 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=283916 CPUtime=1.48 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 4297 0 0 0 148 0 0 0 25 0 4 0 633741727 290729984 9542 33554432000 4194304 4650419 140737089053712 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=283916 CPUtime=1.47 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 3152 0 0 0 147 0 0 0 25 0 4 0 633741727 290729984 9542 33554432000 4194304 4650419 140737089053712 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 283916

[startup+3.10091 s]
/proc/loadavg: 7.42 7.96 7.43 9/298 28274
/proc/meminfo: memFree=24269376/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=293064 CPUtime=12.35 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 20764 0 0 0 1233 2 0 0 25 0 4 0 633741726 300097536 13933 33554432000 4194304 4650419 140737089053712 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 73266 13933 394 112 0 68231 0
[pid=28257/tid=28258] ppid=28255 vsize=293064 CPUtime=3.08 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 6153 0 0 0 308 0 0 0 25 0 4 0 633741727 300097536 13933 33554432000 4194304 4650419 140737089053712 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=293064 CPUtime=3.08 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 4645 0 0 0 308 0 0 0 25 0 4 0 633741727 300097536 13933 33554432000 4194304 4650419 140737089053712 18446744073709551615 4361043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=293064 CPUtime=3.06 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 4624 0 0 0 306 0 0 0 25 0 4 0 633741727 300097536 13933 33554432000 4194304 4650419 140737089053712 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 293064

[startup+6.30032 s]
/proc/loadavg: 7.55 7.98 7.43 9/298 28274
/proc/meminfo: memFree=24202080/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=293360 CPUtime=25.11 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 29763 0 0 0 2507 4 0 0 25 0 4 0 633741726 300400640 18244 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476105 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 73340 18244 394 112 0 68305 0
[pid=28257/tid=28258] ppid=28255 vsize=293360 CPUtime=6.28 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 8633 0 0 0 627 1 0 0 25 0 4 0 633741727 300400640 18244 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=293360 CPUtime=6.29 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 6952 0 0 0 628 1 0 0 25 0 4 0 633741727 300400640 18244 33554432000 4194304 4650419 140737089053712 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=293360 CPUtime=6.23 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 6610 0 0 0 623 0 0 0 25 0 4 0 633741727 300400640 18244 33554432000 4194304 4650419 140737089053712 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 293360

[startup+12.7011 s]
/proc/loadavg: 7.58 7.98 7.44 9/298 28275
/proc/meminfo: memFree=24165896/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=303564 CPUtime=50.66 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 48678 0 0 0 5058 8 0 0 25 0 4 0 633741726 310849536 25519 33554432000 4194304 4650419 140737089053712 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 75891 25520 394 112 0 70856 0
[pid=28257/tid=28258] ppid=28255 vsize=303564 CPUtime=12.68 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 13689 0 0 0 1266 2 0 0 25 0 4 0 633741727 310849536 25520 33554432000 4194304 4650419 140737089053712 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=303564 CPUtime=12.69 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 12533 0 0 0 1267 2 0 0 25 0 4 0 633741727 310849536 25520 33554432000 4194304 4650419 140737089053712 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=303564 CPUtime=12.57 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 9915 0 0 0 1256 1 0 0 25 0 4 0 633741727 310849536 25520 33554432000 4194304 4650419 140737089053712 18446744073709551615 4329573 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 303564

[startup+25.5008 s]
/proc/loadavg: 7.68 7.98 7.45 9/298 28275
/proc/meminfo: memFree=24078624/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=312088 CPUtime=101.74 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 81525 0 0 0 10160 14 0 0 25 0 4 0 633741726 319578112 31274 33554432000 4194304 4650419 140737089053712 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 78022 31275 394 112 0 72987 0
[pid=28257/tid=28258] ppid=28255 vsize=312088 CPUtime=25.49 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 23599 0 0 0 2545 4 0 0 25 0 4 0 633741727 319578112 31275 33554432000 4194304 4650419 140737089053712 18446744073709551615 4367295 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=312088 CPUtime=25.48 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 21226 0 0 0 2544 4 0 0 25 0 4 0 633741727 319578112 31275 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=312088 CPUtime=25.25 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 14740 0 0 0 2523 2 0 0 25 0 4 0 633741727 319578112 31275 33554432000 4194304 4650419 140737089053712 18446744073709551615 4336148 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 312088

[startup+51.1011 s]
/proc/loadavg: 7.79 7.98 7.46 9/298 28276
/proc/meminfo: memFree=23931216/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=324784 CPUtime=203.91 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 139822 0 0 0 20364 27 0 0 25 0 4 0 633741726 332578816 44403 33554432000 4194304 4650419 140737089053712 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 81196 44403 394 112 0 76161 0
[pid=28257/tid=28258] ppid=28255 vsize=324784 CPUtime=51.08 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 41423 0 0 0 5102 6 0 0 25 0 4 0 633741727 332578816 44403 33554432000 4194304 4650419 140737089053712 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=324784 CPUtime=51.09 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 35861 0 0 0 5101 8 0 0 25 0 4 0 633741727 332578816 44403 33554432000 4194304 4650419 140737089053712 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=324784 CPUtime=50.62 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 24216 0 0 0 5058 4 0 0 25 0 4 0 633741727 332578816 44403 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 324784

[startup+102.311 s]
/proc/loadavg: 8.02 8.01 7.49 9/298 28277
/proc/meminfo: memFree=23836956/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=364912 CPUtime=408.28 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 220873 0 0 0 40783 45 0 0 25 0 4 0 633741726 373669888 59163 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 91228 59163 394 112 0 86193 0
[pid=28257/tid=28258] ppid=28255 vsize=364912 CPUtime=102.29 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 70623 0 0 0 10217 12 0 0 25 0 4 0 633741727 373669888 59163 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=364912 CPUtime=102.3 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 61279 0 0 0 10215 15 0 0 25 0 4 0 633741727 373669888 59163 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=364912 CPUtime=101.36 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 37215 0 0 0 10129 7 0 0 25 0 4 0 633741727 373669888 59163 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 364912

[startup+162.301 s]

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

[pid=28257] ppid=28255 vsize=837028 CPUtime=2563.33 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 605366 0 0 0 256150 183 0 0 25 0 4 0 633741726 857116672 147789 33554432000 4194304 4650419 140737089053712 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 209257 147789 394 112 0 204222 0
[pid=28257/tid=28258] ppid=28255 vsize=837028 CPUtime=641.71 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 241011 0 0 0 64102 69 0 0 25 0 4 0 633741727 857116672 147789 33554432000 4194304 4650419 140737089053712 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=837028 CPUtime=642.32 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 190931 0 0 0 64171 61 0 0 25 0 4 0 633741727 857116672 147789 33554432000 4194304 4650419 140737089053712 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=837028 CPUtime=636.97 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 83289 0 0 0 63672 25 0 0 25 0 4 0 633741727 857116672 147789 33554432000 4194304 4650419 140737089053712 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2563.33
Current children cumulated vsize (KiB) 837028

[startup+702.301 s]
/proc/loadavg: 8.09 8.11 7.78 9/298 28293
/proc/meminfo: memFree=23123808/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=822300 CPUtime=2802.75 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 637665 0 0 0 280078 197 0 0 25 0 4 0 633741726 842035200 156600 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 205575 156600 394 112 0 200540 0
[pid=28257/tid=28258] ppid=28255 vsize=822300 CPUtime=701.14 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 254616 0 0 0 70039 75 0 0 25 0 4 0 633741727 842035200 156600 33554432000 4194304 4650419 140737089053712 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=822300 CPUtime=702.3 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 202156 0 0 0 70168 62 0 0 25 0 4 0 633741727 842035200 156600 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=822300 CPUtime=696.96 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 90758 0 0 0 69665 31 0 0 25 0 4 0 633741727 842035200 156600 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2802.75
Current children cumulated vsize (KiB) 822300

[startup+762.311 s]
/proc/loadavg: 8.16 8.12 7.80 9/298 28295
/proc/meminfo: memFree=23121420/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=954264 CPUtime=3042.23 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 677555 0 0 0 304018 205 0 0 25 0 4 0 633741726 977166336 158284 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 238566 158284 394 112 0 233531 0
[pid=28257/tid=28258] ppid=28255 vsize=954264 CPUtime=760.59 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 261223 0 0 0 75982 77 0 0 25 0 4 0 633741727 977166336 158284 33554432000 4194304 4650419 140737089053712 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=954264 CPUtime=762.31 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 227588 0 0 0 76167 64 0 0 25 0 4 0 633741727 977166336 158284 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=954264 CPUtime=756.97 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 97132 0 0 0 75663 34 0 0 25 0 4 0 633741727 977166336 158284 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3042.23
Current children cumulated vsize (KiB) 954264

[startup+822.301 s]
/proc/loadavg: 8.18 8.12 7.82 9/298 28305
/proc/meminfo: memFree=22996768/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=882824 CPUtime=3281.66 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 730764 0 0 0 327943 223 0 0 25 0 4 0 633741726 904011776 167857 33554432000 4194304 4650419 140737089053712 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 220706 167857 394 112 0 215671 0
[pid=28257/tid=28258] ppid=28255 vsize=882824 CPUtime=820.05 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 277695 0 0 0 81922 83 0 0 25 0 4 0 633741727 904011776 167857 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=882824 CPUtime=822.31 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 249928 0 0 0 82161 70 0 0 25 0 4 0 633741727 904011776 167857 33554432000 4194304 4650419 140737089053712 18446744073709551615 4334251 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=882824 CPUtime=816.95 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 105451 0 0 0 81657 38 0 0 25 0 4 0 633741727 904011776 167857 33554432000 4194304 4650419 140737089053712 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3281.66
Current children cumulated vsize (KiB) 882824

[startup+882.301 s]
/proc/loadavg: 8.17 8.13 7.84 9/298 28307
/proc/meminfo: memFree=22989292/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=900048 CPUtime=3521.11 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 759785 0 0 0 351876 235 0 0 25 0 4 0 633741726 921649152 173184 33554432000 4194304 4650419 140737089053712 18446744073709551615 4339892 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 225012 173184 394 112 0 219977 0
[pid=28257/tid=28258] ppid=28255 vsize=900048 CPUtime=879.5 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 292617 0 0 0 87862 88 0 0 25 0 4 0 633741727 921649152 173184 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=900048 CPUtime=882.31 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 255634 0 0 0 88159 72 0 0 25 0 4 0 633741727 921649152 173184 33554432000 4194304 4650419 140737089053712 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=900048 CPUtime=876.96 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 111226 0 0 0 87654 42 0 0 25 0 4 0 633741727 921649152 173184 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3521.11
Current children cumulated vsize (KiB) 900048

[startup+942.301 s]
/proc/loadavg: 8.16 8.13 7.86 9/298 28308
/proc/meminfo: memFree=22975880/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=992040 CPUtime=3760.57 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 784090 0 0 0 375809 248 0 0 25 0 4 0 633741726 1015848960 171149 33554432000 4194304 4650419 140737089053712 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 248010 171149 394 112 0 242975 0
[pid=28257/tid=28258] ppid=28255 vsize=992040 CPUtime=938.96 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 304368 0 0 0 93801 95 0 0 25 0 4 0 633741727 1015848960 171149 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=992040 CPUtime=942.31 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 261119 0 0 0 94157 74 0 0 25 0 4 0 633741727 1015848960 171149 33554432000 4194304 4650419 140737089053712 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=992040 CPUtime=936.97 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 111302 0 0 0 93655 42 0 0 25 0 4 0 633741727 1015848960 171149 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3760.57
Current children cumulated vsize (KiB) 992040

[startup+1002.3 s]
/proc/loadavg: 8.11 8.12 7.87 9/298 28310
/proc/meminfo: memFree=22966432/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=1077780 CPUtime=4000.01 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 810214 0 0 0 399740 261 0 0 25 0 4 0 633741726 1103646720 179185 33554432000 4194304 4650419 140737089053712 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 269445 179185 394 112 0 264410 0
[pid=28257/tid=28258] ppid=28255 vsize=1077780 CPUtime=998.39 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 314697 0 0 0 99738 101 0 0 25 0 4 0 633741727 1103646720 179185 33554432000 4194304 4650419 140737089053712 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=1077780 CPUtime=1002.31 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 267480 0 0 0 100156 75 0 0 25 0 4 0 633741727 1103646720 179185 33554432000 4194304 4650419 140737089053712 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=1077780 CPUtime=996.96 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 117768 0 0 0 99650 46 0 0 25 0 4 0 633741727 1103646720 179185 33554432000 4194304 4650419 140737089053712 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4000.01
Current children cumulated vsize (KiB) 1077780

[startup+1062.3 s]
/proc/loadavg: 8.13 8.12 7.88 9/298 28312
/proc/meminfo: memFree=22947932/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=1079184 CPUtime=4239.43 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 832435 0 0 0 423664 279 0 0 25 0 4 0 633741726 1105084416 177244 33554432000 4194304 4650419 140737089053712 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 269796 177244 394 112 0 264761 0
[pid=28257/tid=28258] ppid=28255 vsize=1079184 CPUtime=1057.81 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 330015 0 0 0 105669 112 0 0 25 0 4 0 633741727 1105084416 177244 33554432000 4194304 4650419 140737089053712 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=1079184 CPUtime=1062.31 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 267480 0 0 0 106156 75 0 0 25 0 4 0 633741727 1105084416 177244 33554432000 4194304 4650419 140737089053712 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=1079184 CPUtime=1056.97 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 124671 0 0 0 105644 53 0 0 25 0 4 0 633741727 1105084416 177244 33554432000 4194304 4650419 140737089053712 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4239.43
Current children cumulated vsize (KiB) 1079184

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 7.89 9/298 28313
/proc/meminfo: memFree=22883184/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=1148652 CPUtime=4478.84 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 852772 0 0 0 447602 282 0 0 25 0 4 0 633741726 1176219648 187838 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 287163 187838 394 112 0 282128 0
[pid=28257/tid=28258] ppid=28255 vsize=1148652 CPUtime=1117.21 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 338917 0 0 0 111608 113 0 0 25 0 4 0 633741727 1176219648 187838 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=1148652 CPUtime=1122.31 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 269184 0 0 0 112156 75 0 0 25 0 4 0 633741727 1176219648 187838 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=1148652 CPUtime=1116.97 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 133541 0 0 0 111643 54 0 0 25 0 4 0 633741727 1176219648 187838 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4478.84
Current children cumulated vsize (KiB) 1148652

[startup+1182.3 s]
/proc/loadavg: 8.11 8.11 7.91 9/298 28315
/proc/meminfo: memFree=22918748/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=1148652 CPUtime=4718.26 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 880075 0 0 0 471539 287 0 0 25 0 4 0 633741726 1176219648 187619 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 287163 187619 394 112 0 282128 0
[pid=28257/tid=28258] ppid=28255 vsize=1148652 CPUtime=1176.62 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 340486 0 0 0 117549 113 0 0 25 0 4 0 633741727 1176219648 187619 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=1148652 CPUtime=1182.32 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 270983 0 0 0 118156 76 0 0 25 0 4 0 633741727 1176219648 187619 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=1148652 CPUtime=1176.97 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 157409 0 0 0 117639 58 0 0 25 0 4 0 633741727 1176219648 187619 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4718.26
Current children cumulated vsize (KiB) 1148652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.08 8.10 7.91 9/298 28315
/proc/meminfo: memFree=22918856/32951124 swapFree=63485424/67111528
[pid=28257] ppid=28255 vsize=1148652 CPUtime=4800.07 cores=1,3,5,7
/proc/28257/stat : 28257 (strangenight1-m) R 28255 28257 28032 0 -1 4202496 890263 0 0 0 479719 288 0 0 25 0 4 0 633741726 1176219648 187287 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28257/statm: 287163 187287 394 112 0 282128 0
[pid=28257/tid=28258] ppid=28255 vsize=1148652 CPUtime=1196.91 cores=1,3,5,7
/proc/28257/task/28258/stat : 28258 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 340989 0 0 0 119578 113 0 0 25 0 4 0 633741727 1176219648 187287 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28257/tid=28259] ppid=28255 vsize=1148652 CPUtime=1202.83 cores=1,3,5,7
/proc/28257/task/28259/stat : 28259 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 270983 0 0 0 120207 76 0 0 25 0 4 0 633741727 1176219648 187287 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28257/tid=28260] ppid=28255 vsize=1148652 CPUtime=1197.49 cores=1,3,5,7
/proc/28257/task/28260/stat : 28260 (strangenight1-m) R 28255 28257 28032 0 -1 4202560 167094 0 0 0 119689 60 0 0 25 0 4 0 633741727 1176219648 187287 33554432000 4194304 4650419 140737089053712 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1148652

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): 1202.85
CPU time (s): 4800.14
CPU user time (s): 4797.22
CPU system time (s): 2.91756
CPU usage (%): 399.065
Max. virtual memory (cumulated for all children) (KiB): 1149560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.22
system time used= 2.91756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 890263
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= 141
involuntary context switches= 20645

runsolver used 2.90956 second user time and 8.37373 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-15 00:47:38
IDJOB=3369393
IDBENCH=83156
IDSOLVER=1846
FILE ID=node147/3369393-1305413258
RUNJOBID= node147-1305410848-28053
PBS_JOBID= 13324515
Free space on /tmp= 73104 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n190-s29985700-unsat.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369393-1305413258/watcher-3369393-1305413258 -o /tmp/evaluation-result-3369393-1305413258/solver-3369393-1305413258 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369393-1305413258.cnf

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

MD5SUM BENCH= f2cf61fc47972fb7e89be65d1a83332e
RANDOM SEED=858411911

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24428076 kB
Buffers:        290728 kB
Cached:        4970572 kB
SwapCached:      13132 kB
Active:        1631512 kB
Inactive:      6658676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24428076 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:            6264 kB
Writeback:           0 kB
AnonPages:     3024792 kB
Mapped:          14672 kB
Slab:           140552 kB
PageTables:      28828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44827824 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= 73096 MiB
End job on node147 at 2011-05-15 01:07:43