Trace number 3366389

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.24 1203.05

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf
MD5SUM0036a3d124136652b3b413bfd876692d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366389-1305403108.cnf'
0.00/0.01	c -- header says num vars:            700
0.00/0.01	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.00/0.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.45	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.00 s
0.00/0.45	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.45	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.45	c calculated reachability. Time: 0.00
0.00/0.45	c Calc default polars -  time:   0.00 s pos:     299 undec:      71 neg:     330
0.00/0.45	c =========================================================================================
0.00/0.45	c types(t): F = full restart, N = normal restart
0.00/0.45	c types(t): S = simplification begin/end, E = solution found
0.00/0.45	c restart types(rt): st = static, dy = dynamic
0.00/0.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.81	c  B st     0         0       692      2973         0         0      8961         0   no data   no data
0.00/0.81	c Decided on static restart strategy
0.00/0.81	c  N st     8      4915       692      2973         0      4850      8961    145315   no data   no data
0.00/0.81	c  N st    10     11299       692      2973         0      4523      8961     93410   no data   no data
0.00/0.81	c  N st    11     17042       692      2973         0     10207      8961    273722   no data   no data
4.77/1.21	c  F st    12     25001       692      2973         0     12482      8961    327309   no data   no data
4.77/1.21	c  N st    12     25001       692      2973         0     12482      8961    327309   no data   no data
5.97/1.50	c Decided on static restart strategy
5.97/1.50	c  N st    18     30003       692      2973         0     10761      8961    251363   no data   no data
5.97/1.50	c  S st    18     30003       692      2973         0     10761      8961    251363   no data   no data
5.97/1.50	c  S st    18     30505       692      2973         0     11263      8961    265128   no data   no data
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.50	c blocked clauses removed:       26 vars:      3 tried:         692 T: 0.00 s
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    689 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.51	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.97/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.56	c lits-rem:       136  cl-subs:      279  v-elim:      0  v-fix:    0  time:  0.04 s
5.97/1.57	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.01
5.97/1.57	c calculated reachability. Time: 0.00
5.97/1.57	c  N st    18     30505       688      2946         0     10735      8887    246498   no data   no data
7.96/2.02	c  N st    20     37615       688      2946         0     10098      8887    204537   no data   no data
9.56/2.48	c  N st    21     44014       688      2946         0     16400      8887    400041   no data   no data
10.36/2.61	c  S st    22     45758       688      2946         0      9367      8887    160613   no data   no data
10.36/2.63	c  S st    22     46261       688      2946         0      9870      8887    174755   no data   no data
10.36/2.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.36/2.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.36/2.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
10.36/2.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.36/2.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.36/2.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.66	c lits-rem:         9  cl-subs:       50  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.66	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
10.36/2.66	c vivif2 --  cl tried     9820 cl shrink        0 lits rem          0 time: 0.00
10.36/2.66	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.01
10.36/2.66	c calculated reachability. Time: 0.00
10.36/2.66	c  N st    22     46261       688      2946         0      9820      8887    173163   no data   no data
14.75/3.70	c  N st    23     60660       688      2946         0     14239      8887    292054   no data   no data
17.14/4.38	c  N st    24     69391       688      2946         0     12028      8887    207276   no data   no data
17.14/4.38	c  S st    24     69391       688      2946         0     12028      8887    207276   no data   no data
17.54/4.41	c  S st    24     69893       688      2946         0     12530      8887    220876   no data   no data
17.54/4.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.54/4.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.54/4.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.54/4.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.54/4.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.54/4.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
17.54/4.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.54/4.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.54/4.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.54/4.45	c lits-rem:        44  cl-subs:      123  v-elim:      0  v-fix:    0  time:  0.02 s
17.54/4.45	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
17.54/4.45	c vivif2 --  cl tried    12407 cl shrink        0 lits rem          0 time: 0.00
17.54/4.46	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.01
17.54/4.46	c calculated reachability. Time: 0.00
17.54/4.46	c  N st    24     69893       688      2946         0     12407      8887    217195   no data   no data
23.12/5.86	c  F st    25     87500       688      2946         0     17954      8887    385696   no data   no data
23.12/5.86	c  N st    25     87500       688      2946         0     17954      8887    385696   no data   no data
24.74/6.29	c Decided on static restart strategy
25.92/6.57	c  N st    32     95538       688      2946         0     13090      8887    210401   no data   no data
29.13/7.31	c  N st    34    104839       688      2946         0     22296      8887    505146   no data   no data
29.13/7.31	c  S st    34    104839       688      2946         0     22296      8887    505146   no data   no data
29.13/7.37	c  S st    34    105343       688      2946         0     22799      8887    518918   no data   no data
29.13/7.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.13/7.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.13/7.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.13/7.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.13/7.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.13/7.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
29.13/7.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.13/7.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.13/7.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.90/7.52	c lits-rem:        85  cl-subs:      350  v-elim:      0  v-fix:    0  time:  0.13 s
29.90/7.52	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
29.90/7.53	c vivif2 --  cl tried    22449 cl shrink        0 lits rem          0 time: 0.01
29.90/7.54	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.01
29.90/7.55	c calculated reachability. Time: 0.00
29.90/7.55	c  N st    34    105343       688      2946         0     22449      8887    504661   no data   no data
33.52/8.46	c  N st    35    114942       688      2946         0     18071      8887    341005   no data   no data
39.48/9.90	c  N st    36    129339       688      2946         0     17476      8887    300571   no data   no data
48.27/12.13	c  N st    37    150936       688      2946         0     22930      8887    447461   no data   no data
51.09/12.85	c  S st    38    158014       688      2946         0     29878      8887    665624   no data   no data
51.50/12.92	c  S st    38    158518       688      2946         0     30381      8887    680687   no data   no data
51.50/12.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.50/12.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
51.50/12.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
51.50/12.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.50/12.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.50/12.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
51.50/12.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
51.50/12.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
51.50/12.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.46/13.45	c lits-rem:       223  cl-subs:     1137  v-elim:      0  v-fix:    0  time:  0.49 s
53.46/13.45	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
53.46/13.46	c vivif2 --  cl tried    29244 cl shrink        0 lits rem          0 time: 0.01
53.46/13.48	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.02
53.46/13.48	c calculated reachability. Time: 0.00
53.46/13.48	c  N st    38    158518       688      2946         0     29244      8887    641319   no data   no data
75.41/18.99	c  N st    39    207106       688      2946         0     23863      8887    429407   no data   no data
89.78/22.55	c  N st    40    237777       688      2946         0     34448      8887    715577   no data   no data
89.78/22.55	c  S st    40    237777       688      2946         0     34448      8887    715577   no data   no data
90.18/22.63	c  S st    40    238281       688      2946         0     34952      8887    729733   no data   no data
90.18/22.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.18/22.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
90.18/22.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.18/22.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.18/22.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.18/22.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
90.18/22.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
90.18/22.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
90.18/22.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.97/23.34	c lits-rem:       142  cl-subs:     1476  v-elim:      0  v-fix:    0  time:  0.66 s
92.97/23.34	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
92.97/23.35	c vivif2 --  cl tried    33476 cl shrink        0 lits rem          0 time: 0.01
92.97/23.37	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.03
92.97/23.37	c calculated reachability. Time: 0.00
92.97/23.37	c  N st    40    238281       688      2946         0     33476      8887    685448   no data   no data
126.88/31.84	c  F st    41    306253       688      2946         0     35505      8887    717932   no data   no data
126.88/31.84	c  N st    41    306253       688      2946         0     35505      8887    717932   no data   no data
129.29/32.49	c Decided on static restart strategy
141.26/35.43	c  N st    51    334556       688      2946         0     39783      8887    814596   no data   no data
153.23/38.41	c  N st    53    357422       688      2946         0     37631      8887    703754   no data   no data
153.23/38.41	c  S st    53    357422       688      2946         0     37631      8887    703754   no data   no data
153.63/38.50	c  S st    53    357923       688      2946         0     38130      8887    717997   no data   no data
153.63/38.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
153.63/38.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
153.63/38.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
153.63/38.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
153.63/38.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.63/38.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
153.63/38.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
153.63/38.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
153.63/38.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.82/38.88	c lits-rem:       212  cl-subs:      819  v-elim:      0  v-fix:    0  time:  0.33 s
154.82/38.88	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
154.82/38.89	c vivif2 --  cl tried    37311 cl shrink        0 lits rem          0 time: 0.01
155.22/38.92	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.03
155.22/38.92	c calculated reachability. Time: 0.00
155.22/38.92	c  N st    53    357923       688      2946         0     37311      8887    692520   no data   no data
172.38/43.24	c  N st    54    390316       688      2946         0     43603      8887    889526   no data   no data
200.33/50.22	c  N st    55    438904       688      2946         0     37147      8887    637611   no data   no data
247.41/62.03	c  N st    56    511786       688      2946         0     50910      8887   1023337   no data   no data
261.80/65.62	c  N st    57    536885       688      2946         0     45162      8887    798868   no data   no data
261.80/65.62	c  S st    57    536885       688      2946         0     45162      8887    798868   no data   no data
262.21/65.73	c  S st    57    537388       688      2946         0     45665      8887    812095   no data   no data
262.21/65.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
262.21/65.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
262.21/65.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
262.21/65.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.21/65.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.21/65.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
262.21/65.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
262.21/65.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
262.21/65.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.97/66.42	c lits-rem:       225  cl-subs:     1252  v-elim:      0  v-fix:    0  time:  0.63 s
264.97/66.42	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
264.97/66.43	c vivif2 --  cl tried    44413 cl shrink        0 lits rem          0 time: 0.01
264.97/66.47	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.04
264.97/66.47	c calculated reachability. Time: 0.00
264.97/66.47	c  N st    57    537388       688      2946         0     44413      8887    775613   no data   no data
385.49/96.64	c  N st    58    701372       688      2946         0     38425      8887    504272   no data   no data
466.51/116.94	c  N st    59    806082       688      2946         0     67773      8887   1412252   no data   no data
466.51/116.94	c  S st    59    806082       688      2946         0     67773      8887   1412252   no data   no data
467.30/117.14	c  S st    59    806583       688      2946         0     68273      8887   1427137   no data   no data
467.30/117.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
467.30/117.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
467.30/117.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
467.30/117.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.30/117.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.30/117.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
467.30/117.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
467.70/117.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
467.70/117.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
483.27/121.14	c lits-rem:       679  cl-subs:     3163  v-elim:      0  v-fix:    0  time:  3.90 s
483.27/121.14	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
483.27/121.16	c vivif2 --  cl tried    65110 cl shrink        0 lits rem          0 time: 0.02
483.67/121.22	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.06
483.67/121.23	c calculated reachability. Time: 0.00
483.67/121.23	c  N st    59    806583       688      2946         0     65110      8887   1327348   no data   no data
726.70/182.15	c  F st    60   1071876       688      2946         0     81112      8887   1646649   no data   no data
726.70/182.15	c  N st    60   1071876       688      2946         0     81112      8887   1646649   no data   no data
733.08/183.71	c Decided on static restart strategy
751.44/188.34	c  N st    70   1100183       688      2946         0     64680      8887   1096584   no data   no data
783.77/196.43	c  N st    72   1136177       688      2946         0     54872      8887    810590   no data   no data
816.50/204.63	c  N st    73   1168569       688      2946         0     86784      8887   1805123   no data   no data
855.61/214.41	c  N st    74   1209876       688      2946         0     80984      8887   1590158   no data   no data
855.61/214.41	c  S st    74   1209876       688      2946         0     80984      8887   1590158   no data   no data
856.41/214.65	c  S st    74   1210384       688      2946         0     81492      8887   1604832   no data   no data
856.41/214.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
856.81/214.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
856.81/214.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
856.81/214.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
856.81/214.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
856.81/214.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
856.81/214.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
856.81/214.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
856.81/214.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
880.34/220.61	c lits-rem:       508  cl-subs:     3553  v-elim:      0  v-fix:    0  time:  5.81 s
880.34/220.61	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
880.34/220.63	c vivif2 --  cl tried    77939 cl shrink        0 lits rem          0 time: 0.02
880.34/220.70	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.07
880.34/220.70	c calculated reachability. Time: 0.00
880.34/220.70	c  N st    74   1210384       688      2946         0     77939      8887   1490104   no data   no data
951.78/238.59	c  N st    75   1283266       688      2946         0     54278      8887    712468   no data   no data
1056.77/264.84	c  N st    76   1392589       688      2946         0     62368      8887    913628   no data   no data
1229.94/308.29	c  N st    77   1556573       688      2946         0     67136      8887    991500   no data   no data
1398.37/350.44	c  N st    78   1710384       688      2946         0    108661      8887   2173039   no data   no data
1398.37/350.44	c  S st    78   1710384       688      2946         0    108661      8887   2173039   no data   no data
1399.95/350.84	c  S st    78   1710885       688      2946         0    109161      8887   2186935   no data   no data
1399.95/350.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1400.35/350.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1400.35/350.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1400.35/350.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1400.35/350.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1400.35/350.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
1400.35/350.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1400.35/350.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1400.75/351.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1464.93/367.13	c lits-rem:       863  cl-subs:     8231  v-elim:      0  v-fix:    0  time: 16.11 s
1464.93/367.13	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
1464.93/367.15	c vivif2 --  cl tried   100930 cl shrink        0 lits rem          0 time: 0.03
1465.29/367.26	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.11
1465.29/367.27	c calculated reachability. Time: 0.00
1465.29/367.27	c  N st    78   1710885       688      2946         0    100930      8887   1964394   no data   no data
1880.85/471.56	c  N st    79   2079849       688      2946         0    113821      8887   2408819   no data   no data
2036.47/510.58	c  N st    80   2210885       688      2946         0    117727      8887   2464262   no data   no data
2036.47/510.58	c  S st    80   2210885       688      2946         0    117727      8887   2464262   no data   no data
2038.07/510.93	c  S st    80   2211389       688      2946         0    118231      8887   2478406   no data   no data
2038.07/510.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2038.47/511.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2038.47/511.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2038.47/511.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2038.47/511.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2038.47/511.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
2038.47/511.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2038.47/511.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2038.88/511.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2090.35/524.04	c lits-rem:      1053  cl-subs:     4221  v-elim:      0  v-fix:    0  time: 12.94 s
2090.35/524.04	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
2090.35/524.08	c vivif2 --  cl tried   114010 cl shrink        0 lits rem          0 time: 0.03
2091.15/524.20	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.12
2091.15/524.20	c calculated reachability. Time: 0.00
2091.15/524.20	c  N st    80   2211389       688      2946         0    114010      8887   2333864   no data   no data
2760.81/692.01	c  N st    81   2711389       688      2946         0    136774      8887   2869026   no data   no data
2760.81/692.01	c  S st    81   2711389       688      2946         0    136774      8887   2869026   no data   no data
2762.41/692.47	c  S st    81   2711891       688      2946         0    137276      8887   2883361   no data   no data
2762.41/692.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2762.81/692.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2762.81/692.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2762.81/692.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2762.81/692.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2762.81/692.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
2762.81/692.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2762.81/692.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2763.22/692.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2873.38/720.28	c lits-rem:       925  cl-subs:     9216  v-elim:      0  v-fix:    0  time: 27.60 s
2873.38/720.28	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
2873.74/720.32	c vivif2 --  cl tried   128060 cl shrink        0 lits rem          0 time: 0.04
2874.14/720.46	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.14
2874.14/720.47	c calculated reachability. Time: 0.00
2874.14/720.47	c  N st    81   2711891       688      2946         0    128060      8887   2601553   no data   no data
3628.44/909.46	c  N st    82   3211893       688      2946         0    104030      8887   1680982   no data   no data
3628.44/909.46	c  S st    82   3211893       688      2946         0    104030      8887   1680982   no data   no data
3630.00/909.84	c  S st    82   3212394       688      2946         0    104530      8887   1695277   no data   no data
3630.00/909.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3630.40/909.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3630.40/909.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3630.40/909.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3630.40/909.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3630.40/909.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
3630.40/909.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3630.40/909.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3630.80/910.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3648.37/914.46	c lits-rem:       375  cl-subs:     2760  v-elim:      0  v-fix:    0  time:  4.46 s
3648.37/914.46	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
3648.37/914.49	c vivif2 --  cl tried   101770 cl shrink        0 lits rem          0 time: 0.02
3648.77/914.59	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.10
3648.77/914.59	c calculated reachability. Time: 0.00
3648.77/914.59	c  N st    82   3212394       688      2946         0    101770      8887   1608053   no data   no data
4464.09/1118.86	c  N st    83   3712395       688      2946         0    112564      8887   1780534   no data   no data
4464.09/1118.86	c  S st    83   3712395       688      2946         0    112564      8887   1780534   no data   no data
4465.69/1119.22	c  S st    83   3712896       688      2946         0    113065      8887   1795301   no data   no data
4465.69/1119.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4465.69/1119.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4465.69/1119.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4465.69/1119.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4465.69/1119.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4465.69/1119.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
4465.69/1119.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4466.09/1119.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4466.09/1119.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4497.65/1127.24	c lits-rem:       430  cl-subs:     3907  v-elim:      0  v-fix:    0  time:  7.86 s
4497.65/1127.24	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
4497.65/1127.27	c vivif2 --  cl tried   109158 cl shrink        0 lits rem          0 time: 0.03
4498.41/1127.42	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.15
4498.41/1127.42	c calculated reachability. Time: 0.00
4498.41/1127.42	c  N st    83   3712896       688      2946         0    109158      8887   1675211   no data   no data
4576.25/1147.00	c  F st    84   3751564       688      2946         0    147101      8887   2855187   no data   no data
4576.25/1147.00	c  N st    84   3751564       688      2946         0    147101      8887   2855187   no data   no data
4589.83/1150.33	c Decided on static restart strategy
4632.91/1161.18	c  N st    94   3779870       688      2946         0     91637      8887   1085597   no data   no data
4684.38/1174.03	c  N st    96   3815862       688      2946         0    127159      8887   2221815   no data   no data
4741.85/1188.46	c  N st    97   3848255       688      2946         0    159046      8887   3196337   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366389-1305403108/watcher-3366389-1305403108 -o /tmp/evaluation-result-3366389-1305403108/solver-3366389-1305403108 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366389-1305403108.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: 8.39 8.26 8.20 5/287 3271
/proc/meminfo: memFree=21286500/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 407 0 0 0 0 0 0 0 18 0 4 0 651908925 52396032 348 33554432000 4194304 4580107 140735829417312 18446744073709551615 47608877279154 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 12792 348 299 95 0 7774 0
[pid=3271/tid=3272] ppid=3269 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 651908926 52396032 348 33554432000 4194304 4580107 140735829417312 18446744073709551615 47608877279154 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 651908926 52396032 348 33554432000 4194304 4580107 140735829417312 18446744073709551615 47608877279158 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 651908926 52396032 348 33554432000 4194304 4580107 140735829417312 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.45961 s]
/proc/loadavg: 8.39 8.26 8.20 5/287 3271
/proc/meminfo: memFree=21286500/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=285820 CPUtime=3.41 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 5926 0 0 0 340 1 0 0 19 0 4 0 651908925 292679680 2635 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 71455 2635 377 95 0 66437 0
[pid=3271/tid=3272] ppid=3269 vsize=285820 CPUtime=0.85 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1355 0 0 0 85 0 0 0 19 0 4 0 651908926 292679680 2635 33554432000 4194304 4580107 140735829417312 18446744073709551615 4318686 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=285820 CPUtime=0.85 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1412 0 0 0 85 0 0 0 18 0 4 0 651908926 292679680 2635 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=285820 CPUtime=0.84 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1338 0 0 0 84 0 0 0 19 0 4 0 651908926 292679680 2635 33554432000 4194304 4580107 140735829417312 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 285820

