Trace number 3174066

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.32 1201.94

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf
MD5SUMa7a611663d2f029393d16aacd4e48364
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.066989
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174066-1304081212.cnf'
0.00/0.00	c -- header says num vars:            750
0.00/0.00	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.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:     329 undec:      74 neg:     347
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       735      3175         0         0      9625         0   no data   no data
0.30/0.10	c Decided on static restart strategy
0.40/0.19	c  N st     8      4917       735      3175         0      4865      9625    160155   no data   no data
1.57/0.49	c  N st    10     11302       735      3175         0      4526      9625     98347   no data   no data
3.17/0.80	c  N st    11     17047       735      3175         0     10202      9625    295051   no data   no data
4.77/1.29	c  F st    12     25001       735      3175         0     12470      9625    355898   no data   no data
4.77/1.29	c  N st    12     25001       735      3175         0     12470      9625    355898   no data   no data
5.97/1.56	c Decided on static restart strategy
5.97/1.56	c  N st    18     30001       735      3175         0     10739      9625    263461   no data   no data
5.97/1.56	c  S st    18     30001       735      3175         0     10739      9625    263461   no data   no data
5.97/1.59	c  S st    18     30506       735      3175         0     11244      9625    277925   no data   no data
5.97/1.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.37/1.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
6.37/1.60	c blocked clauses removed:       18 vars:      3 tried:         735 T: 0.00 s
6.37/1.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
6.37/1.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
6.37/1.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.66	c lits-rem:        60  cl-subs:      208  v-elim:      0  v-fix:    0  time:  0.04 s
6.37/1.66	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.01
6.37/1.66	c calculated reachability. Time: 0.00
6.37/1.66	c  N st    18     30506       732      3157         0     11036      9571    269801   no data   no data
7.96/2.09	c  N st    20     37620       732      3157         0     10300      9571    220360   no data   no data
9.95/2.50	c  N st    21     44019       732      3157         0     16630      9571    417043   no data   no data
10.35/2.62	c  S st    22     45761       732      3157         0      9504      9571    170815   no data   no data
10.35/2.65	c  S st    22     46263       732      3157         0     10006      9571    185517   no data   no data
10.35/2.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.35/2.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.35/2.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
10.35/2.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.35/2.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.35/2.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.67	c lits-rem:        17  cl-subs:       39  v-elim:      0  v-fix:    0  time:  0.01 s
10.35/2.67	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
10.35/2.68	c vivif2 --  cl tried     9967 cl shrink        0 lits rem          0 time: 0.00
10.35/2.68	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.01
10.35/2.68	c calculated reachability. Time: 0.00
10.35/2.68	c  N st    22     46263       732      3157         0      9967      9571    184104   no data   no data
14.75/3.76	c  N st    23     60661       732      3157         0     14363      9571    323234   no data   no data
17.57/4.47	c  N st    24     69395       732      3157         0     12134      9571    231816   no data   no data
17.57/4.47	c  S st    24     69395       732      3157         0     12134      9571    231816   no data   no data
17.95/4.50	c  S st    24     69897       732      3157         0     12636      9571    246186   no data   no data
17.95/4.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.95/4.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.95/4.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.95/4.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.95/4.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.95/4.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
17.95/4.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.95/4.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.95/4.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.95/4.54	c lits-rem:        18  cl-subs:       80  v-elim:      0  v-fix:    0  time:  0.02 s
17.95/4.54	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
17.95/4.54	c vivif2 --  cl tried    12556 cl shrink        0 lits rem          0 time: 0.00
17.95/4.55	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.01
17.95/4.55	c calculated reachability. Time: 0.00
17.95/4.55	c  N st    24     69897       732      3157         0     12556      9571    243038   no data   no data
23.94/6.00	c  F st    25     87500       732      3157         0     18050      9571    417655   no data   no data
23.94/6.00	c  N st    25     87500       732      3157         0     18050      9571    417655   no data   no data
25.54/6.44	c Decided on static restart strategy
26.73/6.72	c  N st    32     95535       732      3157         0     13184      9571    221828   no data   no data
29.53/7.45	c  N st    34    104848       732      3157         0     22399      9571    528163   no data   no data
29.53/7.45	c  S st    34    104848       732      3157         0     22399      9571    528163   no data   no data
29.93/7.50	c  S st    34    105351       732      3157         0     22902      9571    542490   no data   no data
29.93/7.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.93/7.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.93/7.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.93/7.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.93/7.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.93/7.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
29.93/7.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.93/7.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.93/7.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.35/7.67	c lits-rem:       116  cl-subs:      407  v-elim:      0  v-fix:    0  time:  0.13 s
30.35/7.67	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
30.35/7.68	c vivif2 --  cl tried    22495 cl shrink        0 lits rem          0 time: 0.01
30.35/7.69	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.01
30.35/7.69	c calculated reachability. Time: 0.00
30.35/7.69	c  N st    34    105351       732      3157         0     22495      9571    526432   no data   no data
33.52/8.46	c  N st    35    114949       732      3157         0     18156      9571    357346   no data   no data
39.54/9.95	c  N st    36    129346       732      3157         0     17521      9571    317449   no data   no data
47.51/11.93	c  N st    37    150943       732      3157         0     22964      9571    477540   no data   no data
50.30/12.65	c  S st    38    158026       732      3157         0     29928      9571    697510   no data   no data
50.70/12.73	c  S st    38    158529       732      3157         0     30431      9571    712229   no data   no data
50.70/12.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.70/12.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
50.70/12.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.70/12.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.70/12.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.70/12.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
50.70/12.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.70/12.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.70/12.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.10/13.32	c lits-rem:       139  cl-subs:     1209  v-elim:      0  v-fix:    0  time:  0.54 s
53.10/13.32	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
53.10/13.33	c vivif2 --  cl tried    29222 cl shrink        0 lits rem          0 time: 0.01
53.10/13.35	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.02
53.10/13.35	c calculated reachability. Time: 0.00
53.10/13.35	c  N st    38    158529       732      3157         0     29222      9571    667791   no data   no data
73.87/18.59	c  N st    39    207117       732      3157         0     23973      9571    448965   no data   no data
88.65/22.27	c  N st    40    237793       732      3157         0     34551      9571    792691   no data   no data
88.65/22.27	c  S st    40    237793       732      3157         0     34551      9571    792691   no data   no data
89.05/22.36	c  S st    40    238295       732      3157         0     35053      9571    807092   no data   no data
89.05/22.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
89.05/22.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
89.05/22.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89.05/22.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89.05/22.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.05/22.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
89.05/22.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
89.05/22.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
89.45/22.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.44/22.90	c lits-rem:       231  cl-subs:      708  v-elim:      0  v-fix:    0  time:  0.48 s
91.44/22.90	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
91.44/22.91	c vivif2 --  cl tried    34345 cl shrink        0 lits rem          0 time: 0.01
91.44/22.93	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.02
91.44/22.93	c calculated reachability. Time: 0.00
91.44/22.93	c  N st    40    238295       732      3157         0     34345      9571    779009   no data   no data
124.60/31.20	c  F st    41    306250       732      3157         0     36270      9571    779508   no data   no data
124.60/31.20	c  N st    41    306250       732      3157         0     36270      9571    779508   no data   no data
127.01/31.88	c Decided on static restart strategy
138.57/34.78	c  N st    51    334559       732      3157         0     40511      9571    897377   no data   no data
150.56/37.78	c  N st    53    357442       732      3157         0     38373      9571    767363   no data   no data
150.56/37.78	c  S st    53    357442       732      3157         0     38373      9571    767363   no data   no data
150.97/37.88	c  S st    53    357948       732      3157         0     38879      9571    781615   no data   no data
150.97/37.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.97/37.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
150.97/37.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.97/37.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.97/37.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.97/37.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
150.97/37.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
151.37/37.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
151.37/37.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.38/38.43	c lits-rem:       163  cl-subs:     1178  v-elim:      0  v-fix:    0  time:  0.50 s
153.38/38.43	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
153.38/38.44	c vivif2 --  cl tried    37701 cl shrink        0 lits rem          0 time: 0.01
153.38/38.47	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.03
153.38/38.47	c calculated reachability. Time: 0.00
153.38/38.47	c  N st    53    357948       732      3157         0     37701      9571    740138   no data   no data
173.33/43.40	c  N st    54    390341       732      3157         0     44069      9571    949198   no data   no data
203.69/51.06	c  N st    55    438930       732      3157         0     37629      9571    696328   no data   no data
252.03/63.19	c  N st    56    511814       732      3157         0     51189      9571   1148427   no data   no data
269.60/67.54	c  N st    57    536923       732      3157         0     45435      9571    890427   no data   no data
269.60/67.54	c  S st    57    536923       732      3157         0     45435      9571    890427   no data   no data
270.00/67.66	c  S st    57    537427       732      3157         0     45939      9571    905051   no data   no data
270.00/67.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
270.00/67.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
270.00/67.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
270.00/67.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
270.00/67.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
270.00/67.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
270.00/67.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
270.41/67.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
270.41/67.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
273.20/68.47	c lits-rem:       205  cl-subs:      980  v-elim:      0  v-fix:    0  time:  0.75 s
273.20/68.47	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
273.20/68.49	c vivif2 --  cl tried    44959 cl shrink        0 lits rem          0 time: 0.01
273.59/68.52	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.04
273.59/68.52	c calculated reachability. Time: 0.00
273.59/68.52	c  N st    57    537427       732      3157         0     44959      9571    866430   no data   no data
402.62/100.82	c  N st    58    701411       732      3157         0     39024      9571    559959   no data   no data
485.31/121.59	c  N st    59    806140       732      3157         0     68134      9571   1529537   no data   no data
485.31/121.59	c  S st    59    806140       732      3157         0     68134      9571   1529537   no data   no data
486.11/121.78	c  S st    59    806643       732      3157         0     68637      9571   1543772   no data   no data
486.11/121.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
486.50/121.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
486.50/121.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
486.50/121.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
486.50/121.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
486.50/121.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
486.50/121.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
486.50/121.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
486.50/121.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
508.88/127.42	c lits-rem:       783  cl-subs:     3437  v-elim:      0  v-fix:    0  time:  5.53 s
508.88/127.42	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
508.88/127.44	c vivif2 --  cl tried    65200 cl shrink        0 lits rem          0 time: 0.02
509.30/127.50	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.06
509.30/127.51	c calculated reachability. Time: 0.00
509.30/127.51	c  N st    59    806643       732      3157         0     65200      9571   1421113   no data   no data
746.57/186.97	c  F st    60   1071875       732      3157         0     81107      9571   1837257   no data   no data
746.57/186.97	c  N st    60   1071875       732      3157         0     81107      9571   1837257   no data   no data
752.14/188.37	c Decided on static restart strategy
769.71/192.74	c  N st    70   1100178       732      3157         0     64978      9571   1216448   no data   no data
803.69/201.29	c  N st    72   1136170       732      3157         0     55140      9571    851558   no data   no data
834.86/209.09	c  N st    73   1168562       732      3157         0     87060      9571   1914975   no data   no data
873.19/218.67	c  N st    74   1209966       732      3157         0     81396      9571   1647554   no data   no data
873.19/218.67	c  S st    74   1209966       732      3157         0     81396      9571   1647554   no data   no data
874.41/218.94	c  S st    74   1210473       732      3157         0     81903      9571   1663230   no data   no data
874.41/218.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
874.41/218.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
874.41/218.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
874.41/218.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
874.41/218.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
874.41/218.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
874.41/218.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
874.78/219.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
874.78/219.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
899.55/225.25	c lits-rem:       823  cl-subs:     4305  v-elim:      0  v-fix:    0  time:  6.18 s
899.55/225.25	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
899.55/225.28	c vivif2 --  cl tried    77598 cl shrink        0 lits rem          0 time: 0.02
899.95/225.35	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.08
899.95/225.36	c calculated reachability. Time: 0.00
899.95/225.36	c  N st    74   1210473       732      3157         0     77598      9571   1530967   no data   no data
975.06/244.11	c  N st    75   1283356       732      3157         0     53971      9571    745541   no data   no data
1081.70/270.83	c  N st    76   1392679       732      3157         0     62290      9571    975606   no data   no data
1262.65/316.12	c  N st    77   1556664       732      3157         0     67147      9571   1088322   no data   no data
1426.43/357.16	c  N st    78   1710473       732      3157         0    109266      9571   2444846   no data   no data
1426.43/357.16	c  S st    78   1710473       732      3157         0    109266      9571   2444846   no data   no data
1428.05/357.51	c  S st    78   1710974       732      3157         0    109767      9571   2460531   no data   no data
1428.05/357.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1428.05/357.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1428.05/357.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1428.05/357.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1428.05/357.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1428.05/357.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
1428.05/357.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1428.42/357.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1428.42/357.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1481.96/371.05	c lits-rem:       673  cl-subs:     4959  v-elim:      0  v-fix:    0  time: 13.37 s
1481.96/371.05	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
1481.96/371.09	c vivif2 --  cl tried   104808 cl shrink        0 lits rem          0 time: 0.03
1482.76/371.21	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.12
1482.76/371.21	c calculated reachability. Time: 0.00
1482.76/371.21	c  N st    78   1710974       732      3157         0    104808      9571   2300003   no data   no data
1909.78/478.19	c  N st    79   2079938       732      3157         0    116235      9571   2737764   no data   no data
2076.76/519.95	c  N st    80   2210974       732      3157         0    120411      9571   2777854   no data   no data
2076.76/519.95	c  S st    80   2210974       732      3157         0    120411      9571   2777854   no data   no data
2078.38/520.36	c  S st    80   2211474       732      3157         0    120911      9571   2792298   no data   no data
2078.38/520.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2078.75/520.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2078.75/520.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2078.75/520.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2078.75/520.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2078.75/520.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2078.75/520.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2078.75/520.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2079.15/520.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2137.87/535.22	c lits-rem:      1375  cl-subs:     4366  v-elim:      0  v-fix:    0  time: 14.66 s
2137.87/535.22	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
2137.87/535.26	c vivif2 --  cl tried   116545 cl shrink        0 lits rem          0 time: 0.04
2138.27/535.39	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.13
2138.67/535.40	c calculated reachability. Time: 0.00
2138.67/535.40	c  N st    80   2211474       732      3157         0    116545      9571   2629682   no data   no data
2812.96/704.29	c  N st    81   2711475       732      3157         0    139554      9571   3154966   no data   no data
2812.96/704.29	c  S st    81   2711475       732      3157         0    139554      9571   3154966   no data   no data
2814.96/704.77	c  S st    81   2711981       732      3157         0    140060      9571   3169691   no data   no data
2814.96/704.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2815.36/704.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.08
2815.36/704.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2815.36/704.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2815.36/704.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2815.36/704.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
2815.36/704.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2815.76/704.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2816.18/705.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2974.36/744.63	c lits-rem:       848  cl-subs:    10382  v-elim:      0  v-fix:    0  time: 39.62 s
2974.36/744.63	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
2974.36/744.67	c vivif2 --  cl tried   129678 cl shrink        0 lits rem          0 time: 0.04
2975.14/744.82	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.15
2975.14/744.82	c calculated reachability. Time: 0.00
2975.14/744.82	c  N st    81   2711981       732      3157         0    129678      9571   2816215   no data   no data
3707.35/928.16	c  N st    82   3211985       732      3157         0    105696      9571   1780021   no data   no data
3707.35/928.16	c  S st    82   3211985       732      3157         0    105696      9571   1780021   no data   no data
3708.57/928.49	c  S st    82   3212489       732      3157         0    106200      9571   1796172   no data   no data
3708.57/928.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3708.94/928.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3708.94/928.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3708.94/928.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3708.94/928.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3708.94/928.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
3708.94/928.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3708.94/928.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3709.34/928.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3733.31/934.65	c lits-rem:       358  cl-subs:     4184  v-elim:      0  v-fix:    0  time:  6.01 s
3733.31/934.65	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
3733.31/934.68	c vivif2 --  cl tried   102016 cl shrink        0 lits rem          0 time: 0.03
3733.71/934.79	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.11
3733.71/934.79	c calculated reachability. Time: 0.00
3733.71/934.79	c  N st    82   3212489       732      3157         0    102016      9571   1672450   no data   no data
4535.80/1135.77	c  N st    83   3712490       732      3157         0    112754      9571   1889134   no data   no data
4535.80/1135.77	c  S st    83   3712490       732      3157         0    112754      9571   1889134   no data   no data
4537.40/1136.11	c  S st    83   3712994       732      3157         0    113258      9571   1904919   no data   no data
4537.40/1136.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4537.40/1136.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4537.40/1136.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4537.40/1136.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4537.40/1136.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4537.40/1136.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    732 time:  0.00 s
4537.40/1136.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4537.82/1136.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4537.82/1136.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4563.76/1142.76	c lits-rem:       257  cl-subs:     3812  v-elim:      0  v-fix:    0  time:  6.48 s
4563.76/1142.76	c vivif2 --  cl tried     3157 cl shrink        0 lits rem          0 time: 0.00
4563.76/1142.79	c vivif2 --  cl tried   109446 cl shrink        0 lits rem          0 time: 0.03
4564.58/1142.91	c asymm  cl-useful: 0/3157/3157 lits-rem:0 time: 0.12
4564.58/1142.91	c calculated reachability. Time: 0.00
4564.58/1142.91	c  N st    83   3712994       732      3157         0    109446      9571   1785057   no data   no data
4625.70/1158.24	c  F st    84   3751562       732      3157         0    147391      9571   3058367   no data   no data
4625.70/1158.24	c  N st    84   3751562       732      3157         0    147391      9571   3058367   no data   no data
4636.46/1160.98	c Decided on static restart strategy
4676.01/1170.80	c  N st    94   3779864       732      3157         0     92039      9571   1207766   no data   no data
4725.15/1183.19	c  N st    96   3815857       732      3157         0    127553      9571   2392964   no data   no data
4779.08/1196.61	c  N st    97   3848251       732      3157         0    159666      9571   3523423   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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174066-1304081212/watcher-3174066-1304081212 -o /tmp/evaluation-result-3174066-1304081212/solver-3174066-1304081212 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174066-1304081212.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: 8.07 8.06 8.01 5/184 21856
/proc/meminfo: memFree=25175580/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=248792 CPUtime=0 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 568 0 0 0 0 0 0 0 25 0 4 0 519719335 254763008 483 33554432000 4194304 4627427 140735669315792 18446744073709551615 232335997471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 62198 489 336 106 0 57169 0
[pid=21856/tid=21857] ppid=21854 vsize=248792 CPUtime=0 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 58 0 0 0 0 0 0 0 25 0 4 0 519719336 254763008 507 33554432000 4194304 4627427 140735669315792 18446744073709551615 4314181 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=248792 CPUtime=0 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 31 0 0 0 0 0 0 0 25 0 4 0 519719336 254763008 521 33554432000 4194304 4627427 140735669315792 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=248792 CPUtime=0 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 62 0 0 0 0 0 0 0 25 0 4 0 519719336 254763008 536 33554432000 4194304 4627427 140735669315792 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0834101 s]
/proc/loadavg: 8.07 8.06 8.01 5/184 21856
/proc/meminfo: memFree=25175580/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=282296 CPUtime=0.3 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 1920 0 0 0 30 0 0 0 18 0 4 0 519719335 289071104 1761 33554432000 4194304 4627427 140735669315792 18446744073709551615 4308640 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 70574 1761 384 106 0 65545 0
[pid=21856/tid=21857] ppid=21854 vsize=282296 CPUtime=0.07 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 465 0 0 0 7 0 0 0 25 0 4 0 519719336 289071104 1761 33554432000 4194304 4627427 140735669315792 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=282296 CPUtime=0.07 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 392 0 0 0 7 0 0 0 25 0 4 0 519719336 289071104 1761 33554432000 4194304 4627427 140735669315792 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=282296 CPUtime=0.07 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 285 0 0 0 7 0 0 0 25 0 4 0 519719336 289071104 1761 33554432000 4194304 4627427 140735669315792 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 282296

