Trace number 3366441

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.31 1203.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf
MD5SUMeb55252a6fac55d328f4d31fcc6e53bd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark332.178
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-3366441-1305404276.cnf'
0.00/0.01	c -- header says num vars:            100
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1.97/0.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.97/0.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.97/0.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.97/0.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1.97/0.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.97/0.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
1.97/0.54	c Finding binary XORs  T:     0.00 s  found:       0
1.97/0.54	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.97/0.54	c calculated reachability. Time: 0.00
1.97/0.54	c Calc default polars -  time:   0.00 s pos:      39 undec:       3 neg:      58
1.97/0.54	c =========================================================================================
1.97/0.54	c types(t): F = full restart, N = normal restart
1.97/0.54	c types(t): S = simplification begin/end, E = solution found
1.97/0.54	c restart types(rt): st = static, dy = dynamic
1.97/0.54	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4917       100      2130         0      4611     10650    102865   no data   no data
3.57/0.90	c  N st    10     11301       100      2130         0      4223     10650     73804   no data   no data
3.57/0.90	c  N st    11     17045       100      2130         0      9567     10650    188829   no data   no data
3.57/0.90	c  F st    12     25000       100      2130         0     11730     10650    234778   no data   no data
3.57/0.90	c  N st    12     25000       100      2130         0     11730     10650    234778   no data   no data
3.99/1.10	c Decided on static restart strategy
3.99/1.10	c  N st    18     30000       100      2130         0     10073     10650    186409   no data   no data
3.99/1.10	c  S st    18     30000       100      2130         0     10073     10650    186409   no data   no data
3.99/1.10	c  S st    18     30501       100      2130         0     10553     10650    196987   no data   no data
3.99/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.99/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.99/1.10	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.99/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.99/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.99/1.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.99/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.75/1.20	c lits-rem:       221  cl-subs:     1821  v-elim:      0  v-fix:    0  time:  0.16 s
4.75/1.23	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.75/1.24	c calculated reachability. Time: 0.00
4.75/1.24	c  N st    18     30501       100      2130         0      8732     10650    158099   no data   no data
5.96/1.55	c  N st    20     37611       100      2130         0      8052     10650    132199   no data   no data
7.15/1.82	c  N st    21     44010       100      2130         0     14017     10650    259720   no data   no data
7.55/1.91	c  S st    22     45751       100      2130         0     15648     10650    295523   no data   no data
7.55/1.95	c  S st    22     46256       100      2130         0     16130     10650    306591   no data   no data
7.55/1.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.55/1.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.55/1.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.55/1.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.55/1.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.55/1.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.55/1.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.55/1.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.55/1.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.31	c lits-rem:       425  cl-subs:     2053  v-elim:      0  v-fix:    0  time:  0.34 s
9.14/2.31	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.14/2.32	c vivif2 --  cl tried    14077 cl shrink        0 lits rem          0 time: 0.00
9.14/2.37	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.14/2.37	c calculated reachability. Time: 0.00
9.14/2.37	c  N st    22     46256       100      2130         0     14077     10650    262560   no data   no data
11.94/3.09	c  N st    23     60654       100      2130         0      9933     10650    148979   no data   no data
13.93/3.51	c  N st    24     69384       100      2130         0     17986     10650    328480   no data   no data
13.93/3.51	c  S st    24     69384       100      2130         0     17986     10650    328480   no data   no data
13.93/3.56	c  S st    24     69890       100      2130         0     18475     10650    339567   no data   no data
13.93/3.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.93/3.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
13.93/3.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.93/3.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.93/3.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.93/3.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
13.93/3.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.93/3.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.93/3.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.07	c lits-rem:       606  cl-subs:     2252  v-elim:      0  v-fix:    0  time:  0.49 s
15.93/4.07	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
15.93/4.07	c vivif2 --  cl tried    16223 cl shrink        0 lits rem          0 time: 0.00
16.33/4.13	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.33/4.13	c calculated reachability. Time: 0.00
16.33/4.13	c  N st    24     69890       100      2130         0     16223     10650    290664   no data   no data
20.31/5.10	c  F st    25     87500       100      2130         0     11397     10650    163660   no data   no data
20.31/5.10	c  N st    25     87500       100      2130         0     11397     10650    163660   no data   no data
21.11/5.36	c Decided on static restart strategy
21.95/5.55	c  N st    32     95537       100      2130         0     18851     10650    323498   no data   no data
24.30/6.12	c  N st    34    104837       100      2130         0     15455     10650    248549   no data   no data
24.30/6.12	c  S st    34    104837       100      2130         0     15455     10650    248549   no data   no data
24.30/6.16	c  S st    34    105339       100      2130         0     15933     10650    259231   no data   no data
24.30/6.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.30/6.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
24.30/6.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.30/6.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.30/6.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.30/6.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
24.30/6.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.30/6.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.30/6.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.10/6.33	c lits-rem:       308  cl-subs:     1197  v-elim:      0  v-fix:    0  time:  0.16 s
25.10/6.33	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.10/6.34	c vivif2 --  cl tried    14736 cl shrink        0 lits rem          0 time: 0.00
25.10/6.39	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.10/6.39	c calculated reachability. Time: 0.00
25.10/6.39	c  N st    34    105339       100      2130         0     14736     10650    233807   no data   no data
27.49/6.97	c  N st    35    114937       100      2130         0     23652     10650    429075   no data   no data
31.08/7.85	c  N st    36    129334       100      2130         0     24087     10650    422935   no data   no data
37.06/9.37	c  N st    37    150929       100      2130         0     15344     10650    205712   no data   no data
38.66/9.79	c  S st    38    158009       100      2130         0     21928     10650    349244   no data   no data
39.08/9.85	c  S st    38    158515       100      2130         0     22409     10650    359758   no data   no data
39.08/9.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.08/9.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
39.08/9.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.08/9.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.08/9.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.08/9.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
39.08/9.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.08/9.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
39.08/9.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.65/10.28	c lits-rem:       253  cl-subs:     2176  v-elim:      0  v-fix:    0  time:  0.41 s
40.65/10.28	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
40.65/10.29	c vivif2 --  cl tried    20233 cl shrink        0 lits rem          0 time: 0.00
41.05/10.36	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
41.05/10.36	c calculated reachability. Time: 0.00
41.05/10.36	c  N st    38    158515       100      2130         0     20233     10650    314326   no data   no data
55.41/13.91	c  N st    39    207103       100      2130         0     32665     10650    542010   no data   no data
65.83/16.58	c  N st    40    237772       100      2130         0     25087     10650    376814   no data   no data
65.83/16.58	c  S st    40    237772       100      2130         0     25087     10650    376814   no data   no data
66.17/16.64	c  S st    40    238279       100      2130         0     25568     10650    387630   no data   no data
66.17/16.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
66.17/16.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
66.17/16.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.17/16.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.17/16.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.17/16.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
66.17/16.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
66.17/16.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
66.17/16.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.17/17.10	c lits-rem:       473  cl-subs:     2143  v-elim:      0  v-fix:    0  time:  0.44 s
68.17/17.10	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
68.17/17.10	c vivif2 --  cl tried    23425 cl shrink        0 lits rem          0 time: 0.00
68.17/17.19	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
68.17/17.19	c calculated reachability. Time: 0.00
68.17/17.19	c  N st    40    238279       100      2130         0     23425     10650    346334   no data   no data
92.15/23.18	c  F st    41    306251       100      2130         0     25452     10650    354325   no data   no data
92.15/23.18	c  N st    41    306251       100      2130         0     25452     10650    354325   no data   no data
94.10/23.64	c Decided on static restart strategy
103.67/26.09	c  N st    51    334554       100      2130         0     29519     10650    429036   no data   no data
112.84/28.37	c  N st    53    357420       100      2130         0     27594     10650    379699   no data   no data
112.84/28.37	c  S st    53    357420       100      2130         0     27594     10650    379699   no data   no data
113.24/28.45	c  S st    53    357924       100      2130         0     28075     10650    390263   no data   no data
113.24/28.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
113.24/28.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
113.24/28.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
113.24/28.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
113.24/28.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
113.24/28.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
113.24/28.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
113.24/28.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
113.24/28.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.43/28.76	c lits-rem:       260  cl-subs:     1268  v-elim:      0  v-fix:    0  time:  0.29 s
114.43/28.76	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
114.43/28.76	c vivif2 --  cl tried    26807 cl shrink        0 lits rem          0 time: 0.00
114.83/28.87	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
114.83/28.87	c calculated reachability. Time: 0.00
114.83/28.87	c  N st    53    357924       100      2130         0     26807     10650    362792   no data   no data
128.79/32.30	c  N st    54    390317       100      2130         0     32680     10650    470436   no data   no data
151.12/37.96	c  N st    55    438906       100      2130         0     26649     10650    323078   no data   no data
183.84/46.21	c  N st    56    511788       100      2130         0     39377     10650    572209   no data   no data
196.59/49.35	c  N st    57    536886       100      2130         0     34017     10650    449420   no data   no data
196.59/49.35	c  S st    57    536886       100      2130         0     34017     10650    449420   no data   no data
197.01/49.44	c  S st    57    537387       100      2130         0     34489     10650    460352   no data   no data
197.01/49.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
197.01/49.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
197.01/49.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
197.01/49.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
197.01/49.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
197.01/49.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
197.01/49.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
197.01/49.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
197.01/49.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.97/49.93	c lits-rem:       319  cl-subs:     1853  v-elim:      0  v-fix:    0  time:  0.47 s
198.97/49.93	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
198.97/49.94	c vivif2 --  cl tried    32636 cl shrink        0 lits rem          0 time: 0.01
199.37/50.07	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.13
199.37/50.07	c calculated reachability. Time: 0.00
199.37/50.07	c  N st    57    537387       100      2130         0     32636     10650    424091   no data   no data
282.73/70.98	c  N st    58    701372       100      2130         0     60112     10650    971626   no data   no data
341.77/85.77	c  N st    59    806081       100      2130         0     54002     10650    780843   no data   no data
341.77/85.77	c  S st    59    806081       100      2130         0     54002     10650    780843   no data   no data
342.54/85.91	c  S st    59    806583       100      2130         0     54475     10650    792103   no data   no data
342.54/85.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
342.54/85.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
342.54/85.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
342.54/85.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
342.54/85.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
342.54/85.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
342.54/85.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
342.54/85.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
342.54/85.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
355.36/89.16	c lits-rem:      1105  cl-subs:     7563  v-elim:      0  v-fix:    0  time:  3.19 s
355.36/89.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
355.36/89.17	c vivif2 --  cl tried    46912 cl shrink        0 lits rem          0 time: 0.01
356.10/89.38	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.21
356.10/89.38	c calculated reachability. Time: 0.00
356.10/89.38	c  N st    59    806583       100      2130         0     46912     10650    657253   no data   no data
510.04/127.96	c  F st    60   1071875       100      2130         0     62679     10650    937828   no data   no data
510.04/127.96	c  N st    60   1071875       100      2130         0     62679     10650    937828   no data   no data
514.44/129.04	c Decided on static restart strategy
532.78/133.61	c  N st    70   1100180       100      2130         0     47501     10650    590340   no data   no data
556.32/139.54	c  N st    72   1136175       100      2130         0     80742     10650   1329716   no data   no data
574.71/144.19	c  N st    73   1168567       100      2130         0     68396     10650   1069324   no data   no data
604.99/151.73	c  N st    74   1209875       100      2130         0     62985     10650    904198   no data   no data
604.99/151.73	c  S st    74   1209875       100      2130         0     62985     10650    904198   no data   no data
605.42/151.89	c  S st    74   1210375       100      2130         0     63468     10650    914959   no data   no data
605.42/151.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
605.76/151.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
605.76/151.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
605.76/151.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
605.76/151.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
605.76/151.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
605.76/151.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
605.76/151.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
605.76/151.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
625.71/156.91	c lits-rem:       914  cl-subs:     6020  v-elim:      0  v-fix:    0  time:  4.96 s
625.71/156.91	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
625.71/156.93	c vivif2 --  cl tried    57448 cl shrink        0 lits rem          0 time: 0.01
626.93/157.31	c asymm  cl-useful: 0/1970/2130 lits-rem:0 time: 0.38
627.35/157.31	c calculated reachability. Time: 0.00
627.35/157.31	c  N st    74   1210375       100      2130         0     57448     10650    795715   no data   no data
698.67/175.20	c  N st    75   1283259       100      2130         0     80445     10650   1261106   no data   no data
792.40/198.74	c  N st    76   1392582       100      2130         0     89962     10650   1433416   no data   no data
917.62/230.18	c  N st    77   1556568       100      2130         0     97897     10650   1623914   no data   no data
1040.46/260.92	c  N st    78   1710376       100      2130         0     87195     10650   1339259   no data   no data
1040.46/260.92	c  S st    78   1710376       100      2130         0     87195     10650   1339259   no data   no data
1041.65/261.23	c  S st    78   1710879       100      2130         0     87670     10650   1349871   no data   no data
1041.65/261.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1041.65/261.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1041.65/261.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1041.65/261.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1041.65/261.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1041.65/261.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1041.65/261.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1041.65/261.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1042.05/261.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1103.86/276.84	c lits-rem:      1643  cl-subs:    10433  v-elim:      0  v-fix:    0  time: 15.51 s
1103.86/276.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1103.86/276.86	c vivif2 --  cl tried    77237 cl shrink        0 lits rem          0 time: 0.02
1105.84/277.30	c asymm  cl-useful: 0/1550/2130 lits-rem:0 time: 0.44
1105.84/277.30	c calculated reachability. Time: 0.00
1105.84/277.30	c  N st    78   1710879       100      2130         0     77237     10650   1141961   no data   no data
1448.81/363.35	c  N st    79   2079843       100      2130         0     88612     10650   1301441   no data   no data
1571.25/394.03	c  N st    80   2210881       100      2130         0     92140     10650   1330970   no data   no data
1571.25/394.03	c  S st    80   2210881       100      2130         0     92140     10650   1330970   no data   no data
1572.45/394.32	c  S st    80   2211384       100      2130         0     92623     10650   1342094   no data   no data
1572.45/394.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1572.45/394.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1572.45/394.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1572.45/394.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1572.45/394.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1572.45/394.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1572.45/394.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1572.45/394.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1572.85/394.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1614.37/404.88	c lits-rem:      1422  cl-subs:    10821  v-elim:      0  v-fix:    0  time: 10.46 s
1614.37/404.88	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1614.71/404.90	c vivif2 --  cl tried    81802 cl shrink        0 lits rem          0 time: 0.02
1615.51/405.11	c asymm  cl-useful: 0/580/2130 lits-rem:0 time: 0.21
1615.51/405.11	c calculated reachability. Time: 0.00
1615.51/405.11	c  N st    80   2211384       100      2130         0     81802     10650   1136876   no data   no data
2109.24/529.00	c  N st    81   2711384       100      2130         0    104371     10650   1483086   no data   no data
2109.24/529.00	c  S st    81   2711384       100      2130         0    104371     10650   1483086   no data   no data
2110.83/529.35	c  S st    81   2711887       100      2130         0    104847     10650   1494125   no data   no data
2110.83/529.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2111.23/529.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2111.23/529.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2111.23/529.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2111.23/529.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2111.23/529.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2111.23/529.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2111.23/529.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2111.23/529.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2182.59/547.39	c lits-rem:       997  cl-subs:    15117  v-elim:      0  v-fix:    0  time: 17.93 s
2182.59/547.39	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2182.99/547.42	c vivif2 --  cl tried    89730 cl shrink        0 lits rem          0 time: 0.02
2184.63/547.87	c asymm  cl-useful: 0/1344/2130 lits-rem:0 time: 0.45
2184.63/547.87	c calculated reachability. Time: 0.00
2184.63/547.87	c  N st    81   2711887       100      2130         0     89730     10650   1235428   no data   no data
2720.57/682.25	c  N st    82   3211887       100      2130         0    139776     10650   2226506   no data   no data
2720.57/682.25	c  S st    82   3211887       100      2130         0    139776     10650   2226506   no data   no data
2722.57/682.74	c  S st    82   3212389       100      2130         0    140263     10650   2237723   no data   no data
2722.57/682.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2722.97/682.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2722.97/682.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2722.97/682.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2722.97/682.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2722.97/682.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2722.97/682.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2722.97/682.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2723.37/682.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2917.20/731.55	c lits-rem:      2096  cl-subs:    22990  v-elim:      0  v-fix:    0  time: 48.65 s
2917.20/731.55	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2917.20/731.58	c vivif2 --  cl tried   117273 cl shrink        0 lits rem          0 time: 0.03
2918.74/731.99	c asymm  cl-useful: 0/786/2130 lits-rem:0 time: 0.41
2918.74/731.99	c calculated reachability. Time: 0.00
2918.74/731.99	c  N st    82   3212389       100      2130         0    117273     10650   1805176   no data   no data
3482.69/873.36	c  N st    83   3712389       100      2130         0    134807     10650   2050695   no data   no data
3482.69/873.36	c  S st    83   3712389       100      2130         0    134807     10650   2050695   no data   no data
3484.65/873.83	c  S st    83   3712892       100      2130         0    135287     10650   2061999   no data   no data
3484.65/873.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3485.05/873.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
3485.05/873.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3485.05/873.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3485.05/873.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3485.05/873.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3485.05/873.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3485.05/873.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3485.05/873.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3627.85/909.72	c lits-rem:      2555  cl-subs:    19299  v-elim:      0  v-fix:    0  time: 35.73 s
3627.85/909.72	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3627.85/909.75	c vivif2 --  cl tried   115988 cl shrink        0 lits rem          0 time: 0.02
3629.39/910.11	c asymm  cl-useful: 0/1045/2130 lits-rem:0 time: 0.36
3629.39/910.12	c calculated reachability. Time: 0.00
3629.39/910.12	c  N st    83   3712892       100      2130         0    115988     10650   1698608   no data   no data
3681.64/923.28	c  F st    84   3751566       100      2130         0    151402     10650   2491595   no data   no data
3681.64/923.28	c  N st    84   3751566       100      2130         0    151402     10650   2491595   no data   no data
3689.61/925.24	c Decided on static restart strategy
3712.35/931.00	c  N st    94   3779870       100      2130         0    101547     10650   1369487   no data   no data
3760.61/943.05	c  N st    96   3815863       100      2130         0    134581     10650   2108516   no data   no data
3808.86/955.16	c  N st    97   3848255       100      2130         0     86663     10650   1001760   no data   no data
3870.68/970.69	c  N st    98   3896843       100      2130         0    131060     10650   1956578   no data   no data
3979.95/998.06	c  N st    99   3969726       100      2130         0    119230     10650   1689898   no data   no data
4119.18/1032.91	c  N st   100   4079049       100      2130         0    139409     10650   2063508   no data   no data
4378.30/1097.90	c  N st   101   4212893       100      2130         0    100222     10650   1252888   no data   no data
4378.30/1097.90	c  S st   101   4212893       100      2130         0    100222     10650   1252888   no data   no data
4380.70/1098.50	c  S st   101   4213400       100      2130         0    100706     10650   1264279   no data   no data
4380.70/1098.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4381.10/1098.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.08
4381.10/1098.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4381.10/1098.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4381.10/1098.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4381.10/1098.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4381.10/1098.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4381.10/1098.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4381.10/1098.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4429.74/1110.83	c lits-rem:       744  cl-subs:     6228  v-elim:      0  v-fix:    0  time: 12.15 s
4429.74/1110.83	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4429.74/1110.85	c vivif2 --  cl tried    94478 cl shrink        0 lits rem          0 time: 0.02
4432.12/1111.41	c asymm  cl-useful: 0/1066/2130 lits-rem:0 time: 0.55
4432.12/1111.41	c calculated reachability. Time: 0.00
4432.12/1111.41	c  N st   101   4213400       100      2130         0     94478     10650   1147945   no data   no data
4756.75/1192.87	c  N st   102   4459377       100      2130         0    154113     10650   2367239   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366441-1305404276/watcher-3366441-1305404276 -o /tmp/evaluation-result-3366441-1305404276/solver-3366441-1305404276 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366441-1305404276.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: 5.32 7.39 7.81 3/357 15130
/proc/meminfo: memFree=25237080/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 406 0 0 0 0 0 0 0 18 0 4 0 730658242 52396032 347 33554432000 4194304 4580107 140733672366224 18446744073709551615 47818482870188 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 12792 347 299 95 0 7774 0
[pid=15130/tid=15134] ppid=15125 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 730658242 52396032 347 33554432000 4194304 4580107 140733672366224 18446744073709551615 47818482870198 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 730658242 52396032 347 33554432000 4194304 4580107 140733672366224 18446744073709551615 47818482870188 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 730658242 52396032 347 33554432000 4194304 4580107 140733672366224 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0478921 s]
/proc/loadavg: 5.32 7.39 7.81 3/357 15130
/proc/meminfo: memFree=25237080/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=282004 CPUtime=0.16 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 1316 0 0 0 16 0 0 0 18 0 4 0 730658242 288772096 1210 33554432000 4194304 4580107 140733672366224 18446744073709551615 4296072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 70501 1210 375 95 0 65483 0
[pid=15130/tid=15134] ppid=15125 vsize=282004 CPUtime=0.04 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 241 0 0 0 4 0 0 0 18 0 4 0 730658242 288772096 1211 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=282004 CPUtime=0.04 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 281 0 0 0 4 0 0 0 18 0 4 0 730658242 288772096 1211 33554432000 4194304 4580107 140733672366224 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=282004 CPUtime=0.03 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 135 0 0 0 3 0 0 0 21 0 4 0 730658242 288772096 1211 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 282004