[startup+0.961047 s]
/proc/loadavg: 8.39 8.26 8.20 5/287 3271
/proc/meminfo: memFree=21286500/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=285820 CPUtime=3.81 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 6198 0 0 0 380 1 0 0 19 0 4 0 651908925 292679680 2907 33554432000 4194304 4580107 140735829417312 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 71455 2907 377 95 0 66437 0
[pid=3271/tid=3272] ppid=3269 vsize=285820 CPUtime=0.95 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1424 0 0 0 95 0 0 0 19 0 4 0 651908926 292679680 2907 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=285820 CPUtime=0.95 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1481 0 0 0 95 0 0 0 19 0 4 0 651908926 292679680 2907 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=285820 CPUtime=0.94 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1403 0 0 0 94 0 0 0 19 0 4 0 651908926 292679680 2907 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 285820

[startup+1.06103 s]
/proc/loadavg: 8.39 8.26 8.20 5/287 3271
/proc/meminfo: memFree=21286500/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=285952 CPUtime=4.21 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 6460 0 0 0 420 1 0 0 19 0 4 0 651908925 292814848 3169 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 71488 3169 377 95 0 66470 0
[pid=3271/tid=3272] ppid=3269 vsize=285952 CPUtime=1.04 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1497 0 0 0 104 0 0 0 19 0 4 0 651908926 292814848 3169 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=285952 CPUtime=1.05 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1541 0 0 0 105 0 0 0 19 0 4 0 651908926 292814848 3169 33554432000 4194304 4580107 140735829417312 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=285952 CPUtime=1.04 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1470 0 0 0 104 0 0 0 19 0 4 0 651908926 292814848 3169 33554432000 4194304 4580107 140735829417312 18446744073709551615 4318735 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 285952

