Trace number 3173925

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf
MD5SUM90af97b0aabddb9e07bb7ada8a5dcbc1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.017996
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-3173925-1304073394.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.17/0.05	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.17/0.05	c -- vars added        700
0.17/0.05	c Parsing time:  0.00 s
0.17/0.05	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.17/0.05	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.00
0.17/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.17/0.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.17/0.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.17/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.17/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.17/0.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.17/0.05	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.17/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.17/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.17/0.05	c calculated reachability. Time: 0.00
0.17/0.05	c Calc default polars -  time:   0.00 s pos:     301 undec:      74 neg:     325
0.17/0.05	c =========================================================================================
0.17/0.05	c types(t): F = full restart, N = normal restart
0.17/0.05	c types(t): S = simplification begin/end, E = solution found
0.17/0.05	c restart types(rt): st = static, dy = dynamic
0.17/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.17/0.05	c  B st     0         0       681      2964         0         0      9007         0   no data   no data
0.38/0.15	c Decided on static restart strategy
0.78/0.25	c  N st     8      4919       681      2964         0      4862      9007    145445   no data   no data
1.57/0.47	c  N st    10     11303       681      2964         0      4513      9007     93699   no data   no data
2.77/0.76	c  N st    11     17046       681      2964         0     10189      9007    262761   no data   no data
4.40/1.17	c  F st    12     25004       681      2964         0     12509      9007    326363   no data   no data
4.40/1.17	c  N st    12     25004       681      2964         0     12509      9007    326363   no data   no data
5.57/1.43	c Decided on static restart strategy
5.57/1.43	c  N st    18     30000       681      2964         0     10743      9007    247628   no data   no data
5.57/1.43	c  S st    18     30000       681      2964         0     10743      9007    247628   no data   no data
5.57/1.46	c  S st    18     30504       681      2964         0     11247      9007    260694   no data   no data
5.57/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.57/1.46	c blocked clauses removed:       13 vars:      2 tried:         681 T: 0.00 s
5.57/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
5.57/1.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.52	c lits-rem:        48  cl-subs:      275  v-elim:      0  v-fix:    0  time:  0.04 s
5.97/1.53	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.01
5.97/1.53	c calculated reachability. Time: 0.00
5.97/1.53	c  N st    18     30504       679      2951         0     10969      8968    251174   no data   no data
7.57/1.94	c  N st    20     37614       679      2951         0     10212      8968    210057   no data   no data
9.17/2.37	c  N st    21     44014       679      2951         0     16521      8968    412456   no data   no data
9.56/2.50	c  S st    22     45757       679      2951         0      9416      8968    160421   no data   no data
9.96/2.52	c  S st    22     46258       679      2951         0      9917      8968    173640   no data   no data
9.96/2.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
9.96/2.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.55	c lits-rem:        30  cl-subs:       33  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.55	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
9.96/2.55	c vivif2 --  cl tried     9884 cl shrink        0 lits rem          0 time: 0.00
9.96/2.55	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.01
9.96/2.55	c calculated reachability. Time: 0.00
9.96/2.55	c  N st    22     46258       679      2951         0      9884      8968    172488   no data   no data
13.96/3.59	c  N st    23     60656       679      2951         0     14258      8968    300998   no data   no data
16.75/4.29	c  N st    24     69387       679      2951         0     12024      8968    215660   no data   no data
16.75/4.29	c  S st    24     69387       679      2951         0     12024      8968    215660   no data   no data
17.17/4.33	c  S st    24     69889       679      2951         0     12526      8968    228519   no data   no data
17.17/4.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.17/4.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.17/4.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.17/4.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.17/4.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.17/4.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
17.17/4.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.17/4.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.17/4.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.17/4.37	c lits-rem:        60  cl-subs:      110  v-elim:      0  v-fix:    0  time:  0.02 s
17.17/4.37	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
17.17/4.37	c vivif2 --  cl tried    12416 cl shrink        0 lits rem          0 time: 0.00
17.17/4.38	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.01
17.17/4.38	c calculated reachability. Time: 0.00
17.17/4.38	c  N st    24     69889       679      2951         0     12416      8968    224598   no data   no data
22.74/5.73	c  F st    25     87500       679      2951         0     17960      8968    386471   no data   no data
22.74/5.73	c  N st    25     87500       679      2951         0     17960      8968    386471   no data   no data
24.34/6.15	c Decided on static restart strategy
25.54/6.41	c  N st    32     95540       679      2951         0     13071      8968    205610   no data   no data
27.93/7.09	c  N st    34    104833       679      2951         0     22210      8968    475957   no data   no data
27.93/7.09	c  S st    34    104833       679      2951         0     22210      8968    475957   no data   no data
28.33/7.14	c  S st    34    105336       679      2951         0     22712      8968    489856   no data   no data
28.33/7.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.33/7.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.33/7.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.33/7.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.33/7.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
28.33/7.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.33/7.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.33/7.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.14/7.36	c lits-rem:       103  cl-subs:      678  v-elim:      0  v-fix:    0  time:  0.18 s
29.14/7.36	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
29.14/7.36	c vivif2 --  cl tried    22034 cl shrink        0 lits rem          0 time: 0.00
29.14/7.38	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.01
29.14/7.38	c calculated reachability. Time: 0.00
29.14/7.38	c  N st    34    105336       679      2951         0     22034      8968    466096   no data   no data
32.34/8.16	c  N st    35    114936       679      2951         0     17727      8968    333606   no data   no data
37.92/9.55	c  N st    36    129334       679      2951         0     17182      8968    283371   no data   no data
45.92/11.58	c  N st    37    150929       679      2951         0     22712      8968    457784   no data   no data
48.71/12.26	c  S st    38    158005       679      2951         0     29703      8968    681739   no data   no data
49.11/12.34	c  S st    38    158507       679      2951         0     30204      8968    694959   no data   no data
49.11/12.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.11/12.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.11/12.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.11/12.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.11/12.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.11/12.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
49.11/12.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.11/12.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.11/12.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.71/12.72	c lits-rem:       360  cl-subs:      751  v-elim:      0  v-fix:    0  time:  0.34 s
50.71/12.72	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
50.71/12.73	c vivif2 --  cl tried    29453 cl shrink        0 lits rem          0 time: 0.01
50.71/12.75	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.02
50.71/12.75	c calculated reachability. Time: 0.00
50.71/12.75	c  N st    38    158507       679      2951         0     29453      8968    666387   no data   no data
71.09/17.81	c  N st    39    207095       679      2951         0     24027      8968    436823   no data   no data
84.67/21.26	c  N st    40    237761       679      2951         0     34578      8968    750266   no data   no data
84.67/21.26	c  S st    40    237761       679      2951         0     34578      8968    750266   no data   no data
85.07/21.34	c  S st    40    238265       679      2951         0     35081      8968    764427   no data   no data
85.07/21.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.07/21.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.07/21.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.07/21.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.07/21.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.07/21.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
85.07/21.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.07/21.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.07/21.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.48/21.91	c lits-rem:       252  cl-subs:      868  v-elim:      0  v-fix:    0  time:  0.51 s
87.48/21.91	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
87.48/21.92	c vivif2 --  cl tried    34213 cl shrink        0 lits rem          0 time: 0.01
87.48/21.94	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.02
87.48/21.94	c calculated reachability. Time: 0.00
87.48/21.94	c  N st    40    238265       679      2951         0     34213      8968    732357   no data   no data
119.82/30.09	c  F st    41    306252       679      2951         0     36216      8968    739116   no data   no data
119.82/30.09	c  N st    41    306252       679      2951         0     36216      8968    739116   no data   no data
123.05/30.83	c Decided on static restart strategy
135.01/33.88	c  N st    51    334561       679      2951         0     40351      8968    796015   no data   no data
148.20/37.16	c  N st    53    357397       679      2951         0     38141      8968    695492   no data   no data
148.20/37.16	c  S st    53    357397       679      2951         0     38141      8968    695492   no data   no data
148.60/37.26	c  S st    53    357901       679      2951         0     38645      8968    710437   no data   no data
148.60/37.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
148.60/37.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
148.60/37.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
148.60/37.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.60/37.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.60/37.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
148.60/37.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
148.60/37.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.01/37.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.98/37.84	c lits-rem:       330  cl-subs:     1492  v-elim:      0  v-fix:    0  time:  0.53 s
150.98/37.84	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
150.98/37.85	c vivif2 --  cl tried    37153 cl shrink        0 lits rem          0 time: 0.01
150.98/37.88	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.03
150.98/37.88	c calculated reachability. Time: 0.00
150.98/37.88	c  N st    53    357901       679      2951         0     37153      8968    666152   no data   no data
170.17/42.60	c  N st    54    390293       679      2951         0     43449      8968    890352   no data   no data
200.12/50.10	c  N st    55    438884       679      2951         0     37068      8968    635821   no data   no data
242.07/60.61	c  N st    56    511767       679      2951         0     50590      8968   1004329   no data   no data
256.85/64.38	c  N st    57    536852       679      2951         0     44863      8968    816757   no data   no data
256.85/64.38	c  S st    57    536852       679      2951         0     44863      8968    816757   no data   no data
257.65/64.50	c  S st    57    537355       679      2951         0     45366      8968    830712   no data   no data
257.65/64.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.65/64.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
257.65/64.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.65/64.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.65/64.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.65/64.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
257.65/64.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
257.65/64.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
257.65/64.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.04/65.18	c lits-rem:       189  cl-subs:     1128  v-elim:      0  v-fix:    0  time:  0.62 s
260.04/65.18	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
260.04/65.19	c vivif2 --  cl tried    44238 cl shrink        0 lits rem          0 time: 0.01
260.44/65.23	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.03
260.44/65.23	c calculated reachability. Time: 0.00
260.44/65.23	c  N st    57    537355       679      2951         0     44238      8968    795184   no data   no data
379.09/94.91	c  N st    58    701339       679      2951         0     38555      8968    508141   no data   no data
461.00/115.45	c  N st    59    806034       679      2951         0     67781      8968   1434493   no data   no data
461.00/115.45	c  S st    59    806034       679      2951         0     67781      8968   1434493   no data   no data
461.78/115.65	c  S st    59    806534       679      2951         0     68281      8968   1448089   no data   no data
461.78/115.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
461.78/115.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
461.78/115.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
461.78/115.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
461.78/115.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
461.78/115.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
461.78/115.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
462.18/115.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
462.18/115.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.56/119.30	c lits-rem:      2386  cl-subs:     2324  v-elim:      0  v-fix:    0  time:  3.55 s
476.56/119.30	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
476.56/119.32	c vivif2 --  cl tried    65957 cl shrink        0 lits rem          0 time: 0.02
476.56/119.38	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.06
476.56/119.38	c calculated reachability. Time: 0.00
476.56/119.38	c  N st    59    806534       679      2951         0     65957      8968   1361645   no data   no data
705.06/176.55	c  F st    60   1071879       679      2951         0     81893      8968   1695525   no data   no data
705.06/176.55	c  N st    60   1071879       679      2951         0     81893      8968   1695525   no data   no data
710.65/177.90	c Decided on static restart strategy
728.62/182.46	c  N st    70   1100185       679      2951         0     65534      8968   1118080   no data   no data
763.78/191.28	c  N st    72   1136178       679      2951         0     55705      8968    818218   no data   no data
796.93/199.53	c  N st    73   1168570       679      2951         0     87587      8968   1805876   no data   no data
842.07/210.86	c  N st    74   1209803       679      2951         0     81823      8968   1628738   no data   no data
842.07/210.86	c  S st    74   1209803       679      2951         0     81823      8968   1628738   no data   no data
843.29/211.13	c  S st    74   1210306       679      2951         0     82326      8968   1643589   no data   no data
843.29/211.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
843.29/211.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
843.29/211.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
843.29/211.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
843.29/211.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
843.29/211.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
843.29/211.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
843.69/211.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
843.69/211.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
864.04/216.33	c lits-rem:       439  cl-subs:     2836  v-elim:      0  v-fix:    0  time:  5.07 s
864.04/216.33	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
864.04/216.36	c vivif2 --  cl tried    79490 cl shrink        0 lits rem          0 time: 0.02
864.44/216.44	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.08
864.44/216.44	c calculated reachability. Time: 0.00
864.44/216.44	c  N st    74   1210306       679      2951         0     79490      8968   1548986   no data   no data
939.15/235.14	c  N st    75   1283188       679      2951         0     55772      8968    757685   no data   no data
1047.39/262.29	c  N st    76   1392512       679      2951         0     63926      8968    983787   no data   no data
1223.55/306.36	c  N st    77   1556497       679      2951         0     68568      8968   1055626   no data   no data
1386.55/347.11	c  N st    78   1710306       679      2951         0    110523      8968   2357857   no data   no data
1386.55/347.11	c  S st    78   1710306       679      2951         0    110523      8968   2357857   no data   no data
1387.75/347.47	c  S st    78   1710809       679      2951         0    111025      8968   2371926   no data   no data
1387.75/347.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1388.16/347.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1388.16/347.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1388.16/347.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1388.16/347.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1388.16/347.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
1388.16/347.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1388.16/347.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1388.57/347.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1468.83/367.71	c lits-rem:       905  cl-subs:     7516  v-elim:      0  v-fix:    0  time: 20.06 s
1468.83/367.71	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
1468.83/367.74	c vivif2 --  cl tried   103509 cl shrink        0 lits rem          0 time: 0.03
1469.23/367.86	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.12
1469.23/367.86	c calculated reachability. Time: 0.00
1469.23/367.86	c  N st    78   1710809       679      2951         0    103509      8968   2125759   no data   no data
1909.84/478.10	c  N st    79   2079774       679      2951         0    115584      8968   2311642   no data   no data
2086.82/522.42	c  N st    80   2210810       679      2951         0    119348      8968   2366782   no data   no data
2086.82/522.42	c  S st    80   2210810       679      2951         0    119348      8968   2366782   no data   no data
2087.99/522.76	c  S st    80   2211315       679      2951         0    119853      8968   2381435   no data   no data
2087.99/522.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2088.39/522.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2088.39/522.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2088.39/522.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2088.39/522.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2088.39/522.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
2088.39/522.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2088.39/522.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2088.79/522.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2145.12/537.07	c lits-rem:      1033  cl-subs:     6068  v-elim:      0  v-fix:    0  time: 14.13 s
2145.12/537.07	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
2145.52/537.10	c vivif2 --  cl tried   113785 cl shrink        0 lits rem          0 time: 0.03
2145.92/537.23	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.13
2145.92/537.23	c calculated reachability. Time: 0.00
2145.92/537.23	c  N st    80   2211315       679      2951         0    113785      8968   2206817   no data   no data
2797.03/700.26	c  N st    81   2711315       679      2951         0    138328      8968   2930066   no data   no data
2797.03/700.26	c  S st    81   2711315       679      2951         0    138328      8968   2930066   no data   no data
2799.05/700.72	c  S st    81   2711815       679      2951         0    138828      8968   2943868   no data   no data
2799.05/700.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2799.42/700.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2799.42/700.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2799.42/700.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2799.42/700.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2799.42/700.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
2799.42/700.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2799.42/700.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2799.82/700.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2850.95/713.72	c lits-rem:      1200  cl-subs:     4011  v-elim:      0  v-fix:    0  time: 12.78 s
2850.95/713.72	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
2850.95/713.76	c vivif2 --  cl tried   134817 cl shrink        0 lits rem          0 time: 0.04
2851.78/713.92	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.16
2851.78/713.92	c calculated reachability. Time: 0.00
2851.78/713.92	c  N st    81   2711815       679      2951         0    134817      8968   2825854   no data   no data
3542.41/886.86	c  N st    82   3211816       679      2951         0    109363      8968   1869700   no data   no data
3542.41/886.86	c  S st    82   3211816       679      2951         0    109363      8968   1869700   no data   no data
3544.01/887.27	c  S st    82   3212321       679      2951         0    109868      8968   1884179   no data   no data
3544.01/887.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3544.41/887.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3544.41/887.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3544.41/887.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3544.41/887.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3544.41/887.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
3544.41/887.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3544.41/887.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3544.81/887.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3601.14/901.55	c lits-rem:       409  cl-subs:     5644  v-elim:      0  v-fix:    0  time: 14.10 s
3601.14/901.55	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
3601.14/901.58	c vivif2 --  cl tried   104224 cl shrink        0 lits rem          0 time: 0.03
3601.94/901.73	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.15
3601.94/901.73	c calculated reachability. Time: 0.00
3601.94/901.73	c  N st    82   3212321       679      2951         0    104224      8968   1715645   no data   no data
4413.24/1104.86	c  N st    83   3712321       679      2951         0    115334      8968   1938223   no data   no data
4413.24/1104.86	c  S st    83   3712321       679      2951         0    115334      8968   1938223   no data   no data
4414.84/1105.21	c  S st    83   3712825       679      2951         0    115838      8968   1952982   no data   no data
4414.84/1105.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4414.84/1105.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4414.84/1105.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4414.84/1105.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4414.84/1105.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4414.84/1105.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
4414.84/1105.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4415.24/1105.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4415.24/1105.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4446.41/1113.20	c lits-rem:       374  cl-subs:     3537  v-elim:      0  v-fix:    0  time:  7.81 s
4446.41/1113.20	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
4446.81/1113.23	c vivif2 --  cl tried   112301 cl shrink        0 lits rem          0 time: 0.04
4447.18/1113.39	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.16
4447.18/1113.40	c calculated reachability. Time: 0.00
4447.18/1113.40	c  N st    83   3712825       679      2951         0    112301      8968   1839822   no data   no data
4522.68/1132.21	c  F st    84   3751563       679      2951         0    150315      8968   3063922   no data   no data
4522.68/1132.21	c  N st    84   3751563       679      2951         0    150315      8968   3063922   no data   no data
4534.69/1135.22	c Decided on static restart strategy
4575.81/1145.53	c  N st    94   3779869       679      2951         0     94881      8968   1196962   no data   no data
4630.14/1159.14	c  N st    96   3815863       679      2951         0    130276      8968   2242512   no data   no data
4700.84/1176.88	c  N st    97   3848255       679      2951         0    162059      8968   3191338   no data   no data
4775.14/1195.44	c  N st    98   3896844       679      2951         0    125257      8968   2050257   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-3173925-1304073394/watcher-3173925-1304073394 -o /tmp/evaluation-result-3173925-1304073394/solver-3173925-1304073394 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173925-1304073394.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.41 7.92 7.88 6/180 17256
/proc/meminfo: memFree=17896812/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 518942059 52441088 348 33554432000 4194304 4627427 140736041562208 18446744073709551615 47439745882034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 12803 348 299 106 0 7774 0
[pid=17256/tid=17257] ppid=17254 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518942060 52441088 348 33554432000 4194304 4627427 140736041562208 18446744073709551615 47439745882034 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518942060 52441088 348 33554432000 4194304 4627427 140736041562208 18446744073709551615 47439745882032 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518942060 52441088 348 33554432000 4194304 4627427 140736041562208 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.048542 s]
/proc/loadavg: 7.41 7.92 7.88 6/180 17256
/proc/meminfo: memFree=17896812/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=282012 CPUtime=0.17 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 1662 0 0 0 17 0 0 0 18 0 4 0 518942059 288780288 1498 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 70503 1498 384 106 0 65474 0
[pid=17256/tid=17257] ppid=17254 vsize=282012 CPUtime=0.04 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 354 0 0 0 4 0 0 0 18 0 4 0 518942060 288780288 1498 33554432000 4194304 4627427 140736041562208 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=282012 CPUtime=0.04 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 343 0 0 0 4 0 0 0 18 0 4 0 518942060 288780288 1498 33554432000 4194304 4627427 140736041562208 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=282012 CPUtime=0.04 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 224 0 0 0 4 0 0 0 25 0 4 0 518942060 288780288 1498 33554432000 4194304 4627427 140736041562208 18446744073709551615 4328950 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 282012

