Trace number 3174281

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.41 1201.73

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.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-3174281-1304116973.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.00	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.00	c -- vars added        550
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/2343/2343 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.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     261 undec:      54 neg:     235
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       536      2330         0         0      7071         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4915       536      2330         0      4846      7071    121257   no data   no data
1.58/0.42	c  N st    10     11302       536      2330         0      4511      7071     80074   no data   no data
2.38/0.69	c  N st    11     17045       536      2330         0     10129      7071    216742   no data   no data
4.39/1.13	c  F st    12     25000       536      2330         0     12374      7071    271896   no data   no data
4.39/1.13	c  N st    12     25000       536      2330         0     12374      7071    271896   no data   no data
5.17/1.37	c Decided on static restart strategy
5.17/1.37	c  N st    18     30000       536      2330         0     10651      7071    210512   no data   no data
5.17/1.37	c  S st    18     30000       536      2330         0     10651      7071    210512   no data   no data
5.57/1.40	c  S st    18     30506       536      2330         0     11157      7071    223063   no data   no data
5.57/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.41	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:        0 vars:      0 tried:         536 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:    536 time:  0.00 s
5.57/1.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  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.48	c lits-rem:        92  cl-subs:      530  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.48	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.01
5.57/1.48	c calculated reachability. Time: 0.00
5.57/1.48	c  N st    18     30506       536      2330         0     10627      7071    208810   no data   no data
7.18/1.88	c  N st    20     37616       536      2330         0      9903      7071    170070   no data   no data
8.79/2.27	c  N st    21     44015       536      2330         0     16160      7071    315826   no data   no data
9.19/2.39	c  S st    22     45760       536      2330         0      9106      7071    131998   no data   no data
9.56/2.42	c  S st    22     46264       536      2330         0      9609      7071    144234   no data   no data
9.56/2.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
9.56/2.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.44	c lits-rem:        20  cl-subs:       60  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.44	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
9.56/2.44	c vivif2 --  cl tried     9549 cl shrink        0 lits rem          0 time: 0.00
9.56/2.45	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.01
9.56/2.45	c calculated reachability. Time: 0.00
9.56/2.45	c  N st    22     46264       536      2330         0      9549      7071    142901   no data   no data
13.18/3.36	c  N st    23     60661       536      2330         0     13862      7071    233102   no data   no data
15.56/4.00	c  N st    24     69396       536      2330         0     11656      7071    172809   no data   no data
15.56/4.00	c  S st    24     69396       536      2330         0     11656      7071    172809   no data   no data
15.95/4.03	c  S st    24     69906       536      2330         0     12166      7071    183865   no data   no data
15.95/4.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.95/4.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.95/4.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
15.95/4.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.95/4.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.95/4.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.06	c lits-rem:        53  cl-subs:      151  v-elim:      0  v-fix:    0  time:  0.02 s
15.95/4.06	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
15.95/4.06	c vivif2 --  cl tried    12015 cl shrink        0 lits rem          0 time: 0.00
15.95/4.07	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.01
15.95/4.07	c calculated reachability. Time: 0.00
15.95/4.07	c  N st    24     69906       536      2330         0     12015      7071    180387   no data   no data
20.75/5.27	c  F st    25     87503       536      2330         0     17501      7071    312111   no data   no data
20.75/5.27	c  N st    25     87503       536      2330         0     17501      7071    312111   no data   no data
22.37/5.69	c Decided on static restart strategy
23.55/5.93	c  N st    32     95541       536      2330         0     25393      7071    502195   no data   no data
25.95/6.60	c  N st    34    104861       536      2330         0     21807      7071    394565   no data   no data
25.95/6.60	c  S st    34    104861       536      2330         0     21807      7071    394565   no data   no data
26.36/6.66	c  S st    34    105365       536      2330         0     22311      7071    406937   no data   no data
26.36/6.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.36/6.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.36/6.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
26.36/6.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.36/6.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.36/6.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.15/6.83	c lits-rem:       106  cl-subs:      747  v-elim:      0  v-fix:    0  time:  0.14 s
27.15/6.83	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
27.15/6.84	c vivif2 --  cl tried    21564 cl shrink        0 lits rem          0 time: 0.00
27.15/6.85	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.01
27.15/6.85	c calculated reachability. Time: 0.00
27.15/6.85	c  N st    34    105365       536      2330         0     21564      7071    387816   no data   no data
30.34/7.63	c  N st    35    114964       536      2330         0     17268      7071    264385   no data   no data
35.55/8.95	c  N st    36    129361       536      2330         0     16707      7071    232176   no data   no data
42.72/10.78	c  N st    37    150957       536      2330         0     22184      7071    359275   no data   no data
45.52/11.48	c  S st    38    158048       536      2330         0     29105      7071    541550   no data   no data
45.92/11.55	c  S st    38    158550       536      2330         0     29603      7071    553022   no data   no data
45.92/11.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.92/11.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.92/11.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.92/11.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.92/11.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.92/11.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
45.92/11.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.92/11.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.92/11.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.52/11.99	c lits-rem:       240  cl-subs:     1297  v-elim:      0  v-fix:    0  time:  0.40 s
47.52/11.99	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
47.92/12.00	c vivif2 --  cl tried    28306 cl shrink        0 lits rem          0 time: 0.01
47.92/12.02	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.02
47.92/12.02	c calculated reachability. Time: 0.00
47.92/12.02	c  N st    38    158550       536      2330         0     28306      7071    516669   no data   no data
67.49/16.97	c  N st    39    207138       536      2330         0     23056      7071    343326   no data   no data
79.87/20.05	c  N st    40    237826       536      2330         0     33450      7071    590261   no data   no data
79.87/20.05	c  S st    40    237826       536      2330         0     33450      7071    590261   no data   no data
80.27/20.14	c  S st    40    238327       536      2330         0     33951      7071    603081   no data   no data
80.27/20.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.27/20.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.27/20.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.27/20.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.27/20.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.27/20.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
80.27/20.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
80.27/20.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.27/20.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.67/20.74	c lits-rem:       267  cl-subs:     1506  v-elim:      0  v-fix:    0  time:  0.56 s
82.67/20.74	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
82.67/20.75	c vivif2 --  cl tried    32445 cl shrink        0 lits rem          0 time: 0.01
82.67/20.77	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.02
82.67/20.77	c calculated reachability. Time: 0.00
82.67/20.77	c  N st    40    238327       536      2330         0     32445      7071    563678   no data   no data
113.03/28.32	c  F st    41    306250       536      2330         0     34145      7071    558966   no data   no data
113.03/28.32	c  N st    41    306250       536      2330         0     34145      7071    558966   no data   no data
115.42/28.91	c Decided on static restart strategy
125.81/31.59	c  N st    51    334556       536      2330         0     38538      7071    652714   no data   no data
137.79/34.50	c  N st    53    357491       536      2330         0     36502      7071    589117   no data   no data
137.79/34.50	c  S st    53    357491       536      2330         0     36502      7071    589117   no data   no data
138.19/34.60	c  S st    53    357993       536      2330         0     37004      7071    601224   no data   no data
138.19/34.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.19/34.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
138.19/34.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.19/34.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.19/34.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.19/34.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
138.19/34.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
138.19/34.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
138.19/34.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.80/35.06	c lits-rem:       136  cl-subs:     1458  v-elim:      0  v-fix:    0  time:  0.42 s
139.80/35.06	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
139.80/35.07	c vivif2 --  cl tried    35546 cl shrink        0 lits rem          0 time: 0.01
139.80/35.09	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.02
139.80/35.10	c calculated reachability. Time: 0.00
139.80/35.10	c  N st    53    357993       536      2330         0     35546      7071    560302   no data   no data
156.96/39.38	c  N st    54    390386       536      2330         0     41697      7071    712499   no data   no data
186.93/46.81	c  N st    55    438975       536      2330         0     35385      7071    492349   no data   no data
231.26/57.93	c  N st    56    511857       536      2330         0     49093      7071    829442   no data   no data
245.25/61.41	c  N st    57    536989       536      2330         0     43347      7071    653370   no data   no data
245.25/61.41	c  S st    57    536989       536      2330         0     43347      7071    653370   no data   no data
245.65/61.52	c  S st    57    537492       536      2330         0     43849      7071    665331   no data   no data
245.65/61.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
245.65/61.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
245.65/61.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
245.65/61.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
245.65/61.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.65/61.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
245.65/61.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
245.65/61.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
245.65/61.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
247.65/62.05	c lits-rem:       345  cl-subs:     1444  v-elim:      0  v-fix:    0  time:  0.47 s
247.65/62.05	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
247.65/62.06	c vivif2 --  cl tried    42405 cl shrink        0 lits rem          0 time: 0.01
247.65/62.09	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.03
247.65/62.09	c calculated reachability. Time: 0.00
247.65/62.09	c  N st    57    537492       536      2330         0     42405      7071    632399   no data   no data
346.32/86.76	c  N st    58    701478       536      2330         0     36471      7071    399608   no data   no data
420.21/105.28	c  N st    59    806238       536      2330         0     65592      7071   1150145   no data   no data
420.21/105.28	c  S st    59    806238       536      2330         0     65592      7071   1150145   no data   no data
421.01/105.49	c  S st    59    806740       536      2330         0     66094      7071   1163096   no data   no data
421.01/105.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
421.41/105.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
421.41/105.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
421.41/105.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
421.41/105.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
421.41/105.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
421.41/105.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
421.41/105.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
421.41/105.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
433.40/108.59	c lits-rem:       633  cl-subs:     3891  v-elim:      0  v-fix:    0  time:  2.99 s
433.40/108.59	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
433.80/108.60	c vivif2 --  cl tried    62203 cl shrink        0 lits rem          0 time: 0.01
433.80/108.66	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.05
433.80/108.66	c calculated reachability. Time: 0.00
433.80/108.66	c  N st    59    806740       536      2330         0     62203      7071   1065132   no data   no data
663.91/166.20	c  F st    60   1071876       536      2330         0     78035      7071   1399871   no data   no data
663.91/166.21	c  N st    60   1071876       536      2330         0     78035      7071   1399871   no data   no data
670.68/167.94	c Decided on static restart strategy
691.85/173.20	c  N st    70   1100180       536      2330         0     61817      7071    889055   no data   no data
726.21/181.88	c  N st    72   1136174       536      2330         0     52150      7071    624885   no data   no data
758.96/190.04	c  N st    73   1168566       536      2330         0     83860      7071   1468509   no data   no data
796.51/199.47	c  N st    74   1210110       536      2330         0     78633      7071   1312887   no data   no data
796.51/199.47	c  S st    74   1210110       536      2330         0     78633      7071   1312887   no data   no data
797.71/199.78	c  S st    74   1210613       536      2330         0     79136      7071   1325120   no data   no data
797.71/199.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
798.11/199.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
798.11/199.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
798.11/199.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
798.11/199.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
798.11/199.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
798.11/199.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
798.11/199.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
798.51/199.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
819.68/205.24	c lits-rem:       463  cl-subs:     2960  v-elim:      0  v-fix:    0  time:  5.30 s
819.68/205.24	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
819.68/205.27	c vivif2 --  cl tried    76176 cl shrink        0 lits rem          0 time: 0.02
820.08/205.38	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.12
820.08/205.38	c calculated reachability. Time: 0.00
820.08/205.38	c  N st    74   1210613       536      2330         0     76176      7071   1250872   no data   no data
893.58/223.73	c  N st    75   1283496       536      2330         0     52463      7071    592249   no data   no data
1013.41/253.78	c  N st    76   1392819       536      2330         0     60754      7071    777746   no data   no data
1187.18/297.28	c  N st    77   1556803       536      2330         0     65181      7071    834387   no data   no data
1357.36/339.85	c  N st    78   1710614       536      2330         0    106889      7071   1978800   no data   no data
1357.36/339.85	c  S st    78   1710614       536      2330         0    106889      7071   1978800   no data   no data
1358.55/340.19	c  S st    78   1711118       536      2330         0    107393      7071   1991489   no data   no data
1358.95/340.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1358.95/340.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1358.95/340.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1358.95/340.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1358.95/340.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1358.95/340.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
1358.95/340.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1358.95/340.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1359.35/340.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1429.65/357.90	c lits-rem:      1051  cl-subs:     9321  v-elim:      0  v-fix:    0  time: 17.46 s
1429.65/357.90	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
1429.65/357.93	c vivif2 --  cl tried    98072 cl shrink        0 lits rem          0 time: 0.02
1430.05/358.03	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.10
1430.05/358.03	c calculated reachability. Time: 0.00
1430.05/358.03	c  N st    78   1711118       536      2330         0     98072      7071   1741510   no data   no data
1860.68/465.82	c  N st    79   2080082       536      2330         0    109796      7071   1931718   no data   no data
2022.07/506.22	c  N st    80   2211120       536      2330         0    114029      7071   1963588   no data   no data
2022.07/506.22	c  S st    80   2211120       536      2330         0    114029      7071   1963588   no data   no data
2023.27/506.59	c  S st    80   2211626       536      2330         0    114533      7071   1976528   no data   no data
2023.27/506.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2023.67/506.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2023.67/506.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2023.67/506.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2023.67/506.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2023.67/506.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
2023.67/506.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2023.67/506.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2024.07/506.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2064.81/516.98	c lits-rem:      1350  cl-subs:     6680  v-elim:      0  v-fix:    0  time: 10.18 s
2064.81/516.98	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
2065.23/517.01	c vivif2 --  cl tried   107853 cl shrink        0 lits rem          0 time: 0.03
2065.63/517.12	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.11
2065.63/517.12	c calculated reachability. Time: 0.00
2065.63/517.12	c  N st    80   2211626       536      2330         0    107853      7071   1817710   no data   no data
2683.59/671.89	c  N st    81   2711626       536      2330         0    131905      7071   2453593   no data   no data
2683.59/671.89	c  S st    81   2711626       536      2330         0    131905      7071   2453593   no data   no data
2685.58/672.34	c  S st    81   2712128       536      2330         0    132405      7071   2466261   no data   no data
2685.58/672.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2685.98/672.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2685.98/672.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2685.98/672.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2685.98/672.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2685.98/672.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
2685.98/672.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2685.98/672.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2686.38/672.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2755.51/689.86	c lits-rem:       722  cl-subs:     7279  v-elim:      0  v-fix:    0  time: 17.23 s
2755.51/689.86	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
2755.51/689.90	c vivif2 --  cl tried   125126 cl shrink        0 lits rem          0 time: 0.04
2756.28/690.03	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.14
2756.28/690.04	c calculated reachability. Time: 0.00
2756.28/690.04	c  N st    81   2712128       536      2330         0    125126      7071   2271383   no data   no data
3472.93/869.50	c  N st    82   3212128       536      2330         0     99969      7071   1318058   no data   no data
3472.93/869.50	c  S st    82   3212128       536      2330         0     99969      7071   1318058   no data   no data
3474.53/869.89	c  S st    82   3212631       536      2330         0    100472      7071   1330388   no data   no data
3474.93/869.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3474.93/869.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3474.93/869.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3474.93/869.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3474.93/869.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3474.93/869.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
3474.93/869.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3474.93/869.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3475.33/870.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3497.29/875.51	c lits-rem:       642  cl-subs:     4439  v-elim:      0  v-fix:    0  time:  5.44 s
3497.29/875.51	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
3497.29/875.53	c vivif2 --  cl tried    96033 cl shrink        0 lits rem          0 time: 0.02
3497.71/875.66	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.12
3497.71/875.66	c calculated reachability. Time: 0.00
3497.71/875.66	c  N st    82   3212631       536      2330         0     96033      7071   1229701   no data   no data
4247.89/1063.48	c  N st    83   3712632       536      2330         0    106788      7071   1412861   no data   no data
4247.89/1063.48	c  S st    83   3712632       536      2330         0    106788      7071   1412861   no data   no data
4249.52/1063.85	c  S st    83   3713133       536      2330         0    107289      7071   1425333   no data   no data
4249.52/1063.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4249.89/1063.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4249.89/1063.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4249.89/1063.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4249.89/1063.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4249.89/1063.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
4249.89/1063.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4249.89/1063.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4249.89/1063.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4270.26/1069.02	c lits-rem:       205  cl-subs:     4524  v-elim:      0  v-fix:    0  time:  5.01 s
4270.26/1069.02	c vivif2 --  cl tried     2330 cl shrink        0 lits rem          0 time: 0.00
4270.26/1069.05	c vivif2 --  cl tried   102765 cl shrink        0 lits rem          0 time: 0.02
4270.66/1069.15	c asymm  cl-useful: 0/2330/2330 lits-rem:0 time: 0.11
4270.66/1069.16	c calculated reachability. Time: 0.00
4270.66/1069.16	c  N st    83   3713133       536      2330         0    102765      7071   1325806   no data   no data
4329.78/1083.95	c  F st    84   3751562       536      2330         0    140096      7071   2242304   no data   no data
4329.78/1083.95	c  N st    84   3751562       536      2330         0    140096      7071   2242304   no data   no data
4339.77/1086.47	c Decided on static restart strategy
4385.72/1097.94	c  N st    94   3779865       536      2330         0     85278      7071    832355   no data   no data
4428.43/1108.66	c  N st    96   3815858       536      2330         0    120437      7071   1730428   no data   no data
4479.17/1121.37	c  N st    97   3848251       536      2330         0    152208      7071   2533360   no data   no data
4559.86/1141.53	c  N st    98   3896839       536      2330         0    115825      7071   1564059   no data   no data
4682.10/1172.11	c  N st    99   3969722       536      2330         0    101934      7071   1200969   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174281-1304116973/watcher-3174281-1304116973 -o /tmp/evaluation-result-3174281-1304116973/solver-3174281-1304116973 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174281-1304116973.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.06 8.06 7.59 2/176 4344
/proc/meminfo: memFree=31210252/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=273692 CPUtime=0 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 745 0 0 0 0 0 0 0 25 0 4 0 523296084 280260608 660 33554432000 4194304 4627427 140736687167712 18446744073709551615 235594563339 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4344/statm: 68423 662 338 106 0 63394 0
[pid=4344/tid=4348] ppid=4342 vsize=273692 CPUtime=0 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 95 0 0 0 0 0 0 0 25 0 4 0 523296085 280260608 681 33554432000 4194304 4627427 140736687167712 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=273692 CPUtime=0 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 35 0 0 0 0 0 0 0 25 0 4 0 523296085 280260608 682 33554432000 4194304 4627427 140736687167712 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=273692 CPUtime=0 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 115 0 0 0 0 0 0 0 25 0 4 0 523296085 280260608 684 33554432000 4194304 4627427 140736687167712 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.104192 s]
/proc/loadavg: 8.06 8.06 7.59 2/176 4344
/proc/meminfo: memFree=31210252/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=282364 CPUtime=0.4 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 1736 0 0 0 40 0 0 0 25 0 4 0 523296084 289140736 1641 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309067 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 70591 1641 384 106 0 65562 0
[pid=4344/tid=4348] ppid=4342 vsize=282364 CPUtime=0.1 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 348 0 0 0 10 0 0 0 25 0 4 0 523296085 289140736 1641 33554432000 4194304 4627427 140736687167712 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=282364 CPUtime=0.09 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 338 0 0 0 9 0 0 0 25 0 4 0 523296085 289140736 1641 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=282364 CPUtime=0.09 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 286 0 0 0 9 0 0 0 25 0 4 0 523296085 289140736 1641 33554432000 4194304 4627427 140736687167712 18446744073709551615 4333312 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282364

