Trace number 3173895

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-mtSAT 2043.04 511.476

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf
MD5SUMbcd207ee685856d0ca572e80c3354408
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.016996
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173895-1304072679.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        500
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     248 undec:      49 neg:     203
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       491      2121         0         0      6417         0   no data   no data
0.00/0.06	c Decided on static restart strategy
0.40/0.15	c  N st     8      4915       491      2121         0      4824      6417    108730   no data   no data
1.57/0.40	c  N st    10     11297       491      2121         0      4490      6417     75342   no data   no data
2.37/0.69	c  N st    11     17041       491      2121         0     10105      6417    211062   no data   no data
4.38/1.12	c  F st    12     25000       491      2121         0     12408      6417    255267   no data   no data
4.38/1.12	c  N st    12     25000       491      2121         0     12408      6417    255267   no data   no data
5.17/1.37	c Decided on static restart strategy
5.17/1.37	c  N st    18     30000       491      2121         0     10658      6417    199980   no data   no data
5.17/1.37	c  S st    18     30000       491      2121         0     10658      6417    199980   no data   no data
5.57/1.40	c  S st    18     30508       491      2121         0     11163      6417    211375   no data   no data
5.57/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.41	c blocked clauses removed:       27 vars:      3 tried:         491 T: 0.00 s
5.57/1.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    488 time:  0.00 s
5.57/1.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.41	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.57/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.47	c lits-rem:       179  cl-subs:      541  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.48	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.01
5.57/1.48	c calculated reachability. Time: 0.00
5.57/1.48	c  N st    18     30508       487      2093         0     10599      6337    196906   no data   no data
7.17/1.86	c  N st    20     37620       487      2093         0      9875      6337    170205   no data   no data
8.79/2.28	c  N st    21     44019       487      2093         0     16157      6337    329981   no data   no data
9.57/2.40	c  S st    22     45763       487      2093         0      9117      6337    131661   no data   no data
9.57/2.43	c  S st    22     46263       487      2093         0      9616      6337    142773   no data   no data
9.57/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.57/2.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.57/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
9.57/2.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.57/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.45	c lits-rem:        44  cl-subs:       54  v-elim:      0  v-fix:    0  time:  0.01 s
9.57/2.45	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
9.57/2.45	c vivif2 --  cl tried     9562 cl shrink        0 lits rem          0 time: 0.00
9.57/2.45	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.01
9.57/2.45	c calculated reachability. Time: 0.00
9.57/2.45	c  N st    22     46263       487      2093         0      9562      6337    141219   no data   no data
13.18/3.38	c  N st    23     60663       487      2093         0     13893      6337    236774   no data   no data
15.96/4.01	c  N st    24     69394       487      2093         0     11674      6337    174583   no data   no data
15.96/4.01	c  S st    24     69394       487      2093         0     11674      6337    174583   no data   no data
15.96/4.04	c  S st    24     69895       487      2093         0     12174      6337    185843   no data   no data
15.96/4.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.96/4.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.96/4.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
15.96/4.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.96/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.08	c lits-rem:        48  cl-subs:      188  v-elim:      0  v-fix:    0  time:  0.02 s
15.96/4.08	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
15.96/4.08	c vivif2 --  cl tried    11986 cl shrink        0 lits rem          0 time: 0.00
15.96/4.09	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.01
15.96/4.09	c calculated reachability. Time: 0.00
15.96/4.09	c  N st    24     69895       487      2093         0     11986      6337    180859   no data   no data
21.15/5.36	c  F st    25     87502       487      2093         0     17531      6337    327713   no data   no data
21.15/5.37	c  N st    25     87502       487      2093         0     17531      6337    327713   no data   no data
22.74/5.74	c Decided on static restart strategy
23.54/5.99	c  N st    32     95539       487      2093         0     25388      6337    509906   no data   no data
26.35/6.61	c  N st    34    104842       487      2093         0     21750      6337    374999   no data   no data
26.35/6.61	c  S st    34    104842       487      2093         0     21750      6337    374999   no data   no data
26.35/6.67	c  S st    34    105345       487      2093         0     22253      6337    386702   no data   no data
26.35/6.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.35/6.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.35/6.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.35/6.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.35/6.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
26.35/6.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.35/6.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.35/6.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.83	c lits-rem:       138  cl-subs:      938  v-elim:      0  v-fix:    0  time:  0.14 s
27.14/6.83	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
27.14/6.83	c vivif2 --  cl tried    21315 cl shrink        0 lits rem          0 time: 0.00
27.14/6.85	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.01
27.14/6.85	c calculated reachability. Time: 0.00
27.14/6.85	c  N st    34    105345       487      2093         0     21315      6337    365029   no data   no data
30.34/7.62	c  N st    35    114945       487      2093         0     17002      6337    244151   no data   no data
35.14/8.80	c  N st    36    129342       487      2093         0     16369      6337    215095   no data   no data
41.91/10.57	c  N st    37    150938       487      2093         0     21760      6337    315695   no data   no data
44.33/11.17	c  S st    38    158018       487      2093         0     28671      6337    475066   no data   no data
44.71/11.24	c  S st    38    158518       487      2093         0     29171      6337    486890   no data   no data
44.71/11.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.71/11.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.71/11.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.71/11.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.71/11.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.71/11.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
44.71/11.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.71/11.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.71/11.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.31/11.62	c lits-rem:       415  cl-subs:     1862  v-elim:      0  v-fix:    0  time:  0.35 s
46.31/11.62	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
46.31/11.63	c vivif2 --  cl tried    27309 cl shrink        0 lits rem          0 time: 0.01
46.31/11.64	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.02
46.31/11.64	c calculated reachability. Time: 0.00
46.31/11.64	c  N st    38    158518       487      2093         0     27309      6337    449390   no data   no data
64.69/16.26	c  N st    39    207109       487      2093         0     22060      6337    296565   no data   no data
77.07/19.30	c  N st    40    237777       487      2093         0     32465      6337    518600   no data   no data
77.07/19.30	c  S st    40    237777       487      2093         0     32465      6337    518600   no data   no data
77.07/19.39	c  S st    40    238278       487      2093         0     32966      6337    529938   no data   no data
77.07/19.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.47/19.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.47/19.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.47/19.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.47/19.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.47/19.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
77.47/19.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.47/19.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.47/19.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.87/20.03	c lits-rem:       331  cl-subs:     2312  v-elim:      0  v-fix:    0  time:  0.61 s
79.87/20.03	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
79.87/20.04	c vivif2 --  cl tried    30654 cl shrink        0 lits rem          0 time: 0.01
79.87/20.06	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.02
79.87/20.06	c calculated reachability. Time: 0.00
79.87/20.06	c  N st    40    238278       487      2093         0     30654      6337    478881   no data   no data
108.22/27.15	c  F st    41    306252       487      2093         0     32559      6337    491606   no data   no data
108.22/27.15	c  N st    41    306252       487      2093         0     32559      6337    491606   no data   no data
110.62/27.74	c Decided on static restart strategy
121.41/30.47	c  N st    51    334555       487      2093         0     36818      6337    574898   no data   no data
132.59/33.27	c  N st    53    357418       487      2093         0     34791      6337    517012   no data   no data
132.59/33.27	c  S st    53    357418       487      2093         0     34791      6337    517012   no data   no data
132.99/33.36	c  S st    53    357923       487      2093         0     35295      6337    529304   no data   no data
132.99/33.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
132.99/33.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
132.99/33.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
132.99/33.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.99/33.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.99/33.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
132.99/33.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
132.99/33.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
132.99/33.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.19/33.63	c lits-rem:       163  cl-subs:      968  v-elim:      0  v-fix:    0  time:  0.24 s
134.19/33.63	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
134.19/33.64	c vivif2 --  cl tried    34327 cl shrink        0 lits rem          0 time: 0.01
134.19/33.66	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.02
134.19/33.66	c calculated reachability. Time: 0.00
134.19/33.66	c  N st    53    357923       487      2093         0     34327      6337    508037   no data   no data
150.57/37.70	c  N st    54    390316       487      2093         0     40591      6337    615513   no data   no data
176.93/44.33	c  N st    55    438906       487      2093         0     34265      6337    445876   no data   no data
217.67/54.59	c  N st    56    511788       487      2093         0     47830      6337    758217   no data   no data
232.06/58.10	c  N st    57    536885       487      2093         0     42108      6337    586003   no data   no data
232.06/58.10	c  S st    57    536885       487      2093         0     42108      6337    586003   no data   no data
232.46/58.21	c  S st    57    537390       487      2093         0     42613      6337    598227   no data   no data
232.46/58.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
232.46/58.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
232.46/58.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
232.46/58.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
232.46/58.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
232.46/58.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
232.46/58.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
232.46/58.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
232.46/58.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
234.45/58.79	c lits-rem:       207  cl-subs:     1894  v-elim:      0  v-fix:    0  time:  0.53 s
234.45/58.79	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
234.45/58.79	c vivif2 --  cl tried    40719 cl shrink        0 lits rem          0 time: 0.01
234.85/58.82	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.03
234.85/58.82	c calculated reachability. Time: 0.00
234.85/58.82	c  N st    57    537390       487      2093         0     40719      6337    555830   no data   no data
344.31/86.22	c  N st    58    701375       487      2093         0     69681      6337   1128948   no data   no data
417.42/104.59	c  N st    59    806085       487      2093         0     63844      6337   1014767   no data   no data
417.42/104.59	c  S st    59    806085       487      2093         0     63844      6337   1014767   no data   no data
418.20/104.77	c  S st    59    806587       487      2093         0     64345      6337   1026856   no data   no data
418.20/104.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
418.60/104.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
418.60/104.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
418.60/104.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
418.60/104.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
418.60/104.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
418.60/104.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
418.60/104.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
418.60/104.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
425.79/106.60	c lits-rem:       529  cl-subs:     3198  v-elim:      0  v-fix:    0  time:  1.74 s
425.79/106.60	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
425.79/106.61	c vivif2 --  cl tried    61147 cl shrink        0 lits rem          0 time: 0.01
425.79/106.66	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.05
425.79/106.67	c calculated reachability. Time: 0.00
425.79/106.67	c  N st    59    806587       487      2093         0     61147      6337    959648   no data   no data
622.33/155.87	c  F st    60   1071875       487      2093         0     77165      6337   1298204   no data   no data
622.33/155.87	c  N st    60   1071875       487      2093         0     77165      6337   1298204   no data   no data
628.74/157.46	c Decided on static restart strategy
647.49/162.16	c  N st    70   1100184       487      2093         0     60901      6337    838332   no data   no data
677.85/169.79	c  N st    72   1136177       487      2093         0     51074      6337    576269   no data   no data
707.01/177.01	c  N st    73   1168569       487      2093         0     82664      6337   1303109   no data   no data
738.18/184.84	c  N st    74   1209880       487      2093         0     77132      6337   1192227   no data   no data
738.18/184.84	c  S st    74   1209880       487      2093         0     77132      6337   1192227   no data   no data
738.96/185.08	c  S st    74   1210385       487      2093         0     77635      6337   1204264   no data   no data
738.96/185.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
739.36/185.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
739.36/185.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
739.36/185.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
739.36/185.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
739.36/185.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
739.36/185.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
739.36/185.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
739.36/185.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
752.14/188.36	c lits-rem:       383  cl-subs:     4776  v-elim:      0  v-fix:    0  time:  3.18 s
752.14/188.36	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
752.14/188.37	c vivif2 --  cl tried    72859 cl shrink        0 lits rem          0 time: 0.02
752.54/188.44	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.07
752.54/188.45	c calculated reachability. Time: 0.00
752.54/188.45	c  N st    74   1210385       487      2093         0     72859      6337   1099949   no data   no data
827.64/207.21	c  N st    75   1283267       487      2093         0     49319      6337    488203   no data   no data
938.29/234.94	c  N st    76   1392590       487      2093         0     57816      6337    659141   no data   no data
1083.69/271.31	c  N st    77   1556576       487      2093         0     62363      6337    725688   no data   no data
1219.90/305.41	c  N st    78   1710386       487      2093         0    103811      6337   1681901   no data   no data
1219.90/305.41	c  S st    78   1710386       487      2093         0    103811      6337   1681901   no data   no data
1221.11/305.75	c  S st    78   1710889       487      2093         0    104314      6337   1694237   no data   no data
1221.11/305.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1221.11/305.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1221.11/305.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1221.11/305.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1221.11/305.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1221.11/305.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
1221.11/305.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1221.53/305.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1221.53/305.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1268.64/317.65	c lits-rem:      2088  cl-subs:    11681  v-elim:      0  v-fix:    0  time: 11.76 s
1268.64/317.65	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
1268.64/317.67	c vivif2 --  cl tried    92633 cl shrink        0 lits rem          0 time: 0.02
1269.03/317.76	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.10
1269.03/317.77	c calculated reachability. Time: 0.00
1269.03/317.77	c  N st    78   1710889       487      2093         0     92633      6337   1446539   no data   no data
1628.14/407.64	c  N st    79   2079853       487      2093         0    104659      6337   1593189   no data   no data
1756.38/439.74	c  N st    80   2210889       487      2093         0    108974      6337   1720347   no data   no data
1756.38/439.74	c  S st    80   2210889       487      2093         0    108974      6337   1720347   no data   no data
1757.99/440.12	c  S st    80   2211390       487      2093         0    109475      6337   1732253   no data   no data
1757.99/440.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1757.99/440.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1757.99/440.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1757.99/440.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1757.99/440.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1757.99/440.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    487 time:  0.00 s
1757.99/440.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1758.37/440.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1758.37/440.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1793.14/448.93	c lits-rem:       614  cl-subs:     7264  v-elim:      0  v-fix:    0  time:  8.66 s
1793.14/448.93	c vivif2 --  cl tried     2093 cl shrink        0 lits rem          0 time: 0.00
1793.14/448.95	c vivif2 --  cl tried   102211 cl shrink        0 lits rem          0 time: 0.02
1793.51/449.06	c asymm  cl-useful: 0/2093/2093 lits-rem:0 time: 0.10
1793.51/449.06	c calculated reachability. Time: 0.00
1793.51/449.06	c  N st    80   2211390       487      2093         0    102211      6337   1573108   no data   no data
2042.38/511.39	c  E st    81   2440899         0      2093         0     66528      6337    613319   no data   no data
2042.38/511.39	c Verified 2093 clauses.
2042.38/511.39	c Solution needs extension. Extending.
2042.78/511.46	c Verified 2093 clauses.
2042.78/511.46	c Following stats are for *FIRST FINISHED THREAD ONLY*
2042.78/511.46	c num threads              : 4          
2042.78/511.46	c restarts                 : 81         
2042.78/511.46	c dynamic restarts         : 0          
2042.78/511.46	c static restarts          : 81         
2042.78/511.46	c full restarts            : 4          
2042.78/511.46	c total simplify time      : 0.00       
2042.78/511.46	c learnts DL2              : 0          
2042.78/511.46	c learnts size 2           : 0          
2042.78/511.46	c learnts size 1           : 0           (0.00      % of vars)
2042.78/511.46	c filedLit time            : 0.22        (0.04      % time)
2042.78/511.46	c v-elim SatELite          : 13          (2.60      % vars)
2042.78/511.46	c SatELite time            : 27.22       (5.33      % time)
2042.78/511.46	c v-elim xor               : 0           (0.00      % vars)
2042.78/511.46	c xor elim time            : 0.03        (0.01      % time)
2042.78/511.46	c num binary xor trees     : 0          
2042.78/511.46	c binxor trees' crown      : 0           (nan       leafs/tree)
2042.78/511.46	c bin xor find time        : 0.00       
2042.78/511.46	c OTF clause improved      : 62438       (0.03      clauses/conflict)
2042.78/511.46	c OTF impr. size diff      : 67973       (1.09       lits/clause)
2042.78/511.46	c OTF cl watch-shrink      : 771675      (0.32      clauses/conflict)
2042.78/511.46	c OTF cl watch-sh-lit      : 1056345     (1.37       lits/clause)
2042.78/511.46	c tried to recurMin cls    : 278668      (11.42      % of conflicts)
2042.78/511.46	c updated cache            : 7082        (0.03       lits/tried recurMin)
2042.78/511.46	c unit cls recevied        : 0           (nan       % of units)
2042.78/511.46	c unit cls sent            : 0           (nan       % of units)
2042.78/511.46	c bin cls recevied         : 0          
2042.78/511.46	c bin cls sent             : 0          
2042.78/511.46	c clauses over max glue    : 0           (0.00      % of all clauses)
2042.78/511.46	c conflicts                : 2440899     (4775.32   / sec)
2042.78/511.46	c decisions                : 2869097     (0.41      % random)
2042.78/511.46	c bogo-props               : 59541060371 (116484905.04 / sec)
2042.78/511.46	c conflict literals        : 58575048    (25.72     % deleted)
2042.78/511.46	c Memory used              : 425.54      MB
2042.78/511.46	c single-thread CPU time   : 511.15      s
2042.78/511.46	c all-threads sum CPU time : 2041.70     s
2042.78/511.46	s SATISFIABLE
2042.78/511.46	v -1 -2 -3 4 -5 -6 7 -8 -9 10 11 12 13 -14 -15 -16 17 18 -19 20 21 22 -23 24 25 -26 27 28 29 -30 -31 -32 33 34 -35 -36 -37 -38 39 -40 41 42 -43 44 45 46 47 48 -49 -50 51 -52 53 54 -55 -56 57 -58 -59 -60 -61 62 63 -64 -65 66 -67 68 -69 70 71 72 73 74 -75 -76 77 -78 79 -80 81 82 -83 -84 -85 -86 87 88 89 -90 -91 -92 -93 -94 -95 -96 -97 -98 99 100 -101 102 103 -104 -105 106 -107 -108 -109 110 111 112 -113 -114 115 -116 117 118 119 120 -121 -122 123 -124 -125 -126 127 128 129 -130 131 -132 -133 -134 -135 -136 137 138 -139 -140 -141 142 143 -144 145 -146 147 148 149 150 -151 152 -153 154 -155 156 -157 -158 159 160 -161 -162 163 164 -165 166 -167 168 169 170 171 -172 173 174 -175 -176 177 -178 -179 -180 -181 182 -183 184 -185 -186 187 188 189 -190 191 192 -193 -194 -195 196 197 198 199 -200 201 202 -203 204 205 -206 -207 -208 209 -210 -211 212 213 214 215 216 217 218 219 -220 221 -222 -223 -224 -225 -226 -227 -228 229 -230 -231 -232 -233 -234 -235 -236 237 238 -239 -240 241 -242 -243 -244 -245 -246 -247 248 249 -250 -251 252 -253 -254 255 256 257 -258 -259 260 261 -262 -263 264 -265 -266 267 -268 -269 -270 -271 -272 273 274 -275 276 -277 -278 -279 280 281 282 -283 284 -285 -286 287 288 289 -290 291 -292 293 -294 -295 -296 297 -298 299 300 -301 302 -303 304 305 -306 307 308 -309 -310 -311 -312 313 314 315 316 317 318 319 -320 -321 -322 -323 -324 325 326 -327 328 -329 -330 331 -332 333 -334 -335 -336 -337 -338 339 340 -341 342 343 344 345 346 -347 348 -349 350 351 352 353 -354 -355 -356 -357 358 359 -360 361 362 -363 364 365 -366 -367 368 369 370 371 372 373 -374 375 -376 -377 378 -379 380 -381 382 383 -384 -385 386 -387 -388 389 390 391 392 393 -394 395 396 397 398 -399 -400 401 -402 403 404 405 -406 -407 -408 -409 410 -411 412 -413 -414 -415 -416 417 418 419 420 421 422 -423 424 -425 -426 -427 428 -429 430 -431 432 -433 434 435 436 437 438 439 -440 -441 442 443 444 445 -446 447 448 -449 450 -451 452 -453 -454 455 -456 -457 458 -459 460 461 -462 -463 464 -465 -466 -467 468 469 470 -471 472 -473 474 475 476 -477 478 479 -480 481 -482 -483 484 -485 -486 -487 488 -489 -490 -491 492 -493 -494 495 496 -497 498 -499 500 0

