Trace number 3173981

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.12 1201.84

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf
MD5SUMe6a3a97a5be52c43f493d905174d1bee
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 variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173981-1304074936.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      60 undec:       6 neg:      84
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.06	c Decided on static restart strategy
0.00/0.14	c  N st     8      4923       150      3195         0      4688     15975    139435   no data   no data
1.18/0.36	c  N st    10     11306       150      3195         0      4356     15975    100289   no data   no data
1.98/0.57	c  N st    11     17051       150      3195         0      9830     15975    264848   no data   no data
3.17/0.90	c  F st    12     25000       150      3195         0     12069     15975    329287   no data   no data
3.57/0.90	c  N st    12     25000       150      3195         0     12069     15975    329287   no data   no data
3.98/1.10	c Decided on static restart strategy
3.98/1.10	c  N st    18     30003       150      3195         0     10337     15975    263743   no data   no data
3.98/1.10	c  S st    18     30003       150      3195         0     10337     15975    263743   no data   no data
4.39/1.13	c  S st    18     30509       150      3195         0     10832     15975    279006   no data   no data
4.39/1.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.13	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.39/1.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.39/1.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.34	c lits-rem:       377  cl-subs:     1139  v-elim:      0  v-fix:    0  time:  0.19 s
5.17/1.38	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.17/1.38	c calculated reachability. Time: 0.00
5.17/1.38	c  N st    18     30509       150      3195         0      9693     15975    240338   no data   no data
6.77/1.76	c  N st    20     37622       150      3195         0      8943     15975    196843   no data   no data
8.37/2.11	c  N st    21     44023       150      3195         0     15056     15975    382282   no data   no data
8.37/2.20	c  S st    22     45763       150      3195         0     16731     15975    432214   no data   no data
8.79/2.25	c  S st    22     46270       150      3195         0      8689     15975    169902   no data   no data
8.79/2.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.79/2.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.29	c lits-rem:        33  cl-subs:      158  v-elim:      0  v-fix:    0  time:  0.02 s
8.79/2.29	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
8.79/2.29	c vivif2 --  cl tried     8531 cl shrink        0 lits rem          0 time: 0.00
9.19/2.33	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.19/2.33	c calculated reachability. Time: 0.00
9.19/2.33	c  N st    22     46270       150      3195         0      8531     15975    165024   no data   no data
11.96/3.05	c  N st    23     60669       150      3195         0     12703     15975    275854   no data   no data
14.36/3.60	c  N st    24     69405       150      3195         0     10541     15975    195065   no data   no data
14.36/3.60	c  S st    24     69405       150      3195         0     10541     15975    195065   no data   no data
14.36/3.63	c  S st    24     69910       150      3195         0     11036     15975    209827   no data   no data
14.36/3.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.36/3.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.36/3.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.36/3.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.36/3.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.36/3.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.36/3.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.36/3.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.36/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.36/3.69	c lits-rem:        62  cl-subs:      226  v-elim:      0  v-fix:    0  time:  0.04 s
14.36/3.69	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.36/3.69	c vivif2 --  cl tried    10810 cl shrink        0 lits rem          0 time: 0.00
14.76/3.74	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
14.76/3.74	c calculated reachability. Time: 0.00
14.76/3.74	c  N st    24     69910       150      3195         0     10810     15975    202644   no data   no data
19.14/4.89	c  F st    25     87500       150      3195         0     16112     15975    351154   no data   no data
19.14/4.89	c  N st    25     87500       150      3195         0     16112     15975    351154   no data   no data
20.74/5.22	c Decided on static restart strategy
21.55/5.42	c  N st    32     95536       150      3195         0     23768     15975    582366   no data   no data
23.94/6.01	c  N st    34    104865       150      3195         0     20325     15975    471723   no data   no data
23.94/6.01	c  S st    34    104865       150      3195         0     20325     15975    471723   no data   no data
23.94/6.06	c  S st    34    105367       150      3195         0     20816     15975    486250   no data   no data
23.94/6.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.94/6.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
23.94/6.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.94/6.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.94/6.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.94/6.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.94/6.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.94/6.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
23.94/6.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.49	c lits-rem:       561  cl-subs:     1259  v-elim:      0  v-fix:    0  time:  0.40 s
25.54/6.49	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
25.54/6.49	c vivif2 --  cl tried    19557 cl shrink        0 lits rem          0 time: 0.00
25.94/6.57	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
25.94/6.57	c calculated reachability. Time: 0.00
25.94/6.57	c  N st    34    105367       150      3195         0     19557     15975    443517   no data   no data
28.74/7.27	c  N st    35    114965       150      3195         0     15366     15975    307333   no data   no data
33.10/8.39	c  N st    36    129362       150      3195         0     14791     15975    263997   no data   no data
39.92/10.08	c  N st    37    150959       150      3195         0     20017     15975    404276   no data   no data
42.30/10.61	c  S st    38    158050       150      3195         0     26689     15975    604518   no data   no data
42.30/10.68	c  S st    38    158553       150      3195         0     27179     15975    618865   no data   no data
42.30/10.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.30/10.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.30/10.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.30/10.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.30/10.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.30/10.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
42.30/10.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.70/10.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.70/10.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.29/11.69	c lits-rem:       706  cl-subs:     2248  v-elim:      0  v-fix:    0  time:  0.98 s
46.29/11.69	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
46.69/11.70	c vivif2 --  cl tried    24931 cl shrink        0 lits rem          0 time: 0.01
47.10/11.80	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
47.10/11.80	c calculated reachability. Time: 0.00
47.10/11.80	c  N st    38    158553       150      3195         0     24931     15975    545840   no data   no data
63.46/15.99	c  N st    39    207141       150      3195         0     19965     15975    346788   no data   no data
75.42/18.92	c  N st    40    237831       150      3195         0     30088     15975    651673   no data   no data
75.42/18.92	c  S st    40    237831       150      3195         0     30088     15975    651673   no data   no data
75.82/19.01	c  S st    40    238333       150      3195         0     30580     15975    666109   no data   no data
75.82/19.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.82/19.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.82/19.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.82/19.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.82/19.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.82/19.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
75.82/19.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.82/19.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.82/19.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.01/20.39	c lits-rem:       669  cl-subs:     2092  v-elim:      0  v-fix:    0  time:  1.34 s
81.01/20.39	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.41/20.40	c vivif2 --  cl tried    28488 cl shrink        0 lits rem          0 time: 0.01
81.81/20.52	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
81.81/20.52	c calculated reachability. Time: 0.00
81.81/20.52	c  N st    40    238333       150      3195         0     28488     15975    599954   no data   no data
107.76/27.06	c  F st    41    306253       150      3195         0     30377     15975    608815   no data   no data
107.76/27.06	c  N st    41    306253       150      3195         0     30377     15975    608815   no data   no data
109.77/27.53	c Decided on static restart strategy
119.74/30.06	c  N st    51    334557       150      3195         0     34630     15975    714170   no data   no data
130.12/32.65	c  N st    53    357500       150      3195         0     32706     15975    637459   no data   no data
130.12/32.65	c  S st    53    357500       150      3195         0     32706     15975    637459   no data   no data
130.52/32.73	c  S st    53    358004       150      3195         0     33206     15975    652485   no data   no data
130.52/32.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
130.52/32.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
130.52/32.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130.52/32.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
130.52/32.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.52/32.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
130.52/32.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
130.52/32.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
130.52/32.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.31/33.47	c lits-rem:       437  cl-subs:     1435  v-elim:      0  v-fix:    0  time:  0.70 s
133.31/33.47	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
133.31/33.48	c vivif2 --  cl tried    31771 cl shrink        0 lits rem          0 time: 0.01
134.11/33.62	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
134.11/33.62	c calculated reachability. Time: 0.00
134.11/33.62	c  N st    53    358004       150      3195         0     31771     15975    603678   no data   no data
148.89/37.34	c  N st    54    390397       150      3195         0     37857     15975    775480   no data   no data
180.06/45.10	c  N st    55    438985       150      3195         0     31605     15975    548577   no data   no data
213.99/53.67	c  N st    56    511868       150      3195         0     44718     15975    934175   no data   no data
225.97/56.65	c  N st    57    537007       150      3195         0     39250     15975    714924   no data   no data
225.97/56.65	c  S st    57    537007       150      3195         0     39250     15975    714924   no data   no data
226.37/56.74	c  S st    57    537510       150      3195         0     39744     15975    730067   no data   no data
226.37/56.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
226.37/56.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
226.37/56.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
226.37/56.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
226.37/56.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.37/56.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
226.37/56.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
226.37/56.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
226.37/56.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
230.76/57.82	c lits-rem:       802  cl-subs:     1856  v-elim:      0  v-fix:    0  time:  1.03 s
230.76/57.82	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
230.76/57.82	c vivif2 --  cl tried    37888 cl shrink        0 lits rem          0 time: 0.01
231.56/58.00	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
231.56/58.00	c calculated reachability. Time: 0.00
231.56/58.00	c  N st    57    537510       150      3195         0     37888     15975    673755   no data   no data
324.22/81.22	c  N st    58    701494       150      3195         0     66028     15975   1469768   no data   no data
394.92/99.00	c  N st    59    806266       150      3195         0     60197     15975   1224826   no data   no data
394.92/99.00	c  S st    59    806266       150      3195         0     60197     15975   1224826   no data   no data
395.73/99.17	c  S st    59    806772       150      3195         0     60690     15975   1239803   no data   no data
395.73/99.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
396.11/99.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
396.11/99.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
396.11/99.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
396.11/99.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
396.11/99.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
396.11/99.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
396.11/99.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
396.11/99.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
422.87/105.96	c lits-rem:      1853  cl-subs:     5390  v-elim:      0  v-fix:    0  time:  6.70 s
422.87/105.96	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
422.87/105.98	c vivif2 --  cl tried    55300 cl shrink        0 lits rem          0 time: 0.01
424.07/106.27	c asymm  cl-useful: 0/2964/3195 lits-rem:0 time: 0.30
424.07/106.28	c calculated reachability. Time: 0.00
424.07/106.28	c  N st    59    806772       150      3195         0     55300     15975   1080448   no data   no data
610.24/152.84	c  F st    60   1071876       150      3195         0     70502     15975   1428218   no data   no data
610.24/152.84	c  N st    60   1071876       150      3195         0     70502     15975   1428218   no data   no data
614.63/153.95	c Decided on static restart strategy
631.80/158.29	c  N st    70   1100183       150      3195         0     55072     15975    961801   no data   no data
663.38/166.12	c  N st    72   1136176       150      3195         0     45646     15975    650154   no data   no data
685.35/171.64	c  N st    73   1168569       150      3195         0     76260     15975   1558869   no data   no data
722.09/180.86	c  N st    74   1210158       150      3195         0     71110     15975   1415541   no data   no data
722.09/180.86	c  S st    74   1210158       150      3195         0     71110     15975   1415541   no data   no data
723.29/181.16	c  S st    74   1210661       150      3195         0     71607     15975   1430607   no data   no data
723.29/181.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
723.69/181.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
723.69/181.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
723.69/181.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
723.69/181.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
723.69/181.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
723.69/181.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
723.69/181.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
723.69/181.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
791.22/198.17	c lits-rem:      1574  cl-subs:     4935  v-elim:      0  v-fix:    0  time: 16.88 s
791.22/198.17	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
791.22/198.19	c vivif2 --  cl tried    66672 cl shrink        0 lits rem          0 time: 0.02
793.19/198.65	c asymm  cl-useful: 0/2573/3195 lits-rem:0 time: 0.46
793.19/198.65	c calculated reachability. Time: 0.00
793.19/198.65	c  N st    74   1210661       150      3195         0     66672     15975   1272500   no data   no data
858.31/214.99	c  N st    75   1283543       150      3195         0     90288     15975   2004456   no data   no data
956.43/239.54	c  N st    76   1392868       150      3195         0     52009     15975    748701   no data   no data
1103.52/276.56	c  N st    77   1556853       150      3195         0     56694     15975    838471   no data   no data
1252.13/313.77	c  N st    78   1710661       150      3195         0     96935     15975   2013472   no data   no data
1252.13/313.77	c  S st    78   1710661       150      3195         0     96935     15975   2013472   no data   no data
1253.73/314.12	c  S st    78   1711165       150      3195         0     97426     15975   2028100   no data   no data
1253.73/314.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1254.13/314.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1254.13/314.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1254.13/314.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1254.13/314.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1254.13/314.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1254.13/314.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1254.13/314.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1254.53/314.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1405.91/352.22	c lits-rem:      4032  cl-subs:    10494  v-elim:      0  v-fix:    0  time: 37.92 s
1405.91/352.22	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1405.91/352.25	c vivif2 --  cl tried    86932 cl shrink        0 lits rem          0 time: 0.03
1406.71/352.42	c asymm  cl-useful: 0/622/3195 lits-rem:0 time: 0.16
1406.71/352.42	c calculated reachability. Time: 0.00
1406.71/352.42	c  N st    78   1711165       150      3195         0     86932     15975   1716568   no data   no data
1731.48/433.73	c  N st    79   2080132       150      3195         0     98976     15975   2039120   no data   no data
1873.30/469.25	c  N st    80   2211166       150      3195         0    102588     15975   2089449   no data   no data
1873.30/469.25	c  S st    80   2211166       150      3195         0    102588     15975   2089449   no data   no data
1874.50/469.58	c  S st    80   2211669       150      3195         0    103075     15975   2104372   no data   no data
1874.50/469.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1874.90/469.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1874.90/469.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1874.90/469.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1874.90/469.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1874.90/469.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1874.90/469.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1874.90/469.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1875.31/469.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1997.13/500.28	c lits-rem:      5575  cl-subs:     9065  v-elim:      0  v-fix:    0  time: 30.56 s
1997.13/500.28	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1997.53/500.32	c vivif2 --  cl tried    94010 cl shrink        0 lits rem          0 time: 0.03
1999.52/500.80	c asymm  cl-useful: 0/1895/3195 lits-rem:0 time: 0.49
1999.52/500.81	c calculated reachability. Time: 0.00
1999.52/500.81	c  N st    80   2211669       150      3195         0     94010     15975   1825141   no data   no data
2549.18/638.49	c  N st    81   2711670       150      3195         0    117149     15975   2398731   no data   no data
2549.18/638.49	c  S st    81   2711670       150      3195         0    117149     15975   2398731   no data   no data
2550.78/638.89	c  S st    81   2712175       150      3195         0    117645     15975   2413951   no data   no data
2551.18/638.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2551.18/638.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2551.18/638.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2551.18/638.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2551.18/638.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2551.18/638.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2551.18/638.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2551.58/639.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2551.58/639.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2695.38/675.07	c lits-rem:      3402  cl-subs:    10173  v-elim:      0  v-fix:    0  time: 36.00 s
2695.38/675.07	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2695.77/675.11	c vivif2 --  cl tried   107472 cl shrink        0 lits rem          0 time: 0.04
2697.40/675.58	c asymm  cl-useful: 0/1300/3195 lits-rem:0 time: 0.47
2697.40/675.59	c calculated reachability. Time: 0.00
2697.40/675.59	c  N st    81   2712175       150      3195         0    107472     15975   2113770   no data   no data
3326.56/833.07	c  N st    82   3212177       150      3195         0     84303     15975   1268183   no data   no data
3326.56/833.07	c  S st    82   3212177       150      3195         0     84303     15975   1268183   no data   no data
3327.76/833.31	c  S st    82   3212679       150      3195         0     84800     15975   1283024   no data   no data
3327.76/833.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3327.76/833.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3327.76/833.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3327.76/833.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3327.76/833.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3327.76/833.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3327.76/833.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3327.76/833.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3328.16/833.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3338.16/835.99	c lits-rem:       598  cl-subs:     2082  v-elim:      0  v-fix:    0  time:  2.57 s
3338.16/835.99	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3338.57/836.01	c vivif2 --  cl tried    82718 cl shrink        0 lits rem          0 time: 0.02
3339.75/836.36	c asymm  cl-useful: 0/2075/3195 lits-rem:0 time: 0.35
3339.75/836.36	c calculated reachability. Time: 0.00
3339.75/836.36	c  N st    82   3212679       150      3195         0     82718     15975   1217507   no data   no data
4082.07/1022.11	c  N st    83   3712682       150      3195         0     92874     15975   1418778   no data   no data
4082.07/1022.11	c  S st    83   3712682       150      3195         0     92874     15975   1418778   no data   no data
4083.26/1022.45	c  S st    83   3713185       150      3195         0     93365     15975   1433691   no data   no data
4083.26/1022.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4083.66/1022.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
4083.66/1022.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4083.66/1022.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4083.66/1022.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4083.66/1022.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4083.66/1022.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4083.66/1022.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4084.06/1022.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4108.83/1028.82	c lits-rem:       656  cl-subs:     3297  v-elim:      0  v-fix:    0  time:  6.22 s
4108.83/1028.82	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4108.83/1028.84	c vivif2 --  cl tried    90068 cl shrink        0 lits rem          0 time: 0.02
4110.03/1029.11	c asymm  cl-useful: 0/1120/3195 lits-rem:0 time: 0.26
4110.03/1029.11	c calculated reachability. Time: 0.00
4110.03/1029.11	c  N st    83   3713185       150      3195         0     90068     15975   1335407   no data   no data
4162.77/1042.31	c  F st    84   3751563       150      3195         0    126332     15975   2465482   no data   no data
4162.77/1042.31	c  N st    84   3751563       150      3195         0    126332     15975   2465482   no data   no data
4170.76/1044.39	c Decided on static restart strategy
4222.70/1057.35	c  N st    94   3779868       150      3195         0    153211     15975   3287992   no data   no data
4266.65/1068.39	c  N st    96   3815860       150      3195         0    107301     15975   1825691   no data   no data
4313.80/1080.13	c  N st    97   3848253       150      3195         0    137817     15975   2738479   no data   no data
4384.54/1097.90	c  N st    98   3896843       150      3195         0    102511     15975   1642006   no data   no data
4489.59/1124.12	c  N st    99   3969725       150      3195         0     89217     15975   1231458   no data   no data
4633.83/1160.29	c  N st   100   4079049       150      3195         0    109273     15975   1808488   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173981-1304074936/watcher-3173981-1304074936 -o /tmp/evaluation-result-3173981-1304074936/solver-3173981-1304074936 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173981-1304074936.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.86 8.09 7.96 5/178 10877
/proc/meminfo: memFree=26331064/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 408 0 0 0 0 0 0 0 24 0 4 0 519092225 52441088 347 33554432000 4194304 4627427 140734814177776 18446744073709551615 47685448464306 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 12803 347 299 106 0 7774 0
[pid=10877/tid=10878] ppid=10875 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519092225 52441088 347 33554432000 4194304 4627427 140734814177776 18446744073709551615 47685448464296 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519092225 52441088 347 33554432000 4194304 4627427 140734814177776 18446744073709551615 47685448464296 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519092225 52441088 347 33554432000 4194304 4627427 140734814177776 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.156998 s]
/proc/loadavg: 7.86 8.09 7.96 5/178 10877
/proc/meminfo: memFree=26331064/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=349652 CPUtime=0.6 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 2702 0 0 0 59 1 0 0 18 0 4 0 519092225 358043648 1806 33554432000 4194304 4627427 140734814177776 18446744073709551615 4332317 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 87413 1806 384 106 0 82384 0
[pid=10877/tid=10878] ppid=10875 vsize=349652 CPUtime=0.15 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 649 0 0 0 15 0 0 0 18 0 4 0 519092225 358043648 1806 33554432000 4194304 4627427 140734814177776 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=349652 CPUtime=0.14 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 587 0 0 0 14 0 0 0 25 0 4 0 519092225 358043648 1806 33554432000 4194304 4627427 140734814177776 18446744073709551615 4332648 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=349652 CPUtime=0.14 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 474 0 0 0 14 0 0 0 25 0 4 0 519092225 358043648 1806 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 349652

