Trace number 3366634

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366634-1305410851.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	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.00/0.07	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.57/0.46	c  N st    10     11305       638      2758         0      4494      8343     92123   no data   no data
2.78/0.75	c  N st    11     17048       638      2758         0     10162      8343    249545   no data   no data
4.41/1.17	c  F st    12     25000       638      2758         0     12479      8343    323338   no data   no data
4.41/1.17	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.43	c  N st    18     30000       638      2758         0     10772      8343    239383   no data   no data
5.57/1.43	c  S st    18     30000       638      2758         0     10772      8343    239383   no data   no data
5.57/1.46	c  S st    18     30503       638      2758         0     11275      8343    252349   no data   no data
5.57/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.46	c blocked clauses removed:        8 vars:      3 tried:         638 T: 0.00 s
5.57/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
5.57/1.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.47	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.57/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.52	c lits-rem:        69  cl-subs:      303  v-elim:      0  v-fix:    0  time:  0.04 s
5.97/1.53	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.01
5.97/1.53	c calculated reachability. Time: 0.00
5.97/1.53	c  N st    18     30503       634      2749         0     10946      8320    241687   no data   no data
7.57/1.96	c  N st    20     37613       634      2749         0     10213      8320    199975   no data   no data
9.16/2.38	c  N st    21     44012       634      2749         0     16497      8320    376313   no data   no data
9.95/2.51	c  S st    22     45754       634      2749         0      9423      8320    156701   no data   no data
9.95/2.54	c  S st    22     46257       634      2749         0      9924      8320    169829   no data   no data
9.95/2.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.95/2.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.95/2.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
9.95/2.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.95/2.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.95/2.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.56	c lits-rem:        12  cl-subs:       52  v-elim:      0  v-fix:    0  time:  0.01 s
9.95/2.56	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
9.95/2.56	c vivif2 --  cl tried     9872 cl shrink        0 lits rem          0 time: 0.00
9.95/2.57	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.01
9.95/2.57	c calculated reachability. Time: 0.00
9.95/2.57	c  N st    22     46257       634      2749         0      9872      8320    168187   no data   no data
13.94/3.54	c  N st    23     60655       634      2749         0     14273      8320    296202   no data   no data
16.74/4.22	c  N st    24     69386       634      2749         0     12040      8320    211937   no data   no data
16.74/4.22	c  S st    24     69386       634      2749         0     12040      8320    211937   no data   no data
16.74/4.26	c  S st    24     69890       634      2749         0     12544      8320    226044   no data   no data
16.74/4.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.74/4.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.74/4.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.74/4.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.74/4.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.74/4.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
16.74/4.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.74/4.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.74/4.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.74/4.30	c lits-rem:        29  cl-subs:      127  v-elim:      0  v-fix:    0  time:  0.02 s
16.74/4.30	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
16.74/4.30	c vivif2 --  cl tried    12417 cl shrink        0 lits rem          0 time: 0.00
16.74/4.31	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.01
17.16/4.31	c calculated reachability. Time: 0.00
17.16/4.31	c  N st    24     69890       634      2749         0     12417      8320    221690   no data   no data
22.32/5.67	c  F st    25     87501       634      2749         0     17919      8320    374262   no data   no data
22.32/5.67	c  N st    25     87501       634      2749         0     17919      8320    374262   no data   no data
23.92/6.08	c Decided on static restart strategy
25.13/6.34	c  N st    32     95542       634      2749         0     13050      8320    198328   no data   no data
27.91/7.05	c  N st    34    104835       634      2749         0     22150      8320    453833   no data   no data
27.91/7.05	c  S st    34    104835       634      2749         0     22150      8320    453833   no data   no data
28.31/7.10	c  S st    34    105338       634      2749         0     22652      8320    467205   no data   no data
28.31/7.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.31/7.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.31/7.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.31/7.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.31/7.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.31/7.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
28.31/7.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.31/7.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.31/7.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.27	c lits-rem:       184  cl-subs:      567  v-elim:      0  v-fix:    0  time:  0.14 s
28.71/7.27	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
28.71/7.28	c vivif2 --  cl tried    22085 cl shrink        0 lits rem          0 time: 0.00
28.71/7.29	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.01
28.71/7.29	c calculated reachability. Time: 0.00
28.71/7.29	c  N st    34    105338       634      2749         0     22085      8320    449532   no data   no data
31.90/8.08	c  N st    35    114937       634      2749         0     17824      8320    315990   no data   no data
37.49/9.43	c  N st    36    129334       634      2749         0     17208      8320    272741   no data   no data
45.46/11.42	c  N st    37    150930       634      2749         0     22633      8320    415165   no data   no data
47.88/12.07	c  S st    38    158009       634      2749         0     29606      8320    619395   no data   no data
48.30/12.14	c  S st    38    158517       634      2749         0     30114      8320    633864   no data   no data
48.30/12.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.30/12.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.30/12.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.30/12.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.30/12.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.30/12.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
48.30/12.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.30/12.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.30/12.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.26/12.63	c lits-rem:       245  cl-subs:     1292  v-elim:      0  v-fix:    0  time:  0.45 s
50.26/12.63	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
50.26/12.64	c vivif2 --  cl tried    28822 cl shrink        0 lits rem          0 time: 0.01
50.26/12.66	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.02
50.26/12.66	c calculated reachability. Time: 0.00
50.26/12.66	c  N st    38    158517       634      2749         0     28822      8320    594707   no data   no data
70.25/17.63	c  N st    39    207106       634      2749         0     23588      8320    400089   no data   no data
83.77/21.07	c  N st    40    237776       634      2749         0     34068      8320    678749   no data   no data
83.77/21.07	c  S st    40    237776       634      2749         0     34068      8320    678749   no data   no data
84.17/21.15	c  S st    40    238276       634      2749         0     34567      8320    692550   no data   no data
84.17/21.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.17/21.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.17/21.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.17/21.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.17/21.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.17/21.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
84.17/21.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.17/21.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.17/21.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.56/21.79	c lits-rem:       333  cl-subs:     1310  v-elim:      0  v-fix:    0  time:  0.59 s
86.56/21.79	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
86.56/21.79	c vivif2 --  cl tried    33257 cl shrink        0 lits rem          0 time: 0.01
86.96/21.82	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.02
86.96/21.82	c calculated reachability. Time: 0.00
86.96/21.82	c  N st    40    238276       634      2749         0     33257      8320    654026   no data   no data
118.88/29.85	c  F st    41    306253       634      2749         0     35205      8320    694542   no data   no data
118.88/29.85	c  N st    41    306253       634      2749         0     35205      8320    694542   no data   no data
129.26/32.47	c  N dy    87    326110       634      2749         0     31123      8320    455206     18.77     20.05
141.23/35.41	c  N dy   153    346353       634      2749         0     26446      8320    291142     18.39     19.47
146.41/36.70	c  S st   196    357419       634      2749         0     37426      8320    589592     18.35   no data
146.41/36.79	c  S st   196    357925       634      2749         0     37931      8320    602978     18.35   no data
146.81/36.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.81/36.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.81/36.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.81/36.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.81/36.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.81/36.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
146.81/36.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.81/36.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.81/36.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.61/37.00	c lits-rem:       118  cl-subs:      356  v-elim:      0  v-fix:    0  time:  0.16 s
147.61/37.00	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
147.61/37.01	c vivif2 --  cl tried    37575 cl shrink        0 lits rem          0 time: 0.01
147.61/37.03	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.03
147.61/37.04	c calculated reachability. Time: 0.00
147.61/37.04	c  N dy   196    357925       634      2749         0     37575      8320    591637     18.35   no data
164.37/41.25	c  N dy   306    386814       634      2749         0     40451      8320    650936     18.28     19.34
177.13/44.47	c  N dy   408    407089       634      2749         0     33786      8320    436381     18.36     19.34
191.50/48.03	c  N dy   512    427581       634      2749         0     54108      8320    996420     18.44     19.82
202.67/50.88	c  N dy   597    447812       634      2749         0     46396      8320    751561     18.43     19.51
216.24/54.25	c  N dy   703    467911       634      2749         0     37539      8320    483574     18.46     19.55
230.21/57.73	c  N dy   795    488039       634      2749         0     57472      8320   1042118     18.51     19.49
241.78/60.67	c  N dy   852    508147       634      2749         0     47640      8320    737459     18.46     19.64
257.34/64.51	c  N dy   976    528157       634      2749         0     36798      8320    420667     18.54     20.02
262.53/65.84	c  S st  1016    536889       634      2749         0     45447      8320    658563     18.56     18.25
262.94/65.95	c  S st  1016    537390       634      2749         0     45948      8320    672013     18.56   no data
262.94/65.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
262.94/65.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
262.94/65.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
262.94/65.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.94/65.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.94/65.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
262.94/65.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
262.94/65.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
262.94/66.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.11/66.26	c lits-rem:       180  cl-subs:      497  v-elim:      0  v-fix:    0  time:  0.26 s
264.11/66.26	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
264.11/66.27	c vivif2 --  cl tried    45451 cl shrink        0 lits rem          0 time: 0.01
264.51/66.30	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.03
264.51/66.30	c calculated reachability. Time: 0.00
264.51/66.30	c  N dy  1016    537390       634      2749         0     45451      8320    656716     18.56   no data
280.91/70.48	c  N dy  1056    559516       634      2749         0     35656      8320    363282     18.48     19.49
295.64/74.12	c  N dy  1120    581025       634      2749         0     56901      8320    932430     18.42     19.65
309.60/77.67	c  N dy  1178    601437       634      2749         0     44477      8320    584732     18.38     19.43
325.97/81.75	c  N dy  1289    621529       634      2749         0     64344      8320   1125094     18.42     22.84
339.93/85.22	c  N dy  1393    641715       634      2749         0     50700      8320    734450     18.44     19.45
357.89/89.70	c  N dy  1483    662058       634      2749         0     36206      8320    314004     18.45     19.45
371.05/93.09	c  N dy  1559    682207       634      2749         0     56163      8320    856967     18.43     19.42
387.82/97.28	c  N dy  1619    702248       634      2749         0     40355      8320    408470     18.40     23.54
404.57/101.45	c  N dy  1732    722307       634      2749         0     60242      8320    952108     18.44     19.73
423.32/106.11	c  N dy  1847    742714       634      2749         0     43809      8320    477788     18.48     19.51
443.31/111.12	c  N dy  1932    766717       634      2749         0     67547      8320   1129479     18.46     19.46
460.04/115.36	c  N dy  2035    786974       634      2749         0     49974      8320    626703     18.48     19.56
477.59/119.70	c  S st  2143    806087       634      2749         0     68920      8320   1152795     18.51   no data
478.01/119.88	c  S st  2143    806589       634      2749         0     69420      8320   1167241     18.51   no data
478.01/119.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
478.43/119.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
478.43/119.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
478.43/119.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
478.43/119.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.43/119.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
478.43/119.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
478.43/119.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
478.43/119.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
481.58/120.72	c lits-rem:       272  cl-subs:      978  v-elim:      0  v-fix:    0  time:  0.76 s
481.58/120.72	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
481.58/120.74	c vivif2 --  cl tried    68442 cl shrink        0 lits rem          0 time: 0.02
481.98/120.80	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.06
481.98/120.81	c calculated reachability. Time: 0.00
481.98/120.81	c  N dy  2143    806589       634      2749         0     68442      8320   1136310     18.51   no data
499.54/125.23	c  N dy  2221    826718       634      2749         0     49726      8320    581898     18.51     19.61
517.09/129.66	c  N dy  2294    846798       634      2749         0     69601      8320   1115253     18.51     22.62
536.64/134.50	c  N dy  2390    866878       634      2749         0     49840      8320    563591     18.52     19.53
553.39/138.76	c  N dy  2437    886972       634      2749         0     69636      8320   1098951     18.51     22.49
572.95/143.60	c  N dy  2533    907297       634      2749         0     49201      8320    538463     18.51     19.67
590.91/148.10	c  N dy  2645    927298       634      2749         0     69003      8320   1078220     18.53     19.79
612.06/153.47	c  N dy  2764    947452       634      2749         0     47443      8320    468082     18.57     19.65
630.81/158.13	c  N dy  2790    970096       634      2749         0     69734      8320   1059084     18.51     19.52
652.35/163.59	c  N dy  2886    990157       634      2749         0     47103      8320    439932     18.52     19.66
669.52/167.88	c  N dy  3008   1010187       634      2749         0     66945      8320    990520     18.55     20.03
694.25/174.02	c  N dy  3122   1030209       634      2749         0     86799      8320   1545726     18.58     19.58
709.82/177.94	c  N dy  3183   1050280       634      2749         0     63087      8320    850730     18.56     20.16
732.58/183.71	c  N dy  3283   1070316       634      2749         0     82926      8320   1399893     18.57     24.89
734.95/184.25	c  F st  3292   1071875       634      2749         0     84472      8320   1442449     18.58     17.60
741.77/185.94	c Decided on static restart strategy
750.91/188.24	c  N st  3301   1090579       634      2749         0     58376      8320    722458     18.58   no data
775.65/194.48	c  N st  3303   1114574       634      2749         0     81871      8320   1374588     18.58   no data
796.40/199.62	c  N st  3304   1136170       634      2749         0     57804      8320   1032988     18.58   no data
823.93/206.55	c  N st  3305   1168562       634      2749         0     89693      8320   2056729     18.58   no data
862.23/216.13	c  N st  3306   1209883       634      2749         0     83996      8320   1832312     18.58   no data
862.23/216.13	c  S st  3306   1209883       634      2749         0     83996      8320   1832312     18.58   no data
863.04/216.39	c  S st  3306   1210386       634      2749         0     84499      8320   1846736     18.58   no data
863.44/216.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
863.44/216.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
863.44/216.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
863.44/216.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
863.44/216.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
863.44/216.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
863.44/216.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
863.44/216.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
863.83/216.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
898.54/225.28	c lits-rem:       544  cl-subs:     5858  v-elim:      0  v-fix:    0  time:  8.76 s
898.54/225.28	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
898.94/225.30	c vivif2 --  cl tried    78641 cl shrink        0 lits rem          0 time: 0.02
898.94/225.39	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.08
898.94/225.39	c calculated reachability. Time: 0.00
898.94/225.39	c  N st  3306   1210386       634      2749         0     78641      8320   1665923     18.58   no data
978.78/245.36	c  N st  3307   1283268       634      2749         0     55121      8320    870160     18.58   no data
1103.23/276.53	c  N st  3308   1392592       634      2749         0     63158      8320   1037181     18.58   no data
1280.79/321.08	c  N st  3309   1556576       634      2749         0     67837      8320   1088068     18.58   no data
1459.54/365.83	c  N st  3310   1710387       634      2749         0    109907      8320   2328467     18.58   no data
1459.54/365.83	c  S st  3310   1710387       634      2749         0    109907      8320   2328467     18.58   no data
1460.74/366.20	c  S st  3310   1710892       634      2749         0    110411      8320   2342866     18.58   no data
1461.16/366.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1461.16/366.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1461.16/366.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1461.16/366.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1461.16/366.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1461.16/366.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
1461.16/366.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1461.16/366.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1461.57/366.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1534.56/384.65	c lits-rem:      1148  cl-subs:     7523  v-elim:      0  v-fix:    0  time: 18.27 s
1534.56/384.65	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
1534.56/384.68	c vivif2 --  cl tried   102888 cl shrink        0 lits rem          0 time: 0.03
1534.96/384.79	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.12
1535.36/384.80	c calculated reachability. Time: 0.00
1535.36/384.80	c  N st  3310   1710892       634      2749         0    102888      8320   2127067     18.58   no data
1974.26/494.84	c  N st  3311   2079857       634      2749         0    115325      8320   2566668     18.58   no data
2143.03/537.11	c  N st  3312   2210892       634      2749         0    119073      8320   2489825     18.58   no data
2143.03/537.11	c  S st  3312   2210892       634      2749         0    119073      8320   2489825     18.58   no data
2144.63/537.50	c  S st  3312   2211397       634      2749         0    119577      8320   2503262     18.58   no data
2144.63/537.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2144.63/537.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2144.63/537.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2144.63/537.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2144.63/537.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2144.63/537.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
2144.63/537.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2145.03/537.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2145.03/537.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2221.25/556.72	c lits-rem:      1169  cl-subs:     6864  v-elim:      0  v-fix:    0  time: 19.04 s
2221.25/556.72	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
2221.25/556.75	c vivif2 --  cl tried   112713 cl shrink        0 lits rem          0 time: 0.04
2221.65/556.89	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.13
2221.65/556.89	c calculated reachability. Time: 0.00
2221.65/556.89	c  N st  3312   2211397       634      2749         0    112713      8320   2285786     18.58   no data
2921.90/732.32	c  N st  3313   2711398       634      2749         0    135754      8320   2779736     18.58   no data
2921.90/732.32	c  S st  3313   2711398       634      2749         0    135754      8320   2779736     18.58   no data
2923.49/732.76	c  S st  3313   2711900       634      2749         0    136256      8320   2792995     18.58   no data
2923.49/732.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2923.89/732.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2923.89/732.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2923.89/732.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2923.89/732.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2923.89/732.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
2923.89/732.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2923.89/732.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2924.29/732.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3036.02/760.97	c lits-rem:       845  cl-subs:     9515  v-elim:      0  v-fix:    0  time: 28.00 s
3036.02/760.97	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
3036.42/761.00	c vivif2 --  cl tried   126741 cl shrink        0 lits rem          0 time: 0.03
3036.83/761.15	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.14
3036.83/761.15	c calculated reachability. Time: 0.00
3036.83/761.15	c  N st  3313   2711900       634      2749         0    126741      8320   2514488     18.58   no data
3676.42/921.45	c  N st  3314   3211901       634      2749         0    102653      8320   1636306     18.58   no data
3676.42/921.45	c  S st  3314   3211901       634      2749         0    102653      8320   1636306     18.58   no data
3678.06/921.89	c  S st  3314   3212401       634      2749         0    103153      8320   1650599     18.58   no data
3678.42/921.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3678.42/921.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.07
3678.42/921.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3678.42/921.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3678.42/921.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3678.42/921.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
3678.42/921.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3678.81/922.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3678.81/922.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3708.78/929.58	c lits-rem:       526  cl-subs:     3272  v-elim:      0  v-fix:    0  time:  7.53 s
3708.78/929.58	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
3709.13/929.61	c vivif2 --  cl tried    99881 cl shrink        0 lits rem          0 time: 0.02
3709.53/929.75	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.14
3709.53/929.75	c calculated reachability. Time: 0.00
3709.53/929.75	c  N st  3314   3212401       634      2749         0     99881      8320   1553488     18.58   no data
4464.06/1118.84	c  N st  3315   3712401       634      2749         0    110768      8320   1765707     18.58   no data
4464.06/1118.84	c  S st  3315   3712401       634      2749         0    110768      8320   1765707     18.58   no data
4465.25/1119.18	c  S st  3315   3712903       634      2749         0    111270      8320   1779397     18.58   no data
4465.25/1119.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4465.66/1119.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4465.66/1119.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4465.66/1119.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4465.66/1119.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4465.66/1119.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    634 time:  0.00 s
4465.66/1119.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4465.66/1119.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4466.06/1119.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4487.20/1124.69	c lits-rem:       256  cl-subs:     3944  v-elim:      0  v-fix:    0  time:  5.36 s
4487.20/1124.69	c vivif2 --  cl tried     2749 cl shrink        0 lits rem          0 time: 0.00
4487.60/1124.72	c vivif2 --  cl tried   107326 cl shrink        0 lits rem          0 time: 0.03
4488.00/1124.83	c asymm  cl-useful: 0/2749/2749 lits-rem:0 time: 0.12
4488.00/1124.84	c calculated reachability. Time: 0.00
4488.00/1124.84	c  N st  3315   3712903       634      2749         0    107326      8320   1667544     18.58   no data
4555.03/1141.61	c  F st  3316   3751565       634      2749         0    145243      8320   2795098     18.58   no data
4555.03/1141.61	c  N st  3316   3751565       634      2749         0    145243      8320   2795098     18.58   no data
4564.65/1144.10	c Decided on static restart strategy
4624.05/1158.96	c  N st  3326   3779868       634      2749         0     89790      8320   1033297     18.58   no data
4685.09/1174.27	c  N st  3328   3815863       634      2749         0    125044      8320   2041561     18.58   no data
4748.56/1190.19	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: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.03 5/311 14289
/proc/meminfo: memFree=12307272/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 407 0 0 0 1 0 0 0 22 0 4 0 652683867 52396032 347 33554432000 4194304 4580107 140733808111104 18446744073709551615 47658856347570 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 12792 347 299 95 0 7774 0
[pid=14289/tid=14290] ppid=14287 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652683868 52396032 347 33554432000 4194304 4580107 140733808111104 18446744073709551615 47658856347564 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652683868 52396032 347 33554432000 4194304 4580107 140733808111104 18446744073709551615 47658856347570 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652683868 52396032 347 33554432000 4194304 4580107 140733808111104 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0952829 s]
/proc/loadavg: 0.00 0.00 0.03 5/311 14289
/proc/meminfo: memFree=12307272/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=347484 CPUtime=0.35 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 1861 0 0 0 35 0 0 0 24 0 4 0 652683867 355823616 1693 33554432000 4194304 4580107 140733808111104 18446744073709551615 235594563695 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 86871 1693 377 95 0 81853 0
[pid=14289/tid=14290] ppid=14287 vsize=347484 CPUtime=0.09 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 375 0 0 0 9 0 0 0 24 0 4 0 652683868 355823616 1693 33554432000 4194304 4580107 140733808111104 18446744073709551615 4281682 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=347484 CPUtime=0.09 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 389 0 0 0 9 0 0 0 24 0 4 0 652683868 355823616 1693 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=347484 CPUtime=0.08 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 281 0 0 0 8 0 0 0 25 0 4 0 652683868 355823616 1693 33554432000 4194304 4580107 140733808111104 18446744073709551615 4318731 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 347484

