Trace number 3366337

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.35 1205.05

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf
MD5SUM7ce6e28d94f25a5004daf47b6c05c693
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark935.616
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3366337-1305401949.cnf'
0.00/0.01	c -- header says num vars:            500
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        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.36/0.11	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.36/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.36/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.36/0.11	c calculated reachability. Time: 0.00
0.36/0.11	c Calc default polars -  time:   0.00 s pos:     222 undec:      57 neg:     221
0.36/0.11	c =========================================================================================
0.36/0.11	c types(t): F = full restart, N = normal restart
0.36/0.11	c types(t): S = simplification begin/end, E = solution found
0.36/0.11	c restart types(rt): st = static, dy = dynamic
0.36/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.36/0.11	c  B st     0         0       489      2119         0         0      6429         0   no data   no data
0.36/0.11	c Decided on static restart strategy
0.36/0.16	c  N st     8      4915       489      2119         0      4840      6429    108755   no data   no data
1.56/0.40	c  N st    10     11301       489      2119         0      4479      6429     73085   no data   no data
2.36/0.66	c  N st    11     17044       489      2119         0     10077      6429    199803   no data   no data
15.16/4.50	c  F st    12     25001       489      2119         0     12350      6429    235733   no data   no data
15.16/4.50	c  N st    12     25001       489      2119         0     12350      6429    235733   no data   no data
15.96/4.75	c Decided on static restart strategy
15.96/4.75	c  N st    18     30000       489      2119         0     10653      6429    190034   no data   no data
15.96/4.75	c  S st    18     30000       489      2119         0     10653      6429    190034   no data   no data
15.96/4.78	c  S st    18     30506       489      2119         0     11158      6429    200781   no data   no data
15.96/4.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.96/4.79	c blocked clauses removed:        0 vars:      0 tried:         489 T: 0.00 s
15.96/4.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
15.96/4.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.36/4.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.85	c lits-rem:       101  cl-subs:      564  v-elim:      0  v-fix:    0  time:  0.05 s
16.36/4.85	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.01
16.36/4.85	c calculated reachability. Time: 0.00
16.36/4.85	c  N st    18     30506       489      2119         0     10594      6429    188105   no data   no data
17.96/5.26	c  N st    20     37618       489      2119         0      9868      6429    155646   no data   no data
19.55/5.64	c  N st    21     44017       489      2119         0     16154      6429    305867   no data   no data
19.95/5.76	c  S st    22     45759       489      2119         0      9091      6429    122616   no data   no data
20.33/5.80	c  S st    22     46262       489      2119         0      9593      6429    134073   no data   no data
20.33/5.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.33/5.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
20.33/5.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20.33/5.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.33/5.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.33/5.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
20.33/5.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.33/5.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
20.33/5.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.33/5.82	c lits-rem:        18  cl-subs:       51  v-elim:      0  v-fix:    0  time:  0.01 s
20.33/5.82	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
20.33/5.82	c vivif2 --  cl tried     9542 cl shrink        0 lits rem          0 time: 0.00
20.33/5.83	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.01
20.33/5.83	c calculated reachability. Time: 0.00
20.33/5.83	c  N st    22     46262       489      2119         0      9542      6429    132807   no data   no data
23.91/6.76	c  N st    23     60659       489      2119         0     13810      6429    229200   no data   no data
26.71/7.44	c  N st    24     69394       489      2119         0     11599      6429    163509   no data   no data
26.71/7.44	c  S st    24     69394       489      2119         0     11599      6429    163509   no data   no data
26.71/7.47	c  S st    24     69897       489      2119         0     12102      6429    175125   no data   no data
26.71/7.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.71/7.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.71/7.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.71/7.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.71/7.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.71/7.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
26.71/7.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.71/7.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.71/7.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.11/7.51	c lits-rem:        59  cl-subs:      295  v-elim:      0  v-fix:    0  time:  0.02 s
27.11/7.51	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
27.11/7.51	c vivif2 --  cl tried    11807 cl shrink        0 lits rem          0 time: 0.00
27.11/7.52	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.01
27.11/7.52	c calculated reachability. Time: 0.00
27.11/7.52	c  N st    24     69897       489      2119         0     11807      6429    168650   no data   no data
31.93/8.79	c  F st    25     87500       489      2119         0     17344      6429    302132   no data   no data
31.93/8.79	c  N st    25     87500       489      2119         0     17344      6429    302132   no data   no data
34.28/9.30	c Decided on static restart strategy
35.08/9.58	c  N st    32     95536       489      2119         0     25203      6429    478609   no data   no data
37.87/10.26	c  N st    34    104845       489      2119         0     21605      6429    366665   no data   no data
37.87/10.26	c  S st    34    104845       489      2119         0     21605      6429    366665   no data   no data
38.27/10.31	c  S st    34    105347       489      2119         0     22107      6429    377900   no data   no data
38.27/10.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.27/10.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
38.27/10.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
38.27/10.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.27/10.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.27/10.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
38.27/10.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
38.27/10.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
38.27/10.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.66/10.46	c lits-rem:       154  cl-subs:      798  v-elim:      0  v-fix:    0  time:  0.13 s
38.66/10.46	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
38.66/10.46	c vivif2 --  cl tried    21309 cl shrink        0 lits rem          0 time: 0.00
38.66/10.48	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.01
38.66/10.48	c calculated reachability. Time: 0.00
38.66/10.48	c  N st    34    105347       489      2119         0     21309      6429    360192   no data   no data
41.84/11.21	c  N st    35    114947       489      2119         0     17056      6429    243394   no data   no data
47.03/12.53	c  N st    36    129346       489      2119         0     16417      6429    216869   no data   no data
54.59/14.45	c  N st    37    150941       489      2119         0     21926      6429    338387   no data   no data
57.00/15.03	c  S st    38    158022       489      2119         0     28893      6429    513575   no data   no data
57.40/15.10	c  S st    38    158529       489      2119         0     29399      6429    525142   no data   no data
57.40/15.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.40/15.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
57.40/15.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
57.40/15.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.40/15.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.40/15.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
57.40/15.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
57.40/15.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
57.40/15.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.65/15.49	c lits-rem:       165  cl-subs:     1431  v-elim:      0  v-fix:    0  time:  0.36 s
58.65/15.49	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
58.65/15.50	c vivif2 --  cl tried    27968 cl shrink        0 lits rem          0 time: 0.01
58.99/15.51	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.02
58.99/15.51	c calculated reachability. Time: 0.00
58.99/15.51	c  N st    38    158529       489      2119         0     27968      6429    488868   no data   no data
77.71/20.29	c  N st    39    207117       489      2119         0     22627      6429    314353   no data   no data
90.81/23.53	c  N st    40    237793       489      2119         0     33023      6429    559148   no data   no data
90.81/23.53	c  S st    40    237793       489      2119         0     33023      6429    559148   no data   no data
91.21/23.62	c  S st    40    238295       489      2119         0     33524      6429    570833   no data   no data
91.21/23.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.21/23.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
91.21/23.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
91.21/23.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.21/23.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.21/23.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
91.21/23.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
91.21/23.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
91.21/23.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.25/24.16	c lits-rem:       502  cl-subs:     1438  v-elim:      0  v-fix:    0  time:  0.50 s
93.25/24.16	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
93.25/24.17	c vivif2 --  cl tried    32086 cl shrink        0 lits rem          0 time: 0.01
93.25/24.19	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.02
93.25/24.19	c calculated reachability. Time: 0.00
93.25/24.19	c  N st    40    238295       489      2119         0     32086      6429    533605   no data   no data
123.50/31.81	c  F st    41    306250       489      2119         0     34010      6429    543776   no data   no data
123.50/31.81	c  N st    41    306250       489      2119         0     34010      6429    543776   no data   no data
126.29/32.43	c Decided on static restart strategy
136.64/35.04	c  N st    51    334556       489      2119         0     38386      6429    622730   no data   no data
147.40/37.76	c  N st    53    357442       489      2119         0     36284      6429    556779   no data   no data
147.40/37.76	c  S st    53    357442       489      2119         0     36284      6429    556779   no data   no data
147.80/37.86	c  S st    53    357946       489      2119         0     36788      6429    568791   no data   no data
147.80/37.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.80/37.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
147.80/37.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.80/37.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.80/37.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.80/37.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
147.80/37.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
147.80/37.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
148.20/37.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.40/38.27	c lits-rem:       128  cl-subs:     1380  v-elim:      0  v-fix:    0  time:  0.37 s
149.40/38.27	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
149.40/38.28	c vivif2 --  cl tried    35408 cl shrink        0 lits rem          0 time: 0.01
149.80/38.30	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.02
149.80/38.30	c calculated reachability. Time: 0.00
149.80/38.30	c  N st    53    357946       489      2119         0     35408      6429    533963   no data   no data
166.54/42.52	c  N st    54    390338       489      2119         0     41600      6429    652216   no data   no data
192.83/49.11	c  N st    55    438927       489      2119         0     35179      6429    466405   no data   no data
237.07/60.20	c  N st    56    511811       489      2119         0     48515      6429    729537   no data   no data
252.20/64.04	c  N st    57    536920       489      2119         0     42873      6429    621854   no data   no data
252.20/64.04	c  S st    57    536920       489      2119         0     42873      6429    621854   no data   no data
252.60/64.15	c  S st    57    537426       489      2119         0     43375      6429    633523   no data   no data
252.60/64.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
252.60/64.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
252.60/64.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.60/64.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.60/64.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.60/64.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
252.60/64.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
252.60/64.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
253.00/64.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.44/64.83	c lits-rem:       346  cl-subs:     1851  v-elim:      0  v-fix:    0  time:  0.63 s
255.44/64.83	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
255.44/64.84	c vivif2 --  cl tried    41524 cl shrink        0 lits rem          0 time: 0.01
255.44/64.86	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.03
255.44/64.87	c calculated reachability. Time: 0.00
255.44/64.87	c  N st    57    537426       489      2119         0     41524      6429    590219   no data   no data
369.01/93.40	c  N st    58    701410       489      2119         0     35704      6429    363811   no data   no data
444.73/112.34	c  N st    59    806139       489      2119         0     64673      6429   1067159   no data   no data
444.73/112.34	c  S st    59    806139       489      2119         0     64673      6429   1067159   no data   no data
445.53/112.55	c  S st    59    806645       489      2119         0     65178      6429   1078514   no data   no data
445.53/112.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
445.53/112.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
445.53/112.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
445.53/112.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
445.53/112.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.53/112.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
445.53/112.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
445.53/112.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
445.92/112.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
457.89/115.61	c lits-rem:       715  cl-subs:     4308  v-elim:      0  v-fix:    0  time:  2.98 s
457.89/115.61	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
457.89/115.62	c vivif2 --  cl tried    60870 cl shrink        0 lits rem          0 time: 0.01
457.89/115.67	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.05
457.89/115.68	c calculated reachability. Time: 0.00
457.89/115.68	c  N st    59    806645       489      2119         0     60870      6429    976593   no data   no data
673.14/169.64	c  F st    60   1071876       489      2119         0     76793      6429   1241649   no data   no data
673.14/169.65	c  N st    60   1071876       489      2119         0     76793      6429   1241649   no data   no data
679.12/171.17	c Decided on static restart strategy
700.64/176.54	c  N st    70   1100180       489      2119         0     60617      6429    809496   no data   no data
734.90/185.10	c  N st    72   1136174       489      2119         0     50779      6429    566734   no data   no data
763.19/192.24	c  N st    73   1168567       489      2119         0     82233      6429   1246509   no data   no data
797.46/200.85	c  N st    74   1209967       489      2119         0     76920      6429   1207863   no data   no data
797.46/200.85	c  S st    74   1209967       489      2119         0     76920      6429   1207863   no data   no data
798.66/201.16	c  S st    74   1210474       489      2119         0     77426      6429   1220409   no data   no data
798.66/201.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
798.66/201.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
798.66/201.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
798.66/201.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
798.66/201.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
798.66/201.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
798.66/201.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
799.09/201.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
799.09/201.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
817.38/205.89	c lits-rem:       454  cl-subs:     4250  v-elim:      0  v-fix:    0  time:  4.59 s
817.38/205.89	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
817.77/205.91	c vivif2 --  cl tried    73176 cl shrink        0 lits rem          0 time: 0.02
817.77/205.97	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.06
817.77/205.98	c calculated reachability. Time: 0.00
817.77/205.98	c  N st    74   1210474       489      2119         0     73176      6429   1124019   no data   no data
895.11/225.40	c  N st    75   1283356       489      2119         0     49809      6429    497983   no data   no data
1006.29/253.23	c  N st    76   1392679       489      2119         0     57911      6429    661965   no data   no data
1166.54/293.41	c  N st    77   1556663       489      2119         0     62602      6429    726991   no data   no data
1327.57/333.85	c  N st    78   1710474       489      2119         0    104285      6429   1665258   no data   no data
1327.57/333.85	c  S st    78   1710474       489      2119         0    104285      6429   1665258   no data   no data
1328.77/334.18	c  S st    78   1710980       489      2119         0    104789      6429   1677058   no data   no data
1328.77/334.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1329.17/334.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1329.17/334.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1329.17/334.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1329.17/334.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1329.17/334.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
1329.17/334.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1329.17/334.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1329.17/334.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1371.80/344.98	c lits-rem:      1046  cl-subs:     9723  v-elim:      0  v-fix:    0  time: 10.67 s
1371.80/344.98	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
1372.20/345.00	c vivif2 --  cl tried    95066 cl shrink        0 lits rem          0 time: 0.02
1372.60/345.10	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.09
1372.60/345.10	c calculated reachability. Time: 0.00
1372.60/345.10	c  N st    78   1710980       489      2119         0     95066      6429   1471032   no data   no data
1791.93/450.31	c  N st    79   2079944       489      2119         0    106522      6429   1671720   no data   no data
1938.60/487.15	c  N st    80   2210981       489      2119         0    110721      6429   1734870   no data   no data
1938.60/487.15	c  S st    80   2210981       489      2119         0    110721      6429   1734870   no data   no data
1940.19/487.53	c  S st    80   2211485       489      2119         0    111222      6429   1746551   no data   no data
1940.19/487.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1940.19/487.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1940.19/487.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1940.19/487.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1940.19/487.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1940.19/487.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
1940.19/487.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1940.59/487.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1940.59/487.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1982.02/498.06	c lits-rem:       876  cl-subs:     8070  v-elim:      0  v-fix:    0  time: 10.36 s
1982.02/498.06	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
1982.02/498.08	c vivif2 --  cl tried   103152 cl shrink        0 lits rem          0 time: 0.02
1982.42/498.18	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.10
1982.42/498.19	c calculated reachability. Time: 0.00
1982.42/498.19	c  N st    80   2211485       489      2119         0    103152      6429   1570736   no data   no data
2599.11/652.87	c  N st    81   2711486       489      2119         0    126951      6429   2122791   no data   no data
2599.11/652.87	c  S st    81   2711486       489      2119         0    126951      6429   2122791   no data   no data
2601.14/653.33	c  S st    81   2711988       489      2119         0    127453      6429   2134723   no data   no data
2601.14/653.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2601.14/653.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2601.14/653.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2601.14/653.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2601.14/653.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2601.14/653.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
2601.14/653.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2601.56/653.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2601.56/653.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2656.91/667.36	c lits-rem:       756  cl-subs:     8152  v-elim:      0  v-fix:    0  time: 13.86 s
2656.91/667.36	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
2656.91/667.38	c vivif2 --  cl tried   119301 cl shrink        0 lits rem          0 time: 0.03
2657.71/667.51	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.12
2657.71/667.51	c calculated reachability. Time: 0.00
2657.71/667.51	c  N st    81   2711988       489      2119         0    119301      6429   1947354   no data   no data
3380.79/848.90	c  N st    82   3211988       489      2119         0     94956      6429   1172644   no data   no data
3380.79/848.90	c  S st    82   3211988       489      2119         0     94956      6429   1172644   no data   no data
3381.62/849.20	c  S st    82   3212489       489      2119         0     95455      6429   1184707   no data   no data
3381.62/849.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3382.03/849.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3382.03/849.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3382.03/849.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3382.03/849.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3382.03/849.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
3382.03/849.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3382.03/849.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3382.37/849.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3389.57/851.12	c lits-rem:       203  cl-subs:     2977  v-elim:      0  v-fix:    0  time:  1.81 s
3389.57/851.12	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
3389.57/851.13	c vivif2 --  cl tried    92478 cl shrink        0 lits rem          0 time: 0.02
3389.97/851.22	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.09
3389.97/851.22	c calculated reachability. Time: 0.00
3389.97/851.22	c  N st    82   3212489       489      2119         0     92478      6429   1116476   no data   no data
4133.39/1037.79	c  N st    83   3712489       489      2119         0    102885      6429   1234408   no data   no data
4133.39/1037.79	c  S st    83   3712489       489      2119         0    102885      6429   1234408   no data   no data
4134.98/1038.15	c  S st    83   3712995       489      2119         0    103390      6429   1246526   no data   no data
4134.98/1038.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4135.38/1038.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4135.38/1038.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4135.38/1038.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4135.38/1038.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4135.38/1038.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    489 time:  0.00 s
4135.38/1038.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4135.38/1038.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4135.38/1038.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4146.14/1040.91	c lits-rem:       225  cl-subs:     5721  v-elim:      0  v-fix:    0  time:  2.64 s
4146.14/1040.91	c vivif2 --  cl tried     2119 cl shrink        0 lits rem          0 time: 0.00
4146.14/1040.93	c vivif2 --  cl tried    97669 cl shrink        0 lits rem          0 time: 0.02
4146.54/1041.02	c asymm  cl-useful: 0/2119/2119 lits-rem:0 time: 0.09
4146.54/1041.02	c calculated reachability. Time: 0.00
4146.54/1041.02	c  N st    83   3712995       489      2119         0     97669      6429   1129301   no data   no data
4200.36/1054.54	c  F st    84   3751563       489      2119         0    135262      6429   2071023   no data   no data
4200.36/1054.54	c  N st    84   3751563       489      2119         0    135262      6429   2071023   no data   no data
4209.93/1056.91	c Decided on static restart strategy
4252.57/1067.63	c  N st    94   3779866       489      2119         0    162791      6429   2710774   no data   no data
4306.81/1081.29	c  N st    96   3815859       489      2119         0    115556      6429   1525010   no data   no data
4360.98/1094.89	c  N st    97   3848253       489      2119         0    147067      6429   2264469   no data   no data
4429.15/1111.97	c  N st    98   3896841       489      2119         0    110844      6429   1404714   no data   no data
4544.74/1140.93	c  N st    99   3969724       489      2119         0     97211      6429   1055455   no data   no data
4694.22/1178.46	c  N st   100   4079048       489      2119         0    117773      6429   1499756   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-3366337-1305401949/watcher-3366337-1305401949 -o /tmp/evaluation-result-3366337-1305401949/solver-3366337-1305401949 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366337-1305401949.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: 7.81 8.05 8.02 6/401 28543
/proc/meminfo: memFree=24223600/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 411 0 0 0 1 0 0 0 25 0 4 0 651793508 52396032 351 33554432000 4194304 4580107 140735907916000 18446744073709551615 47286374630931 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 12792 351 302 95 0 7774 0
[pid=28543/tid=28544] ppid=28541 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651793508 52396032 351 33554432000 4194304 4580107 140735907916000 18446744073709551615 47286374631346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651793508 52396032 351 33554432000 4194304 4580107 140735907916000 18446744073709551615 47286374630928 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651793508 52396032 351 33554432000 4194304 4580107 140735907916000 18446744073709551615 47286374630935 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0359521 s]
/proc/loadavg: 7.81 8.05 8.02 6/401 28543
/proc/meminfo: memFree=24223600/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=281960 CPUtime=0.1 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 1281 0 0 0 10 0 0 0 18 0 4 0 651793508 288727040 1179 33554432000 4194304 4580107 140735907916000 18446744073709551615 4318708 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 70490 1179 376 95 0 65472 0
[pid=28543/tid=28544] ppid=28541 vsize=281960 CPUtime=0.02 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 227 0 0 0 2 0 0 0 25 0 4 0 651793508 288727040 1180 33554432000 4194304 4580107 140735907916000 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=281960 CPUtime=0.02 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 263 0 0 0 2 0 0 0 18 0 4 0 651793508 288727040 1180 33554432000 4194304 4580107 140735907916000 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=281960 CPUtime=0.02 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 136 0 0 0 2 0 0 0 18 0 4 0 651793508 288727040 1180 33554432000 4194304 4580107 140735907916000 18446744073709551615 4306008 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 281960

