Trace number 3174225

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.25 1203.14

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf
MD5SUMad12e37a0f3b75f1b331fdb5e803c99f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.034993
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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-3174225-1304115465.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     284 undec:      71 neg:     295
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       638      2758         0         0      8343         0   no data   no data
0.37/0.10	c Decided on static restart strategy
0.37/0.18	c  N st     8      4920       638      2758         0      4855      8343    148061   no data   no data
1.58/0.46	c  N st    10     11305       638      2758         0      4494      8343     92123   no data   no data
2.77/0.75	c  N st    11     17048       638      2758         0     10162      8343    249545   no data   no data
4.39/1.18	c  F st    12     25000       638      2758         0     12479      8343    323338   no data   no data
4.39/1.18	c  N st    12     25000       638      2758         0     12479      8343    323338   no data   no data
5.57/1.43	c Decided on static restart strategy
5.57/1.44	c  N st    18     30000       638      2758         0     10772      8343    239383   no data   no data
5.57/1.44	c  S st    18     30000       638      2758         0     10772      8343    239383   no data   no data
5.57/1.47	c  S st    18     30503       638      2758         0     11275      8343    252349   no data   no data
5.57/1.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.47	c blocked clauses removed:        8 vars:      3 tried:         638 T: 0.00 s
5.57/1.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
5.57/1.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.48	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.57/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.53	c lits-rem:        69  cl-subs:      303  v-elim:      0  v-fix:    0  time:  0.04 s
5.97/1.54	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.01
5.97/1.54	c calculated reachability. Time: 0.00
5.97/1.54	c  N st    18     30503       634      2749         0     10946      8320    241687   no data   no data
7.57/1.98	c  N st    20     37613       634      2749         0     10213      8320    199975   no data   no data
9.57/2.40	c  N st    21     44012       634      2749         0     16497      8320    376313   no data   no data
9.97/2.53	c  S st    22     45754       634      2749         0      9423      8320    156701   no data   no data
9.97/2.55	c  S st    22     46257       634      2749         0      9924      8320    169829   no data   no data
9.97/2.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.97/2.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.97/2.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.97/2.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.97/2.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
9.97/2.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.97/2.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.97/2.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.58	c lits-rem:        12  cl-subs:       52  v-elim:      0  v-fix:    0  time:  0.01 s
9.97/2.58	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
9.97/2.58	c vivif2 --  cl tried     9872 cl shrink        0 lits rem          0 time: 0.00
9.97/2.58	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.01
9.97/2.58	c calculated reachability. Time: 0.00
9.97/2.58	c  N st    22     46257       634      2749         0      9872      8320    168187   no data   no data
13.96/3.56	c  N st    23     60655       634      2749         0     14273      8320    296202   no data   no data
16.17/4.24	c  N st    24     69386       634      2749         0     12040      8320    211937   no data   no data
16.17/4.25	c  S st    24     69386       634      2749         0     12040      8320    211937   no data   no data
16.17/4.28	c  S st    24     69890       634      2749         0     12544      8320    226044   no data   no data
16.17/4.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.17/4.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.17/4.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.17/4.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.17/4.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.17/4.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
16.17/4.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.17/4.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.17/4.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.48/4.32	c lits-rem:        29  cl-subs:      127  v-elim:      0  v-fix:    0  time:  0.02 s
16.48/4.32	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
16.48/4.32	c vivif2 --  cl tried    12417 cl shrink        0 lits rem          0 time: 0.00
16.48/4.33	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.01
16.48/4.33	c calculated reachability. Time: 0.00
16.48/4.33	c  N st    24     69890       634      2749         0     12417      8320    221690   no data   no data
21.17/5.71	c  F st    25     87501       634      2749         0     17919      8320    374262   no data   no data
21.17/5.71	c  N st    25     87501       634      2749         0     17919      8320    374262   no data   no data
22.54/6.11	c Decided on static restart strategy
23.23/6.38	c  N st    32     95542       634      2749         0     13050      8320    198328   no data   no data
26.82/7.33	c  N st    34    104835       634      2749         0     22150      8320    453833   no data   no data
26.82/7.33	c  S st    34    104835       634      2749         0     22150      8320    453833   no data   no data
26.82/7.38	c  S st    34    105338       634      2749         0     22652      8320    467205   no data   no data
26.82/7.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.82/7.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.82/7.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.82/7.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.82/7.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.82/7.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
26.82/7.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.22/7.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.22/7.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.62/7.56	c lits-rem:       184  cl-subs:      567  v-elim:      0  v-fix:    0  time:  0.14 s
27.62/7.56	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
27.62/7.56	c vivif2 --  cl tried    22085 cl shrink        0 lits rem          0 time: 0.00
27.62/7.58	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.01
27.62/7.58	c calculated reachability. Time: 0.00
27.62/7.58	c  N st    34    105338       634      2749         0     22085      8320    449532   no data   no data
30.82/8.37	c  N st    35    114937       634      2749         0     17824      8320    315990   no data   no data
36.00/9.69	c  N st    36    129334       634      2749         0     17208      8320    272741   no data   no data
44.39/11.72	c  N st    37    150930       634      2749         0     22633      8320    415165   no data   no data
46.78/12.37	c  S st    38    158009       634      2749         0     29606      8320    619395   no data   no data
47.18/12.45	c  S st    38    158517       634      2749         0     30114      8320    633864   no data   no data
47.18/12.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.18/12.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.18/12.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.18/12.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.18/12.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.18/12.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
47.18/12.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.18/12.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.18/12.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.18/12.94	c lits-rem:       245  cl-subs:     1292  v-elim:      0  v-fix:    0  time:  0.45 s
49.18/12.94	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
49.18/12.94	c vivif2 --  cl tried    28822 cl shrink        0 lits rem          0 time: 0.01
49.18/12.96	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.02
49.18/12.97	c calculated reachability. Time: 0.00
49.18/12.97	c  N st    38    158517       634      2749         0     28822      8320    594707   no data   no data
69.15/17.96	c  N st    39    207106       634      2749         0     23588      8320    400089   no data   no data
82.31/21.26	c  N st    40    237776       634      2749         0     34068      8320    678749   no data   no data
82.31/21.26	c  S st    40    237776       634      2749         0     34068      8320    678749   no data   no data
82.71/21.35	c  S st    40    238276       634      2749         0     34567      8320    692550   no data   no data
82.71/21.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.71/21.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.71/21.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.71/21.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.71/21.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.71/21.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
82.71/21.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
82.71/21.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.71/21.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.53/22.03	c lits-rem:       333  cl-subs:     1310  v-elim:      0  v-fix:    0  time:  0.64 s
85.53/22.03	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
85.53/22.04	c vivif2 --  cl tried    33257 cl shrink        0 lits rem          0 time: 0.01
85.53/22.07	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.03
85.53/22.07	c calculated reachability. Time: 0.00
85.53/22.07	c  N st    40    238276       634      2749         0     33257      8320    654026   no data   no data
118.26/30.27	c  F st    41    306253       634      2749         0     35205      8320    694542   no data   no data
118.26/30.28	c  N st    41    306253       634      2749         0     35205      8320    694542   no data   no data
128.64/32.89	c  N dy    87    326110       634      2749         0     31123      8320    455206     18.77     20.05
140.62/35.85	c  N dy   153    346353       634      2749         0     26446      8320    291142     18.39     19.47
145.81/37.16	c  S st   196    357419       634      2749         0     37426      8320    589592     18.35   no data
146.21/37.25	c  S st   196    357925       634      2749         0     37931      8320    602978     18.35   no data
146.21/37.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.21/37.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.21/37.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.21/37.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.21/37.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.21/37.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
146.21/37.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.21/37.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.21/37.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.02/37.46	c lits-rem:       118  cl-subs:      356  v-elim:      0  v-fix:    0  time:  0.17 s
147.02/37.46	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
147.02/37.46	c vivif2 --  cl tried    37575 cl shrink        0 lits rem          0 time: 0.01
147.02/37.49	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.03
147.02/37.49	c calculated reachability. Time: 0.00
147.02/37.49	c  N dy   196    357925       634      2749         0     37575      8320    591637     18.35   no data
164.20/41.72	c  N dy   306    386814       634      2749         0     40451      8320    650936     18.28     19.34
176.95/44.93	c  N dy   408    407089       634      2749         0     33786      8320    436381     18.36     19.34
190.94/48.49	c  N dy   512    427581       634      2749         0     54108      8320    996420     18.44     19.82
202.51/51.36	c  N dy   597    447812       634      2749         0     46396      8320    751561     18.43     19.51
216.08/54.74	c  N dy   703    467911       634      2749         0     37539      8320    483574     18.46     19.55
230.08/58.20	c  N dy   795    488039       634      2749         0     57472      8320   1042118     18.51     19.49
241.63/61.15	c  N dy   852    508147       634      2749         0     47640      8320    737459     18.46     19.64
257.21/65.01	c  N dy   976    528157       634      2749         0     36798      8320    420667     18.54     20.02
262.39/66.33	c  S st  1016    536889       634      2749         0     45447      8320    658563     18.56     18.25
262.79/66.44	c  S st  1016    537390       634      2749         0     45948      8320    672013     18.56   no data
262.79/66.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
262.79/66.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.01
262.79/66.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
262.79/66.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.79/66.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.79/66.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
262.79/66.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
262.79/66.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
262.79/66.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.99/66.75	c lits-rem:       180  cl-subs:      497  v-elim:      0  v-fix:    0  time:  0.26 s
263.99/66.75	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
263.99/66.76	c vivif2 --  cl tried    45451 cl shrink        0 lits rem          0 time: 0.01
263.99/66.79	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.03
263.99/66.80	c calculated reachability. Time: 0.00
263.99/66.80	c  N dy  1016    537390       634      2749         0     45451      8320    656716     18.56   no data
281.17/71.00	c  N dy  1056    559516       634      2749         0     35656      8320    363282     18.48     19.49
295.54/74.61	c  N dy  1120    581025       634      2749         0     56901      8320    932430     18.42     19.65
309.54/78.18	c  N dy  1178    601437       634      2749         0     44477      8320    584732     18.38     19.43
325.89/82.27	c  N dy  1289    621529       634      2749         0     64344      8320   1125094     18.42     22.84
339.89/85.75	c  N dy  1393    641715       634      2749         0     50700      8320    734450     18.44     19.45
357.86/90.26	c  N dy  1483    662058       634      2749         0     36206      8320    314004     18.45     19.45
371.41/93.65	c  N dy  1559    682207       634      2749         0     56163      8320    856967     18.43     19.42
388.21/97.89	c  N dy  1619    702248       634      2749         0     40355      8320    408470     18.40     23.54
404.16/101.85	c  N dy  1732    722307       634      2749         0     60242      8320    952108     18.44     19.73
423.75/106.74	c  N dy  1847    742714       634      2749         0     43809      8320    477788     18.48     19.51
443.70/111.73	c  N dy  1932    766717       634      2749         0     67547      8320   1129479     18.46     19.46
460.87/116.01	c  N dy  2035    786974       634      2749         0     49974      8320    626703     18.48     19.56
478.03/120.36	c  S st  2143    806087       634      2749         0     68920      8320   1152795     18.51   no data
478.84/120.54	c  S st  2143    806589       634      2749         0     69420      8320   1167241     18.51   no data
478.84/120.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
478.84/120.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
478.84/120.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
478.84/120.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
478.84/120.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.84/120.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
478.84/120.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
478.84/120.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
479.24/120.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
482.02/121.39	c lits-rem:       272  cl-subs:      978  v-elim:      0  v-fix:    0  time:  0.76 s
482.02/121.39	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
482.42/121.41	c vivif2 --  cl tried    68442 cl shrink        0 lits rem          0 time: 0.02
482.42/121.47	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.06
482.42/121.47	c calculated reachability. Time: 0.00
482.42/121.47	c  N dy  2143    806589       634      2749         0     68442      8320   1136310     18.51   no data
500.39/125.91	c  N dy  2221    826718       634      2749         0     49726      8320    581898     18.51     19.61
518.36/130.40	c  N dy  2294    846798       634      2749         0     69601      8320   1115253     18.51     22.62
537.55/135.27	c  N dy  2390    866878       634      2749         0     49840      8320    563591     18.52     19.53
554.71/139.54	c  N dy  2437    886972       634      2749         0     69636      8320   1098951     18.51     22.49
573.87/144.37	c  N dy  2533    907297       634      2749         0     49201      8320    538463     18.51     19.67
591.85/148.89	c  N dy  2645    927298       634      2749         0     69003      8320   1078220     18.53     19.79
613.42/154.27	c  N dy  2764    947452       634      2749         0     47443      8320    468082     18.57     19.65
632.19/158.98	c  N dy  2790    970096       634      2749         0     69734      8320   1059084     18.51     19.52
654.13/164.46	c  N dy  2886    990157       634      2749         0     47103      8320    439932     18.52     19.66
671.31/168.78	c  N dy  3008   1010187       634      2749         0     66945      8320    990520     18.55     20.03
695.69/174.90	c  N dy  3122   1030209       634      2749         0     86799      8320   1545726     18.58     19.58
711.64/178.82	c  N dy  3183   1050280       634      2749         0     63087      8320    850730     18.56     20.16
734.39/184.59	c  N dy  3283   1070316       634      2749         0     82926      8320   1399893     18.57     24.89
736.79/185.13	c  F st  3292   1071875       634      2749         0     84472      8320   1442449     18.58     17.60
743.58/186.83	c Decided on static restart strategy
752.79/189.13	c  N st  3301   1090579       634      2749         0     58376      8320    722458     18.58   no data
777.92/195.42	c  N st  3303   1114574       634      2749         0     81871      8320   1374588     18.58   no data
797.90/200.56	c  N st  3304   1136170       634      2749         0     57804      8320   1032988     18.58   no data
823.65/207.39	c  N st  3305   1168562       634      2749         0     89693      8320   2056729     18.58   no data
862.36/217.02	c  N st  3306   1209883       634      2749         0     83996      8320   1832312     18.58   no data
862.36/217.02	c  S st  3306   1209883       634      2749         0     83996      8320   1832312     18.58   no data
863.17/217.27	c  S st  3306   1210386       634      2749         0     84499      8320   1846736     18.58   no data
863.17/217.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
863.55/217.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
863.55/217.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
863.55/217.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
863.55/217.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
863.55/217.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
863.55/217.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
863.55/217.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
863.94/217.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
898.31/226.06	c lits-rem:       544  cl-subs:     5858  v-elim:      0  v-fix:    0  time:  8.65 s
898.31/226.06	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
898.31/226.08	c vivif2 --  cl tried    78641 cl shrink        0 lits rem          0 time: 0.02
898.68/226.17	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.08
898.68/226.17	c calculated reachability. Time: 0.00
898.68/226.17	c  N st  3306   1210386       634      2749         0     78641      8320   1665923     18.58   no data
978.94/246.28	c  N st  3307   1283268       634      2749         0     55121      8320    870160     18.58   no data
1104.35/277.64	c  N st  3308   1392592       634      2749         0     63158      8320   1037181     18.58   no data
1283.24/322.45	c  N st  3309   1556576       634      2749         0     67837      8320   1088068     18.58   no data
1462.55/367.34	c  N st  3310   1710387       634      2749         0    109907      8320   2328467     18.58   no data
1462.55/367.34	c  S st  3310   1710387       634      2749         0    109907      8320   2328467     18.58   no data
1464.15/367.71	c  S st  3310   1710892       634      2749         0    110411      8320   2342866     18.58   no data
1464.15/367.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1464.15/367.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1464.15/367.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1464.15/367.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1464.15/367.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1464.15/367.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
1464.15/367.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1464.56/367.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1464.56/367.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1536.03/385.79	c lits-rem:      1148  cl-subs:     7523  v-elim:      0  v-fix:    0  time: 17.91 s
1536.03/385.79	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
1536.43/385.83	c vivif2 --  cl tried   102888 cl shrink        0 lits rem          0 time: 0.03
1536.83/385.94	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.12
1536.83/385.95	c calculated reachability. Time: 0.00
1536.83/385.95	c  N st  3310   1710892       634      2749         0    102888      8320   2127067     18.58   no data
1978.55/496.52	c  N st  3311   2079857       634      2749         0    115325      8320   2566668     18.58   no data
2148.26/539.09	c  N st  3312   2210892       634      2749         0    119073      8320   2489825     18.58   no data
2148.26/539.09	c  S st  3312   2210892       634      2749         0    119073      8320   2489825     18.58   no data
2149.87/539.49	c  S st  3312   2211397       634      2749         0    119577      8320   2503262     18.58   no data
2149.87/539.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2150.28/539.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2150.28/539.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2150.28/539.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2150.28/539.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2150.28/539.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
2150.28/539.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2150.65/539.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2150.65/539.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2225.73/558.41	c lits-rem:      1169  cl-subs:     6864  v-elim:      0  v-fix:    0  time: 18.73 s
2225.73/558.41	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
2225.73/558.44	c vivif2 --  cl tried   112713 cl shrink        0 lits rem          0 time: 0.03
2226.13/558.57	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.13
2226.13/558.57	c calculated reachability. Time: 0.00
2226.13/558.57	c  N st  3312   2211397       634      2749         0    112713      8320   2285786     18.58   no data
2928.95/734.51	c  N st  3313   2711398       634      2749         0    135754      8320   2779736     18.58   no data
2928.95/734.51	c  S st  3313   2711398       634      2749         0    135754      8320   2779736     18.58   no data
2930.55/734.94	c  S st  3313   2711900       634      2749         0    136256      8320   2792995     18.58   no data
2930.55/734.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2930.95/735.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2930.95/735.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2930.95/735.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2930.95/735.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2930.95/735.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
2930.95/735.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2930.95/735.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2931.35/735.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3040.35/762.46	c lits-rem:       845  cl-subs:     9515  v-elim:      0  v-fix:    0  time: 27.31 s
3040.35/762.46	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
3040.75/762.50	c vivif2 --  cl tried   126741 cl shrink        0 lits rem          0 time: 0.03
3041.15/762.64	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.15
3041.15/762.65	c calculated reachability. Time: 0.00
3041.15/762.65	c  N st  3313   2711900       634      2749         0    126741      8320   2514488     18.58   no data
3686.86/924.34	c  N st  3314   3211901       634      2749         0    102653      8320   1636306     18.58   no data
3686.86/924.34	c  S st  3314   3211901       634      2749         0    102653      8320   1636306     18.58   no data
3688.45/924.79	c  S st  3314   3212401       634      2749         0    103153      8320   1650599     18.58   no data
3688.85/924.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3688.85/924.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.07
3688.85/924.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3688.85/924.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3688.85/924.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3688.85/924.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
3688.85/924.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3689.25/924.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3689.25/924.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3718.43/932.25	c lits-rem:       526  cl-subs:     3272  v-elim:      0  v-fix:    0  time:  7.29 s
3718.43/932.25	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
3718.43/932.27	c vivif2 --  cl tried    99881 cl shrink        0 lits rem          0 time: 0.03
3719.20/932.42	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.14
3719.20/932.42	c calculated reachability. Time: 0.00
3719.20/932.42	c  N st  3314   3212401       634      2749         0     99881      8320   1553488     18.58   no data
4474.74/1121.63	c  N st  3315   3712401       634      2749         0    110768      8320   1765707     18.58   no data
4474.74/1121.63	c  S st  3315   3712401       634      2749         0    110768      8320   1765707     18.58   no data
4475.94/1121.96	c  S st  3315   3712903       634      2749         0    111270      8320   1779397     18.58   no data
4475.94/1121.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4476.34/1122.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4476.34/1122.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4476.34/1122.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4476.34/1122.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4476.34/1122.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
4476.34/1122.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4476.34/1122.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4476.74/1122.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4497.49/1127.35	c lits-rem:       256  cl-subs:     3944  v-elim:      0  v-fix:    0  time:  5.24 s
4497.49/1127.35	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
4497.49/1127.38	c vivif2 --  cl tried   107326 cl shrink        0 lits rem          0 time: 0.02
4497.89/1127.50	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.12
4498.29/1127.50	c calculated reachability. Time: 0.00
4498.29/1127.50	c  N st  3315   3712903       634      2749         0    107326      8320   1667544     18.58   no data
4565.38/1144.33	c  F st  3316   3751565       634      2749         0    145243      8320   2795098     18.58   no data
4565.38/1144.33	c  N st  3316   3751565       634      2749         0    145243      8320   2795098     18.58   no data
4577.37/1147.33	c Decided on static restart strategy
4640.05/1163.05	c  N st  3326   3779868       634      2749         0     89790      8320   1033297     18.58   no data
4695.96/1177.05	c  N st  3328   3815863       634      2749         0    125044      8320   2041561     18.58   no data
4759.84/1193.03	c  N st  3329   3848257       634      2749         0    156952      8320   2985683     18.58   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-3174225-1304115465/watcher-3174225-1304115465 -o /tmp/evaluation-result-3174225-1304115465/solver-3174225-1304115465 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174225-1304115465.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: 3.67 6.26 7.25 5/178 14771
/proc/meminfo: memFree=31264676/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 523145110 52441088 352 33554432000 4194304 4627427 140736117672896 18446744073709551615 47750038488605 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14771/statm: 12803 352 303 106 0 7774 0
[pid=14771/tid=14772] ppid=14769 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523145110 52441088 352 33554432000 4194304 4627427 140736117672896 18446744073709551615 47750038488605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523145110 52441088 352 33554432000 4194304 4627427 140736117672896 18446744073709551615 47750038489010 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523145110 52441088 352 33554432000 4194304 4627427 140736117672896 18446744073709551615 47750038488601 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0483459 s]
/proc/loadavg: 3.67 6.26 7.25 5/178 14771
/proc/meminfo: memFree=31264676/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=282352 CPUtime=0.16 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 1585 0 0 0 16 0 0 0 25 0 4 0 523145110 289128448 1481 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14771/statm: 70588 1481 384 106 0 65559 0
[pid=14771/tid=14772] ppid=14769 vsize=282352 CPUtime=0.04 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 316 0 0 0 4 0 0 0 18 0 4 0 523145110 289128448 1482 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=282352 CPUtime=0.03 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 325 0 0 0 3 0 0 0 25 0 4 0 523145110 289128448 1482 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=282352 CPUtime=0.04 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 196 0 0 0 4 0 0 0 25 0 4 0 523145110 289128448 1482 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 282352

