Trace number 3174085

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.37 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf
MD5SUM9649b9e4fa8d251c4c59f8783cbf0b60
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008998
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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-3174085-1304089021.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.01/0.00	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.01/0.00	c -- vars added        700
0.01/0.00	c Parsing time:  0.00 s
0.01/0.00	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.01/0.06	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.00
0.01/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.01/0.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.01/0.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.01/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.01/0.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.01/0.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.01/0.06	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.00 s
0.01/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.01/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.01/0.06	c calculated reachability. Time: 0.00
0.01/0.06	c Calc default polars -  time:   0.00 s pos:     302 undec:      86 neg:     312
0.01/0.06	c =========================================================================================
0.01/0.06	c types(t): F = full restart, N = normal restart
0.01/0.06	c types(t): S = simplification begin/end, E = solution found
0.01/0.06	c restart types(rt): st = static, dy = dynamic
0.01/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.01/0.06	c  B st     0         0       683      2964         0         0      9003         0   no data   no data
0.38/0.10	c Decided on static restart strategy
0.38/0.18	c  N st     8      4920       683      2964         0      4862      9003    156188   no data   no data
1.57/0.46	c  N st    10     11305       683      2964         0      4487      9003     97953   no data   no data
2.78/0.76	c  N st    11     17049       683      2964         0     10164      9003    285670   no data   no data
4.77/1.23	c  F st    12     25000       683      2964         0     12415      9003    343716   no data   no data
4.77/1.23	c  N st    12     25000       683      2964         0     12415      9003    343716   no data   no data
5.97/1.50	c Decided on static restart strategy
5.97/1.50	c  N st    18     30000       683      2964         0     10682      9003    255103   no data   no data
5.97/1.50	c  S st    18     30000       683      2964         0     10682      9003    255103   no data   no data
5.97/1.53	c  S st    18     30503       683      2964         0     11185      9003    268906   no data   no data
5.97/1.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.53	c blocked clauses removed:       18 vars:      2 tried:         683 T: 0.00 s
5.97/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    681 time:  0.00 s
5.97/1.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.54	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.97/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.61	c lits-rem:       129  cl-subs:      443  v-elim:      0  v-fix:    0  time:  0.06 s
6.37/1.62	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.01
6.37/1.62	c calculated reachability. Time: 0.00
6.37/1.62	c  N st    18     30503       680      2945         0     10720      8953    251862   no data   no data
7.97/2.05	c  N st    20     37615       680      2945         0     10019      8953    208193   no data   no data
9.56/2.48	c  N st    21     44014       680      2945         0     16307      8953    411868   no data   no data
10.37/2.60	c  S st    22     45754       680      2945         0      9232      8953    165445   no data   no data
10.37/2.63	c  S st    22     46261       680      2945         0      9739      8953    179227   no data   no data
10.37/2.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.37/2.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.37/2.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.37/2.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.37/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.37/2.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
10.37/2.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.37/2.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.37/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.37/2.65	c lits-rem:        15  cl-subs:       18  v-elim:      0  v-fix:    0  time:  0.01 s
10.37/2.65	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
10.37/2.66	c vivif2 --  cl tried     9721 cl shrink        0 lits rem          0 time: 0.00
10.37/2.66	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.01
10.37/2.66	c calculated reachability. Time: 0.00
10.37/2.66	c  N st    22     46261       680      2945         0      9721      8953    178555   no data   no data
14.76/3.70	c  N st    23     60660       680      2945         0     14059      8953    295478   no data   no data
17.17/4.39	c  N st    24     69391       680      2945         0     11823      8953    218055   no data   no data
17.17/4.39	c  S st    24     69391       680      2945         0     11823      8953    218055   no data   no data
17.58/4.42	c  S st    24     69893       680      2945         0     12325      8953    232100   no data   no data
17.58/4.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.58/4.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.58/4.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.58/4.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.58/4.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.58/4.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
17.58/4.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.58/4.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.58/4.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.58/4.46	c lits-rem:        21  cl-subs:      129  v-elim:      0  v-fix:    0  time:  0.02 s
17.58/4.46	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
17.58/4.47	c vivif2 --  cl tried    12196 cl shrink        0 lits rem          0 time: 0.00
17.58/4.47	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.01
17.58/4.48	c calculated reachability. Time: 0.00
17.58/4.48	c  N st    24     69893       680      2945         0     12196      8953    228620   no data   no data
23.15/5.89	c  F st    25     87501       680      2945         0     17751      8953    381235   no data   no data
23.15/5.89	c  N st    25     87501       680      2945         0     17751      8953    381235   no data   no data
25.54/6.45	c  N dy    33     94362       680      2945         0     24543      8953    586095     19.88     20.93
27.54/6.94	c  N dy    52    100574       680      2945         0     17806      8953    308259     19.45     20.48
29.13/7.30	c  S st    67    104840       680      2945         0     22032      8953    425490     19.26     18.46
29.13/7.35	c  S st    67    105342       680      2945         0     22534      8953    438990     19.26   no data
29.13/7.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.13/7.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.13/7.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.13/7.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.13/7.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.13/7.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
29.13/7.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.13/7.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.13/7.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.54/7.45	c lits-rem:        72  cl-subs:      314  v-elim:      0  v-fix:    0  time:  0.07 s
29.54/7.45	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
29.54/7.46	c vivif2 --  cl tried    22220 cl shrink        0 lits rem          0 time: 0.00
29.54/7.47	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.01
29.54/7.47	c calculated reachability. Time: 0.00
29.54/7.47	c  N dy    67    105342       680      2945         0     22220      8953    429141     19.26   no data
32.33/8.19	c  N dy    95    113064       680      2945         0     16022      8953    220300     19.19     20.29
34.74/8.78	c  N dy   139    120279       680      2945         0     23200      8953    428877     19.45     20.56
37.93/9.56	c  N dy   177    128051       680      2945         0     16030      8953    190881     19.48     21.15
40.72/10.25	c  N dy   195    136593       680      2945         0     24493      8953    435139     19.32     20.37
44.31/11.14	c  N dy   208    145708       680      2945         0     17670      8953    211037     19.05     20.07
47.52/11.98	c  N dy   242    155420       680      2945         0     27304      8953    485566     19.03     20.11
48.71/12.29	c  S st   260    158015       680      2945         0     29880      8953    557937     19.06   no data
49.11/12.36	c  S st   260    158518       680      2945         0     30382      8953    571621     19.06   no data
49.11/12.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.11/12.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.11/12.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.11/12.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.11/12.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.11/12.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
49.11/12.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.11/12.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.51/12.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.91/12.54	c lits-rem:       224  cl-subs:      432  v-elim:      0  v-fix:    0  time:  0.15 s
49.91/12.54	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
49.91/12.55	c vivif2 --  cl tried    29950 cl shrink        0 lits rem          0 time: 0.01
49.91/12.57	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.02
49.91/12.57	c calculated reachability. Time: 0.00
49.91/12.57	c  N dy   260    158518       680      2945         0     29950      8953    557975     19.06   no data
53.90/13.57	c  N dy   332    168704       680      2945         0     23211      8953    348935     19.25     20.48
58.70/14.78	c  N dy   388    180058       680      2945         0     34496      8953    671647     19.32     20.40
63.09/15.85	c  N dy   434    191582       680      2945         0     28052      8953    456343     19.32     23.86
69.90/17.53	c  N dy   487    206865       680      2945         0     24330      8953    329694     19.30     20.58
75.87/19.06	c  N dy   556    220068       680      2945         0     37454      8953    708082     19.36     20.48
82.67/20.78	c  N dy   630    234513       680      2945         0     31941      8953    518091     19.39     20.41
84.67/21.29	c  S st   653    237778       680      2945         0     35190      8953    614992     19.43     19.55
85.06/21.37	c  S st   653    238278       680      2945         0     35690      8953    628820     19.43   no data
85.06/21.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.06/21.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.06/21.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.06/21.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.06/21.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.06/21.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
85.06/21.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.46/21.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.46/21.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.26/21.60	c lits-rem:       208  cl-subs:      380  v-elim:      0  v-fix:    0  time:  0.18 s
86.26/21.60	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
86.26/21.61	c vivif2 --  cl tried    35310 cl shrink        0 lits rem          0 time: 0.01
86.26/21.63	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.02
86.26/21.63	c calculated reachability. Time: 0.00
86.26/21.63	c  N dy   653    238278       680      2945         0     35310      8953    615543     19.43   no data
95.04/23.89	c  N dy   717    258325       680      2945         0     34360      8953    573562     19.35     20.37
103.84/26.01	c  N dy   807    274972       680      2945         0     29013      8953    386207     19.41     20.48
114.24/28.64	c  N dy   861    295358       680      2945         0     26431      8953    294321     19.27     20.34
119.41/29.94	c  F st   918    306252       680      2945         0     37240      8953    604766     19.30     18.49
121.81/30.59	c Decided on static restart strategy
123.41/30.99	c  N st   925    314290       680      2945         0     45196      8953    854681     19.30   no data
134.20/33.65	c  N st   928    334556       680      2945         0     41401      8953    959935     19.30   no data
146.57/36.70	c  N st   930    357417       680      2945         0     39220      8953    887412     19.30   no data
146.57/36.70	c  S st   930    357417       680      2945         0     39220      8953    887412     19.30   no data
146.57/36.79	c  S st   930    357921       680      2945         0     39724      8953    901488     19.30   no data
146.97/36.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.97/36.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
146.97/36.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.97/36.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.97/36.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.97/36.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
146.97/36.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.97/36.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.97/36.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.39/37.46	c lits-rem:       179  cl-subs:     1137  v-elim:      0  v-fix:    0  time:  0.60 s
149.39/37.46	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
149.39/37.47	c vivif2 --  cl tried    38587 cl shrink        0 lits rem          0 time: 0.01
149.77/37.50	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.03
149.77/37.51	c calculated reachability. Time: 0.00
149.77/37.51	c  N st   930    357921       680      2945         0     38587      8953    861558     19.30   no data
170.54/42.75	c  N st   931    390315       680      2945         0     44830      8953   1064795     19.30   no data
201.72/50.54	c  N st   932    438905       680      2945         0     38530      8953    772683     19.30   no data
251.63/63.04	c  N st   933    511787       680      2945         0     52489      8953   1241717     19.30   no data
270.41/67.71	c  N st   934    536881       680      2945         0     46588      8953    958266     19.30   no data
270.41/67.71	c  S st   934    536881       680      2945         0     46588      8953    958266     19.30   no data
270.81/67.83	c  S st   934    537386       680      2945         0     47092      8953    972412     19.30   no data
270.81/67.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
270.81/67.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
270.81/67.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
270.81/67.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
270.81/67.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
270.81/67.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
270.81/67.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
270.81/67.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
270.81/67.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
274.40/68.76	c lits-rem:       768  cl-subs:      983  v-elim:      0  v-fix:    0  time:  0.86 s
274.40/68.76	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
274.40/68.78	c vivif2 --  cl tried    46109 cl shrink        0 lits rem          0 time: 0.01
274.80/68.82	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.04
274.80/68.82	c calculated reachability. Time: 0.00
274.80/68.82	c  N st   934    537386       680      2945         0     46109      8953    936481     19.30   no data
397.04/99.48	c  N st   935    701372       680      2945         0     40143      8953    618865     19.30   no data
482.12/120.77	c  N st   936    806080       680      2945         0     69140      8953   1489675     19.30   no data
482.12/120.77	c  S st   936    806080       680      2945         0     69140      8953   1489675     19.30   no data
482.94/120.96	c  S st   936    806583       680      2945         0     69643      8953   1503985     19.30   no data
482.94/120.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
482.94/121.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
483.35/121.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
483.35/121.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
483.35/121.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
483.35/121.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
483.35/121.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
483.35/121.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
483.35/121.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
501.29/125.59	c lits-rem:       518  cl-subs:     3306  v-elim:      0  v-fix:    0  time:  4.50 s
501.29/125.59	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
501.69/125.61	c vivif2 --  cl tried    66337 cl shrink        0 lits rem          0 time: 0.02
501.69/125.67	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.06
501.69/125.67	c calculated reachability. Time: 0.00
501.69/125.67	c  N st   936    806583       680      2945         0     66337      8953   1400674     19.30   no data
732.18/183.31	c  F st   937   1071875       680      2945         0     82357      8953   1785039     19.30   no data
732.18/183.31	c  N st   937   1071875       680      2945         0     82357      8953   1785039     19.30   no data
737.39/184.69	c Decided on static restart strategy
754.96/189.08	c  N st   947   1100179       680      2945         0     66096      8953   1226789     19.30   no data
785.72/196.75	c  N st   949   1136175       680      2945         0     56277      8953    884389     19.30   no data
820.07/205.31	c  N st   950   1168568       680      2945         0     88095      8953   1855712     19.30   no data
864.42/216.47	c  N st   951   1209874       680      2945         0     82351      8953   1692004     19.30   no data
864.42/216.47	c  S st   951   1209874       680      2945         0     82351      8953   1692004     19.30   no data
865.63/216.71	c  S st   951   1210381       680      2945         0     82858      8953   1706474     19.30   no data
865.63/216.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
865.63/216.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
865.63/216.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
865.63/216.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
865.63/216.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
865.63/216.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
865.63/216.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
865.63/216.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
866.01/216.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
893.97/223.80	c lits-rem:       666  cl-subs:     4070  v-elim:      0  v-fix:    0  time:  6.93 s
893.97/223.80	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
893.97/223.83	c vivif2 --  cl tried    78788 cl shrink        0 lits rem          0 time: 0.02
894.37/223.91	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.08
894.37/223.91	c calculated reachability. Time: 0.00
894.37/223.91	c  N st   951   1210381       680      2945         0     78788      8953   1570732     19.30   no data
965.86/241.89	c  N st   952   1283264       680      2945         0     55286      8953    771037     19.30   no data
1083.70/271.39	c  N st   953   1392587       680      2945         0     63265      8953    961465     19.30   no data
1264.66/316.62	c  N st   954   1556573       680      2945         0     68009      8953   1055913     19.30   no data
1436.85/359.79	c  N st   955   1710381       680      2945         0    109846      8953   2354378     19.30   no data
1436.85/359.79	c  S st   955   1710381       680      2945         0    109846      8953   2354378     19.30   no data
1438.42/360.14	c  S st   955   1710884       680      2945         0    110349      8953   2369501     19.30   no data
1438.42/360.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1438.82/360.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1438.82/360.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1438.82/360.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1438.82/360.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1438.82/360.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
1438.82/360.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1438.82/360.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1439.22/360.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1527.11/382.32	c lits-rem:      1212  cl-subs:     8422  v-elim:      0  v-fix:    0  time: 21.89 s
1527.11/382.32	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
1527.11/382.35	c vivif2 --  cl tried   101927 cl shrink        0 lits rem          0 time: 0.03
1527.51/382.47	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.11
1527.51/382.47	c calculated reachability. Time: 0.00
1527.51/382.47	c  N st   955   1710884       680      2945         0    101927      8953   2106801     19.30   no data
1962.12/491.21	c  N st   956   2079850       680      2945         0    113902      8953   2250536     19.30   no data
2133.49/534.18	c  N st   957   2210884       680      2945         0    118078      8953   2430124     19.30   no data
2133.49/534.18	c  S st   957   2210884       680      2945         0    118078      8953   2430124     19.30   no data
2135.10/534.52	c  S st   957   2211387       680      2945         0    118581      8953   2444690     19.30   no data
2135.10/534.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2135.10/534.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2135.10/534.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2135.10/534.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2135.10/534.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2135.10/534.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
2135.10/534.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2135.50/534.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2135.88/534.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2210.20/553.35	c lits-rem:       841  cl-subs:     7572  v-elim:      0  v-fix:    0  time: 18.55 s
2210.20/553.35	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
2210.20/553.39	c vivif2 --  cl tried   111009 cl shrink        0 lits rem          0 time: 0.03
2210.98/553.51	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.12
2210.98/553.51	c calculated reachability. Time: 0.00
2210.98/553.51	c  N st   957   2211387       680      2945         0    111009      8953   2212420     19.30   no data
2921.23/731.33	c  N st   958   2711389       680      2945         0    134398      8953   2839344     19.30   no data
2921.23/731.33	c  S st   958   2711389       680      2945         0    134398      8953   2839344     19.30   no data
2922.82/731.77	c  S st   958   2711890       680      2945         0    134899      8953   2853434     19.30   no data
2922.82/731.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2923.22/731.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2923.22/731.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2923.22/731.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2923.22/731.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2923.22/731.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
2923.22/731.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2923.62/731.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2923.62/731.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3056.65/765.20	c lits-rem:       714  cl-subs:    10404  v-elim:      0  v-fix:    0  time: 33.03 s
3056.65/765.20	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
3056.65/765.23	c vivif2 --  cl tried   124495 cl shrink        0 lits rem          0 time: 0.04
3057.05/765.38	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.14
3057.05/765.38	c calculated reachability. Time: 0.00
3057.05/765.38	c  N st   958   2711890       680      2945         0    124495      8953   2529803     19.30   no data
3862.76/967.01	c  N st   959   3211892       680      2945         0    100303      8953   1588317     19.30   no data
3862.76/967.01	c  S st   959   3211892       680      2945         0    100303      8953   1588317     19.30   no data
3863.96/967.30	c  S st   959   3212396       680      2945         0    100806      8953   1603059     19.30   no data
3863.96/967.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3863.96/967.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3863.96/967.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3863.96/967.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3863.96/967.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3863.96/967.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
3863.96/967.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3863.96/967.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3864.36/967.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3878.34/970.92	c lits-rem:       250  cl-subs:     2429  v-elim:      0  v-fix:    0  time:  3.47 s
3878.34/970.92	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
3878.34/970.95	c vivif2 --  cl tried    98377 cl shrink        0 lits rem          0 time: 0.02
3878.74/971.05	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.10
3878.74/971.05	c calculated reachability. Time: 0.00
3878.74/971.05	c  N st   959   3212396       680      2945         0     98377      8953   1524506     19.30   no data
4749.17/1188.94	c  N st   960   3712396       680      2945         0    109320      8953   1731037     19.30   no data
4749.17/1188.94	c  S st   960   3712396       680      2945         0    109320      8953   1731037     19.30   no data
4750.37/1189.26	c  S st   960   3712900       680      2945         0    109824      8953   1745473     19.30   no data
4750.37/1189.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4750.77/1189.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4750.77/1189.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4750.77/1189.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4750.77/1189.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4750.77/1189.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    680 time:  0.00 s
4750.77/1189.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4750.77/1189.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4751.17/1189.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4766.34/1193.27	c lits-rem:       371  cl-subs:     2305  v-elim:      0  v-fix:    0  time:  3.84 s
4766.34/1193.27	c vivif2 --  cl tried     2945 cl shrink        0 lits rem          0 time: 0.00
4766.74/1193.30	c vivif2 --  cl tried   107519 cl shrink        0 lits rem          0 time: 0.03
4767.16/1193.43	c asymm  cl-useful: 0/2945/2945 lits-rem:0 time: 0.12
4767.16/1193.43	c calculated reachability. Time: 0.00
4767.16/1193.43	c  N st   960   3712900       680      2945         0    107519      8953   1672161     19.30   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-3174085-1304089021/watcher-3174085-1304089021 -o /tmp/evaluation-result-3174085-1304089021/solver-3174085-1304089021 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174085-1304089021.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.75 8.01 7.75 5/180 24360
/proc/meminfo: memFree=12718260/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=273680 CPUtime=0 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 818 0 0 0 0 0 0 0 25 0 4 0 599132755 280248320 742 33554432000 4194304 4627427 140736711800192 18446744073709551615 216735283694 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24360/statm: 68420 743 338 106 0 63391 0
[pid=24360/tid=24361] ppid=24358 vsize=273680 CPUtime=0 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 110 0 0 0 0 0 0 0 25 0 4 0 599132755 280248320 745 33554432000 4194304 4627427 140736711800192 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=273680 CPUtime=0 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 114 0 0 0 0 0 0 0 25 0 4 0 599132755 280248320 752 33554432000 4194304 4627427 140736711800192 18446744073709551615 216734875403 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=273680 CPUtime=0 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 124 0 0 0 0 0 0 0 25 0 4 0 599132755 280248320 759 33554432000 4194304 4627427 140736711800192 18446744073709551615 216734875403 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.00771194 s]
/proc/loadavg: 7.75 8.01 7.75 5/180 24360
/proc/meminfo: memFree=12718260/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=282016 CPUtime=0.01 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 981 0 0 0 1 0 0 0 25 0 4 0 599132755 288784384 905 33554432000 4194304 4627427 140736711800192 18446744073709551615 4530789 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 70504 905 352 106 0 65475 0
[pid=24360/tid=24361] ppid=24358 vsize=282016 CPUtime=0 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 141 0 0 0 0 0 0 0 25 0 4 0 599132755 288784384 905 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=282016 CPUtime=0 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 147 0 0 0 0 0 0 0 25 0 4 0 599132755 288784384 905 33554432000 4194304 4627427 140736711800192 18446744073709551615 4522905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=282016 CPUtime=0 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 165 0 0 0 0 0 0 0 25 0 4 0 599132755 288784384 905 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 282016

