Trace number 3173942

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-2-mt? (TO) 4800.39 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf
MD5SUM7dd850f670e1c9ea63e995ef24dddf5f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.06399
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173942-1304073874.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.01	c -- vars added        800
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       800      3408         0         0     10224         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.00 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:     339 undec:      85 neg:     376
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       780      3387         0         0     10308         0   no data   no data
0.53/0.15	c Decided on static restart strategy
0.53/0.19	c  N st     8      4918       780      3387         0      4880     10308    163782   no data   no data
1.98/0.51	c  N st    10     11301       780      3387         0      4522     10308    104108   no data   no data
3.18/0.80	c  N st    11     17044       780      3387         0     10223     10308    309118   no data   no data
5.17/1.32	c  F st    12     25000       780      3387         0     12520     10308    389290   no data   no data
5.17/1.32	c  N st    12     25000       780      3387         0     12520     10308    389290   no data   no data
5.97/1.59	c  N dy    18     30000       780      3387         0     10741     10308    285398   no data   no data
5.97/1.59	c  S st    18     30000       780      3387         0     10741     10308    285398   no data   no data
6.37/1.62	c  S st    18     30505       780      3387         0     11246     10308    301059   no data   no data
6.37/1.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.37/1.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
6.37/1.63	c blocked clauses removed:        0 vars:      0 tried:         780 T: 0.00 s
6.37/1.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
6.37/1.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
6.37/1.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.78/1.70	c lits-rem:       215  cl-subs:      180  v-elim:      0  v-fix:    0  time:  0.05 s
6.78/1.70	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.01
6.78/1.70	c calculated reachability. Time: 0.00
6.78/1.71	c  N dy    18     30505       780      3387         0     11066     10308    293057   no data   no data
7.58/1.98	c  N dy    28     34730       780      3387         0     15261     10308    432251     22.97     24.21
9.17/2.34	c  N dy    37     40897       780      3387         0     13544     10308    306766     21.51     22.67
10.37/2.63	c  N dy    58     44907       780      3387         0     17540     10308    436795     21.71     23.96
10.37/2.69	c  S st    63     45757       780      3387         0      9487     10308    137946     21.72   no data
10.77/2.72	c  S st    63     46265       780      3387         0      9993     10308    153865     21.72   no data
10.77/2.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.77/2.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.77/2.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.77/2.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.77/2.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.77/2.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
10.77/2.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.77/2.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.77/2.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.77/2.74	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.01 s
10.77/2.74	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
10.77/2.74	c vivif2 --  cl tried     9988 cl shrink        0 lits rem          0 time: 0.00
10.77/2.75	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.01
10.77/2.75	c calculated reachability. Time: 0.00
10.77/2.75	c  N dy    63     46265       780      3387         0      9988     10308    153653     21.72   no data
11.96/3.01	c  N dy    78     50676       780      3387         0     14373     10308    295500     21.68     22.99
12.79/3.29	c  N dy   100     54706       780      3387         0     18387     10308    424280     21.74     28.10
13.97/3.54	c  N dy   118     58753       780      3387         0     12497     10308    204988     21.78     23.04
15.17/3.81	c  N dy   145     62830       780      3387         0     16558     10308    336684     21.89     23.61
16.37/4.11	c  N dy   164     66871       780      3387         0     20580     10308    469284     21.86     26.40
17.18/4.31	c  S st   178     69397       780      3387         0     12154     10308    160866     21.89     19.21
17.18/4.35	c  S st   178     69900       780      3387         0     12657     10308    175144     21.89   no data
17.18/4.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.18/4.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.18/4.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.18/4.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.18/4.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.18/4.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
17.18/4.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.18/4.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.18/4.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.18/4.37	c lits-rem:         9  cl-subs:       26  v-elim:      0  v-fix:    0  time:  0.01 s
17.18/4.37	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
17.18/4.38	c vivif2 --  cl tried    12631 cl shrink        0 lits rem          0 time: 0.00
17.18/4.38	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.01
17.18/4.38	c calculated reachability. Time: 0.00
17.18/4.38	c  N dy   178     69900       780      3387         0     12631     10308    174049     21.89   no data
18.36/4.68	c  N dy   188     74409       780      3387         0     17105     10308    310840     21.74     25.75
19.95/5.05	c  N dy   204     79177       780      3387         0     21833     10308    457350     21.66     23.03
21.98/5.51	c  N dy   229     85331       780      3387         0     16020     10308    258752     21.55     22.80
22.35/5.67	c  F st   242     87501       780      3387         0     18184     10308    327802     21.57   no data
23.55/5.92	c  N st   247     90796       780      3387         0     21455     10308    434800     21.57   no data
23.95/6.08	c Decided on static restart strategy
26.37/6.66	c  N st   250     99807       780      3387         0     17476     10308    432900     21.57   no data
27.95/7.06	c  S st   251    104851       780      3387         0     22471     10308    610606     21.57   no data
28.35/7.12	c  S st   251    105352       780      3387         0     22972     10308    626288     21.57   no data
28.35/7.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.35/7.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.35/7.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.35/7.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.35/7.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.35/7.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
28.35/7.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.35/7.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.35/7.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.14/7.37	c lits-rem:       141  cl-subs:      494  v-elim:      0  v-fix:    0  time:  0.21 s
29.14/7.37	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
29.14/7.37	c vivif2 --  cl tried    22478 cl shrink        0 lits rem          0 time: 0.01
29.14/7.39	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.01
29.14/7.39	c calculated reachability. Time: 0.00
29.14/7.39	c  N st   251    105352       780      3387         0     22478     10308    604914     21.57   no data
32.74/8.26	c  N st   252    114950       780      3387         0     18052     10308    410898     21.57   no data
38.74/9.71	c  N st   253    129351       780      3387         0     17491     10308    407769     21.57   no data
47.12/11.86	c  N st   254    150947       780      3387         0     23027     10308    532614     21.57   no data
49.92/12.55	c  S st   255    158030       780      3387         0     30057     10308    784223     21.57   no data
50.32/12.62	c  S st   255    158534       780      3387         0     30561     10308    799841     21.57   no data
50.32/12.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.32/12.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
50.32/12.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.32/12.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.32/12.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.32/12.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
50.32/12.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.32/12.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.32/12.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.92/13.06	c lits-rem:       108  cl-subs:      624  v-elim:      0  v-fix:    0  time:  0.39 s
51.92/13.06	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
51.92/13.07	c vivif2 --  cl tried    29937 cl shrink        0 lits rem          0 time: 0.01
51.92/13.09	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.02
51.92/13.09	c calculated reachability. Time: 0.00
51.92/13.09	c  N st   255    158534       780      3387         0     29937     10308    774846     21.57   no data
75.08/18.86	c  N st   256    207123       780      3387         0     24650     10308    559755     21.57   no data
89.48/22.41	c  N st   257    237802       780      3387         0     35139     10308    875216     21.57   no data
89.48/22.41	c  S st   257    237802       780      3387         0     35139     10308    875216     21.57   no data
89.48/22.50	c  S st   257    238304       780      3387         0     35640     10308    891031     21.57   no data
89.88/22.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
89.88/22.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
89.88/22.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89.88/22.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89.88/22.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.88/22.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
89.88/22.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
89.88/22.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
89.88/22.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.47/23.41	c lits-rem:       122  cl-subs:     1117  v-elim:      0  v-fix:    0  time:  0.85 s
93.47/23.41	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
93.47/23.42	c vivif2 --  cl tried    34523 cl shrink        0 lits rem          0 time: 0.01
93.47/23.45	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.03
93.47/23.45	c calculated reachability. Time: 0.00
93.47/23.45	c  N st   257    238304       780      3387         0     34523     10308    845920     21.57   no data
130.22/32.64	c  F st   258    306250       780      3387         0     36419     10308    884762     21.57   no data
130.22/32.64	c  N st   258    306250       780      3387         0     36419     10308    884762     21.57   no data
140.62/35.27	c  N dy   344    325861       780      3387         0     32151     10308    568413     21.72     27.75
152.59/38.27	c  N dy   429    346084       780      3387         0     27456     10308    360043     21.70     23.11
158.58/39.70	c  S st   487    357457       780      3387         0     38775     10308    725171     21.76   no data
158.58/39.79	c  S st   487    357959       780      3387         0     39277     10308    740547     21.76   no data
158.98/39.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
158.98/39.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
158.98/39.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
158.98/39.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
158.98/39.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
158.98/39.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
158.98/39.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
158.98/39.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
158.98/39.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.18/40.10	c lits-rem:       123  cl-subs:      278  v-elim:      0  v-fix:    0  time:  0.25 s
160.18/40.10	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
160.18/40.11	c vivif2 --  cl tried    38999 cl shrink        0 lits rem          0 time: 0.01
160.18/40.14	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.03
160.18/40.14	c calculated reachability. Time: 0.00
160.18/40.14	c  N dy   487    357959       780      3387         0     38999     10308    729539     21.76   no data
172.56/43.20	c  N dy   562    378607       780      3387         0     33667     10308    509313     21.67     22.83
185.74/46.50	c  N dy   647    399397       780      3387         0     27508     10308    281843     21.64     22.86
196.93/49.36	c  N dy   740    419525       780      3387         0     47520     10308    922669     21.67     22.93
209.32/52.41	c  N dy   832    439570       780      3387         0     39621     10308    643387     21.66     23.34
223.71/56.09	c  N dy   919    461850       780      3387         0     32942     10308    390729     21.62     23.00
236.49/59.21	c  N dy  1041    481859       780      3387         0     52846     10308   1027657     21.69     24.01
248.87/62.36	c  N dy  1117    502137       780      3387         0     43163     10308    696883     21.69     22.84
264.45/66.23	c  N dy  1221    522338       780      3387         0     32442     10308    314974     21.74     22.90
272.46/68.25	c  S st  1295    536938       780      3387         0     46970     10308    783573     21.76     20.64
272.83/68.36	c  S st  1295    537445       780      3387         0     47477     10308    800414     21.76   no data
272.83/68.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
272.83/68.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
272.83/68.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
272.83/68.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
272.83/68.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
272.83/68.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
272.83/68.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
273.23/68.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
273.23/68.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
274.83/68.80	c lits-rem:       147  cl-subs:      322  v-elim:      0  v-fix:    0  time:  0.38 s
274.83/68.80	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
274.83/68.81	c vivif2 --  cl tried    47155 cl shrink        0 lits rem          0 time: 0.01
274.83/68.85	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.04
274.83/68.85	c calculated reachability. Time: 0.00
274.83/68.85	c  N dy  1295    537445       780      3387         0     47155     10308    788165     21.76   no data
290.81/72.81	c  N dy  1415    557993       780      3387         0     35760     10308    396145     21.81     23.00
304.79/76.40	c  N dy  1469    579654       780      3387         0     57203     10308   1074094     21.75     22.98
318.78/79.88	c  N dy  1545    599675       780      3387         0     44345     10308    645621     21.73     25.16
335.55/84.00	c  N dy  1651    620061       780      3387         0     64607     10308   1302577     21.76     22.91
349.14/87.49	c  N dy  1749    640630       780      3387         0     51277     10308    850489     21.78     22.98
366.71/91.82	c  N dy  1836    660920       780      3387         0     36653     10308    345153     21.78     23.06
379.50/95.09	c  N dy  1921    681115       780      3387         0     56720     10308    995820     21.77     23.17
397.87/99.63	c  N dy  2032    701119       780      3387         0     40835     10308    453318     21.80     27.40
411.86/103.19	c  N dy  2100    721183       780      3387         0     60770     10308   1095395     21.80     23.08
429.44/107.50	c  N dy  2224    741189       780      3387         0     43884     10308    517499     21.85     23.12
445.41/111.55	c  N dy  2312    762322       780      3387         0     64881     10308   1201553     21.85     23.09
462.59/115.82	c  N dy  2420    782380       780      3387         0     47042     10308    601663     21.89     24.91
478.99/119.96	c  N dy  2525    803039       780      3387         0     67584     10308   1276358     21.91     23.27
482.57/120.81	c  S st  2546    806169       780      3387         0     70705     10308   1376590     21.91   no data
482.98/120.99	c  S st  2546    806676       780      3387         0     71212     10308   1392726     21.91   no data
482.98/120.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
483.38/121.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
483.38/121.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
483.38/121.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
483.38/121.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
483.38/121.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
483.38/121.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
483.38/121.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
483.38/121.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
487.78/122.19	c lits-rem:       280  cl-subs:      641  v-elim:      0  v-fix:    0  time:  1.10 s
487.78/122.19	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
488.15/122.21	c vivif2 --  cl tried    70571 cl shrink        0 lits rem          0 time: 0.02
488.15/122.28	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.07
488.15/122.28	c calculated reachability. Time: 0.00
488.15/122.28	c  N dy  2546    806676       780      3387         0     70571     10308   1367272     21.91   no data
504.96/126.42	c  N dy  2657    826746       780      3387         0     51737     10308    728521     21.95     25.52
522.12/130.80	c  N dy  2725    846823       780      3387         0     71683     10308   1373538     21.93     23.15
540.10/135.24	c  N dy  2833    866824       780      3387         0     51819     10308    703092     21.96     23.88
563.27/141.03	c  N dy  2881    893114       780      3387         0     77920     10308   1541777     21.89     23.05
581.25/145.56	c  N dy  2978    915929       780      3387         0     59818     10308    928694     21.90     23.06
602.04/150.79	c  N dy  3077    936222       780      3387         0     79994     10308   1578100     21.91     23.19
619.21/155.03	c  N dy  3140    957157       780      3387         0     59052     10308    869418     21.90     23.21
639.96/160.22	c  N dy  3268    977163       780      3387         0     78952     10308   1523049     21.93     25.26
657.14/164.57	c  N dy  3339    997382       780      3387         0     56345     10308    767528     21.92     23.54
677.11/169.51	c  N dy  3473   1017444       780      3387         0     76314     10308   1430804     21.95     28.45
697.49/174.67	c  N dy  3591   1037485       780      3387         0     52508     10308    615516     21.98     23.72
715.88/179.29	c  N dy  3681   1057712       780      3387         0     72635     10308   1274904     21.98     23.28
733.04/183.59	c  F st  3748   1071876       780      3387         0     86708     10308   1733740     21.99   no data
738.63/184.93	c Decided on static restart strategy
740.23/185.36	c  N st  3755   1079914       780      3387         0     49953     10308    515880     21.99   no data
756.21/189.36	c  N st  3758   1100180       780      3387         0     69974     10308   1221383     21.99   no data
788.16/197.37	c  N st  3760   1136173       780      3387         0     59973     10308   1443041     21.99   no data
824.51/206.42	c  N st  3761   1168567       780      3387         0     91884     10308   2652120     21.99   no data
868.06/217.33	c  N st  3762   1210015       780      3387         0     86338     10308   2442186     21.99   no data
868.06/217.33	c  S st  3762   1210015       780      3387         0     86338     10308   2442186     21.99   no data
868.86/217.57	c  S st  3762   1210518       780      3387         0     86839     10308   2458399     21.99   no data
868.86/217.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
869.26/217.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
869.26/217.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
869.26/217.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
869.26/217.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
869.26/217.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
869.26/217.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
869.26/217.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
869.67/217.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
908.81/227.57	c lits-rem:       756  cl-subs:     3231  v-elim:      0  v-fix:    0  time:  9.83 s
908.81/227.57	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
908.81/227.60	c vivif2 --  cl tried    83608 cl shrink        0 lits rem          0 time: 0.03
909.22/227.69	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.09
909.22/227.69	c calculated reachability. Time: 0.00
909.22/227.69	c  N st  3762   1210518       780      3387         0     83608     10308   2314053     21.99   no data
987.11/247.14	c  N st  3763   1283400       780      3387         0     59965     10308   1235518     21.99   no data
1109.74/277.80	c  N st  3764   1392723       780      3387         0     68003     10308   1475740     21.99   no data
1300.30/325.54	c  N st  3765   1556707       780      3387         0     72878     10308   1534455     21.99   no data
1510.41/378.14	c  N st  3766   1710518       780      3387         0     59060     10308    892355     21.99   no data
1510.41/378.14	c  S st  3766   1710518       780      3387         0     59060     10308    892355     21.99   no data
1510.81/378.28	c  S st  3766   1711021       780      3387         0     59563     10308    908947     21.99   no data
1510.81/378.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1511.22/378.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
1511.22/378.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1511.22/378.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1511.22/378.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1511.22/378.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
1511.22/378.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1511.22/378.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1511.22/378.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1513.20/378.81	c lits-rem:       175  cl-subs:      265  v-elim:      0  v-fix:    0  time:  0.44 s
1513.20/378.81	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
1513.20/378.82	c vivif2 --  cl tried    59298 cl shrink        0 lits rem          0 time: 0.01
1513.20/378.88	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.05
1513.20/378.88	c calculated reachability. Time: 0.00
1513.20/378.88	c  N st  3766   1711021       780      3387         0     59298     10308    899257     21.99   no data
2001.34/501.07	c  N st  3767   2079986       780      3387         0     64954     10308    891500     21.99   no data
2178.71/545.42	c  N st  3768   2211022       780      3387         0     66696     10308    888877     21.99   no data
2178.71/545.42	c  S st  3768   2211022       780      3387         0     66696     10308    888877     21.99   no data
2179.52/545.61	c  S st  3768   2211525       780      3387         0     67199     10308    904887     21.99   no data
2179.52/545.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2179.52/545.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2179.52/545.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2179.52/545.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2179.52/545.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2179.52/545.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
2179.52/545.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2179.52/545.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2179.52/545.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2180.70/545.97	c lits-rem:        62  cl-subs:      275  v-elim:      0  v-fix:    0  time:  0.27 s
2180.70/545.97	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
2180.70/545.98	c vivif2 --  cl tried    66924 cl shrink        0 lits rem          0 time: 0.01
2181.10/546.04	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.06
2181.10/546.05	c calculated reachability. Time: 0.00
2181.10/546.05	c  N st  3768   2211525       780      3387         0     66924     10308    896163     21.99   no data
2899.34/725.86	c  N st  3769   2711528       780      3387         0     83644     10308   1381752     21.99   no data
2899.34/725.86	c  S st  3769   2711528       780      3387         0     83644     10308   1381752     21.99   no data
2900.15/726.09	c  S st  3769   2712032       780      3387         0     84147     10308   1397343     21.99   no data
2900.53/726.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2900.53/726.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2900.53/726.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2900.53/726.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2900.53/726.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2900.53/726.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
2900.53/726.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2900.53/726.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2900.93/726.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2907.32/727.89	c lits-rem:       173  cl-subs:     1276  v-elim:      0  v-fix:    0  time:  1.67 s
2907.32/727.89	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
2907.72/727.91	c vivif2 --  cl tried    82871 cl shrink        0 lits rem          0 time: 0.02
2908.12/728.00	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.09
2908.12/728.00	c calculated reachability. Time: 0.00
2908.12/728.00	c  N st  3769   2712032       780      3387         0     82871     10308   1350509     21.99   no data
3689.85/923.76	c  N st  3770   3212032       780      3387         0    129042     10308   2974878     21.99   no data
3689.85/923.76	c  S st  3770   3212032       780      3387         0    129042     10308   2974878     21.99   no data
3691.45/924.16	c  S st  3770   3212533       780      3387         0    129543     10308   2990185     21.99   no data
3691.45/924.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3691.85/924.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3691.85/924.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3691.85/924.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3691.85/924.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3691.85/924.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
3691.85/924.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3691.85/924.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3692.24/924.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3769.75/943.72	c lits-rem:      1091  cl-subs:     5114  v-elim:      0  v-fix:    0  time: 19.34 s
3769.75/943.72	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
3769.75/943.76	c vivif2 --  cl tried   124429 cl shrink        0 lits rem          0 time: 0.04
3770.53/943.92	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.15
3770.53/943.92	c calculated reachability. Time: 0.00
3770.53/943.92	c  N st  3770   3212533       780      3387         0    124429     10308   2788689     21.99   no data
4610.58/1154.20	c  N st  3771   3712536       780      3387         0    135229     10308   2970692     21.99   no data
4610.58/1154.20	c  S st  3771   3712536       780      3387         0    135229     10308   2970692     21.99   no data
4612.18/1154.60	c  S st  3771   3713039       780      3387         0    135732     10308   2986634     21.99   no data
4612.18/1154.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4612.18/1154.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
4612.18/1154.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4612.18/1154.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4612.18/1154.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4612.18/1154.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
4612.18/1154.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4612.58/1154.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4612.98/1154.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4702.06/1177.16	c lits-rem:       860  cl-subs:     6102  v-elim:      0  v-fix:    0  time: 22.33 s
4702.06/1177.16	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
4702.46/1177.20	c vivif2 --  cl tried   129630 cl shrink        0 lits rem          0 time: 0.04
4702.86/1177.36	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.15
4702.86/1177.36	c calculated reachability. Time: 0.00
4702.86/1177.36	c  N st  3771   3713039       780      3387         0    129630     10308   2751471     21.99   no data
4799.92/1201.67	c  F st  3772   3751563       780      3387         0     84150     10308    990223     21.99   no data
4799.92/1201.67	c  N st  3772   3751563       780      3387         0     84150     10308    990223     21.99   no data

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-3173942-1304073874/watcher-3173942-1304073874 -o /tmp/evaluation-result-3173942-1304073874/solver-3173942-1304073874 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173942-1304073874.cnf 

