Trace number 3366351

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 (fixed)? (TO) 4800.26 1202.84

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366351-1305402228.cnf'
0.00/0.01	c -- header says num vars:            800
0.00/0.01	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
3.57/1.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
3.57/1.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.57/1.00	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.00 s
3.57/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.57/1.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/1.00	c calculated reachability. Time: 0.00
3.57/1.00	c Calc default polars -  time:   0.00 s pos:     339 undec:      85 neg:     376
3.57/1.00	c =========================================================================================
3.57/1.00	c types(t): F = full restart, N = normal restart
3.57/1.00	c types(t): S = simplification begin/end, E = solution found
3.57/1.00	c restart types(rt): st = static, dy = dynamic
3.57/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/1.00	c  B st     0         0       780      3387         0         0     10308         0   no data   no data
3.57/1.00	c Decided on static restart strategy
3.57/1.00	c  N st     8      4918       780      3387         0      4880     10308    163782   no data   no data
3.57/1.00	c  N st    10     11301       780      3387         0      4522     10308    104108   no data   no data
3.57/1.00	c  N st    11     17044       780      3387         0     10223     10308    309118   no data   no data
5.57/1.40	c  F st    12     25000       780      3387         0     12520     10308    389290   no data   no data
5.57/1.40	c  N st    12     25000       780      3387         0     12520     10308    389290   no data   no data
6.36/1.63	c  N dy    18     30000       780      3387         0     10741     10308    285398   no data   no data
6.36/1.63	c  S st    18     30000       780      3387         0     10741     10308    285398   no data   no data
6.36/1.66	c  S st    18     30505       780      3387         0     11246     10308    301059   no data   no data
6.36/1.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
6.36/1.66	c blocked clauses removed:        0 vars:      0 tried:         780 T: 0.00 s
6.36/1.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.36/1.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
6.36/1.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.36/1.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
6.36/1.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.76/1.73	c lits-rem:       215  cl-subs:      180  v-elim:      0  v-fix:    0  time:  0.05 s
6.76/1.74	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.01
6.76/1.74	c calculated reachability. Time: 0.00
6.76/1.74	c  N dy    18     30505       780      3387         0     11066     10308    293057   no data   no data
7.96/2.02	c  N dy    28     34730       780      3387         0     15261     10308    432251     22.97     24.21
9.15/2.39	c  N dy    37     40897       780      3387         0     13544     10308    306766     21.51     22.67
10.35/2.68	c  N dy    58     44907       780      3387         0     17540     10308    436795     21.71     23.96
10.75/2.73	c  S st    63     45757       780      3387         0      9487     10308    137946     21.72   no data
10.75/2.76	c  S st    63     46265       780      3387         0      9993     10308    153865     21.72   no data
10.75/2.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.75/2.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.75/2.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.75/2.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.75/2.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
10.75/2.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.75/2.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.75/2.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.79	c lits-rem:         7  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.01 s
10.75/2.79	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
10.75/2.79	c vivif2 --  cl tried     9988 cl shrink        0 lits rem          0 time: 0.00
10.75/2.79	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.01
10.75/2.79	c calculated reachability. Time: 0.00
10.75/2.79	c  N dy    63     46265       780      3387         0      9988     10308    153653     21.72   no data
11.95/3.06	c  N dy    78     50676       780      3387         0     14373     10308    295500     21.68     22.99
13.18/3.34	c  N dy   100     54706       780      3387         0     18387     10308    424280     21.74     28.10
14.34/3.60	c  N dy   118     58753       780      3387         0     12497     10308    204988     21.78     23.04
15.14/3.87	c  N dy   145     62830       780      3387         0     16558     10308    336684     21.89     23.61
16.34/4.18	c  N dy   164     66871       780      3387         0     20580     10308    469284     21.86     26.40
17.16/4.38	c  S st   178     69397       780      3387         0     12154     10308    160866     21.89     19.21
17.58/4.41	c  S st   178     69900       780      3387         0     12657     10308    175144     21.89   no data
17.58/4.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.58/4.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.58/4.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.58/4.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.58/4.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.58/4.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
17.58/4.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.58/4.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.58/4.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.58/4.44	c lits-rem:         9  cl-subs:       26  v-elim:      0  v-fix:    0  time:  0.01 s
17.58/4.44	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
17.58/4.44	c vivif2 --  cl tried    12631 cl shrink        0 lits rem          0 time: 0.00
17.58/4.45	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.01
17.58/4.45	c calculated reachability. Time: 0.00
17.58/4.45	c  N dy   178     69900       780      3387         0     12631     10308    174049     21.89   no data
18.73/4.75	c  N dy   188     74409       780      3387         0     17105     10308    310840     21.74     25.75
20.33/5.13	c  N dy   204     79177       780      3387         0     21833     10308    457350     21.66     23.03
21.96/5.59	c  N dy   229     85331       780      3387         0     16020     10308    258752     21.55     22.80
22.72/5.75	c  F st   242     87501       780      3387         0     18184     10308    327802     21.57   no data
23.92/6.01	c  N st   247     90796       780      3387         0     21455     10308    434800     21.57   no data
24.32/6.17	c Decided on static restart strategy
26.71/6.75	c  N st   250     99807       780      3387         0     17476     10308    432900     21.57   no data
28.31/7.17	c  S st   251    104851       780      3387         0     22471     10308    610606     21.57   no data
28.71/7.22	c  S st   251    105352       780      3387         0     22972     10308    626288     21.57   no data
28.71/7.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.71/7.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.71/7.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.71/7.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.71/7.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
28.71/7.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.71/7.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.71/7.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.51/7.46	c lits-rem:       141  cl-subs:      494  v-elim:      0  v-fix:    0  time:  0.20 s
29.51/7.46	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
29.51/7.47	c vivif2 --  cl tried    22478 cl shrink        0 lits rem          0 time: 0.01
29.51/7.48	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.01
29.51/7.48	c calculated reachability. Time: 0.00
29.51/7.48	c  N st   251    105352       780      3387         0     22478     10308    604914     21.57   no data
33.10/8.37	c  N st   252    114950       780      3387         0     18052     10308    410898     21.57   no data
39.11/9.84	c  N st   253    129351       780      3387         0     17491     10308    407769     21.57   no data
47.89/12.02	c  N st   254    150947       780      3387         0     23027     10308    532614     21.57   no data
50.66/12.71	c  S st   255    158030       780      3387         0     30057     10308    784223     21.57   no data
50.66/12.79	c  S st   255    158534       780      3387         0     30561     10308    799841     21.57   no data
50.66/12.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.06/12.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
51.06/12.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
51.06/12.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.06/12.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.06/12.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
51.06/12.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
51.06/12.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
51.06/12.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.69/13.21	c lits-rem:       108  cl-subs:      624  v-elim:      0  v-fix:    0  time:  0.38 s
52.69/13.21	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
52.69/13.22	c vivif2 --  cl tried    29937 cl shrink        0 lits rem          0 time: 0.01
52.69/13.25	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.02
52.69/13.25	c calculated reachability. Time: 0.00
52.69/13.25	c  N st   255    158534       780      3387         0     29937     10308    774846     21.57   no data
75.80/19.06	c  N st   256    207123       780      3387         0     24650     10308    559755     21.57   no data
90.17/22.65	c  N st   257    237802       780      3387         0     35139     10308    875216     21.57   no data
90.17/22.65	c  S st   257    237802       780      3387         0     35139     10308    875216     21.57   no data
90.57/22.74	c  S st   257    238304       780      3387         0     35640     10308    891031     21.57   no data
90.57/22.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.57/22.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
90.57/22.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.57/22.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.57/22.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.57/22.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
90.57/22.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
90.57/22.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
90.57/22.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.16/23.63	c lits-rem:       122  cl-subs:     1117  v-elim:      0  v-fix:    0  time:  0.84 s
94.16/23.63	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
94.16/23.64	c vivif2 --  cl tried    34523 cl shrink        0 lits rem          0 time: 0.01
94.16/23.67	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.03
94.16/23.67	c calculated reachability. Time: 0.00
94.16/23.67	c  N st   257    238304       780      3387         0     34523     10308    845920     21.57   no data
131.29/32.96	c  F st   258    306250       780      3387         0     36419     10308    884762     21.57   no data
131.29/32.96	c  N st   258    306250       780      3387         0     36419     10308    884762     21.57   no data
142.05/35.62	c  N dy   344    325861       780      3387         0     32151     10308    568413     21.72     27.75
154.02/38.64	c  N dy   429    346084       780      3387         0     27456     10308    360043     21.70     23.11
160.01/40.10	c  S st   487    357457       780      3387         0     38775     10308    725171     21.76   no data
160.01/40.19	c  S st   487    357959       780      3387         0     39277     10308    740547     21.76   no data
160.01/40.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
160.41/40.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
160.41/40.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
160.41/40.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
160.41/40.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
160.41/40.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
160.41/40.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
160.41/40.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
160.41/40.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
161.21/40.49	c lits-rem:       123  cl-subs:      278  v-elim:      0  v-fix:    0  time:  0.24 s
161.21/40.49	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
161.61/40.50	c vivif2 --  cl tried    38999 cl shrink        0 lits rem          0 time: 0.01
161.61/40.53	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.03
161.61/40.53	c calculated reachability. Time: 0.00
161.61/40.53	c  N dy   487    357959       780      3387         0     38999     10308    729539     21.76   no data
173.98/43.62	c  N dy   562    378607       780      3387         0     33667     10308    509313     21.67     22.83
187.15/46.95	c  N dy   647    399397       780      3387         0     27508     10308    281843     21.64     22.86
198.72/49.85	c  N dy   740    419525       780      3387         0     47520     10308    922669     21.67     22.93
211.09/52.93	c  N dy   832    439570       780      3387         0     39621     10308    643387     21.66     23.34
225.86/56.66	c  N dy   919    461850       780      3387         0     32942     10308    390729     21.62     23.00
238.63/59.81	c  N dy  1041    481859       780      3387         0     52846     10308   1027657     21.69     24.01
251.39/63.00	c  N dy  1117    502137       780      3387         0     43163     10308    696883     21.69     22.84
266.97/66.90	c  N dy  1221    522338       780      3387         0     32442     10308    314974     21.74     22.90
274.95/68.96	c  S st  1295    536938       780      3387         0     46970     10308    783573     21.76     20.64
275.35/69.07	c  S st  1295    537445       780      3387         0     47477     10308    800414     21.76   no data
275.35/69.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
275.35/69.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
275.35/69.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
275.35/69.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
275.75/69.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
275.75/69.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
275.75/69.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
275.75/69.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
275.75/69.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
276.93/69.49	c lits-rem:       147  cl-subs:      322  v-elim:      0  v-fix:    0  time:  0.36 s
276.93/69.49	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
277.33/69.50	c vivif2 --  cl tried    47155 cl shrink        0 lits rem          0 time: 0.01
277.33/69.54	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.04
277.33/69.54	c calculated reachability. Time: 0.00
277.33/69.54	c  N dy  1295    537445       780      3387         0     47155     10308    788165     21.76   no data
293.31/73.54	c  N dy  1415    557993       780      3387         0     35760     10308    396145     21.81     23.00
307.66/77.16	c  N dy  1469    579654       780      3387         0     57203     10308   1074094     21.75     22.98
321.64/80.66	c  N dy  1545    599675       780      3387         0     44345     10308    645621     21.73     25.16
338.40/84.83	c  N dy  1651    620061       780      3387         0     64607     10308   1302577     21.76     22.91
352.37/88.36	c  N dy  1749    640630       780      3387         0     51277     10308    850489     21.78     22.98
369.93/92.74	c  N dy  1836    660920       780      3387         0     36653     10308    345153     21.78     23.06
383.10/96.06	c  N dy  1921    681115       780      3387         0     56720     10308    995820     21.77     23.17
401.46/100.63	c  N dy  2032    701119       780      3387         0     40835     10308    453318     21.80     27.40
415.83/104.22	c  N dy  2100    721183       780      3387         0     60770     10308   1095395     21.80     23.08
432.99/108.56	c  N dy  2224    741189       780      3387         0     43884     10308    517499     21.85     23.12
449.36/112.67	c  N dy  2312    762322       780      3387         0     64881     10308   1201553     21.85     23.09
466.51/116.95	c  N dy  2420    782380       780      3387         0     47042     10308    601663     21.89     24.91
483.27/121.14	c  N dy  2525    803039       780      3387         0     67584     10308   1276358     21.91     23.27
486.47/122.00	c  S st  2546    806169       780      3387         0     70705     10308   1376590     21.91   no data
487.31/122.18	c  S st  2546    806676       780      3387         0     71212     10308   1392726     21.91   no data
487.31/122.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
487.66/122.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
487.66/122.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
487.66/122.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
487.66/122.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
487.66/122.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
487.66/122.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
487.66/122.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
487.66/122.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
492.05/123.35	c lits-rem:       280  cl-subs:      641  v-elim:      0  v-fix:    0  time:  1.07 s
492.05/123.35	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
492.05/123.37	c vivif2 --  cl tried    70571 cl shrink        0 lits rem          0 time: 0.02
492.45/123.44	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.07
492.45/123.44	c calculated reachability. Time: 0.00
492.45/123.44	c  N dy  2546    806676       780      3387         0     70571     10308   1367272     21.91   no data
508.83/127.59	c  N dy  2657    826746       780      3387         0     51737     10308    728521     21.95     25.52
526.82/132.01	c  N dy  2725    846823       780      3387         0     71683     10308   1373538     21.93     23.15
544.38/136.46	c  N dy  2833    866824       780      3387         0     51819     10308    703092     21.96     23.88
567.88/142.34	c  N dy  2881    893114       780      3387         0     77920     10308   1541777     21.89     23.05
586.24/146.90	c  N dy  2978    915929       780      3387         0     59818     10308    928694     21.90     23.06
607.40/152.21	c  N dy  3077    936222       780      3387         0     79994     10308   1578100     21.91     23.19
624.16/156.45	c  N dy  3140    957157       780      3387         0     59052     10308    869418     21.90     23.21
644.93/161.70	c  N dy  3268    977163       780      3387         0     78952     10308   1523049     21.93     25.26
662.49/166.06	c  N dy  3339    997382       780      3387         0     56345     10308    767528     21.92     23.54
682.42/171.07	c  N dy  3473   1017444       780      3387         0     76314     10308   1430804     21.95     28.45
703.17/176.25	c  N dy  3591   1037485       780      3387         0     52508     10308    615516     21.98     23.72
721.93/180.93	c  N dy  3681   1057712       780      3387         0     72635     10308   1274904     21.98     23.28
739.09/185.29	c  F st  3748   1071876       780      3387         0     86708     10308   1733740     21.99   no data
744.68/186.64	c Decided on static restart strategy
746.32/187.08	c  N st  3755   1079914       780      3387         0     49953     10308    515880     21.99   no data
762.64/191.12	c  N st  3758   1100180       780      3387         0     69974     10308   1221383     21.99   no data
794.96/199.20	c  N st  3760   1136173       780      3387         0     59973     10308   1443041     21.99   no data
831.28/208.33	c  N st  3761   1168567       780      3387         0     91884     10308   2652120     21.99   no data
875.18/219.32	c  N st  3762   1210015       780      3387         0     86338     10308   2442186     21.99   no data
875.18/219.32	c  S st  3762   1210015       780      3387         0     86338     10308   2442186     21.99   no data
875.98/219.57	c  S st  3762   1210518       780      3387         0     86839     10308   2458399     21.99   no data
875.98/219.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
876.38/219.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
876.38/219.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
876.38/219.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
876.38/219.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
876.38/219.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
876.38/219.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
876.38/219.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
876.78/219.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
914.70/229.29	c lits-rem:       756  cl-subs:     3231  v-elim:      0  v-fix:    0  time:  9.56 s
914.70/229.29	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
915.09/229.33	c vivif2 --  cl tried    83608 cl shrink        0 lits rem          0 time: 0.03
915.49/229.41	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.09
915.49/229.42	c calculated reachability. Time: 0.00
915.49/229.42	c  N st  3762   1210518       780      3387         0     83608     10308   2314053     21.99   no data
993.31/248.90	c  N st  3763   1283400       780      3387         0     59965     10308   1235518     21.99   no data
1115.83/279.62	c  N st  3764   1392723       780      3387         0     68003     10308   1475740     21.99   no data
1306.98/327.51	c  N st  3765   1556707       780      3387         0     72878     10308   1534455     21.99   no data
1516.91/380.17	c  N st  3766   1710518       780      3387         0     59060     10308    892355     21.99   no data
1516.91/380.17	c  S st  3766   1710518       780      3387         0     59060     10308    892355     21.99   no data
1517.71/380.32	c  S st  3766   1711021       780      3387         0     59563     10308    908947     21.99   no data
1517.71/380.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1517.71/380.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
1517.71/380.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1517.71/380.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1517.71/380.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1517.71/380.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
1517.71/380.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1517.71/380.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1518.11/380.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1519.70/380.82	c lits-rem:       175  cl-subs:      265  v-elim:      0  v-fix:    0  time:  0.42 s
1519.70/380.82	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
1519.70/380.83	c vivif2 --  cl tried    59298 cl shrink        0 lits rem          0 time: 0.01
1519.70/380.89	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.06
1519.70/380.89	c calculated reachability. Time: 0.00
1519.70/380.89	c  N st  3766   1711021       780      3387         0     59298     10308    899257     21.99   no data
2009.37/503.57	c  N st  3767   2079986       780      3387         0     64954     10308    891500     21.99   no data
2186.97/548.05	c  N st  3768   2211022       780      3387         0     66696     10308    888877     21.99   no data
2186.97/548.05	c  S st  3768   2211022       780      3387         0     66696     10308    888877     21.99   no data
2187.77/548.24	c  S st  3768   2211525       780      3387         0     67199     10308    904887     21.99   no data
2187.77/548.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2187.77/548.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2187.77/548.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2187.77/548.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2187.77/548.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2187.77/548.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
2187.77/548.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2187.77/548.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2188.16/548.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2188.96/548.58	c lits-rem:        62  cl-subs:      275  v-elim:      0  v-fix:    0  time:  0.26 s
2188.96/548.58	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
2189.36/548.60	c vivif2 --  cl tried    66924 cl shrink        0 lits rem          0 time: 0.01
2189.36/548.66	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.06
2189.36/548.66	c calculated reachability. Time: 0.00
2189.36/548.66	c  N st  3768   2211525       780      3387         0     66924     10308    896163     21.99   no data
2909.71/729.14	c  N st  3769   2711528       780      3387         0     83644     10308   1381752     21.99   no data
2909.71/729.14	c  S st  3769   2711528       780      3387         0     83644     10308   1381752     21.99   no data
2910.54/729.37	c  S st  3769   2712032       780      3387         0     84147     10308   1397343     21.99   no data
2910.54/729.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2910.90/729.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
2910.90/729.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2910.90/729.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2910.90/729.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2910.90/729.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
2910.90/729.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2910.90/729.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2911.30/729.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2918.09/731.21	c lits-rem:       173  cl-subs:     1276  v-elim:      0  v-fix:    0  time:  1.71 s
2918.09/731.21	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
2918.09/731.23	c vivif2 --  cl tried    82871 cl shrink        0 lits rem          0 time: 0.02
2918.49/731.32	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.09
2918.49/731.32	c calculated reachability. Time: 0.00
2918.49/731.32	c  N st  3769   2712032       780      3387         0     82871     10308   1350509     21.99   no data
3702.71/927.82	c  N st  3770   3212032       780      3387         0    129042     10308   2974878     21.99   no data
3702.71/927.82	c  S st  3770   3212032       780      3387         0    129042     10308   2974878     21.99   no data
3704.31/928.22	c  S st  3770   3212533       780      3387         0    129543     10308   2990185     21.99   no data
3704.31/928.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3704.31/928.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3704.31/928.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3704.31/928.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3704.31/928.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3704.31/928.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
3704.31/928.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3704.72/928.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3705.14/928.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3780.52/947.34	c lits-rem:      1091  cl-subs:     5114  v-elim:      0  v-fix:    0  time: 18.91 s
3780.52/947.34	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
3780.52/947.38	c vivif2 --  cl tried   124429 cl shrink        0 lits rem          0 time: 0.04
3781.32/947.53	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.15
3781.32/947.54	c calculated reachability. Time: 0.00
3781.32/947.54	c  N st  3770   3212533       780      3387         0    124429     10308   2788689     21.99   no data
4622.97/1158.49	c  N st  3771   3712536       780      3387         0    135229     10308   2970692     21.99   no data
4622.97/1158.49	c  S st  3771   3712536       780      3387         0    135229     10308   2970692     21.99   no data
4624.57/1158.89	c  S st  3771   3713039       780      3387         0    135732     10308   2986634     21.99   no data
4624.97/1158.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4624.97/1158.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
4624.97/1158.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4624.97/1158.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4624.97/1158.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4624.97/1158.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.00 s
4624.97/1158.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4625.37/1159.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4625.77/1159.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4713.57/1181.15	c lits-rem:       860  cl-subs:     6102  v-elim:      0  v-fix:    0  time: 22.04 s
4713.57/1181.15	c vivif2 --  cl tried     3387 cl shrink        0 lits rem          0 time: 0.00
4713.97/1181.20	c vivif2 --  cl tried   129630 cl shrink        0 lits rem          0 time: 0.04
4714.38/1181.35	c asymm  cl-useful: 0/3387/3387 lits-rem:0 time: 0.16
4714.38/1181.36	c calculated reachability. Time: 0.00
4714.38/1181.36	c  N st  3771   3713039       780      3387         0    129630     10308   2751471     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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366351-1305402228/watcher-3366351-1305402228 -o /tmp/evaluation-result-3366351-1305402228/solver-3366351-1305402228 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366351-1305402228.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.97 7.98 6/294 4845
/proc/meminfo: memFree=16812124/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 651825557 52396032 347 33554432000 4194304 4580107 140733708740624 18446744073709551615 47569993447344 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 12792 347 299 95 0 7774 0
[pid=4845/tid=4846] ppid=4843 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651825558 52396032 347 33554432000 4194304 4580107 140733708740624 18446744073709551615 47569993447346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651825558 52396032 347 33554432000 4194304 4580107 140733708740624 18446744073709551615 47569993447336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651825558 52396032 347 33554432000 4194304 4580107 140733708740624 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.076912 s]
/proc/loadavg: 7.47 7.97 7.98 6/294 4845
/proc/meminfo: memFree=16812124/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=282832 CPUtime=0.27 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 1906 0 0 0 27 0 0 0 18 0 4 0 651825557 289619968 1787 33554432000 4194304 4580107 140733708740624 18446744073709551615 4292935 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 70708 1787 376 95 0 65690 0
[pid=4845/tid=4846] ppid=4843 vsize=282832 CPUtime=0.07 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 430 0 0 0 7 0 0 0 18 0 4 0 651825558 289619968 1787 33554432000 4194304 4580107 140733708740624 18446744073709551615 4321855 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=282832 CPUtime=0.06 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 437 0 0 0 6 0 0 0 18 0 4 0 651825558 289619968 1787 33554432000 4194304 4580107 140733708740624 18446744073709551615 4320696 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=282832 CPUtime=0.06 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 251 0 0 0 6 0 0 0 25 0 4 0 651825558 289619968 1787 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 282832