[startup+0.100532 s]
/proc/loadavg: 7.41 7.92 7.88 6/180 17256
/proc/meminfo: memFree=17896812/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=282172 CPUtime=0.38 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 1938 0 0 0 38 0 0 0 18 0 4 0 518942059 288944128 1774 33554432000 4194304 4627427 140736041562208 18446744073709551615 4321736 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 70543 1774 384 106 0 65514 0
[pid=17256/tid=17257] ppid=17254 vsize=282172 CPUtime=0.09 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 425 0 0 0 9 0 0 0 18 0 4 0 518942060 288944128 1774 33554432000 4194304 4627427 140736041562208 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=282172 CPUtime=0.09 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 396 0 0 0 9 0 0 0 18 0 4 0 518942060 288944128 1775 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=282172 CPUtime=0.09 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 297 0 0 0 9 0 0 0 25 0 4 0 518942060 288944128 1775 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282172

[startup+0.300498 s]
/proc/loadavg: 7.41 7.92 7.88 6/180 17256
/proc/meminfo: memFree=17896812/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=283868 CPUtime=1.17 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 3093 0 0 0 117 0 0 0 18 0 4 0 518942059 290680832 2224 33554432000 4194304 4627427 140736041562208 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 70967 2224 385 106 0 65938 0
[pid=17256/tid=17257] ppid=17254 vsize=283868 CPUtime=0.29 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 716 0 0 0 29 0 0 0 18 0 4 0 518942060 290680832 2224 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=283868 CPUtime=0.29 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 678 0 0 0 29 0 0 0 18 0 4 0 518942060 290680832 2224 33554432000 4194304 4627427 140736041562208 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=283868 CPUtime=0.29 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 595 0 0 0 29 0 0 0 25 0 4 0 518942060 290680832 2224 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283868