[startup+0.100696 s]
/proc/loadavg: 7.75 8.01 7.75 5/180 24360
/proc/meminfo: memFree=12718260/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=282456 CPUtime=0.38 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 1955 0 0 0 38 0 0 0 25 0 4 0 599132755 289234944 1830 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 70614 1830 384 106 0 65585 0
[pid=24360/tid=24361] ppid=24358 vsize=282456 CPUtime=0.09 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 427 0 0 0 9 0 0 0 25 0 4 0 599132755 289234944 1830 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=282456 CPUtime=0.09 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 391 0 0 0 9 0 0 0 25 0 4 0 599132755 289234944 1831 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=282456 CPUtime=0.09 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 300 0 0 0 9 0 0 0 25 0 4 0 599132755 289234944 1831 33554432000 4194304 4627427 140736711800192 18446744073709551615 4348174 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282456

[startup+0.300661 s]
/proc/loadavg: 7.75 8.01 7.75 5/180 24360
/proc/meminfo: memFree=12718260/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=284156 CPUtime=1.18 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 3129 0 0 0 118 0 0 0 25 0 4 0 599132755 290975744 2286 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 71039 2286 385 106 0 66010 0
[pid=24360/tid=24361] ppid=24358 vsize=284156 CPUtime=0.29 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 715 0 0 0 29 0 0 0 25 0 4 0 599132755 290975744 2286 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=284156 CPUtime=0.29 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 680 0 0 0 29 0 0 0 25 0 4 0 599132755 290975744 2286 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=284156 CPUtime=0.29 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 608 0 0 0 29 0 0 0 25 0 4 0 599132755 290975744 2286 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284156