[startup+0.100281 s]
/proc/loadavg: 0.00 0.00 0.03 5/311 14289
/proc/meminfo: memFree=12307272/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=347484 CPUtime=0.37 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 1885 0 0 0 37 0 0 0 24 0 4 0 652683867 355823616 1717 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 86871 1717 377 95 0 81853 0
[pid=14289/tid=14290] ppid=14287 vsize=347484 CPUtime=0.09 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 385 0 0 0 9 0 0 0 24 0 4 0 652683868 355823616 1717 33554432000 4194304 4580107 140733808111104 18446744073709551615 4306008 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=347484 CPUtime=0.09 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 394 0 0 0 9 0 0 0 24 0 4 0 652683868 355823616 1717 33554432000 4194304 4580107 140733808111104 18446744073709551615 4295327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=347484 CPUtime=0.08 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 286 0 0 0 8 0 0 0 25 0 4 0 652683868 355823616 1717 33554432000 4194304 4580107 140733808111104 18446744073709551615 4342220 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 347484

[startup+0.300246 s]
/proc/loadavg: 0.00 0.00 0.03 5/311 14289
/proc/meminfo: memFree=12307272/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=349136 CPUtime=1.17 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 3028 0 0 0 117 0 0 0 25 0 4 0 652683867 357515264 2171 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 87284 2171 377 95 0 82266 0
[pid=14289/tid=14290] ppid=14287 vsize=349136 CPUtime=0.29 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 681 0 0 0 29 0 0 0 25 0 4 0 652683868 357515264 2171 33554432000 4194304 4580107 140733808111104 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=349136 CPUtime=0.29 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 661 0 0 0 29 0 0 0 25 0 4 0 652683868 357515264 2171 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=349136 CPUtime=0.28 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 578 0 0 0 28 0 0 0 25 0 4 0 652683868 357515264 2171 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 349136

