Trace number 3368859

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.38 1203.45

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf
MD5SUMb51753a48e6efd66554e7afe4efc3b19
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368859-1305404599.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.01
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 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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.38/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     24  v-fix:    0  time:  0.01 s
0.38/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.38/0.10	c calculated reachability. Time: 0.00
0.38/0.10	c Calc default polars -  time:   0.00 s pos:     307 undec:      59 neg:     284
0.38/0.10	c =========================================================================================
0.38/0.10	c types(t): F = full restart, N = normal restart
0.38/0.10	c types(t): S = simplification begin/end, E = solution found
0.38/0.10	c restart types(rt): st = static, dy = dynamic
0.38/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.10	c  B st     0         0       626      2740         0         0      8369         0   no data   no data  --
0.38/0.10	c Decided on static restart strategy
0.38/0.17	c  N st     8      4918       626      2740         0      4839      8369    133582   no data   no data  --
1.58/0.44	c  N st    10     11300       626      2740         0      4498      8369     86951   no data   no data  --
2.77/0.73	c  N st    11     17046       626      2740         0     10131      8369    249814   no data   no data  --
4.41/1.18	c  F st    12     25002       626      2740         0     12459      8369    310097   no data   no data  --
4.41/1.18	c  N st    12     25002       626      2740         0     12459      8369    310097   no data   no data  --
5.57/1.43	c Decided on static restart strategy
5.57/1.43	c  N st    18     30000       626      2740         0     10702      8369    237819   no data   no data  --
5.57/1.43	c  S st    18     30000       626      2740         0     10702      8369    237819   no data   no data  --
5.57/1.46	c  S st    18     30505       626      2740         0     11207      8369    251494   no data   no data  --
5.57/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.57/1.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
5.57/1.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.76/1.73	c lits-rem:       141  cl-subs:      403  v-elim:      0  v-fix:    0  time:  1.01 s
6.76/1.74	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.04
6.76/1.74	c calculated reachability. Time: 0.00
6.76/1.74	c  N st    18     30505       626      2740         0     10804      8369    237819   no data   no data  --
8.39/2.14	c  N st    20     37615       626      2740         0     10061      8369    197330   no data   no data  --
9.94/2.56	c  N st    21     44014       626      2740         0     16334      8369    380997   no data   no data  --
10.35/2.69	c  S st    22     45757       626      2740         0      9267      8369    152443   no data   no data  --
10.75/2.72	c  S st    22     46258       626      2740         0      9768      8369    164700   no data   no data  --
10.75/2.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.75/2.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.75/2.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.75/2.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.75/2.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
10.75/2.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.15/2.84	c lits-rem:         6  cl-subs:       50  v-elim:      0  v-fix:    0  time:  0.46 s
11.15/2.84	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
11.15/2.84	c vivif2 --  cl tried     9718 cl shrink        0 lits rem          0 time: 0.01
11.15/2.85	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.03
11.15/2.85	c calculated reachability. Time: 0.00
11.15/2.85	c  N st    22     46258       626      2740         0      9718      8369    163117   no data   no data  --
15.13/3.84	c  N st    23     60655       626      2740         0     14030      8369    273637   no data   no data  --
17.92/4.51	c  N st    24     69387       626      2740         0     11860      8369    199096   no data   no data  --
17.92/4.51	c  S st    24     69387       626      2740         0     11860      8369    199096   no data   no data  --
17.92/4.54	c  S st    24     69888       626      2740         0     12360      8369    212600   no data   no data  --
17.92/4.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.92/4.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.92/4.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
17.92/4.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.92/4.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.92/4.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
17.92/4.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.73/4.78	c lits-rem:        54  cl-subs:       82  v-elim:      0  v-fix:    0  time:  0.92 s
18.73/4.78	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
18.73/4.79	c vivif2 --  cl tried    12278 cl shrink        0 lits rem          0 time: 0.01
18.73/4.80	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.04
19.13/4.80	c calculated reachability. Time: 0.00
19.13/4.80	c  N st    24     69888       626      2740         0     12278      8369    210046   no data   no data  --
24.31/6.14	c  F st    25     87501       626      2740         0     17766      8369    356910   no data   no data  --
24.31/6.14	c  N st    25     87501       626      2740         0     17766      8369    356910   no data   no data  --
25.94/6.55	c Decided on static restart strategy
27.10/6.82	c  N st    32     95539       626      2740         0     12936      8369    198341   no data   no data  --
29.91/7.53	c  N st    34    104834       626      2740         0     22070      8369    454189   no data   no data  --
29.91/7.53	c  S st    34    104834       626      2740         0     22070      8369    454189   no data   no data  --
29.91/7.59	c  S st    34    105338       626      2740         0     22574      8369    466938   no data   no data  --
29.91/7.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.91/7.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.91/7.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
30.33/7.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.33/7.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.33/7.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
30.33/7.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
34.72/8.75	c lits-rem:       242  cl-subs:      660  v-elim:      0  v-fix:    0  time:  4.53 s
34.72/8.75	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
34.72/8.76	c vivif2 --  cl tried    21914 cl shrink        0 lits rem          0 time: 0.02
34.72/8.78	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.08
34.72/8.78	c calculated reachability. Time: 0.00
34.72/8.78	c  N st    34    105338       626      2740         0     21914      8369    446035   no data   no data  --
38.68/9.70	c  N st    35    114938       626      2740         0     17611      8369    300251   no data   no data  --
43.90/11.06	c  N st    36    129335       626      2740         0     17027      8369    271170   no data   no data  --
51.84/13.00	c  N st    37    150932       626      2740         0     22516      8369    407133   no data   no data  --
54.23/13.65	c  S st    38    158008       626      2740         0     29458      8369    601995   no data   no data  --
54.63/13.72	c  S st    38    158513       626      2740         0     29959      8369    614956   no data   no data  --
54.63/13.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
54.63/13.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.63/13.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
54.63/13.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.63/13.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.63/13.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
54.63/13.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
61.45/15.45	c lits-rem:       424  cl-subs:     1057  v-elim:      0  v-fix:    0  time:  6.77 s
61.45/15.45	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
61.45/15.46	c vivif2 --  cl tried    28902 cl shrink        0 lits rem          0 time: 0.03
61.45/15.49	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.10
61.45/15.49	c calculated reachability. Time: 0.00
61.45/15.49	c  N st    38    158513       626      2740         0     28902      8369    584657   no data   no data  --
82.16/20.64	c  N st    39    207101       626      2740         0     23569      8369    398637   no data   no data  --
96.15/24.19	c  N st    40    237769       626      2740         0     34228      8369    716511   no data   no data  --
96.15/24.19	c  S st    40    237769       626      2740         0     34228      8369    716511   no data   no data  --
96.55/24.29	c  S st    40    238274       626      2740         0     34733      8369    730388   no data   no data  --
96.55/24.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
96.55/24.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.91/24.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
96.91/24.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.91/24.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.91/24.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
96.91/24.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
104.92/26.33	c lits-rem:       652  cl-subs:      705  v-elim:      0  v-fix:    0  time:  8.00 s
104.92/26.33	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
104.92/26.34	c vivif2 --  cl tried    34028 cl shrink        0 lits rem          0 time: 0.03
104.92/26.38	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.13
104.92/26.38	c calculated reachability. Time: 0.00
104.92/26.38	c  N st    40    238274       626      2740         0     34028      8369    709203   no data   no data  --
139.20/34.96	c  F st    41    306251       626      2740         0     35784      8369    706551   no data   no data  --
139.20/34.96	c  N st    41    306251       626      2740         0     35784      8369    706551   no data   no data  --
150.36/37.75	c  N dy    92    326955       626      2740         0     32570      8369    495154     18.74     19.77  --
162.72/40.81	c  N dy   171    347243       626      2740         0     27966      8369    333011     18.48     19.50  --
167.51/42.07	c  S st   221    357411       626      2740         0     38045      8369    607069     18.52     17.93  --
167.91/42.16	c  S st   221    357915       626      2740         0     38549      8369    621531     18.52   no data  --
167.91/42.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
167.91/42.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
167.91/42.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
168.31/42.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
168.31/42.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
168.31/42.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
168.31/42.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
175.53/44.07	c lits-rem:       469  cl-subs:      384  v-elim:      0  v-fix:    0  time:  7.47 s
175.53/44.07	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
175.53/44.08	c vivif2 --  cl tried    38165 cl shrink        0 lits rem          0 time: 0.03
175.89/44.12	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.14
175.89/44.12	c calculated reachability. Time: 0.00
175.89/44.12	c  N dy   221    357915       626      2740         0     38165      8369    609072     18.52   no data  --
188.29/47.24	c  N dy   305    378013       626      2740         0     32354      8369    423477     18.54     21.41  --
201.86/50.66	c  N dy   397    398215       626      2740         0     52367      8369    972841     18.56     19.57  --
215.02/53.95	c  N dy   441    420383       626      2740         0     47506      8369    795961     18.28     19.30  --
227.78/57.17	c  N dy   551    440671       626      2740         0     39949      8369    581113     18.40     19.40  --
242.50/60.81	c  N dy   638    460762       626      2740         0     31099      8369    313530     18.38     19.57  --
254.87/63.92	c  N dy   738    480801       626      2740         0     50957      8369    862991     18.45     21.17  --
268.84/67.41	c  N dy   825    501201       626      2740         0     41437      8369    566190     18.48     19.46  --
285.23/71.53	c  N dy   942    521331       626      2740         0     61398      8369   1115752     18.56     19.55  --
294.01/73.75	c  S st  1011    536872       626      2740         0     46079      8369    673698     18.56     15.34  --
294.36/73.87	c  S st  1011    537372       626      2740         0     46579      8369    687141     18.56   no data  --
294.36/73.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
294.36/73.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
294.36/73.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
294.76/73.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
294.76/73.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
294.76/73.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
294.76/73.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
303.14/76.03	c lits-rem:       733  cl-subs:      524  v-elim:      0  v-fix:    0  time:  8.48 s
303.14/76.04	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
303.14/76.04	c vivif2 --  cl tried    46055 cl shrink        0 lits rem          0 time: 0.04
303.14/76.09	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.18
303.14/76.09	c calculated reachability. Time: 0.00
303.14/76.09	c  N dy  1011    537372       626      2740         0     46055      8369    671036     18.56   no data  --
319.92/80.21	c  N dy  1098    557484       626      2740         0     34283      8369    326656     18.57     19.64  --
333.49/83.65	c  N dy  1187    577953       626      2740         0     54545      8369    880398     18.59     19.61  --
349.01/87.52	c  N dy  1277    598020       626      2740         0     41759      8369    510092     18.61     19.73  --
368.19/92.34	c  N dy  1370    622195       626      2740         0     65682      8369   1163505     18.60     19.59  --
382.52/95.91	c  N dy  1461    643140       626      2740         0     52772      8369    791008     18.62     19.68  --
400.47/100.42	c  N dy  1553    663419       626      2740         0     38213      8369    369460     18.64     19.74  --
416.03/104.33	c  N dy  1634    684131       626      2740         0     58737      8369    933534     18.64     19.67  --
434.01/108.81	c  N dy  1733    704156       626      2740         0     42910      8369    476560     18.66     19.67  --
450.74/113.07	c  N dy  1844    724186       626      2740         0     62754      8369   1026988     18.69     20.10  --
468.29/117.48	c  N dy  1933    744209       626      2740         0     45938      8369    542173     18.69     20.95  --
484.64/121.53	c  N dy  1984    764267       626      2740         0     65748      8369   1084095     18.65     21.05  --
502.58/126.05	c  N dy  2084    784278       626      2740         0     47925      8369    566529     18.67     20.20  --
521.77/130.84	c  N dy  2140    806059       626      2740         0     69369      8369   1146693     18.65     16.90  --
521.77/130.84	c  S st  2140    806059       626      2740         0     69369      8369   1146693     18.65     16.90  --
522.53/131.03	c  S st  2140    806562       626      2740         0     69871      8369   1160435     18.65   no data  --
522.53/131.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
522.53/131.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
522.53/131.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
522.93/131.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
522.93/131.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
522.93/131.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
522.93/131.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
529.71/132.82	c lits-rem:       226  cl-subs:     2102  v-elim:      0  v-fix:    0  time:  6.84 s
529.71/132.82	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
529.71/132.83	c vivif2 --  cl tried    67769 cl shrink        0 lits rem          0 time: 0.05
530.11/132.91	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.33
530.11/132.91	c calculated reachability. Time: 0.00
530.11/132.91	c  N dy  2140    806562       626      2740         0     67769      8369   1103069     18.65   no data  --
550.46/138.05	c  N dy  2215    828675       626      2740         0     51125      8369    634213     18.64     19.71  --
569.21/142.74	c  N dy  2289    848737       626      2740         0     70959      8369   1181911     18.64     19.72  --
587.16/147.21	c  N dy  2375    868820       626      2740         0     51276      8369    612901     18.64     21.92  --
609.94/152.92	c  N dy  2449    891782       626      2740         0     74015      8369   1236529     18.63     19.75  --
627.85/157.47	c  N dy  2569    911795       626      2740         0     53290      8369    657580     18.67     20.03  --
648.19/162.55	c  N dy  2630    932719       626      2740         0     73952      8369   1225718     18.64     19.74  --
668.93/167.73	c  N dy  2673    955534       626      2740         0     54968      8369    670765     18.61     19.69  --
689.27/172.82	c  N dy  2740    976162       626      2740         0     75341      8369   1221523     18.60     19.62  --
709.62/177.95	c  N dy  2841    996931       626      2740         0     53397      8369    614007     18.61     19.61  --
729.96/183.05	c  N dy  2934   1017009       626      2740         0     73263      8369   1163291     18.62     20.18  --
752.70/188.73	c  N dy  3011   1037083       626      2740         0     49584      8369    486691     18.62     19.77  --
772.64/193.77	c  N dy  3109   1058855       626      2740         0     71117      8369   1079817     18.63     19.63  --
789.43/197.99	c  F st  3192   1071875       626      2740         0     84022      8369   1441722     18.65   no data  --
796.57/199.77	c Decided on static restart strategy
798.21/200.17	c  N st  3199   1079915       626      2740         0     47471      8369    412794     18.65   no data  --
814.13/204.15	c  N st  3202   1100181       626      2740         0     67367      8369    978586     18.65   no data  --
847.23/212.45	c  N st  3204   1136174       626      2740         0     57408      8369   1068315     18.65   no data  --
882.73/221.31	c  N st  3205   1168566       626      2740         0     89281      8369   2106310     18.65   no data  --
924.62/231.83	c  N st  3206   1209844       626      2740         0     83640      8369   1878370     18.65   no data  --
924.62/231.83	c  S st  3206   1209844       626      2740         0     83640      8369   1878370     18.65   no data  --
925.45/232.10	c  S st  3206   1210348       626      2740         0     84143      8369   1892706     18.65   no data  --
925.86/232.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
925.86/232.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
925.86/232.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
926.21/232.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
926.21/232.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
926.21/232.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
926.21/232.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
952.54/238.85	c lits-rem:       116  cl-subs:     3329  v-elim:      0  v-fix:    0  time: 26.44 s
952.54/238.85	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
952.54/238.87	c vivif2 --  cl tried    80814 cl shrink        0 lits rem          0 time: 0.08
952.94/238.99	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.45
952.94/238.99	c calculated reachability. Time: 0.00
952.94/238.99	c  N st  3206   1210348       626      2740         0     80814      8369   1790061     18.65   no data  --
1027.54/257.66	c  N st  3207   1283232       626      2740         0     57020      8369    919431     18.65   no data  --
1146.80/287.58	c  N st  3208   1392555       626      2740         0     65074      8369   1110723     18.65   no data  --
1320.35/331.04	c  N st  3209   1556541       626      2740         0     69778      8369   1150317     18.65   no data  --
1500.67/376.29	c  N st  3210   1710350       626      2740         0     55895      8369    651321     18.65   no data  --
1500.67/376.29	c  S st  3210   1710350       626      2740         0     55895      8369    651321     18.65   no data  --
1501.42/376.44	c  S st  3210   1710853       626      2740         0     56398      8369    665132     18.65   no data  --
1501.42/376.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1501.42/376.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1501.42/376.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
1501.42/376.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1501.42/376.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1501.42/376.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
1501.42/376.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1509.04/378.40	c lits-rem:       498  cl-subs:      227  v-elim:      0  v-fix:    0  time:  7.64 s
1509.04/378.40	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
1509.45/378.41	c vivif2 --  cl tried    56171 cl shrink        0 lits rem          0 time: 0.04
1509.45/378.47	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.24
1509.45/378.48	c calculated reachability. Time: 0.00
1509.45/378.48	c  N st  3210   1710853       626      2740         0     56171      8369    659234     18.65   no data  --
1962.14/491.95	c  N st  3211   2079818       626      2740         0     62049      8369    683855     18.65   no data  --
2139.64/536.41	c  N st  3212   2210853       626      2740         0     64139      8369    694810     18.65   no data  --
2139.64/536.41	c  S st  3212   2210853       626      2740         0     64139      8369    694810     18.65   no data  --
2140.04/536.57	c  S st  3212   2211357       626      2740         0     64642      8369    709241     18.65   no data  --
2140.04/536.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2140.04/536.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2140.44/536.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
2140.44/536.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2140.44/536.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2140.44/536.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
2140.44/536.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2148.42/538.65	c lits-rem:       161  cl-subs:      106  v-elim:      0  v-fix:    0  time:  8.10 s
2148.42/538.66	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
2148.42/538.66	c vivif2 --  cl tried    64536 cl shrink        0 lits rem          0 time: 0.04
2148.82/538.73	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.28
2148.82/538.74	c calculated reachability. Time: 0.00
2148.82/538.74	c  N st  3212   2211357       626      2740         0     64536      8369    706709     18.65   no data  --
2843.34/712.88	c  N st  3213   2711358       626      2740         0     80837      8369   1026546     18.65   no data  --
2843.34/712.88	c  S st  3213   2711358       626      2740         0     80837      8369   1026546     18.65   no data  --
2844.48/713.12	c  S st  3213   2711863       626      2740         0     81342      8369   1040810     18.65   no data  --
2844.48/713.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2844.48/713.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2844.48/713.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
2844.88/713.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2844.88/713.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2844.88/713.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
2844.88/713.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2852.11/715.02	c lits-rem:        47  cl-subs:     1637  v-elim:      0  v-fix:    0  time:  7.25 s
2852.11/715.02	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
2852.11/715.03	c vivif2 --  cl tried    79705 cl shrink        0 lits rem          0 time: 0.06
2852.46/715.14	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.40
2852.46/715.14	c calculated reachability. Time: 0.00
2852.46/715.14	c  N st  3213   2711863       626      2740         0     79705      8369   1003341     18.65   no data  --
3577.67/896.95	c  N st  3214   3211864       626      2740         0    125541      8369   2148622     18.65   no data  --
3577.67/896.95	c  S st  3214   3211864       626      2740         0    125541      8369   2148622     18.65   no data  --
3579.27/897.33	c  S st  3214   3212367       626      2740         0    126044      8369   2163116     18.65   no data  --
3579.27/897.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3579.27/897.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3579.67/897.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
3579.67/897.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3579.67/897.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3579.67/897.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
3579.67/897.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3659.06/917.31	c lits-rem:       233  cl-subs:     9575  v-elim:      0  v-fix:    0  time: 79.05 s
3659.06/917.31	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
3659.06/917.34	c vivif2 --  cl tried   116469 cl shrink        0 lits rem          0 time: 0.10
3659.82/917.53	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.76
3659.82/917.53	c calculated reachability. Time: 0.00
3659.82/917.53	c  N st  3214   3212367       626      2740         0    116469      8369   1927576     18.65   no data  --
4463.99/1119.11	c  N st  3215   3712367       626      2740         0    127484      8369   2157074     18.65   no data  --
4463.99/1119.11	c  S st  3215   3712367       626      2740         0    127484      8369   2157074     18.65   no data  --
4465.59/1119.52	c  S st  3215   3712871       626      2740         0    127988      8369   2171170     18.65   no data  --
4465.59/1119.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4465.59/1119.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4465.99/1119.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
4465.99/1119.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4465.99/1119.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4465.99/1119.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
4465.99/1119.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4531.80/1136.19	c lits-rem:       144  cl-subs:     6597  v-elim:      0  v-fix:    0  time: 65.83 s
4531.80/1136.19	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
4532.23/1136.21	c vivif2 --  cl tried   121391 cl shrink        0 lits rem          0 time: 0.09
4532.99/1136.40	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.75
4532.99/1136.41	c calculated reachability. Time: 0.00
4532.99/1136.41	c  N st  3215   3712871       626      2740         0    121391      8369   1999734     18.65   no data  --
4590.43/1150.87	c  F st  3216   3751562       626      2740         0    159470      8369   3185614     18.65   no data  --
4590.43/1150.87	c  N st  3216   3751562       626      2740         0    159470      8369   3185614     18.65   no data  --
4604.79/1154.42	c Decided on static restart strategy
4637.10/1162.54	c  N st  3226   3779874       626      2740         0    104342      8369   1459138     18.65   no data  --
4703.36/1179.18	c  N st  3228   3815868       626      2740         0    139586      8369   2461565     18.65   no data  --
4779.51/1198.21	c  N st  3229   3848260       626      2740         0     87179      8369    933887     18.65   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-3368859-1305404599/watcher-3368859-1305404599 -o /tmp/evaluation-result-3368859-1305404599/solver-3368859-1305404599 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368859-1305404599.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: 6.87 7.82 7.96 5/350 16069
/proc/meminfo: memFree=25768496/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 4 0 652060380 52465664 352 33554432000 4194304 4650419 140734250419696 18446744073709551615 47253402884018 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 12809 352 303 112 0 7774 0
[pid=16069/tid=16070] ppid=16067 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652060380 52465664 352 33554432000 4194304 4650419 140734250419696 18446744073709551615 47253402884018 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652060380 52465664 352 33554432000 4194304 4650419 140734250419696 18446744073709551615 47253402884018 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652060381 52465664 352 33554432000 4194304 4650419 140734250419696 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0721549 s]
/proc/loadavg: 6.87 7.82 7.96 5/350 16069
/proc/meminfo: memFree=25768496/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=282284 CPUtime=0.26 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 1753 0 0 0 26 0 0 0 25 0 4 0 652060380 289058816 1549 33554432000 4194304 4650419 140734250419696 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 70571 1549 390 112 0 65536 0
[pid=16069/tid=16070] ppid=16067 vsize=282284 CPUtime=0.06 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 391 0 0 0 6 0 0 0 25 0 4 0 652060380 289058816 1549 33554432000 4194304 4650419 140734250419696 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=282284 CPUtime=0.06 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 351 0 0 0 6 0 0 0 25 0 4 0 652060380 289058816 1549 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=282284 CPUtime=0.05 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 229 0 0 0 5 0 0 0 25 0 4 0 652060381 289058816 1549 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 282284