[startup+0.201126 s]
/proc/loadavg: 8.06 8.06 7.59 2/176 4344
/proc/meminfo: memFree=31210252/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=283728 CPUtime=0.78 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 2402 0 0 0 78 0 0 0 25 0 4 0 523296084 290537472 1715 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 70932 1715 385 106 0 65903 0
[pid=4344/tid=4348] ppid=4342 vsize=283728 CPUtime=0.19 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 516 0 0 0 19 0 0 0 25 0 4 0 523296085 290537472 1715 33554432000 4194304 4627427 140736687167712 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=283728 CPUtime=0.19 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 501 0 0 0 19 0 0 0 25 0 4 0 523296085 290537472 1715 33554432000 4194304 4627427 140736687167712 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=283728 CPUtime=0.19 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 450 0 0 0 19 0 0 0 25 0 4 0 523296085 290537472 1716 33554432000 4194304 4627427 140736687167712 18446744073709551615 4332749 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283728

[startup+0.301107 s]
/proc/loadavg: 8.06 8.06 7.59 2/176 4344
/proc/meminfo: memFree=31210252/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=283900 CPUtime=1.18 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 2839 0 0 0 118 0 0 0 25 0 4 0 523296084 290713600 2152 33554432000 4194304 4627427 140736687167712 18446744073709551615 4333021 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 70975 2152 385 106 0 65946 0
[pid=4344/tid=4348] ppid=4342 vsize=283900 CPUtime=0.29 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 625 0 0 0 29 0 0 0 25 0 4 0 523296085 290713600 2152 33554432000 4194304 4627427 140736687167712 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=283900 CPUtime=0.29 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 610 0 0 0 29 0 0 0 25 0 4 0 523296085 290713600 2152 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=283900 CPUtime=0.29 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 563 0 0 0 29 0 0 0 25 0 4 0 523296085 290713600 2152 33554432000 4194304 4627427 140736687167712 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283900