[startup+0.200989 s]
/proc/loadavg: 7.86 8.09 7.96 5/178 10877
/proc/meminfo: memFree=26331064/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=349652 CPUtime=0.78 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 2904 0 0 0 77 1 0 0 18 0 4 0 519092225 358043648 2008 33554432000 4194304 4627427 140734814177776 18446744073709551615 4332749 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 87413 2008 384 106 0 82384 0
[pid=10877/tid=10878] ppid=10875 vsize=349652 CPUtime=0.19 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 701 0 0 0 19 0 0 0 18 0 4 0 519092225 358043648 2008 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=349652 CPUtime=0.19 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 637 0 0 0 19 0 0 0 25 0 4 0 519092225 358043648 2009 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=349652 CPUtime=0.19 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 519 0 0 0 19 0 0 0 25 0 4 0 519092225 358043648 2009 33554432000 4194304 4627427 140734814177776 18446744073709551615 4302419 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 349652

[startup+0.300971 s]
/proc/loadavg: 7.86 8.09 7.96 5/178 10877
/proc/meminfo: memFree=26331064/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=349824 CPUtime=1.18 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 3414 0 0 0 117 1 0 0 18 0 4 0 519092225 358219776 2518 33554432000 4194304 4627427 140734814177776 18446744073709551615 4330554 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 87456 2518 384 106 0 82427 0
[pid=10877/tid=10878] ppid=10875 vsize=349824 CPUtime=0.29 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 831 0 0 0 29 0 0 0 18 0 4 0 519092225 358219776 2518 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=349824 CPUtime=0.29 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 772 0 0 0 29 0 0 0 25 0 4 0 519092225 358219776 2518 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=349824 CPUtime=0.29 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 638 0 0 0 29 0 0 0 25 0 4 0 519092225 358219776 2518 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 349824