[startup+0.100941 s]
/proc/loadavg: 7.81 8.05 8.02 6/401 28543
/proc/meminfo: memFree=24223600/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=281960 CPUtime=0.36 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 1582 0 0 0 36 0 0 0 18 0 4 0 651793508 288727040 1480 33554432000 4194304 4580107 140735907916000 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 70490 1480 377 95 0 65472 0
[pid=28543/tid=28544] ppid=28541 vsize=281960 CPUtime=0.08 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 293 0 0 0 8 0 0 0 25 0 4 0 651793508 288727040 1481 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=281960 CPUtime=0.09 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 337 0 0 0 9 0 0 0 18 0 4 0 651793508 288727040 1481 33554432000 4194304 4580107 140735907916000 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=281960 CPUtime=0.09 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 223 0 0 0 9 0 0 0 18 0 4 0 651793508 288727040 1481 33554432000 4194304 4580107 140735907916000 18446744073709551615 242970211013 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 281960

[startup+0.300906 s]
/proc/loadavg: 7.81 8.05 8.02 6/401 28543
/proc/meminfo: memFree=24223600/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=283384 CPUtime=1.16 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 2667 0 0 0 116 0 0 0 18 0 4 0 651793508 290185216 2017 33554432000 4194304 4580107 140735907916000 18446744073709551615 4318731 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 70846 2017 377 95 0 65828 0
[pid=28543/tid=28544] ppid=28541 vsize=283384 CPUtime=0.28 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 569 0 0 0 28 0 0 0 25 0 4 0 651793508 290185216 2017 33554432000 4194304 4580107 140735907916000 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=283384 CPUtime=0.29 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 604 0 0 0 29 0 0 0 18 0 4 0 651793508 290185216 2017 33554432000 4194304 4580107 140735907916000 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=283384 CPUtime=0.29 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 490 0 0 0 29 0 0 0 18 0 4 0 651793508 290185216 2017 33554432000 4194304 4580107 140735907916000 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283384