Verifier Data 

OK

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-3173895-1304072679/watcher-3173895-1304072679 -o /tmp/evaluation-result-3173895-1304072679/solver-3173895-1304072679 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173895-1304072679.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: 1.14 3.30 5.00 2/172 30699
/proc/meminfo: memFree=22151848/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 518866740 52441088 353 33554432000 4194304 4627427 140736944274064 18446744073709551615 268272689083 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 12803 353 303 106 0 7774 0
[pid=30699/tid=30704] ppid=30697 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518866740 52441088 353 33554432000 4194304 4627427 140736944274064 18446744073709551615 47673433081772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518866740 52441088 353 33554432000 4194304 4627427 140736944274064 18446744073709551615 268267736150 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518866740 52441088 353 33554432000 4194304 4627427 140736944274064 18446744073709551615 47673433081369 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.106357 s]
/proc/loadavg: 1.14 3.30 5.00 2/172 30699
/proc/meminfo: memFree=22151848/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=282200 CPUtime=0.4 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 1708 0 0 0 40 0 0 0 25 0 4 0 518866740 288972800 1575 33554432000 4194304 4627427 140736944274064 18446744073709551615 4330282 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 70550 1575 384 106 0 65521 0
[pid=30699/tid=30704] ppid=30697 vsize=282200 CPUtime=0.1 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 354 0 0 0 10 0 0 0 25 0 4 0 518866740 288972800 1575 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=282200 CPUtime=0.1 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 324 0 0 0 10 0 0 0 25 0 4 0 518866740 288972800 1575 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=282200 CPUtime=0.1 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 271 0 0 0 10 0 0 0 25 0 4 0 518866740 288972800 1576 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282200