[startup+0.700176 s]
/proc/loadavg: 0.00 0.00 0.03 5/311 14289
/proc/meminfo: memFree=12307272/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=350176 CPUtime=2.78 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 4822 0 0 0 277 1 0 0 25 0 4 0 652683867 358580224 2938 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 87544 2938 377 95 0 82526 0
[pid=14289/tid=14290] ppid=14287 vsize=350176 CPUtime=0.69 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 1099 0 0 0 69 0 0 0 25 0 4 0 652683868 358580224 2938 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=350176 CPUtime=0.69 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 1125 0 0 0 69 0 0 0 25 0 4 0 652683868 358580224 2938 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=350176 CPUtime=0.68 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 1049 0 0 0 68 0 0 0 25 0 4 0 652683868 358580224 2938 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 350176

[startup+1.50104 s]
/proc/loadavg: 0.64 0.13 0.08 9/315 14293
/proc/meminfo: memFree=12285540/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=351420 CPUtime=5.97 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 9776 0 0 0 595 2 0 0 25 0 4 0 652683867 359854080 5038 33554432000 4194304 4580107 140733808111104 18446744073709551615 4406400 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 87855 5038 379 95 0 82837 0
[pid=14289/tid=14290] ppid=14287 vsize=351420 CPUtime=1.49 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 1951 0 0 0 149 0 0 0 25 0 4 0 652683868 359854080 5038 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=351420 CPUtime=1.49 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 1990 0 0 0 149 0 0 0 25 0 4 0 652683868 359854080 5038 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=351420 CPUtime=1.47 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 1899 0 0 0 147 0 0 0 25 0 4 0 652683868 359854080 5038 33554432000 4194304 4580107 140733808111104 18446744073709551615 4342192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 351420