running on 4 cores: 0,2,4,6

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: 8.13 8.09 7.57 6/180 2884
/proc/meminfo: memFree=23623492/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 597618118 52441088 348 33554432000 4194304 4627427 140736834294880 18446744073709551615 47574702892978 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 12803 348 299 106 0 7774 0
[pid=2884/tid=2885] ppid=2882 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 597618118 52441088 348 33554432000 4194304 4627427 140736834294880 18446744073709551615 47574702892978 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597618118 52441088 348 33554432000 4194304 4627427 140736834294880 18446744073709551615 47574702892978 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597618118 52441088 348 33554432000 4194304 4627427 140736834294880 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.056728 s]
/proc/loadavg: 8.13 8.09 7.57 6/180 2884
/proc/meminfo: memFree=23623492/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=282136 CPUtime=0.2 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 1834 0 0 0 20 0 0 0 25 0 4 0 597618118 288907264 1700 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 70534 1700 384 106 0 65505 0
[pid=2884/tid=2885] ppid=2882 vsize=282136 CPUtime=0.05 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 386 0 0 0 5 0 0 0 25 0 4 0 597618118 288907264 1700 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=282136 CPUtime=0.05 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 402 0 0 0 5 0 0 0 25 0 4 0 597618118 288907264 1700 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=282136 CPUtime=0.04 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 257 0 0 0 4 0 0 0 25 0 4 0 597618118 288907264 1700 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282136