[startup+0.100337 s]
/proc/loadavg: 3.67 6.26 7.25 5/178 14771
/proc/meminfo: memFree=31264676/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=282496 CPUtime=0.37 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 1842 0 0 0 37 0 0 0 25 0 4 0 523145110 289275904 1738 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14771/statm: 70624 1738 384 106 0 65595 0
[pid=14771/tid=14772] ppid=14769 vsize=282496 CPUtime=0.09 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 368 0 0 0 9 0 0 0 18 0 4 0 523145110 289275904 1738 33554432000 4194304 4627427 140736117672896 18446744073709551615 4302330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=282496 CPUtime=0.09 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 397 0 0 0 9 0 0 0 25 0 4 0 523145110 289275904 1738 33554432000 4194304 4627427 140736117672896 18446744073709551615 242970218848 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=282496 CPUtime=0.09 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 263 0 0 0 9 0 0 0 25 0 4 0 523145110 289275904 1738 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282496

[startup+0.300302 s]
/proc/loadavg: 3.67 6.26 7.25 5/178 14771
/proc/meminfo: memFree=31264676/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=284164 CPUtime=1.17 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 2971 0 0 0 117 0 0 0 25 0 4 0 523145110 290983936 2178 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14771/statm: 71041 2178 385 106 0 66012 0
[pid=14771/tid=14772] ppid=14769 vsize=284164 CPUtime=0.29 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 641 0 0 0 29 0 0 0 18 0 4 0 523145110 290983936 2178 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=284164 CPUtime=0.29 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 672 0 0 0 29 0 0 0 25 0 4 0 523145110 290983936 2178 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=284164 CPUtime=0.29 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 567 0 0 0 29 0 0 0 25 0 4 0 523145110 290983936 2178 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284164

