Trace number 3368703

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-1-mt (fixed)? (TO) 4800.35 1203.14

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf
MD5SUM65ec9a3d3f909189961ec0dd141dd0a7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.548915
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
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 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368703-1305401035.cnf'
0.00/0.01	c -- header says num vars:            750
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        750
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       750      3195         0         0      9585         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.47/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.47/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.47/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.47/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.47/0.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.47/0.12	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
0.47/0.12	c Finding binary XORs  T:     0.00 s  found:       0
0.47/0.12	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.47/0.12	c calculated reachability. Time: 0.00
0.47/0.12	c Calc default polars -  time:   0.00 s pos:     314 undec:      96 neg:     340
0.47/0.12	c =========================================================================================
0.47/0.12	c types(t): F = full restart, N = normal restart
0.47/0.12	c types(t): S = simplification begin/end, E = solution found
0.47/0.12	c restart types(rt): st = static, dy = dynamic
0.47/0.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       730      3188         0         0      9692         0   no data   no data  --
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4913       730      3188         0      4869      9692    149777   no data   no data  --
3.57/0.90	c  N st    10     11295       730      3188         0      4497      9692     97212   no data   no data  --
3.57/0.90	c  N st    11     17038       730      3188         0     10152      9692    285477   no data   no data  --
4.76/1.20	c  F st    12     25002       730      3188         0     12462      9692    347726   no data   no data  --
4.76/1.20	c  N st    12     25002       730      3188         0     12462      9692    347726   no data   no data  --
5.56/1.47	c Decided on static restart strategy
5.56/1.47	c  N st    18     30003       730      3188         0     10747      9692    267653   no data   no data  --
5.56/1.47	c  S st    18     30003       730      3188         0     10747      9692    267653   no data   no data  --
5.96/1.50	c  S st    18     30505       730      3188         0     11249      9692    282141   no data   no data  --
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.96/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
5.96/1.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.15/1.83	c lits-rem:       250  cl-subs:      228  v-elim:      0  v-fix:    0  time:  1.28 s
7.15/1.84	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.04
7.15/1.84	c calculated reachability. Time: 0.00
7.15/1.84	c  N st    18     30505       730      3188         0     11021      9692    273348   no data   no data  --
8.79/2.26	c  N st    20     37615       730      3188         0     10266      9692    229441   no data   no data  --
10.34/2.69	c  N st    21     44014       730      3188         0     16582      9692    438071   no data   no data  --
11.15/2.82	c  S st    22     45757       730      3188         0      9483      9692    177244   no data   no data  --
11.15/2.85	c  S st    22     46260       730      3188         0      9986      9692    192886   no data   no data  --
11.15/2.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.15/2.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.15/2.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.15/2.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.15/2.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.15/2.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
11.15/2.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.95/3.03	c lits-rem:        36  cl-subs:       32  v-elim:      0  v-fix:    0  time:  0.69 s
11.95/3.03	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
11.95/3.03	c vivif2 --  cl tried     9954 cl shrink        0 lits rem          0 time: 0.01
11.95/3.04	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.04
11.95/3.04	c calculated reachability. Time: 0.00
11.95/3.04	c  N st    22     46260       730      3188         0      9954      9692    191456   no data   no data  --
15.94/4.05	c  N st    23     60657       730      3188         0     14316      9692    329162   no data   no data  --
18.72/4.76	c  N st    24     69390       730      3188         0     12104      9692    237908   no data   no data  --
18.72/4.76	c  S st    24     69390       730      3188         0     12104      9692    237908   no data   no data  --
18.72/4.79	c  S st    24     69892       730      3188         0     12606      9692    251955   no data   no data  --
18.72/4.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.72/4.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.72/4.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.12/4.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.12/4.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.12/4.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
19.12/4.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
20.32/5.11	c lits-rem:        39  cl-subs:       95  v-elim:      0  v-fix:    0  time:  1.24 s
20.32/5.11	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
20.32/5.12	c vivif2 --  cl tried    12511 cl shrink        0 lits rem          0 time: 0.01
20.32/5.13	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.04
20.32/5.13	c calculated reachability. Time: 0.00
20.32/5.13	c  N st    24     69892       730      3188         0     12511      9692    248139   no data   no data  --
25.94/6.61	c  F st    25     87501       730      3188         0     18044      9692    417852   no data   no data  --
25.94/6.61	c  N st    25     87501       730      3188         0     18044      9692    417852   no data   no data  --
27.90/7.03	c Decided on static restart strategy
29.10/7.33	c  N st    32     95542       730      3188         0     13167      9692    223263   no data   no data  --
31.90/8.07	c  N st    34    104841       730      3188         0     22356      9692    510349   no data   no data  --
31.90/8.07	c  S st    34    104841       730      3188         0     22356      9692    510349   no data   no data  --
32.30/8.13	c  S st    34    105343       730      3188         0     22857      9692    525571   no data   no data  --
32.30/8.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
32.30/8.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.30/8.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
32.30/8.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.30/8.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.30/8.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
32.30/8.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
38.27/9.67	c lits-rem:       169  cl-subs:      500  v-elim:      0  v-fix:    0  time:  6.05 s
38.27/9.67	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
38.27/9.68	c vivif2 --  cl tried    22357 cl shrink        0 lits rem          0 time: 0.02
38.67/9.70	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.08
38.67/9.70	c calculated reachability. Time: 0.00
38.67/9.70	c  N st    34    105343       730      3188         0     22357      9692    506988   no data   no data  --
42.26/10.65	c  N st    35    114941       730      3188         0     18031      9692    342746   no data   no data  --
48.29/12.13	c  N st    36    129342       730      3188         0     17398      9692    302500   no data   no data  --
56.66/14.21	c  N st    37    150937       730      3188         0     22940      9692    463255   no data   no data  --
59.02/14.88	c  S st    38    158014       730      3188         0     29919      9692    683766   no data   no data  --
59.42/14.95	c  S st    38    158515       730      3188         0     30418      9692    697839   no data   no data  --
59.42/14.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
59.42/14.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.42/14.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
59.42/14.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.42/14.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.42/14.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
59.42/14.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
67.80/17.01	c lits-rem:       358  cl-subs:      931  v-elim:      0  v-fix:    0  time:  8.06 s
67.80/17.01	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
67.80/17.02	c vivif2 --  cl tried    29487 cl shrink        0 lits rem          0 time: 0.03
67.80/17.04	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.11
67.80/17.04	c calculated reachability. Time: 0.00
67.80/17.04	c  N st    38    158515       730      3188         0     29487      9692    666424   no data   no data  --
89.34/22.45	c  N st    39    207104       730      3188         0     24170      9692    454756   no data   no data  --
103.71/26.04	c  N st    40    237773       730      3188         0     34784      9692    774507   no data   no data  --
103.71/26.04	c  S st    40    237773       730      3188         0     34784      9692    774507   no data   no data  --
104.11/26.12	c  S st    40    238276       730      3188         0     35286      9692    789478   no data   no data  --
104.11/26.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
104.11/26.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
104.11/26.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
104.11/26.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
104.11/26.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
104.11/26.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
104.11/26.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
113.29/28.48	c lits-rem:       744  cl-subs:      991  v-elim:      0  v-fix:    0  time:  9.28 s
113.29/28.48	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
113.29/28.49	c vivif2 --  cl tried    34295 cl shrink        0 lits rem          0 time: 0.04
113.72/28.53	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.12
113.72/28.53	c calculated reachability. Time: 0.00
113.72/28.53	c  N st    40    238276       730      3188         0     34295      9692    754041   no data   no data  --
149.99/37.61	c  F st    41    306250       730      3188         0     36047      9692    751700   no data   no data  --
149.99/37.61	c  N st    41    306250       730      3188         0     36047      9692    751700   no data   no data  --
160.37/40.22	c  N dy    92    326220       730      3188         0     32158      9692    526614     20.93     22.10  --
171.53/43.06	c  N dy   137    346281       730      3188         0     27248      9692    333332     19.94     21.20  --
177.12/44.40	c  S st   193    357415       730      3188         0     38322      9692    673012     20.07     17.82  --
177.52/44.50	c  S st   193    357917       730      3188         0     38823      9692    687350     20.07   no data  --
177.52/44.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
177.52/44.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
177.52/44.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
177.52/44.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
177.52/44.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
177.52/44.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
177.52/44.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
186.70/46.83	c lits-rem:       565  cl-subs:      205  v-elim:      0  v-fix:    0  time:  9.15 s
186.70/46.83	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
186.70/46.84	c vivif2 --  cl tried    38618 cl shrink        0 lits rem          0 time: 0.03
186.70/46.87	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.16
186.70/46.88	c calculated reachability. Time: 0.00
186.70/46.88	c  N dy   193    357917       730      3188         0     38618      9692    679071     20.07   no data  --
199.47/50.02	c  N dy   273    378415       730      3188         0     33182      9692    472828     20.00     21.25  --
213.03/53.46	c  N dy   394    398487       730      3188         0     53138      9692   1078501     20.22     26.98  --
223.85/56.18	c  N dy   486    418570       730      3188         0     46289      9692    842237     20.25     21.79  --
237.02/59.42	c  N dy   595    438668       730      3188         0     38441      9692    577521     20.33     24.48  --
250.93/62.99	c  N dy   694    458708       730      3188         0     29540      9692    275642     20.40     21.53  --
262.51/65.87	c  N dy   783    478721       730      3188         0     49411      9692    875013     20.40     21.57  --
277.27/69.50	c  N dy   857    500832       730      3188         0     41575      9692    615398     20.32     21.52  --
292.44/73.30	c  N dy   924    520849       730      3188         0     61454      9692   1212430     20.26     24.31  --
301.62/75.63	c  S st  1010    536876       730      3188         0     46592      9692    741968     20.30     18.94  --
302.02/75.74	c  S st  1010    537382       730      3188         0     47098      9692    756370     20.30   no data  --
302.02/75.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
302.02/75.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
302.02/75.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
302.02/75.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
302.02/75.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
302.02/75.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
302.02/75.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
311.99/78.22	c lits-rem:       580  cl-subs:      309  v-elim:      0  v-fix:    0  time:  9.73 s
311.99/78.22	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
311.99/78.23	c vivif2 --  cl tried    46789 cl shrink        0 lits rem          0 time: 0.04
311.99/78.28	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.20
311.99/78.28	c calculated reachability. Time: 0.00
311.99/78.28	c  N dy  1010    537382       730      3188         0     46789      9692    744321     20.30   no data  --
327.16/82.07	c  N dy  1100    557553       730      3188         0     35021      9692    361522     20.32     21.45  --
340.31/85.37	c  N dy  1208    577615       730      3188         0     54941      9692    963170     20.35     23.68  --
356.27/89.32	c  N dy  1315    598795       730      3188         0     43198      9692    583932     20.38     21.51  --
371.84/93.25	c  N dy  1390    618890       730      3188         0     63144      9692   1182791     20.39     21.50  --
386.24/96.88	c  N dy  1478    639843       730      3188         0     50170      9692    760898     20.39     21.50  --
404.55/101.41	c  N dy  1583    659973       730      3188         0     35429      9692    295343     20.42     21.97  --
418.52/104.91	c  N dy  1695    680459       730      3188         0     55747      9692    914569     20.46     21.59  --
437.67/109.73	c  N dy  1792    700506       730      3188         0     39938      9692    409401     20.49     24.55  --
452.43/113.47	c  N dy  1879    720612       730      3188         0     59881      9692   1013688     20.49     21.73  --
470.39/117.93	c  N dy  1978    740797       730      3188         0     43194      9692    480071     20.51     21.60  --
485.95/121.81	c  N dy  2059    760860       730      3188         0     63079      9692   1080014     20.51     21.73  --
503.51/126.22	c  N dy  2154    780931       730      3188         0     45304      9692    517901     20.53     22.21  --
520.27/130.41	c  N dy  2227    801545       730      3188         0     65734      9692   1134969     20.53     21.68  --
524.65/131.57	c  S st  2250    806073       730      3188         0     70239      9692   1275991     20.54     17.17  --
525.45/131.75	c  S st  2250    806578       730      3188         0     70742      9692   1290768     20.54   no data  --
525.45/131.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
525.45/131.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
525.45/131.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
525.85/131.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
525.85/131.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
525.85/131.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
525.85/131.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
534.23/133.91	c lits-rem:       299  cl-subs:      885  v-elim:      0  v-fix:    0  time:  8.30 s
534.23/133.91	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
534.23/133.92	c vivif2 --  cl tried    69857 cl shrink        0 lits rem          0 time: 0.06
534.64/134.01	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.35
534.64/134.01	c calculated reachability. Time: 0.00
534.64/134.01	c  N dy  2250    806578       730      3188         0     69857      9692   1260071     20.54   no data  --
551.39/138.24	c  N dy  2314    826597       730      3188         0     51006      9692    678647     20.50     21.63  --
569.74/142.82	c  N dy  2384    847327       730      3188         0     71542      9692   1290244     20.49     21.82  --
618.86/155.16	c  N dy  2448    900038       730      3188         0     43481      9692    393823     20.24     21.56  --
635.17/159.21	c  N dy  2581    920072       730      3188         0     63372      9692    996759     20.28     22.82  --
657.52/164.89	c  N dy  2693    940143       730      3188         0     83303      9692   1604195     20.31     23.28  --
672.68/168.60	c  N dy  2799    960210       730      3188         0     61560      9692    922378     20.34     21.44  --
694.63/174.11	c  N dy  2907    980278       730      3188         0     81514      9692   1531957     20.36     22.99  --
711.78/178.49	c  N dy  3042   1000326       730      3188         0     58767      9692    814193     20.39     23.91  --
732.97/183.79	c  N dy  3169   1020359       730      3188         0     78655      9692   1423178     20.42     21.50  --
753.29/188.82	c  N dy  3279   1040368       730      3188         0     54820      9692    667411     20.44     23.92  --
773.23/193.86	c  N dy  3384   1060861       730      3188         0     75161      9692   1281766     20.46     21.64  --
787.60/197.48	c  F st  3449   1071875       730      3188         0     86097      9692   1614053     20.47   no data  --
793.18/198.88	c Decided on static restart strategy
797.97/200.04	c  N st  3457   1084181       730      3188         0     53578      9692    612772     20.47   no data  --
825.89/207.05	c  N st  3460   1114575       730      3188         0     83571      9692   1607544     20.47   no data  --
845.44/211.92	c  N st  3461   1136171       730      3188         0     59280      9692   1289376     20.47   no data  --
881.36/220.96	c  N st  3462   1168564       730      3188         0     91186      9692   2312707     20.47   no data  --
922.44/231.24	c  N st  3463   1209867       730      3188         0     85421      9692   2021667     20.47   no data  --
922.44/231.24	c  S st  3463   1209867       730      3188         0     85421      9692   2021667     20.47   no data  --
923.24/231.48	c  S st  3463   1210371       730      3188         0     85925      9692   2037109     20.47   no data  --
923.24/231.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
923.24/231.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
923.64/231.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
924.05/231.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
924.05/231.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
924.05/231.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
924.05/231.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
961.54/241.09	c lits-rem:       219  cl-subs:     4726  v-elim:      0  v-fix:    0  time: 37.82 s
961.54/241.09	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
961.94/241.11	c vivif2 --  cl tried    81199 cl shrink        0 lits rem          0 time: 0.09
962.34/241.23	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.49
962.34/241.24	c calculated reachability. Time: 0.00
962.34/241.24	c  N st  3463   1210371       730      3188         0     81199      9692   1879472     20.47   no data  --
1044.17/261.75	c  N st  3464   1283255       730      3188         0     57736      9692   1033040     20.47   no data  --
1155.86/289.76	c  N st  3465   1392578       730      3188         0     66017      9692   1254526     20.47   no data  --
1335.41/334.77	c  N st  3466   1556562       730      3188         0     70540      9692   1242194     20.47   no data  --
1506.57/377.67	c  N st  3467   1710373       730      3188         0     56595      9692    721530     20.47   no data  --
1506.57/377.67	c  S st  3467   1710373       730      3188         0     56595      9692    721530     20.47   no data  --
1507.37/377.81	c  S st  3467   1710876       730      3188         0     57098      9692    735934     20.47   no data  --
1507.37/377.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1507.37/377.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1507.37/377.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1507.37/377.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1507.37/377.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1507.37/377.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
1507.37/377.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1516.55/380.13	c lits-rem:       474  cl-subs:      213  v-elim:      0  v-fix:    0  time:  9.05 s
1516.55/380.13	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
1516.55/380.14	c vivif2 --  cl tried    56885 cl shrink        0 lits rem          0 time: 0.04
1516.95/380.22	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.30
1516.95/380.22	c calculated reachability. Time: 0.00
1516.95/380.22	c  N st  3467   1710876       730      3188         0     56885      9692    729670     20.47   no data  --
1979.03/496.01	c  N st  3468   2079842       730      3188         0     62497      9692    737038     20.47   no data  --
2135.00/535.19	c  N st  3469   2210876       730      3188         0     64675      9692    756896     20.47   no data  --
2135.00/535.19	c  S st  3469   2210876       730      3188         0     64675      9692    756896     20.47   no data  --
2135.80/535.35	c  S st  3469   2211380       730      3188         0     65179      9692    772641     20.47   no data  --
2135.80/535.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2135.80/535.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2135.80/535.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
2136.20/535.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2136.20/535.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2136.20/535.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
2136.20/535.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2144.58/537.57	c lits-rem:       242  cl-subs:      141  v-elim:      0  v-fix:    0  time:  8.62 s
2144.58/537.57	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
2144.58/537.59	c vivif2 --  cl tried    65038 cl shrink        0 lits rem          0 time: 0.04
2144.98/537.67	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.32
2144.98/537.67	c calculated reachability. Time: 0.00
2144.98/537.67	c  N st  3469   2211380       730      3188         0     65038      9692    768786     20.47   no data  --
2731.50/684.63	c  N st  3470   2711380       730      3188         0     82164      9692   1211768     20.47   no data  --
2731.50/684.63	c  S st  3470   2711380       730      3188         0     82164      9692   1211768     20.47   no data  --
2732.31/684.86	c  S st  3470   2711884       730      3188         0     82668      9692   1226421     20.47   no data  --
2732.31/684.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2732.31/684.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2732.71/684.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
2732.71/684.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2732.71/684.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2732.71/684.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
2732.71/684.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2741.09/687.01	c lits-rem:       292  cl-subs:      648  v-elim:      0  v-fix:    0  time:  8.23 s
2741.09/687.01	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
2741.09/687.03	c vivif2 --  cl tried    82020 cl shrink        0 lits rem          0 time: 0.06
2741.49/687.14	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.47
2741.49/687.15	c calculated reachability. Time: 0.00
2741.49/687.15	c  N st  3470   2711884       730      3188         0     82020      9692   1200267     20.47   no data  --
3410.23/854.72	c  N st  3471   3211885       730      3188         0    128190      9692   2793649     20.47   no data  --
3410.23/854.72	c  S st  3471   3211885       730      3188         0    128190      9692   2793649     20.47   no data  --
3411.38/855.09	c  S st  3471   3212392       730      3188         0    128697      9692   2810694     20.47   no data  --
3411.38/855.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3411.38/855.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3411.78/855.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.28
3412.18/855.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3412.18/855.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3412.18/855.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
3412.18/855.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3487.58/874.13	c lits-rem:       336  cl-subs:     4243  v-elim:      0  v-fix:    0  time: 75.24 s
3487.58/874.13	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
3487.58/874.16	c vivif2 --  cl tried   124454 cl shrink        0 lits rem          0 time: 0.13
3488.39/874.37	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.84
3488.39/874.38	c calculated reachability. Time: 0.00
3488.39/874.38	c  N st  3471   3212392       730      3188         0    124454      9692   2643578     20.47   no data  --
4281.17/1073.04	c  N st  3472   3712392       730      3188         0    135286      9692   2816420     20.47   no data  --
4281.17/1073.04	c  S st  3472   3712392       730      3188         0    135286      9692   2816420     20.47   no data  --
4282.77/1073.47	c  S st  3472   3712894       730      3188         0    135787      9692   2831850     20.47   no data  --
4282.77/1073.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4282.77/1073.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4283.19/1073.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
4283.60/1073.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4283.60/1073.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4283.60/1073.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
4283.60/1073.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4359.35/1092.62	c lits-rem:       140  cl-subs:     4351  v-elim:      0  v-fix:    0  time: 75.65 s
4359.35/1092.62	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
4359.35/1092.65	c vivif2 --  cl tried   131436 cl shrink        0 lits rem          0 time: 0.13
4360.15/1092.86	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.86
4360.15/1092.87	c calculated reachability. Time: 0.00
4360.15/1092.87	c  N st  3472   3712894       730      3188         0    131436      9692   2671438     20.47   no data  --
4438.35/1112.40	c  F st  3473   3751563       730      3188         0     86051      9692    968132     20.47   no data  --
4438.35/1112.40	c  N st  3473   3751563       730      3188         0     86051      9692    968132     20.47   no data  --
4444.34/1113.91	c Decided on static restart strategy
4478.25/1122.45	c  N st  3483   3779865       730      3188         0    113979      9692   1893426     20.47   no data  --
4546.52/1139.51	c  N st  3485   3815857       730      3188         0    149424      9692   3051431     20.47   no data  --
4608.72/1155.14	c  N st  3486   3848252       730      3188         0     96582      9692   1312575     20.47   no data  --
4693.72/1176.45	c  N st  3487   3896842       730      3188         0    144161      9692   2790116     20.47   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-3368703-1305401035/watcher-3368703-1305401035 -o /tmp/evaluation-result-3368703-1305401035/solver-3368703-1305401035 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368703-1305401035.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: 7.50 7.96 7.92 3/316 7580
/proc/meminfo: memFree=11163560/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 413 0 0 0 1 0 0 0 18 0 4 0 651705845 52465664 353 33554432000 4194304 4650419 140736795480720 18446744073709551615 47751578097586 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 12809 353 303 112 0 7774 0
[pid=7580/tid=7583] ppid=7578 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 651705845 52465664 353 33554432000 4194304 4650419 140736795480720 18446744073709551615 47751578097576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 651705845 52465664 353 33554432000 4194304 4650419 140736795480720 18446744073709551615 47751578097586 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 651705845 52465664 353 33554432000 4194304 4650419 140736795480720 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0646069 s]
/proc/loadavg: 7.50 7.96 7.92 3/316 7580
/proc/meminfo: memFree=11163560/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=282640 CPUtime=0.22 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 1829 0 0 0 22 0 0 0 18 0 4 0 651705845 289423360 1678 33554432000 4194304 4650419 140736795480720 18446744073709551615 4363441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 70660 1678 390 112 0 65625 0
[pid=7580/tid=7583] ppid=7578 vsize=282640 CPUtime=0.05 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 376 0 0 0 5 0 0 0 18 0 4 0 651705845 289423360 1678 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=282640 CPUtime=0.06 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 404 0 0 0 6 0 0 0 18 0 4 0 651705845 289423360 1678 33554432000 4194304 4650419 140736795480720 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=282640 CPUtime=0.04 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 220 0 0 0 4 0 0 0 20 0 4 0 651705845 289423360 1678 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 282640

