Trace number 3274229

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.45 1201.95

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.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3274229-1304128836.cnf'
0.00/0.00	c -- header says num vars:            193
0.00/0.00	c -- header says num clauses:         396
0.00/0.00	c -- clauses added:            0 learnts,          396 normals,            0 xors
0.00/0.00	c -- vars added        193
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       193       396         0         0      1188         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.18/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
3.18/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:       1 undec:     185 neg:       7
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       193       396         0         0      1188         0   no data   no data  --
3.18/0.80	c  N dy    16      5169       193       396         0      2408      1188     36118     11.26     11.88  --
3.18/0.80	c  N dy    37      9249       193       396         0      6229      1188    111351     12.07     12.75  --
3.18/0.80	c  N dy    56     13250       193       396         0      6016      1188     93330     11.97     13.01  --
3.18/0.80	c  N dy    72     17641       193       396         0     10119      1188    177256     11.77     12.40  --
3.18/0.80	c  N dy    83     21724       193       396         0      8655      1188    134107     11.57     12.95  --
3.18/0.80	c  F st   109     25000       193       396         0     11743      1188    196251     11.76     12.00  --
3.18/0.80	c  N st   112     26192       193       396         0      6524      1188     75144     11.76   no data  --
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  S st   115     30004       193       396         0     10032      1188    160363     11.76   no data  --
3.18/0.80	c  S st   115     30506       193       396         0     10524      1188    173166     11.76   no data  --
3.18/0.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.18/0.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.18/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.18/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
3.18/0.80	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.96 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.77/1.20	c  N st   117     37617       193       396         0      9376      1188    232595     11.76   no data  --
5.57/1.42	c  N st   118     44018       193       396         0     15156      1188    387676     11.76   no data  --
5.57/1.49	c  S st   119     45759       193       396         0      8632      1188    175916     11.76   no data  --
5.96/1.51	c  S st   119     46261       193       396         0      9114      1188    187643     11.76   no data  --
5.96/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.96/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
5.96/1.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.36/1.62	c lits-rem:      1020  cl-subs:      421  v-elim:      0  v-fix:    0  time:  0.43 s
6.36/1.62	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
6.36/1.62	c vivif2 --  cl tried     8693 cl shrink        0 lits rem          0 time: 0.00
6.36/1.63	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.01
6.36/1.63	c calculated reachability. Time: 0.00
6.36/1.63	c  N st   119     46261       193       396         0      8693      1188    173612     11.76   no data  --
9.16/2.30	c  N st   120     60662       193       396         0     12529      1188    303905     11.76   no data  --
10.76/2.74	c  N st   121     69391       193       396         0     10432      1188    202916     11.76   no data  --
10.76/2.74	c  S st   121     69391       193       396         0     10432      1188    202916     11.76   no data  --
10.76/2.76	c  S st   121     69895       193       396         0     10916      1188    215553     11.76   no data  --
10.76/2.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.76/2.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.76/2.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
10.76/2.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.18/3.31	c lits-rem:      1166  cl-subs:      436  v-elim:      0  v-fix:    0  time:  2.15 s
13.18/3.31	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
13.18/3.31	c vivif2 --  cl tried    10480 cl shrink        0 lits rem          0 time: 0.01
13.18/3.32	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.01
13.18/3.32	c calculated reachability. Time: 0.00
13.18/3.32	c  N st   121     69895       193       396         0     10480      1188    201690     11.76   no data  --
16.36/4.20	c  F st   122     87502       193       396         0     15358      1188    368469     11.76   no data  --
16.36/4.20	c  N st   122     87502       193       396         0     15358      1188    368469     11.76   no data  --
17.18/4.37	c Decided on static restart strategy
17.58/4.49	c  N st   129     95539       193       396         0     22650      1188    561368     11.76   no data  --
19.15/4.84	c  N st   131    104844       193       396         0     19428      1188    431840     11.76   no data  --
19.15/4.84	c  S st   131    104844       193       396         0     19428      1188    431840     11.76   no data  --
19.15/4.88	c  S st   131    105349       193       396         0     19923      1188    443507     11.76   no data  --
19.15/4.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.15/4.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.15/4.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.15/4.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.15/4.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.15/4.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
19.15/4.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.74/6.79	c lits-rem:      2782  cl-subs:      746  v-elim:      0  v-fix:    0  time:  7.55 s
26.74/6.79	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
26.74/6.79	c vivif2 --  cl tried    19177 cl shrink        0 lits rem          0 time: 0.02
27.14/6.80	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.03
27.14/6.80	c calculated reachability. Time: 0.00
27.14/6.80	c  N st   131    105349       193       396         0     19177      1188    412541     11.76   no data  --
28.74/7.25	c  N st   132    114948       193       396         0     15390      1188    295908     11.76   no data  --
31.54/7.98	c  N st   133    129348       193       396         0     14639      1188    255890     11.76   no data  --
36.73/9.26	c  N st   134    150943       193       396         0     19571      1188    409541     11.76   no data  --
38.33/9.62	c  S st   135    158023       193       396         0     26030      1188    627203     11.76   no data  --
38.33/9.66	c  S st   135    158525       193       396         0     26521      1188    639738     11.76   no data  --
38.33/9.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.33/9.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.33/9.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
38.33/9.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.33/9.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.33/9.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
38.33/9.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.33/12.14	c lits-rem:      3687  cl-subs:     1926  v-elim:      0  v-fix:    0  time:  9.78 s
48.33/12.14	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
48.33/12.14	c vivif2 --  cl tried    24595 cl shrink        0 lits rem          0 time: 0.02
48.33/12.15	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.03
48.33/12.15	c calculated reachability. Time: 0.00
48.33/12.15	c  N st   135    158525       193       396         0     24595      1188    558045     11.76   no data  --
59.90/15.00	c  N st   136    207113       193       396         0     19304      1188    352031     11.76   no data  --
68.29/17.17	c  N st   137    237787       193       396         0     28178      1188    674770     11.76   no data  --
68.29/17.17	c  S st   137    237787       193       396         0     28178      1188    674770     11.76   no data  --
68.69/17.22	c  S st   137    238291       193       396         0     28671      1188    687197     11.76   no data  --
68.69/17.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.69/17.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.69/17.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
68.69/17.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.69/17.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.69/17.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
68.69/17.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.47/19.90	c lits-rem:      5742  cl-subs:     1212  v-elim:      0  v-fix:    0  time: 10.57 s
79.47/19.90	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
79.47/19.91	c vivif2 --  cl tried    27459 cl shrink        0 lits rem          0 time: 0.02
79.47/19.92	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.04
79.47/19.92	c calculated reachability. Time: 0.00
79.47/19.92	c  N st   137    238291       193       396         0     27459      1188    632315     11.76   no data  --
97.04/24.33	c  F st   138    306253       193       396         0     29966      1188    673332     11.76   no data  --
97.04/24.33	c  N st   138    306253       193       396         0     29966      1188    673332     11.76   no data  --
98.24/24.62	c Decided on static restart strategy
103.04/25.87	c  N st   148    334557       193       396         0     34422      1188    750573     11.76   no data  --
108.23/27.12	c  N st   150    357436       193       396         0     33090      1188    667669     11.76   no data  --
108.23/27.12	c  S st   150    357436       193       396         0     33090      1188    667669     11.76   no data  --
108.23/27.18	c  S st   150    357939       193       396         0     33590      1188    680479     11.76   no data  --
108.23/27.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
108.23/27.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.23/27.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
108.63/27.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
108.63/27.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
108.63/27.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
108.63/27.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.61/29.22	c lits-rem:      2295  cl-subs:      578  v-elim:      0  v-fix:    0  time:  8.02 s
116.61/29.22	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
116.61/29.22	c vivif2 --  cl tried    33012 cl shrink        0 lits rem          0 time: 0.03
116.61/29.23	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.04
116.61/29.24	c calculated reachability. Time: 0.00
116.61/29.24	c  N st   150    357939       193       396         0     33012      1188    659269     11.76   no data  --
125.41/31.45	c  N st   151    390331       193       396         0     38336      1188    835775     11.76   no data  --
137.79/34.50	c  N st   152    438920       193       396         0     32576      1188    607745     11.76   no data  --
159.75/40.03	c  N st   153    511802       193       396         0     44425      1188    956647     11.76   no data  --
166.56/41.75	c  N st   154    536909       193       396         0     38211      1188    750307     11.76   no data  --
166.56/41.75	c  S st   154    536909       193       396         0     38211      1188    750307     11.76   no data  --
166.97/41.82	c  S st   154    537412       193       396         0     38697      1188    763129     11.76   no data  --
166.97/41.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.97/41.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.97/41.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
166.97/41.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.97/41.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.97/41.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
166.97/41.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
177.34/44.46	c lits-rem:      7793  cl-subs:     1947  v-elim:      0  v-fix:    0  time: 10.40 s
177.34/44.46	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
177.34/44.46	c vivif2 --  cl tried    36750 cl shrink        0 lits rem          0 time: 0.03
177.34/44.47	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.04
177.34/44.47	c calculated reachability. Time: 0.00
177.34/44.47	c  N st   154    537412       193       396         0     36750      1188    682869     11.76   no data  --
228.08/57.13	c  N st   155    701397       193       396         0     31661      1188    472315     11.76   no data  --
265.21/66.49	c  N st   156    806119       193       396         0     57184      1188   1265523     11.76   no data  --
265.21/66.49	c  S st   156    806119       193       396         0     57184      1188   1265523     11.76   no data  --
266.01/66.61	c  S st   156    806623       193       396         0     57680      1188   1278627     11.76   no data  --
266.01/66.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
266.01/66.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
266.01/66.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
266.01/66.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
266.01/66.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.01/66.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
266.01/66.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
295.17/73.95	c lits-rem:      1700  cl-subs:     4653  v-elim:      0  v-fix:    0  time: 29.00 s
295.17/73.95	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
295.17/73.96	c vivif2 --  cl tried    53027 cl shrink        0 lits rem          0 time: 0.05
295.17/73.98	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.09
295.17/73.98	c calculated reachability. Time: 0.00
295.17/73.98	c  N st   156    806623       193       396         0     53027      1188   1106508     11.76   no data  --
385.83/96.80	c  F st   157   1071877       193       396         0     64938      1188   1456790     11.76   no data  --
385.83/96.80	c  N st   157   1071877       193       396         0     64938      1188   1456790     11.76   no data  --
387.81/97.25	c Decided on static restart strategy
394.61/98.97	c  N st   167   1100183       193       396         0     53022      1188   1010847     11.76   no data  --
409.34/102.61	c  N st   169   1136178       193       396         0     45776      1188    767506     11.76   no data  --
422.53/105.92	c  N st   170   1168570       193       396         0     74169      1188   1759322     11.76   no data  --
442.11/110.87	c  N st   171   1209936       193       396         0     68469      1188   1554652     11.76   no data  --
442.11/110.87	c  S st   171   1209936       193       396         0     68469      1188   1554652     11.76   no data  --
442.93/111.01	c  S st   171   1210441       193       396         0     68966      1188   1567838     11.76   no data  --
442.93/111.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
442.93/111.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
442.93/111.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
443.33/111.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
443.33/111.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
443.33/111.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
443.33/111.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
550.76/138.00	c lits-rem:       637  cl-subs:    12573  v-elim:      0  v-fix:    0  time: 107.34 s
550.76/138.00	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
550.76/138.01	c vivif2 --  cl tried    56393 cl shrink        0 lits rem          0 time: 0.05
550.76/138.04	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.11
550.76/138.04	c calculated reachability. Time: 0.00
550.76/138.04	c  N st   171   1210441       193       396         0     56393      1188   1066503     11.76   no data  --
586.31/146.95	c  N st   172   1283328       193       396         0     79470      1188   2024127     11.76   no data  --
633.45/158.71	c  N st   173   1392651       193       396         0     87935      1188   2037283     11.76   no data  --
696.57/174.53	c  N st   174   1556638       193       396         0     48583      1188    716926     11.76   no data  --
758.48/190.03	c  N st   175   1710442       193       396         0     83939      1188   1863571     11.76   no data  --
758.48/190.03	c  S st   175   1710442       193       396         0     83939      1188   1863571     11.76   no data  --
758.88/190.18	c  S st   175   1710943       193       396         0     84431      1188   1877219     11.76   no data  --
758.88/190.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
758.88/190.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
759.30/190.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.12
759.30/190.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
759.30/190.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
759.30/190.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
759.30/190.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
864.33/216.59	c lits-rem:     16814  cl-subs:     8718  v-elim:      0  v-fix:    0  time: 105.08 s
864.33/216.59	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
864.75/216.60	c vivif2 --  cl tried    75713 cl shrink        0 lits rem          0 time: 0.07
864.75/216.64	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.15
864.75/216.64	c calculated reachability. Time: 0.00
864.75/216.64	c  N st   175   1710943       193       396         0     75713      1188   1553727     11.76   no data  --
1009.34/252.87	c  N st   176   2079908       193       396         0     83985      1188   1860364     11.76   no data  --
1073.65/268.94	c  N st   177   2210943       193       396         0     90201      1188   1863542     11.76   no data  --
1073.65/268.94	c  S st   177   2210943       193       396         0     90201      1188   1863542     11.76   no data  --
1074.05/269.09	c  S st   177   2211444       193       396         0     90695      1188   1877029     11.76   no data  --
1074.45/269.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1074.45/269.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1074.45/269.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
1074.45/269.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1074.45/269.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1074.45/269.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
1074.45/269.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1162.33/291.11	c lits-rem:      8438  cl-subs:     7544  v-elim:      0  v-fix:    0  time: 87.54 s
1162.33/291.11	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
1162.33/291.13	c vivif2 --  cl tried    83151 cl shrink        0 lits rem          0 time: 0.08
1162.33/291.17	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.16
1162.33/291.18	c calculated reachability. Time: 0.00
1162.33/291.18	c  N st   177   2211444       193       396         0     83151      1188   1626259     11.76   no data  --
1407.60/352.59	c  N st   178   2711445       193       396         0    105980      1188   2146271     11.76   no data  --
1407.60/352.59	c  S st   178   2711445       193       396         0    105980      1188   2146271     11.76   no data  --
1408.40/352.79	c  S st   178   2711947       193       396         0    106477      1188   2159475     11.76   no data  --
1408.80/352.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1408.80/352.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1408.80/352.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
1409.20/352.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1409.20/352.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1409.20/352.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
1409.20/352.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1507.47/377.50	c lits-rem:      5798  cl-subs:     5515  v-elim:      0  v-fix:    0  time: 98.11 s
1507.47/377.50	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
1507.47/377.53	c vivif2 --  cl tried   100962 cl shrink        0 lits rem          0 time: 0.09
1507.47/377.58	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.24
1507.47/377.59	c calculated reachability. Time: 0.00
1507.47/377.59	c  N st   178   2711947       193       396         0    100962      1188   1974804     11.76   no data  --
1771.91/443.74	c  N st   179   3211947       193       396         0     81863      1188   1340340     11.76   no data  --
1771.91/443.74	c  S st   179   3211947       193       396         0     81863      1188   1340340     11.76   no data  --
1772.71/443.94	c  S st   179   3212456       193       396         0     82362      1188   1355379     11.76   no data  --
1772.71/443.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1772.71/443.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1772.71/443.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
1773.11/444.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1773.11/444.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1773.11/444.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
1773.11/444.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1799.48/450.68	c lits-rem:       998  cl-subs:     1500  v-elim:      0  v-fix:    0  time: 26.55 s
1799.48/450.68	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
1799.88/450.70	c vivif2 --  cl tried    80862 cl shrink        0 lits rem          0 time: 0.08
1799.88/450.76	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.24
1799.88/450.77	c calculated reachability. Time: 0.00
1799.88/450.77	c  N st   179   3212456       193       396         0     80862      1188   1307608     11.76   no data  --
2069.66/518.32	c  N st   180   3712460       193       396         0     85585      1188   1490725     11.76   no data  --
2069.66/518.32	c  S st   180   3712460       193       396         0     85585      1188   1490725     11.76   no data  --
2070.45/518.51	c  S st   180   3712961       193       396         0     86075      1188   1503684     11.76   no data  --
2070.45/518.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2070.45/518.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2070.45/518.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
2070.85/518.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2070.85/518.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2070.85/518.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
2070.85/518.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2127.57/532.81	c lits-rem:      1746  cl-subs:     5470  v-elim:      0  v-fix:    0  time: 56.69 s
2127.57/532.81	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
2127.57/532.83	c vivif2 --  cl tried    80605 cl shrink        0 lits rem          0 time: 0.07
2127.57/532.88	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.22
2127.57/532.89	c calculated reachability. Time: 0.00
2127.57/532.89	c  N st   180   3712961       193       396         0     80605      1188   1306595     11.76   no data  --
2151.55/538.90	c  F st   181   3751563       193       396         0    112336      1188   2388514     11.76   no data  --
2151.55/538.90	c  N st   181   3751563       193       396         0    112336      1188   2388514     11.76   no data  --
2155.54/539.82	c Decided on static restart strategy
2169.94/543.46	c  N st   191   3779867       193       396         0    137552      1188   3173629     11.76   no data  --
2188.69/548.10	c  N st   193   3815863       193       396         0     99329      1188   1732649     11.76   no data  --
2205.09/552.26	c  N st   194   3848255       193       396         0    127876      1188   2644768     11.76   no data  --
2227.06/557.75	c  N st   195   3896844       193       396         0     96707      1188   1716097     11.76   no data  --
2280.57/571.11	c  N st   196   3969726       193       396         0     85787      1188   1303951     11.76   no data  --
2372.85/594.26	c  N st   197   4079050       193       396         0    102653      1188   1917720     11.76   no data  --
2459.55/615.91	c  N st   198   4212961       193       396         0    142327      1188   3198231     11.76   no data  --
2459.55/615.91	c  S st   198   4212961       193       396         0    142327      1188   3198231     11.76   no data  --
2460.73/616.23	c  S st   198   4213463       193       396         0    142826      1188   3211823     11.76   no data  --
2460.73/616.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2460.73/616.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2461.13/616.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.30
2461.53/616.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2461.53/616.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2461.53/616.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
2461.53/616.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2916.54/730.31	c lits-rem:      4363  cl-subs:     9084  v-elim:      0  v-fix:    0  time: 454.74 s
2916.54/730.31	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
2916.54/730.35	c vivif2 --  cl tried   133742 cl shrink        0 lits rem          0 time: 0.15
2916.94/730.45	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.39
2916.94/730.45	c calculated reachability. Time: 0.00
2916.94/730.45	c  N st   198   4213463       193       396         0    133742      1188   2863696     11.76   no data  --
3088.68/773.45	c  N st   199   4459441       193       396         0    108661      1188   2047391     11.76   no data  --
3230.89/809.04	c  N st   200   4713463       193       396         0     84758      1188   1243931     11.76   no data  --
3230.89/809.04	c  S st   200   4713463       193       396         0     84758      1188   1243931     11.76   no data  --
3231.29/809.18	c  S st   200   4713969       193       396         0     85256      1188   1259592     11.76   no data  --
3231.29/809.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3231.29/809.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3231.69/809.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.12
3231.69/809.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3231.69/809.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3231.69/809.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
3231.69/809.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3245.67/812.79	c lits-rem:      1460  cl-subs:      739  v-elim:      0  v-fix:    0  time: 14.10 s
3245.67/812.79	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
3246.09/812.80	c vivif2 --  cl tried    84517 cl shrink        0 lits rem          0 time: 0.05
3246.09/812.84	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.14
3246.09/812.84	c calculated reachability. Time: 0.00
3246.09/812.84	c  N st   200   4713969       193       396         0     84517      1188   1233791     11.76   no data  --
3551.65/889.38	c  N st   201   5213971       193       396         0     94633      1188   1422636     11.76   no data  --
3551.65/889.38	c  S st   201   5213971       193       396         0     94633      1188   1422636     11.76   no data  --
3552.45/889.56	c  S st   201   5214476       193       396         0     95130      1188   1437064     11.76   no data  --
3552.45/889.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3552.45/889.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3552.85/889.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
3552.85/889.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3552.85/889.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3552.85/889.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
3552.85/889.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3571.65/894.37	c lits-rem:      1634  cl-subs:     1396  v-elim:      0  v-fix:    0  time: 18.84 s
3571.65/894.37	c vivif2 --  cl tried      396 cl shrink        0 lits rem          0 time: 0.00
3571.65/894.39	c vivif2 --  cl tried    93734 cl shrink        0 lits rem          0 time: 0.07
3572.03/894.44	c asymm  cl-useful: 0/396/396 lits-rem:0 time: 0.20
3572.03/894.44	c calculated reachability. Time: 0.00
3572.03/894.45	c  N st   201   5214476       193       396         0     93734      1188   1390815     11.76   no data  --
3955.91/990.50	c  N st   202   5714477       193       396         0    174847      1188   4333509     11.76   no data  --
3955.91/990.50	c  S st   202   5714477       193       396         0    174847      1188   4333509     11.76   no data  --
3957.51/990.96	c  S st   202   5714980       193       396         0    175344      1188   4348349     11.76   no data  --
3957.51/990.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3957.51/990.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3957.93/991.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.41
3958.70/991.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3958.70/991.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3958.70/991.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    193 time:  0.00 s
3958.70/991.23	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3274229-1304128836/watcher-3274229-1304128836 -o /tmp/evaluation-result-3274229-1304128836/solver-3274229-1304128836 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3274229-1304128836.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.47 7.91 7.33 2/173 28765
/proc/meminfo: memFree=30930840/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 524481605 52465664 352 33554432000 4194304 4650419 140736337779888 18446744073709551615 47724514232242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 12809 352 303 112 0 7774 0
[pid=28765/tid=28766] ppid=28763 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 524481605 52465664 352 33554432000 4194304 4650419 140736337779888 18446744073709551615 47724514232242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 524481605 52465664 352 33554432000 4194304 4650419 140736337779888 18446744073709551615 47724514232236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524481606 52465664 352 33554432000 4194304 4650419 140736337779888 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.051726 s]
/proc/loadavg: 7.47 7.91 7.33 2/173 28765
/proc/meminfo: memFree=30930840/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=282068 CPUtime=0.18 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 1141 0 0 0 18 0 0 0 18 0 4 0 524481605 288837632 1042 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 70517 1042 390 112 0 65482 0
[pid=28765/tid=28766] ppid=28763 vsize=282068 CPUtime=0.04 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 180 0 0 0 4 0 0 0 18 0 4 0 524481605 288837632 1042 33554432000 4194304 4650419 140736337779888 18446744073709551615 4334017 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=282068 CPUtime=0.04 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 170 0 0 0 4 0 0 0 18 0 4 0 524481605 288837632 1042 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=282068 CPUtime=0.04 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 167 0 0 0 4 0 0 0 24 0 4 0 524481606 288837632 1042 33554432000 4194304 4650419 140736337779888 18446744073709551615 4333002 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) 282068

