Trace number 3174089

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.46 1202.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf
MD5SUM7a466863eebd6d1afeaf2ac3e2c1a1d9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.928857
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-3174089-1304089982.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      7  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     220 undec:      58 neg:     222
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       493      2115         0         0      6377         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4913       493      2115         0      4838      6377    115479   no data   no data
3.17/0.80	c  N st    10     11298       493      2115         0      4471      6377     78102   no data   no data
3.17/0.80	c  N st    11     17041       493      2115         0     10090      6377    215034   no data   no data
3.97/1.10	c  F st    12     25000       493      2115         0     12416      6377    276032   no data   no data
3.97/1.10	c  N st    12     25000       493      2115         0     12416      6377    276032   no data   no data
5.57/1.40	c Decided on static restart strategy
5.57/1.40	c  N st    18     30002       493      2115         0     10688      6377    204490   no data   no data
5.57/1.40	c  S st    18     30002       493      2115         0     10688      6377    204490   no data   no data
5.57/1.40	c  S st    18     30502       493      2115         0     11187      6377    216187   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.40	c blocked clauses removed:        5 vars:      1 tried:         493 T: 0.00 s
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c lits-rem:       122  cl-subs:      530  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.50	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.01
5.97/1.50	c calculated reachability. Time: 0.00
5.97/1.50	c  N st    18     30502       492      2110         0     10648      6362    201489   no data   no data
7.17/1.81	c  N st    20     37612       492      2110         0      9892      6362    164313   no data   no data
7.97/2.18	c  N st    21     44011       492      2110         0     16161      6362    321473   no data   no data
7.97/2.30	c  S st    22     45754       492      2110         0      9123      6362    129537   no data   no data
7.97/2.33	c  S st    22     46258       492      2110         0      9626      6362    141353   no data   no data
7.97/2.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
7.97/2.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.97/2.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
7.97/2.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.97/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.35	c lits-rem:        23  cl-subs:       37  v-elim:      0  v-fix:    0  time:  0.01 s
7.97/2.35	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
7.97/2.35	c vivif2 --  cl tried     9589 cl shrink        0 lits rem          0 time: 0.00
7.97/2.35	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.00
7.97/2.35	c calculated reachability. Time: 0.00
7.97/2.35	c  N st    22     46258       492      2110         0      9589      6362    140433   no data   no data
8.55/3.38	c  N st    23     60655       492      2110         0     13949      6362    241688   no data   no data
14.67/4.16	c  N st    24     69387       492      2110         0     11714      6362    172101   no data   no data
14.67/4.16	c  S st    24     69387       492      2110         0     11714      6362    172101   no data   no data
14.67/4.19	c  S st    24     69888       492      2110         0     12214      6362    184109   no data   no data
14.67/4.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.07/4.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.07/4.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.07/4.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.07/4.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.07/4.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
15.07/4.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.07/4.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.07/4.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.07/4.22	c lits-rem:        36  cl-subs:      153  v-elim:      0  v-fix:    0  time:  0.02 s
15.07/4.22	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
15.07/4.23	c vivif2 --  cl tried    12061 cl shrink        0 lits rem          0 time: 0.00
15.07/4.23	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.01
15.07/4.23	c calculated reachability. Time: 0.00
15.07/4.23	c  N st    24     69888       492      2110         0     12061      6362    180395   no data   no data
19.87/5.45	c  F st    25     87500       492      2110         0     17627      6362    318625   no data   no data
19.87/5.45	c  N st    25     87500       492      2110         0     17627      6362    318625   no data   no data
21.47/5.82	c Decided on static restart strategy
22.28/6.07	c  N st    32     95539       492      2110         0     25536      6362    515960   no data   no data
25.06/6.73	c  N st    34    104832       492      2110         0     21843      6362    382539   no data   no data
25.06/6.73	c  S st    34    104832       492      2110         0     21843      6362    382539   no data   no data
25.06/6.78	c  S st    34    105338       492      2110         0     22349      6362    394996   no data   no data
25.06/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.06/6.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.06/6.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.06/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.06/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.06/6.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
25.06/6.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.46/6.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.46/6.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.87/6.94	c lits-rem:       119  cl-subs:      655  v-elim:      0  v-fix:    0  time:  0.13 s
25.87/6.94	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
25.87/6.95	c vivif2 --  cl tried    21694 cl shrink        0 lits rem          0 time: 0.01
25.87/6.96	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.01
25.87/6.96	c calculated reachability. Time: 0.00
25.87/6.96	c  N st    34    105338       492      2110         0     21694      6362    377060   no data   no data
29.05/7.79	c  N st    35    114936       492      2110         0     17361      6362    251465   no data   no data
34.24/9.01	c  N st    36    129334       492      2110         0     16760      6362    226571   no data   no data
41.43/10.84	c  N st    37    150930       492      2110         0     22181      6362    342185   no data   no data
43.84/11.47	c  S st    38    158007       492      2110         0     29116      6362    521471   no data   no data
44.26/11.54	c  S st    38    158511       492      2110         0     29619      6362    532868   no data   no data
44.26/11.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.26/11.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.26/11.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.26/11.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.26/11.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.26/11.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
44.26/11.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.26/11.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.26/11.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.83/11.92	c lits-rem:       212  cl-subs:     1467  v-elim:      0  v-fix:    0  time:  0.35 s
45.83/11.92	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
45.83/11.93	c vivif2 --  cl tried    28152 cl shrink        0 lits rem          0 time: 0.01
45.83/11.94	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.02
45.83/11.94	c calculated reachability. Time: 0.00
45.83/11.94	c  N st    38    158511       492      2110         0     28152      6362    495908   no data   no data
65.39/16.82	c  N st    39    207099       492      2110         0     22936      6362    325662   no data   no data
79.39/20.37	c  N st    40    237766       492      2110         0     33254      6362    541848   no data   no data
79.39/20.37	c  S st    40    237766       492      2110         0     33254      6362    541848   no data   no data
79.76/20.45	c  S st    40    238270       492      2110         0     33758      6362    552917   no data   no data
79.76/20.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.76/20.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.76/20.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.76/20.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.76/20.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.76/20.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
79.76/20.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.76/20.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.76/20.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.16/21.09	c lits-rem:       306  cl-subs:     2220  v-elim:      0  v-fix:    0  time:  0.60 s
82.16/21.09	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
82.57/21.10	c vivif2 --  cl tried    31538 cl shrink        0 lits rem          0 time: 0.01
82.57/21.12	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.02
82.57/21.12	c calculated reachability. Time: 0.00
82.57/21.12	c  N st    40    238270       492      2110         0     31538      6362    503833   no data   no data
114.53/29.18	c  F st    41    306251       492      2110         0     33460      6362    520938   no data   no data
114.53/29.18	c  N st    41    306251       492      2110         0     33460      6362    520938   no data   no data
117.30/29.83	c Decided on static restart strategy
128.48/32.63	c  N st    51    334562       492      2110         0     37815      6362    617129   no data   no data
140.89/35.79	c  N st    53    357405       492      2110         0     35740      6362    574719   no data   no data
140.89/35.79	c  S st    53    357405       492      2110         0     35740      6362    574719   no data   no data
141.26/35.88	c  S st    53    357915       492      2110         0     36249      6362    586872   no data   no data
141.26/35.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.26/35.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
141.26/35.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.26/35.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.26/35.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.26/35.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
141.26/35.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
141.66/35.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.66/35.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.86/36.23	c lits-rem:       126  cl-subs:      958  v-elim:      0  v-fix:    0  time:  0.32 s
142.86/36.24	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
142.86/36.24	c vivif2 --  cl tried    35291 cl shrink        0 lits rem          0 time: 0.01
142.86/36.27	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.02
142.86/36.27	c calculated reachability. Time: 0.00
142.86/36.27	c  N st    53    357915       492      2110         0     35291      6362    557576   no data   no data
160.82/40.78	c  N st    54    390307       492      2110         0     41466      6362    678350   no data   no data
190.37/48.11	c  N st    55    438895       492      2110         0     35146      6362    491544   no data   no data
233.12/58.80	c  N st    56    511779       492      2110         0     48785      6362    793876   no data   no data
248.68/62.76	c  N st    57    536874       492      2110         0     43011      6362    635122   no data   no data
248.68/62.76	c  S st    57    536874       492      2110         0     43011      6362    635122   no data   no data
249.08/62.87	c  S st    57    537375       492      2110         0     43511      6362    647236   no data   no data
249.08/62.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
249.08/62.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
249.08/62.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
249.08/62.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.08/62.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.08/62.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
249.08/62.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
249.48/62.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
249.48/62.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.47/63.43	c lits-rem:       340  cl-subs:     1508  v-elim:      0  v-fix:    0  time:  0.52 s
251.47/63.43	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
251.47/63.44	c vivif2 --  cl tried    42003 cl shrink        0 lits rem          0 time: 0.01
251.47/63.47	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.03
251.47/63.47	c calculated reachability. Time: 0.00
251.47/63.47	c  N st    57    537375       492      2110         0     42003      6362    608998   no data   no data
357.71/90.06	c  N st    58    701360       492      2110         0     36016      6362    373779   no data   no data
432.39/108.71	c  N st    59    806063       492      2110         0     64776      6362   1044674   no data   no data
432.39/108.71	c  S st    59    806063       492      2110         0     64776      6362   1044674   no data   no data
433.19/108.90	c  S st    59    806570       492      2110         0     65282      6362   1057048   no data   no data
433.19/108.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
433.19/108.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
433.19/108.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
433.19/108.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
433.19/108.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
433.19/108.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
433.19/108.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
433.19/108.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
433.19/108.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
446.77/112.35	c lits-rem:       580  cl-subs:     5855  v-elim:      0  v-fix:    0  time:  3.38 s
446.77/112.35	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
446.77/112.37	c vivif2 --  cl tried    59427 cl shrink        0 lits rem          0 time: 0.01
447.17/112.42	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.05
447.17/112.42	c calculated reachability. Time: 0.00
447.17/112.42	c  N st    59    806570       492      2110         0     59427      6362    924569   no data   no data
644.47/161.89	c  F st    60   1071876       492      2110         0     75691      6362   1236541   no data   no data
644.47/161.89	c  N st    60   1071876       492      2110         0     75691      6362   1236541   no data   no data
650.87/163.46	c Decided on static restart strategy
672.04/168.72	c  N st    70   1100177       492      2110         0     59398      6362    781761   no data   no data
705.18/177.03	c  N st    72   1136173       492      2110         0     49718      6362    541021   no data   no data
731.13/183.54	c  N st    73   1168566       492      2110         0     81230      6362   1278533   no data   no data
767.47/192.66	c  N st    74   1209857       492      2110         0     75546      6362   1131748   no data   no data
767.47/192.66	c  S st    74   1209857       492      2110         0     75546      6362   1131748   no data   no data
768.27/192.89	c  S st    74   1210361       492      2110         0     76050      6362   1144687   no data   no data
768.27/192.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
768.69/192.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
768.69/192.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
768.69/192.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
768.69/192.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
768.69/192.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
768.69/192.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
768.69/192.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
768.69/192.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
785.85/197.30	c lits-rem:       582  cl-subs:     5448  v-elim:      0  v-fix:    0  time:  4.32 s
785.85/197.30	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
786.26/197.32	c vivif2 --  cl tried    70602 cl shrink        0 lits rem          0 time: 0.02
786.66/197.40	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.09
786.66/197.41	c calculated reachability. Time: 0.00
786.66/197.41	c  N st    74   1210361       492      2110         0     70602      6362   1022054   no data   no data
862.52/216.43	c  N st    75   1283244       492      2110         0     95156      6362   1616618   no data   no data
972.76/244.02	c  N st    76   1392571       492      2110         0     55333      6362    599022   no data   no data
1126.93/282.64	c  N st    77   1556555       492      2110         0     60227      6362    700126   no data   no data
1276.72/320.19	c  N st    78   1710361       492      2110         0    102854      6362   1773873   no data   no data
1276.72/320.19	c  S st    78   1710361       492      2110         0    102854      6362   1773873   no data   no data
1278.34/320.54	c  S st    78   1710862       492      2110         0    103352      6362   1786134   no data   no data
1278.34/320.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1278.34/320.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1278.34/320.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1278.34/320.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1278.34/320.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1278.34/320.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
1278.34/320.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1278.74/320.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1278.74/320.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1311.46/328.81	c lits-rem:       717  cl-subs:     5514  v-elim:      0  v-fix:    0  time:  8.13 s
1311.46/328.81	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
1311.46/328.83	c vivif2 --  cl tried    97838 cl shrink        0 lits rem          0 time: 0.02
1311.86/328.93	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.10
1311.86/328.94	c calculated reachability. Time: 0.00
1311.86/328.94	c  N st    78   1710862       492      2110         0     97838      6362   1645751   no data   no data
1707.26/427.92	c  N st    79   2079826       492      2110         0    108473      6362   1809264   no data   no data
1854.63/464.84	c  N st    80   2210862       492      2110         0    112511      6362   1912775   no data   no data
1854.63/464.84	c  S st    80   2210862       492      2110         0    112511      6362   1912775   no data   no data
1856.23/465.20	c  S st    80   2211364       492      2110         0    113012      6362   1925021   no data   no data
1856.23/465.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1856.23/465.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
1856.23/465.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1856.23/465.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1856.23/465.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1856.23/465.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
1856.23/465.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1856.23/465.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1856.63/465.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1906.15/477.73	c lits-rem:       629  cl-subs:     7636  v-elim:      0  v-fix:    0  time: 12.38 s
1906.15/477.73	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
1906.15/477.76	c vivif2 --  cl tried   105376 cl shrink        0 lits rem          0 time: 0.03
1906.57/477.86	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.11
1906.57/477.87	c calculated reachability. Time: 0.00
1906.57/477.87	c  N st    80   2211364       492      2110         0    105376      6362   1734048   no data   no data
2527.60/633.38	c  N st    81   2711364       492      2110         0    129416      6362   2311484   no data   no data
2527.60/633.38	c  S st    81   2711364       492      2110         0    129416      6362   2311484   no data   no data
2529.60/633.83	c  S st    81   2711866       492      2110         0    129915      6362   2323650   no data   no data
2529.60/633.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2530.00/633.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2530.00/633.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2530.00/633.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2530.00/633.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2530.00/633.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
2530.00/633.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2530.00/633.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2530.42/634.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2597.09/650.75	c lits-rem:       975  cl-subs:     7592  v-elim:      0  v-fix:    0  time: 16.74 s
2597.09/650.75	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
2597.09/650.78	c vivif2 --  cl tried   122323 cl shrink        0 lits rem          0 time: 0.03
2597.88/650.92	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.13
2597.88/650.92	c calculated reachability. Time: 0.00
2597.88/650.92	c  N st    81   2711866       492      2110         0    122323      6362   2133556   no data   no data
3317.48/831.52	c  N st    82   3211866       492      2110         0     98291      6362   1270887   no data   no data
3317.48/831.52	c  S st    82   3211866       492      2110         0     98291      6362   1270887   no data   no data
3319.45/832.00	c  S st    82   3212370       492      2110         0     98794      6362   1283150   no data   no data
3319.45/832.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3319.45/832.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.07
3319.45/832.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3319.45/832.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3319.45/832.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3319.45/832.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
3319.45/832.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3319.85/832.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3319.85/832.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3337.82/836.64	c lits-rem:       398  cl-subs:     2463  v-elim:      0  v-fix:    0  time:  4.46 s
3337.82/836.64	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
3337.82/836.67	c vivif2 --  cl tried    96331 cl shrink        0 lits rem          0 time: 0.03
3338.62/836.82	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.15
3338.62/836.82	c calculated reachability. Time: 0.00
3338.62/836.82	c  N st    82   3212370       492      2110         0     96331      6362   1228074   no data   no data
4143.81/1038.40	c  N st    83   3712370       492      2110         0    106541      6362   1393506   no data   no data
4143.81/1038.40	c  S st    83   3712370       492      2110         0    106541      6362   1393506   no data   no data
4145.40/1038.82	c  S st    83   3712873       492      2110         0    107044      6362   1405561   no data   no data
4145.40/1038.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4145.80/1038.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4145.80/1038.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4145.80/1038.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4145.80/1038.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4145.80/1038.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
4145.80/1038.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4145.80/1038.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4145.80/1038.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4167.37/1044.35	c lits-rem:       296  cl-subs:     4094  v-elim:      0  v-fix:    0  time:  5.36 s
4167.37/1044.35	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
4167.37/1044.37	c vivif2 --  cl tried   102950 cl shrink        0 lits rem          0 time: 0.02
4168.17/1044.50	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.13
4168.17/1044.50	c calculated reachability. Time: 0.00
4168.17/1044.50	c  N st    83   3712873       492      2110         0    102950      6362   1309973   no data   no data
4237.65/1061.97	c  F st    84   3751563       492      2110         0    140498      6362   2272998   no data   no data
4237.65/1061.97	c  N st    84   3751563       492      2110         0    140498      6362   2272998   no data   no data
4252.03/1065.54	c Decided on static restart strategy
4312.73/1080.70	c  N st    94   3779864       492      2110         0     85465      6362    810284   no data   no data
4363.85/1093.56	c  N st    96   3815856       492      2110         0    120664      6362   1665276   no data   no data
4421.35/1107.98	c  N st    97   3848248       492      2110         0    152101      6362   2410867   no data   no data
4492.04/1125.64	c  N st    98   3896836       492      2110         0    116065      6362   1615515   no data   no data
4601.88/1153.13	c  N st    99   3969719       492      2110         0    102853      6362   1257260   no data   no data
4794.79/1201.42	c  N st   100   4079045       492      2110         0    123054      6362   1693070   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-3174089-1304089982/watcher-3174089-1304089982 -o /tmp/evaluation-result-3174089-1304089982/solver-3174089-1304089982 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174089-1304089982.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: 8.01 8.09 8.08 5/178 12225
/proc/meminfo: memFree=26226092/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 520596867 52441088 347 33554432000 4194304 4627427 140736485822304 18446744073709551615 47339196581800 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 12803 347 299 106 0 7774 0
[pid=12225/tid=12226] ppid=12223 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520596867 52441088 352 33554432000 4194304 4627427 140736485822304 18446744073709551615 47339196581804 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520596867 52441088 352 33554432000 4194304 4627427 140736485822304 18446744073709551615 47339196581810 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 520596867 52441088 352 33554432000 4194304 4627427 140736485822304 18446744073709551615 242970550203 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.108136 s]
/proc/loadavg: 8.01 8.09 8.08 5/178 12225
/proc/meminfo: memFree=26226092/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=282148 CPUtime=0.4 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 1700 0 0 0 40 0 0 0 18 0 4 0 520596867 288919552 1595 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308165 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 70537 1595 384 106 0 65508 0
[pid=12225/tid=12226] ppid=12223 vsize=282148 CPUtime=0.1 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 353 0 0 0 10 0 0 0 18 0 4 0 520596867 288919552 1595 33554432000 4194304 4627427 140736485822304 18446744073709551615 4333373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=282148 CPUtime=0.1 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 333 0 0 0 10 0 0 0 25 0 4 0 520596867 288919552 1595 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=282148 CPUtime=0.1 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 270 0 0 0 10 0 0 0 25 0 4 0 520596867 288919552 1595 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282148