[startup+0.700427 s]
/proc/loadavg: 7.41 7.92 7.88 6/180 17256
/proc/meminfo: memFree=17896812/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=284748 CPUtime=2.77 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 4798 0 0 0 277 0 0 0 18 0 4 0 518942059 291581952 2867 33554432000 4194304 4627427 140736041562208 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 71187 2867 385 106 0 66158 0
[pid=17256/tid=17257] ppid=17254 vsize=284748 CPUtime=0.69 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 1145 0 0 0 69 0 0 0 18 0 4 0 518942060 291581952 2867 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=284748 CPUtime=0.69 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 1098 0 0 0 69 0 0 0 18 0 4 0 518942060 291581952 2867 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=284748 CPUtime=0.69 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 1010 0 0 0 69 0 0 0 25 0 4 0 518942060 291581952 2867 33554432000 4194304 4627427 140736041562208 18446744073709551615 4299583 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284748

[startup+1.50029 s]
/proc/loadavg: 7.41 7.92 7.88 9/184 17260
/proc/meminfo: memFree=17873220/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=286324 CPUtime=5.97 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 9909 0 0 0 596 1 0 0 20 0 4 0 518942059 293195776 5021 33554432000 4194304 4627427 140736041562208 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 71581 5021 389 106 0 66552 0
[pid=17256/tid=17257] ppid=17254 vsize=286324 CPUtime=1.49 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 2061 0 0 0 149 0 0 0 19 0 4 0 518942060 293195776 5021 33554432000 4194304 4627427 140736041562208 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=286324 CPUtime=1.48 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 1986 0 0 0 148 0 0 0 20 0 4 0 518942060 293195776 5022 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=286324 CPUtime=1.48 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 1885 0 0 0 148 0 0 0 25 0 4 0 518942060 293195776 5022 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286324