[startup+0.100716 s]
/proc/loadavg: 7.47 7.91 7.33 2/173 28765
/proc/meminfo: memFree=30930840/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=283016 CPUtime=0.38 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 1717 0 0 0 38 0 0 0 18 0 4 0 524481605 289808384 1165 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 70754 1165 392 112 0 65719 0
[pid=28765/tid=28766] ppid=28763 vsize=283016 CPUtime=0.09 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 323 0 0 0 9 0 0 0 18 0 4 0 524481605 289808384 1165 33554432000 4194304 4650419 140736337779888 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=283016 CPUtime=0.09 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 322 0 0 0 9 0 0 0 18 0 4 0 524481605 289808384 1165 33554432000 4194304 4650419 140736337779888 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=283016 CPUtime=0.09 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 316 0 0 0 9 0 0 0 24 0 4 0 524481606 289808384 1165 33554432000 4194304 4650419 140736337779888 18446744073709551615 4315210 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 283016

[startup+0.300682 s]
/proc/loadavg: 7.47 7.91 7.33 2/173 28765
/proc/meminfo: memFree=30930840/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=283948 CPUtime=1.18 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 3076 0 0 0 118 0 0 0 18 0 4 0 524481605 290762752 1789 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 70987 1789 392 112 0 65952 0
[pid=28765/tid=28766] ppid=28763 vsize=283948 CPUtime=0.29 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 667 0 0 0 29 0 0 0 18 0 4 0 524481605 290762752 1789 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=283948 CPUtime=0.29 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 690 0 0 0 29 0 0 0 18 0 4 0 524481605 290762752 1789 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=283948 CPUtime=0.29 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 636 0 0 0 29 0 0 0 25 0 4 0 524481606 290762752 1789 33554432000 4194304 4650419 140736337779888 18446744073709551615 4333980 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283948