[startup+0.100882 s]
/proc/loadavg: 5.32 7.39 7.81 3/357 15130
/proc/meminfo: memFree=25237080/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=282004 CPUtime=0.37 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 1635 0 0 0 37 0 0 0 18 0 4 0 730658242 288772096 1529 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294818 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 70501 1529 376 95 0 65483 0
[pid=15130/tid=15134] ppid=15125 vsize=282004 CPUtime=0.09 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 318 0 0 0 9 0 0 0 18 0 4 0 730658242 288772096 1529 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=282004 CPUtime=0.09 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 365 0 0 0 9 0 0 0 18 0 4 0 730658242 288772096 1529 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=282004 CPUtime=0.08 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 208 0 0 0 8 0 0 0 21 0 4 0 730658242 288772096 1529 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282004

[startup+0.300847 s]
/proc/loadavg: 5.32 7.39 7.81 3/357 15130
/proc/meminfo: memFree=25237080/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=283552 CPUtime=1.17 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 2978 0 0 0 117 0 0 0 18 0 4 0 730658242 290357248 1949 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 70888 1949 377 95 0 65870 0
[pid=15130/tid=15134] ppid=15125 vsize=283552 CPUtime=0.29 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 601 0 0 0 29 0 0 0 18 0 4 0 730658242 290357248 1949 33554432000 4194304 4580107 140733672366224 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=283552 CPUtime=0.29 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 744 0 0 0 29 0 0 0 18 0 4 0 730658242 290357248 1949 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=283552 CPUtime=0.28 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 588 0 0 0 28 0 0 0 21 0 4 0 730658242 290357248 1949 33554432000 4194304 4580107 140733672366224 18446744073709551615 4318430 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283552