[startup+0.107922 s]
/proc/loadavg: 8.07 8.06 8.01 5/184 21856
/proc/meminfo: memFree=25175580/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=282296 CPUtime=0.4 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 2046 0 0 0 40 0 0 0 18 0 4 0 519719335 289071104 1887 33554432000 4194304 4627427 140735669315792 18446744073709551615 4330984 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 70574 1887 384 106 0 65545 0
[pid=21856/tid=21857] ppid=21854 vsize=282296 CPUtime=0.1 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 495 0 0 0 10 0 0 0 25 0 4 0 519719336 289071104 1887 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=282296 CPUtime=0.1 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 425 0 0 0 10 0 0 0 25 0 4 0 519719336 289071104 1887 33554432000 4194304 4627427 140735669315792 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=282296 CPUtime=0.1 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 310 0 0 0 10 0 0 0 25 0 4 0 519719336 289071104 1887 33554432000 4194304 4627427 140735669315792 18446744073709551615 4327616 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282296

[startup+0.300889 s]
/proc/loadavg: 8.07 8.06 8.01 5/184 21856
/proc/meminfo: memFree=25175580/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=283936 CPUtime=1.17 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 3180 0 0 0 117 0 0 0 18 0 4 0 519719335 290750464 2255 33554432000 4194304 4627427 140735669315792 18446744073709551615 4306360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 70984 2255 385 106 0 65955 0
[pid=21856/tid=21857] ppid=21854 vsize=283936 CPUtime=0.29 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 798 0 0 0 29 0 0 0 25 0 4 0 519719336 290750464 2255 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=283936 CPUtime=0.29 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 688 0 0 0 29 0 0 0 25 0 4 0 519719336 290750464 2255 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309460 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=283936 CPUtime=0.29 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 598 0 0 0 29 0 0 0 25 0 4 0 519719336 290750464 2255 33554432000 4194304 4627427 140735669315792 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283936