[startup+0.101149 s]
/proc/loadavg: 6.87 7.82 7.96 5/350 16069
/proc/meminfo: memFree=25768496/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=282436 CPUtime=0.38 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 1941 0 0 0 38 0 0 0 25 0 4 0 652060380 289214464 1737 33554432000 4194304 4650419 140734250419696 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 70609 1737 391 112 0 65574 0
[pid=16069/tid=16070] ppid=16067 vsize=282436 CPUtime=0.09 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 438 0 0 0 9 0 0 0 25 0 4 0 652060380 289214464 1737 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=282436 CPUtime=0.09 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 400 0 0 0 9 0 0 0 25 0 4 0 652060380 289214464 1737 33554432000 4194304 4650419 140734250419696 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=282436 CPUtime=0.08 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 274 0 0 0 8 0 0 0 25 0 4 0 652060381 289214464 1737 33554432000 4194304 4650419 140734250419696 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282436

[startup+0.301113 s]
/proc/loadavg: 6.87 7.82 7.96 5/350 16069
/proc/meminfo: memFree=25768496/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=283832 CPUtime=1.18 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 3180 0 0 0 118 0 0 0 25 0 4 0 652060380 290643968 2303 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 70958 2303 393 112 0 65923 0
[pid=16069/tid=16070] ppid=16067 vsize=283832 CPUtime=0.29 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 756 0 0 0 29 0 0 0 25 0 4 0 652060380 290643968 2303 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=283832 CPUtime=0.29 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 707 0 0 0 29 0 0 0 25 0 4 0 652060380 290643968 2304 33554432000 4194304 4650419 140734250419696 18446744073709551615 4333935 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=283832 CPUtime=0.28 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 585 0 0 0 28 0 0 0 25 0 4 0 652060381 290643968 2304 33554432000 4194304 4650419 140734250419696 18446744073709551615 4315094 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) 283832