[startup+3.10076 s]
/proc/loadavg: 0.64 0.13 0.08 9/315 14294
/proc/meminfo: memFree=12254428/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=352096 CPUtime=12.36 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 19090 0 0 0 1232 4 0 0 25 0 4 0 652683867 360546304 10795 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 88024 10795 379 95 0 83006 0
[pid=14289/tid=14290] ppid=14287 vsize=352096 CPUtime=3.09 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 4385 0 0 0 309 0 0 0 25 0 4 0 652683868 360546304 10795 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=352096 CPUtime=3.08 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 5270 0 0 0 308 0 0 0 25 0 4 0 652683868 360546304 10795 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=352096 CPUtime=3.06 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 4257 0 0 0 305 1 0 0 25 0 4 0 652683868 360546304 10795 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 352096

[startup+6.30119 s]
/proc/loadavg: 0.64 0.13 0.08 9/315 14294
/proc/meminfo: memFree=12198384/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=371496 CPUtime=25.13 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 29616 0 0 0 2507 6 0 0 25 0 4 0 652683867 380411904 15224 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 92874 15224 379 95 0 87856 0
[pid=14289/tid=14290] ppid=14287 vsize=371496 CPUtime=6.29 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 8355 0 0 0 628 1 0 0 25 0 4 0 652683868 380411904 15224 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=371496 CPUtime=6.29 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 7223 0 0 0 628 1 0 0 25 0 4 0 652683868 380411904 15224 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=371496 CPUtime=6.22 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 6350 0 0 0 621 1 0 0 25 0 4 0 652683868 380411904 15224 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 371496