[startup+0.701038 s]
/proc/loadavg: 8.06 8.06 7.59 2/176 4344
/proc/meminfo: memFree=31210252/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=284904 CPUtime=2.78 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 4439 0 0 0 278 0 0 0 25 0 4 0 523296084 291741696 2833 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 71226 2833 385 106 0 66197 0
[pid=4344/tid=4348] ppid=4342 vsize=284904 CPUtime=0.69 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 1026 0 0 0 69 0 0 0 25 0 4 0 523296085 291741696 2833 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=284904 CPUtime=0.69 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 1006 0 0 0 69 0 0 0 25 0 4 0 523296085 291741696 2833 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=284904 CPUtime=0.69 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 964 0 0 0 69 0 0 0 25 0 4 0 523296085 291741696 2833 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284904

[startup+1.5009 s]
/proc/loadavg: 8.06 8.06 7.59 10/184 4352
/proc/meminfo: memFree=31186628/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=286144 CPUtime=5.97 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 8883 0 0 0 596 1 0 0 25 0 4 0 523296084 293011456 4713 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 71536 4713 389 106 0 66507 0
[pid=4344/tid=4348] ppid=4342 vsize=286144 CPUtime=1.49 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 1823 0 0 0 149 0 0 0 25 0 4 0 523296085 293011456 4713 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=286144 CPUtime=1.49 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 1768 0 0 0 149 0 0 0 25 0 4 0 523296085 293011456 4713 33554432000 4194304 4627427 140736687167712 18446744073709551615 4299718 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=286144 CPUtime=1.49 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 1738 0 0 0 149 0 0 0 25 0 4 0 523296085 293011456 4713 33554432000 4194304 4627427 140736687167712 18446744073709551615 4308824 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286144