[startup+0.700592 s]
/proc/loadavg: 7.75 8.01 7.75 5/180 24360
/proc/meminfo: memFree=12718260/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=285156 CPUtime=2.78 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 4908 0 0 0 277 1 0 0 25 0 4 0 599132755 291999744 2995 33554432000 4194304 4627427 140736711800192 18446744073709551615 4302476 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 71289 2995 385 106 0 66260 0
[pid=24360/tid=24361] ppid=24358 vsize=285156 CPUtime=0.69 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 1196 0 0 0 69 0 0 0 25 0 4 0 599132755 291999744 2995 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=285156 CPUtime=0.69 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 1094 0 0 0 69 0 0 0 25 0 4 0 599132755 291999744 2995 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=285156 CPUtime=0.69 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 1035 0 0 0 69 0 0 0 25 0 4 0 599132755 291999744 2995 33554432000 4194304 4627427 140736711800192 18446744073709551615 4350185 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285156

[startup+1.50045 s]
/proc/loadavg: 7.75 8.01 7.75 9/184 24364
/proc/meminfo: memFree=12701376/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=286360 CPUtime=5.97 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 8355 0 0 0 596 1 0 0 25 0 4 0 599132755 293232640 3480 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 71590 3480 386 106 0 66561 0
[pid=24360/tid=24361] ppid=24358 vsize=286360 CPUtime=1.49 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 2081 0 0 0 149 0 0 0 25 0 4 0 599132755 293232640 3480 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=286360 CPUtime=1.49 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 1879 0 0 0 149 0 0 0 25 0 4 0 599132755 293232640 3480 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=286360 CPUtime=1.49 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 1934 0 0 0 149 0 0 0 25 0 4 0 599132755 293232640 3480 33554432000 4194304 4627427 140736711800192 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286360