[startup+0.12698 s]
/proc/loadavg: 7.50 7.96 7.92 3/316 7580
/proc/meminfo: memFree=11163560/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=282640 CPUtime=0.47 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 2120 0 0 0 47 0 0 0 18 0 4 0 651705845 289423360 1969 33554432000 4194304 4650419 140736795480720 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 70660 1969 391 112 0 65625 0
[pid=7580/tid=7583] ppid=7578 vsize=282640 CPUtime=0.11 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 441 0 0 0 11 0 0 0 18 0 4 0 651705845 289423360 1969 33554432000 4194304 4650419 140736795480720 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=282640 CPUtime=0.12 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 492 0 0 0 12 0 0 0 18 0 4 0 651705845 289423360 1969 33554432000 4194304 4650419 140736795480720 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=282640 CPUtime=0.11 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 298 0 0 0 11 0 0 0 21 0 4 0 651705845 289423360 1969 33554432000 4194304 4650419 140736795480720 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 282640

[startup+0.300562 s]
/proc/loadavg: 7.50 7.96 7.92 3/316 7580
/proc/meminfo: memFree=11163560/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=283820 CPUtime=1.16 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 3239 0 0 0 116 0 0 0 18 0 4 0 651705845 290631680 2347 33554432000 4194304 4650419 140736795480720 18446744073709551615 4334352 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 70955 2347 393 112 0 65920 0
[pid=7580/tid=7583] ppid=7578 vsize=283820 CPUtime=0.29 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 710 0 0 0 29 0 0 0 18 0 4 0 651705845 290631680 2347 33554432000 4194304 4650419 140736795480720 18446744073709551615 4333771 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=283820 CPUtime=0.29 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 791 0 0 0 29 0 0 0 18 0 4 0 651705845 290631680 2347 33554432000 4194304 4650419 140736795480720 18446744073709551615 4334219 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=283820 CPUtime=0.28 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 582 0 0 0 28 0 0 0 21 0 4 0 651705845 290631680 2347 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283820