[startup+0.70104 s]
/proc/loadavg: 6.87 7.82 7.96 5/350 16069
/proc/meminfo: memFree=25768496/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=284804 CPUtime=2.77 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 4935 0 0 0 277 0 0 0 25 0 4 0 652060380 291639296 3049 33554432000 4194304 4650419 140734250419696 18446744073709551615 4328325 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 71201 3049 393 112 0 66166 0
[pid=16069/tid=16070] ppid=16067 vsize=284804 CPUtime=0.69 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 1202 0 0 0 69 0 0 0 25 0 4 0 652060380 291639296 3049 33554432000 4194304 4650419 140734250419696 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=284804 CPUtime=0.69 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 1157 0 0 0 69 0 0 0 25 0 4 0 652060380 291639296 3049 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=284804 CPUtime=0.68 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 1010 0 0 0 68 0 0 0 25 0 4 0 652060381 291639296 3049 33554432000 4194304 4650419 140734250419696 18446744073709551615 4363331 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284804

[startup+1.5009 s]
/proc/loadavg: 6.87 7.82 7.96 9/354 16073
/proc/meminfo: memFree=25752592/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=286220 CPUtime=5.96 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 9826 0 0 0 595 1 0 0 25 0 4 0 652060380 293089280 5150 33554432000 4194304 4650419 140734250419696 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 71555 5150 395 112 0 66520 0
[pid=16069/tid=16070] ppid=16067 vsize=286220 CPUtime=1.49 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 2093 0 0 0 149 0 0 0 25 0 4 0 652060380 293089280 5150 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=286220 CPUtime=1.49 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 2063 0 0 0 149 0 0 0 25 0 4 0 652060380 293089280 5150 33554432000 4194304 4650419 140734250419696 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=286220 CPUtime=1.47 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 1772 0 0 0 147 0 0 0 25 0 4 0 652060381 293089280 5150 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286220