[startup+3.10018 s]
/proc/loadavg: 7.77 8.01 7.75 9/184 24364
/proc/meminfo: memFree=12681336/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=279892 CPUtime=12.37 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 20010 0 0 0 1233 4 0 0 25 0 4 0 599132755 286609408 11113 33554432000 4194304 4627427 140736711800192 18446744073709551615 4321706 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 69973 11113 389 106 0 64944 0
[pid=24360/tid=24361] ppid=24358 vsize=279892 CPUtime=3.09 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 4493 0 0 0 309 0 0 0 25 0 4 0 599132755 286609408 11113 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=279892 CPUtime=3.08 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 5231 0 0 0 308 0 0 0 25 0 4 0 599132755 286609408 11113 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=279892 CPUtime=3.09 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 4894 0 0 0 308 1 0 0 25 0 4 0 599132755 286609408 11113 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 279892

[startup+6.30062 s]
/proc/loadavg: 7.77 8.01 7.75 9/184 24364
/proc/meminfo: memFree=12640300/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=287524 CPUtime=25.15 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 30720 0 0 0 2509 6 0 0 25 0 4 0 599132755 294424576 17531 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 71881 17531 389 106 0 66852 0
[pid=24360/tid=24361] ppid=24358 vsize=287524 CPUtime=6.28 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 7663 0 0 0 628 0 0 0 25 0 4 0 599132755 294424576 17531 33554432000 4194304 4627427 140736711800192 18446744073709551615 4332756 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=287524 CPUtime=6.28 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 8831 0 0 0 627 1 0 0 25 0 4 0 599132755 294424576 17531 33554432000 4194304 4627427 140736711800192 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=287524 CPUtime=6.28 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 7188 0 0 0 627 1 0 0 25 0 4 0 599132755 294424576 17531 33554432000 4194304 4627427 140736711800192 18446744073709551615 4305528 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 287524