[startup+0.700773 s]
/proc/loadavg: 5.32 7.39 7.81 3/357 15130
/proc/meminfo: memFree=25237080/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=284492 CPUtime=2.77 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 4995 0 0 0 277 0 0 0 18 0 4 0 730658242 291319808 2557 33554432000 4194304 4580107 140733672366224 18446744073709551615 4321100 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 71123 2557 377 95 0 66105 0
[pid=15130/tid=15134] ppid=15125 vsize=284492 CPUtime=0.69 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 1158 0 0 0 69 0 0 0 18 0 4 0 730658242 291319808 2557 33554432000 4194304 4580107 140733672366224 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=284492 CPUtime=0.69 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 1217 0 0 0 69 0 0 0 18 0 4 0 730658242 291319808 2557 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=284492 CPUtime=0.68 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 1024 0 0 0 68 0 0 0 22 0 4 0 730658242 291319808 2557 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284492

[startup+1.50062 s]
/proc/loadavg: 5.32 7.39 7.81 11/365 15138
/proc/meminfo: memFree=25212964/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=290752 CPUtime=5.96 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 10192 0 0 0 594 2 0 0 20 0 4 0 730658242 297730048 5377 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 72688 5377 379 95 0 67670 0
[pid=15130/tid=15134] ppid=15125 vsize=290752 CPUtime=1.48 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 2938 0 0 0 148 0 0 0 19 0 4 0 730658242 297730048 5377 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=290752 CPUtime=1.49 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 1996 0 0 0 149 0 0 0 19 0 4 0 730658242 297730048 5377 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=290752 CPUtime=1.47 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 1833 0 0 0 147 0 0 0 25 0 4 0 730658242 297730048 5377 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 290752