[startup+0.700611 s]
/proc/loadavg: 7.47 7.91 7.33 2/173 28765
/proc/meminfo: memFree=30930840/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=285224 CPUtime=2.77 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 5551 0 0 0 277 0 0 0 18 0 4 0 524481605 292069376 2564 33554432000 4194304 4650419 140736337779888 18446744073709551615 4346040 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 71306 2564 394 112 0 66271 0
[pid=28765/tid=28766] ppid=28763 vsize=285224 CPUtime=0.69 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 1323 0 0 0 69 0 0 0 18 0 4 0 524481605 292069376 2564 33554432000 4194304 4650419 140736337779888 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=285224 CPUtime=0.69 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 1229 0 0 0 69 0 0 0 18 0 4 0 524481605 292069376 2564 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=285224 CPUtime=0.68 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 1261 0 0 0 68 0 0 0 25 0 4 0 524481606 292069376 2564 33554432000 4194304 4650419 140736337779888 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285224

[startup+1.50047 s]
/proc/loadavg: 7.67 7.95 7.35 10/184 28777
/proc/meminfo: memFree=30841596/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=290408 CPUtime=5.96 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 14691 0 0 0 594 2 0 0 20 0 4 0 524481605 297377792 8889 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 72602 8889 394 112 0 67567 0
[pid=28765/tid=28766] ppid=28763 vsize=290408 CPUtime=1.49 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 3711 0 0 0 149 0 0 0 19 0 4 0 524481605 297377792 8889 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366602 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=290408 CPUtime=1.49 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 4200 0 0 0 149 0 0 0 20 0 4 0 524481605 297377792 8889 33554432000 4194304 4650419 140736337779888 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=290408 CPUtime=1.48 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 3038 0 0 0 147 1 0 0 25 0 4 0 524481606 297377792 8889 33554432000 4194304 4650419 140736337779888 18446744073709551615 4439181 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) 290408