[startup+1.16101 s]
/proc/loadavg: 8.39 8.26 8.20 5/287 3271
/proc/meminfo: memFree=21286500/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=285952 CPUtime=4.61 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 6714 0 0 0 460 1 0 0 19 0 4 0 651908925 292814848 3423 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 71488 3423 377 95 0 66470 0
[pid=3271/tid=3272] ppid=3269 vsize=285952 CPUtime=1.14 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1560 0 0 0 114 0 0 0 19 0 4 0 651908926 292814848 3423 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=285952 CPUtime=1.15 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1606 0 0 0 115 0 0 0 19 0 4 0 651908926 292814848 3423 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=285952 CPUtime=1.14 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1529 0 0 0 114 0 0 0 19 0 4 0 651908926 292814848 3423 33554432000 4194304 4580107 140735829417312 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 285952

[startup+1.50095 s]
/proc/loadavg: 8.39 8.26 8.20 5/287 3271
/proc/meminfo: memFree=21286500/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=286500 CPUtime=5.97 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 8424 0 0 0 596 1 0 0 20 0 4 0 651908925 293376000 3497 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 71625 3497 378 95 0 66607 0
[pid=3271/tid=3272] ppid=3269 vsize=286500 CPUtime=1.48 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1988 0 0 0 148 0 0 0 19 0 4 0 651908926 293376000 3497 33554432000 4194304 4580107 140735829417312 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=286500 CPUtime=1.49 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 2010 0 0 0 149 0 0 0 19 0 4 0 651908926 293376000 3497 33554432000 4194304 4580107 140735829417312 18446744073709551615 4295739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=286500 CPUtime=1.48 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 1964 0 0 0 148 0 0 0 20 0 4 0 651908926 293376000 3498 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294955 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) 286500