[startup+0.700819 s]
/proc/loadavg: 8.07 8.06 8.01 5/184 21856
/proc/meminfo: memFree=25175580/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=284848 CPUtime=2.77 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 5014 0 0 0 277 0 0 0 18 0 4 0 519719335 291684352 2940 33554432000 4194304 4627427 140735669315792 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 71212 2940 385 106 0 66183 0
[pid=21856/tid=21857] ppid=21854 vsize=284848 CPUtime=0.69 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 1254 0 0 0 69 0 0 0 25 0 4 0 519719336 291684352 2940 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=284848 CPUtime=0.69 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 1153 0 0 0 69 0 0 0 25 0 4 0 519719336 291684352 2940 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=284848 CPUtime=0.69 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 1030 0 0 0 69 0 0 0 25 0 4 0 519719336 291684352 2940 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284848

[startup+1.50068 s]
/proc/loadavg: 8.07 8.06 8.01 9/188 21860
/proc/meminfo: memFree=25168672/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=286276 CPUtime=5.97 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 8714 0 0 0 596 1 0 0 19 0 4 0 519719335 293146624 3473 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 71569 3473 386 106 0 66540 0
[pid=21856/tid=21857] ppid=21854 vsize=286276 CPUtime=1.49 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 2192 0 0 0 149 0 0 0 25 0 4 0 519719336 293146624 3473 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=286276 CPUtime=1.48 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 2080 0 0 0 148 0 0 0 25 0 4 0 519719336 293146624 3473 33554432000 4194304 4627427 140735669315792 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=286276 CPUtime=1.48 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 1937 0 0 0 148 0 0 0 25 0 4 0 519719336 293146624 3473 33554432000 4194304 4627427 140735669315792 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286276