[startup+0.20112 s]
/proc/loadavg: 8.01 8.09 8.08 5/178 12225
/proc/meminfo: memFree=26226092/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=283328 CPUtime=0.78 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 2325 0 0 0 78 0 0 0 18 0 4 0 520596867 290127872 1653 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 70832 1653 385 106 0 65803 0
[pid=12225/tid=12226] ppid=12223 vsize=283328 CPUtime=0.19 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 508 0 0 0 19 0 0 0 18 0 4 0 520596867 290127872 1653 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=283328 CPUtime=0.19 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 489 0 0 0 19 0 0 0 25 0 4 0 520596867 290127872 1653 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=283328 CPUtime=0.19 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 434 0 0 0 19 0 0 0 25 0 4 0 520596867 290127872 1653 33554432000 4194304 4627427 140736485822304 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283328

[startup+0.301103 s]
/proc/loadavg: 8.01 8.09 8.08 5/178 12225
/proc/meminfo: memFree=26226092/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=283464 CPUtime=1.18 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 2745 0 0 0 118 0 0 0 18 0 4 0 520596867 290267136 2073 33554432000 4194304 4627427 140736485822304 18446744073709551615 4332905 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 70866 2073 385 106 0 65837 0
[pid=12225/tid=12226] ppid=12223 vsize=283464 CPUtime=0.29 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 615 0 0 0 29 0 0 0 18 0 4 0 520596867 290267136 2073 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=283464 CPUtime=0.29 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 589 0 0 0 29 0 0 0 25 0 4 0 520596867 290267136 2073 33554432000 4194304 4627427 140736485822304 18446744073709551615 4310399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=283464 CPUtime=0.29 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 557 0 0 0 29 0 0 0 25 0 4 0 520596867 290267136 2073 33554432000 4194304 4627427 140736485822304 18446744073709551615 4327756 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283464