[startup+0.700487 s]
/proc/loadavg: 7.50 7.96 7.92 3/316 7580
/proc/meminfo: memFree=11163560/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=284788 CPUtime=2.76 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 5143 0 0 0 276 0 0 0 18 0 4 0 651705845 291622912 3135 33554432000 4194304 4650419 140736795480720 18446744073709551615 4330457 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 71197 3135 393 112 0 66162 0
[pid=7580/tid=7583] ppid=7578 vsize=284788 CPUtime=0.69 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 1221 0 0 0 69 0 0 0 18 0 4 0 651705845 291622912 3135 33554432000 4194304 4650419 140736795480720 18446744073709551615 4334325 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=284788 CPUtime=0.69 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 1274 0 0 0 69 0 0 0 18 0 4 0 651705845 291622912 3135 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=284788 CPUtime=0.68 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 1026 0 0 0 68 0 0 0 22 0 4 0 651705845 291622912 3135 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284788

[startup+1.50034 s]
/proc/loadavg: 7.62 7.98 7.93 10/324 7588
/proc/meminfo: memFree=11137084/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=277112 CPUtime=5.96 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 8907 0 0 0 595 1 0 0 20 0 4 0 651705845 283762688 3738 33554432000 4194304 4650419 140736795480720 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 69278 3739 394 112 0 64243 0
[pid=7580/tid=7583] ppid=7578 vsize=277112 CPUtime=1.48 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 2167 0 0 0 148 0 0 0 19 0 4 0 651705845 283762688 3739 33554432000 4194304 4650419 140736795480720 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=277112 CPUtime=1.49 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 2243 0 0 0 149 0 0 0 19 0 4 0 651705845 283762688 3739 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=277112 CPUtime=1.47 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 1882 0 0 0 147 0 0 0 25 0 4 0 651705845 283762688 3739 33554432000 4194304 4650419 140736795480720 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 277112