[startup+0.700234 s]
/proc/loadavg: 3.67 6.26 7.25 5/178 14771
/proc/meminfo: memFree=31264676/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=285176 CPUtime=2.77 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 4751 0 0 0 276 1 0 0 25 0 4 0 523145110 292020224 2931 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14771/statm: 71294 2931 385 106 0 66265 0
[pid=14771/tid=14772] ppid=14769 vsize=285176 CPUtime=0.69 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 1075 0 0 0 69 0 0 0 18 0 4 0 523145110 292020224 2931 33554432000 4194304 4627427 140736117672896 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=285176 CPUtime=0.68 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 1136 0 0 0 68 0 0 0 25 0 4 0 523145110 292020224 2931 33554432000 4194304 4627427 140736117672896 18446744073709551615 4299745 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=285176 CPUtime=0.69 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 1013 0 0 0 69 0 0 0 25 0 4 0 523145110 292020224 2931 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285176

[startup+1.5011 s]
/proc/loadavg: 3.67 6.26 7.25 10/182 14775
/proc/meminfo: memFree=31237500/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=287228 CPUtime=5.97 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 9727 0 0 0 595 2 0 0 25 0 4 0 523145110 294121472 5053 33554432000 4194304 4627427 140736117672896 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14771/statm: 71807 5053 389 106 0 66778 0
[pid=14771/tid=14772] ppid=14769 vsize=287228 CPUtime=1.49 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 1965 0 0 0 149 0 0 0 20 0 4 0 523145110 294121472 5053 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=287228 CPUtime=1.48 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 1980 0 0 0 148 0 0 0 25 0 4 0 523145110 294121472 5053 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=287228 CPUtime=1.48 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 1838 0 0 0 148 0 0 0 25 0 4 0 523145110 294121472 5053 33554432000 4194304 4627427 140736117672896 18446744073709551615 4352192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287228