[startup+0.20034 s]
/proc/loadavg: 1.14 3.30 5.00 2/172 30699
/proc/meminfo: memFree=22151848/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=283508 CPUtime=0.77 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 2324 0 0 0 77 0 0 0 25 0 4 0 518866740 290312192 1638 33554432000 4194304 4627427 140736944274064 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 70877 1638 385 106 0 65848 0
[pid=30699/tid=30704] ppid=30697 vsize=283508 CPUtime=0.19 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 512 0 0 0 19 0 0 0 25 0 4 0 518866740 290312192 1638 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=283508 CPUtime=0.19 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 472 0 0 0 19 0 0 0 25 0 4 0 518866740 290312192 1638 33554432000 4194304 4627427 140736944274064 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=283508 CPUtime=0.19 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 422 0 0 0 19 0 0 0 25 0 4 0 518866740 290312192 1638 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283508

[startup+0.300322 s]
/proc/loadavg: 1.14 3.30 5.00 2/172 30699
/proc/meminfo: memFree=22151848/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=283676 CPUtime=1.17 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 2749 0 0 0 117 0 0 0 25 0 4 0 518866740 290484224 2063 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 70919 2063 385 106 0 65890 0
[pid=30699/tid=30704] ppid=30697 vsize=283676 CPUtime=0.29 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 620 0 0 0 29 0 0 0 25 0 4 0 518866740 290484224 2063 33554432000 4194304 4627427 140736944274064 18446744073709551615 4327368 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=283676 CPUtime=0.29 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 579 0 0 0 29 0 0 0 25 0 4 0 518866740 290484224 2064 33554432000 4194304 4627427 140736944274064 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=283676 CPUtime=0.29 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 523 0 0 0 29 0 0 0 25 0 4 0 518866740 290484224 2064 33554432000 4194304 4627427 140736944274064 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283676