[startup+3.10118 s]
/proc/loadavg: 7.67 7.95 7.35 9/184 28777
/proc/meminfo: memFree=30775504/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=308020 CPUtime=12.37 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 20239 0 0 0 1234 3 0 0 25 0 4 0 524481605 315412480 13317 33554432000 4194304 4650419 140736337779888 18446744073709551615 4439366 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 77005 13317 394 112 0 71970 0
[pid=28765/tid=28766] ppid=28763 vsize=308020 CPUtime=3.08 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 5587 0 0 0 308 0 0 0 25 0 4 0 524481605 315412480 13317 33554432000 4194304 4650419 140736337779888 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=308020 CPUtime=3.09 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 4586 0 0 0 309 0 0 0 25 0 4 0 524481605 315412480 13317 33554432000 4194304 4650419 140736337779888 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=308020 CPUtime=3.08 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 4596 0 0 0 307 1 0 0 25 0 4 0 524481606 315412480 13317 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 308020

[startup+6.30061 s]
/proc/loadavg: 7.67 7.95 7.35 9/184 28778
/proc/meminfo: memFree=30713828/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=308204 CPUtime=25.15 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 28511 0 0 0 2510 5 0 0 25 0 4 0 524481605 315600896 18170 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 77051 18170 394 112 0 72016 0
[pid=28765/tid=28766] ppid=28763 vsize=308204 CPUtime=6.29 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 7631 0 0 0 628 1 0 0 25 0 4 0 524481605 315600896 18170 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=308204 CPUtime=6.28 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 7246 0 0 0 628 0 0 0 25 0 4 0 524481605 315600896 18170 33554432000 4194304 4650419 140736337779888 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=308204 CPUtime=6.25 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 6628 0 0 0 624 1 0 0 25 0 4 0 524481606 315600896 18170 33554432000 4194304 4650419 140736337779888 18446744073709551615 4334226 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 308204