[startup+12.7011 s]
/proc/loadavg: 1.77 0.39 0.16 9/315 14294
/proc/meminfo: memFree=12117008/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=352856 CPUtime=50.66 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 48975 0 0 0 5057 9 0 0 25 0 4 0 652683867 361324544 27679 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 88214 27679 379 95 0 83196 0
[pid=14289/tid=14290] ppid=14287 vsize=352856 CPUtime=12.69 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 13113 0 0 0 1267 2 0 0 25 0 4 0 652683868 361324544 27679 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=352856 CPUtime=12.69 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 10737 0 0 0 1268 1 0 0 25 0 4 0 652683868 361324544 27679 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=352856 CPUtime=12.56 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 11419 0 0 0 1254 2 0 0 25 0 4 0 652683868 361324544 27679 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 352856

[startup+25.5008 s]
/proc/loadavg: 2.73 0.64 0.24 10/315 14294
/proc/meminfo: memFree=12057464/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=399700 CPUtime=101.72 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 70404 0 0 0 10157 15 0 0 25 0 4 0 652683867 409292800 33808 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 99925 33808 379 95 0 94907 0
[pid=14289/tid=14290] ppid=14287 vsize=399700 CPUtime=25.49 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 19055 0 0 0 2546 3 0 0 25 0 4 0 652683868 409292800 33808 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=399700 CPUtime=25.49 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 15609 0 0 0 2546 3 0 0 25 0 4 0 652683868 409292800 33808 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=399700 CPUtime=25.23 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 15946 0 0 0 2520 3 0 0 25 0 4 0 652683868 409292800 33808 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 399700