[startup+0.700905 s]
/proc/loadavg: 7.86 8.09 7.96 5/178 10877
/proc/meminfo: memFree=26331064/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=351600 CPUtime=2.77 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 6141 0 0 0 276 1 0 0 18 0 4 0 519092225 360038400 2772 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 87900 2772 384 106 0 82871 0
[pid=10877/tid=10878] ppid=10875 vsize=351600 CPUtime=0.69 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 1513 0 0 0 69 0 0 0 18 0 4 0 519092225 360038400 2772 33554432000 4194304 4627427 140734814177776 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=351600 CPUtime=0.68 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 1469 0 0 0 68 0 0 0 25 0 4 0 519092225 360038400 2772 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=351600 CPUtime=0.69 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 1307 0 0 0 69 0 0 0 25 0 4 0 519092225 360038400 2772 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 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) 351600

[startup+1.50077 s]
/proc/loadavg: 7.86 8.09 7.96 9/182 10881
/proc/meminfo: memFree=26316032/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=359532 CPUtime=5.97 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 11514 0 0 0 594 3 0 0 20 0 4 0 519092225 368160768 5113 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 89883 5113 388 106 0 84854 0
[pid=10877/tid=10878] ppid=10875 vsize=359532 CPUtime=1.49 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 2536 0 0 0 149 0 0 0 19 0 4 0 519092225 368160768 5113 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=359532 CPUtime=1.48 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 2501 0 0 0 148 0 0 0 25 0 4 0 519092225 368160768 5113 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=359532 CPUtime=1.48 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 2300 0 0 0 148 0 0 0 25 0 4 0 519092225 368160768 5113 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 359532