[startup+0.700838 s]
/proc/loadavg: 7.81 8.05 8.02 6/401 28543
/proc/meminfo: memFree=24223600/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=284240 CPUtime=2.76 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 4196 0 0 0 276 0 0 0 18 0 4 0 651793508 291061760 2713 33554432000 4194304 4580107 140735907916000 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 71060 2713 377 95 0 66042 0
[pid=28543/tid=28544] ppid=28541 vsize=284240 CPUtime=0.68 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 970 0 0 0 68 0 0 0 25 0 4 0 651793508 291061760 2713 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=284240 CPUtime=0.69 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 977 0 0 0 69 0 0 0 18 0 4 0 651793508 291061760 2713 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=284240 CPUtime=0.69 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 876 0 0 0 69 0 0 0 18 0 4 0 651793508 291061760 2713 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284240

[startup+1.50148 s]
/proc/loadavg: 7.81 8.05 8.02 9/405 28547
/proc/meminfo: memFree=24194948/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=285444 CPUtime=5.48 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 6553 0 0 0 542 6 0 0 20 0 4 0 651793508 292294656 3025 33554432000 4194304 4580107 140735907916000 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 71361 3025 378 95 0 66343 0
[pid=28543/tid=28544] ppid=28541 vsize=285444 CPUtime=1.45 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 1692 0 0 0 144 1 0 0 25 0 4 0 651793508 292294656 3025 33554432000 4194304 4580107 140735907916000 18446744073709551615 242970593463 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=285444 CPUtime=1.47 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 1707 0 0 0 146 1 0 0 20 0 4 0 651793508 292294656 3025 33554432000 4194304 4580107 140735907916000 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=285444 CPUtime=1.47 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 1625 0 0 0 147 0 0 0 20 0 4 0 651793508 292294656 3025 33554432000 4194304 4580107 140735907916000 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 285444