[startup+0.100907 s]
/proc/loadavg: 7.47 7.97 7.98 6/294 4845
/proc/meminfo: memFree=16812124/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=282832 CPUtime=0.37 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 2036 0 0 0 37 0 0 0 18 0 4 0 651825557 289619968 1917 33554432000 4194304 4580107 140733708740624 18446744073709551615 4293755 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 70708 1917 377 95 0 65690 0
[pid=4845/tid=4846] ppid=4843 vsize=282832 CPUtime=0.09 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 468 0 0 0 9 0 0 0 18 0 4 0 651825558 289619968 1917 33554432000 4194304 4580107 140733708740624 18446744073709551615 4321083 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=282832 CPUtime=0.09 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 460 0 0 0 9 0 0 0 18 0 4 0 651825558 289619968 1917 33554432000 4194304 4580107 140733708740624 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=282832 CPUtime=0.08 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 288 0 0 0 8 0 0 0 25 0 4 0 651825558 289619968 1917 33554432000 4194304 4580107 140733708740624 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282832

[startup+0.300872 s]
/proc/loadavg: 7.47 7.97 7.98 6/294 4845
/proc/meminfo: memFree=16812124/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=284412 CPUtime=1.17 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 3226 0 0 0 117 0 0 0 18 0 4 0 651825557 291237888 2305 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 71103 2305 377 95 0 66085 0
[pid=4845/tid=4846] ppid=4843 vsize=284412 CPUtime=0.29 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 783 0 0 0 29 0 0 0 18 0 4 0 651825558 291237888 2305 33554432000 4194304 4580107 140733708740624 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=284412 CPUtime=0.29 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 760 0 0 0 29 0 0 0 18 0 4 0 651825558 291237888 2305 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=284412 CPUtime=0.28 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 587 0 0 0 28 0 0 0 25 0 4 0 651825558 291237888 2305 33554432000 4194304 4580107 140733708740624 18446744073709551615 4321685 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284412