[startup+0.700252 s]
/proc/loadavg: 1.14 3.30 5.00 2/172 30699
/proc/meminfo: memFree=22151848/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=284652 CPUtime=2.77 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 4298 0 0 0 277 0 0 0 25 0 4 0 518866740 291483648 2750 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 71163 2750 385 106 0 66134 0
[pid=30699/tid=30704] ppid=30697 vsize=284652 CPUtime=0.69 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 1025 0 0 0 69 0 0 0 25 0 4 0 518866740 291483648 2750 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=284652 CPUtime=0.69 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 974 0 0 0 69 0 0 0 25 0 4 0 518866740 291483648 2750 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=284652 CPUtime=0.69 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 893 0 0 0 69 0 0 0 25 0 4 0 518866740 291483648 2750 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284652

[startup+1.50111 s]
/proc/loadavg: 1.14 3.30 5.00 10/184 30711
/proc/meminfo: memFree=22128200/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=285844 CPUtime=5.97 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 8585 0 0 0 596 1 0 0 25 0 4 0 518866740 292704256 4634 33554432000 4194304 4627427 140736944274064 18446744073709551615 4321507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 71461 4634 389 106 0 66432 0
[pid=30699/tid=30704] ppid=30697 vsize=285844 CPUtime=1.48 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 1797 0 0 0 148 0 0 0 25 0 4 0 518866740 292704256 4634 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=285844 CPUtime=1.49 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 1719 0 0 0 149 0 0 0 25 0 4 0 518866740 292704256 4634 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=285844 CPUtime=1.49 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 1633 0 0 0 149 0 0 0 25 0 4 0 518866740 292704256 4634 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285844