[startup+3.1006 s]
/proc/loadavg: 6.96 7.83 7.96 9/354 16073
/proc/meminfo: memFree=25734612/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=286584 CPUtime=12.35 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 18028 0 0 0 1232 3 0 0 25 0 4 0 652060380 293462016 10594 33554432000 4194304 4650419 140734250419696 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 71646 10594 395 112 0 66611 0
[pid=16069/tid=16070] ppid=16067 vsize=286584 CPUtime=3.09 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 4157 0 0 0 309 0 0 0 25 0 4 0 652060380 293462016 10594 33554432000 4194304 4650419 140734250419696 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=286584 CPUtime=3.09 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 4786 0 0 0 309 0 0 0 25 0 4 0 652060380 293462016 10594 33554432000 4194304 4650419 140734250419696 18446744073709551615 4363280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=286584 CPUtime=3.05 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 4000 0 0 0 305 0 0 0 25 0 4 0 652060381 293462016 10594 33554432000 4194304 4650419 140734250419696 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 286584

[startup+6.30101 s]
/proc/loadavg: 6.96 7.83 7.96 9/354 16073
/proc/meminfo: memFree=25688628/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=296236 CPUtime=25.11 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 26205 0 0 0 2507 4 0 0 25 0 4 0 652060380 303345664 14206 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 74059 14206 395 112 0 69024 0
[pid=16069/tid=16070] ppid=16067 vsize=296236 CPUtime=6.29 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 6613 0 0 0 629 0 0 0 25 0 4 0 652060380 303345664 14206 33554432000 4194304 4650419 140734250419696 18446744073709551615 4330864 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=296236 CPUtime=6.29 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 6977 0 0 0 628 1 0 0 25 0 4 0 652060380 303345664 14207 33554432000 4194304 4650419 140734250419696 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=296236 CPUtime=6.21 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 5167 0 0 0 621 0 0 0 25 0 4 0 652060381 303345664 14207 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 296236