[startup+3.10082 s]
/proc/loadavg: 3.67 6.26 7.25 10/182 14775
/proc/meminfo: memFree=31219892/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=305196 CPUtime=12.36 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 19546 0 0 0 1233 3 0 0 25 0 4 0 523145110 312520704 10956 33554432000 4194304 4627427 140736117672896 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14771/statm: 76299 10956 389 106 0 71270 0
[pid=14771/tid=14772] ppid=14769 vsize=305196 CPUtime=3.08 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 4359 0 0 0 308 0 0 0 25 0 4 0 523145110 312520704 10956 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=305196 CPUtime=3.07 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 5346 0 0 0 307 0 0 0 25 0 4 0 523145110 312520704 10956 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=305196 CPUtime=3.08 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 4513 0 0 0 308 0 0 0 25 0 4 0 523145110 312520704 10956 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 305196

[startup+6.30027 s]
/proc/loadavg: 4.02 6.29 7.26 10/182 14775
/proc/meminfo: memFree=31173756/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=305948 CPUtime=23.23 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 26791 0 0 0 2307 16 0 0 25 0 4 0 523145110 313290752 14024 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309197 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14771/statm: 76487 14024 389 106 0 71458 0
[pid=14771/tid=14772] ppid=14769 vsize=305948 CPUtime=5.24 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 7235 0 0 0 517 7 0 0 25 0 4 0 523145110 313290752 14024 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=305948 CPUtime=5.84 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 6624 0 0 0 582 2 0 0 25 0 4 0 523145110 313290752 14024 33554432000 4194304 4627427 140736117672896 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=305948 CPUtime=5.84 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 5193 0 0 0 582 2 0 0 25 0 4 0 523145110 313290752 14024 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.23
Current children cumulated vsize (KiB) 305948