[startup+3.10067 s]
/proc/loadavg: 8.52 8.29 8.21 10/291 3275
/proc/meminfo: memFree=21240712/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=293188 CPUtime=12.35 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 20342 0 0 0 1231 4 0 0 25 0 4 0 651908925 300224512 10824 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 73297 10824 379 95 0 68279 0
[pid=3271/tid=3272] ppid=3269 vsize=293188 CPUtime=3.08 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 4421 0 0 0 308 0 0 0 25 0 4 0 651908926 300224512 10824 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=293188 CPUtime=3.09 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 5525 0 0 0 308 1 0 0 25 0 4 0 651908926 300224512 10824 33554432000 4194304 4580107 140735829417312 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=293188 CPUtime=3.06 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 5123 0 0 0 306 0 0 0 25 0 4 0 651908926 300224512 10824 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 293188

[startup+6.3111 s]
/proc/loadavg: 8.48 8.29 8.21 9/291 3275
/proc/meminfo: memFree=21221652/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=295764 CPUtime=25.16 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 32708 0 0 0 2509 7 0 0 25 0 4 0 651908925 302862336 15884 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 73941 15885 379 95 0 68923 0
[pid=3271/tid=3272] ppid=3269 vsize=295764 CPUtime=6.29 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 8262 0 0 0 628 1 0 0 25 0 4 0 651908926 302862336 15885 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=295764 CPUtime=6.3 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 9456 0 0 0 628 2 0 0 25 0 4 0 651908926 302862336 15885 33554432000 4194304 4580107 140735829417312 18446744073709551615 4451838 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=295764 CPUtime=6.24 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 7316 0 0 0 623 1 0 0 25 0 4 0 651908926 302862336 15885 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 295764