[startup+12.7005 s]
/proc/loadavg: 7.72 7.95 7.35 9/184 28778
/proc/meminfo: memFree=30663124/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=330348 CPUtime=50.71 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 46468 0 0 0 5063 8 0 0 25 0 4 0 524481605 338276352 26216 33554432000 4194304 4650419 140736337779888 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 82587 26216 394 112 0 77552 0
[pid=28765/tid=28766] ppid=28763 vsize=330348 CPUtime=12.69 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 12388 0 0 0 1267 2 0 0 25 0 4 0 524481605 338276352 26216 33554432000 4194304 4650419 140736337779888 18446744073709551615 4333024 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=330348 CPUtime=12.69 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 12967 0 0 0 1267 2 0 0 25 0 4 0 524481605 338276352 26216 33554432000 4194304 4650419 140736337779888 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=330348 CPUtime=12.62 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 10097 0 0 0 1260 2 0 0 25 0 4 0 524481606 338276352 26216 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 330348

[startup+25.5012 s]
/proc/loadavg: 7.77 7.95 7.36 9/184 28787
/proc/meminfo: memFree=30594168/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=348460 CPUtime=101.84 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 73221 0 0 0 10169 15 0 0 25 0 4 0 524481605 356823040 32073 33554432000 4194304 4650419 140736337779888 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 87115 32073 394 112 0 82080 0
[pid=28765/tid=28766] ppid=28763 vsize=348460 CPUtime=25.49 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 21892 0 0 0 2545 4 0 0 25 0 4 0 524481605 356823040 32073 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=348460 CPUtime=25.49 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 21672 0 0 0 2544 5 0 0 25 0 4 0 524481605 356823040 32073 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=348460 CPUtime=25.34 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 12058 0 0 0 2532 2 0 0 25 0 4 0 524481606 356823040 32073 33554432000 4194304 4650419 140736337779888 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 348460