[startup+3.10062 s]
/proc/loadavg: 8.05 8.06 7.59 10/184 4352
/proc/meminfo: memFree=31141172/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=291340 CPUtime=12.37 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 18030 0 0 0 1234 3 0 0 25 0 4 0 523296084 298332160 9633 33554432000 4194304 4627427 140736687167712 18446744073709551615 4308752 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 72835 9633 389 106 0 67806 0
[pid=4344/tid=4348] ppid=4342 vsize=291340 CPUtime=3.08 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 4176 0 0 0 308 0 0 0 25 0 4 0 523296085 298332160 9633 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=291340 CPUtime=3.08 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 4779 0 0 0 308 0 0 0 25 0 4 0 523296085 298332160 9633 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=291340 CPUtime=3.08 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 4482 0 0 0 308 0 0 0 25 0 4 0 523296085 298332160 9633 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 291340

[startup+6.30106 s]
/proc/loadavg: 8.05 8.06 7.59 10/184 4353
/proc/meminfo: memFree=31102484/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=299796 CPUtime=25.15 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 28841 0 0 0 2510 5 0 0 25 0 4 0 523296084 306991104 13220 33554432000 4194304 4627427 140736687167712 18446744073709551615 4326817 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 74949 13220 389 106 0 69920 0
[pid=4344/tid=4348] ppid=4342 vsize=299796 CPUtime=6.29 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 7363 0 0 0 628 1 0 0 25 0 4 0 523296085 306991104 13220 33554432000 4194304 4627427 140736687167712 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=299796 CPUtime=6.29 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 7876 0 0 0 628 1 0 0 25 0 4 0 523296085 306991104 13220 33554432000 4194304 4627427 140736687167712 18446744073709551615 4397869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=299796 CPUtime=6.29 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 6657 0 0 0 627 2 0 0 25 0 4 0 523296085 306991104 13220 33554432000 4194304 4627427 140736687167712 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 299796