[startup+3.10083 s]
/proc/loadavg: 1.69 3.38 5.02 9/184 30711
/proc/meminfo: memFree=22095524/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=294580 CPUtime=12.37 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 17651 0 0 0 1234 3 0 0 25 0 4 0 518866740 301649920 9129 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 73645 9129 389 106 0 68616 0
[pid=30699/tid=30704] ppid=30697 vsize=294580 CPUtime=3.08 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 4145 0 0 0 307 1 0 0 25 0 4 0 518866740 301649920 9129 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=294580 CPUtime=3.08 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 4596 0 0 0 308 0 0 0 25 0 4 0 518866740 301649920 9129 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=294580 CPUtime=3.08 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 4346 0 0 0 308 0 0 0 25 0 4 0 518866740 301649920 9129 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 294580

[startup+6.30026 s]
/proc/loadavg: 1.69 3.38 5.02 9/184 30711
/proc/meminfo: memFree=22052100/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=291436 CPUtime=25.14 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 28087 0 0 0 2510 4 0 0 25 0 4 0 518866740 298430464 12425 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308780 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 72859 12425 389 106 0 67830 0
[pid=30699/tid=30704] ppid=30697 vsize=291436 CPUtime=6.25 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 7455 0 0 0 624 1 0 0 25 0 4 0 518866740 298430464 12425 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=291436 CPUtime=6.29 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 7407 0 0 0 628 1 0 0 25 0 4 0 518866740 298430464 12425 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=291436 CPUtime=6.29 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 6250 0 0 0 628 1 0 0 25 0 4 0 518866740 298430464 12425 33554432000 4194304 4627427 140736944274064 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 291436