[startup+3.10049 s]
/proc/loadavg: 7.86 8.09 7.96 12/182 10881
/proc/meminfo: memFree=26289556/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=360036 CPUtime=12.36 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 22513 0 0 0 1231 5 0 0 25 0 4 0 519092225 368676864 11092 33554432000 4194304 4627427 140734814177776 18446744073709551615 4310105 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 90009 11092 388 106 0 84980 0
[pid=10877/tid=10878] ppid=10875 vsize=360036 CPUtime=3.08 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 5322 0 0 0 308 0 0 0 25 0 4 0 519092225 368676864 11092 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=360036 CPUtime=3.08 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 5859 0 0 0 308 0 0 0 25 0 4 0 519092225 368676864 11092 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=360036 CPUtime=3.07 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 5621 0 0 0 306 1 0 0 25 0 4 0 519092225 368676864 11092 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 360036

[startup+6.30094 s]
/proc/loadavg: 8.20 8.15 7.98 9/182 10881
/proc/meminfo: memFree=26260168/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=367928 CPUtime=25.14 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 35895 0 0 0 2507 7 0 0 25 0 4 0 519092225 376758272 16830 33554432000 4194304 4627427 140734814177776 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 91982 16830 388 106 0 86953 0
[pid=10877/tid=10878] ppid=10875 vsize=367928 CPUtime=6.29 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 9024 0 0 0 628 1 0 0 25 0 4 0 519092225 376758272 16830 33554432000 4194304 4627427 140734814177776 18446744073709551615 4324328 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=367928 CPUtime=6.28 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 9379 0 0 0 627 1 0 0 25 0 4 0 519092225 376758272 16830 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=367928 CPUtime=6.25 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 7966 0 0 0 624 1 0 0 25 0 4 0 519092225 376758272 16830 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 367928