[startup+12.7005 s]
/proc/loadavg: 7.81 8.01 7.75 9/184 24365
/proc/meminfo: memFree=12600720/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=295648 CPUtime=50.71 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 44042 0 0 0 5062 9 0 0 25 0 4 0 599132755 302743552 25238 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 73912 25238 389 106 0 68883 0
[pid=24360/tid=24361] ppid=24358 vsize=295648 CPUtime=12.68 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 12397 0 0 0 1267 1 0 0 25 0 4 0 599132755 302743552 25238 33554432000 4194304 4627427 140736711800192 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=295648 CPUtime=12.69 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 10188 0 0 0 1267 2 0 0 25 0 4 0 599132755 302743552 25238 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=295648 CPUtime=12.69 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 10796 0 0 0 1267 2 0 0 25 0 4 0 599132755 302743552 25238 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 295648

[startup+25.5003 s]
/proc/loadavg: 7.84 8.01 7.75 9/184 24365
/proc/meminfo: memFree=12545680/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=375572 CPUtime=101.83 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 62900 0 0 0 10168 15 0 0 25 0 4 0 599132755 384585728 34880 33554432000 4194304 4627427 140736711800192 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 93893 34880 389 106 0 88864 0
[pid=24360/tid=24361] ppid=24358 vsize=375572 CPUtime=25.48 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 18868 0 0 0 2545 3 0 0 25 0 4 0 599132755 384585728 34880 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=375572 CPUtime=25.48 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 13462 0 0 0 2546 2 0 0 25 0 4 0 599132755 384585728 34880 33554432000 4194304 4627427 140736711800192 18446744073709551615 4327603 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=375572 CPUtime=25.48 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 14808 0 0 0 2545 3 0 0 25 0 4 0 599132755 384585728 34880 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 375572