[startup+3.10033 s]
/proc/loadavg: 5.32 7.39 7.81 10/365 15138
/proc/meminfo: memFree=25168076/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=294400 CPUtime=12.34 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 19868 0 0 0 1231 3 0 0 25 0 4 0 730658242 301465600 11201 33554432000 4194304 4580107 140733672366224 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 73600 11201 379 95 0 68582 0
[pid=15130/tid=15134] ppid=15125 vsize=294400 CPUtime=3.09 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 5399 0 0 0 308 1 0 0 25 0 4 0 730658242 301465600 11201 33554432000 4194304 4580107 140733672366224 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=294400 CPUtime=3.08 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 4799 0 0 0 308 0 0 0 25 0 4 0 730658242 301465600 11201 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=294400 CPUtime=3.05 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 4402 0 0 0 305 0 0 0 25 0 4 0 730658242 301465600 11201 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 294400

[startup+6.30074 s]
/proc/loadavg: 5.54 7.40 7.81 10/365 15138
/proc/meminfo: memFree=25139928/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=298152 CPUtime=25.1 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 28566 0 0 0 2505 5 0 0 25 0 4 0 730658242 305307648 12826 33554432000 4194304 4580107 140733672366224 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 74538 12826 379 95 0 69520 0
[pid=15130/tid=15134] ppid=15125 vsize=298152 CPUtime=6.29 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 6992 0 0 0 628 1 0 0 25 0 4 0 730658242 305307648 12826 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=298152 CPUtime=6.29 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 7578 0 0 0 628 1 0 0 25 0 4 0 730658242 305307648 12826 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=298152 CPUtime=6.21 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 6407 0 0 0 620 1 0 0 25 0 4 0 730658242 305307648 12826 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 298152