[startup+3.10103 s]
/proc/loadavg: 7.62 7.98 7.93 10/324 7588
/proc/meminfo: memFree=11094720/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=278364 CPUtime=12.34 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 19764 0 0 0 1231 3 0 0 25 0 4 0 651705845 285044736 11444 33554432000 4194304 4650419 140736795480720 18446744073709551615 4333562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 69591 11444 395 112 0 64556 0
[pid=7580/tid=7583] ppid=7578 vsize=278364 CPUtime=3.08 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 4656 0 0 0 308 0 0 0 25 0 4 0 651705845 285044736 11444 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=278364 CPUtime=3.09 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 4788 0 0 0 309 0 0 0 25 0 4 0 651705845 285044736 11444 33554432000 4194304 4650419 140736795480720 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=278364 CPUtime=3.05 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 4835 0 0 0 305 0 0 0 25 0 4 0 651705845 285044736 11444 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 278364

[startup+6.30043 s]
/proc/loadavg: 7.62 7.98 7.93 10/324 7588
/proc/meminfo: memFree=11043144/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=280700 CPUtime=25.11 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 28659 0 0 0 2507 4 0 0 25 0 4 0 651705845 287436800 14569 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 70175 14569 395 112 0 65140 0
[pid=7580/tid=7583] ppid=7578 vsize=280700 CPUtime=6.29 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 7802 0 0 0 628 1 0 0 25 0 4 0 651705845 287436800 14569 33554432000 4194304 4650419 140736795480720 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=280700 CPUtime=6.28 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 6871 0 0 0 628 0 0 0 25 0 4 0 651705845 287436800 14569 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=280700 CPUtime=6.23 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 6405 0 0 0 622 1 0 0 25 0 4 0 651705845 287436800 14569 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 280700