[startup+12.7008 s]
/proc/loadavg: 7.12 7.83 7.96 9/354 16073
/proc/meminfo: memFree=25651732/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=305632 CPUtime=50.64 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 40243 0 0 0 5058 6 0 0 25 0 4 0 652060380 312967168 22981 33554432000 4194304 4650419 140734250419696 18446744073709551615 4331995 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 76408 22981 395 112 0 71373 0
[pid=16069/tid=16070] ppid=16067 vsize=305632 CPUtime=12.68 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 11101 0 0 0 1268 0 0 0 25 0 4 0 652060380 312967168 22981 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=305632 CPUtime=12.69 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 10231 0 0 0 1268 1 0 0 25 0 4 0 652060380 312967168 22981 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=305632 CPUtime=12.55 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 7125 0 0 0 1254 1 0 0 25 0 4 0 652060381 312967168 22981 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 305632

[startup+25.5005 s]
/proc/loadavg: 7.33 7.85 7.97 9/354 16074
/proc/meminfo: memFree=25591716/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=306192 CPUtime=101.69 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 55225 0 0 0 10161 8 0 0 25 0 4 0 652060380 313540608 31665 33554432000 4194304 4650419 140734250419696 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 76548 31665 395 112 0 71513 0
[pid=16069/tid=16070] ppid=16067 vsize=306192 CPUtime=25.49 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 17173 0 0 0 2548 1 0 0 25 0 4 0 652060380 313540608 31665 33554432000 4194304 4650419 140734250419696 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=306192 CPUtime=25.49 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 13797 0 0 0 2547 2 0 0 25 0 4 0 652060380 313540608 31665 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=306192 CPUtime=25.2 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 7984 0 0 0 2519 1 0 0 25 0 4 0 652060381 313540608 31665 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 306192