[startup+12.7006 s]
/proc/loadavg: 5.74 7.41 7.82 10/365 15139
/proc/meminfo: memFree=25114316/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=302064 CPUtime=50.62 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 44103 0 0 0 5055 7 0 0 25 0 4 0 730658242 309313536 15975 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 75516 15975 379 95 0 70498 0
[pid=15130/tid=15134] ppid=15125 vsize=302064 CPUtime=12.68 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 10963 0 0 0 1267 1 0 0 25 0 4 0 730658242 309313536 15975 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=302064 CPUtime=12.69 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 10983 0 0 0 1267 2 0 0 25 0 4 0 730658242 309313536 15975 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=302064 CPUtime=12.53 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 10692 0 0 0 1252 1 0 0 25 0 4 0 730658242 309313536 15975 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 302064

[startup+25.5012 s]
/proc/loadavg: 6.24 7.44 7.82 10/365 15139
/proc/meminfo: memFree=25087896/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=305240 CPUtime=101.67 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 67980 0 0 0 10156 11 0 0 25 0 4 0 730658242 312565760 20178 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 76310 20178 379 95 0 71292 0
[pid=15130/tid=15134] ppid=15125 vsize=305240 CPUtime=25.48 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 17274 0 0 0 2546 2 0 0 25 0 4 0 730658242 312565760 20178 33554432000 4194304 4580107 140733672366224 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=305240 CPUtime=25.49 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 17455 0 0 0 2546 3 0 0 25 0 4 0 730658242 312565760 20178 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=305240 CPUtime=25.18 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 16170 0 0 0 2516 2 0 0 25 0 4 0 730658242 312565760 20178 33554432000 4194304 4580107 140733672366224 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 305240