[startup+0.700801 s]
/proc/loadavg: 7.47 7.97 7.98 6/294 4845
/proc/meminfo: memFree=16812124/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=285420 CPUtime=2.77 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 5139 0 0 0 277 0 0 0 18 0 4 0 651825557 292270080 2986 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 71355 2986 377 95 0 66337 0
[pid=4845/tid=4846] ppid=4843 vsize=285420 CPUtime=0.69 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 1254 0 0 0 69 0 0 0 18 0 4 0 651825558 292270080 2986 33554432000 4194304 4580107 140733708740624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=285420 CPUtime=0.69 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 1241 0 0 0 69 0 0 0 18 0 4 0 651825558 292270080 2986 33554432000 4194304 4580107 140733708740624 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=285420 CPUtime=0.68 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 1058 0 0 0 68 0 0 0 25 0 4 0 651825558 292270080 2986 33554432000 4194304 4580107 140733708740624 18446744073709551615 4318504 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) 285420

[startup+1.50066 s]
/proc/loadavg: 7.47 7.97 7.98 12/298 4850
/proc/meminfo: memFree=16787044/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=286884 CPUtime=5.96 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 9013 0 0 0 595 1 0 0 20 0 4 0 651825557 293769216 3422 33554432000 4194304 4580107 140733708740624 18446744073709551615 4324367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 71721 3422 378 95 0 66703 0
[pid=4845/tid=4846] ppid=4843 vsize=286884 CPUtime=1.49 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 2200 0 0 0 149 0 0 0 19 0 4 0 651825558 293769216 3422 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=286884 CPUtime=1.49 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 2226 0 0 0 149 0 0 0 19 0 4 0 651825558 293769216 3422 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=286884 CPUtime=1.47 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 2018 0 0 0 147 0 0 0 25 0 4 0 651825558 293769216 3422 33554432000 4194304 4580107 140733708740624 18446744073709551615 4293229 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) 286884