[startup+0.138308 s]
/proc/loadavg: 8.13 8.09 7.57 6/180 2884
/proc/meminfo: memFree=23623492/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=282268 CPUtime=0.53 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 2237 0 0 0 53 0 0 0 25 0 4 0 597618118 289042432 2103 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308383 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 70567 2103 384 106 0 65538 0
[pid=2884/tid=2885] ppid=2882 vsize=282268 CPUtime=0.13 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 474 0 0 0 13 0 0 0 25 0 4 0 597618118 289042432 2103 33554432000 4194304 4627427 140736834294880 18446744073709551615 260905091264 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=282268 CPUtime=0.13 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 511 0 0 0 13 0 0 0 25 0 4 0 597618118 289042432 2103 33554432000 4194304 4627427 140736834294880 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=282268 CPUtime=0.13 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 373 0 0 0 13 0 0 0 25 0 4 0 597618118 289042432 2103 33554432000 4194304 4627427 140736834294880 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 282268

[startup+0.300684 s]
/proc/loadavg: 8.13 8.09 7.57 6/180 2884
/proc/meminfo: memFree=23623492/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=283980 CPUtime=1.18 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 3280 0 0 0 118 0 0 0 25 0 4 0 597618118 290795520 2344 33554432000 4194304 4627427 140736834294880 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 70995 2344 385 106 0 65966 0
[pid=2884/tid=2885] ppid=2882 vsize=283980 CPUtime=0.29 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 735 0 0 0 29 0 0 0 25 0 4 0 597618118 290795520 2344 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=283980 CPUtime=0.29 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 778 0 0 0 29 0 0 0 25 0 4 0 597618118 290795520 2344 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=283980 CPUtime=0.29 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 642 0 0 0 29 0 0 0 25 0 4 0 597618118 290795520 2344 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283980

