Trace number 3366690

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.32 1204.45

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf
MD5SUM58de0b27915a7db672b276faaed6cfd0
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 variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366690-1305412058.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.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:    550 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:     261 undec:      54 neg:     235
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       536      2330         0         0      7071         0   no data   no data
0.37/0.11	c Decided on static restart strategy
0.37/0.17	c  N st     8      4915       536      2330         0      4846      7071    121257   no data   no data
1.56/0.43	c  N st    10     11302       536      2330         0      4511      7071     80074   no data   no data
2.76/0.70	c  N st    11     17045       536      2330         0     10129      7071    216742   no data   no data
4.37/1.14	c  F st    12     25000       536      2330         0     12374      7071    271896   no data   no data
4.37/1.14	c  N st    12     25000       536      2330         0     12374      7071    271896   no data   no data
5.14/1.39	c Decided on static restart strategy
5.14/1.39	c  N st    18     30000       536      2330         0     10651      7071    210512   no data   no data
5.14/1.39	c  S st    18     30000       536      2330         0     10651      7071    210512   no data   no data
5.54/1.42	c  S st    18     30506       536      2330         0     11157      7071    223063   no data   no data
5.54/1.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.54/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.54/1.42	c blocked clauses removed:        0 vars:      0 tried:         536 T: 0.00 s
5.54/1.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.54/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.54/1.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
5.54/1.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.54/1.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.54/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.54/1.49	c lits-rem:        92  cl-subs:      530  v-elim:      0  v-fix:    0  time:  0.05 s
5.94/1.50	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.01
5.94/1.50	c calculated reachability. Time: 0.00
5.94/1.50	c  N st    18     30506       536      2330         0     10627      7071    208810   no data   no data
7.55/1.90	c  N st    20     37616       536      2330         0      9903      7071    170070   no data   no data
8.76/2.28	c  N st    21     44015       536      2330         0     16160      7071    315826   no data   no data
9.53/2.41	c  S st    22     45760       536      2330         0      9106      7071    131998   no data   no data
9.53/2.43	c  S st    22     46264       536      2330         0      9609      7071    144234   no data   no data
9.53/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.53/2.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.53/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.53/2.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.53/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.53/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
9.53/2.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.53/2.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.53/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.53/2.45	c lits-rem:        20  cl-subs:       60  v-elim:      0  v-fix:    0  time:  0.01 s
9.53/2.45	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
9.53/2.45	c vivif2 --  cl tried     9549 cl shrink        0 lits rem          0 time: 0.00
9.53/2.46	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.01
9.53/2.46	c calculated reachability. Time: 0.00
9.53/2.46	c  N st    22     46264       536      2330         0      9549      7071    142901   no data   no data
13.14/3.37	c  N st    23     60661       536      2330         0     13862      7071    233102   no data   no data
15.91/4.01	c  N st    24     69396       536      2330         0     11656      7071    172809   no data   no data
15.91/4.01	c  S st    24     69396       536      2330         0     11656      7071    172809   no data   no data
15.91/4.04	c  S st    24     69906       536      2330         0     12166      7071    183865   no data   no data
15.91/4.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.91/4.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.91/4.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.91/4.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.91/4.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.91/4.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
15.91/4.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.91/4.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.91/4.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.91/4.07	c lits-rem:        53  cl-subs:      151  v-elim:      0  v-fix:    0  time:  0.02 s
15.91/4.07	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
15.91/4.08	c vivif2 --  cl tried    12015 cl shrink        0 lits rem          0 time: 0.00
15.91/4.08	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.01
15.91/4.08	c calculated reachability. Time: 0.00
15.91/4.08	c  N st    24     69906       536      2330         0     12015      7071    180387   no data   no data
20.69/5.28	c  F st    25     87503       536      2330         0     17501      7071    312111   no data   no data
20.69/5.28	c  N st    25     87503       536      2330         0     17501      7071    312111   no data   no data
22.68/5.70	c Decided on static restart strategy
23.48/5.94	c  N st    32     95541       536      2330         0     25393      7071    502195   no data   no data
25.88/6.61	c  N st    34    104861       536      2330         0     21807      7071    394565   no data   no data
25.88/6.61	c  S st    34    104861       536      2330         0     21807      7071    394565   no data   no data
26.30/6.66	c  S st    34    105365       536      2330         0     22311      7071    406937   no data   no data
26.30/6.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.30/6.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.30/6.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.30/6.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.30/6.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.30/6.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
26.30/6.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.30/6.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.30/6.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.07/6.83	c lits-rem:       106  cl-subs:      747  v-elim:      0  v-fix:    0  time:  0.14 s
27.07/6.83	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
27.07/6.84	c vivif2 --  cl tried    21564 cl shrink        0 lits rem          0 time: 0.00
27.07/6.85	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.01
27.07/6.85	c calculated reachability. Time: 0.00
27.07/6.85	c  N st    34    105365       536      2330         0     21564      7071    387816   no data   no data
30.27/7.64	c  N st    35    114964       536      2330         0     17268      7071    264385   no data   no data
35.50/8.95	c  N st    36    129361       536      2330         0     16707      7071    232176   no data   no data
42.62/10.79	c  N st    37    150957       536      2330         0     22184      7071    359275   no data   no data
45.40/11.48	c  S st    38    158048       536      2330         0     29105      7071    541550   no data   no data
45.80/11.55	c  S st    38    158550       536      2330         0     29603      7071    553022   no data   no data
45.80/11.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.80/11.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.80/11.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.80/11.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.80/11.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.80/11.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
45.80/11.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.80/11.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.80/11.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.41/11.99	c lits-rem:       240  cl-subs:     1297  v-elim:      0  v-fix:    0  time:  0.40 s
47.41/11.99	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
47.81/12.00	c vivif2 --  cl tried    28306 cl shrink        0 lits rem          0 time: 0.01
47.81/12.01	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.02
47.81/12.02	c calculated reachability. Time: 0.00
47.81/12.02	c  N st    38    158550       536      2330         0     28306      7071    516669   no data   no data
67.33/16.95	c  N st    39    207138       536      2330         0     23056      7071    343326   no data   no data
79.69/20.01	c  N st    40    237826       536      2330         0     33450      7071    590261   no data   no data
79.69/20.01	c  S st    40    237826       536      2330         0     33450      7071    590261   no data   no data
80.09/20.10	c  S st    40    238327       536      2330         0     33951      7071    603081   no data   no data
80.09/20.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.09/20.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.09/20.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.09/20.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.09/20.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.09/20.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
80.09/20.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
80.09/20.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.09/20.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.49/20.70	c lits-rem:       267  cl-subs:     1506  v-elim:      0  v-fix:    0  time:  0.56 s
82.49/20.70	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
82.49/20.71	c vivif2 --  cl tried    32445 cl shrink        0 lits rem          0 time: 0.01
82.49/20.73	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.02
82.49/20.73	c calculated reachability. Time: 0.00
82.49/20.73	c  N st    40    238327       536      2330         0     32445      7071    563678   no data   no data
112.38/28.24	c  F st    41    306250       536      2330         0     34145      7071    558966   no data   no data
112.38/28.24	c  N st    41    306250       536      2330         0     34145      7071    558966   no data   no data
114.77/28.82	c Decided on static restart strategy
125.14/31.49	c  N st    51    334556       536      2330         0     38538      7071    652714   no data   no data
137.09/34.40	c  N st    53    357491       536      2330         0     36502      7071    589117   no data   no data
137.09/34.40	c  S st    53    357491       536      2330         0     36502      7071    589117   no data   no data
137.09/34.49	c  S st    53    357993       536      2330         0     37004      7071    601224   no data   no data
137.49/34.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.49/34.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
137.49/34.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.49/34.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.49/34.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.49/34.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
137.49/34.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
137.49/34.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.49/34.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.09/34.95	c lits-rem:       136  cl-subs:     1458  v-elim:      0  v-fix:    0  time:  0.42 s
139.09/34.95	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
139.09/34.96	c vivif2 --  cl tried    35546 cl shrink        0 lits rem          0 time: 0.01
139.09/34.98	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.02
139.09/34.98	c calculated reachability. Time: 0.00
139.09/34.98	c  N st    53    357993       536      2330         0     35546      7071    560302   no data   no data
156.23/39.24	c  N st    54    390386       536      2330         0     41697      7071    712499   no data   no data
185.72/46.66	c  N st    55    438975       536      2330         0     35385      7071    492349   no data   no data
229.57/57.69	c  N st    56    511857       536      2330         0     49093      7071    829442   no data   no data
243.53/61.16	c  N st    57    536989       536      2330         0     43347      7071    653370   no data   no data
243.53/61.16	c  S st    57    536989       536      2330         0     43347      7071    653370   no data   no data
243.93/61.27	c  S st    57    537492       536      2330         0     43849      7071    665331   no data   no data
243.93/61.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.93/61.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
243.93/61.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.93/61.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.93/61.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.93/61.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
243.93/61.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
244.33/61.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
244.33/61.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.98/61.79	c lits-rem:       345  cl-subs:     1444  v-elim:      0  v-fix:    0  time:  0.47 s
245.98/61.79	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
246.32/61.80	c vivif2 --  cl tried    42405 cl shrink        0 lits rem          0 time: 0.01
246.32/61.83	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.03
246.32/61.83	c calculated reachability. Time: 0.00
246.32/61.83	c  N st    57    537492       536      2330         0     42405      7071    632399   no data   no data
344.38/86.40	c  N st    58    701478       536      2330         0     36471      7071    399608   no data   no data
417.72/104.82	c  N st    59    806238       536      2330         0     65592      7071   1150145   no data   no data
417.72/104.82	c  S st    59    806238       536      2330         0     65592      7071   1150145   no data   no data
418.52/105.04	c  S st    59    806740       536      2330         0     66094      7071   1163096   no data   no data
418.52/105.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
418.52/105.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
418.52/105.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
418.52/105.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
418.52/105.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
418.52/105.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
418.52/105.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
418.52/105.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
418.92/105.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
430.87/108.11	c lits-rem:       633  cl-subs:     3891  v-elim:      0  v-fix:    0  time:  2.98 s
430.87/108.11	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
430.87/108.13	c vivif2 --  cl tried    62203 cl shrink        0 lits rem          0 time: 0.01
430.87/108.18	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.05
430.87/108.18	c calculated reachability. Time: 0.00
430.87/108.18	c  N st    59    806740       536      2330         0     62203      7071   1065132   no data   no data
658.89/165.33	c  F st    60   1071876       536      2330         0     78035      7071   1399871   no data   no data
658.89/165.33	c  N st    60   1071876       536      2330         0     78035      7071   1399871   no data   no data
665.68/167.07	c Decided on static restart strategy
686.40/172.27	c  N st    70   1100180       536      2330         0     61817      7071    889055   no data   no data
721.07/180.92	c  N st    72   1136174       536      2330         0     52150      7071    624885   no data   no data
753.37/189.05	c  N st    73   1168566       536      2330         0     83860      7071   1468509   no data   no data
789.70/198.15	c  N st    74   1210110       536      2330         0     78633      7071   1312887   no data   no data
789.70/198.15	c  S st    74   1210110       536      2330         0     78633      7071   1312887   no data   no data
790.44/198.39	c  S st    74   1210613       536      2330         0     79136      7071   1325120   no data   no data
790.84/198.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
790.84/198.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
790.84/198.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
790.84/198.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
790.84/198.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
790.84/198.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
790.84/198.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
790.84/198.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
790.84/198.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
802.01/201.22	c lits-rem:       463  cl-subs:     2960  v-elim:      0  v-fix:    0  time:  2.73 s
802.01/201.22	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
802.01/201.24	c vivif2 --  cl tried    76176 cl shrink        0 lits rem          0 time: 0.02
802.43/201.32	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.07
802.43/201.32	c calculated reachability. Time: 0.00
802.43/201.32	c  N st    74   1210613       536      2330         0     76176      7071   1250872   no data   no data
882.93/221.56	c  N st    75   1283496       536      2330         0     52463      7071    592249   no data   no data
998.93/250.65	c  N st    76   1392819       536      2330         0     60754      7071    777746   no data   no data
1174.73/294.71	c  N st    77   1556803       536      2330         0     65181      7071    834387   no data   no data
1342.54/336.85	c  N st    78   1710614       536      2330         0    106889      7071   1978800   no data   no data
1342.54/336.85	c  S st    78   1710614       536      2330         0    106889      7071   1978800   no data   no data
1343.74/337.18	c  S st    78   1711118       536      2330         0    107393      7071   1991489   no data   no data
1343.74/337.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1344.14/337.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1344.14/337.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1344.14/337.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1344.14/337.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1344.14/337.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
1344.14/337.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1344.14/337.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1344.54/337.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1412.36/354.39	c lits-rem:      1051  cl-subs:     9321  v-elim:      0  v-fix:    0  time: 17.06 s
1412.36/354.39	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
1412.70/354.41	c vivif2 --  cl tried    98072 cl shrink        0 lits rem          0 time: 0.02
1413.10/354.52	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.10
1413.10/354.52	c calculated reachability. Time: 0.00
1413.10/354.52	c  N st    78   1711118       536      2330         0     98072      7071   1741510   no data   no data
1840.04/461.64	c  N st    79   2080082       536      2330         0    109796      7071   1931718   no data   no data
1999.94/501.72	c  N st    80   2211120       536      2330         0    114029      7071   1963588   no data   no data
1999.94/501.72	c  S st    80   2211120       536      2330         0    114029      7071   1963588   no data   no data
2001.08/502.09	c  S st    80   2211626       536      2330         0    114533      7071   1976528   no data   no data
2001.08/502.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2001.48/502.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2001.48/502.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2001.48/502.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2001.48/502.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2001.48/502.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
2001.48/502.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2001.48/502.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2001.88/502.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2042.15/512.37	c lits-rem:      1350  cl-subs:     6680  v-elim:      0  v-fix:    0  time: 10.14 s
2042.15/512.37	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
2042.54/512.40	c vivif2 --  cl tried   107853 cl shrink        0 lits rem          0 time: 0.03
2042.94/512.51	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.11
2042.94/512.51	c calculated reachability. Time: 0.00
2042.94/512.51	c  N st    80   2211626       536      2330         0    107853      7071   1817710   no data   no data
2655.23/666.12	c  N st    81   2711626       536      2330         0    131905      7071   2453593   no data   no data
2655.23/666.12	c  S st    81   2711626       536      2330         0    131905      7071   2453593   no data   no data
2656.84/666.56	c  S st    81   2712128       536      2330         0    132405      7071   2466261   no data   no data
2656.84/666.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2657.26/666.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2657.26/666.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2657.26/666.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2657.26/666.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2657.26/666.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
2657.26/666.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2657.26/666.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2657.69/666.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2724.03/683.44	c lits-rem:       722  cl-subs:     7279  v-elim:      0  v-fix:    0  time: 16.69 s
2724.03/683.44	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
2724.03/683.47	c vivif2 --  cl tried   125126 cl shrink        0 lits rem          0 time: 0.03
2724.83/683.61	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.14
2724.83/683.61	c calculated reachability. Time: 0.00
2724.83/683.61	c  N st    81   2712128       536      2330         0    125126      7071   2271383   no data   no data
3436.52/862.34	c  N st    82   3212128       536      2330         0     99969      7071   1318058   no data   no data
3436.52/862.34	c  S st    82   3212128       536      2330         0     99969      7071   1318058   no data   no data
3437.71/862.65	c  S st    82   3212631       536      2330         0    100472      7071   1330388   no data   no data
3437.71/862.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3438.11/862.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3438.11/862.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3438.11/862.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3438.11/862.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3438.11/862.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
3438.11/862.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3438.11/862.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3438.11/862.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3450.10/865.74	c lits-rem:       642  cl-subs:     4439  v-elim:      0  v-fix:    0  time:  2.97 s
3450.10/865.74	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
3450.10/865.76	c vivif2 --  cl tried    96033 cl shrink        0 lits rem          0 time: 0.02
3450.53/865.85	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.09
3450.53/865.86	c calculated reachability. Time: 0.00
3450.53/865.86	c  N st    82   3212631       536      2330         0     96033      7071   1229701   no data   no data
4197.89/1053.36	c  N st    83   3712632       536      2330         0    106788      7071   1412861   no data   no data
4197.89/1053.36	c  S st    83   3712632       536      2330         0    106788      7071   1412861   no data   no data
4199.49/1053.72	c  S st    83   3713133       536      2330         0    107289      7071   1425333   no data   no data
4199.49/1053.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4199.49/1053.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4199.49/1053.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4199.49/1053.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4199.49/1053.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4199.49/1053.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
4199.49/1053.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4199.49/1053.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4199.91/1053.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4212.25/1056.95	c lits-rem:       205  cl-subs:     4524  v-elim:      0  v-fix:    0  time:  3.10 s
4212.25/1056.95	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
4212.25/1056.97	c vivif2 --  cl tried   102765 cl shrink        0 lits rem          0 time: 0.02
4212.65/1057.07	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.10
4212.65/1057.08	c calculated reachability. Time: 0.00
4212.65/1057.08	c  N st    83   3713133       536      2330         0    102765      7071   1325806   no data   no data
4273.63/1072.33	c  F st    84   3751562       536      2330         0    140096      7071   2242304   no data   no data
4273.63/1072.33	c  N st    84   3751562       536      2330         0    140096      7071   2242304   no data   no data
4283.65/1074.86	c Decided on static restart strategy
4329.03/1086.20	c  N st    94   3779865       536      2330         0     85278      7071    832355   no data   no data
4371.35/1096.86	c  N st    96   3815858       536      2330         0    120437      7071   1730428   no data   no data
4421.52/1109.42	c  N st    97   3848251       536      2330         0    152208      7071   2533360   no data   no data
4501.65/1129.54	c  N st    98   3896839       536      2330         0    115825      7071   1564059   no data   no data
4622.83/1159.94	c  N st    99   3969722       536      2330         0    101934      7071   1200969   no data   no data
4792.63/1202.55	c  N st   100   4079047       536      2330         0    122839      7071   1718560   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: 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-3366690-1305412058/watcher-3366690-1305412058 -o /tmp/evaluation-result-3366690-1305412058/solver-3366690-1305412058 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366690-1305412058.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: 7.83 7.91 5.87 6/416 8720
/proc/meminfo: memFree=20977020/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 731436559 52396032 347 33554432000 4194304 4580107 140734561067760 18446744073709551615 47989923497900 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 12792 347 299 95 0 7774 0
[pid=8720/tid=8721] ppid=8718 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731436559 52396032 347 33554432000 4194304 4580107 140734561067760 18446744073709551615 47989923497904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731436559 52396032 347 33554432000 4194304 4580107 140734561067760 18446744073709551615 47989923497904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731436559 52396032 347 33554432000 4194304 4580107 140734561067760 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.103974 s]
/proc/loadavg: 7.83 7.91 5.87 6/416 8720
/proc/meminfo: memFree=20977020/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=282240 CPUtime=0.37 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 1668 0 0 0 37 0 0 0 25 0 4 0 731436559 289013760 1584 33554432000 4194304 4580107 140734561067760 18446744073709551615 215988697631 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 70560 1584 377 95 0 65542 0
[pid=8720/tid=8721] ppid=8718 vsize=282240 CPUtime=0.09 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 323 0 0 0 9 0 0 0 25 0 4 0 731436559 289013760 1584 33554432000 4194304 4580107 140734561067760 18446744073709551615 4317395 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=282240 CPUtime=0.09 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 319 0 0 0 9 0 0 0 25 0 4 0 731436559 289013760 1584 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=282240 CPUtime=0.08 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 241 0 0 0 8 0 0 0 25 0 4 0 731436559 289013760 1584 33554432000 4194304 4580107 140734561067760 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282240