[startup+0.701035 s]
/proc/loadavg: 8.01 8.09 8.08 5/178 12225
/proc/meminfo: memFree=26226092/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=284476 CPUtime=2.78 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 4322 0 0 0 278 0 0 0 18 0 4 0 520596867 291303424 2781 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 71119 2781 385 106 0 66090 0
[pid=12225/tid=12226] ppid=12223 vsize=284476 CPUtime=0.69 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 1002 0 0 0 69 0 0 0 18 0 4 0 520596867 291303424 2781 33554432000 4194304 4627427 140736485822304 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=284476 CPUtime=0.69 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 957 0 0 0 69 0 0 0 25 0 4 0 520596867 291303424 2781 33554432000 4194304 4627427 140736485822304 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=284476 CPUtime=0.69 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 1003 0 0 0 69 0 0 0 25 0 4 0 520596867 291303424 2781 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284476

[startup+1.5009 s]
/proc/loadavg: 8.01 8.09 8.08 10/182 12229
/proc/meminfo: memFree=26214156/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=285636 CPUtime=5.97 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 8731 0 0 0 596 1 0 0 20 0 4 0 520596867 292491264 4547 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 71409 4547 389 106 0 66380 0
[pid=12225/tid=12226] ppid=12223 vsize=285636 CPUtime=1.49 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 1755 0 0 0 149 0 0 0 20 0 4 0 520596867 292491264 4547 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=285636 CPUtime=1.48 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 1713 0 0 0 148 0 0 0 25 0 4 0 520596867 292491264 4547 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=285636 CPUtime=1.49 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 1765 0 0 0 149 0 0 0 25 0 4 0 520596867 292491264 4548 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285636