[startup+51.1006 s]
/proc/loadavg: 7.84 7.95 7.38 9/184 28788
/proc/meminfo: memFree=30456596/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=341636 CPUtime=204.1 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 121824 0 0 0 20382 28 0 0 25 0 4 0 524481605 349835264 41860 33554432000 4194304 4650419 140736337779888 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 85409 41860 394 112 0 80374 0
[pid=28765/tid=28766] ppid=28763 vsize=341636 CPUtime=51.09 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 39684 0 0 0 5101 8 0 0 25 0 4 0 524481605 349835264 41860 33554432000 4194304 4650419 140736337779888 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=341636 CPUtime=51.09 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 36753 0 0 0 5100 9 0 0 25 0 4 0 524481605 349835264 41860 33554432000 4194304 4650419 140736337779888 18446744073709551615 4314865 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=341636 CPUtime=50.81 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 17876 0 0 0 5076 5 0 0 25 0 4 0 524481606 349835264 41860 33554432000 4194304 4650419 140736337779888 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 341636

[startup+102.306 s]
/proc/loadavg: 8.32 8.05 7.44 10/189 29203
/proc/meminfo: memFree=30303624/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=444540 CPUtime=408.17 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 196273 0 0 0 40772 45 0 0 25 0 4 0 524481605 455208960 56983 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 111135 56983 394 112 0 106100 0
[pid=28765/tid=28766] ppid=28763 vsize=444540 CPUtime=101.96 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 67218 0 0 0 10181 15 0 0 25 0 4 0 524481605 455208960 56983 33554432000 4194304 4650419 140736337779888 18446744073709551615 4364746 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=444540 CPUtime=102.27 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 64098 0 0 0 10211 16 0 0 25 0 4 0 524481605 455208960 56983 33554432000 4194304 4650419 140736337779888 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=444540 CPUtime=101.7 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 24443 0 0 0 10164 6 0 0 25 0 4 0 524481606 455208960 56983 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 444540

[startup+162.301 s]

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

[pid=28765] ppid=28763 vsize=834240 CPUtime=2804.66 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 612545 0 0 0 280253 213 0 0 25 0 4 0 524481605 854261760 159880 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 208560 159880 394 112 0 203525 0
[pid=28765/tid=28766] ppid=28763 vsize=834240 CPUtime=701.76 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 218875 0 0 0 70102 74 0 0 25 0 4 0 524481605 854261760 159880 33554432000 4194304 4650419 140736337779888 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=834240 CPUtime=702.27 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 195740 0 0 0 70163 64 0 0 25 0 4 0 524481605 854261760 159880 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=834240 CPUtime=698.42 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 73207 0 0 0 69811 31 0 0 25 0 4 0 524481606 854261760 159880 33554432000 4194304 4650419 140736337779888 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.66
Current children cumulated vsize (KiB) 834240