[startup+3.1004 s]
/proc/loadavg: 8.07 8.06 8.01 9/188 21860
/proc/meminfo: memFree=25155156/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=283368 CPUtime=12.35 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 20632 0 0 0 1232 3 0 0 25 0 4 0 519719335 290168832 11466 33554432000 4194304 4627427 140735669315792 18446744073709551615 4332210 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 70842 11466 389 106 0 65813 0
[pid=21856/tid=21857] ppid=21854 vsize=283368 CPUtime=3.09 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 4508 0 0 0 309 0 0 0 25 0 4 0 519719336 290168832 11466 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=283368 CPUtime=3.07 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 5585 0 0 0 306 1 0 0 25 0 4 0 519719336 290168832 11466 33554432000 4194304 4627427 140735669315792 18446744073709551615 4327629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=283368 CPUtime=3.08 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 5123 0 0 0 307 1 0 0 25 0 4 0 519719336 290168832 11466 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 283368

[startup+6.30083 s]
/proc/loadavg: 8.07 8.06 8.01 9/188 21860
/proc/meminfo: memFree=25124036/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=300864 CPUtime=25.14 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 31231 0 0 0 2509 5 0 0 25 0 4 0 519719335 308084736 14778 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 75216 14778 389 106 0 70187 0
[pid=21856/tid=21857] ppid=21854 vsize=300864 CPUtime=6.29 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 8153 0 0 0 628 1 0 0 25 0 4 0 519719336 308084736 14778 33554432000 4194304 4627427 140735669315792 18446744073709551615 4310445 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=300864 CPUtime=6.25 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 7776 0 0 0 624 1 0 0 25 0 4 0 519719336 308084736 14778 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=300864 CPUtime=6.28 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 7356 0 0 0 627 1 0 0 25 0 4 0 519719336 308084736 14778 33554432000 4194304 4627427 140735669315792 18446744073709551615 4302923 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 300864