[startup+51.1008 s]
/proc/loadavg: 7.62 7.88 7.97 9/354 16074
/proc/meminfo: memFree=25551448/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=308004 CPUtime=203.82 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 77907 0 0 0 20368 14 0 0 25 0 4 0 652060380 315396096 36283 33554432000 4194304 4650419 140734250419696 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 77001 36283 395 112 0 71966 0
[pid=16069/tid=16070] ppid=16067 vsize=308004 CPUtime=51.09 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 21898 0 0 0 5106 3 0 0 25 0 4 0 652060380 315396096 36283 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=308004 CPUtime=51.09 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 23245 0 0 0 5105 4 0 0 25 0 4 0 652060380 315396096 36283 33554432000 4194304 4650419 140734250419696 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=308004 CPUtime=50.52 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 9255 0 0 0 5051 1 0 0 25 0 4 0 652060381 315396096 36283 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 308004

[startup+102.313 s]
/proc/loadavg: 7.90 7.91 7.98 9/354 16076
/proc/meminfo: memFree=25489260/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=505664 CPUtime=408.1 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 107522 0 0 0 40785 25 0 0 25 0 4 0 652060380 517799936 49649 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 126416 49649 395 112 0 121381 0
[pid=16069/tid=16070] ppid=16067 vsize=505664 CPUtime=102.3 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 29115 0 0 0 10225 5 0 0 25 0 4 0 652060380 517799936 49649 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=505664 CPUtime=102.3 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 34886 0 0 0 10222 8 0 0 25 0 4 0 652060380 517799936 49649 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=505664 CPUtime=101.17 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 10971 0 0 0 10115 2 0 0 25 0 4 0 652060381 517799936 49649 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 505664

[startup+162.3 s]

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

[pid=16069] ppid=16067 vsize=614136 CPUtime=2562.11 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 303976 0 0 0 256098 113 0 0 25 0 4 0 652060380 628875264 98331 33554432000 4194304 4650419 140734250419696 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 153534 98331 395 112 0 148499 0
[pid=16069/tid=16070] ppid=16067 vsize=614136 CPUtime=642.29 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 74678 0 0 0 64206 23 0 0 25 0 4 0 652060380 628875264 98331 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=614136 CPUtime=642.31 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 107732 0 0 0 64188 43 0 0 25 0 4 0 652060380 628875264 98331 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=614136 CPUtime=635.28 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 23473 0 0 0 63520 8 0 0 25 0 4 0 652060381 628875264 98331 33554432000 4194304 4650419 140734250419696 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.11
Current children cumulated vsize (KiB) 614136