[startup+12.7012 s]
/proc/loadavg: 4.34 6.32 7.26 9/182 14775
/proc/meminfo: memFree=31121292/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=305464 CPUtime=48.38 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 44757 0 0 0 4816 22 0 0 25 0 4 0 523145110 312795136 23779 33554432000 4194304 4627427 140736117672896 18446744073709551615 4420278 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 76366 23779 389 106 0 71337 0
[pid=14771/tid=14772] ppid=14769 vsize=305464 CPUtime=11.41 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 12134 0 0 0 1132 9 0 0 25 0 4 0 523145110 312795136 23779 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=305464 CPUtime=12.23 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 10080 0 0 0 1220 3 0 0 25 0 4 0 523145110 312795136 23779 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=305464 CPUtime=12.2 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 10327 0 0 0 1217 3 0 0 25 0 4 0 523145110 312795136 23779 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 48.38
Current children cumulated vsize (KiB) 305464

[startup+25.501 s]
/proc/loadavg: 5.15 6.40 7.27 10/182 14776
/proc/meminfo: memFree=31075644/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=287260 CPUtime=99.49 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 67409 0 0 0 9920 29 0 0 25 0 4 0 523145110 294154240 30377 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 71815 30377 389 106 0 66786 0
[pid=14771/tid=14772] ppid=14769 vsize=287260 CPUtime=24.19 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 19780 0 0 0 2408 11 0 0 25 0 4 0 523145110 294154240 30377 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=287260 CPUtime=25.02 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 13893 0 0 0 2498 4 0 0 25 0 4 0 523145110 294154240 30377 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=287260 CPUtime=24.92 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 14671 0 0 0 2488 4 0 0 25 0 4 0 523145110 294154240 30377 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 99.49
Current children cumulated vsize (KiB) 287260