[startup+51.1003 s]
/proc/loadavg: 4.53 1.23 0.45 9/315 14295
/proc/meminfo: memFree=11993756/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=354168 CPUtime=203.86 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 101741 0 0 0 20362 24 0 0 25 0 4 0 652683867 362668032 41915 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 88542 41915 379 95 0 83524 0
[pid=14289/tid=14290] ppid=14287 vsize=354168 CPUtime=51.09 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 28039 0 0 0 5103 6 0 0 25 0 4 0 652683868 362668032 41915 33554432000 4194304 4580107 140733808111104 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=354168 CPUtime=51.09 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 26859 0 0 0 5102 7 0 0 25 0 4 0 652683868 362668032 41915 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=354168 CPUtime=50.57 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 22411 0 0 0 5052 5 0 0 25 0 4 0 652683868 362668032 41915 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 354168

[startup+102.312 s]
/proc/loadavg: 6.71 2.40 0.89 9/315 14296
/proc/meminfo: memFree=11901348/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=442492 CPUtime=408.2 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 137429 0 0 0 40781 39 0 0 25 0 4 0 652683867 453111808 53294 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 110623 53294 379 95 0 105605 0
[pid=14289/tid=14290] ppid=14287 vsize=442492 CPUtime=102.31 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 39488 0 0 0 10220 11 0 0 25 0 4 0 652683868 453111808 53294 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=442492 CPUtime=102.3 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 36672 0 0 0 10219 11 0 0 25 0 4 0 652683868 453111808 53294 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=442492 CPUtime=101.26 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 28226 0 0 0 10120 6 0 0 25 0 4 0 652683868 453111808 53294 33554432000 4194304 4580107 140733808111104 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 442492

[startup+162.301 s]

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

[pid=14289] ppid=14287 vsize=633264 CPUtime=2562.82 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 403769 0 0 0 256124 158 0 0 25 0 4 0 652683867 648462336 102270 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 158316 102270 379 95 0 153298 0
[pid=14289/tid=14290] ppid=14287 vsize=633264 CPUtime=642.31 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 93261 0 0 0 64195 36 0 0 25 0 4 0 652683868 648462336 102272 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=633264 CPUtime=642.29 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 108292 0 0 0 64189 40 0 0 25 0 4 0 652683868 648462336 102272 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=633264 CPUtime=635.88 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 103957 0 0 0 63547 41 0 0 25 0 4 0 652683868 648462336 102272 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.82
Current children cumulated vsize (KiB) 633264