[startup+762.307 s]
/proc/loadavg: 8.02 8.35 8.00 9/184 29276
/proc/meminfo: memFree=29565272/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=849300 CPUtime=3044.37 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 649079 0 0 0 304211 226 0 0 25 0 4 0 524481605 869683200 161369 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 212325 161369 394 112 0 207290 0
[pid=28765/tid=28766] ppid=28763 vsize=849300 CPUtime=761.76 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 228871 0 0 0 76098 78 0 0 25 0 4 0 524481605 869683200 161369 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=849300 CPUtime=762.28 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 213269 0 0 0 76161 67 0 0 25 0 4 0 524481605 869683200 161369 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=849300 CPUtime=758.09 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 73970 0 0 0 75777 32 0 0 25 0 4 0 524481606 869683200 161369 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.37
Current children cumulated vsize (KiB) 849300

[startup+822.301 s]
/proc/loadavg: 8.07 8.30 8.00 9/184 29277
/proc/meminfo: memFree=29527384/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=916912 CPUtime=3284.01 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 694712 0 0 0 328161 240 0 0 25 0 4 0 524481605 938917888 158814 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 229228 158814 394 112 0 224193 0
[pid=28765/tid=28766] ppid=28763 vsize=916912 CPUtime=821.77 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 245515 0 0 0 82091 86 0 0 25 0 4 0 524481605 938917888 158814 33554432000 4194304 4650419 140736337779888 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=916912 CPUtime=822.28 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 234463 0 0 0 82157 71 0 0 25 0 4 0 524481605 938917888 158814 33554432000 4194304 4650419 140736337779888 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=916912 CPUtime=817.77 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 75210 0 0 0 81744 33 0 0 25 0 4 0 524481606 938917888 158814 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.01
Current children cumulated vsize (KiB) 916912

[startup+882.3 s]
/proc/loadavg: 8.02 8.24 8.00 9/184 29279
/proc/meminfo: memFree=29517292/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=821780 CPUtime=3523.69 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 729868 0 0 0 352110 259 0 0 25 0 4 0 524481605 841502720 163995 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 205445 163995 394 112 0 200410 0
[pid=28765/tid=28766] ppid=28763 vsize=821780 CPUtime=881.76 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 259550 0 0 0 88084 92 0 0 25 0 4 0 524481605 841502720 163995 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=821780 CPUtime=882.28 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 237680 0 0 0 88154 74 0 0 25 0 4 0 524481605 841502720 163995 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=821780 CPUtime=877.43 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 79403 0 0 0 87708 35 0 0 25 0 4 0 524481606 841502720 163995 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.69
Current children cumulated vsize (KiB) 821780

[startup+942.3 s]
/proc/loadavg: 8.09 8.22 8.01 9/184 29281
/proc/meminfo: memFree=29433784/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=897704 CPUtime=3763.37 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 758341 0 0 0 376063 274 0 0 25 0 4 0 524481605 919248896 177863 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 224426 177863 394 112 0 219391 0
[pid=28765/tid=28766] ppid=28763 vsize=897704 CPUtime=941.77 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 271430 0 0 0 94079 98 0 0 25 0 4 0 524481605 919248896 177863 33554432000 4194304 4650419 140736337779888 18446744073709551615 4364796 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=897704 CPUtime=942.28 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 239177 0 0 0 94153 75 0 0 25 0 4 0 524481605 919248896 177863 33554432000 4194304 4650419 140736337779888 18446744073709551615 4328246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=897704 CPUtime=937.11 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 79403 0 0 0 93676 35 0 0 25 0 4 0 524481606 919248896 177863 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.37
Current children cumulated vsize (KiB) 897704

[startup+1002.3 s]
/proc/loadavg: 8.13 8.21 8.01 9/184 29282
/proc/meminfo: memFree=29403464/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=1094504 CPUtime=4003.04 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 779945 0 0 0 400019 285 0 0 25 0 4 0 524481605 1120772096 189216 33554432000 4194304 4650419 140736337779888 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 273626 189216 394 112 0 268591 0
[pid=28765/tid=28766] ppid=28763 vsize=1094504 CPUtime=1001.77 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 275725 0 0 0 100076 101 0 0 25 0 4 0 524481605 1120772096 189216 33554432000 4194304 4650419 140736337779888 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=1094504 CPUtime=1002.27 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 247261 0 0 0 100151 76 0 0 25 0 4 0 524481605 1120772096 189216 33554432000 4194304 4650419 140736337779888 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=1094504 CPUtime=996.78 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 81275 0 0 0 99641 37 0 0 25 0 4 0 524481606 1120772096 189216 33554432000 4194304 4650419 140736337779888 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.04
Current children cumulated vsize (KiB) 1094504

[startup+1062.3 s]
/proc/loadavg: 8.08 8.18 8.01 9/184 29284
/proc/meminfo: memFree=29369948/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=1103492 CPUtime=4242.72 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 796190 0 0 0 423977 295 0 0 25 0 4 0 524481605 1129975808 192564 33554432000 4194304 4650419 140736337779888 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 275873 192564 394 112 0 270838 0
[pid=28765/tid=28766] ppid=28763 vsize=1103492 CPUtime=1061.76 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 290720 0 0 0 106067 109 0 0 25 0 4 0 524481605 1129975808 192564 33554432000 4194304 4650419 140736337779888 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=1103492 CPUtime=1062.28 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 247261 0 0 0 106152 76 0 0 25 0 4 0 524481605 1129975808 192564 33554432000 4194304 4650419 140736337779888 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=1103492 CPUtime=1056.45 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 82525 0 0 0 105607 38 0 0 25 0 4 0 524481606 1129975808 192564 33554432000 4194304 4650419 140736337779888 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.72
Current children cumulated vsize (KiB) 1103492