[startup+3.10043 s]
/proc/loadavg: 7.91 8.07 8.03 10/405 28547
/proc/meminfo: memFree=24177964/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=292624 CPUtime=10.25 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 13377 0 0 0 938 87 0 0 23 0 4 0 651793508 299646976 7465 33554432000 4194304 4580107 140735907916000 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 73156 7465 379 95 0 68138 0
[pid=28543/tid=28544] ppid=28541 vsize=292624 CPUtime=2.78 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 3595 0 0 0 262 16 0 0 18 0 4 0 651793508 299646976 7465 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=292624 CPUtime=3 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 4182 0 0 0 242 58 0 0 18 0 4 0 651793508 299646976 7465 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=292624 CPUtime=2.73 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 4066 0 0 0 271 2 0 0 18 0 4 0 651793508 299646976 7465 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.25
Current children cumulated vsize (KiB) 292624

[startup+6.30088 s]
/proc/loadavg: 7.91 8.07 8.03 9/405 28547
/proc/meminfo: memFree=24140496/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=284524 CPUtime=22.32 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 23294 0 0 0 2138 94 0 0 25 0 4 0 651793508 291352576 11287 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 71131 11287 379 95 0 66113 0
[pid=28543/tid=28544] ppid=28541 vsize=284524 CPUtime=5.98 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 6999 0 0 0 581 17 0 0 25 0 4 0 651793508 291352576 11287 33554432000 4194304 4580107 140735907916000 18446744073709551615 4318755 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=284524 CPUtime=6.19 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 6164 0 0 0 560 59 0 0 25 0 4 0 651793508 291352576 11287 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=284524 CPUtime=5.89 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 5947 0 0 0 586 3 0 0 25 0 4 0 651793508 291352576 11287 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.32
Current children cumulated vsize (KiB) 284524