[startup+51.1008 s]
/proc/loadavg: 7.89 8.00 7.76 9/184 24365
/proc/meminfo: memFree=12516704/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=372344 CPUtime=204.1 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 94921 0 0 0 20384 26 0 0 25 0 4 0 599132755 381280256 39371 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 93086 39372 389 106 0 88057 0
[pid=24360/tid=24361] ppid=24358 vsize=372344 CPUtime=51.08 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 26867 0 0 0 5102 6 0 0 25 0 4 0 599132755 381280256 39372 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=372344 CPUtime=51.09 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 22043 0 0 0 5104 5 0 0 25 0 4 0 599132755 381280256 39372 33554432000 4194304 4627427 140736711800192 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=372344 CPUtime=51.09 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 22537 0 0 0 5103 6 0 0 25 0 4 0 599132755 381280256 39372 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 372344

[startup+102.307 s]
/proc/loadavg: 7.99 8.02 7.78 9/184 24367
/proc/meminfo: memFree=12410892/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=460116 CPUtime=408.64 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 144176 0 0 0 40823 41 0 0 25 0 4 0 599132755 471158784 61927 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 115029 61927 389 106 0 110000 0
[pid=24360/tid=24361] ppid=24358 vsize=460116 CPUtime=102.29 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 41171 0 0 0 10218 11 0 0 25 0 4 0 599132755 471158784 61927 33554432000 4194304 4627427 140736711800192 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=460116 CPUtime=102.29 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 33369 0 0 0 10220 9 0 0 25 0 4 0 599132755 471158784 61927 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308285 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=460116 CPUtime=102.29 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 33895 0 0 0 10220 9 0 0 25 0 4 0 599132755 471158784 61927 33554432000 4194304 4627427 140736711800192 18446744073709551615 4310574 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 460116

[startup+162.3 s]

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

[pid=24360] ppid=24358 vsize=689108 CPUtime=2805.38 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 499230 0 0 0 280346 192 0 0 25 0 4 0 599132755 705646592 120829 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 172277 120829 389 106 0 167248 0
[pid=24360/tid=24361] ppid=24358 vsize=689108 CPUtime=702.3 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 132578 0 0 0 70176 54 0 0 25 0 4 0 599132755 705646592 120829 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=689108 CPUtime=702.31 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 105802 0 0 0 70193 38 0 0 25 0 4 0 599132755 705646592 120829 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=689108 CPUtime=702.28 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 138437 0 0 0 70177 51 0 0 25 0 4 0 599132755 705646592 120829 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 689108