[startup+702.301 s]
/proc/loadavg: 8.13 7.36 4.32 9/315 14312
/proc/meminfo: memFree=11436184/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=580512 CPUtime=2802.2 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 426375 0 0 0 280048 172 0 0 25 0 4 0 652683867 594444288 106719 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 145128 106719 379 95 0 140110 0
[pid=14289/tid=14290] ppid=14287 vsize=580512 CPUtime=702.31 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 96464 0 0 0 70192 39 0 0 25 0 4 0 652683868 594444288 106719 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=580512 CPUtime=702.28 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 117026 0 0 0 70184 44 0 0 25 0 4 0 652683868 594444288 106719 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=580512 CPUtime=695.28 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 108732 0 0 0 69483 45 0 0 25 0 4 0 652683868 594444288 106719 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.2
Current children cumulated vsize (KiB) 580512

[startup+762.312 s]
/proc/loadavg: 8.21 7.52 4.57 9/315 14314
/proc/meminfo: memFree=11438020/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=698268 CPUtime=3041.64 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 452322 0 0 0 303980 184 0 0 25 0 4 0 652683867 715026432 108538 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 174567 108538 379 95 0 169549 0
[pid=14289/tid=14290] ppid=14287 vsize=698268 CPUtime=762.31 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 101836 0 0 0 76190 41 0 0 25 0 4 0 652683868 715026432 108538 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=698268 CPUtime=762.29 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 121686 0 0 0 76181 48 0 0 25 0 4 0 652683868 715026432 108538 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=698268 CPUtime=754.68 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 115922 0 0 0 75421 47 0 0 25 0 4 0 652683868 715026432 108538 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.64
Current children cumulated vsize (KiB) 698268

[startup+822.3 s]
/proc/loadavg: 8.13 7.62 4.78 9/315 14315
/proc/meminfo: memFree=11399796/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=660424 CPUtime=3281 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 480873 0 0 0 327905 195 0 0 25 0 4 0 652683867 676274176 114312 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 165106 114312 379 95 0 160088 0
[pid=14289/tid=14290] ppid=14287 vsize=660424 CPUtime=822.31 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 105308 0 0 0 82188 43 0 0 25 0 4 0 652683868 676274176 114312 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=660424 CPUtime=822.27 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 130713 0 0 0 82176 51 0 0 25 0 4 0 652683868 676274176 114312 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=660424 CPUtime=814.08 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 122832 0 0 0 81358 50 0 0 25 0 4 0 652683868 676274176 114312 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281
Current children cumulated vsize (KiB) 660424

[startup+882.301 s]
/proc/loadavg: 8.15 7.72 4.99 9/315 14317
/proc/meminfo: memFree=11351272/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=686580 CPUtime=3520.41 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 506234 0 0 0 351832 209 0 0 25 0 4 0 652683867 703057920 121436 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 171645 121436 379 95 0 166627 0
[pid=14289/tid=14290] ppid=14287 vsize=686580 CPUtime=882.31 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 110889 0 0 0 88186 45 0 0 25 0 4 0 652683868 703057920 121436 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=686580 CPUtime=882.28 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 135152 0 0 0 88173 55 0 0 25 0 4 0 652683868 703057920 121436 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=686580 CPUtime=873.48 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 129844 0 0 0 87294 54 0 0 25 0 4 0 652683868 703057920 121436 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.41
Current children cumulated vsize (KiB) 686580

[startup+942.3 s]
/proc/loadavg: 8.19 7.81 5.19 9/315 14319
/proc/meminfo: memFree=11353356/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=660996 CPUtime=3759.81 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 529304 0 0 0 375759 222 0 0 25 0 4 0 652683867 676859904 119925 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 165249 119925 379 95 0 160231 0
[pid=14289/tid=14290] ppid=14287 vsize=660996 CPUtime=942.31 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 113092 0 0 0 94185 46 0 0 25 0 4 0 652683868 676859904 119925 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=660996 CPUtime=942.27 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 141990 0 0 0 94167 60 0 0 25 0 4 0 652683868 676859904 119925 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=660996 CPUtime=932.89 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 136906 0 0 0 93232 57 0 0 25 0 4 0 652683868 676859904 119925 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.81
Current children cumulated vsize (KiB) 660996

[startup+1002.3 s]
/proc/loadavg: 8.11 7.86 5.37 9/315 14320
/proc/meminfo: memFree=11319096/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=713784 CPUtime=3999.21 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 553398 0 0 0 399686 235 0 0 25 0 4 0 652683867 730914816 121245 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 178446 121245 379 95 0 173428 0
[pid=14289/tid=14290] ppid=14287 vsize=713784 CPUtime=1002.31 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 114864 0 0 0 100184 47 0 0 25 0 4 0 652683868 730914816 121245 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=713784 CPUtime=1002.28 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 150629 0 0 0 100164 64 0 0 25 0 4 0 652683868 730914816 121245 33554432000 4194304 4580107 140733808111104 18446744073709551615 4305164 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=713784 CPUtime=992.28 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 143382 0 0 0 99168 60 0 0 25 0 4 0 652683868 730914816 121245 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.21
Current children cumulated vsize (KiB) 713784