[startup+0.700611 s]
/proc/loadavg: 8.13 8.09 7.57 6/180 2884
/proc/meminfo: memFree=23623492/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=285124 CPUtime=2.78 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 5215 0 0 0 277 1 0 0 25 0 4 0 597618118 291966976 3047 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 71281 3047 385 106 0 66252 0
[pid=2884/tid=2885] ppid=2882 vsize=285124 CPUtime=0.69 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 1226 0 0 0 69 0 0 0 25 0 4 0 597618118 291966976 3047 33554432000 4194304 4627427 140736834294880 18446744073709551615 4328679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=285124 CPUtime=0.68 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 1258 0 0 0 68 0 0 0 25 0 4 0 597618118 291966976 3047 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=285124 CPUtime=0.69 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 1122 0 0 0 69 0 0 0 25 0 4 0 597618118 291966976 3047 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285124

[startup+1.50046 s]
/proc/loadavg: 8.12 8.09 7.57 9/184 2888
/proc/meminfo: memFree=23600712/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=286836 CPUtime=5.97 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 9118 0 0 0 595 2 0 0 25 0 4 0 597618118 293720064 3512 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308307 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 71709 3512 386 106 0 66680 0
[pid=2884/tid=2885] ppid=2882 vsize=286836 CPUtime=1.49 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 2195 0 0 0 149 0 0 0 25 0 4 0 597618118 293720064 3513 33554432000 4194304 4627427 140736834294880 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=286836 CPUtime=1.49 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 2231 0 0 0 148 1 0 0 25 0 4 0 597618118 293720064 3513 33554432000 4194304 4627427 140736834294880 18446744073709551615 4310472 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=286836 CPUtime=1.48 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 2110 0 0 0 148 0 0 0 25 0 4 0 597618118 293720064 3513 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286836