[startup+3.10038 s]
/proc/loadavg: 7.47 7.97 7.98 9/298 4850
/proc/meminfo: memFree=16751212/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=287268 CPUtime=12.35 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 20666 0 0 0 1231 4 0 0 19 0 4 0 651825557 294162432 12032 33554432000 4194304 4580107 140733708740624 18446744073709551615 4302554 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 71817 12032 381 95 0 66799 0
[pid=4845/tid=4846] ppid=4843 vsize=287268 CPUtime=3.09 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 4668 0 0 0 308 1 0 0 25 0 4 0 651825558 294162432 12032 33554432000 4194304 4580107 140733708740624 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=287268 CPUtime=3.09 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 6138 0 0 0 308 1 0 0 25 0 4 0 651825558 294162432 12032 33554432000 4194304 4580107 140733708740624 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=287268 CPUtime=3.06 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 4507 0 0 0 305 1 0 0 19 0 4 0 651825558 294162432 12032 33554432000 4194304 4580107 140733708740624 18446744073709551615 4303119 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 287268

[startup+6.30081 s]
/proc/loadavg: 7.59 7.98 7.99 9/298 4850
/proc/meminfo: memFree=16699672/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=314788 CPUtime=25.13 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 29535 0 0 0 2507 6 0 0 25 0 4 0 651825557 322342912 17760 33554432000 4194304 4580107 140733708740624 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 78697 17760 381 95 0 73679 0
[pid=4845/tid=4846] ppid=4843 vsize=314788 CPUtime=6.29 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 7493 0 0 0 628 1 0 0 25 0 4 0 651825558 322342912 17760 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=314788 CPUtime=6.28 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 8523 0 0 0 627 1 0 0 25 0 4 0 651825558 322342912 17760 33554432000 4194304 4580107 140733708740624 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=314788 CPUtime=6.23 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 6176 0 0 0 622 1 0 0 25 0 4 0 651825558 322342912 17760 33554432000 4194304 4580107 140733708740624 18446744073709551615 4292971 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 314788