[startup+3.85849 s]
/proc/loadavg: 8.01 8.09 8.08 10/182 12230
/proc/meminfo: memFree=26194808/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=284624 CPUtime=13.73 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 20595 0 0 0 1364 9 0 0 25 0 4 0 520596867 291454976 11357 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 71156 11357 389 106 0 66127 0
[pid=12225/tid=12226] ppid=12223 vsize=284624 CPUtime=3.83 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 6152 0 0 0 383 0 0 0 25 0 4 0 520596867 291454976 11357 33554432000 4194304 4627427 140736485822304 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=284624 CPUtime=2.58 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 4376 0 0 0 251 7 0 0 25 0 4 0 520596867 291454976 11357 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=284624 CPUtime=3.79 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 4943 0 0 0 378 1 0 0 25 0 4 0 520596867 291454976 11357 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13.73
Current children cumulated vsize (KiB) 284624

[startup+6.30107 s]
/proc/loadavg: 8.01 8.09 8.08 9/182 12230
/proc/meminfo: memFree=26173816/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=266744 CPUtime=23.46 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 27127 0 0 0 2336 10 0 0 25 0 4 0 520596867 273145856 12584 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 66686 12584 389 106 0 61657 0
[pid=12225/tid=12226] ppid=12223 vsize=266744 CPUtime=6.27 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 7628 0 0 0 627 0 0 0 25 0 4 0 520596867 273145856 12584 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=266744 CPUtime=4.98 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 5967 0 0 0 491 7 0 0 25 0 4 0 520596867 273145856 12584 33554432000 4194304 4627427 140736485822304 18446744073709551615 4333080 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=266744 CPUtime=6.23 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 6477 0 0 0 622 1 0 0 25 0 4 0 520596867 273145856 12584 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.46
Current children cumulated vsize (KiB) 266744