[startup+12.7011 s]
/proc/loadavg: 2.73 3.54 5.05 9/184 30711
/proc/meminfo: memFree=21982592/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=309928 CPUtime=50.71 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 44099 0 0 0 5063 8 0 0 25 0 4 0 518866740 317366272 17828 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 77482 17828 389 106 0 72453 0
[pid=30699/tid=30704] ppid=30697 vsize=309928 CPUtime=12.62 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 10842 0 0 0 1260 2 0 0 25 0 4 0 518866740 317366272 17828 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=309928 CPUtime=12.68 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 10223 0 0 0 1267 1 0 0 25 0 4 0 518866740 317366272 17828 33554432000 4194304 4627427 140736944274064 18446744073709551615 4321862 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=309928 CPUtime=12.68 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 10871 0 0 0 1267 1 0 0 25 0 4 0 518866740 317366272 17828 33554432000 4194304 4627427 140736944274064 18446744073709551615 4330102 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 309928

[startup+25.5008 s]
/proc/loadavg: 3.54 3.69 5.08 9/184 30712
/proc/meminfo: memFree=21923680/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=301144 CPUtime=101.83 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 66285 0 0 0 10170 13 0 0 25 0 4 0 518866740 308371456 25171 33554432000 4194304 4627427 140736944274064 18446744073709551615 4310481 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 75286 25171 389 106 0 70257 0
[pid=30699/tid=30704] ppid=30697 vsize=301144 CPUtime=25.35 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 16658 0 0 0 2532 3 0 0 25 0 4 0 518866740 308371456 25171 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=301144 CPUtime=25.49 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 15701 0 0 0 2546 3 0 0 25 0 4 0 518866740 308371456 25171 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=301144 CPUtime=25.48 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 15636 0 0 0 2545 3 0 0 25 0 4 0 518866740 308371456 25171 33554432000 4194304 4627427 140736944274064 18446744073709551615 4324264 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 301144

[startup+51.1003 s]
/proc/loadavg: 5.06 4.04 5.16 9/184 30713
/proc/meminfo: memFree=21854848/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=320852 CPUtime=204.09 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 96717 0 0 0 20387 22 0 0 25 0 4 0 518866740 328552448 30406 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 80213 30406 389 106 0 75184 0
[pid=30699/tid=30704] ppid=30697 vsize=320852 CPUtime=50.81 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 26071 0 0 0 5075 6 0 0 25 0 4 0 518866740 328552448 30406 33554432000 4194304 4627427 140736944274064 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=320852 CPUtime=51.08 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 20704 0 0 0 5104 4 0 0 25 0 4 0 518866740 328552448 30406 33554432000 4194304 4627427 140736944274064 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=320852 CPUtime=51.08 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 24044 0 0 0 5103 5 0 0 25 0 4 0 518866740 328552448 30406 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 320852

[startup+102.301 s]
/proc/loadavg: 6.87 4.71 5.33 9/184 30714
/proc/meminfo: memFree=21792708/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=322288 CPUtime=408.63 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 147000 0 0 0 40829 34 0 0 25 0 4 0 518866740 330022912 36016 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 80572 36016 389 106 0 75543 0
[pid=30699/tid=30704] ppid=30697 vsize=322288 CPUtime=101.74 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 41094 0 0 0 10164 10 0 0 25 0 4 0 518866740 330022912 36016 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=322288 CPUtime=102.28 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 28049 0 0 0 10222 6 0 0 25 0 4 0 518866740 330022912 36016 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=322288 CPUtime=102.29 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 39243 0 0 0 10220 9 0 0 25 0 4 0 518866740 330022912 36016 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 322288

[startup+162.3 s]

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

/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 65346 0 0 0 22212 17 0 0 25 0 4 0 518866740 343195648 54573 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.99
Current children cumulated vsize (KiB) 335152

[startup+282.301 s]
/proc/loadavg: 8.04 6.23 5.80 9/184 30719
/proc/meminfo: memFree=21610956/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=354068 CPUtime=1127.63 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 288298 0 0 0 112685 78 0 0 25 0 4 0 518866740 362565632 60275 33554432000 4194304 4627427 140736944274064 18446744073709551615 4324134 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 88517 60275 389 106 0 83488 0
[pid=30699/tid=30704] ppid=30697 vsize=354068 CPUtime=280.76 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 75117 0 0 0 28055 21 0 0 25 0 4 0 518866740 362565632 60275 33554432000 4194304 4627427 140736944274064 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=354068 CPUtime=282.26 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 62346 0 0 0 28210 16 0 0 25 0 4 0 518866740 362565632 60275 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=354068 CPUtime=282.29 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 75101 0 0 0 28208 21 0 0 25 0 4 0 518866740 362565632 60275 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1127.63
Current children cumulated vsize (KiB) 354068