[startup+12.7008 s]
/proc/loadavg: 8.18 8.15 7.98 9/182 10882
/proc/meminfo: memFree=26243608/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=375464 CPUtime=50.68 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 55830 0 0 0 5054 14 0 0 25 0 4 0 519092225 384475136 21225 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 93866 21225 388 106 0 88837 0
[pid=10877/tid=10878] ppid=10875 vsize=375464 CPUtime=12.68 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 14513 0 0 0 1266 2 0 0 25 0 4 0 519092225 384475136 21225 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=375464 CPUtime=12.66 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 13625 0 0 0 1262 4 0 0 25 0 4 0 519092225 384475136 21225 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=375464 CPUtime=12.62 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 13358 0 0 0 1260 2 0 0 25 0 4 0 519092225 384475136 21225 33554432000 4194304 4627427 140734814177776 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 375464

[startup+25.5006 s]
/proc/loadavg: 8.14 8.14 7.98 9/182 10882
/proc/meminfo: memFree=26202684/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=380984 CPUtime=101.77 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 85734 0 0 0 10153 24 0 0 25 0 4 0 519092225 390127616 30286 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 95246 30286 388 106 0 90217 0
[pid=10877/tid=10878] ppid=10875 vsize=380984 CPUtime=25.48 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 22103 0 0 0 2544 4 0 0 25 0 4 0 519092225 390127616 30286 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=380984 CPUtime=25.44 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 21980 0 0 0 2535 9 0 0 25 0 4 0 519092225 390127616 30286 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=380984 CPUtime=25.34 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 20711 0 0 0 2530 4 0 0 25 0 4 0 519092225 390127616 30286 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 380984