[startup+0.200393 s]
/proc/loadavg: 7.83 7.91 5.87 6/416 8720
/proc/meminfo: memFree=20977020/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=283604 CPUtime=0.76 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 2334 0 0 0 76 0 0 0 25 0 4 0 731436559 290410496 1658 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 70901 1659 377 95 0 65883 0
[pid=8720/tid=8721] ppid=8718 vsize=283604 CPUtime=0.19 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 492 0 0 0 19 0 0 0 25 0 4 0 731436559 290410496 1659 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=283604 CPUtime=0.19 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 478 0 0 0 19 0 0 0 25 0 4 0 731436559 290410496 1659 33554432000 4194304 4580107 140734561067760 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=283604 CPUtime=0.18 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 403 0 0 0 18 0 0 0 25 0 4 0 731436559 290410496 1659 33554432000 4194304 4580107 140734561067760 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 283604

[startup+0.300375 s]
/proc/loadavg: 7.83 7.91 5.87 6/416 8720
/proc/meminfo: memFree=20977020/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=283776 CPUtime=1.16 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 2761 0 0 0 116 0 0 0 25 0 4 0 731436559 290586624 2085 33554432000 4194304 4580107 140734561067760 18446744073709551615 4322504 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 70944 2085 377 95 0 65926 0
[pid=8720/tid=8721] ppid=8718 vsize=283776 CPUtime=0.29 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 598 0 0 0 29 0 0 0 25 0 4 0 731436559 290586624 2085 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=283776 CPUtime=0.29 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 586 0 0 0 29 0 0 0 25 0 4 0 731436559 290586624 2085 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=283776 CPUtime=0.28 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 512 0 0 0 28 0 0 0 25 0 4 0 731436559 290586624 2085 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283776