[startup+12.701 s]
/proc/loadavg: 8.01 8.09 8.08 9/182 12230
/proc/meminfo: memFree=26133720/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=303336 CPUtime=49.02 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 43877 0 0 0 4888 14 0 0 25 0 4 0 520596867 310616064 19110 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309327 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 75834 19110 389 106 0 70805 0
[pid=12225/tid=12226] ppid=12223 vsize=303336 CPUtime=12.67 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 11072 0 0 0 1266 1 0 0 25 0 4 0 520596867 310616064 19110 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=303336 CPUtime=11.35 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 9398 0 0 0 1127 8 0 0 25 0 4 0 520596867 310616064 19110 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=303336 CPUtime=12.62 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 11332 0 0 0 1260 2 0 0 25 0 4 0 520596867 310616064 19110 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.02
Current children cumulated vsize (KiB) 303336

[startup+25.5008 s]
/proc/loadavg: 8.01 8.09 8.07 9/182 12230
/proc/meminfo: memFree=26091060/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=294708 CPUtime=100.13 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 66625 0 0 0 9991 22 0 0 25 0 4 0 520596867 301780992 27048 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 73677 27048 389 106 0 68648 0
[pid=12225/tid=12226] ppid=12223 vsize=294708 CPUtime=25.47 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 17629 0 0 0 2545 2 0 0 25 0 4 0 520596867 301780992 27048 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=294708 CPUtime=24.07 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 15628 0 0 0 2395 12 0 0 25 0 4 0 520596867 301780992 27048 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=294708 CPUtime=25.41 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 15922 0 0 0 2537 4 0 0 25 0 4 0 520596867 301780992 27048 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.13
Current children cumulated vsize (KiB) 294708