[startup+12.7008 s]
/proc/loadavg: 7.92 8.06 8.03 9/405 28547
/proc/meminfo: memFree=24091748/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=298804 CPUtime=47.83 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 39466 0 0 0 4686 97 0 0 25 0 4 0 651793508 305975296 17395 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294396 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 74701 17395 379 95 0 69683 0
[pid=28543/tid=28544] ppid=28541 vsize=298804 CPUtime=12.38 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 11405 0 0 0 1220 18 0 0 25 0 4 0 651793508 305975296 17395 33554432000 4194304 4580107 140735907916000 18446744073709551615 4321270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=298804 CPUtime=12.59 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 10670 0 0 0 1199 60 0 0 25 0 4 0 651793508 305975296 17395 33554432000 4194304 4580107 140735907916000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=298804 CPUtime=12.2 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 9557 0 0 0 1217 3 0 0 25 0 4 0 651793508 305975296 17395 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 47.83
Current children cumulated vsize (KiB) 298804

[startup+25.5006 s]
/proc/loadavg: 7.93 8.06 8.02 9/405 28548
/proc/meminfo: memFree=24024172/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=309116 CPUtime=98.79 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 61833 0 0 0 9771 108 0 0 25 0 4 0 651793508 316534784 24812 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 77279 24812 379 95 0 72261 0
[pid=28543/tid=28544] ppid=28541 vsize=309116 CPUtime=25.18 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 17551 0 0 0 2499 19 0 0 25 0 4 0 651793508 316534784 24812 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=309116 CPUtime=25.37 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 17312 0 0 0 2476 61 0 0 25 0 4 0 651793508 316534784 24812 33554432000 4194304 4580107 140735907916000 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=309116 CPUtime=24.82 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 12187 0 0 0 2479 3 0 0 25 0 4 0 651793508 316534784 24812 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 98.79
Current children cumulated vsize (KiB) 309116