[startup+3.10101 s]
/proc/loadavg: 7.41 7.92 7.88 9/184 17260
/proc/meminfo: memFree=17845632/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=285856 CPUtime=12.36 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 20101 0 0 0 1233 3 0 0 25 0 4 0 518942059 292716544 11368 33554432000 4194304 4627427 140736041562208 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 71464 11368 389 106 0 66435 0
[pid=17256/tid=17257] ppid=17254 vsize=285856 CPUtime=3.09 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 4550 0 0 0 308 1 0 0 25 0 4 0 518942060 292716544 11368 33554432000 4194304 4627427 140736041562208 18446744073709551615 4327399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=285856 CPUtime=3.09 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 5261 0 0 0 308 1 0 0 25 0 4 0 518942060 292716544 11368 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=285856 CPUtime=3.07 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 4984 0 0 0 307 0 0 0 25 0 4 0 518942060 292716544 11368 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 285856

[startup+6.30045 s]
/proc/loadavg: 7.54 7.94 7.89 9/184 17260
/proc/meminfo: memFree=17803224/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=286788 CPUtime=25.14 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 31134 0 0 0 2509 5 0 0 25 0 4 0 518942059 293670912 15551 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 71697 15551 389 106 0 66668 0
[pid=17256/tid=17257] ppid=17254 vsize=286788 CPUtime=6.28 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 8711 0 0 0 627 1 0 0 25 0 4 0 518942060 293670912 15551 33554432000 4194304 4627427 140736041562208 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=286788 CPUtime=6.29 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 7516 0 0 0 628 1 0 0 25 0 4 0 518942060 293670912 15551 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=286788 CPUtime=6.26 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 7063 0 0 0 625 1 0 0 25 0 4 0 518942060 293670912 15551 33554432000 4194304 4627427 140736041562208 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 286788