[startup+3.10017 s]
/proc/loadavg: 8.12 8.09 7.57 9/184 2888
/proc/meminfo: memFree=23565620/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=277928 CPUtime=12.37 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 20831 0 0 0 1232 5 0 0 25 0 4 0 597618118 284598272 12283 33554432000 4194304 4627427 140736834294880 18446744073709551615 4310399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 69482 12283 389 106 0 64453 0
[pid=2884/tid=2885] ppid=2882 vsize=277928 CPUtime=3.08 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 4598 0 0 0 308 0 0 0 25 0 4 0 597618118 284598272 12283 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=277928 CPUtime=3.09 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 6112 0 0 0 307 2 0 0 25 0 4 0 597618118 284598272 12283 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=277928 CPUtime=3.07 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 4622 0 0 0 307 0 0 0 25 0 4 0 597618118 284598272 12283 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 277928

[startup+6.30059 s]
/proc/loadavg: 8.12 8.09 7.57 9/184 2888
/proc/meminfo: memFree=23513580/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=293640 CPUtime=25.15 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 30085 0 0 0 2509 6 0 0 25 0 4 0 597618118 300687360 17559 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 73410 17559 389 106 0 68381 0
[pid=2884/tid=2885] ppid=2882 vsize=293640 CPUtime=6.29 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 7518 0 0 0 628 1 0 0 25 0 4 0 597618118 300687360 17559 33554432000 4194304 4627427 140736834294880 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=293640 CPUtime=6.28 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 8473 0 0 0 626 2 0 0 25 0 4 0 597618118 300687360 17559 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=293640 CPUtime=6.26 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 6657 0 0 0 626 0 0 0 25 0 4 0 597618118 300687360 17559 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 293640