[startup+51.1012 s]
/proc/loadavg: 8.09 8.13 7.98 9/182 10883
/proc/meminfo: memFree=26178644/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=375016 CPUtime=204.01 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 121301 0 0 0 20366 35 0 0 25 0 4 0 519092225 384016384 37011 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 93754 37011 388 106 0 88725 0
[pid=10877/tid=10878] ppid=10875 vsize=375016 CPUtime=51.07 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 33240 0 0 0 5101 6 0 0 25 0 4 0 519092225 384016384 37011 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=375016 CPUtime=51.02 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 32974 0 0 0 5090 12 0 0 25 0 4 0 519092225 384016384 37011 33554432000 4194304 4627427 140734814177776 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=375016 CPUtime=50.81 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 29733 0 0 0 5074 7 0 0 25 0 4 0 519092225 384016384 37011 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 375016

[startup+102.3 s]
/proc/loadavg: 8.04 8.11 7.98 9/182 10884
/proc/meminfo: memFree=26098496/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=410148 CPUtime=408.52 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 189397 0 0 0 40790 62 0 0 25 0 4 0 519092225 419991552 47371 33554432000 4194304 4627427 140734814177776 18446744073709551615 4420204 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 102537 47371 388 106 0 97508 0
[pid=10877/tid=10878] ppid=10875 vsize=410148 CPUtime=102.28 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 50649 0 0 0 10215 13 0 0 25 0 4 0 519092225 419991552 47371 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=410148 CPUtime=102.21 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 49998 0 0 0 10203 18 0 0 25 0 4 0 519092225 419991552 47371 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=410148 CPUtime=101.72 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 46222 0 0 0 10158 14 0 0 25 0 4 0 519092225 419991552 47371 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.52
Current children cumulated vsize (KiB) 410148

[startup+162.301 s]

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

[pid=10877] ppid=10875 vsize=721348 CPUtime=2804.45 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 581635 0 0 0 280216 229 0 0 25 0 4 0 519092225 738660352 113485 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 180337 113485 388 106 0 175308 0
[pid=10877/tid=10878] ppid=10875 vsize=721348 CPUtime=702.07 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 154367 0 0 0 70143 64 0 0 25 0 4 0 519092225 738660352 113485 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=721348 CPUtime=702.2 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 164051 0 0 0 70154 66 0 0 25 0 4 0 519092225 738660352 113485 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=721348 CPUtime=697.88 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 144800 0 0 0 69736 52 0 0 25 0 4 0 519092225 738660352 113485 33554432000 4194304 4627427 140734814177776 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.45
Current children cumulated vsize (KiB) 721348

[startup+762.301 s]
/proc/loadavg: 8.02 8.10 8.03 9/182 10905
/proc/meminfo: memFree=25598504/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=694424 CPUtime=3044.14 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 615317 0 0 0 304165 249 0 0 25 0 4 0 519092225 711090176 127558 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 173606 127558 388 106 0 168577 0
[pid=10877/tid=10878] ppid=10875 vsize=694424 CPUtime=762.08 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 164420 0 0 0 76139 69 0 0 25 0 4 0 519092225 711090176 127559 33554432000 4194304 4627427 140734814177776 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=694424 CPUtime=762.21 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 172639 0 0 0 76149 72 0 0 25 0 4 0 519092225 711090176 127559 33554432000 4194304 4627427 140734814177776 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=694424 CPUtime=757.56 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 152148 0 0 0 75699 57 0 0 25 0 4 0 519092225 711090176 127559 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.14
Current children cumulated vsize (KiB) 694424