[startup+12.7007 s]
/proc/loadavg: 7.63 7.98 7.99 9/298 4850
/proc/meminfo: memFree=16660928/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=306868 CPUtime=50.66 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 46629 0 0 0 5057 9 0 0 25 0 4 0 651825557 314232832 24446 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 76717 24446 379 95 0 71699 0
[pid=4845/tid=4846] ppid=4843 vsize=306868 CPUtime=12.68 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 10214 0 0 0 1267 1 0 0 25 0 4 0 651825558 314232832 24447 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=306868 CPUtime=12.68 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 13672 0 0 0 1266 2 0 0 25 0 4 0 651825558 314232832 24447 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=306868 CPUtime=12.57 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 10403 0 0 0 1255 2 0 0 25 0 4 0 651825558 314232832 24447 33554432000 4194304 4580107 140733708740624 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 306868

[startup+25.5004 s]
/proc/loadavg: 7.71 7.98 7.99 9/298 4850
/proc/meminfo: memFree=16601652/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=309956 CPUtime=101.74 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 66894 0 0 0 10161 13 0 0 25 0 4 0 651825557 317394944 33862 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 77489 33862 379 95 0 72471 0
[pid=4845/tid=4846] ppid=4843 vsize=309956 CPUtime=25.49 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 12356 0 0 0 2547 2 0 0 25 0 4 0 651825558 317394944 33862 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=309956 CPUtime=25.48 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 19648 0 0 0 2545 3 0 0 25 0 4 0 651825558 317394944 33862 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=309956 CPUtime=25.25 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 14923 0 0 0 2522 3 0 0 25 0 4 0 651825558 317394944 33862 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 309956