[startup+12.7004 s]
/proc/loadavg: 8.10 8.08 7.58 9/184 2888
/proc/meminfo: memFree=23456104/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=311352 CPUtime=50.72 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 50840 0 0 0 5062 10 0 0 25 0 4 0 597618118 318824448 30998 33554432000 4194304 4627427 140736834294880 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 77838 30998 389 106 0 72809 0
[pid=2884/tid=2885] ppid=2882 vsize=311352 CPUtime=12.69 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 11618 0 0 0 1268 1 0 0 25 0 4 0 597618118 318824448 30998 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=311352 CPUtime=12.68 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 14218 0 0 0 1265 3 0 0 25 0 4 0 597618118 318824448 30998 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=311352 CPUtime=12.62 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 9427 0 0 0 1261 1 0 0 25 0 4 0 597618118 318824448 30998 33554432000 4194304 4627427 140736834294880 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 311352

[startup+25.5011 s]
/proc/loadavg: 8.09 8.08 7.58 9/184 2889
/proc/meminfo: memFree=23397860/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=367432 CPUtime=101.85 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 69639 0 0 0 10172 13 0 0 25 0 4 0 597618118 376250368 37878 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 91858 37878 389 106 0 86829 0
[pid=2884/tid=2885] ppid=2882 vsize=367432 CPUtime=25.49 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 15010 0 0 0 2547 2 0 0 25 0 4 0 597618118 376250368 37878 33554432000 4194304 4627427 140736834294880 18446744073709551615 4333633 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=367432 CPUtime=25.49 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 20850 0 0 0 2544 5 0 0 25 0 4 0 597618118 376250368 37878 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=367432 CPUtime=25.35 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 10273 0 0 0 2534 1 0 0 25 0 4 0 597618118 376250368 37878 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 367432

[startup+51.1004 s]
/proc/loadavg: 8.06 8.07 7.59 9/184 2889
/proc/meminfo: memFree=23364656/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=313392 CPUtime=204.12 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 94351 0 0 0 20389 23 0 0 25 0 4 0 597618118 320913408 42255 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 78348 42255 389 106 0 73319 0
[pid=2884/tid=2885] ppid=2882 vsize=313392 CPUtime=51.09 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 20971 0 0 0 5104 5 0 0 25 0 4 0 597618118 320913408 42255 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=313392 CPUtime=51.09 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 30095 0 0 0 5101 8 0 0 25 0 4 0 597618118 320913408 42255 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=313392 CPUtime=50.83 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 11442 0 0 0 5081 2 0 0 25 0 4 0 597618118 320913408 42255 33554432000 4194304 4627427 140736834294880 18446744073709551615 4333248 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 313392

[startup+102.307 s]
/proc/loadavg: 8.16 8.10 7.63 9/184 2891
/proc/meminfo: memFree=23275484/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=380272 CPUtime=408.68 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 136219 0 0 0 40831 37 0 0 25 0 4 0 597618118 389398528 52356 33554432000 4194304 4627427 140736834294880 18446744073709551615 4324925 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 95068 52356 389 106 0 90039 0
[pid=2884/tid=2885] ppid=2882 vsize=380272 CPUtime=102.3 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 33178 0 0 0 10221 9 0 0 25 0 4 0 597618118 389398528 52356 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=380272 CPUtime=102.29 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 47299 0 0 0 10215 14 0 0 25 0 4 0 597618118 389398528 52356 33554432000 4194304 4627427 140736834294880 18446744073709551615 4333248 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=380272 CPUtime=101.77 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 13706 0 0 0 10174 3 0 0 25 0 4 0 597618118 389398528 52356 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 380272

[startup+162.301 s]

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