[startup+51.1012 s]
/proc/loadavg: 8.04 8.07 8.03 9/405 28548
/proc/meminfo: memFree=23998184/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=300776 CPUtime=200.81 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 90360 0 0 0 19965 116 0 0 25 0 4 0 651793508 307994624 28374 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 75194 28374 379 95 0 70176 0
[pid=28543/tid=28544] ppid=28541 vsize=300776 CPUtime=50.76 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 25425 0 0 0 5055 21 0 0 25 0 4 0 651793508 307994624 28374 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=300776 CPUtime=50.96 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 25770 0 0 0 5033 63 0 0 25 0 4 0 651793508 307994624 28374 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=300776 CPUtime=50.09 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 16788 0 0 0 5005 4 0 0 25 0 4 0 651793508 307994624 28374 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 200.81
Current children cumulated vsize (KiB) 300776

[startup+102.315 s]
/proc/loadavg: 8.09 8.07 8.03 9/405 28550
/proc/meminfo: memFree=23917676/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=322072 CPUtime=404.93 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 136078 0 0 0 40360 133 0 0 25 0 4 0 651793508 329801728 34868 33554432000 4194304 4580107 140735907916000 18446744073709551615 4293208 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 80518 34868 379 95 0 75500 0
[pid=28543/tid=28544] ppid=28541 vsize=322072 CPUtime=101.96 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 38767 0 0 0 10170 26 0 0 25 0 4 0 651793508 329801728 34868 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=322072 CPUtime=102.14 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 37108 0 0 0 10148 66 0 0 25 0 4 0 651793508 329801728 34868 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=322072 CPUtime=100.64 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 26160 0 0 0 10056 8 0 0 25 0 4 0 651793508 329801728 34868 33554432000 4194304 4580107 140735907916000 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 404.93
Current children cumulated vsize (KiB) 322072

[startup+162.301 s]

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

[pid=28543] ppid=28541 vsize=553200 CPUtime=2557.31 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 412983 0 0 0 255475 256 0 0 25 0 4 0 651793508 566476800 87381 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 138300 87381 379 95 0 133282 0
[pid=28543/tid=28544] ppid=28541 vsize=553200 CPUtime=641.81 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 110208 0 0 0 64126 55 0 0 25 0 4 0 651793508 566476800 87381 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=553200 CPUtime=642.01 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 113516 0 0 0 64103 98 0 0 25 0 4 0 651793508 566476800 87381 33554432000 4194304 4580107 140735907916000 18446744073709551615 4229968 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=553200 CPUtime=633.65 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 84391 0 0 0 63334 31 0 0 25 0 4 0 651793508 566476800 87381 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2557.31
Current children cumulated vsize (KiB) 553200