[startup+702.3 s]
/proc/loadavg: 8.03 8.06 8.01 9/354 16092
/proc/meminfo: memFree=25209984/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=561404 CPUtime=2801.42 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 322108 0 0 0 280021 121 0 0 25 0 4 0 652060380 574877696 89123 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 140351 89123 395 112 0 135316 0
[pid=16069/tid=16070] ppid=16067 vsize=561404 CPUtime=702.28 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 80145 0 0 0 70202 26 0 0 25 0 4 0 652060380 574877696 89123 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=561404 CPUtime=702.3 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 113223 0 0 0 70185 45 0 0 25 0 4 0 652060380 574877696 89123 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=561404 CPUtime=694.62 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 23581 0 0 0 69454 8 0 0 25 0 4 0 652060381 574877696 89123 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.42
Current children cumulated vsize (KiB) 561404

[startup+762.313 s]
/proc/loadavg: 8.08 8.06 8.01 9/354 16093
/proc/meminfo: memFree=25181796/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=561584 CPUtime=3040.79 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 342460 0 0 0 303950 129 0 0 25 0 4 0 652060380 575062016 94613 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 140396 94613 395 112 0 135361 0
[pid=16069/tid=16070] ppid=16067 vsize=561584 CPUtime=762.29 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 83784 0 0 0 76202 27 0 0 25 0 4 0 652060380 575062016 94613 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=561584 CPUtime=762.32 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 120843 0 0 0 76183 49 0 0 25 0 4 0 652060380 575062016 94613 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=561584 CPUtime=753.98 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 23762 0 0 0 75389 9 0 0 25 0 4 0 652060381 575062016 94613 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.79
Current children cumulated vsize (KiB) 561584

[startup+822.3 s]
/proc/loadavg: 8.09 8.06 8.01 9/354 16095
/proc/meminfo: memFree=25160312/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=561796 CPUtime=3280.09 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 361471 0 0 0 327871 138 0 0 25 0 4 0 652060380 575279104 92226 33554432000 4194304 4650419 140734250419696 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 140449 92226 395 112 0 135414 0
[pid=16069/tid=16070] ppid=16067 vsize=561796 CPUtime=822.28 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 86633 0 0 0 82199 29 0 0 25 0 4 0 652060380 575279104 92226 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=561796 CPUtime=822.3 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 129255 0 0 0 82178 52 0 0 25 0 4 0 652060380 575279104 92226 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=561796 CPUtime=813.32 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 23787 0 0 0 81323 9 0 0 25 0 4 0 652060381 575279104 92226 33554432000 4194304 4650419 140734250419696 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.09
Current children cumulated vsize (KiB) 561796

[startup+882.3 s]
/proc/loadavg: 8.09 8.06 8.01 9/354 16097
/proc/meminfo: memFree=25152432/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=614220 CPUtime=3519.43 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 382225 0 0 0 351796 147 0 0 25 0 4 0 652060380 628961280 98041 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 153555 98041 395 112 0 148520 0
[pid=16069/tid=16070] ppid=16067 vsize=614220 CPUtime=882.27 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 91818 0 0 0 88196 31 0 0 25 0 4 0 652060380 628961280 98041 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=614220 CPUtime=882.31 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 135321 0 0 0 88176 55 0 0 25 0 4 0 652060380 628961280 98041 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=614220 CPUtime=872.66 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 24052 0 0 0 87257 9 0 0 25 0 4 0 652060381 628961280 98041 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.43
Current children cumulated vsize (KiB) 614220

[startup+942.3 s]
/proc/loadavg: 8.08 8.06 8.01 9/354 16098
/proc/meminfo: memFree=25141208/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=563076 CPUtime=3758.76 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 402518 0 0 0 375721 155 0 0 25 0 4 0 652060380 576589824 98954 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 140769 98954 395 112 0 135734 0
[pid=16069/tid=16070] ppid=16067 vsize=563076 CPUtime=942.27 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 93848 0 0 0 94195 32 0 0 25 0 4 0 652060380 576589824 98954 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=563076 CPUtime=942.31 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 142706 0 0 0 94173 58 0 0 25 0 4 0 652060380 576589824 98954 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=563076 CPUtime=932 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 24220 0 0 0 93190 10 0 0 25 0 4 0 652060381 576589824 98954 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.76
Current children cumulated vsize (KiB) 563076

[startup+1002.3 s]
/proc/loadavg: 8.08 8.06 8.00 9/354 16100
/proc/meminfo: memFree=25111596/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=563280 CPUtime=3998.09 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 421939 0 0 0 399646 163 0 0 25 0 4 0 652060380 576798720 102831 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 140820 102831 395 112 0 135785 0
[pid=16069/tid=16070] ppid=16067 vsize=563280 CPUtime=1002.27 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 98433 0 0 0 100193 34 0 0 25 0 4 0 652060380 576798720 102831 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=563280 CPUtime=1002.31 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 150216 0 0 0 100170 61 0 0 25 0 4 0 652060380 576798720 102831 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=563280 CPUtime=991.34 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 24494 0 0 0 99124 10 0 0 25 0 4 0 652060381 576798720 102831 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3998.09
Current children cumulated vsize (KiB) 563280