[startup+51.1008 s]
/proc/loadavg: 7.81 7.98 7.99 9/298 4851
/proc/meminfo: memFree=16552536/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=385636 CPUtime=203.91 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 96139 0 0 0 20368 23 0 0 25 0 4 0 651825557 394891264 41556 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 96409 41556 379 95 0 91391 0
[pid=4845/tid=4846] ppid=4843 vsize=385636 CPUtime=51.09 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 20413 0 0 0 5103 6 0 0 25 0 4 0 651825558 394891264 41556 33554432000 4194304 4580107 140733708740624 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=385636 CPUtime=51.08 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 27075 0 0 0 5102 6 0 0 25 0 4 0 651825558 394891264 41556 33554432000 4194304 4580107 140733708740624 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=385636 CPUtime=50.62 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 21392 0 0 0 5057 5 0 0 25 0 4 0 651825558 394891264 41556 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 385636

[startup+102.311 s]
/proc/loadavg: 8.02 8.02 8.00 9/298 4852
/proc/meminfo: memFree=16462488/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=452784 CPUtime=408.28 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 137077 0 0 0 40790 38 0 0 25 0 4 0 651825557 463650816 53856 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 113196 53856 379 95 0 108178 0
[pid=4845/tid=4846] ppid=4843 vsize=452784 CPUtime=102.3 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 31630 0 0 0 10219 11 0 0 25 0 4 0 651825558 463650816 53856 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=452784 CPUtime=102.29 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 37916 0 0 0 10219 10 0 0 25 0 4 0 651825558 463650816 53856 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=452784 CPUtime=101.36 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 32440 0 0 0 10128 8 0 0 25 0 4 0 651825558 463650816 53856 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 452784

[startup+162.301 s]

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