[startup+1122.3 s]
/proc/loadavg: 8.03 8.15 8.00 9/184 29285
/proc/meminfo: memFree=29388612/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=1103492 CPUtime=4482.4 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 798439 0 0 0 447944 296 0 0 25 0 4 0 524481605 1129975808 193217 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 275873 193217 394 112 0 270838 0
[pid=28765/tid=28766] ppid=28763 vsize=1103492 CPUtime=1121.77 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 290720 0 0 0 112068 109 0 0 25 0 4 0 524481605 1129975808 193217 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=1103492 CPUtime=1122.28 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 247568 0 0 0 112152 76 0 0 25 0 4 0 524481605 1129975808 193217 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=1103492 CPUtime=1116.12 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 82539 0 0 0 111574 38 0 0 25 0 4 0 524481606 1129975808 193217 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 1103492

[startup+1182.3 s]
/proc/loadavg: 8.22 8.17 8.02 9/184 29287
/proc/meminfo: memFree=29369828/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=1103492 CPUtime=4722.08 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 803238 0 0 0 471911 297 0 0 25 0 4 0 524481605 1129975808 193304 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 275873 193304 394 112 0 270838 0
[pid=28765/tid=28766] ppid=28763 vsize=1103492 CPUtime=1181.77 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 291581 0 0 0 118067 110 0 0 25 0 4 0 524481605 1129975808 193304 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=1103492 CPUtime=1182.28 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 247577 0 0 0 118152 76 0 0 25 0 4 0 524481605 1129975808 193304 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=1103492 CPUtime=1175.8 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 82539 0 0 0 117542 38 0 0 25 0 4 0 524481606 1129975808 193304 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.08
Current children cumulated vsize (KiB) 1103492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.16 8.15 8.01 9/184 29287
/proc/meminfo: memFree=29371304/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=1103492 CPUtime=4800.39 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 805282 0 0 0 479742 297 0 0 25 0 4 0 524481605 1129975808 193318 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 275873 193318 394 112 0 270838 0
[pid=28765/tid=28766] ppid=28763 vsize=1103492 CPUtime=1201.38 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 292534 0 0 0 120028 110 0 0 25 0 4 0 524481605 1129975808 193318 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=1103492 CPUtime=1201.88 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 247577 0 0 0 120112 76 0 0 25 0 4 0 524481605 1129975808 193318 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=1103492 CPUtime=1195.29 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 82539 0 0 0 119491 38 0 0 25 0 4 0 524481606 1129975808 193318 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 1103492

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

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

[startup+1201.9 s]
/proc/loadavg: 8.16 8.15 8.01 9/184 29287
/proc/meminfo: memFree=29371304/32951124 swapFree=67111444/67111528
[pid=28765] ppid=28763 vsize=1103492 CPUtime=4800.39 cores=1,3,5,7
/proc/28765/stat : 28765 (strangenight1-m) R 28763 28765 27910 0 -1 4202496 805282 0 0 0 479742 297 0 0 25 0 4 0 524481605 1129975808 193318 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28765/statm: 275873 193318 394 112 0 270838 0
[pid=28765/tid=28766] ppid=28763 vsize=1103492 CPUtime=1201.38 cores=1,3,5,7
/proc/28765/task/28766/stat : 28766 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 292534 0 0 0 120028 110 0 0 25 0 4 0 524481605 1129975808 193318 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28765/tid=28767] ppid=28763 vsize=1103492 CPUtime=1201.88 cores=1,3,5,7
/proc/28765/task/28767/stat : 28767 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 247577 0 0 0 120112 76 0 0 25 0 4 0 524481605 1129975808 193318 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28765/tid=28768] ppid=28763 vsize=1103492 CPUtime=1195.29 cores=1,3,5,7
/proc/28765/task/28768/stat : 28768 (strangenight1-m) R 28763 28765 27910 0 -1 4202560 82539 0 0 0 119491 38 0 0 25 0 4 0 524481606 1129975808 193318 33554432000 4194304 4650419 140736337779888 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 1103492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.95
CPU time (s): 4800.45
CPU user time (s): 4797.44
CPU system time (s): 3.00754
CPU usage (%): 399.39
Max. virtual memory (cumulated for all children) (KiB): 1159052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.44
system time used= 3.00754
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 805282
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= 276
involuntary context switches= 35942

runsolver used 1.66875 second user time and 4.90925 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-30 04:00:36
IDJOB=3274229
IDBENCH=83156
IDSOLVER=1588
FILE ID=node138/3274229-1304128836
RUNJOBID= node138-1304128836-28751
PBS_JOBID= 13170741
Free space on /tmp= 71816 MiB

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

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

MD5SUM BENCH= f2cf61fc47972fb7e89be65d1a83332e
RANDOM SEED=1210775142

node138.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.854
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.70
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.854
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.854
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.854
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.854
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.80
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.854
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.854
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.854
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:      30932608 kB
Buffers:        619860 kB
Cached:         947156 kB
SwapCached:         84 kB
Active:         100484 kB
Inactive:      1530080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30932608 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:            9412 kB
Writeback:           0 kB
AnonPages:       63552 kB
Mapped:          14488 kB
Slab:           324340 kB
PageTables:       4876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190832 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= 72396 MiB
End job on node138 at 2011-04-30 04:20:40