[startup+822.3 s]
/proc/loadavg: 7.12 7.88 7.96 5/173 10924
/proc/meminfo: memFree=26109856/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=762356 CPUtime=3283.81 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 638542 0 0 0 328115 266 0 0 25 0 4 0 519092225 780652544 131485 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 190589 131485 388 106 0 185560 0
[pid=10877/tid=10878] ppid=10875 vsize=762356 CPUtime=822.08 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 173702 0 0 0 82135 73 0 0 25 0 4 0 519092225 780652544 131485 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=762356 CPUtime=822.21 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 180973 0 0 0 82141 80 0 0 25 0 4 0 519092225 780652544 131485 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=762356 CPUtime=817.24 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 157458 0 0 0 81662 62 0 0 25 0 4 0 519092225 780652544 131485 33554432000 4194304 4627427 140734814177776 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.81
Current children cumulated vsize (KiB) 762356

[startup+882.306 s]
/proc/loadavg: 5.21 7.19 7.71 5/173 10926
/proc/meminfo: memFree=26102136/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=762600 CPUtime=3523.54 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 664027 0 0 0 352075 279 0 0 25 0 4 0 519092225 780902400 133091 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 190650 133091 390 106 0 185621 0
[pid=10877/tid=10878] ppid=10875 vsize=762600 CPUtime=882.08 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 181674 0 0 0 88131 77 0 0 25 0 4 0 519092225 780902400 133091 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=762600 CPUtime=882.21 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 191522 0 0 0 88137 84 0 0 25 0 4 0 519092225 780902400 133091 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=762600 CPUtime=876.95 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 163491 0 0 0 87629 66 0 0 25 0 4 0 519092225 780902400 133091 33554432000 4194304 4627427 140734814177776 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.54
Current children cumulated vsize (KiB) 762600

[startup+942.301 s]
/proc/loadavg: 4.44 6.60 7.48 5/173 10927
/proc/meminfo: memFree=26115144/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=792312 CPUtime=3763.25 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 695250 0 0 0 376029 296 0 0 25 0 4 0 519092225 811327488 130372 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 198078 130372 390 106 0 193049 0
[pid=10877/tid=10878] ppid=10875 vsize=792312 CPUtime=942.07 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 190162 0 0 0 94126 81 0 0 25 0 4 0 519092225 811327488 130372 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=792312 CPUtime=942.21 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 200463 0 0 0 94131 90 0 0 25 0 4 0 519092225 811327488 130372 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=792312 CPUtime=936.68 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 170300 0 0 0 93599 69 0 0 25 0 4 0 519092225 811327488 130372 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.25
Current children cumulated vsize (KiB) 792312

[startup+1002.3 s]
/proc/loadavg: 4.22 6.14 7.26 5/173 10929
/proc/meminfo: memFree=26079296/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=764172 CPUtime=4002.95 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 725176 0 0 0 399985 310 0 0 25 0 4 0 519092225 782512128 139174 33554432000 4194304 4627427 140734814177776 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 191043 139174 390 106 0 186014 0
[pid=10877/tid=10878] ppid=10875 vsize=764172 CPUtime=1002.07 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 197043 0 0 0 100124 83 0 0 25 0 4 0 519092225 782512128 139174 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=764172 CPUtime=1002.21 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 208446 0 0 0 100127 94 0 0 25 0 4 0 519092225 782512128 139174 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=764172 CPUtime=996.38 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 178489 0 0 0 99564 74 0 0 25 0 4 0 519092225 782512128 139174 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.95
Current children cumulated vsize (KiB) 764172

[startup+1062.3 s]
/proc/loadavg: 4.13 5.76 7.06 5/173 10930
/proc/meminfo: memFree=26127524/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=722672 CPUtime=4242.68 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 749408 0 0 0 423944 324 0 0 25 0 4 0 519092225 740016128 127117 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 180668 127117 390 106 0 175639 0
[pid=10877/tid=10878] ppid=10875 vsize=722672 CPUtime=1062.08 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 204865 0 0 0 106120 88 0 0 25 0 4 0 519092225 740016128 127117 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=722672 CPUtime=1062.21 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 217009 0 0 0 106123 98 0 0 25 0 4 0 519092225 740016128 127117 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=722672 CPUtime=1056.1 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 183330 0 0 0 105533 77 0 0 25 0 4 0 519092225 740016128 127117 33554432000 4194304 4627427 140734814177776 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.68
Current children cumulated vsize (KiB) 722672