[startup+12.7003 s]
/proc/loadavg: 7.57 7.94 7.89 9/184 17260
/proc/meminfo: memFree=17764756/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=296604 CPUtime=50.71 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 50170 0 0 0 5061 10 0 0 25 0 4 0 518942059 303722496 24525 33554432000 4194304 4627427 140736041562208 18446744073709551615 4427670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 74151 24525 389 106 0 69122 0
[pid=17256/tid=17257] ppid=17254 vsize=296604 CPUtime=12.68 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 12665 0 0 0 1266 2 0 0 25 0 4 0 518942060 303722496 24525 33554432000 4194304 4627427 140736041562208 18446744073709551615 4321703 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=296604 CPUtime=12.69 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 9998 0 0 0 1267 2 0 0 25 0 4 0 518942060 303722496 24525 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=296604 CPUtime=12.63 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 12495 0 0 0 1261 2 0 0 25 0 4 0 518942060 303722496 24525 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 296604

[startup+25.5011 s]
/proc/loadavg: 7.75 7.96 7.90 9/184 17261
/proc/meminfo: memFree=17710328/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=287624 CPUtime=101.85 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 75207 0 0 0 10169 16 0 0 25 0 4 0 518942059 294526976 30668 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 71906 30668 389 106 0 66877 0
[pid=17256/tid=17257] ppid=17254 vsize=287624 CPUtime=25.48 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 20151 0 0 0 2544 4 0 0 25 0 4 0 518942060 294526976 30668 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=287624 CPUtime=25.48 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 14535 0 0 0 2546 2 0 0 25 0 4 0 518942060 294526976 30669 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=287624 CPUtime=25.36 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 17686 0 0 0 2533 3 0 0 25 0 4 0 518942060 294526976 30669 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 287624