[startup+12.7002 s]
/proc/loadavg: 7.75 8.00 7.93 10/324 7588
/proc/meminfo: memFree=10986796/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=273464 CPUtime=50.64 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 43277 0 0 0 5056 8 0 0 25 0 4 0 651705845 280027136 21015 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 68366 21015 395 112 0 63331 0
[pid=7580/tid=7583] ppid=7578 vsize=273464 CPUtime=12.68 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 11397 0 0 0 1267 1 0 0 25 0 4 0 651705845 280027136 21015 33554432000 4194304 4650419 140736795480720 18446744073709551615 4439086 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=273464 CPUtime=12.68 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 10612 0 0 0 1267 1 0 0 25 0 4 0 651705845 280027136 21015 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=273464 CPUtime=12.56 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 9963 0 0 0 1254 2 0 0 25 0 4 0 651705845 280027136 21015 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 273464

[startup+25.5008 s]
/proc/loadavg: 7.79 8.00 7.93 10/324 7589
/proc/meminfo: memFree=10905080/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=302416 CPUtime=101.72 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 61493 0 0 0 10158 14 0 0 25 0 4 0 651705845 309673984 31128 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 75604 31128 395 112 0 70569 0
[pid=7580/tid=7583] ppid=7578 vsize=302416 CPUtime=25.48 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 15181 0 0 0 2545 3 0 0 25 0 4 0 651705845 309673984 31128 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=302416 CPUtime=25.48 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 15591 0 0 0 2546 2 0 0 25 0 4 0 651705845 309673984 31128 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=302416 CPUtime=25.22 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 12615 0 0 0 2520 2 0 0 25 0 4 0 651705845 309673984 31128 33554432000 4194304 4650419 140736795480720 18446744073709551615 4363416 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) 302416