[startup+342.3 s]
/proc/loadavg: 8.22 6.63 5.97 9/184 30720
/proc/meminfo: memFree=21575716/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=408928 CPUtime=1367.3 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 329604 0 0 0 136637 93 0 0 25 0 4 0 518866740 418742272 64958 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309075 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 102232 64958 389 106 0 97203 0
[pid=30699/tid=30704] ppid=30697 vsize=408928 CPUtime=340.43 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 83805 0 0 0 34018 25 0 0 25 0 4 0 518866740 418742272 64958 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=408928 CPUtime=342.26 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 72534 0 0 0 34205 21 0 0 25 0 4 0 518866740 418742272 64958 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=408928 CPUtime=342.28 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 84578 0 0 0 34204 24 0 0 25 0 4 0 518866740 418742272 64958 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1367.3
Current children cumulated vsize (KiB) 408928

[startup+402.301 s]
/proc/loadavg: 8.23 6.89 6.09 9/184 30722
/proc/meminfo: memFree=21544824/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=432796 CPUtime=1606.98 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 366291 0 0 0 160592 106 0 0 25 0 4 0 518866740 443183104 67236 33554432000 4194304 4627427 140736944274064 18446744073709551615 4332937 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 108199 67236 389 106 0 103170 0
[pid=30699/tid=30704] ppid=30697 vsize=432796 CPUtime=400.1 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 91663 0 0 0 39983 27 0 0 25 0 4 0 518866740 443183104 67236 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=432796 CPUtime=402.26 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 82741 0 0 0 40201 25 0 0 25 0 4 0 518866740 443183104 67236 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=432796 CPUtime=402.28 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 93824 0 0 0 40201 27 0 0 25 0 4 0 518866740 443183104 67236 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1606.98
Current children cumulated vsize (KiB) 432796

[startup+462.301 s]
/proc/loadavg: 8.08 7.10 6.22 9/184 30723
/proc/meminfo: memFree=21510320/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=433436 CPUtime=1846.65 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 401337 0 0 0 184543 122 0 0 25 0 4 0 518866740 443838464 71859 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 108359 71859 389 106 0 103330 0
[pid=30699/tid=30704] ppid=30697 vsize=433436 CPUtime=459.78 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 99746 0 0 0 45946 32 0 0 25 0 4 0 518866740 443838464 71859 33554432000 4194304 4627427 140736944274064 18446744073709551615 4333433 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=433436 CPUtime=462.25 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 90317 0 0 0 46197 28 0 0 25 0 4 0 518866740 443838464 71859 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=433436 CPUtime=462.28 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 102626 0 0 0 46197 31 0 0 25 0 4 0 518866740 443838464 71859 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1846.65
Current children cumulated vsize (KiB) 433436

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

[startup+486.401 s]
/proc/loadavg: 8.05 7.16 6.26 9/184 30724
/proc/meminfo: memFree=21521960/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=433720 CPUtime=1942.92 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 414781 0 0 0 194165 127 0 0 25 0 4 0 518866740 444129280 72190 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 108430 72190 389 106 0 103401 0
[pid=30699/tid=30704] ppid=30697 vsize=433720 CPUtime=483.74 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 103792 0 0 0 48341 33 0 0 25 0 4 0 518866740 444129280 72190 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=433720 CPUtime=486.35 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 93222 0 0 0 48606 29 0 0 25 0 4 0 518866740 444129280 72190 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=433720 CPUtime=486.39 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 105909 0 0 0 48606 33 0 0 25 0 4 0 518866740 444129280 72190 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1942.92
Current children cumulated vsize (KiB) 433720

[startup+499.201 s]
/proc/loadavg: 8.04 7.20 6.28 9/184 30725
/proc/meminfo: memFree=21516864/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=435612 CPUtime=1994.05 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 422311 0 0 0 199275 130 0 0 25 0 4 0 518866740 446066688 72007 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 108903 72007 389 106 0 103874 0
[pid=30699/tid=30704] ppid=30697 vsize=435612 CPUtime=496.48 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 105155 0 0 0 49614 34 0 0 25 0 4 0 518866740 446066688 72007 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=435612 CPUtime=499.15 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 95492 0 0 0 49885 30 0 0 25 0 4 0 518866740 446066688 72007 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=435612 CPUtime=499.19 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 107830 0 0 0 49885 34 0 0 25 0 4 0 518866740 446066688 72007 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1994.05
Current children cumulated vsize (KiB) 435612

[startup+505.6 s]
/proc/loadavg: 8.04 7.22 6.29 9/184 30725
/proc/meminfo: memFree=21507188/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=435664 CPUtime=2019.61 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 425629 0 0 0 201830 131 0 0 25 0 4 0 518866740 446119936 72693 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 108916 72693 389 106 0 103887 0
[pid=30699/tid=30704] ppid=30697 vsize=435664 CPUtime=502.84 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 106709 0 0 0 50250 34 0 0 25 0 4 0 518866740 446119936 72693 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=435664 CPUtime=505.54 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 96019 0 0 0 50524 30 0 0 25 0 4 0 518866740 446119936 72693 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=435664 CPUtime=505.59 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 108453 0 0 0 50525 34 0 0 25 0 4 0 518866740 446119936 72693 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2019.61
Current children cumulated vsize (KiB) 435664