[startup+51.1064 s]
/proc/loadavg: 8.00 8.08 8.07 10/182 12231
/proc/meminfo: memFree=26046552/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=308748 CPUtime=202.37 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 99142 0 0 0 20203 34 0 0 25 0 4 0 520596867 316157952 32324 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 77187 32324 389 106 0 72158 0
[pid=12225/tid=12226] ppid=12223 vsize=308748 CPUtime=51.08 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 26838 0 0 0 5104 4 0 0 25 0 4 0 520596867 316157952 32324 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=308748 CPUtime=49.51 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 23619 0 0 0 4933 18 0 0 25 0 4 0 520596867 316157952 32324 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=308748 CPUtime=51 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 24101 0 0 0 5094 6 0 0 25 0 4 0 520596867 316157952 32324 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 202.37
Current children cumulated vsize (KiB) 308748

[startup+102.301 s]
/proc/loadavg: 8.06 8.08 8.07 9/182 12232
/proc/meminfo: memFree=26032156/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=322188 CPUtime=406.83 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 152081 0 0 0 40631 52 0 0 25 0 4 0 520596867 329920512 38285 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 80547 38285 389 106 0 75518 0
[pid=12225/tid=12226] ppid=12223 vsize=322188 CPUtime=102.27 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 40838 0 0 0 10218 9 0 0 25 0 4 0 520596867 329920512 38285 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=322188 CPUtime=100.41 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 35337 0 0 0 10019 22 0 0 25 0 4 0 520596867 329920512 38285 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=322188 CPUtime=102.17 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 37977 0 0 0 10207 10 0 0 25 0 4 0 520596867 329920512 38285 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 406.83
Current children cumulated vsize (KiB) 322188

[startup+162.3 s]

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

[pid=12225] ppid=12223 vsize=548344 CPUtime=2563.54 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 499603 0 0 0 256163 191 0 0 25 0 4 0 520596867 561504256 87797 33554432000 4194304 4627427 140736485822304 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 137086 87797 389 106 0 132057 0
[pid=12225/tid=12226] ppid=12223 vsize=548344 CPUtime=642.28 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 120372 0 0 0 64188 40 0 0 25 0 4 0 520596867 561504256 87797 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=548344 CPUtime=637.31 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 123355 0 0 0 63668 63 0 0 25 0 4 0 520596867 561504256 87797 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=548344 CPUtime=641.95 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 120279 0 0 0 64152 43 0 0 25 0 4 0 520596867 561504256 87797 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2563.54
Current children cumulated vsize (KiB) 548344

[startup+702.3 s]
/proc/loadavg: 8.06 8.07 8.08 9/182 12279
/proc/meminfo: memFree=26162196/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=564004 CPUtime=2801.41 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 526172 0 0 0 279937 204 0 0 25 0 4 0 520596867 577540096 90153 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 141001 90153 389 106 0 135972 0
[pid=12225/tid=12226] ppid=12223 vsize=564004 CPUtime=702.29 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 126640 0 0 0 70186 43 0 0 25 0 4 0 520596867 577540096 90153 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=564004 CPUtime=696.08 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 130097 0 0 0 69540 68 0 0 25 0 4 0 520596867 577540096 90153 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=564004 CPUtime=701.06 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 127610 0 0 0 70060 46 0 0 25 0 4 0 520596867 577540096 90153 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.41
Current children cumulated vsize (KiB) 564004