[startup+51.1005 s]
/proc/loadavg: 6.97 7.51 7.83 10/365 15140
/proc/meminfo: memFree=25052140/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=300716 CPUtime=203.77 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 102913 0 0 0 20358 19 0 0 25 0 4 0 730658242 307933184 25472 33554432000 4194304 4580107 140733672366224 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 75179 25472 379 95 0 70161 0
[pid=15130/tid=15134] ppid=15125 vsize=300716 CPUtime=51.09 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 27451 0 0 0 5105 4 0 0 25 0 4 0 730658242 307933184 25472 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=300716 CPUtime=51.08 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 26266 0 0 0 5103 5 0 0 25 0 4 0 730658242 307933184 25472 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=300716 CPUtime=50.48 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 23155 0 0 0 5044 4 0 0 25 0 4 0 730658242 307933184 25472 33554432000 4194304 4580107 140733672366224 18446744073709551615 4305280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 300716

[startup+102.314 s]
/proc/loadavg: 7.55 7.59 7.84 10/365 15141
/proc/meminfo: memFree=24984900/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=388484 CPUtime=408 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 161453 0 0 0 40767 33 0 0 25 0 4 0 730658242 397807616 38617 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 97121 38617 379 95 0 92103 0
[pid=15130/tid=15134] ppid=15125 vsize=388484 CPUtime=102.3 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 42888 0 0 0 10222 8 0 0 25 0 4 0 730658242 397807616 38617 33554432000 4194304 4580107 140733672366224 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=388484 CPUtime=102.28 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 41627 0 0 0 10219 9 0 0 25 0 4 0 730658242 397807616 38617 33554432000 4194304 4580107 140733672366224 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=388484 CPUtime=101.08 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 36245 0 0 0 10102 6 0 0 25 0 4 0 730658242 397807616 38617 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408
Current children cumulated vsize (KiB) 388484

[startup+162.301 s]

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

[pid=15130] ppid=15125 vsize=608548 CPUtime=2800.73 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 476319 0 0 0 279931 142 0 0 25 0 4 0 730658242 623153152 93777 33554432000 4194304 4580107 140733672366224 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 152137 93777 379 95 0 147119 0
[pid=15130/tid=15134] ppid=15125 vsize=608548 CPUtime=702.29 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 113722 0 0 0 70196 33 0 0 25 0 4 0 730658242 623153152 93777 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=608548 CPUtime=702.19 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 126368 0 0 0 70180 39 0 0 25 0 4 0 730658242 623153152 93777 33554432000 4194304 4580107 140733672366224 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=608548 CPUtime=693.92 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 118513 0 0 0 69359 33 0 0 25 0 4 0 730658242 623153152 93777 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.73
Current children cumulated vsize (KiB) 608548