[startup+51.1006 s]
/proc/loadavg: 7.83 7.96 7.90 9/184 17261
/proc/meminfo: memFree=17682080/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=302384 CPUtime=204.12 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 110080 0 0 0 20388 24 0 0 25 0 4 0 518942059 309641216 34298 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309327 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 75596 34298 389 106 0 70567 0
[pid=17256/tid=17257] ppid=17254 vsize=302384 CPUtime=51.08 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 29048 0 0 0 5102 6 0 0 25 0 4 0 518942060 309641216 34298 33554432000 4194304 4627427 140736041562208 18446744073709551615 4329787 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=302384 CPUtime=51.09 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 20179 0 0 0 5105 4 0 0 25 0 4 0 518942060 309641216 34299 33554432000 4194304 4627427 140736041562208 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=302384 CPUtime=50.83 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 27425 0 0 0 5078 5 0 0 25 0 4 0 518942060 309641216 34299 33554432000 4194304 4627427 140736041562208 18446744073709551615 4333258 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 302384

[startup+102.307 s]
/proc/loadavg: 8.02 8.00 7.91 9/184 17263
/proc/meminfo: memFree=17615096/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=318456 CPUtime=408.67 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 169727 0 0 0 40827 40 0 0 25 0 4 0 518942059 326098944 44946 33554432000 4194304 4627427 140736041562208 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 79614 44946 389 106 0 74585 0
[pid=17256/tid=17257] ppid=17254 vsize=318456 CPUtime=102.28 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 46801 0 0 0 10218 10 0 0 25 0 4 0 518942060 326098944 44946 33554432000 4194304 4627427 140736041562208 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=318456 CPUtime=102.29 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 28869 0 0 0 10222 7 0 0 25 0 4 0 518942060 326098944 44946 33554432000 4194304 4627427 140736041562208 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=318456 CPUtime=101.77 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 44198 0 0 0 10168 9 0 0 25 0 4 0 518942060 326098944 44946 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 318456

[startup+162.301 s]

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

[pid=17256] ppid=17254 vsize=670928 CPUtime=2805.42 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 494514 0 0 0 280379 163 0 0 25 0 4 0 518942059 687030272 105007 33554432000 4194304 4627427 140736041562208 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 167732 105007 389 106 0 162703 0
[pid=17256/tid=17257] ppid=17254 vsize=670928 CPUtime=702.23 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 107438 0 0 0 70186 37 0 0 25 0 4 0 518942060 687030272 105007 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=670928 CPUtime=702.31 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 83927 0 0 0 70201 30 0 0 25 0 4 0 518942060 687030272 105007 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=670928 CPUtime=698.55 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 138356 0 0 0 69809 46 0 0 25 0 4 0 518942060 687030272 105007 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 670928