[startup+762.301 s]
/proc/loadavg: 8.13 8.09 8.08 9/182 12281
/proc/meminfo: memFree=26114060/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=552052 CPUtime=3041.07 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 553823 0 0 0 303890 217 0 0 25 0 4 0 520596867 565301248 96202 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 138013 96202 389 106 0 132984 0
[pid=12225/tid=12226] ppid=12223 vsize=552052 CPUtime=762.27 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 133454 0 0 0 76181 46 0 0 25 0 4 0 520596867 565301248 96202 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=552052 CPUtime=755.77 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 138200 0 0 0 75506 71 0 0 25 0 4 0 520596867 565301248 96202 33554432000 4194304 4627427 140736485822304 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=552052 CPUtime=761.02 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 133995 0 0 0 76053 49 0 0 25 0 4 0 520596867 565301248 96202 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.07
Current children cumulated vsize (KiB) 552052

[startup+822.301 s]
/proc/loadavg: 8.13 8.10 8.09 9/182 12282
/proc/meminfo: memFree=26103884/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=602624 CPUtime=3280.72 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 578437 0 0 0 327843 229 0 0 25 0 4 0 520596867 617086976 93624 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 150656 93624 389 106 0 145627 0
[pid=12225/tid=12226] ppid=12223 vsize=602624 CPUtime=822.26 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 136938 0 0 0 82176 50 0 0 25 0 4 0 520596867 617086976 93624 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=602624 CPUtime=815.46 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 146385 0 0 0 81471 75 0 0 25 0 4 0 520596867 617086976 93624 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=602624 CPUtime=821 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 140234 0 0 0 82049 51 0 0 25 0 4 0 520596867 617086976 93624 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.72
Current children cumulated vsize (KiB) 602624

[startup+882.3 s]
/proc/loadavg: 8.05 8.08 8.08 9/182 12284
/proc/meminfo: memFree=26013724/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=572920 CPUtime=3520.33 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 604338 0 0 0 351793 240 0 0 25 0 4 0 520596867 586670080 101568 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 143230 101568 389 106 0 138201 0
[pid=12225/tid=12226] ppid=12223 vsize=572920 CPUtime=882.22 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 141980 0 0 0 88168 54 0 0 25 0 4 0 520596867 586670080 101568 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=572920 CPUtime=875.15 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 152613 0 0 0 87437 78 0 0 25 0 4 0 520596867 586670080 101568 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=572920 CPUtime=880.98 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 148304 0 0 0 88045 53 0 0 25 0 4 0 520596867 586670080 101568 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.33
Current children cumulated vsize (KiB) 572920

[startup+942.301 s]
/proc/loadavg: 8.07 8.08 8.08 9/182 12286
/proc/meminfo: memFree=25982956/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=585800 CPUtime=3759.98 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 629503 0 0 0 375747 251 0 0 25 0 4 0 520596867 599859200 109588 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 146450 109588 389 106 0 141421 0
[pid=12225/tid=12226] ppid=12223 vsize=585800 CPUtime=942.19 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 145956 0 0 0 94163 56 0 0 25 0 4 0 520596867 599859200 109588 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=585800 CPUtime=934.84 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 161400 0 0 0 93404 80 0 0 25 0 4 0 520596867 599859200 109588 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=585800 CPUtime=940.96 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 154334 0 0 0 94040 56 0 0 25 0 4 0 520596867 599859200 109588 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.98
Current children cumulated vsize (KiB) 585800

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 8.08 9/182 12287
/proc/meminfo: memFree=25960364/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=574092 CPUtime=3999.61 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 649674 0 0 0 399699 262 0 0 25 0 4 0 520596867 587870208 106648 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 143523 106648 389 106 0 138494 0
[pid=12225/tid=12226] ppid=12223 vsize=574092 CPUtime=1002.15 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 147987 0 0 0 100157 58 0 0 25 0 4 0 520596867 587870208 106648 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=574092 CPUtime=994.52 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 168496 0 0 0 99369 83 0 0 25 0 4 0 520596867 587870208 106648 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=574092 CPUtime=1000.93 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 158798 0 0 0 100034 59 0 0 25 0 4 0 520596867 587870208 106648 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.61
Current children cumulated vsize (KiB) 574092