[startup+0.700306 s]
/proc/loadavg: 7.83 7.91 5.87 6/416 8720
/proc/meminfo: memFree=20977020/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=284764 CPUtime=2.76 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 4346 0 0 0 275 1 0 0 25 0 4 0 731436559 291598336 2751 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 71191 2751 377 95 0 66173 0
[pid=8720/tid=8721] ppid=8718 vsize=284764 CPUtime=0.68 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 974 0 0 0 68 0 0 0 25 0 4 0 731436559 291598336 2751 33554432000 4194304 4580107 140734561067760 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=284764 CPUtime=0.69 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 950 0 0 0 69 0 0 0 25 0 4 0 731436559 291598336 2751 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=284764 CPUtime=0.68 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 943 0 0 0 68 0 0 0 25 0 4 0 731436559 291598336 2751 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284764

[startup+1.50017 s]
/proc/loadavg: 7.83 7.91 5.87 9/420 8724
/proc/meminfo: memFree=20965208/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=285988 CPUtime=5.94 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 8844 0 0 0 593 1 0 0 25 0 4 0 731436559 292851712 4513 33554432000 4194304 4580107 140734561067760 18446744073709551615 4288820 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 71497 4513 380 95 0 66479 0
[pid=8720/tid=8721] ppid=8718 vsize=285988 CPUtime=1.48 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 1782 0 0 0 148 0 0 0 25 0 4 0 731436559 292851712 4513 33554432000 4194304 4580107 140734561067760 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=285988 CPUtime=1.48 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 1724 0 0 0 148 0 0 0 25 0 4 0 731436559 292851712 4513 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=285988 CPUtime=1.46 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 1668 0 0 0 146 0 0 0 25 0 4 0 731436559 292851712 4513 33554432000 4194304 4580107 140734561067760 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 285988