[startup+702.3 s]
/proc/loadavg: 8.06 8.10 8.06 9/405 28566
/proc/meminfo: memFree=23422360/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=541168 CPUtime=2796.4 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 436674 0 0 0 279371 269 0 0 25 0 4 0 651793508 554156032 95419 33554432000 4194304 4580107 140735907916000 18446744073709551615 4295676 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 135292 95419 379 95 0 130274 0
[pid=28543/tid=28544] ppid=28541 vsize=541168 CPUtime=701.79 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 115823 0 0 0 70122 57 0 0 25 0 4 0 651793508 554156032 95419 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=541168 CPUtime=701.99 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 120562 0 0 0 70097 102 0 0 25 0 4 0 651793508 554156032 95419 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=541168 CPUtime=692.84 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 90828 0 0 0 69249 35 0 0 25 0 4 0 651793508 554156032 95419 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2796.4
Current children cumulated vsize (KiB) 541168

[startup+762.315 s]
/proc/loadavg: 8.06 8.10 8.06 9/405 28567
/proc/meminfo: memFree=23444048/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=558744 CPUtime=3035.64 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 460716 0 0 0 303284 280 0 0 25 0 4 0 651793508 572153856 87695 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 139686 87695 379 95 0 134668 0
[pid=28543/tid=28544] ppid=28541 vsize=558744 CPUtime=761.79 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 121640 0 0 0 76119 60 0 0 25 0 4 0 651793508 572153856 87695 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=558744 CPUtime=762.01 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 128065 0 0 0 76095 106 0 0 25 0 4 0 651793508 572153856 87695 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=558744 CPUtime=752.09 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 98499 0 0 0 75172 37 0 0 25 0 4 0 651793508 572153856 87695 33554432000 4194304 4580107 140735907916000 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3035.64
Current children cumulated vsize (KiB) 558744

[startup+822.301 s]
/proc/loadavg: 8.09 8.11 8.07 9/405 28569
/proc/meminfo: memFree=23408196/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=600248 CPUtime=3274.76 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 484657 0 0 0 327186 290 0 0 25 0 4 0 651793508 614653952 93240 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 150062 93240 379 95 0 145044 0
[pid=28543/tid=28544] ppid=28541 vsize=600248 CPUtime=821.75 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 128267 0 0 0 82113 62 0 0 25 0 4 0 651793508 614653952 93240 33554432000 4194304 4580107 140735907916000 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=600248 CPUtime=822 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 134913 0 0 0 82091 109 0 0 25 0 4 0 651793508 614653952 93240 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=600248 CPUtime=811.3 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 103030 0 0 0 81092 38 0 0 25 0 4 0 651793508 614653952 93240 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294354 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3274.76
Current children cumulated vsize (KiB) 600248

[startup+882.301 s]
/proc/loadavg: 8.27 8.16 8.09 9/405 28571
/proc/meminfo: memFree=23262724/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=690428 CPUtime=3513.91 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 509639 0 0 0 351089 302 0 0 25 0 4 0 651793508 706998272 114097 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 172607 114097 379 95 0 167589 0
[pid=28543/tid=28544] ppid=28541 vsize=690428 CPUtime=881.75 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 134216 0 0 0 88109 66 0 0 25 0 4 0 651793508 706998272 114097 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=690428 CPUtime=882 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 142877 0 0 0 88088 112 0 0 25 0 4 0 651793508 706998272 114097 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=690428 CPUtime=870.53 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 108350 0 0 0 87013 40 0 0 25 0 4 0 651793508 706998272 114097 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3513.91
Current children cumulated vsize (KiB) 690428

[startup+942.3 s]
/proc/loadavg: 8.19 8.14 8.09 9/405 28572
/proc/meminfo: memFree=23249564/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=646908 CPUtime=3753.1 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 532221 0 0 0 374997 313 0 0 25 0 4 0 651793508 662433792 108182 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 161727 108182 379 95 0 156709 0
[pid=28543/tid=28544] ppid=28541 vsize=646908 CPUtime=941.73 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 140384 0 0 0 94105 68 0 0 25 0 4 0 651793508 662433792 108182 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=646908 CPUtime=942 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 150901 0 0 0 94084 116 0 0 25 0 4 0 651793508 662433792 108182 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=646908 CPUtime=929.77 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 113395 0 0 0 92935 42 0 0 25 0 4 0 651793508 662433792 108182 33554432000 4194304 4580107 140735907916000 18446744073709551615 4318702 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3753.1
Current children cumulated vsize (KiB) 646908

[startup+1002.3 s]
/proc/loadavg: 8.13 8.13 8.08 9/405 28574
/proc/meminfo: memFree=23280800/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=608044 CPUtime=3992.28 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 553018 0 0 0 398904 324 0 0 25 0 4 0 651793508 622637056 104095 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 152011 104095 379 95 0 146993 0
[pid=28543/tid=28544] ppid=28541 vsize=608044 CPUtime=1001.72 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 146255 0 0 0 100101 71 0 0 25 0 4 0 651793508 622637056 104095 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=608044 CPUtime=1002 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 156444 0 0 0 100082 118 0 0 25 0 4 0 651793508 622637056 104095 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=608044 CPUtime=988.99 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 119652 0 0 0 98855 44 0 0 25 0 4 0 651793508 622637056 104095 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3992.28
Current children cumulated vsize (KiB) 608044