[pid=4845] ppid=4843 vsize=636408 CPUtime=2563.31 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 340259 0 0 0 256176 155 0 0 25 0 4 0 651825557 651681792 108132 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 159102 108132 379 95 0 154084 0
[pid=4845/tid=4846] ppid=4843 vsize=636408 CPUtime=642.31 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 60772 0 0 0 64203 28 0 0 25 0 4 0 651825558 651681792 108132 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=636408 CPUtime=642.3 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 102046 0 0 0 64185 45 0 0 25 0 4 0 651825558 651681792 108132 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=636408 CPUtime=636.38 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 95658 0 0 0 63593 45 0 0 25 0 4 0 651825558 651681792 108132 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2563.31
Current children cumulated vsize (KiB) 636408

[startup+702.301 s]
/proc/loadavg: 8.21 8.10 8.02 9/298 4868
/proc/meminfo: memFree=16023584/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=563732 CPUtime=2802.76 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 358999 0 0 0 280110 166 0 0 25 0 4 0 651825557 577261568 103665 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 140933 103665 379 95 0 135915 0
[pid=4845/tid=4846] ppid=4843 vsize=563732 CPUtime=702.31 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 61409 0 0 0 70202 29 0 0 25 0 4 0 651825558 577261568 103665 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=563732 CPUtime=702.29 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 110030 0 0 0 70179 50 0 0 25 0 4 0 651825558 577261568 103665 33554432000 4194304 4580107 140733708740624 18446744073709551615 4296279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=563732 CPUtime=695.84 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 99361 0 0 0 69537 47 0 0 25 0 4 0 651825558 577261568 103665 33554432000 4194304 4580107 140733708740624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.76
Current children cumulated vsize (KiB) 563732

[startup+762.311 s]
/proc/loadavg: 8.15 8.10 8.02 9/298 4870
/proc/meminfo: memFree=15993896/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=631264 CPUtime=3042.24 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 376592 0 0 0 304046 178 0 0 25 0 4 0 651825557 646414336 110680 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 157816 110680 380 95 0 152798 0
[pid=4845/tid=4846] ppid=4843 vsize=631264 CPUtime=762.31 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 65068 0 0 0 76200 31 0 0 25 0 4 0 651825558 646414336 110680 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=631264 CPUtime=762.31 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 114361 0 0 0 76177 54 0 0 25 0 4 0 651825558 646414336 110680 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=631264 CPUtime=755.3 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 105802 0 0 0 75479 51 0 0 25 0 4 0 651825558 646414336 110680 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.24
Current children cumulated vsize (KiB) 631264

[startup+822.3 s]
/proc/loadavg: 8.12 8.09 8.02 9/298 4871
/proc/meminfo: memFree=16017172/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=570740 CPUtime=3281.66 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 392791 0 0 0 327980 186 0 0 25 0 4 0 651825557 584437760 106166 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 142685 106166 380 95 0 137667 0
[pid=4845/tid=4846] ppid=4843 vsize=570740 CPUtime=822.31 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 68805 0 0 0 82198 33 0 0 25 0 4 0 651825558 584437760 106166 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=570740 CPUtime=822.29 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 116176 0 0 0 82175 54 0 0 25 0 4 0 651825558 584437760 106166 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=570740 CPUtime=814.74 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 109314 0 0 0 81422 52 0 0 25 0 4 0 651825558 584437760 106166 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.66
Current children cumulated vsize (KiB) 570740

[startup+882.301 s]
/proc/loadavg: 8.18 8.11 8.02 9/298 4873
/proc/meminfo: memFree=15978936/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=531396 CPUtime=3521.12 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 410739 0 0 0 351916 196 0 0 25 0 4 0 651825557 544149504 106387 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 132849 106387 380 95 0 127831 0
[pid=4845/tid=4846] ppid=4843 vsize=531396 CPUtime=882.3 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 70909 0 0 0 88196 34 0 0 25 0 4 0 651825558 544149504 106387 33554432000 4194304 4580107 140733708740624 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=531396 CPUtime=882.29 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 120725 0 0 0 88172 57 0 0 25 0 4 0 651825558 544149504 106387 33554432000 4194304 4580107 140733708740624 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=531396 CPUtime=874.2 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 112898 0 0 0 87366 54 0 0 25 0 4 0 651825558 544149504 106387 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.12
Current children cumulated vsize (KiB) 531396

[startup+942.301 s]
/proc/loadavg: 8.18 8.12 8.03 9/298 4875
/proc/meminfo: memFree=15975436/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=597028 CPUtime=3760.57 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 430038 0 0 0 375849 208 0 0 25 0 4 0 651825557 611356672 115051 33554432000 4194304 4580107 140733708740624 18446744073709551615 4406365 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 149257 115051 380 95 0 144239 0
[pid=4845/tid=4846] ppid=4843 vsize=597028 CPUtime=942.31 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 73280 0 0 0 94195 36 0 0 25 0 4 0 651825558 611356672 115051 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=597028 CPUtime=942.3 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 125699 0 0 0 94169 61 0 0 25 0 4 0 651825558 611356672 115051 33554432000 4194304 4580107 140733708740624 18446744073709551615 4293103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=597028 CPUtime=933.65 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 117289 0 0 0 93308 57 0 0 25 0 4 0 651825558 611356672 115051 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.57
Current children cumulated vsize (KiB) 597028