[startup+3.10089 s]
/proc/loadavg: 7.83 7.91 5.87 9/420 8724
/proc/meminfo: memFree=20952308/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=300204 CPUtime=12.33 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 17975 0 0 0 1230 3 0 0 25 0 4 0 731436559 307408896 9626 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 75051 9626 380 95 0 70033 0
[pid=8720/tid=8721] ppid=8718 vsize=300204 CPUtime=3.07 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 4240 0 0 0 307 0 0 0 25 0 4 0 731436559 307408896 9626 33554432000 4194304 4580107 140734561067760 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=300204 CPUtime=3.08 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 4796 0 0 0 308 0 0 0 25 0 4 0 731436559 307408896 9627 33554432000 4194304 4580107 140734561067760 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=300204 CPUtime=3.04 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 4047 0 0 0 304 0 0 0 25 0 4 0 731436559 307408896 9627 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 300204

[startup+6.30033 s]
/proc/loadavg: 7.84 7.92 5.89 9/420 8724
/proc/meminfo: memFree=20928300/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=306220 CPUtime=25.07 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 28736 0 0 0 2502 5 0 0 25 0 4 0 731436559 313569280 13189 33554432000 4194304 4580107 140734561067760 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 76555 13189 379 95 0 71537 0
[pid=8720/tid=8721] ppid=8718 vsize=306220 CPUtime=6.28 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 7504 0 0 0 627 1 0 0 25 0 4 0 731436559 313569280 13189 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=306220 CPUtime=6.29 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 7814 0 0 0 628 1 0 0 18 0 4 0 731436559 313569280 13189 33554432000 4194304 4580107 140734561067760 18446744073709551615 4397240 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=306220 CPUtime=6.2 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 6153 0 0 0 619 1 0 0 25 0 4 0 731436559 313569280 13189 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 306220