[startup+762.307 s]
/proc/loadavg: 8.10 8.10 7.93 9/184 24424
/proc/meminfo: memFree=11826176/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=740336 CPUtime=3045.08 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 518311 0 0 0 304304 204 0 0 25 0 4 0 599132755 758104064 124960 33554432000 4194304 4627427 140736711800192 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 185084 124960 389 106 0 180055 0
[pid=24360/tid=24361] ppid=24358 vsize=740336 CPUtime=762.3 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 139924 0 0 0 76171 59 0 0 25 0 4 0 599132755 758104064 124960 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=740336 CPUtime=762.31 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 106596 0 0 0 76193 38 0 0 25 0 4 0 599132755 758104064 124960 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=740336 CPUtime=762.29 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 145664 0 0 0 76172 57 0 0 25 0 4 0 599132755 758104064 124960 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 740336

[startup+822.3 s]
/proc/loadavg: 8.18 8.12 7.94 9/184 24425
/proc/meminfo: memFree=11825428/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=769120 CPUtime=3284.73 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 543796 0 0 0 328255 218 0 0 25 0 4 0 599132755 787578880 121579 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 192280 121579 389 106 0 187251 0
[pid=24360/tid=24361] ppid=24358 vsize=769120 CPUtime=822.3 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 144555 0 0 0 82168 62 0 0 25 0 4 0 599132755 787578880 121579 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=769120 CPUtime=822.3 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 112736 0 0 0 82189 41 0 0 25 0 4 0 599132755 787578880 121579 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=769120 CPUtime=822.29 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 153197 0 0 0 82168 61 0 0 25 0 4 0 599132755 787578880 121579 33554432000 4194304 4627427 140736711800192 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 769120

[startup+882.301 s]
/proc/loadavg: 8.18 8.13 7.95 9/184 24427
/proc/meminfo: memFree=11711580/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=860900 CPUtime=3524.41 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 585049 0 0 0 352207 234 0 0 25 0 4 0 599132755 881561600 142845 33554432000 4194304 4627427 140736711800192 18446744073709551615 4321603 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 215225 142845 389 106 0 210196 0
[pid=24360/tid=24361] ppid=24358 vsize=860900 CPUtime=882.3 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 158404 0 0 0 88163 67 0 0 25 0 4 0 599132755 881561600 142845 33554432000 4194304 4627427 140736711800192 18446744073709551615 4419913 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=860900 CPUtime=882.31 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 120000 0 0 0 88186 45 0 0 25 0 4 0 599132755 881561600 142845 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=860900 CPUtime=882.28 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 165870 0 0 0 88164 64 0 0 25 0 4 0 599132755 881561600 142845 33554432000 4194304 4627427 140736711800192 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 860900

[startup+942.3 s]
/proc/loadavg: 8.20 8.13 7.96 9/184 24428
/proc/meminfo: memFree=11691356/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=769472 CPUtime=3764.1 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 599971 0 0 0 376166 244 0 0 25 0 4 0 599132755 787939328 140752 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 192368 140752 389 106 0 187339 0
[pid=24360/tid=24361] ppid=24358 vsize=769472 CPUtime=942.3 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 162446 0 0 0 94160 70 0 0 25 0 4 0 599132755 787939328 140752 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=769472 CPUtime=942.3 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 123091 0 0 0 94184 46 0 0 25 0 4 0 599132755 787939328 140752 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=769472 CPUtime=942.29 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 169481 0 0 0 94162 67 0 0 25 0 4 0 599132755 787939328 140752 33554432000 4194304 4627427 140736711800192 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 769472

[startup+1002.3 s]
/proc/loadavg: 8.14 8.12 7.97 9/184 24430
/proc/meminfo: memFree=11676708/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=823028 CPUtime=4003.76 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 618871 0 0 0 400121 255 0 0 25 0 4 0 599132755 842780672 139379 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 205757 139379 389 106 0 200728 0
[pid=24360/tid=24361] ppid=24358 vsize=823028 CPUtime=1002.3 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 169611 0 0 0 100155 75 0 0 25 0 4 0 599132755 842780672 139379 33554432000 4194304 4627427 140736711800192 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=823028 CPUtime=1002.3 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 125283 0 0 0 100183 47 0 0 25 0 4 0 599132755 842780672 139379 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=823028 CPUtime=1002.29 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 176831 0 0 0 100158 71 0 0 25 0 4 0 599132755 842780672 139379 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 823028

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 7.97 9/184 24432
/proc/meminfo: memFree=11650640/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=876928 CPUtime=4243.45 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 639252 0 0 0 424078 267 0 0 25 0 4 0 599132755 897974272 146127 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 219232 146127 389 106 0 214203 0
[pid=24360/tid=24361] ppid=24358 vsize=876928 CPUtime=1062.3 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 176960 0 0 0 106152 78 0 0 25 0 4 0 599132755 897974272 146127 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=876928 CPUtime=1062.31 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 126393 0 0 0 106183 48 0 0 25 0 4 0 599132755 897974272 146127 33554432000 4194304 4627427 140736711800192 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=876928 CPUtime=1062.29 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 182700 0 0 0 106155 74 0 0 25 0 4 0 599132755 897974272 146127 33554432000 4194304 4627427 140736711800192 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 876928