[startup+51.1006 s]
/proc/loadavg: 6.20 6.54 7.29 10/182 14776
/proc/meminfo: memFree=31008108/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=373036 CPUtime=201.71 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 99676 0 0 0 20132 39 0 0 25 0 4 0 523145110 381988864 40330 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309130 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 93259 40330 389 106 0 88230 0
[pid=14771/tid=14772] ppid=14769 vsize=373036 CPUtime=49.77 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 26111 0 0 0 4964 13 0 0 25 0 4 0 523145110 381988864 40330 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=373036 CPUtime=50.61 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 23047 0 0 0 5054 7 0 0 25 0 4 0 523145110 381988864 40330 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=373036 CPUtime=50.38 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 22523 0 0 0 5032 6 0 0 25 0 4 0 523145110 381988864 40330 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 201.71
Current children cumulated vsize (KiB) 373036

[startup+102.307 s]
/proc/loadavg: 7.22 6.76 7.33 9/182 14778
/proc/meminfo: memFree=30943320/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=390972 CPUtime=406.18 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 139714 0 0 0 40565 53 0 0 25 0 4 0 523145110 400355328 50319 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 97743 50319 389 106 0 92714 0
[pid=14771/tid=14772] ppid=14769 vsize=390972 CPUtime=100.94 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 37052 0 0 0 10077 17 0 0 25 0 4 0 523145110 400355328 50319 33554432000 4194304 4627427 140736117672896 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=390972 CPUtime=101.8 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 36765 0 0 0 10168 12 0 0 25 0 4 0 523145110 400355328 50319 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=390972 CPUtime=101.31 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 33192 0 0 0 10121 10 0 0 25 0 4 0 523145110 400355328 50319 33554432000 4194304 4627427 140736117672896 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 406.18
Current children cumulated vsize (KiB) 390972

[startup+162.3 s]

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

[pid=14771] ppid=14769 vsize=596960 CPUtime=2800.41 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 405501 0 0 0 279863 178 0 0 25 0 4 0 523145110 611287040 111502 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 149240 111502 389 106 0 144211 0
[pid=14771/tid=14772] ppid=14769 vsize=596960 CPUtime=700.81 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 96998 0 0 0 70036 45 0 0 25 0 4 0 523145110 611287040 111502 33554432000 4194304 4627427 140736117672896 18446744073709551615 4326744 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=596960 CPUtime=700.51 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 103741 0 0 0 70003 48 0 0 25 0 4 0 523145110 611287040 111502 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=596960 CPUtime=697 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 93613 0 0 0 69660 40 0 0 25 0 4 0 523145110 611287040 111502 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.41
Current children cumulated vsize (KiB) 596960