[pid=2884] ppid=2882 vsize=623480 CPUtime=2805.46 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 395625 0 0 0 280398 148 0 0 25 0 4 0 597618118 638443520 113127 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 155870 113127 389 106 0 150841 0
[pid=2884/tid=2885] ppid=2882 vsize=623480 CPUtime=702.31 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 93197 0 0 0 70192 39 0 0 25 0 4 0 597618118 638443520 113127 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=623480 CPUtime=702.31 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 138632 0 0 0 70181 50 0 0 25 0 4 0 597618118 638443520 113127 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=623480 CPUtime=698.51 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 32870 0 0 0 69839 12 0 0 25 0 4 0 597618118 638443520 113127 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.46
Current children cumulated vsize (KiB) 623480

[startup+762.306 s]
/proc/loadavg: 8.11 8.11 7.86 9/184 2909
/proc/meminfo: memFree=22819932/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=623552 CPUtime=3045.15 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 413730 0 0 0 304359 156 0 0 25 0 4 0 597618118 638517248 108063 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 155888 108063 389 106 0 150859 0
[pid=2884/tid=2885] ppid=2882 vsize=623552 CPUtime=762.32 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 97250 0 0 0 76191 41 0 0 25 0 4 0 597618118 638517248 108063 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=623552 CPUtime=762.32 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 143304 0 0 0 76180 52 0 0 25 0 4 0 597618118 638517248 108063 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=623552 CPUtime=758.18 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 33671 0 0 0 75806 12 0 0 25 0 4 0 597618118 638517248 108063 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.15
Current children cumulated vsize (KiB) 623552

[startup+822.301 s]
/proc/loadavg: 8.08 8.10 7.87 9/184 2911
/proc/meminfo: memFree=22781572/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=676516 CPUtime=3284.8 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 433277 0 0 0 328314 166 0 0 25 0 4 0 597618118 692752384 111270 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 169129 111270 389 106 0 164100 0
[pid=2884/tid=2885] ppid=2882 vsize=676516 CPUtime=822.31 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 101591 0 0 0 82188 43 0 0 25 0 4 0 597618118 692752384 111270 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=676516 CPUtime=822.31 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 149166 0 0 0 82178 53 0 0 25 0 4 0 597618118 692752384 111270 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=676516 CPUtime=817.85 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 34559 0 0 0 81772 13 0 0 25 0 4 0 597618118 692752384 111270 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.8
Current children cumulated vsize (KiB) 676516

[startup+882.301 s]
/proc/loadavg: 8.07 8.10 7.88 9/184 2912
/proc/meminfo: memFree=22803832/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=724288 CPUtime=3524.47 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 451946 0 0 0 352272 175 0 0 25 0 4 0 597618118 741670912 112281 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 181072 112281 389 106 0 176043 0
[pid=2884/tid=2885] ppid=2882 vsize=724288 CPUtime=882.31 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 107092 0 0 0 88185 46 0 0 25 0 4 0 597618118 741670912 112281 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=724288 CPUtime=882.32 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 153442 0 0 0 88176 56 0 0 25 0 4 0 597618118 741670912 112281 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=724288 CPUtime=877.51 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 35496 0 0 0 87738 13 0 0 25 0 4 0 597618118 741670912 112281 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 724288

[startup+942.301 s]
/proc/loadavg: 8.06 8.09 7.89 9/184 2914
/proc/meminfo: memFree=22755192/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=737008 CPUtime=3764.15 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 472100 0 0 0 376233 182 0 0 25 0 4 0 597618118 754696192 112600 33554432000 4194304 4627427 140736834294880 18446744073709551615 4420278 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 184252 112600 389 106 0 179223 0
[pid=2884/tid=2885] ppid=2882 vsize=737008 CPUtime=942.32 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 109230 0 0 0 94185 47 0 0 25 0 4 0 597618118 754696192 112600 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=737008 CPUtime=942.31 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 158067 0 0 0 94174 57 0 0 25 0 4 0 597618118 754696192 112600 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=737008 CPUtime=937.17 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 36143 0 0 0 93704 13 0 0 25 0 4 0 597618118 754696192 112600 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 737008

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 7.90 9/184 2927
/proc/meminfo: memFree=22736016/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=746304 CPUtime=4003.81 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 500740 0 0 0 400189 192 0 0 25 0 4 0 597618118 764215296 126770 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 186576 126770 389 106 0 181547 0
[pid=2884/tid=2885] ppid=2882 vsize=746304 CPUtime=1002.32 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 121866 0 0 0 100181 51 0 0 25 0 4 0 597618118 764215296 126770 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=746304 CPUtime=1002.32 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 164340 0 0 0 100173 59 0 0 25 0 4 0 597618118 764215296 126770 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=746304 CPUtime=996.84 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 38232 0 0 0 99669 15 0 0 25 0 4 0 597618118 764215296 126770 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 746304