[startup+12.701 s]
/proc/loadavg: 8.52 8.30 8.21 9/291 3275
/proc/meminfo: memFree=21187428/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=284224 CPUtime=50.67 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 48461 0 0 0 5057 10 0 0 25 0 4 0 651908925 291045376 22796 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 71056 22796 379 95 0 66038 0
[pid=3271/tid=3272] ppid=3269 vsize=284224 CPUtime=12.68 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 12288 0 0 0 1266 2 0 0 25 0 4 0 651908926 291045376 22796 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=284224 CPUtime=12.68 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 12737 0 0 0 1266 2 0 0 25 0 4 0 651908926 291045376 22796 33554432000 4194304 4580107 140735829417312 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=284224 CPUtime=12.58 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 11467 0 0 0 1257 1 0 0 25 0 4 0 651908926 291045376 22796 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 284224

[startup+25.5007 s]
/proc/loadavg: 8.52 8.31 8.21 9/291 3275
/proc/meminfo: memFree=21152216/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=299008 CPUtime=101.75 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 73423 0 0 0 10160 15 0 0 25 0 4 0 651908925 306184192 30344 33554432000 4194304 4580107 140735829417312 18446744073709551615 4318990 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 74752 30344 379 95 0 69734 0
[pid=3271/tid=3272] ppid=3269 vsize=299008 CPUtime=25.48 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 19063 0 0 0 2545 3 0 0 25 0 4 0 651908926 306184192 30344 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=299008 CPUtime=25.49 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 19585 0 0 0 2545 4 0 0 25 0 4 0 651908926 306184192 30344 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=299008 CPUtime=25.26 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 14991 0 0 0 2524 2 0 0 25 0 4 0 651908926 306184192 30344 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 299008