[startup+51.1009 s]
/proc/loadavg: 7.87 8.00 7.93 10/324 7589
/proc/meminfo: memFree=10832300/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=404840 CPUtime=203.85 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 96360 0 0 0 20361 24 0 0 25 0 4 0 651705845 414556160 41324 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 101210 41324 395 112 0 96175 0
[pid=7580/tid=7583] ppid=7578 vsize=404840 CPUtime=51.08 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 23855 0 0 0 5102 6 0 0 25 0 4 0 651705845 414556160 41324 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=404840 CPUtime=51.09 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 24752 0 0 0 5103 6 0 0 25 0 4 0 651705845 414556160 41324 33554432000 4194304 4650419 140736795480720 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=404840 CPUtime=50.57 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 20399 0 0 0 5052 5 0 0 25 0 4 0 651705845 414556160 41324 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 404840

[startup+102.312 s]
/proc/loadavg: 7.98 8.01 7.94 10/324 7591
/proc/meminfo: memFree=10746084/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=426608 CPUtime=408.19 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 135836 0 0 0 40779 40 0 0 25 0 4 0 651705845 436846592 51089 33554432000 4194304 4650419 140736795480720 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 106652 51089 395 112 0 101617 0
[pid=7580/tid=7583] ppid=7578 vsize=426608 CPUtime=102.29 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 35437 0 0 0 10218 11 0 0 25 0 4 0 651705845 436846592 51089 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=426608 CPUtime=102.3 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 37761 0 0 0 10220 10 0 0 25 0 4 0 651705845 436846592 51089 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=426608 CPUtime=101.26 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 27452 0 0 0 10119 7 0 0 25 0 4 0 651705845 436846592 51089 33554432000 4194304 4650419 140736795480720 18446744073709551615 4438944 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.19
Current children cumulated vsize (KiB) 426608

[startup+162.301 s]

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

[pid=7580] ppid=7578 vsize=636748 CPUtime=2802.12 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 456953 0 0 0 280019 193 0 0 25 0 4 0 651705845 652029952 104346 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 159187 104346 395 112 0 154152 0
[pid=7580/tid=7583] ppid=7578 vsize=636748 CPUtime=702.3 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 133026 0 0 0 70176 54 0 0 25 0 4 0 651705845 652029952 104346 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=636748 CPUtime=702.31 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 118814 0 0 0 70182 49 0 0 25 0 4 0 651705845 652029952 104346 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=636748 CPUtime=695.16 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 89643 0 0 0 69477 39 0 0 25 0 4 0 651705845 652029952 104346 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.12
Current children cumulated vsize (KiB) 636748