[startup+1122.3 s]
/proc/loadavg: 8.10 8.11 7.98 9/184 24433
/proc/meminfo: memFree=11563444/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=849396 CPUtime=4483.12 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 665456 0 0 0 448032 280 0 0 25 0 4 0 599132755 869781504 154625 33554432000 4194304 4627427 140736711800192 18446744073709551615 4332626 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 212349 154625 389 106 0 207320 0
[pid=24360/tid=24361] ppid=24358 vsize=849396 CPUtime=1122.3 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 186206 0 0 0 112147 83 0 0 25 0 4 0 599132755 869781504 154625 33554432000 4194304 4627427 140736711800192 18446744073709551615 4420154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=849396 CPUtime=1122.31 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 132060 0 0 0 112180 51 0 0 25 0 4 0 599132755 869781504 154625 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=849396 CPUtime=1122.29 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 190199 0 0 0 112151 78 0 0 25 0 4 0 599132755 869781504 154625 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 849396

[startup+1182.3 s]
/proc/loadavg: 8.14 8.11 7.99 9/184 24435
/proc/meminfo: memFree=11496832/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=809188 CPUtime=4722.8 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 684516 0 0 0 471990 290 0 0 25 0 4 0 599132755 828608512 158832 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 202297 158832 389 106 0 197268 0
[pid=24360/tid=24361] ppid=24358 vsize=809188 CPUtime=1182.3 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 190470 0 0 0 118144 86 0 0 25 0 4 0 599132755 828608512 158832 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=809188 CPUtime=1182.31 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 137435 0 0 0 118177 54 0 0 25 0 4 0 599132755 828608512 158832 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=809188 CPUtime=1182.29 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 197907 0 0 0 118149 80 0 0 25 0 4 0 599132755 828608512 158832 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 809188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.11 7.99 9/184 24435
/proc/meminfo: memFree=11556720/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=795800 CPUtime=4800.32 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 691336 0 0 0 479737 295 0 0 25 0 4 0 599132755 814899200 153090 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 198950 153090 389 106 0 193921 0
[pid=24360/tid=24361] ppid=24358 vsize=795800 CPUtime=1201.71 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 193089 0 0 0 120083 88 0 0 25 0 4 0 599132755 814899200 153090 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=795800 CPUtime=1201.71 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 138487 0 0 0 120116 55 0 0 25 0 4 0 599132755 814899200 153090 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=795800 CPUtime=1201.7 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 200610 0 0 0 120088 82 0 0 25 0 4 0 599132755 814899200 153090 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 795800

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

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

[startup+1201.7 s]
/proc/loadavg: 8.10 8.11 7.99 9/184 24435
/proc/meminfo: memFree=11556720/32951124 swapFree=67102140/67111528
[pid=24360] ppid=24358 vsize=795800 CPUtime=4800.32 cores=1,3,5,7
/proc/24360/stat : 24360 (strangenight2-m) R 24358 24360 24128 0 -1 4202496 691336 0 0 0 479737 295 0 0 25 0 4 0 599132755 814899200 153090 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24360/statm: 198950 153090 389 106 0 193921 0
[pid=24360/tid=24361] ppid=24358 vsize=795800 CPUtime=1201.71 cores=1,3,5,7
/proc/24360/task/24361/stat : 24361 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 193089 0 0 0 120083 88 0 0 25 0 4 0 599132755 814899200 153090 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24360/tid=24362] ppid=24358 vsize=795800 CPUtime=1201.71 cores=1,3,5,7
/proc/24360/task/24362/stat : 24362 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 138487 0 0 0 120116 55 0 0 25 0 4 0 599132755 814899200 153090 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24360/tid=24363] ppid=24358 vsize=795800 CPUtime=1201.7 cores=1,3,5,7
/proc/24360/task/24363/stat : 24363 (strangenight2-m) R 24358 24360 24128 0 -1 4202560 200610 0 0 0 120088 82 0 0 25 0 4 0 599132755 814899200 153090 33554432000 4194304 4627427 140736711800192 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 795800

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.37
CPU user time (s): 4797.39
CPU system time (s): 2.98055
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 971572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.39
system time used= 2.98055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691337
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= 260
involuntary context switches= 20006

runsolver used 1.82172 second user time and 4.75128 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 16:57:01
IDJOB=3174085
IDBENCH=82903
IDSOLVER=1586
FILE ID=node119/3174085-1304089021
RUNJOBID= node119-1304086609-24147
PBS_JOBID= 13170550
Free space on /tmp= 71812 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174085-1304089021/watcher-3174085-1304089021 -o /tmp/evaluation-result-3174085-1304089021/solver-3174085-1304089021 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174085-1304089021.cnf

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

MD5SUM BENCH= 9649b9e4fa8d251c4c59f8783cbf0b60
RANDOM SEED=674543133

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12718416 kB
Buffers:       2234652 kB
Cached:       17313940 kB
SwapCached:       5504 kB
Active:        8016048 kB
Inactive:     11632016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12718416 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           11296 kB
Writeback:           0 kB
AnonPages:       96924 kB
Mapped:          15348 kB
Slab:           521880 kB
PageTables:       4700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   311912 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71804 MiB
End job on node119 at 2011-04-29 17:17:05