[startup+508.801 s]
/proc/loadavg: 8.03 7.23 6.30 9/184 30725
/proc/meminfo: memFree=21507312/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=435664 CPUtime=2032.4 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 426844 0 0 0 203108 132 0 0 25 0 4 0 518866740 446119936 73850 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 108916 73850 389 106 0 103887 0
[pid=30699/tid=30704] ppid=30697 vsize=435664 CPUtime=506.03 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 107111 0 0 0 50569 34 0 0 25 0 4 0 518866740 446119936 73850 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=435664 CPUtime=508.74 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 96264 0 0 0 50844 30 0 0 25 0 4 0 518866740 446119936 73850 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=435664 CPUtime=508.78 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 108722 0 0 0 50844 34 0 0 25 0 4 0 518866740 446119936 73850 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2032.4
Current children cumulated vsize (KiB) 435664

[startup+510.401 s]
/proc/loadavg: 8.03 7.23 6.30 9/184 30725
/proc/meminfo: memFree=21499616/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=435664 CPUtime=2038.8 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 427440 0 0 0 203748 132 0 0 25 0 4 0 518866740 446119936 74446 33554432000 4194304 4627427 140736944274064 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 108916 74446 389 106 0 103887 0
[pid=30699/tid=30704] ppid=30697 vsize=435664 CPUtime=507.62 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 107273 0 0 0 50728 34 0 0 25 0 4 0 518866740 446119936 74446 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=435664 CPUtime=510.35 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 96392 0 0 0 51005 30 0 0 25 0 4 0 518866740 446119936 74446 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=435664 CPUtime=510.4 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 108850 0 0 0 51005 35 0 0 25 0 4 0 518866740 446119936 74446 33554432000 4194304 4627427 140736944274064 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2038.8
Current children cumulated vsize (KiB) 435664

[startup+511.2 s]
/proc/loadavg: 8.03 7.23 6.30 9/184 30725
/proc/meminfo: memFree=21499616/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=435664 CPUtime=2041.98 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 427681 0 0 0 204066 132 0 0 25 0 4 0 518866740 446119936 74687 33554432000 4194304 4627427 140736944274064 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 108916 74687 389 106 0 103887 0
[pid=30699/tid=30704] ppid=30697 vsize=435664 CPUtime=508.41 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 107351 0 0 0 50807 34 0 0 25 0 4 0 518866740 446119936 74687 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=435664 CPUtime=511.14 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 96433 0 0 0 51084 30 0 0 25 0 4 0 518866740 446119936 74687 33554432000 4194304 4627427 140736944274064 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=435664 CPUtime=511.19 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 108915 0 0 0 51084 35 0 0 25 0 4 0 518866740 446119936 74687 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2041.98
Current children cumulated vsize (KiB) 435664

[startup+511.4 s]
/proc/loadavg: 8.03 7.23 6.30 9/184 30725
/proc/meminfo: memFree=21499616/32950928 swapFree=67111524/67111528
[pid=30699] ppid=30697 vsize=435704 CPUtime=2042.78 cores=0,2,4,6
/proc/30699/stat : 30699 (strangenight2-m) R 30697 30699 30047 0 -1 4202496 428525 0 0 0 204146 132 0 0 25 0 4 0 518866740 446160896 72918 33554432000 4194304 4627427 140736944274064 18446744073709551615 4499329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30699/statm: 108926 72918 390 106 0 103897 0
[pid=30699/tid=30704] ppid=30697 vsize=435704 CPUtime=508.61 cores=0,2,4,6
/proc/30699/task/30704/stat : 30704 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 107369 0 0 0 50827 34 0 0 25 0 4 0 518866740 446160896 72918 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30699/tid=30705] ppid=30697 vsize=435704 CPUtime=511.34 cores=0,2,4,6
/proc/30699/task/30705/stat : 30705 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 96433 0 0 0 51104 30 0 0 25 0 4 0 518866740 446160896 72918 33554432000 4194304 4627427 140736944274064 18446744073709551615 4324294 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30699/tid=30709] ppid=30697 vsize=435704 CPUtime=511.39 cores=0,2,4,6
/proc/30699/task/30709/stat : 30709 (strangenight2-m) R 30697 30699 30047 0 -1 4202560 108932 0 0 0 51104 35 0 0 25 0 4 0 518866740 446160896 72918 33554432000 4194304 4627427 140736944274064 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2042.78
Current children cumulated vsize (KiB) 435704

Child status: 10
Real time (s): 511.476
CPU time (s): 2043.04
CPU user time (s): 2041.7
CPU system time (s): 1.3438
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 445368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2041.7
system time used= 1.3438
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429336
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= 228
involuntary context switches= 9512

runsolver used 0.752885 second user time and 2.04669 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 12:24:39
IDJOB=3173895
IDBENCH=82713
IDSOLVER=1586
FILE ID=node122/3173895-1304072679
RUNJOBID= node122-1304072679-30684
PBS_JOBID= 13170466
Free space on /tmp= 71664 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173895-1304072679/watcher-3173895-1304072679 -o /tmp/evaluation-result-3173895-1304072679/solver-3173895-1304072679 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173895-1304072679.cnf

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

MD5SUM BENCH= bcd207ee685856d0ca572e80c3354408
RANDOM SEED=1145814411

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22152160 kB
Buffers:       1626984 kB
Cached:        8558716 kB
SwapCached:          4 kB
Active:        1069004 kB
Inactive:      9181036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22152160 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11388 kB
Writeback:           0 kB
AnonPages:       64516 kB
Mapped:          14684 kB
Slab:           486020 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186196 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= 71652 MiB
End job on node122 at 2011-04-29 12:33:11