[startup+51.1011 s]
/proc/loadavg: 8.34 8.28 8.21 9/291 3276
/proc/meminfo: memFree=21117752/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=317784 CPUtime=203.91 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 108473 0 0 0 20366 25 0 0 25 0 4 0 651908925 325410816 38026 33554432000 4194304 4580107 140735829417312 18446744073709551615 4316709 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 79446 38026 379 95 0 74428 0
[pid=3271/tid=3272] ppid=3269 vsize=317784 CPUtime=51.08 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 28016 0 0 0 5102 6 0 0 25 0 4 0 651908926 325410816 38026 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=317784 CPUtime=51.09 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 28207 0 0 0 5102 7 0 0 25 0 4 0 651908926 325410816 38026 33554432000 4194304 4580107 140735829417312 18446744073709551615 4295942 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=317784 CPUtime=50.63 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 23154 0 0 0 5059 4 0 0 25 0 4 0 651908926 325410816 38026 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 317784

[startup+102.301 s]
/proc/loadavg: 8.24 8.26 8.20 9/291 3277
/proc/meminfo: memFree=21069504/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=341556 CPUtime=408.24 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 152241 0 0 0 40785 39 0 0 25 0 4 0 651908925 349753344 49758 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 85389 49758 379 95 0 80371 0
[pid=3271/tid=3272] ppid=3269 vsize=341556 CPUtime=102.28 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 39317 0 0 0 10220 8 0 0 25 0 4 0 651908926 349753344 49758 33554432000 4194304 4580107 140735829417312 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=341556 CPUtime=102.29 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 35094 0 0 0 10220 9 0 0 25 0 4 0 651908926 349753344 49758 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=341556 CPUtime=101.36 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 36896 0 0 0 10128 8 0 0 25 0 4 0 651908926 349753344 49758 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.24
Current children cumulated vsize (KiB) 341556

[startup+162.3 s]

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

[pid=3271] ppid=3269 vsize=597908 CPUtime=2562.46 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 401089 0 0 0 256108 138 0 0 25 0 4 0 651908925 612257792 107528 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 149477 107528 379 95 0 144459 0
[pid=3271/tid=3272] ppid=3269 vsize=597908 CPUtime=642.29 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 92596 0 0 0 64195 34 0 0 25 0 4 0 651908926 612257792 107528 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=597908 CPUtime=641.48 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 105789 0 0 0 64109 39 0 0 25 0 4 0 651908926 612257792 107528 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=597908 CPUtime=636.46 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 94688 0 0 0 63616 30 0 0 25 0 4 0 651908926 612257792 107528 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.46
Current children cumulated vsize (KiB) 597908

[startup+702.3 s]
/proc/loadavg: 8.17 8.26 8.21 9/291 3306
/proc/meminfo: memFree=20621556/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=661132 CPUtime=2801.92 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 423811 0 0 0 280042 150 0 0 25 0 4 0 651908925 676999168 116779 33554432000 4194304 4580107 140735829417312 18446744073709551615 4406385 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 165283 116779 379 95 0 160265 0
[pid=3271/tid=3272] ppid=3269 vsize=661132 CPUtime=702.29 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 99075 0 0 0 70192 37 0 0 25 0 4 0 651908926 676999168 116779 33554432000 4194304 4580107 140735829417312 18446744073709551615 4305283 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=661132 CPUtime=701.48 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 109457 0 0 0 70108 40 0 0 25 0 4 0 651908926 676999168 116779 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=661132 CPUtime=695.92 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 100468 0 0 0 69559 33 0 0 25 0 4 0 651908926 676999168 116779 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.92
Current children cumulated vsize (KiB) 661132