[startup+762.301 s]
/proc/loadavg: 8.01 7.94 7.71 9/182 14825
/proc/meminfo: memFree=30577840/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=638728 CPUtime=3039.95 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 421124 0 0 0 303808 187 0 0 25 0 4 0 523145110 654057472 107743 33554432000 4194304 4627427 140736117672896 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 159682 107743 389 106 0 154653 0
[pid=14771/tid=14772] ppid=14769 vsize=638728 CPUtime=760.76 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 102361 0 0 0 76028 48 0 0 25 0 4 0 523145110 654057472 107743 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=638728 CPUtime=760.45 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 109446 0 0 0 75994 51 0 0 25 0 4 0 523145110 654057472 107743 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=638728 CPUtime=756.67 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 97265 0 0 0 75624 43 0 0 25 0 4 0 523145110 654057472 107743 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.95
Current children cumulated vsize (KiB) 638728

[startup+822.301 s]
/proc/loadavg: 8.08 7.97 7.74 9/182 14827
/proc/meminfo: memFree=30566508/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=586172 CPUtime=3279.56 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 443486 0 0 0 327759 197 0 0 25 0 4 0 523145110 600240128 109801 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 146543 109801 389 106 0 141514 0
[pid=14771/tid=14772] ppid=14769 vsize=586172 CPUtime=820.76 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 102981 0 0 0 82027 49 0 0 25 0 4 0 523145110 600240128 109801 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=586172 CPUtime=820.39 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 117107 0 0 0 81984 55 0 0 25 0 4 0 523145110 600240128 109801 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=586172 CPUtime=816.34 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 104214 0 0 0 81589 45 0 0 25 0 4 0 523145110 600240128 109801 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.56
Current children cumulated vsize (KiB) 586172

[startup+882.3 s]
/proc/loadavg: 8.18 8.02 7.76 9/182 14828
/proc/meminfo: memFree=30541900/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=623480 CPUtime=3519.15 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 467943 0 0 0 351706 209 0 0 25 0 4 0 523145110 638443520 116181 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 155870 116181 389 106 0 150841 0
[pid=14771/tid=14772] ppid=14769 vsize=623480 CPUtime=880.74 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 106040 0 0 0 88024 50 0 0 25 0 4 0 523145110 638443520 116181 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=623480 CPUtime=880.32 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 124288 0 0 0 87973 59 0 0 25 0 4 0 523145110 638443520 116181 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=623480 CPUtime=876.01 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 111378 0 0 0 87553 48 0 0 25 0 4 0 523145110 638443520 116181 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.15
Current children cumulated vsize (KiB) 623480

[startup+942.301 s]
/proc/loadavg: 8.10 8.03 7.78 9/182 14830
/proc/meminfo: memFree=30475148/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=636664 CPUtime=3758.74 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 490554 0 0 0 375655 219 0 0 25 0 4 0 523145110 651943936 127007 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 159166 127007 389 106 0 154137 0
[pid=14771/tid=14772] ppid=14769 vsize=636664 CPUtime=940.73 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 108849 0 0 0 94022 51 0 0 25 0 4 0 523145110 651943936 127007 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=636664 CPUtime=940.25 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 131396 0 0 0 93961 64 0 0 25 0 4 0 523145110 651943936 127007 33554432000 4194304 4627427 140736117672896 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=636664 CPUtime=935.69 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 116947 0 0 0 93520 49 0 0 25 0 4 0 523145110 651943936 127007 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.74
Current children cumulated vsize (KiB) 636664

[startup+1002.3 s]
/proc/loadavg: 8.15 8.05 7.80 9/182 14832
/proc/meminfo: memFree=30434796/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=702524 CPUtime=3998.34 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 508512 0 0 0 399605 229 0 0 25 0 4 0 523145110 719384576 131963 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 175631 131963 389 106 0 170602 0
[pid=14771/tid=14772] ppid=14769 vsize=702524 CPUtime=1000.71 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 111236 0 0 0 100019 52 0 0 25 0 4 0 523145110 719384576 131963 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=702524 CPUtime=1000.2 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 136575 0 0 0 99952 68 0 0 25 0 4 0 523145110 719384576 131963 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=702524 CPUtime=995.36 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 123408 0 0 0 99485 51 0 0 25 0 4 0 523145110 719384576 131963 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3998.34
Current children cumulated vsize (KiB) 702524

[startup+1062.3 s]
/proc/loadavg: 8.12 8.05 7.82 9/182 14833
/proc/meminfo: memFree=30442564/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=639104 CPUtime=4237.93 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 525362 0 0 0 423554 239 0 0 25 0 4 0 523145110 654442496 131199 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 159776 131199 389 106 0 154747 0
[pid=14771/tid=14772] ppid=14769 vsize=639104 CPUtime=1060.7 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 115153 0 0 0 106017 53 0 0 25 0 4 0 523145110 654442496 131199 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=639104 CPUtime=1060.13 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 140348 0 0 0 105941 72 0 0 25 0 4 0 523145110 654442496 131199 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=639104 CPUtime=1055.03 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 128387 0 0 0 105449 54 0 0 25 0 4 0 523145110 654442496 131199 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.93
Current children cumulated vsize (KiB) 639104