[startup+762.306 s]
/proc/loadavg: 8.04 8.07 7.98 9/184 17310
/proc/meminfo: memFree=17279488/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=620572 CPUtime=3045.11 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 514103 0 0 0 304337 174 0 0 25 0 4 0 518942059 635465728 103933 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 155143 103933 389 106 0 150114 0
[pid=17256/tid=17257] ppid=17254 vsize=620572 CPUtime=762.23 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 110593 0 0 0 76183 40 0 0 25 0 4 0 518942060 635465728 103933 33554432000 4194304 4627427 140736041562208 18446744073709551615 4427670 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=620572 CPUtime=762.31 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 86634 0 0 0 76200 31 0 0 25 0 4 0 518942060 635465728 103933 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=620572 CPUtime=758.23 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 145265 0 0 0 75773 50 0 0 25 0 4 0 518942060 635465728 103933 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 620572

[startup+822.301 s]
/proc/loadavg: 8.01 8.05 7.98 9/184 17312
/proc/meminfo: memFree=17284424/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=685312 CPUtime=3284.76 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 539338 0 0 0 328290 186 0 0 25 0 4 0 518942059 701759488 99572 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 171328 99572 389 106 0 166299 0
[pid=17256/tid=17257] ppid=17254 vsize=685312 CPUtime=822.22 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 115196 0 0 0 82179 43 0 0 25 0 4 0 518942060 701759488 99572 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=685312 CPUtime=822.31 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 91375 0 0 0 82198 33 0 0 25 0 4 0 518942060 701759488 99572 33554432000 4194304 4627427 140736041562208 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=685312 CPUtime=817.9 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 152608 0 0 0 81737 53 0 0 25 0 4 0 518942060 701759488 99572 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 685312

[startup+882.3 s]
/proc/loadavg: 8.07 8.06 7.98 9/184 17314
/proc/meminfo: memFree=17259984/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=681188 CPUtime=3524.44 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 562248 0 0 0 352246 198 0 0 25 0 4 0 518942059 697536512 106785 33554432000 4194304 4627427 140736041562208 18446744073709551615 4310126 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 170297 106785 389 106 0 165268 0
[pid=17256/tid=17257] ppid=17254 vsize=681188 CPUtime=882.21 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 118447 0 0 0 88177 44 0 0 25 0 4 0 518942060 697536512 106785 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=681188 CPUtime=882.31 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 95735 0 0 0 88196 35 0 0 25 0 4 0 518942060 697536512 106785 33554432000 4194304 4627427 140736041562208 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=681188 CPUtime=877.57 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 159738 0 0 0 87700 57 0 0 25 0 4 0 518942060 697536512 106785 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 681188

[startup+942.301 s]
/proc/loadavg: 8.09 8.06 7.99 9/184 17315
/proc/meminfo: memFree=17253144/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=652828 CPUtime=3764.12 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 581576 0 0 0 376204 208 0 0 25 0 4 0 518942059 668495872 105128 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 163207 105128 389 106 0 158178 0
[pid=17256/tid=17257] ppid=17254 vsize=652828 CPUtime=942.21 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 121797 0 0 0 94175 46 0 0 25 0 4 0 518942060 668495872 105128 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=652828 CPUtime=942.3 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 97814 0 0 0 94194 36 0 0 25 0 4 0 518942060 668495872 105128 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=652828 CPUtime=937.25 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 167234 0 0 0 93665 60 0 0 25 0 4 0 518942060 668495872 105128 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 652828

[startup+1002.3 s]
/proc/loadavg: 8.09 8.06 7.99 9/184 17317
/proc/meminfo: memFree=17210092/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=700840 CPUtime=4003.78 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 606780 0 0 0 400160 218 0 0 25 0 4 0 518942059 717660160 113776 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 175210 113776 389 106 0 170181 0
[pid=17256/tid=17257] ppid=17254 vsize=700840 CPUtime=1002.2 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 127675 0 0 0 100172 48 0 0 25 0 4 0 518942060 717660160 113776 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=700840 CPUtime=1002.31 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 103002 0 0 0 100192 39 0 0 25 0 4 0 518942060 717660160 113776 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=700840 CPUtime=996.93 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 173924 0 0 0 99630 63 0 0 25 0 4 0 518942060 717660160 113776 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 700840

[startup+1062.3 s]
/proc/loadavg: 8.08 8.06 8.00 9/184 17318
/proc/meminfo: memFree=17194960/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=653268 CPUtime=4243.47 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 631653 0 0 0 424116 231 0 0 25 0 4 0 518942059 668946432 115501 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 163317 115501 389 106 0 158288 0
[pid=17256/tid=17257] ppid=17254 vsize=653268 CPUtime=1062.2 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 133402 0 0 0 106169 51 0 0 25 0 4 0 518942060 668946432 115501 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=653268 CPUtime=1062.31 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 107625 0 0 0 106191 40 0 0 25 0 4 0 518942060 668946432 115501 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=653268 CPUtime=1056.61 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 181019 0 0 0 105595 66 0 0 25 0 4 0 518942060 668946432 115501 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 653268