[startup+12.7007 s]
/proc/loadavg: 8.06 8.06 8.01 9/188 21861
/proc/meminfo: memFree=25074432/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=308724 CPUtime=50.7 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 50679 0 0 0 5061 9 0 0 25 0 4 0 519719335 316133376 26242 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 77181 26242 389 106 0 72152 0
[pid=21856/tid=21857] ppid=21854 vsize=308724 CPUtime=12.69 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 13615 0 0 0 1267 2 0 0 25 0 4 0 519719336 316133376 26242 33554432000 4194304 4627427 140735669315792 18446744073709551615 4310133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=308724 CPUtime=12.62 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 11836 0 0 0 1259 3 0 0 25 0 4 0 519719336 316133376 26242 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=308724 CPUtime=12.68 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 13365 0 0 0 1266 2 0 0 25 0 4 0 519719336 316133376 26242 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 308724

[startup+25.5004 s]
/proc/loadavg: 8.12 8.07 8.02 9/188 21861
/proc/meminfo: memFree=25037484/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=309308 CPUtime=101.82 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 77626 0 0 0 10168 14 0 0 25 0 4 0 519719335 316731392 35762 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 77327 35762 389 106 0 72298 0
[pid=21856/tid=21857] ppid=21854 vsize=309308 CPUtime=25.48 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 19640 0 0 0 2545 3 0 0 25 0 4 0 519719336 316731392 35762 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=309308 CPUtime=25.35 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 18697 0 0 0 2531 4 0 0 25 0 4 0 519719336 316731392 35763 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=309308 CPUtime=25.48 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 18963 0 0 0 2545 3 0 0 25 0 4 0 519719336 316731392 35763 33554432000 4194304 4627427 140735669315792 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 309308