[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 8.03 9/298 4876
/proc/meminfo: memFree=15887620/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=675408 CPUtime=4000.02 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 456253 0 0 0 399784 218 0 0 25 0 4 0 651825557 691617792 127979 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 168852 127979 380 95 0 163834 0
[pid=4845/tid=4846] ppid=4843 vsize=675408 CPUtime=1002.31 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 82995 0 0 0 100192 39 0 0 25 0 4 0 651825558 691617792 127979 33554432000 4194304 4580107 140733708740624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=675408 CPUtime=1002.3 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 129183 0 0 0 100169 61 0 0 25 0 4 0 651825558 691617792 127979 33554432000 4194304 4580107 140733708740624 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=675408 CPUtime=993.09 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 123277 0 0 0 99250 59 0 0 25 0 4 0 651825558 691617792 127979 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000.02
Current children cumulated vsize (KiB) 675408

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 8.03 9/298 4887
/proc/meminfo: memFree=15788896/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=796216 CPUtime=4239.48 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 479545 0 0 0 423716 232 0 0 25 0 4 0 651825557 815325184 142912 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 199054 142912 380 95 0 194036 0
[pid=4845/tid=4846] ppid=4843 vsize=796216 CPUtime=1062.31 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 88426 0 0 0 106189 42 0 0 25 0 4 0 651825558 815325184 142912 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=796216 CPUtime=1062.3 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 133595 0 0 0 106166 64 0 0 25 0 4 0 651825558 815325184 142912 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=796216 CPUtime=1052.55 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 129568 0 0 0 105192 63 0 0 25 0 4 0 651825558 815325184 142912 33554432000 4194304 4580107 140733708740624 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4239.48
Current children cumulated vsize (KiB) 796216

[startup+1122.3 s]
/proc/loadavg: 8.14 8.12 8.04 9/298 4888
/proc/meminfo: memFree=15812172/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=723904 CPUtime=4478.9 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 495507 0 0 0 447644 246 0 0 25 0 4 0 651825557 741277696 131276 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 180976 131276 380 95 0 175958 0
[pid=4845/tid=4846] ppid=4843 vsize=723904 CPUtime=1122.32 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 92999 0 0 0 112184 48 0 0 25 0 4 0 651825558 741277696 131276 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=723904 CPUtime=1122.3 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 138155 0 0 0 112163 67 0 0 25 0 4 0 651825558 741277696 131276 33554432000 4194304 4580107 140733708740624 18446744073709551615 4316421 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=723904 CPUtime=1111.97 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 131721 0 0 0 111131 66 0 0 25 0 4 0 651825558 741277696 131276 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.9
Current children cumulated vsize (KiB) 723904

[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 8.04 9/298 4892
/proc/meminfo: memFree=15783732/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=741188 CPUtime=4718.36 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 514582 0 0 0 471580 256 0 0 25 0 4 0 651825557 758976512 136006 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 185297 136006 380 95 0 180279 0
[pid=4845/tid=4846] ppid=4843 vsize=741188 CPUtime=1182.32 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 96500 0 0 0 118182 50 0 0 25 0 4 0 651825558 758976512 136006 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=741188 CPUtime=1182.3 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 141061 0 0 0 118160 70 0 0 25 0 4 0 651825558 758976512 136006 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=741188 CPUtime=1171.43 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 137408 0 0 0 117074 69 0 0 25 0 4 0 651825558 758976512 136006 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4718.36
Current children cumulated vsize (KiB) 741188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.29 8.15 8.05 10/299 4894
/proc/meminfo: memFree=15733972/32951124 swapFree=52307768/67111528
[pid=4845] ppid=4843 vsize=911216 CPUtime=4800.19 cores=1,3,5,7
/proc/4845/stat : 4845 (strangenight2-m) R 4843 4845 4414 0 -1 4202496 521437 0 0 0 479758 261 0 0 25 0 4 0 651825557 933085184 141920 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4845/statm: 227804 141920 380 95 0 222786 0
[pid=4845/tid=4846] ppid=4843 vsize=911216 CPUtime=1202.83 cores=1,3,5,7
/proc/4845/task/4846/stat : 4846 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 97687 0 0 0 120232 51 0 0 25 0 4 0 651825558 933085184 141920 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4845/tid=4847] ppid=4843 vsize=911216 CPUtime=1202.81 cores=1,3,5,7
/proc/4845/task/4847/stat : 4847 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 143969 0 0 0 120210 71 0 0 25 0 4 0 651825558 933085184 141920 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4845/tid=4848] ppid=4843 vsize=911216 CPUtime=1191.74 cores=1,3,5,7
/proc/4845/task/4848/stat : 4848 (strangenight2-m) R 4843 4845 4414 0 -1 4202560 138874 0 0 0 119104 70 0 0 25 0 4 0 651825558 933085184 141920 33554432000 4194304 4580107 140733708740624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 911216

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.26
CPU user time (s): 4797.62
CPU system time (s): 2.6396
CPU usage (%): 399.076
Max. virtual memory (cumulated for all children) (KiB): 911216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.62
system time used= 2.6396
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521438
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= 674
involuntary context switches= 35107

runsolver used 3.00654 second user time and 8.08977 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 21:43:48
IDJOB=3366351
IDBENCH=82760
IDSOLVER=1844
FILE ID=node101/3366351-1305402228
RUNJOBID= node101-1305401023-4729
PBS_JOBID= 13324459
Free space on /tmp= 73732 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366351-1305402228/watcher-3366351-1305402228 -o /tmp/evaluation-result-3366351-1305402228/solver-3366351-1305402228 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366351-1305402228.cnf

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

MD5SUM BENCH= 7dd850f670e1c9ea63e995ef24dddf5f
RANDOM SEED=1885517730

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16812280 kB
Buffers:        321844 kB
Cached:        5884268 kB
SwapCached:      14848 kB
Active:       10835328 kB
Inactive:      5029228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16812280 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           10884 kB
Writeback:          16 kB
AnonPages:     9654884 kB
Mapped:          15252 kB
Slab:           149512 kB
PageTables:      62172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42066824 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= 73728 MiB
End job on node101 at 2011-05-14 22:03:53