[startup+1122.3 s]
/proc/loadavg: 8.12 8.06 7.83 9/182 14835
/proc/meminfo: memFree=30413744/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=639316 CPUtime=4477.54 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 545329 0 0 0 447505 249 0 0 25 0 4 0 523145110 654659584 131088 33554432000 4194304 4627427 140736117672896 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 159829 131088 389 106 0 154800 0
[pid=14771/tid=14772] ppid=14769 vsize=639316 CPUtime=1120.71 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 115982 0 0 0 112017 54 0 0 25 0 4 0 523145110 654659584 131088 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=639316 CPUtime=1120.06 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 147583 0 0 0 111929 77 0 0 25 0 4 0 523145110 654659584 131088 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=639316 CPUtime=1114.71 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 132523 0 0 0 111415 56 0 0 25 0 4 0 523145110 654659584 131088 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.54
Current children cumulated vsize (KiB) 639316

[startup+1182.3 s]
/proc/loadavg: 8.12 8.06 7.84 9/182 14836
/proc/meminfo: memFree=30380464/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=693452 CPUtime=4717.12 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 558493 0 0 0 471456 256 0 0 25 0 4 0 523145110 710094848 131449 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 173363 131449 389 106 0 168334 0
[pid=14771/tid=14772] ppid=14769 vsize=693452 CPUtime=1180.71 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 116551 0 0 0 118017 54 0 0 25 0 4 0 523145110 710094848 131449 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=693452 CPUtime=1179.97 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 153524 0 0 0 117916 81 0 0 25 0 4 0 523145110 710094848 131449 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=693452 CPUtime=1174.38 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 134401 0 0 0 117382 56 0 0 25 0 4 0 523145110 710094848 131449 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.12
Current children cumulated vsize (KiB) 693452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.08 8.06 7.84 9/182 14837
/proc/meminfo: memFree=30368172/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=639728 CPUtime=4800.2 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 566165 0 0 0 479759 261 0 0 25 0 4 0 523145110 655081472 133315 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 159932 133315 389 106 0 154903 0
[pid=14771/tid=14772] ppid=14769 vsize=639728 CPUtime=1201.51 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 118124 0 0 0 120097 54 0 0 25 0 4 0 523145110 655081472 133315 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=639728 CPUtime=1200.75 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 155914 0 0 0 119992 83 0 0 25 0 4 0 523145110 655081472 133315 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=639728 CPUtime=1195.07 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 137049 0 0 0 119450 57 0 0 25 0 4 0 523145110 655081472 133315 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 639728

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

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

[startup+1203.1 s]
/proc/loadavg: 8.08 8.06 7.84 9/182 14837
/proc/meminfo: memFree=30368172/32951132 swapFree=67111364/67111528
[pid=14771] ppid=14769 vsize=639728 CPUtime=4800.2 cores=0,2,4,6
/proc/14771/stat : 14771 (strangenight2-m) R 14769 14771 13971 0 -1 4202496 566165 0 0 0 479759 261 0 0 25 0 4 0 523145110 655081472 133315 33554432000 4194304 4627427 140736117672896 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14771/statm: 159932 133315 389 106 0 154903 0
[pid=14771/tid=14772] ppid=14769 vsize=639728 CPUtime=1201.51 cores=0,2,4,6
/proc/14771/task/14772/stat : 14772 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 118124 0 0 0 120097 54 0 0 25 0 4 0 523145110 655081472 133315 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14771/tid=14773] ppid=14769 vsize=639728 CPUtime=1200.75 cores=0,2,4,6
/proc/14771/task/14773/stat : 14773 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 155914 0 0 0 119992 83 0 0 25 0 4 0 523145110 655081472 133315 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14771/tid=14774] ppid=14769 vsize=639728 CPUtime=1195.07 cores=0,2,4,6
/proc/14771/task/14774/stat : 14774 (strangenight2-m) R 14769 14771 13971 0 -1 4202560 137049 0 0 0 119450 57 0 0 25 0 4 0 523145110 655081472 133315 33554432000 4194304 4627427 140736117672896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 639728

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.25
CPU user time (s): 4797.62
CPU system time (s): 2.6366
CPU usage (%): 398.977
Max. virtual memory (cumulated for all children) (KiB): 821072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.62
system time used= 2.6366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566166
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= 755
involuntary context switches= 32934

runsolver used 1.81372 second user time and 5.07623 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-30 00:17:45
IDJOB=3174225
IDBENCH=83043
IDSOLVER=1586
FILE ID=node128/3174225-1304115465
RUNJOBID= node128-1304115463-14718
PBS_JOBID= 13170670
Free space on /tmp= 66968 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174225-1304115465/watcher-3174225-1304115465 -o /tmp/evaluation-result-3174225-1304115465/solver-3174225-1304115465 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174225-1304115465.cnf

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

MD5SUM BENCH= ad12e37a0f3b75f1b331fdb5e803c99f
RANDOM SEED=531863877

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:      31264832 kB
Buffers:        414228 kB
Cached:         782744 kB
SwapCached:          0 kB
Active:         145764 kB
Inactive:      1124824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31264832 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           11668 kB
Writeback:          12 kB
AnonPages:       73152 kB
Mapped:          16060 kB
Slab:           352112 kB
PageTables:       4508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   283440 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-30 00:37:50