[startup+12.7002 s]
/proc/loadavg: 7.85 7.92 5.90 9/420 8724
/proc/meminfo: memFree=20895448/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=302416 CPUtime=50.58 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 44560 0 0 0 5050 8 0 0 25 0 4 0 731436559 309673984 19331 33554432000 4194304 4580107 140734561067760 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 75604 19331 379 95 0 70586 0
[pid=8720/tid=8721] ppid=8718 vsize=302416 CPUtime=12.68 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 11596 0 0 0 1266 2 0 0 25 0 4 0 731436559 309673984 19331 33554432000 4194304 4580107 140734561067760 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=302416 CPUtime=12.68 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 10120 0 0 0 1267 1 0 0 25 0 4 0 731436559 309673984 19331 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=302416 CPUtime=12.52 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 9683 0 0 0 1250 2 0 0 25 0 4 0 731436559 309673984 19331 33554432000 4194304 4580107 140734561067760 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 302416

[startup+25.501 s]
/proc/loadavg: 7.95 7.94 5.94 9/420 8725
/proc/meminfo: memFree=20859116/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=330872 CPUtime=101.61 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 66331 0 0 0 10149 12 0 0 25 0 4 0 731436559 338812928 27806 33554432000 4194304 4580107 140734561067760 18446744073709551615 4322843 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 82718 27806 379 95 0 77700 0
[pid=8720/tid=8721] ppid=8718 vsize=330872 CPUtime=25.47 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 18305 0 0 0 2545 2 0 0 25 0 4 0 731436559 338812928 27806 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294708 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=330872 CPUtime=25.48 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 14283 0 0 0 2546 2 0 0 25 0 4 0 731436559 338812928 27806 33554432000 4194304 4580107 140734561067760 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=330872 CPUtime=25.14 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 14278 0 0 0 2512 2 0 0 25 0 4 0 731436559 338812928 27806 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 330872