[startup+51.1009 s]
/proc/loadavg: 8.08 8.06 8.01 9/188 21862
/proc/meminfo: memFree=25003824/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=375532 CPUtime=204.09 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 110514 0 0 0 20384 25 0 0 25 0 4 0 519719335 384544768 43780 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 93883 43780 389 106 0 88854 0
[pid=21856/tid=21857] ppid=21854 vsize=375532 CPUtime=51.09 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 27459 0 0 0 5103 6 0 0 25 0 4 0 519719336 384544768 43780 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=375532 CPUtime=50.81 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 27075 0 0 0 5074 7 0 0 25 0 4 0 519719336 384544768 43780 33554432000 4194304 4627427 140735669315792 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=375532 CPUtime=51.07 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 27329 0 0 0 5101 6 0 0 25 0 4 0 519719336 384544768 43780 33554432000 4194304 4627427 140735669315792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 375532

[startup+102.307 s]
/proc/loadavg: 8.11 8.08 8.02 9/188 21863
/proc/meminfo: memFree=24969452/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=407792 CPUtime=408.63 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 164769 0 0 0 40822 41 0 0 25 0 4 0 519719335 417579008 52258 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 101948 52258 389 106 0 96919 0
[pid=21856/tid=21857] ppid=21854 vsize=407792 CPUtime=102.3 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 40588 0 0 0 10220 10 0 0 25 0 4 0 519719336 417579008 52258 33554432000 4194304 4627427 140735669315792 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=407792 CPUtime=101.73 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 35605 0 0 0 10163 10 0 0 25 0 4 0 519719336 417579008 52258 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=407792 CPUtime=102.28 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 43971 0 0 0 10217 11 0 0 25 0 4 0 519719336 417579008 52258 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 407792

[startup+162.301 s]

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

[pid=21856] ppid=21854 vsize=632404 CPUtime=2805.37 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 505314 0 0 0 280340 197 0 0 25 0 4 0 519719335 647581696 112328 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 158101 112328 389 106 0 153072 0
[pid=21856/tid=21857] ppid=21854 vsize=632404 CPUtime=702.3 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 147412 0 0 0 70170 60 0 0 25 0 4 0 519719336 647581696 112328 33554432000 4194304 4627427 140735669315792 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=632404 CPUtime=698.45 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 82584 0 0 0 69813 32 0 0 25 0 4 0 519719336 647581696 112328 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=632404 CPUtime=702.29 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 116023 0 0 0 70184 45 0 0 25 0 4 0 519719336 647581696 112328 33554432000 4194304 4627427 140735669315792 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 632404