[startup+1122.3 s]
/proc/loadavg: 8.08 8.06 8.00 9/184 17320
/proc/meminfo: memFree=17110004/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=786944 CPUtime=4483.14 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 658311 0 0 0 448071 243 0 0 25 0 4 0 518942059 805830656 132291 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 196736 132291 389 106 0 191707 0
[pid=17256/tid=17257] ppid=17254 vsize=786944 CPUtime=1122.2 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 137712 0 0 0 112167 53 0 0 25 0 4 0 518942060 805830656 132291 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=786944 CPUtime=1122.31 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 112705 0 0 0 112188 43 0 0 25 0 4 0 518942060 805830656 132291 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=786944 CPUtime=1116.29 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 190375 0 0 0 111559 70 0 0 25 0 4 0 518942060 805830656 132291 33554432000 4194304 4627427 140736041562208 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 786944

[startup+1182.3 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 17322
/proc/meminfo: memFree=17110360/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=726884 CPUtime=4722.82 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 676261 0 0 0 472030 252 0 0 25 0 4 0 518942059 744329216 130847 33554432000 4194304 4627427 140736041562208 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 181721 130847 389 106 0 176692 0
[pid=17256/tid=17257] ppid=17254 vsize=726884 CPUtime=1182.19 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 140123 0 0 0 118164 55 0 0 25 0 4 0 518942060 744329216 130847 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=726884 CPUtime=1182.31 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 117330 0 0 0 118186 45 0 0 25 0 4 0 518942060 744329216 130848 33554432000 4194304 4627427 140736041562208 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=726884 CPUtime=1175.96 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 194825 0 0 0 117524 72 0 0 25 0 4 0 518942060 744329216 130848 33554432000 4194304 4627427 140736041562208 18446744073709551615 4310102 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 726884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 8.09 8.01 9/184 17322
/proc/meminfo: memFree=17133420/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=670676 CPUtime=4800.32 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 681836 0 0 0 479777 255 0 0 25 0 4 0 518942059 686772224 126273 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 167669 126273 389 106 0 162640 0
[pid=17256/tid=17257] ppid=17254 vsize=670676 CPUtime=1201.6 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 141253 0 0 0 120105 55 0 0 25 0 4 0 518942060 686772224 126273 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=670676 CPUtime=1201.72 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 118278 0 0 0 120126 46 0 0 25 0 4 0 518942060 686772224 126273 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=670676 CPUtime=1195.25 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 196577 0 0 0 119452 73 0 0 25 0 4 0 518942060 686772224 126273 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 670676

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.17 8.09 8.01 9/184 17322
/proc/meminfo: memFree=17133420/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=670676 CPUtime=4800.32 cores=0,2,4,6
/proc/17256/stat : 17256 (strangenight2-m) R 17254 17256 17121 0 -1 4202496 681836 0 0 0 479777 255 0 0 25 0 4 0 518942059 686772224 126273 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17256/statm: 167669 126273 389 106 0 162640 0
[pid=17256/tid=17257] ppid=17254 vsize=670676 CPUtime=1201.6 cores=0,2,4,6
/proc/17256/task/17257/stat : 17257 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 141253 0 0 0 120105 55 0 0 25 0 4 0 518942060 686772224 126273 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17256/tid=17258] ppid=17254 vsize=670676 CPUtime=1201.72 cores=0,2,4,6
/proc/17256/task/17258/stat : 17258 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 118278 0 0 0 120126 46 0 0 25 0 4 0 518942060 686772224 126273 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=670676 CPUtime=1195.25 cores=0,2,4,6
/proc/17256/task/17259/stat : 17259 (strangenight2-m) R 17254 17256 17121 0 -1 4202560 196577 0 0 0 119452 73 0 0 25 0 4 0 518942060 686772224 126273 33554432000 4194304 4627427 140736041562208 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 670676

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.38
CPU user time (s): 4797.8
CPU system time (s): 2.58161
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 825440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.8
system time used= 2.58161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 681837
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= 306
involuntary context switches= 20720

runsolver used 1.9487 second user time and 4.52231 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 12:36:34
IDJOB=3173925
IDBENCH=82743
IDSOLVER=1586
FILE ID=node103/3173925-1304073394
RUNJOBID= node103-1304072190-17139
PBS_JOBID= 13170491
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 90af97b0aabddb9e07bb7ada8a5dcbc1
RANDOM SEED=488130792

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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:      17897092 kB
Buffers:       2147608 kB
Cached:       12255164 kB
SwapCached:          0 kB
Active:        5586072 kB
Inactive:      8886056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17897092 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11304 kB
Writeback:           0 kB
AnonPages:       67920 kB
Mapped:          14868 kB
Slab:           519508 kB
PageTables:       4932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   273740 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= 71508 MiB
End job on node103 at 2011-04-29 12:56:38