[startup+51.1005 s]
/proc/loadavg: 7.97 7.94 5.99 9/420 8725
/proc/meminfo: memFree=20789304/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=299568 CPUtime=203.66 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 97423 0 0 0 20344 22 0 0 25 0 4 0 731436559 306757632 37812 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 74892 37812 379 95 0 69874 0
[pid=8720/tid=8721] ppid=8718 vsize=299568 CPUtime=51.07 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 26185 0 0 0 5102 5 0 0 25 0 4 0 731436559 306757632 37812 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=299568 CPUtime=51.08 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 21858 0 0 0 5104 4 0 0 25 0 4 0 731436559 306757632 37812 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=299568 CPUtime=50.4 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 21288 0 0 0 5035 5 0 0 25 0 4 0 731436559 306757632 37812 33554432000 4194304 4580107 140734561067760 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.66
Current children cumulated vsize (KiB) 299568

[startup+102.301 s]
/proc/loadavg: 7.98 7.95 6.09 9/420 8727
/proc/meminfo: memFree=20776248/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=352388 CPUtime=407.78 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 135680 0 0 0 40746 32 0 0 25 0 4 0 731436559 360845312 46401 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 88097 46401 379 95 0 83079 0
[pid=8720/tid=8721] ppid=8718 vsize=352388 CPUtime=102.27 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 33461 0 0 0 10221 6 0 0 25 0 4 0 731436559 360845312 46403 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=352388 CPUtime=102.3 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 32103 0 0 0 10223 7 0 0 25 0 4 0 731436559 360845312 46403 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=352388 CPUtime=100.91 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 31765 0 0 0 10084 7 0 0 25 0 4 0 731436559 360845312 46403 33554432000 4194304 4580107 140734561067760 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.78
Current children cumulated vsize (KiB) 352388

[startup+162.301 s]

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

[pid=8720] ppid=8718 vsize=554764 CPUtime=2798.71 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 472995 0 0 0 279714 157 0 0 25 0 4 0 731436559 568078336 95260 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 138691 95260 379 95 0 133673 0
[pid=8720/tid=8721] ppid=8718 vsize=554764 CPUtime=701.68 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 119106 0 0 0 70125 43 0 0 25 0 4 0 731436559 568078336 95260 33554432000 4194304 4580107 140734561067760 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=554764 CPUtime=701.96 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 114263 0 0 0 70158 38 0 0 25 0 4 0 731436559 568078336 95260 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=554764 CPUtime=692.75 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 101902 0 0 0 69241 34 0 0 25 0 4 0 731436559 568078336 95260 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2798.71
Current children cumulated vsize (KiB) 554764

[startup+762.301 s]
/proc/loadavg: 8.27 8.16 7.13 9/420 8808
/proc/meminfo: memFree=20708616/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=551988 CPUtime=3037.92 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 498612 0 0 0 303625 167 0 0 25 0 4 0 731436559 565235712 100187 33554432000 4194304 4580107 140734561067760 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 137997 100187 379 95 0 132979 0
[pid=8720/tid=8721] ppid=8718 vsize=551988 CPUtime=761.68 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 125942 0 0 0 76123 45 0 0 25 0 4 0 731436559 565235712 100190 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=551988 CPUtime=761.98 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 121135 0 0 0 76158 40 0 0 25 0 4 0 731436559 565235712 100190 33554432000 4194304 4580107 140734561067760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=551988 CPUtime=751.95 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 108203 0 0 0 75159 36 0 0 25 0 4 0 731436559 565235712 100190 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3037.92
Current children cumulated vsize (KiB) 551988