[startup+762.313 s]
/proc/loadavg: 8.16 8.13 8.02 10/324 7608
/proc/meminfo: memFree=10215036/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=649236 CPUtime=3041.56 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 486535 0 0 0 303946 210 0 0 25 0 4 0 651705845 664817664 111676 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 162309 111676 395 112 0 157274 0
[pid=7580/tid=7583] ppid=7578 vsize=649236 CPUtime=762.32 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 138461 0 0 0 76175 57 0 0 25 0 4 0 651705845 664817664 111676 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=649236 CPUtime=762.32 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 129728 0 0 0 76177 55 0 0 25 0 4 0 651705845 664817664 111676 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=649236 CPUtime=754.56 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 92846 0 0 0 75415 41 0 0 25 0 4 0 651705845 664817664 111676 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.56
Current children cumulated vsize (KiB) 649236

[startup+822.301 s]
/proc/loadavg: 8.06 8.11 8.02 10/324 7610
/proc/meminfo: memFree=10232992/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=696828 CPUtime=3280.91 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 507928 0 0 0 327871 220 0 0 25 0 4 0 651705845 713551872 108302 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 174207 108302 395 112 0 169172 0
[pid=7580/tid=7583] ppid=7578 vsize=696828 CPUtime=822.31 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 142790 0 0 0 82172 59 0 0 25 0 4 0 651705845 713551872 108302 33554432000 4194304 4650419 140736795480720 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=696828 CPUtime=822.32 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 136965 0 0 0 82174 58 0 0 25 0 4 0 651705845 713551872 108302 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=696828 CPUtime=813.93 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 93689 0 0 0 81352 41 0 0 25 0 4 0 651705845 713551872 108302 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.91
Current children cumulated vsize (KiB) 696828

[startup+882.3 s]
/proc/loadavg: 8.07 8.10 8.02 10/324 7612
/proc/meminfo: memFree=10179152/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=705260 CPUtime=3520.29 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 538934 0 0 0 351793 236 0 0 25 0 4 0 651705845 722186240 113938 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 176315 113938 395 112 0 171280 0
[pid=7580/tid=7583] ppid=7578 vsize=705260 CPUtime=882.31 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 149249 0 0 0 88168 63 0 0 25 0 4 0 651705845 722186240 113938 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=705260 CPUtime=882.32 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 145775 0 0 0 88168 64 0 0 25 0 4 0 651705845 722186240 113938 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=705260 CPUtime=873.32 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 97049 0 0 0 87289 43 0 0 25 0 4 0 651705845 722186240 113938 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.29
Current children cumulated vsize (KiB) 705260

[startup+942.301 s]
/proc/loadavg: 8.02 8.08 8.01 10/324 7613
/proc/meminfo: memFree=10139320/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=705148 CPUtime=3759.69 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 569299 0 0 0 375717 252 0 0 25 0 4 0 651705845 722071552 125014 33554432000 4194304 4650419 140736795480720 18446744073709551615 4315103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 176287 125014 395 112 0 171252 0
[pid=7580/tid=7583] ppid=7578 vsize=705148 CPUtime=942.31 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 159456 0 0 0 94166 65 0 0 25 0 4 0 651705845 722071552 125014 33554432000 4194304 4650419 140736795480720 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=705148 CPUtime=942.32 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 152954 0 0 0 94164 68 0 0 25 0 4 0 651705845 722071552 125014 33554432000 4194304 4650419 140736795480720 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=705148 CPUtime=932.71 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 102366 0 0 0 93224 47 0 0 25 0 4 0 651705845 722071552 125014 33554432000 4194304 4650419 140736795480720 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.69
Current children cumulated vsize (KiB) 705148

[startup+1002.3 s]
/proc/loadavg: 8.05 8.08 8.01 10/324 7615
/proc/meminfo: memFree=10136688/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=757796 CPUtime=3999.07 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 601672 0 0 0 399641 266 0 0 25 0 4 0 651705845 775983104 127068 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 189449 127068 395 112 0 184414 0
[pid=7580/tid=7583] ppid=7578 vsize=757796 CPUtime=1002.31 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 173745 0 0 0 100163 68 0 0 25 0 4 0 651705845 775983104 127068 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=757796 CPUtime=1002.32 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 158046 0 0 0 100161 71 0 0 25 0 4 0 651705845 775983104 127068 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=757796 CPUtime=992.08 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 107347 0 0 0 99158 50 0 0 25 0 4 0 651705845 775983104 127068 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.07
Current children cumulated vsize (KiB) 757796

[startup+1062.3 s]
/proc/loadavg: 8.05 8.08 8.01 10/324 7616
/proc/meminfo: memFree=10046028/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=870468 CPUtime=4238.48 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 634848 0 0 0 423567 281 0 0 25 0 4 0 651705845 891359232 141053 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 217617 141053 395 112 0 212582 0
[pid=7580/tid=7583] ppid=7578 vsize=870468 CPUtime=1062.31 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 180438 0 0 0 106160 71 0 0 25 0 4 0 651705845 891359232 141053 33554432000 4194304 4650419 140736795480720 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=870468 CPUtime=1062.33 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 165798 0 0 0 106157 76 0 0 25 0 4 0 651705845 891359232 141053 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=870468 CPUtime=1051.48 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 117726 0 0 0 105095 53 0 0 25 0 4 0 651705845 891359232 141053 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.48
Current children cumulated vsize (KiB) 870468