[startup+762.307 s]
/proc/loadavg: 8.01 8.05 8.02 9/188 21941
/proc/meminfo: memFree=24690568/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=580232 CPUtime=3045.07 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 522926 0 0 0 304298 209 0 0 25 0 4 0 519719335 594157568 111953 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 145058 111953 389 106 0 140029 0
[pid=21856/tid=21857] ppid=21854 vsize=580232 CPUtime=762.31 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 154890 0 0 0 76165 66 0 0 25 0 4 0 519719336 594157568 111953 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=580232 CPUtime=758.12 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 86046 0 0 0 75778 34 0 0 25 0 4 0 519719336 594157568 111953 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=580232 CPUtime=762.3 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 118562 0 0 0 76183 47 0 0 25 0 4 0 519719336 594157568 111953 33554432000 4194304 4627427 140735669315792 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 580232

[startup+822.301 s]
/proc/loadavg: 8.10 8.07 8.02 9/188 21942
/proc/meminfo: memFree=24655568/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=580500 CPUtime=3284.73 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 547128 0 0 0 328251 222 0 0 25 0 4 0 519719335 594432000 117246 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 145125 117247 389 106 0 140096 0
[pid=21856/tid=21857] ppid=21854 vsize=580500 CPUtime=822.3 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 163244 0 0 0 82160 70 0 0 25 0 4 0 519719336 594432000 117247 33554432000 4194304 4627427 140735669315792 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=580500 CPUtime=817.8 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 89526 0 0 0 81744 36 0 0 25 0 4 0 519719336 594432000 117247 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=580500 CPUtime=822.3 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 123716 0 0 0 82180 50 0 0 25 0 4 0 519719336 594432000 117247 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 580500

[startup+882.3 s]
/proc/loadavg: 8.03 8.05 8.02 9/188 21953
/proc/meminfo: memFree=24651932/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=724184 CPUtime=3524.39 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 563767 0 0 0 352209 230 0 0 25 0 4 0 519719335 741564416 118911 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 181046 118911 389 106 0 176017 0
[pid=21856/tid=21857] ppid=21854 vsize=724184 CPUtime=882.3 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 168322 0 0 0 88158 72 0 0 25 0 4 0 519719336 741564416 118911 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=724184 CPUtime=877.46 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 90188 0 0 0 87710 36 0 0 25 0 4 0 519719336 741564416 118911 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=724184 CPUtime=882.29 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 126879 0 0 0 88178 51 0 0 25 0 4 0 519719336 741564416 118911 33554432000 4194304 4627427 140735669315792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 724184

[startup+942.301 s]
/proc/loadavg: 8.16 8.09 8.03 9/188 21954
/proc/meminfo: memFree=24635020/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=629640 CPUtime=3764.07 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 583220 0 0 0 376166 241 0 0 25 0 4 0 519719335 644751360 120120 33554432000 4194304 4627427 140735669315792 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 157410 120120 389 106 0 152381 0
[pid=21856/tid=21857] ppid=21854 vsize=629640 CPUtime=942.3 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 176258 0 0 0 94153 77 0 0 25 0 4 0 519719336 644751360 120120 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=629640 CPUtime=937.14 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 90940 0 0 0 93677 37 0 0 25 0 4 0 519719336 644751360 120120 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=629640 CPUtime=942.3 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 129608 0 0 0 94177 53 0 0 25 0 4 0 519719336 644751360 120120 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.07
Current children cumulated vsize (KiB) 629640

[startup+1002.3 s]
/proc/loadavg: 8.16 8.10 8.03 9/188 21956
/proc/meminfo: memFree=24575956/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=741920 CPUtime=4003.74 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 606762 0 0 0 400123 251 0 0 25 0 4 0 519719335 759726080 128426 33554432000 4194304 4627427 140735669315792 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 185480 128426 389 106 0 180451 0
[pid=21856/tid=21857] ppid=21854 vsize=741920 CPUtime=1002.31 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 184419 0 0 0 100149 82 0 0 25 0 4 0 519719336 759726080 128426 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=741920 CPUtime=996.8 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 92977 0 0 0 99643 37 0 0 25 0 4 0 519719336 759726080 128426 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=741920 CPUtime=1002.3 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 138964 0 0 0 100173 57 0 0 25 0 4 0 519719336 759726080 128426 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 741920

[startup+1062.3 s]
/proc/loadavg: 8.25 8.13 8.04 11/189 21961
/proc/meminfo: memFree=24598596/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=647888 CPUtime=4243.27 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 631726 0 0 0 424062 265 0 0 25 0 4 0 519719335 663437312 120284 33554432000 4194304 4627427 140735669315792 18446744073709551615 4302426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 161972 120284 389 106 0 156943 0
[pid=21856/tid=21857] ppid=21854 vsize=647888 CPUtime=1062.3 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 192644 0 0 0 106144 86 0 0 25 0 4 0 519719336 663437312 120284 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=647888 CPUtime=1056.34 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 96274 0 0 0 105595 39 0 0 25 0 4 0 519719336 663437312 120284 33554432000 4194304 4627427 140735669315792 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=647888 CPUtime=1062.3 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 145254 0 0 0 106169 61 0 0 25 0 4 0 519719336 663437312 120284 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.27
Current children cumulated vsize (KiB) 647888