[startup+1062.3 s]
/proc/loadavg: 8.08 7.89 5.54 9/315 14322
/proc/meminfo: memFree=11254576/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=727124 CPUtime=4238.62 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 583698 0 0 0 423615 247 0 0 25 0 4 0 652683867 744574976 124643 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 181781 124643 379 95 0 176763 0
[pid=14289/tid=14290] ppid=14287 vsize=727124 CPUtime=1062.32 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 123662 0 0 0 106181 51 0 0 25 0 4 0 652683868 744574976 124643 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=727124 CPUtime=1062.27 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 157820 0 0 0 106160 67 0 0 25 0 4 0 652683868 744574976 124643 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=727124 CPUtime=1051.68 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 150187 0 0 0 105105 63 0 0 25 0 4 0 652683868 744574976 124643 33554432000 4194304 4580107 140733808111104 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.62
Current children cumulated vsize (KiB) 727124

[startup+1122.3 s]
/proc/loadavg: 8.11 7.94 5.70 9/315 14323
/proc/meminfo: memFree=11277992/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=780812 CPUtime=4478.02 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 607041 0 0 0 447544 258 0 0 25 0 4 0 652683867 799551488 128722 33554432000 4194304 4580107 140733808111104 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 195203 128722 379 95 0 190185 0
[pid=14289/tid=14290] ppid=14287 vsize=780812 CPUtime=1122.32 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 126488 0 0 0 112180 52 0 0 25 0 4 0 652683868 799551488 128722 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=780812 CPUtime=1122.28 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 165351 0 0 0 112157 71 0 0 25 0 4 0 652683868 799551488 128722 33554432000 4194304 4580107 140733808111104 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=780812 CPUtime=1111.08 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 155933 0 0 0 111042 66 0 0 25 0 4 0 652683868 799551488 128722 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.02
Current children cumulated vsize (KiB) 780812

[startup+1182.3 s]
/proc/loadavg: 8.07 7.96 5.85 9/315 14325
/proc/meminfo: memFree=11226236/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=846860 CPUtime=4717.42 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 629112 0 0 0 471472 270 0 0 25 0 4 0 652683867 867184640 127560 33554432000 4194304 4580107 140733808111104 18446744073709551615 4324093 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 211715 127560 379 95 0 206697 0
[pid=14289/tid=14290] ppid=14287 vsize=846860 CPUtime=1182.32 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 130472 0 0 0 118177 55 0 0 25 0 4 0 652683868 867184640 127561 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=846860 CPUtime=1182.28 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 171408 0 0 0 118154 74 0 0 25 0 4 0 652683868 867184640 127561 33554432000 4194304 4580107 140733808111104 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=846860 CPUtime=1170.48 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 163188 0 0 0 116979 69 0 0 25 0 4 0 652683868 867184640 127561 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.42
Current children cumulated vsize (KiB) 846860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.12 7.98 5.90 5/310 14327
/proc/meminfo: memFree=11804980/32950928 swapFree=67111348/67111528
[pid=14289] ppid=14287 vsize=793236 CPUtime=4800.03 cores=1,3,5,7
/proc/14289/stat : 14289 (strangenight2-m) R 14287 14289 14248 0 -1 4202496 637327 0 0 0 479729 274 0 0 25 0 4 0 652683867 812273664 127110 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14289/statm: 198309 127110 379 95 0 193291 0
[pid=14289/tid=14290] ppid=14287 vsize=793236 CPUtime=1203.03 cores=1,3,5,7
/proc/14289/task/14290/stat : 14290 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 130472 0 0 0 120248 55 0 0 25 0 4 0 652683868 812273664 127112 33554432000 4194304 4580107 140733808111104 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14289/tid=14291] ppid=14287 vsize=793236 CPUtime=1202.99 cores=1,3,5,7
/proc/14289/task/14291/stat : 14291 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 174437 0 0 0 120224 75 0 0 25 0 4 0 652683868 812273664 127112 33554432000 4194304 4580107 140733808111104 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14289/tid=14292] ppid=14287 vsize=793236 CPUtime=1190.97 cores=1,3,5,7
/proc/14289/task/14292/stat : 14292 (strangenight2-m) R 14287 14289 14248 0 -1 4202560 165742 0 0 0 119027 70 0 0 25 0 4 0 652683868 812273664 127112 33554432000 4194304 4580107 140733808111104 18446744073709551615 4324252 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 793236

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): 1203.04
CPU time (s): 4800.1
CPU user time (s): 4797.33
CPU system time (s): 2.76258
CPU usage (%): 398.997
Max. virtual memory (cumulated for all children) (KiB): 948864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.33
system time used= 2.76258
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637329
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= 410
involuntary context switches= 34203

runsolver used 3.2795 second user time and 8.78766 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-15 00:07:31
IDJOB=3366634
IDBENCH=83043
IDSOLVER=1844
FILE ID=node120/3366634-1305410851
RUNJOBID= node120-1305410849-14267
PBS_JOBID= 13324526
Free space on /tmp= 73504 MiB

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

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

MD5SUM BENCH= ad12e37a0f3b75f1b331fdb5e803c99f
RANDOM SEED=1865181958

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12307552 kB
Buffers:        257740 kB
Cached:        3583508 kB
SwapCached:          0 kB
Active:       17377092 kB
Inactive:      2977496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12307552 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11096 kB
Writeback:           0 kB
AnonPages:    16513048 kB
Mapped:          25108 kB
Slab:           174764 kB
PageTables:      48708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51643944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73500 MiB
End job on node120 at 2011-05-15 00:27:36