[startup+1062.3 s]
/proc/loadavg: 8.02 8.06 8.08 9/182 12289
/proc/meminfo: memFree=25931204/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=602740 CPUtime=4239.25 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 668833 0 0 0 423653 272 0 0 25 0 4 0 520596867 617205760 111529 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 150685 111529 389 106 0 145656 0
[pid=12225/tid=12226] ppid=12223 vsize=602740 CPUtime=1062.13 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 151789 0 0 0 106152 61 0 0 25 0 4 0 520596867 617205760 111529 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=602740 CPUtime=1054.22 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 174452 0 0 0 105336 86 0 0 25 0 4 0 520596867 617205760 111529 33554432000 4194304 4627427 140736485822304 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=602740 CPUtime=1060.9 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 162069 0 0 0 106030 60 0 0 25 0 4 0 520596867 617205760 111529 33554432000 4194304 4627427 140736485822304 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4239.25
Current children cumulated vsize (KiB) 602740

[startup+1122.3 s]
/proc/loadavg: 8.01 8.05 8.07 9/182 12290
/proc/meminfo: memFree=25884576/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=656124 CPUtime=4478.87 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 690085 0 0 0 447606 281 0 0 25 0 4 0 520596867 671870976 118079 33554432000 4194304 4627427 140736485822304 18446744073709551615 4299718 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 164031 118079 389 106 0 159002 0
[pid=12225/tid=12226] ppid=12223 vsize=656124 CPUtime=1122.06 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 157688 0 0 0 112142 64 0 0 25 0 4 0 520596867 671870976 118079 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=656124 CPUtime=1113.89 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 181545 0 0 0 111301 88 0 0 25 0 4 0 520596867 671870976 118079 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=656124 CPUtime=1120.9 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 164561 0 0 0 112029 61 0 0 25 0 4 0 520596867 671870976 118079 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4478.87
Current children cumulated vsize (KiB) 656124

[startup+1182.3 s]
/proc/loadavg: 8.05 8.05 8.07 9/182 12292
/proc/meminfo: memFree=25841652/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=721824 CPUtime=4718.52 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 709636 0 0 0 471563 289 0 0 25 0 4 0 520596867 739147776 126664 33554432000 4194304 4627427 140736485822304 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 180456 126664 389 106 0 175427 0
[pid=12225/tid=12226] ppid=12223 vsize=721824 CPUtime=1182.02 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 163646 0 0 0 118134 68 0 0 25 0 4 0 520596867 739147776 126664 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=721824 CPUtime=1173.59 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 187780 0 0 0 117268 91 0 0 25 0 4 0 520596867 739147776 126664 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=721824 CPUtime=1180.9 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 166678 0 0 0 118028 62 0 0 25 0 4 0 520596867 739147776 126664 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4718.52
Current children cumulated vsize (KiB) 721824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.04 8.05 8.07 9/182 12293
/proc/meminfo: memFree=25830240/32951132 swapFree=67111364/67111528
[pid=12225] ppid=12223 vsize=731752 CPUtime=4800.4 cores=0,2,4,6
/proc/12225/stat : 12225 (strangenight2-m) R 12223 12225 12004 0 -1 4202496 715695 0 0 0 479748 292 0 0 25 0 4 0 520596867 749314048 129213 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12225/statm: 182938 129213 389 106 0 177909 0
[pid=12225/tid=12226] ppid=12223 vsize=731752 CPUtime=1202.51 cores=0,2,4,6
/proc/12225/task/12226/stat : 12226 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 164939 0 0 0 120183 68 0 0 25 0 4 0 520596867 749314048 129213 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12225/tid=12227] ppid=12223 vsize=731752 CPUtime=1193.99 cores=0,2,4,6
/proc/12225/task/12227/stat : 12227 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 188897 0 0 0 119307 92 0 0 25 0 4 0 520596867 749314048 129213 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12225/tid=12228] ppid=12223 vsize=731752 CPUtime=1201.41 cores=0,2,4,6
/proc/12225/task/12228/stat : 12228 (strangenight2-m) R 12223 12225 12004 0 -1 4202560 167949 0 0 0 120078 63 0 0 25 0 4 0 520596867 749314048 129213 33554432000 4194304 4627427 140736485822304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 731752

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): 1202.84
CPU time (s): 4800.46
CPU user time (s): 4797.51
CPU system time (s): 2.94755
CPU usage (%): 399.095
Max. virtual memory (cumulated for all children) (KiB): 786800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.51
system time used= 2.94755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 715697
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= 638
involuntary context switches= 20686

runsolver used 1.9447 second user time and 5.51416 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 17:13:02
IDJOB=3174089
IDBENCH=82907
IDSOLVER=1586
FILE ID=node128/3174089-1304089982
RUNJOBID= node128-1304088234-12022
PBS_JOBID= 13170567
Free space on /tmp= 66968 MiB

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

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

MD5SUM BENCH= 7a466863eebd6d1afeaf2ac3e2c1a1d9
RANDOM SEED=1806308773

node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26226372 kB
Buffers:       1279820 kB
Cached:        4401472 kB
SwapCached:        160 kB
Active:         732948 kB
Inactive:      5403940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26226372 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5852 kB
Writeback:           0 kB
AnonPages:      455072 kB
Mapped:          15768 kB
Slab:           523864 kB
PageTables:       5484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   687088 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66964 MiB
End job on node128 at 2011-04-29 17:33:07