[startup+1122.3 s]
/proc/loadavg: 4.10 5.45 6.87 5/173 10932
/proc/meminfo: memFree=26105936/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=851052 CPUtime=4482.4 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 775392 0 0 0 447902 338 0 0 25 0 4 0 519092225 871477248 132387 33554432000 4194304 4627427 140734814177776 18446744073709551615 4324328 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 212763 132387 390 106 0 207734 0
[pid=10877/tid=10878] ppid=10875 vsize=851052 CPUtime=1122.08 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 213380 0 0 0 112116 92 0 0 25 0 4 0 519092225 871477248 132387 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=851052 CPUtime=1122.21 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 223520 0 0 0 112119 102 0 0 25 0 4 0 519092225 871477248 132387 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=851052 CPUtime=1115.82 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 187902 0 0 0 111503 79 0 0 25 0 4 0 519092225 871477248 132387 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 851052

[startup+1182.3 s]
/proc/loadavg: 4.03 5.19 6.69 5/173 10934
/proc/meminfo: memFree=26065992/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=880012 CPUtime=4722.13 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 803981 0 0 0 471859 354 0 0 25 0 4 0 519092225 901132288 142749 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 220003 142749 390 106 0 214974 0
[pid=10877/tid=10878] ppid=10875 vsize=880012 CPUtime=1182.08 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 221585 0 0 0 118112 96 0 0 25 0 4 0 519092225 901132288 142749 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=880012 CPUtime=1182.21 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 231547 0 0 0 118114 107 0 0 25 0 4 0 519092225 901132288 142749 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=880012 CPUtime=1175.56 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 192264 0 0 0 117474 82 0 0 25 0 4 0 519092225 901132288 142749 33554432000 4194304 4627427 140734814177776 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.13
Current children cumulated vsize (KiB) 880012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 4.02 5.11 6.63 5/173 10934
/proc/meminfo: memFree=26052848/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=889072 CPUtime=4800.05 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 811915 0 0 0 479648 357 0 0 25 0 4 0 519092225 910409728 145602 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 222268 145602 390 106 0 217239 0
[pid=10877/tid=10878] ppid=10875 vsize=889072 CPUtime=1201.59 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 223114 0 0 0 120062 97 0 0 25 0 4 0 519092225 910409728 145602 33554432000 4194304 4627427 140734814177776 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=889072 CPUtime=1201.72 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 234652 0 0 0 120064 108 0 0 25 0 4 0 519092225 910409728 145602 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=889072 CPUtime=1194.96 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 195504 0 0 0 119413 83 0 0 25 0 4 0 519092225 910409728 145602 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 889072

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

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

[startup+1201.8 s]
/proc/loadavg: 4.02 5.11 6.63 5/173 10934
/proc/meminfo: memFree=26052848/32951132 swapFree=67111364/67111528
[pid=10877] ppid=10875 vsize=889072 CPUtime=4800.05 cores=1,3,5,7
/proc/10877/stat : 10877 (strangenight2-m) R 10875 10877 10537 0 -1 4202496 811915 0 0 0 479648 357 0 0 25 0 4 0 519092225 910409728 145602 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10877/statm: 222268 145602 390 106 0 217239 0
[pid=10877/tid=10878] ppid=10875 vsize=889072 CPUtime=1201.59 cores=1,3,5,7
/proc/10877/task/10878/stat : 10878 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 223114 0 0 0 120062 97 0 0 25 0 4 0 519092225 910409728 145602 33554432000 4194304 4627427 140734814177776 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10877/tid=10879] ppid=10875 vsize=889072 CPUtime=1201.72 cores=1,3,5,7
/proc/10877/task/10879/stat : 10879 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 234652 0 0 0 120064 108 0 0 25 0 4 0 519092225 910409728 145602 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10877/tid=10880] ppid=10875 vsize=889072 CPUtime=1194.96 cores=1,3,5,7
/proc/10877/task/10880/stat : 10880 (strangenight2-m) R 10875 10877 10537 0 -1 4202560 195504 0 0 0 119413 83 0 0 25 0 4 0 519092225 910409728 145602 33554432000 4194304 4627427 140734814177776 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 889072

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.84
CPU time (s): 4800.12
CPU user time (s): 4796.51
CPU system time (s): 3.60645
CPU usage (%): 399.397
Max. virtual memory (cumulated for all children) (KiB): 993480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.51
system time used= 3.60645
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 811917
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= 436
involuntary context switches= 31983

runsolver used 1.62275 second user time and 4.54731 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 13:02:16
IDJOB=3173981
IDBENCH=82799
IDSOLVER=1586
FILE ID=node128/3173981-1304074936
RUNJOBID= node128-1304072088-10556
PBS_JOBID= 13170490
Free space on /tmp= 66968 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173981-1304074936/watcher-3173981-1304074936 -o /tmp/evaluation-result-3173981-1304074936/solver-3173981-1304074936 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173981-1304074936.cnf

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

MD5SUM BENCH= e6a3a97a5be52c43f493d905174d1bee
RANDOM SEED=422241660

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26331352 kB
Buffers:       1275176 kB
Cached:        4394184 kB
SwapCached:        160 kB
Active:         622000 kB
Inactive:      5412164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26331352 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5460 kB
Writeback:           0 kB
AnonPages:      363680 kB
Mapped:          15796 kB
Slab:           523660 kB
PageTables:       5428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   602136 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66968 MiB
End job on node128 at 2011-04-29 13:22:20