[startup+822.3 s]
/proc/loadavg: 8.29 8.19 7.20 9/420 8810
/proc/meminfo: memFree=20667176/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=625508 CPUtime=3277.07 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 525942 0 0 0 327529 178 0 0 25 0 4 0 731436559 640520192 109272 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 156377 109272 379 95 0 151359 0
[pid=8720/tid=8721] ppid=8718 vsize=625508 CPUtime=821.65 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 132479 0 0 0 82117 48 0 0 25 0 4 0 731436559 640520192 109272 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=625508 CPUtime=821.96 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 127945 0 0 0 82153 43 0 0 25 0 4 0 731436559 640520192 109272 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=625508 CPUtime=811.14 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 115689 0 0 0 81075 39 0 0 25 0 4 0 731436559 640520192 109272 33554432000 4194304 4580107 140734561067760 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3277.07
Current children cumulated vsize (KiB) 625508

[startup+882.316 s]
/proc/loadavg: 8.15 8.17 7.25 9/420 8812
/proc/meminfo: memFree=20613324/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=570436 CPUtime=3516.3 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 551234 0 0 0 351441 189 0 0 25 0 4 0 731436559 584126464 111506 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 142609 111506 379 95 0 137591 0
[pid=8720/tid=8721] ppid=8718 vsize=570436 CPUtime=881.66 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 141331 0 0 0 88114 52 0 0 25 0 4 0 731436559 584126464 111506 33554432000 4194304 4580107 140734561067760 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=570436 CPUtime=881.97 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 135750 0 0 0 88151 46 0 0 25 0 4 0 731436559 584126464 111506 33554432000 4194304 4580107 140734561067760 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=570436 CPUtime=870.32 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 121532 0 0 0 86991 41 0 0 25 0 4 0 731436559 584126464 111506 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3516.3
Current children cumulated vsize (KiB) 570436

[startup+942.3 s]
/proc/loadavg: 8.14 8.16 7.31 9/420 8813
/proc/meminfo: memFree=20625312/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=567488 CPUtime=3755.42 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 573813 0 0 0 375343 199 0 0 25 0 4 0 731436559 581107712 108355 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 141872 108355 379 95 0 136854 0
[pid=8720/tid=8721] ppid=8718 vsize=567488 CPUtime=941.63 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 146762 0 0 0 94109 54 0 0 25 0 4 0 731436559 581107712 108355 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=567488 CPUtime=941.96 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 142410 0 0 0 94147 49 0 0 25 0 4 0 731436559 581107712 108355 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=567488 CPUtime=929.5 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 125955 0 0 0 92907 43 0 0 25 0 4 0 731436559 581107712 108355 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3755.42
Current children cumulated vsize (KiB) 567488

[startup+1002.3 s]
/proc/loadavg: 8.24 8.18 7.36 9/420 8815
/proc/meminfo: memFree=20613860/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=580696 CPUtime=3994.59 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 597771 0 0 0 399249 210 0 0 25 0 4 0 731436559 594632704 109284 33554432000 4194304 4580107 140734561067760 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 145174 109284 379 95 0 140156 0
[pid=8720/tid=8721] ppid=8718 vsize=580696 CPUtime=1001.62 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 150602 0 0 0 100106 56 0 0 25 0 4 0 731436559 594632704 109284 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=580696 CPUtime=1001.97 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 149216 0 0 0 100145 52 0 0 25 0 4 0 731436559 594632704 109284 33554432000 4194304 4580107 140734561067760 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=580696 CPUtime=988.68 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 132948 0 0 0 98821 47 0 0 25 0 4 0 731436559 594632704 109284 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3994.59
Current children cumulated vsize (KiB) 580696

[startup+1062.3 s]
/proc/loadavg: 8.13 8.16 7.40 9/420 8816
/proc/meminfo: memFree=20521064/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=646196 CPUtime=4233.77 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 624241 0 0 0 423155 222 0 0 25 0 4 0 731436559 661704704 124484 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 161549 124484 379 95 0 156531 0
[pid=8720/tid=8721] ppid=8718 vsize=646196 CPUtime=1061.61 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 158031 0 0 0 106103 58 0 0 25 0 4 0 731436559 661704704 124484 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=646196 CPUtime=1061.96 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 155145 0 0 0 106141 55 0 0 25 0 4 0 731436559 661704704 124484 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=646196 CPUtime=1047.88 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 140051 0 0 0 104738 50 0 0 25 0 4 0 731436559 661704704 124484 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4233.77
Current children cumulated vsize (KiB) 646196