[startup+1062.3 s]
/proc/loadavg: 8.13 8.12 8.08 9/405 28575
/proc/meminfo: memFree=23237880/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=700536 CPUtime=4231.45 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 574015 0 0 0 422810 335 0 0 25 0 4 0 651793508 717348864 118344 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 175134 118344 379 95 0 170116 0
[pid=28543/tid=28544] ppid=28541 vsize=700536 CPUtime=1061.72 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 150350 0 0 0 106098 74 0 0 25 0 4 0 651793508 717348864 118344 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=700536 CPUtime=1062.01 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 162412 0 0 0 106079 122 0 0 25 0 4 0 651793508 717348864 118345 33554432000 4194304 4580107 140735907916000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=700536 CPUtime=1048.24 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 125785 0 0 0 104777 47 0 0 25 0 4 0 651793508 717348864 118345 33554432000 4194304 4580107 140735907916000 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4231.45
Current children cumulated vsize (KiB) 700536

[startup+1122.3 s]
/proc/loadavg: 8.17 8.13 8.09 9/405 28577
/proc/meminfo: memFree=23259696/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=649728 CPUtime=4470.6 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 591088 0 0 0 446716 344 0 0 25 0 4 0 651793508 665321472 115567 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 162432 115567 379 95 0 157414 0
[pid=28543/tid=28544] ppid=28541 vsize=649728 CPUtime=1121.7 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 154148 0 0 0 112094 76 0 0 25 0 4 0 651793508 665321472 115567 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=649728 CPUtime=1122 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 167962 0 0 0 112076 124 0 0 25 0 4 0 651793508 665321472 115567 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=649728 CPUtime=1107.46 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 130652 0 0 0 110699 47 0 0 25 0 4 0 651793508 665321472 115567 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4470.6
Current children cumulated vsize (KiB) 649728

[startup+1182.3 s]
/proc/loadavg: 8.20 8.14 8.09 9/405 28579
/proc/meminfo: memFree=23196684/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=723296 CPUtime=4709.78 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 608872 0 0 0 470623 355 0 0 25 0 4 0 651793508 740655104 129931 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 180824 129931 379 95 0 175806 0
[pid=28543/tid=28544] ppid=28541 vsize=723296 CPUtime=1181.68 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 157249 0 0 0 118091 77 0 0 25 0 4 0 651793508 740655104 129931 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=723296 CPUtime=1182.01 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 172787 0 0 0 118073 128 0 0 25 0 4 0 651793508 740655104 129931 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=723296 CPUtime=1166.7 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 134295 0 0 0 116621 49 0 0 25 0 4 0 651793508 740655104 129931 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4709.78
Current children cumulated vsize (KiB) 723296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205 s]
/proc/loadavg: 8.13 8.12 8.09 5/397 28597
/proc/meminfo: memFree=23751184/32951132 swapFree=67093844/67111528
[pid=28543] ppid=28541 vsize=670920 CPUtime=4800.29 cores=0,2,4,6
/proc/28543/stat : 28543 (strangenight2-m) R 28541 28543 28111 0 -1 4202496 617311 0 0 0 479669 360 0 0 25 0 4 0 651793508 687022080 125510 33554432000 4194304 4580107 140735907916000 18446744073709551615 4295687 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28543/statm: 167730 125510 379 95 0 162712 0
[pid=28543/tid=28544] ppid=28541 vsize=670920 CPUtime=1204.4 cores=0,2,4,6
/proc/28543/task/28544/stat : 28544 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 159712 0 0 0 120361 79 0 0 25 0 4 0 651793508 687022080 125511 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28543/tid=28545] ppid=28541 vsize=670920 CPUtime=1204.72 cores=0,2,4,6
/proc/28543/task/28545/stat : 28545 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 175286 0 0 0 120343 129 0 0 25 0 4 0 651793508 687022080 125511 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28543/tid=28546] ppid=28541 vsize=670920 CPUtime=1189.11 cores=0,2,4,6
/proc/28543/task/28546/stat : 28546 (strangenight2-m) R 28541 28543 28111 0 -1 4202560 135564 0 0 0 118861 50 0 0 25 0 4 0 651793508 687022080 125511 33554432000 4194304 4580107 140735907916000 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 670920

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1205.05
CPU time (s): 4800.35
CPU user time (s): 4796.72
CPU system time (s): 3.63045
CPU usage (%): 398.354
Max. virtual memory (cumulated for all children) (KiB): 775580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.72
system time used= 3.63045
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 617313
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= 905
involuntary context switches= 22435

runsolver used 4.30734 second user time and 11.1943 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-14 21:39:09
IDJOB=3366337
IDBENCH=82746
IDSOLVER=1844
FILE ID=node128/3366337-1305401949
RUNJOBID= node128-1305400740-28426
PBS_JOBID= 13324451
Free space on /tmp= 73604 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366337-1305401949/watcher-3366337-1305401949 -o /tmp/evaluation-result-3366337-1305401949/solver-3366337-1305401949 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366337-1305401949.cnf

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

MD5SUM BENCH= 7ce6e28d94f25a5004daf47b6c05c693
RANDOM SEED=2079451520

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24223756 kB
Buffers:        263544 kB
Cached:        2891240 kB
SwapCached:       1440 kB
Active:        6347732 kB
Inactive:      2089468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24223756 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           11116 kB
Writeback:           0 kB
AnonPages:     5280496 kB
Mapped:          32376 kB
Slab:           187452 kB
PageTables:      38016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100778104 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73604 MiB
End job on node128 at 2011-05-14 21:59:16