[startup+12.7009 s]
/proc/loadavg: 8.04 8.06 7.60 10/184 4353
/proc/meminfo: memFree=31050700/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=295732 CPUtime=50.71 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 45926 0 0 0 5062 9 0 0 25 0 4 0 523296084 302829568 19251 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 73933 19251 389 106 0 68904 0
[pid=4344/tid=4348] ppid=4342 vsize=295732 CPUtime=12.69 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 11504 0 0 0 1267 2 0 0 25 0 4 0 523296085 302829568 19251 33554432000 4194304 4627427 140736687167712 18446744073709551615 4332206 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=295732 CPUtime=12.68 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 10155 0 0 0 1267 1 0 0 25 0 4 0 523296085 302829568 19251 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=295732 CPUtime=12.68 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 11334 0 0 0 1266 2 0 0 25 0 4 0 523296085 302829568 19251 33554432000 4194304 4627427 140736687167712 18446744073709551615 4332648 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 295732

[startup+25.5007 s]
/proc/loadavg: 8.04 8.05 7.60 10/184 4353
/proc/meminfo: memFree=31004428/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=313652 CPUtime=101.84 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 67517 0 0 0 10170 14 0 0 25 0 4 0 523296084 321179648 27129 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 78413 27129 389 106 0 73384 0
[pid=4344/tid=4348] ppid=4342 vsize=313652 CPUtime=25.49 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 17257 0 0 0 2546 3 0 0 25 0 4 0 523296085 321179648 27129 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=313652 CPUtime=25.49 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 14075 0 0 0 2546 3 0 0 25 0 4 0 523296085 321179648 27129 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=313652 CPUtime=25.49 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 16413 0 0 0 2545 4 0 0 25 0 4 0 523296085 321179648 27129 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 313652