[startup+762.301 s]
/proc/loadavg: 8.28 8.27 8.22 10/291 3308
/proc/meminfo: memFree=20619176/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=662612 CPUtime=3041.36 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 437170 0 0 0 303978 158 0 0 25 0 4 0 651908925 678514688 115627 33554432000 4194304 4580107 140735829417312 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 165653 115627 379 95 0 160635 0
[pid=3271/tid=3272] ppid=3269 vsize=662612 CPUtime=762.29 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 101148 0 0 0 76190 39 0 0 25 0 4 0 651908926 678514688 115627 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=662612 CPUtime=761.48 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 115394 0 0 0 76105 43 0 0 25 0 4 0 651908926 678514688 115627 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=662612 CPUtime=755.37 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 105161 0 0 0 75501 36 0 0 25 0 4 0 651908926 678514688 115627 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.36
Current children cumulated vsize (KiB) 662612

[startup+822.301 s]
/proc/loadavg: 8.22 8.25 8.21 9/291 3309
/proc/meminfo: memFree=20584312/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=616068 CPUtime=3280.82 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 455252 0 0 0 327914 168 0 0 25 0 4 0 651908925 630853632 116486 33554432000 4194304 4580107 140735829417312 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 154017 116486 379 95 0 148999 0
[pid=3271/tid=3272] ppid=3269 vsize=616068 CPUtime=822.29 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 107926 0 0 0 82186 43 0 0 25 0 4 0 651908926 630853632 116486 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=616068 CPUtime=821.49 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 122549 0 0 0 82102 47 0 0 25 0 4 0 651908926 630853632 116486 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=616068 CPUtime=814.83 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 108712 0 0 0 81446 37 0 0 25 0 4 0 651908926 630853632 116486 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.82
Current children cumulated vsize (KiB) 616068

[startup+882.301 s]
/proc/loadavg: 6.18 7.72 8.03 5/282 3333
/proc/meminfo: memFree=21079232/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=616140 CPUtime=3520.26 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 479210 0 0 0 351847 179 0 0 25 0 4 0 651908925 630927360 121576 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 154035 121576 379 95 0 149017 0
[pid=3271/tid=3272] ppid=3269 vsize=616140 CPUtime=882.29 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 111937 0 0 0 88184 45 0 0 25 0 4 0 651908926 630927360 121576 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=616140 CPUtime=881.48 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 130087 0 0 0 88098 50 0 0 25 0 4 0 651908926 630927360 121576 33554432000 4194304 4580107 140735829417312 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=616140 CPUtime=874.28 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 114232 0 0 0 87388 40 0 0 25 0 4 0 651908926 630927360 121576 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.26
Current children cumulated vsize (KiB) 616140

[startup+942.301 s]
/proc/loadavg: 4.85 7.05 7.78 5/282 3335
/proc/meminfo: memFree=21056776/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=759748 CPUtime=3759.72 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 500765 0 0 0 375783 189 0 0 25 0 4 0 651908925 777981952 127225 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 189937 127225 379 95 0 184919 0
[pid=3271/tid=3272] ppid=3269 vsize=759748 CPUtime=942.3 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 120077 0 0 0 94183 47 0 0 25 0 4 0 651908926 777981952 127227 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=759748 CPUtime=941.5 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 135629 0 0 0 94097 53 0 0 25 0 4 0 651908926 777981952 127227 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=759748 CPUtime=933.75 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 116232 0 0 0 93333 42 0 0 25 0 4 0 651908926 777981952 127227 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.72
Current children cumulated vsize (KiB) 759748

[startup+1002.3 s]
/proc/loadavg: 4.45 6.54 7.56 5/282 3336
/proc/meminfo: memFree=21019428/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=759824 CPUtime=3999.16 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 520272 0 0 0 399718 198 0 0 25 0 4 0 651908925 778059776 136560 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 189956 136560 379 95 0 184938 0
[pid=3271/tid=3272] ppid=3269 vsize=759824 CPUtime=1002.3 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 121703 0 0 0 100182 48 0 0 25 0 4 0 651908926 778059776 136560 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=759824 CPUtime=1001.48 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 146379 0 0 0 100091 57 0 0 25 0 4 0 651908926 778059776 136560 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=759824 CPUtime=993.2 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 121040 0 0 0 99276 44 0 0 25 0 4 0 651908926 778059776 136560 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.16
Current children cumulated vsize (KiB) 759824