[startup+762.314 s]
/proc/loadavg: 8.02 8.02 7.94 10/365 15159
/proc/meminfo: memFree=24623400/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=530060 CPUtime=3040.02 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 495755 0 0 0 303853 149 0 0 25 0 4 0 730658242 542781440 95461 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 132515 95461 379 95 0 127497 0
[pid=15130/tid=15134] ppid=15125 vsize=530060 CPUtime=762.29 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 117012 0 0 0 76195 34 0 0 25 0 4 0 730658242 542781440 95461 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=530060 CPUtime=762.18 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 132257 0 0 0 76177 41 0 0 25 0 4 0 730658242 542781440 95461 33554432000 4194304 4580107 140733672366224 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=530060 CPUtime=753.19 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 125585 0 0 0 75283 36 0 0 25 0 4 0 730658242 542781440 95461 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.02
Current children cumulated vsize (KiB) 530060

[startup+822.301 s]
/proc/loadavg: 8.08 8.04 7.95 10/365 15160
/proc/meminfo: memFree=24581348/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=556384 CPUtime=3279.27 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 518180 0 0 0 327767 160 0 0 25 0 4 0 730658242 569737216 98234 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 139096 98234 379 95 0 134078 0
[pid=15130/tid=15134] ppid=15125 vsize=556384 CPUtime=822.29 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 123486 0 0 0 82191 38 0 0 25 0 4 0 730658242 569737216 98234 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=556384 CPUtime=822.16 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 136461 0 0 0 82174 42 0 0 25 0 4 0 730658242 569737216 98234 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=556384 CPUtime=812.48 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 132169 0 0 0 81209 39 0 0 25 0 4 0 730658242 569737216 98234 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.27
Current children cumulated vsize (KiB) 556384

[startup+882.301 s]
/proc/loadavg: 8.03 8.03 7.95 10/365 15162
/proc/meminfo: memFree=24593360/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=567116 CPUtime=3518.55 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 541757 0 0 0 351686 169 0 0 25 0 4 0 730658242 580726784 99015 33554432000 4194304 4580107 140733672366224 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 141779 99015 379 95 0 136761 0
[pid=15130/tid=15134] ppid=15125 vsize=567116 CPUtime=882.28 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 129451 0 0 0 88188 40 0 0 25 0 4 0 730658242 580726784 99015 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=567116 CPUtime=882.15 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 139628 0 0 0 88171 44 0 0 25 0 4 0 730658242 580726784 99015 33554432000 4194304 4580107 140733672366224 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=567116 CPUtime=871.76 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 137797 0 0 0 87134 42 0 0 25 0 4 0 730658242 580726784 99015 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.55
Current children cumulated vsize (KiB) 567116

[startup+942.301 s]
/proc/loadavg: 8.15 8.07 7.97 10/365 15164
/proc/meminfo: memFree=24579196/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=553776 CPUtime=3757.82 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 554742 0 0 0 375606 176 0 0 25 0 4 0 730658242 567066624 99543 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 138444 99543 379 95 0 133426 0
[pid=15130/tid=15134] ppid=15125 vsize=553776 CPUtime=942.29 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 131780 0 0 0 94187 42 0 0 25 0 4 0 730658242 567066624 99543 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=553776 CPUtime=942.14 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 141256 0 0 0 94169 45 0 0 25 0 4 0 730658242 567066624 99543 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=553776 CPUtime=931.03 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 143535 0 0 0 93058 45 0 0 25 0 4 0 730658242 567066624 99543 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.82
Current children cumulated vsize (KiB) 553776

[startup+1002.3 s]
/proc/loadavg: 8.20 8.08 7.98 10/365 15165
/proc/meminfo: memFree=24530440/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=632740 CPUtime=3997.09 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 568067 0 0 0 399527 182 0 0 25 0 4 0 730658242 647925760 103862 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 158185 103862 379 95 0 153167 0
[pid=15130/tid=15134] ppid=15125 vsize=632740 CPUtime=1002.29 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 133146 0 0 0 100186 43 0 0 25 0 4 0 730658242 647925760 103862 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=632740 CPUtime=1002.13 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 144339 0 0 0 100167 46 0 0 25 0 4 0 730658242 647925760 103862 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=632740 CPUtime=990.32 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 146618 0 0 0 98985 47 0 0 25 0 4 0 730658242 647925760 103862 33554432000 4194304 4580107 140733672366224 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.09
Current children cumulated vsize (KiB) 632740

[startup+1062.3 s]
/proc/loadavg: 8.21 8.10 7.99 10/365 15167
/proc/meminfo: memFree=24533500/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=594312 CPUtime=4236.38 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 588181 0 0 0 423448 190 0 0 25 0 4 0 730658242 608575488 108809 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 148578 108809 379 95 0 143560 0
[pid=15130/tid=15134] ppid=15125 vsize=594312 CPUtime=1062.29 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 136781 0 0 0 106185 44 0 0 25 0 4 0 730658242 608575488 108809 33554432000 4194304 4580107 140733672366224 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=594312 CPUtime=1062.13 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 149766 0 0 0 106163 50 0 0 25 0 4 0 730658242 608575488 108809 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=594312 CPUtime=1049.61 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 153902 0 0 0 104913 48 0 0 25 0 4 0 730658242 608575488 108809 33554432000 4194304 4580107 140733672366224 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.38
Current children cumulated vsize (KiB) 594312