[startup+51.1012 s]
/proc/loadavg: 8.02 8.05 7.61 10/184 4354
/proc/meminfo: memFree=30913808/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=314412 CPUtime=204.11 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 100284 0 0 0 20387 24 0 0 25 0 4 0 523296084 321957888 36470 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 78603 36470 389 106 0 73574 0
[pid=4344/tid=4348] ppid=4342 vsize=314412 CPUtime=51.09 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 25331 0 0 0 5104 5 0 0 25 0 4 0 523296085 321957888 36470 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=314412 CPUtime=51.08 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 23241 0 0 0 5103 5 0 0 25 0 4 0 523296085 321957888 36470 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=314412 CPUtime=51.09 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 24399 0 0 0 5103 6 0 0 25 0 4 0 523296085 321957888 36470 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 314412

[startup+102.301 s]
/proc/loadavg: 8.04 8.05 7.64 10/184 4355
/proc/meminfo: memFree=30839608/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=360492 CPUtime=408.65 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 136290 0 0 0 40827 38 0 0 25 0 4 0 523296084 369143808 45727 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 90123 45727 389 106 0 85094 0
[pid=4344/tid=4348] ppid=4342 vsize=360492 CPUtime=102.29 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 30449 0 0 0 10222 7 0 0 25 0 4 0 523296085 369143808 45727 33554432000 4194304 4627427 140736687167712 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=360492 CPUtime=102.3 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 33584 0 0 0 10220 10 0 0 25 0 4 0 523296085 369143808 45727 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=360492 CPUtime=102.3 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 34160 0 0 0 10220 10 0 0 25 0 4 0 523296085 369143808 45727 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 360492

[startup+162.301 s]

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

[pid=4344] ppid=4342 vsize=505620 CPUtime=2565.75 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 463976 0 0 0 256394 181 0 0 25 0 4 0 523296084 517754880 88102 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 126405 88102 389 106 0 121376 0
[pid=4344/tid=4348] ppid=4342 vsize=505620 CPUtime=642.31 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 95730 0 0 0 64192 39 0 0 25 0 4 0 523296085 517754880 88102 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=505620 CPUtime=642.3 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 127685 0 0 0 64182 48 0 0 25 0 4 0 523296085 517754880 88102 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=505620 CPUtime=642.3 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 120046 0 0 0 64180 50 0 0 25 0 4 0 523296085 517754880 88102 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.75
Current children cumulated vsize (KiB) 505620