[startup+1062.3 s]
/proc/loadavg: 8.13 8.10 7.91 9/184 2928
/proc/meminfo: memFree=22632700/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=861232 CPUtime=4243.49 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 521776 0 0 0 424147 202 0 0 25 0 4 0 597618118 881901568 140039 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 215308 140039 389 106 0 210279 0
[pid=2884/tid=2885] ppid=2882 vsize=861232 CPUtime=1062.32 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 127138 0 0 0 106178 54 0 0 25 0 4 0 597618118 881901568 140039 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=861232 CPUtime=1062.31 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 172358 0 0 0 106169 62 0 0 25 0 4 0 597618118 881901568 140039 33554432000 4194304 4627427 140736834294880 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=861232 CPUtime=1056.51 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 38880 0 0 0 105636 15 0 0 25 0 4 0 597618118 881901568 140039 33554432000 4194304 4627427 140736834294880 18446744073709551615 4332845 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 861232

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 7.92 9/184 2930
/proc/meminfo: memFree=22626972/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=772216 CPUtime=4483.15 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 544174 0 0 0 448104 211 0 0 25 0 4 0 597618118 790749184 139082 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 193054 139082 389 106 0 188025 0
[pid=2884/tid=2885] ppid=2882 vsize=772216 CPUtime=1122.33 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 130338 0 0 0 112177 56 0 0 25 0 4 0 597618118 790749184 139082 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=772216 CPUtime=1122.32 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 177070 0 0 0 112168 64 0 0 25 0 4 0 597618118 790749184 139082 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=772216 CPUtime=1116.18 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 44963 0 0 0 111600 18 0 0 25 0 4 0 597618118 790749184 139082 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 772216

[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 7.93 9/184 2931
/proc/meminfo: memFree=22495356/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=958852 CPUtime=4722.83 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 567060 0 0 0 472062 221 0 0 25 0 4 0 597618118 981864448 153853 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 239713 153853 389 106 0 234684 0
[pid=2884/tid=2885] ppid=2882 vsize=958852 CPUtime=1182.33 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 135157 0 0 0 118175 58 0 0 25 0 4 0 597618118 981864448 153853 33554432000 4194304 4627427 140736834294880 18446744073709551615 4332603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=958852 CPUtime=1182.32 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 183016 0 0 0 118165 67 0 0 25 0 4 0 597618118 981864448 153853 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=958852 CPUtime=1175.84 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 47128 0 0 0 117565 19 0 0 25 0 4 0 597618118 981864448 153853 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 958852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.08 7.93 5/179 2933
/proc/meminfo: memFree=23042232/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=879828 CPUtime=4800.33 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 571607 0 0 0 479810 223 0 0 25 0 4 0 597618118 900943872 145849 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 219957 145849 389 106 0 214928 0
[pid=2884/tid=2885] ppid=2882 vsize=879828 CPUtime=1201.73 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 136192 0 0 0 120115 58 0 0 25 0 4 0 597618118 900943872 145849 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=879828 CPUtime=1201.73 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 183628 0 0 0 120105 68 0 0 25 0 4 0 597618118 900943872 145849 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=879828 CPUtime=1195.13 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 47666 0 0 0 119493 20 0 0 25 0 4 0 597618118 900943872 145849 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 879828

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

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

[startup+1201.7 s]
/proc/loadavg: 8.09 8.08 7.93 5/179 2933
/proc/meminfo: memFree=23042232/32950928 swapFree=67071984/67111528
[pid=2884] ppid=2882 vsize=879828 CPUtime=4800.33 cores=0,2,4,6
/proc/2884/stat : 2884 (strangenight2-m) R 2882 2884 2254 0 -1 4202496 571607 0 0 0 479810 223 0 0 25 0 4 0 597618118 900943872 145849 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2884/statm: 219957 145849 389 106 0 214928 0
[pid=2884/tid=2885] ppid=2882 vsize=879828 CPUtime=1201.73 cores=0,2,4,6
/proc/2884/task/2885/stat : 2885 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 136192 0 0 0 120115 58 0 0 25 0 4 0 597618118 900943872 145849 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2884/tid=2886] ppid=2882 vsize=879828 CPUtime=1201.73 cores=0,2,4,6
/proc/2884/task/2886/stat : 2886 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 183628 0 0 0 120105 68 0 0 25 0 4 0 597618118 900943872 145849 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2884/tid=2887] ppid=2882 vsize=879828 CPUtime=1195.13 cores=0,2,4,6
/proc/2884/task/2887/stat : 2887 (strangenight2-m) R 2882 2884 2254 0 -1 4202560 47666 0 0 0 119493 20 0 0 25 0 4 0 597618118 900943872 145849 33554432000 4194304 4627427 140736834294880 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 879828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.39
CPU user time (s): 4798.13
CPU system time (s): 2.26166
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 1056260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.13
system time used= 2.26166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571608
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= 262
involuntary context switches= 22570

runsolver used 1.86472 second user time and 4.5863 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 12:44:34
IDJOB=3173942
IDBENCH=82760
IDSOLVER=1586
FILE ID=node116/3173942-1304073874
RUNJOBID= node116-1304072670-2750
PBS_JOBID= 13170472
Free space on /tmp= 72508 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173942-1304073874/watcher-3173942-1304073874 -o /tmp/evaluation-result-3173942-1304073874/solver-3173942-1304073874 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173942-1304073874.cnf

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

MD5SUM BENCH= 7dd850f670e1c9ea63e995ef24dddf5f
RANDOM SEED=1079577598

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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:     32950928 kB
MemFree:      23623772 kB
Buffers:       1902212 kB
Cached:        6950588 kB
SwapCached:       9732 kB
Active:        4405032 kB
Inactive:      4492212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23623772 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:           11288 kB
Writeback:           0 kB
AnonPages:       37916 kB
Mapped:          14076 kB
Slab:           365036 kB
PageTables:       4676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   277724 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= 72508 MiB
End job on node116 at 2011-04-29 13:04:38