[startup+1062.3 s]
/proc/loadavg: 8.13 8.08 8.01 9/354 16101
/proc/meminfo: memFree=25072588/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=658356 CPUtime=4237.42 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 444410 0 0 0 423571 171 0 0 25 0 4 0 652060380 674156544 107472 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 164589 107472 395 112 0 159554 0
[pid=16069/tid=16070] ppid=16067 vsize=658356 CPUtime=1062.27 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 104959 0 0 0 106191 36 0 0 25 0 4 0 652060380 674156544 107472 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=658356 CPUtime=1062.31 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 159938 0 0 0 106167 64 0 0 25 0 4 0 652060380 674156544 107472 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=658356 CPUtime=1050.69 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 24918 0 0 0 105058 11 0 0 25 0 4 0 652060381 674156544 107472 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.42
Current children cumulated vsize (KiB) 658356

[startup+1122.3 s]
/proc/loadavg: 8.15 8.09 8.01 9/354 16103
/proc/meminfo: memFree=25021356/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=583548 CPUtime=4476.75 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 472268 0 0 0 447491 184 0 0 25 0 4 0 652060380 597553152 117907 33554432000 4194304 4650419 140734250419696 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 145887 117907 395 112 0 140852 0
[pid=16069/tid=16070] ppid=16067 vsize=583548 CPUtime=1122.27 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 110488 0 0 0 112189 38 0 0 25 0 4 0 652060380 597553152 117907 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=583548 CPUtime=1122.31 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 167675 0 0 0 112163 68 0 0 25 0 4 0 652060380 597553152 117907 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=583548 CPUtime=1110.03 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 29266 0 0 0 110990 13 0 0 25 0 4 0 652060381 597553152 117907 33554432000 4194304 4650419 140734250419696 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.75
Current children cumulated vsize (KiB) 583548

[startup+1182.3 s]
/proc/loadavg: 8.10 8.09 8.01 9/354 16104
/proc/meminfo: memFree=24972660/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=828244 CPUtime=4716.09 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 493551 0 0 0 471415 194 0 0 25 0 4 0 652060380 848121856 127856 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 207061 127856 395 112 0 202026 0
[pid=16069/tid=16070] ppid=16067 vsize=828244 CPUtime=1182.27 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 114638 0 0 0 118187 40 0 0 25 0 4 0 652060380 848121856 127856 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=828244 CPUtime=1182.31 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 173820 0 0 0 118159 72 0 0 25 0 4 0 652060380 848121856 127856 33554432000 4194304 4650419 140734250419696 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=828244 CPUtime=1169.37 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 33443 0 0 0 116922 15 0 0 25 0 4 0 652060381 848121856 127856 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4716.09
Current children cumulated vsize (KiB) 828244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.07 8.08 8.01 5/346 16123
/proc/meminfo: memFree=25329784/32951124 swapFree=40554400/67111528
[pid=16069] ppid=16067 vsize=661316 CPUtime=4800.32 cores=0,2,4,6
/proc/16069/stat : 16069 (strangenight1-m) R 16067 16069 15499 0 -1 4202496 500106 0 0 0 479835 197 0 0 25 0 4 0 652060380 677187584 119474 33554432000 4194304 4650419 140734250419696 18446744073709551615 4314688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16069/statm: 165329 119474 395 112 0 160294 0
[pid=16069/tid=16070] ppid=16067 vsize=661316 CPUtime=1203.39 cores=0,2,4,6
/proc/16069/task/16070/stat : 16070 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 114821 0 0 0 120299 40 0 0 25 0 4 0 652060380 677187584 119474 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16069/tid=16071] ppid=16067 vsize=661316 CPUtime=1203.44 cores=0,2,4,6
/proc/16069/task/16071/stat : 16071 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 176989 0 0 0 120271 73 0 0 25 0 4 0 652060380 677187584 119474 33554432000 4194304 4650419 140734250419696 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16069/tid=16072] ppid=16067 vsize=661316 CPUtime=1190.25 cores=0,2,4,6
/proc/16069/task/16072/stat : 16072 (strangenight1-m) R 16067 16069 15499 0 -1 4202560 33821 0 0 0 119009 16 0 0 25 0 4 0 652060381 677187584 119474 33554432000 4194304 4650419 140734250419696 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 661316

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.45
CPU time (s): 4800.38
CPU user time (s): 4798.39
CPU system time (s): 1.9917
CPU usage (%): 398.885
Max. virtual memory (cumulated for all children) (KiB): 828244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.39
system time used= 1.9917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500106
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= 216
involuntary context switches= 23245

runsolver used 3.85841 second user time and 9.35258 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-14 22:23:19
IDJOB=3368859
IDBENCH=82868
IDSOLVER=1846
FILE ID=node104/3368859-1305404599
RUNJOBID= node104-1305404597-16016
PBS_JOBID= 13324492
Free space on /tmp= 73388 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368859-1305404599/watcher-3368859-1305404599 -o /tmp/evaluation-result-3368859-1305404599/solver-3368859-1305404599 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368859-1305404599.cnf

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

MD5SUM BENCH= b51753a48e6efd66554e7afe4efc3b19
RANDOM SEED=451508569

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25768784 kB
Buffers:        294544 kB
Cached:        2378072 kB
SwapCached:     122128 kB
Active:         963292 kB
Inactive:      5952900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25768784 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:           12648 kB
Writeback:           0 kB
AnonPages:     4133984 kB
Mapped:          11452 kB
Slab:           117988 kB
PageTables:      84736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74922312 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= 73388 MiB
End job on node104 at 2011-05-14 22:43:25