[startup+702.301 s]
/proc/loadavg: 8.06 8.11 7.85 10/184 4371
/proc/meminfo: memFree=30393288/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=495660 CPUtime=2805.42 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 491041 0 0 0 280349 193 0 0 25 0 4 0 523296084 507555840 89652 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 123915 89652 389 106 0 118886 0
[pid=4344/tid=4348] ppid=4342 vsize=495660 CPUtime=702.31 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 100174 0 0 0 70190 41 0 0 25 0 4 0 523296085 507555840 89652 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=495660 CPUtime=702.3 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 135281 0 0 0 70178 52 0 0 25 0 4 0 523296085 507555840 89652 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=495660 CPUtime=702.3 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 127495 0 0 0 70176 54 0 0 25 0 4 0 523296085 507555840 89652 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 495660

[startup+762.301 s]
/proc/loadavg: 8.02 8.08 7.85 10/184 4373
/proc/meminfo: memFree=30373408/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=561596 CPUtime=3045.12 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 514574 0 0 0 304308 204 0 0 25 0 4 0 523296084 575074304 97736 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 140399 97736 389 106 0 135370 0
[pid=4344/tid=4348] ppid=4342 vsize=561596 CPUtime=762.31 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 103421 0 0 0 76189 42 0 0 25 0 4 0 523296085 575074304 97736 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=561596 CPUtime=762.31 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 142341 0 0 0 76176 55 0 0 25 0 4 0 523296085 575074304 97736 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=561596 CPUtime=762.31 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 134499 0 0 0 76173 58 0 0 25 0 4 0 523296085 575074304 97736 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 561596

[startup+822.301 s]
/proc/loadavg: 8.00 8.07 7.86 10/184 4374
/proc/meminfo: memFree=30339896/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=575040 CPUtime=3284.78 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 537716 0 0 0 328264 214 0 0 25 0 4 0 523296084 588840960 98291 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 143760 98291 389 106 0 138731 0
[pid=4344/tid=4348] ppid=4342 vsize=575040 CPUtime=822.3 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 108899 0 0 0 82186 44 0 0 25 0 4 0 523296085 588840960 98291 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=575040 CPUtime=822.31 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 149451 0 0 0 82172 59 0 0 25 0 4 0 523296085 588840960 98291 33554432000 4194304 4627427 140736687167712 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=575040 CPUtime=822.3 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 143698 0 0 0 82170 60 0 0 25 0 4 0 523296085 588840960 98291 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 575040

[startup+882.307 s]
/proc/loadavg: 8.00 8.05 7.87 10/184 4376
/proc/meminfo: memFree=30312452/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=713528 CPUtime=3524.48 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 568807 0 0 0 352220 228 0 0 25 0 4 0 523296084 730652672 111866 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 178382 111866 389 106 0 173353 0
[pid=4344/tid=4348] ppid=4342 vsize=713528 CPUtime=882.32 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 118072 0 0 0 88184 48 0 0 25 0 4 0 523296085 730652672 111866 33554432000 4194304 4627427 140736687167712 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=713528 CPUtime=882.31 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 158886 0 0 0 88168 63 0 0 25 0 4 0 523296085 730652672 111866 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=713528 CPUtime=882.31 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 150668 0 0 0 88166 65 0 0 25 0 4 0 523296085 730652672 111866 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.48
Current children cumulated vsize (KiB) 713528

[startup+942.301 s]
/proc/loadavg: 8.00 8.04 7.87 10/184 4377
/proc/meminfo: memFree=30276332/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=660336 CPUtime=3764.14 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 596353 0 0 0 376171 243 0 0 25 0 4 0 523296084 676184064 116027 33554432000 4194304 4627427 140736687167712 18446744073709551615 4327552 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 165084 116027 389 106 0 160055 0
[pid=4344/tid=4348] ppid=4342 vsize=660336 CPUtime=942.31 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 123967 0 0 0 94179 52 0 0 25 0 4 0 523296085 676184064 116027 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=660336 CPUtime=942.3 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 165837 0 0 0 94165 65 0 0 25 0 4 0 523296085 676184064 116027 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=660336 CPUtime=942.31 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 159389 0 0 0 94162 69 0 0 25 0 4 0 523296085 676184064 116027 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 660336

[startup+1002.3 s]
/proc/loadavg: 8.00 8.03 7.88 10/184 4379
/proc/meminfo: memFree=30246660/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=686264 CPUtime=4003.82 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 620923 0 0 0 400127 255 0 0 25 0 4 0 523296084 702734336 123264 33554432000 4194304 4627427 140736687167712 18446744073709551615 4322179 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 171566 123264 389 106 0 166537 0
[pid=4344/tid=4348] ppid=4342 vsize=686264 CPUtime=1002.31 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 130419 0 0 0 100176 55 0 0 25 0 4 0 523296085 702734336 123264 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=686264 CPUtime=1002.31 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 172656 0 0 0 100162 69 0 0 25 0 4 0 523296085 702734336 123264 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=686264 CPUtime=1002.31 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 167645 0 0 0 100158 73 0 0 25 0 4 0 523296085 702734336 123264 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 686264