[startup+1122.3 s]
/proc/loadavg: 8.25 8.17 8.07 9/188 21962
/proc/meminfo: memFree=24527192/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=787184 CPUtime=4482.28 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 656556 0 0 0 447947 281 0 0 25 0 4 0 519719335 806076416 131368 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 196796 131368 389 106 0 191767 0
[pid=21856/tid=21857] ppid=21854 vsize=787184 CPUtime=1122.3 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 202821 0 0 0 112140 90 0 0 25 0 4 0 519719336 806076416 131368 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=787184 CPUtime=1116.01 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 100587 0 0 0 111559 42 0 0 25 0 4 0 519719336 806076416 131368 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=787184 CPUtime=1122.3 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 149585 0 0 0 112166 64 0 0 25 0 4 0 519719336 806076416 131368 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.28
Current children cumulated vsize (KiB) 787184

[startup+1182.3 s]
/proc/loadavg: 8.20 8.17 8.07 9/188 21964
/proc/meminfo: memFree=24502008/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=739628 CPUtime=4721.95 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 677000 0 0 0 471905 290 0 0 25 0 4 0 519719335 757379072 137093 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 184907 137093 389 106 0 179878 0
[pid=21856/tid=21857] ppid=21854 vsize=739628 CPUtime=1182.31 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 208752 0 0 0 118137 94 0 0 25 0 4 0 519719336 757379072 137093 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=739628 CPUtime=1175.69 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 106517 0 0 0 117524 45 0 0 25 0 4 0 519719336 757379072 137093 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=739628 CPUtime=1182.3 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 152690 0 0 0 118165 65 0 0 25 0 4 0 519719336 757379072 137093 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.95
Current children cumulated vsize (KiB) 739628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.13 8.15 8.07 9/188 21964
/proc/meminfo: memFree=24497912/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=782276 CPUtime=4800.26 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 684896 0 0 0 479732 294 0 0 25 0 4 0 519719335 801050624 136351 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 195569 136351 389 106 0 190540 0
[pid=21856/tid=21857] ppid=21854 vsize=782276 CPUtime=1201.91 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 211581 0 0 0 120096 95 0 0 25 0 4 0 519719336 801050624 136351 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=782276 CPUtime=1195.19 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 107643 0 0 0 119473 46 0 0 25 0 4 0 519719336 801050624 136351 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=782276 CPUtime=1201.9 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 153799 0 0 0 120124 66 0 0 25 0 4 0 519719336 801050624 136351 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 782276

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

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

[startup+1201.9 s]
/proc/loadavg: 8.13 8.15 8.07 9/188 21964
/proc/meminfo: memFree=24497912/32951124 swapFree=67111524/67111528
[pid=21856] ppid=21854 vsize=782276 CPUtime=4800.26 cores=1,3,5,7
/proc/21856/stat : 21856 (strangenight2-m) R 21854 21856 21677 0 -1 4202496 684896 0 0 0 479732 294 0 0 25 0 4 0 519719335 801050624 136351 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21856/statm: 195569 136351 389 106 0 190540 0
[pid=21856/tid=21857] ppid=21854 vsize=782276 CPUtime=1201.91 cores=1,3,5,7
/proc/21856/task/21857/stat : 21857 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 211581 0 0 0 120096 95 0 0 25 0 4 0 519719336 801050624 136351 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21856/tid=21858] ppid=21854 vsize=782276 CPUtime=1195.19 cores=1,3,5,7
/proc/21856/task/21858/stat : 21858 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 107643 0 0 0 119473 46 0 0 25 0 4 0 519719336 801050624 136351 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21856/tid=21859] ppid=21854 vsize=782276 CPUtime=1201.9 cores=1,3,5,7
/proc/21856/task/21859/stat : 21859 (strangenight2-m) R 21854 21856 21677 0 -1 4202560 153799 0 0 0 120124 66 0 0 25 0 4 0 519719336 801050624 136351 33554432000 4194304 4627427 140735669315792 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 782276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.32
CPU user time (s): 4797.35
CPU system time (s): 2.96855
CPU usage (%): 399.382
Max. virtual memory (cumulated for all children) (KiB): 850812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.35
system time used= 2.96855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 684897
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= 444
involuntary context switches= 32893

runsolver used 1.76873 second user time and 4.80727 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 14:46:52
IDJOB=3174066
IDBENCH=82884
IDSOLVER=1586
FILE ID=node132/3174066-1304081212
RUNJOBID= node132-1304079470-21696
PBS_JOBID= 13170531
Free space on /tmp= 71868 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174066-1304081212/watcher-3174066-1304081212 -o /tmp/evaluation-result-3174066-1304081212/solver-3174066-1304081212 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174066-1304081212.cnf

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

MD5SUM BENCH= a7a611663d2f029393d16aacd4e48364
RANDOM SEED=1304753266

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.833
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:      25175860 kB
Buffers:        770540 kB
Cached:        6236976 kB
SwapCached:          4 kB
Active:        2288952 kB
Inactive:      4989192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25175860 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5464 kB
Writeback:           0 kB
AnonPages:      269868 kB
Mapped:          15492 kB
Slab:           435268 kB
PageTables:       5292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   491236 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71860 MiB
End job on node132 at 2011-04-29 15:06:56