[startup+1122.3 s]
/proc/loadavg: 8.09 8.09 8.02 10/324 7618
/proc/meminfo: memFree=10067212/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=768788 CPUtime=4477.85 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 655304 0 0 0 447494 291 0 0 25 0 4 0 651705845 787238912 139173 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 192197 139173 395 112 0 187162 0
[pid=7580/tid=7583] ppid=7578 vsize=768788 CPUtime=1122.31 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 186829 0 0 0 112156 75 0 0 25 0 4 0 651705845 787238912 139173 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=768788 CPUtime=1122.33 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 169568 0 0 0 112156 77 0 0 25 0 4 0 651705845 787238912 139173 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=768788 CPUtime=1110.85 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 120521 0 0 0 111031 54 0 0 25 0 4 0 651705845 787238912 139173 33554432000 4194304 4650419 140736795480720 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.85
Current children cumulated vsize (KiB) 768788

[startup+1182.3 s]
/proc/loadavg: 8.22 8.12 8.03 10/324 7620
/proc/meminfo: memFree=9998736/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=885748 CPUtime=4717.27 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 668697 0 0 0 471427 300 0 0 25 0 4 0 651705845 907005952 139140 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 221437 139140 395 112 0 216402 0
[pid=7580/tid=7583] ppid=7578 vsize=885748 CPUtime=1182.31 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 192493 0 0 0 118152 79 0 0 25 0 4 0 651705845 907005952 139140 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=885748 CPUtime=1182.33 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 171085 0 0 0 118155 78 0 0 25 0 4 0 651705845 907005952 139140 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=885748 CPUtime=1170.26 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 122238 0 0 0 116970 56 0 0 25 0 4 0 651705845 907005952 139140 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.27
Current children cumulated vsize (KiB) 885748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.16 8.11 8.02 9/324 7620
/proc/meminfo: memFree=9999596/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=901508 CPUtime=4800.28 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 678553 0 0 0 479725 303 0 0 25 0 4 0 651705845 923144192 143822 33554432000 4194304 4650419 140736795480720 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 225377 143822 395 112 0 220342 0
[pid=7580/tid=7583] ppid=7578 vsize=901508 CPUtime=1203.13 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 196570 0 0 0 120233 80 0 0 25 0 4 0 651705845 923144192 143822 33554432000 4194304 4650419 140736795480720 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=901508 CPUtime=1203.14 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 171455 0 0 0 120235 79 0 0 25 0 4 0 651705845 923144192 143822 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=901508 CPUtime=1190.85 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 124670 0 0 0 119028 57 0 0 25 0 4 0 651705845 923144192 143822 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 901508

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

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

[startup+1203.1 s]
/proc/loadavg: 8.16 8.11 8.02 9/324 7620
/proc/meminfo: memFree=9999596/32951124 swapFree=67093864/67111528
[pid=7580] ppid=7578 vsize=901508 CPUtime=4800.28 cores=1,3,5,7
/proc/7580/stat : 7580 (strangenight1-m) R 7578 7580 7247 0 -1 4202496 678553 0 0 0 479725 303 0 0 25 0 4 0 651705845 923144192 143822 33554432000 4194304 4650419 140736795480720 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7580/statm: 225377 143822 395 112 0 220342 0
[pid=7580/tid=7583] ppid=7578 vsize=901508 CPUtime=1203.13 cores=1,3,5,7
/proc/7580/task/7583/stat : 7583 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 196570 0 0 0 120233 80 0 0 25 0 4 0 651705845 923144192 143822 33554432000 4194304 4650419 140736795480720 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7580/tid=7584] ppid=7578 vsize=901508 CPUtime=1203.14 cores=1,3,5,7
/proc/7580/task/7584/stat : 7584 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 171455 0 0 0 120235 79 0 0 25 0 4 0 651705845 923144192 143822 33554432000 4194304 4650419 140736795480720 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7580/tid=7585] ppid=7578 vsize=901508 CPUtime=1190.85 cores=1,3,5,7
/proc/7580/task/7585/stat : 7585 (strangenight1-m) R 7578 7580 7247 0 -1 4202560 124670 0 0 0 119028 57 0 0 25 0 4 0 651705845 923144192 143822 33554432000 4194304 4650419 140736795480720 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 901508

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.35
CPU user time (s): 4797.28
CPU system time (s): 3.06453
CPU usage (%): 398.983
Max. virtual memory (cumulated for all children) (KiB): 938892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.28
system time used= 3.06453
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678554
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= 575
involuntary context switches= 31916

runsolver used 3.32849 second user time and 8.98263 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-14 21:23:55
IDJOB=3368703
IDBENCH=82712
IDSOLVER=1846
FILE ID=node102/3368703-1305401035
RUNJOBID= node102-1305401035-7562
PBS_JOBID= 13324460
Free space on /tmp= 73536 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368703-1305401035/watcher-3368703-1305401035 -o /tmp/evaluation-result-3368703-1305401035/solver-3368703-1305401035 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368703-1305401035.cnf

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

MD5SUM BENCH= 65ec9a3d3f909189961ec0dd141dd0a7
RANDOM SEED=1875258665

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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.828
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:     32951124 kB
MemFree:      11164112 kB
Buffers:        253692 kB
Cached:        2799652 kB
SwapCached:       1128 kB
Active:       19512220 kB
Inactive:      1980800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11164112 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:           12524 kB
Writeback:           0 kB
AnonPages:    18438560 kB
Mapped:          25920 kB
Slab:           177116 kB
PageTables:      52796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59039568 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= 73524 MiB
End job on node102 at 2011-05-14 21:44:00