[startup+1062.3 s]
/proc/loadavg: 8.03 8.04 7.89 10/184 4381
/proc/meminfo: memFree=30262984/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=686464 CPUtime=4243.5 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 639218 0 0 0 424084 266 0 0 25 0 4 0 523296084 702939136 120515 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 171616 120515 389 106 0 166587 0
[pid=4344/tid=4348] ppid=4342 vsize=686464 CPUtime=1062.31 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 131262 0 0 0 106175 56 0 0 25 0 4 0 523296085 702939136 120515 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=686464 CPUtime=1062.3 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 179169 0 0 0 106158 72 0 0 25 0 4 0 523296085 702939136 120515 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=686464 CPUtime=1062.31 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 173797 0 0 0 106155 76 0 0 25 0 4 0 523296085 702939136 120515 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 686464

[startup+1122.3 s]
/proc/loadavg: 8.21 8.09 7.92 10/184 4391
/proc/meminfo: memFree=30235568/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=688552 CPUtime=4483.17 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 655964 0 0 0 448042 275 0 0 25 0 4 0 523296084 705077248 125279 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309197 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 172138 125279 389 106 0 167109 0
[pid=4344/tid=4348] ppid=4342 vsize=688552 CPUtime=1122.3 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 131609 0 0 0 112174 56 0 0 25 0 4 0 523296085 705077248 125279 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=688552 CPUtime=1122.3 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 185989 0 0 0 112155 75 0 0 25 0 4 0 523296085 705077248 125279 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=688552 CPUtime=1122.31 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 180243 0 0 0 112152 79 0 0 25 0 4 0 523296085 705077248 125279 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 688552

[startup+1182.3 s]
/proc/loadavg: 8.23 8.10 7.93 10/184 4393
/proc/meminfo: memFree=30169300/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=688692 CPUtime=4722.85 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 672359 0 0 0 471995 290 0 0 25 0 4 0 523296084 705220608 123854 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 172173 123854 389 106 0 167144 0
[pid=4344/tid=4348] ppid=4342 vsize=688692 CPUtime=1182.3 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 132265 0 0 0 118173 57 0 0 25 0 4 0 523296085 705220608 123854 33554432000 4194304 4627427 140736687167712 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=688692 CPUtime=1182.31 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 192615 0 0 0 118150 81 0 0 25 0 4 0 523296085 705220608 123854 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=688692 CPUtime=1182.31 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 185621 0 0 0 118147 84 0 0 25 0 4 0 523296085 705220608 123854 33554432000 4194304 4627427 140736687167712 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 688692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.09 7.93 10/184 4393
/proc/meminfo: memFree=30180696/32950928 swapFree=67111404/67111528
[pid=4344] ppid=4342 vsize=741344 CPUtime=4800.36 cores=1,3,5,7
/proc/4344/stat : 4344 (strangenight2-m) R 4342 4344 4213 0 -1 4202496 676886 0 0 0 479742 294 0 0 25 0 4 0 523296084 759136256 121212 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4344/statm: 185336 121212 389 106 0 180307 0
[pid=4344/tid=4348] ppid=4342 vsize=741344 CPUtime=1201.71 cores=1,3,5,7
/proc/4344/task/4348/stat : 4348 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 132265 0 0 0 120114 57 0 0 25 0 4 0 523296085 759136256 121212 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4344/tid=4349] ppid=4342 vsize=741344 CPUtime=1201.71 cores=1,3,5,7
/proc/4344/task/4349/stat : 4349 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 194818 0 0 0 120088 83 0 0 25 0 4 0 523296085 759136256 121212 33554432000 4194304 4627427 140736687167712 18446744073709551615 4299749 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4344/tid=4350] ppid=4342 vsize=741344 CPUtime=1201.72 cores=1,3,5,7
/proc/4344/task/4350/stat : 4350 (strangenight2-m) R 4342 4344 4213 0 -1 4202560 187839 0 0 0 120086 86 0 0 25 0 4 0 523296085 759136256 121212 33554432000 4194304 4627427 140736687167712 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 741344

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4797.45
CPU system time (s): 2.96155
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 845700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.45
system time used= 2.96155
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 676886
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= 184
involuntary context switches= 24122

runsolver used 1.86272 second user time and 4.68329 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-30 00:42:53
IDJOB=3174281
IDBENCH=83099
IDSOLVER=1586
FILE ID=node120/3174281-1304116973
RUNJOBID= node120-1304115769-4232
PBS_JOBID= 13170710
Free space on /tmp= 72076 MiB

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

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

MD5SUM BENCH= 58de0b27915a7db672b276faaed6cfd0
RANDOM SEED=317303652

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31210680 kB
Buffers:        497576 kB
Cached:         819328 kB
SwapCached:          8 kB
Active:         414956 kB
Inactive:       966156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31210680 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           11272 kB
Writeback:           0 kB
AnonPages:       63608 kB
Mapped:          14892 kB
Slab:           295880 kB
PageTables:       4656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187540 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= 72064 MiB
End job on node120 at 2011-04-30 01:02:57