[startup+1122.3 s]
/proc/loadavg: 8.32 8.14 8.01 10/365 15168
/proc/meminfo: memFree=24513012/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=713756 CPUtime=4475.58 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 592564 0 0 0 447365 193 0 0 25 0 4 0 730658242 730886144 113192 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 178439 113192 379 95 0 173421 0
[pid=15130/tid=15134] ppid=15125 vsize=713756 CPUtime=1122.28 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 137211 0 0 0 112184 44 0 0 25 0 4 0 730658242 730886144 113192 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=713756 CPUtime=1122.11 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 150596 0 0 0 112161 50 0 0 25 0 4 0 730658242 730886144 113192 33554432000 4194304 4580107 140733672366224 18446744073709551615 4416315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=713756 CPUtime=1108.83 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 154798 0 0 0 110833 50 0 0 25 0 4 0 730658242 730886144 113192 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.58
Current children cumulated vsize (KiB) 713756

[startup+1182.3 s]
/proc/loadavg: 8.23 8.14 8.01 10/365 15170
/proc/meminfo: memFree=24491028/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=698512 CPUtime=4714.87 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 617645 0 0 0 471286 201 0 0 25 0 4 0 730658242 715276288 118046 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 174628 118046 379 95 0 169610 0
[pid=15130/tid=15134] ppid=15125 vsize=698512 CPUtime=1182.29 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 143536 0 0 0 118182 47 0 0 25 0 4 0 730658242 715276288 118046 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=698512 CPUtime=1182.1 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 156852 0 0 0 118158 52 0 0 25 0 4 0 730658242 715276288 118046 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=698512 CPUtime=1168.13 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 161056 0 0 0 116761 52 0 0 25 0 4 0 730658242 715276288 118046 33554432000 4194304 4580107 140733672366224 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.87
Current children cumulated vsize (KiB) 698512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.16 8.13 8.01 5/361 15171
/proc/meminfo: memFree=24796216/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=594732 CPUtime=4800.24 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 627543 0 0 0 479818 206 0 0 25 0 4 0 730658242 609005568 108866 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 148683 108866 379 95 0 143665 0
[pid=15130/tid=15134] ppid=15125 vsize=594732 CPUtime=1203.7 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 146034 0 0 0 120323 47 0 0 25 0 4 0 730658242 609005568 108867 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=594732 CPUtime=1203.51 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 159171 0 0 0 120298 53 0 0 25 0 4 0 730658242 609005568 108867 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=594732 CPUtime=1189.27 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 163782 0 0 0 118873 54 0 0 25 0 4 0 730658242 609005568 108867 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 594732

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

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

[startup+1203.7 s]
/proc/loadavg: 8.16 8.13 8.01 5/361 15171
/proc/meminfo: memFree=24796216/32950928 swapFree=38710892/67111528
[pid=15130] ppid=15125 vsize=594732 CPUtime=4800.24 cores=0,2,4,6
/proc/15130/stat : 15130 (strangenight2-m) R 15125 15130 14563 0 -1 4202496 627543 0 0 0 479818 206 0 0 25 0 4 0 730658242 609005568 108866 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15130/statm: 148683 108866 379 95 0 143665 0
[pid=15130/tid=15134] ppid=15125 vsize=594732 CPUtime=1203.7 cores=0,2,4,6
/proc/15130/task/15134/stat : 15134 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 146034 0 0 0 120323 47 0 0 25 0 4 0 730658242 609005568 108867 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15130/tid=15135] ppid=15125 vsize=594732 CPUtime=1203.51 cores=0,2,4,6
/proc/15130/task/15135/stat : 15135 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 159171 0 0 0 120298 53 0 0 25 0 4 0 730658242 609005568 108867 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15130/tid=15136] ppid=15125 vsize=594732 CPUtime=1189.27 cores=0,2,4,6
/proc/15130/task/15136/stat : 15136 (strangenight2-m) R 15125 15130 14563 0 -1 4202560 163782 0 0 0 118873 54 0 0 25 0 4 0 730658242 609005568 108867 33554432000 4194304 4580107 140733672366224 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 594732

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.74
CPU time (s): 4800.31
CPU user time (s): 4798.22
CPU system time (s): 2.08468
CPU usage (%): 398.784
Max. virtual memory (cumulated for all children) (KiB): 713756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.22
system time used= 2.08468
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 627548
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= 426
involuntary context switches= 48293

runsolver used 3.9724 second user time and 10.5054 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-14 22:17:56
IDJOB=3366441
IDBENCH=82850
IDSOLVER=1844
FILE ID=node113/3366441-1305404276
RUNJOBID= node113-1305404275-15111
PBS_JOBID= 13324480
Free space on /tmp= 73444 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366441-1305404276/watcher-3366441-1305404276 -o /tmp/evaluation-result-3366441-1305404276/solver-3366441-1305404276 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366441-1305404276.cnf

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

MD5SUM BENCH= eb55252a6fac55d328f4d31fcc6e53bd
RANDOM SEED=48133513

node113.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.846
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.69
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.846
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.76
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.846
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.74
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.846
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.846
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.74
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.846
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.846
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.83
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25237524 kB
Buffers:        254764 kB
Cached:        2809096 kB
SwapCached:      93712 kB
Active:         751380 kB
Inactive:      6700672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25237524 kB
SwapTotal:    67111528 kB
SwapFree:     38710892 kB
Dirty:           10872 kB
Writeback:           0 kB
AnonPages:     4305744 kB
Mapped:          13408 kB
Slab:           105836 kB
PageTables:      91604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 87042476 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= 73440 MiB
End job on node113 at 2011-05-14 22:38:01