[startup+1062.31 s]
/proc/loadavg: 4.21 6.09 7.34 5/282 3338
/proc/meminfo: memFree=21027968/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=706352 CPUtime=4238.64 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 539680 0 0 0 423657 207 0 0 25 0 4 0 651908925 723304448 134343 33554432000 4194304 4580107 140735829417312 18446744073709551615 4321248 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 176588 134343 379 95 0 171570 0
[pid=3271/tid=3272] ppid=3269 vsize=706352 CPUtime=1062.3 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 127485 0 0 0 106180 50 0 0 25 0 4 0 651908926 723304448 134343 33554432000 4194304 4580107 140735829417312 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=706352 CPUtime=1061.5 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 153484 0 0 0 106089 61 0 0 25 0 4 0 651908926 723304448 134343 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=706352 CPUtime=1052.66 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 123946 0 0 0 105221 45 0 0 25 0 4 0 651908926 723304448 134343 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.64
Current children cumulated vsize (KiB) 706352

[startup+1122.3 s]
/proc/loadavg: 4.22 5.75 7.14 6/282 3339
/proc/meminfo: memFree=20991492/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=773744 CPUtime=4478.06 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 558309 0 0 0 447590 216 0 0 25 0 4 0 651908925 792313856 143481 33554432000 4194304 4580107 140735829417312 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 193436 143481 379 95 0 188418 0
[pid=3271/tid=3272] ppid=3269 vsize=773744 CPUtime=1122.3 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 130184 0 0 0 112178 52 0 0 25 0 4 0 651908926 792313856 143481 33554432000 4194304 4580107 140735829417312 18446744073709551615 4391484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=773744 CPUtime=1121.49 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 159657 0 0 0 112085 64 0 0 25 0 4 0 651908926 792313856 143481 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=773744 CPUtime=1112.12 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 126886 0 0 0 111165 47 0 0 25 0 4 0 651908926 792313856 143481 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.06
Current children cumulated vsize (KiB) 773744

[startup+1182.3 s]
/proc/loadavg: 4.11 5.44 6.95 6/282 3341
/proc/meminfo: memFree=21000496/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=768312 CPUtime=4717.51 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 569852 0 0 0 471527 224 0 0 25 0 4 0 651908925 786751488 140978 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 192078 140978 379 95 0 187060 0
[pid=3271/tid=3272] ppid=3269 vsize=768312 CPUtime=1182.3 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 132426 0 0 0 118176 54 0 0 25 0 4 0 651908926 786751488 140978 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=768312 CPUtime=1181.5 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 166089 0 0 0 118082 68 0 0 25 0 4 0 651908926 786751488 140978 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=768312 CPUtime=1171.57 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 127865 0 0 0 117110 47 0 0 25 0 4 0 651908926 786751488 140978 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.51
Current children cumulated vsize (KiB) 768312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 4.15 5.37 6.89 5/282 3342
/proc/meminfo: memFree=20988836/32951124 swapFree=66457188/67111528
[pid=3271] ppid=3269 vsize=775820 CPUtime=4800.17 cores=0,2,4,6
/proc/3271/stat : 3271 (strangenight2-m) R 3269 3271 2765 0 -1 4202496 574085 0 0 0 479790 227 0 0 25 0 4 0 651908925 794439680 143936 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3271/statm: 193955 143936 379 95 0 188937 0
[pid=3271/tid=3272] ppid=3269 vsize=775820 CPUtime=1203.02 cores=0,2,4,6
/proc/3271/task/3272/stat : 3272 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 132507 0 0 0 120248 54 0 0 25 0 4 0 651908926 794439680 143937 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3271/tid=3273] ppid=3269 vsize=775820 CPUtime=1202.22 cores=0,2,4,6
/proc/3271/task/3273/stat : 3273 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 167484 0 0 0 120153 69 0 0 25 0 4 0 651908926 794439680 143937 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3271/tid=3274] ppid=3269 vsize=775820 CPUtime=1192.09 cores=0,2,4,6
/proc/3271/task/3274/stat : 3274 (strangenight2-m) R 3269 3271 2765 0 -1 4202560 130053 0 0 0 119161 48 0 0 25 0 4 0 651908926 794439680 143937 33554432000 4194304 4580107 140735829417312 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 775820

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.05
CPU time (s): 4800.24
CPU user time (s): 4797.94
CPU system time (s): 2.30165
CPU usage (%): 399.005
Max. virtual memory (cumulated for all children) (KiB): 875176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.94
system time used= 2.30165
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 574088
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= 499
involuntary context switches= 73732

runsolver used 3.3055 second user time and 7.64984 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-14 21:58:28
IDJOB=3366389
IDBENCH=82798
IDSOLVER=1844
FILE ID=node132/3366389-1305403108
RUNJOBID= node132-1305401543-3103
PBS_JOBID= 13324471
Free space on /tmp= 73328 MiB

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

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

MD5SUM BENCH= 0036a3d124136652b3b413bfd876692d
RANDOM SEED=546327466

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21286780 kB
Buffers:        277932 kB
Cached:        5564444 kB
SwapCached:       6904 kB
Active:        5046624 kB
Inactive:      6312872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21286780 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:            5484 kB
Writeback:           0 kB
AnonPages:     5515296 kB
Mapped:          19352 kB
Slab:           217952 kB
PageTables:      24896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 35112068 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73328 MiB
End job on node132 at 2011-05-14 22:18:33