[startup+1122.3 s]
/proc/loadavg: 8.05 8.13 7.44 9/420 8818
/proc/meminfo: memFree=20469084/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=646880 CPUtime=4472.94 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 642767 0 0 0 447063 231 0 0 25 0 4 0 731436559 662405120 128614 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 161720 128614 379 95 0 156702 0
[pid=8720/tid=8721] ppid=8718 vsize=646880 CPUtime=1121.6 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 161516 0 0 0 112100 60 0 0 25 0 4 0 731436559 662405120 128614 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=646880 CPUtime=1121.96 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 160170 0 0 0 112138 58 0 0 25 0 4 0 731436559 662405120 128614 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=646880 CPUtime=1107.05 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 144063 0 0 0 110653 52 0 0 25 0 4 0 731436559 662405120 128614 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4472.94
Current children cumulated vsize (KiB) 646880

[startup+1182.3 s]
/proc/loadavg: 8.12 8.13 7.48 9/420 8820
/proc/meminfo: memFree=20464600/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=616820 CPUtime=4712.12 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 660352 0 0 0 470974 238 0 0 25 0 4 0 731436559 631623680 122230 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 154205 122230 379 95 0 149187 0
[pid=8720/tid=8721] ppid=8718 vsize=616820 CPUtime=1181.58 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 165856 0 0 0 118097 61 0 0 25 0 4 0 731436559 631623680 122230 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=616820 CPUtime=1181.96 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 166507 0 0 0 118135 61 0 0 25 0 4 0 731436559 631623680 122230 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=616820 CPUtime=1166.24 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 148897 0 0 0 116570 54 0 0 25 0 4 0 731436559 631623680 122230 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4712.12
Current children cumulated vsize (KiB) 616820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.4 s]
/proc/loadavg: 8.14 8.13 7.50 9/420 8820
/proc/meminfo: memFree=20463724/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=616856 CPUtime=4800.24 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 668042 0 0 0 479783 241 0 0 25 0 4 0 731436559 631660544 126292 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 154214 126292 379 95 0 149196 0
[pid=8720/tid=8721] ppid=8718 vsize=616856 CPUtime=1203.69 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 167198 0 0 0 120308 61 0 0 25 0 4 0 731436559 631660544 126295 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=616856 CPUtime=1204.09 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 168779 0 0 0 120346 63 0 0 25 0 4 0 731436559 631660544 126295 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=616856 CPUtime=1188.04 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 150505 0 0 0 118750 54 0 0 25 0 4 0 731436559 631660544 126295 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 616856

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

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

[startup+1204.4 s]
/proc/loadavg: 8.14 8.13 7.50 9/420 8820
/proc/meminfo: memFree=20463724/32950940 swapFree=67111356/67111528
[pid=8720] ppid=8718 vsize=616856 CPUtime=4800.24 cores=0,2,4,6
/proc/8720/stat : 8720 (strangenight2-m) R 8718 8720 8585 0 -1 4202496 668042 0 0 0 479783 241 0 0 25 0 4 0 731436559 631660544 126292 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8720/statm: 154214 126292 379 95 0 149196 0
[pid=8720/tid=8721] ppid=8718 vsize=616856 CPUtime=1203.69 cores=0,2,4,6
/proc/8720/task/8721/stat : 8721 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 167198 0 0 0 120308 61 0 0 25 0 4 0 731436559 631660544 126295 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8720/tid=8722] ppid=8718 vsize=616856 CPUtime=1204.09 cores=0,2,4,6
/proc/8720/task/8722/stat : 8722 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 168779 0 0 0 120346 63 0 0 25 0 4 0 731436559 631660544 126295 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8720/tid=8723] ppid=8718 vsize=616856 CPUtime=1188.04 cores=0,2,4,6
/proc/8720/task/8723/stat : 8723 (strangenight2-m) R 8718 8720 8585 0 -1 4202560 150505 0 0 0 118750 54 0 0 25 0 4 0 731436559 631660544 126295 33554432000 4194304 4580107 140734561067760 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 616856

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.45
CPU time (s): 4800.32
CPU user time (s): 4797.88
CPU system time (s): 2.43663
CPU usage (%): 398.55
Max. virtual memory (cumulated for all children) (KiB): 777984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.88
system time used= 2.43663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 668046
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= 451
involuntary context switches= 22031

runsolver used 4.83427 second user time and 11.5582 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-15 00:27:38
IDJOB=3366690
IDBENCH=83099
IDSOLVER=1844
FILE ID=node117/3366690-1305412058
RUNJOBID= node117-1305410849-8603
PBS_JOBID= 13324528
Free space on /tmp= 73412 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366690-1305412058/watcher-3366690-1305412058 -o /tmp/evaluation-result-3366690-1305412058/solver-3366690-1305412058 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366690-1305412058.cnf

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

MD5SUM BENCH= 58de0b27915a7db672b276faaed6cfd0
RANDOM SEED=1628417270

node117.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.849
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.69
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.849
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.849
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.74
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.849
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.849
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.75
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.849
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.74
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      20977300 kB
Buffers:        299752 kB
Cached:        3080804 kB
SwapCached:          0 kB
Active:        9744328 kB
Inactive:      1873576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      20977300 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            5480 kB
Writeback:           0 kB
AnonPages:     8236644 kB
Mapped:          32504 kB
Slab:           243408 kB
PageTables:      45224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 100896924 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= 73404 MiB
End job on node117 at 2011-05-15 00:47:44