Trace number 3173980

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.09 1201.84

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.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-3173980-1304074907.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.00	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.00	c -- vars added        700
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/2982/2982 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     299 undec:      71 neg:     330
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       692      2973         0         0      8961         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4915       692      2973         0      4850      8961    145315   no data   no data
3.17/0.80	c  N st    10     11299       692      2973         0      4523      8961     93410   no data   no data
3.17/0.80	c  N st    11     17042       692      2973         0     10207      8961    273722   no data   no data
4.39/1.20	c  F st    12     25001       692      2973         0     12482      8961    327309   no data   no data
4.39/1.20	c  N st    12     25001       692      2973         0     12482      8961    327309   no data   no data
5.57/1.48	c Decided on static restart strategy
5.57/1.48	c  N st    18     30003       692      2973         0     10761      8961    251363   no data   no data
5.57/1.48	c  S st    18     30003       692      2973         0     10761      8961    251363   no data   no data
5.57/1.48	c  S st    18     30505       692      2973         0     11263      8961    265128   no data   no data
5.57/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.48	c blocked clauses removed:       26 vars:      3 tried:         692 T: 0.00 s
5.57/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    689 time:  0.00 s
5.57/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.48	c lits-rem:         0  cl-subs:        0  v-elim:      1  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.96/1.53	c lits-rem:       136  cl-subs:      279  v-elim:      0  v-fix:    0  time:  0.04 s
5.96/1.54	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.01
5.96/1.54	c calculated reachability. Time: 0.00
5.96/1.54	c  N st    18     30505       688      2946         0     10735      8887    246498   no data   no data
7.57/1.98	c  N st    20     37615       688      2946         0     10098      8887    204537   no data   no data
9.56/2.43	c  N st    21     44014       688      2946         0     16400      8887    400041   no data   no data
9.96/2.56	c  S st    22     45758       688      2946         0      9367      8887    160613   no data   no data
9.96/2.59	c  S st    22     46261       688      2946         0      9870      8887    174755   no data   no data
9.96/2.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
9.96/2.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.36/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.61	c lits-rem:         9  cl-subs:       50  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.61	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
10.36/2.61	c vivif2 --  cl tried     9820 cl shrink        0 lits rem          0 time: 0.00
10.36/2.62	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.01
10.36/2.62	c calculated reachability. Time: 0.00
10.36/2.62	c  N st    22     46261       688      2946         0      9820      8887    173163   no data   no data
14.35/3.64	c  N st    23     60660       688      2946         0     14239      8887    292054   no data   no data
17.16/4.31	c  N st    24     69391       688      2946         0     12028      8887    207276   no data   no data
17.16/4.31	c  S st    24     69391       688      2946         0     12028      8887    207276   no data   no data
17.16/4.34	c  S st    24     69893       688      2946         0     12530      8887    220876   no data   no data
17.16/4.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.16/4.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.16/4.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.16/4.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.16/4.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
17.16/4.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.16/4.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.16/4.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.38	c lits-rem:        44  cl-subs:      123  v-elim:      0  v-fix:    0  time:  0.02 s
17.16/4.38	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
17.16/4.38	c vivif2 --  cl tried    12407 cl shrink        0 lits rem          0 time: 0.00
17.16/4.39	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.01
17.16/4.39	c calculated reachability. Time: 0.00
17.16/4.39	c  N st    24     69893       688      2946         0     12407      8887    217195   no data   no data
22.75/5.77	c  F st    25     87500       688      2946         0     17954      8887    385696   no data   no data
22.75/5.77	c  N st    25     87500       688      2946         0     17954      8887    385696   no data   no data
24.35/6.19	c Decided on static restart strategy
25.54/6.47	c  N st    32     95538       688      2946         0     13090      8887    210401   no data   no data
28.74/7.20	c  N st    34    104839       688      2946         0     22296      8887    505146   no data   no data
28.74/7.20	c  S st    34    104839       688      2946         0     22296      8887    505146   no data   no data
28.74/7.25	c  S st    34    105343       688      2946         0     22799      8887    518918   no data   no data
28.74/7.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.74/7.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.74/7.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.74/7.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.74/7.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
28.74/7.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.74/7.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.74/7.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.54/7.42	c lits-rem:        85  cl-subs:      350  v-elim:      0  v-fix:    0  time:  0.13 s
29.54/7.42	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
29.54/7.42	c vivif2 --  cl tried    22449 cl shrink        0 lits rem          0 time: 0.01
29.54/7.44	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.01
29.54/7.44	c calculated reachability. Time: 0.00
29.54/7.44	c  N st    34    105343       688      2946         0     22449      8887    504661   no data   no data
33.14/8.35	c  N st    35    114942       688      2946         0     18071      8887    341005   no data   no data
38.72/9.76	c  N st    36    129339       688      2946         0     17476      8887    300571   no data   no data
47.51/11.96	c  N st    37    150936       688      2946         0     22930      8887    447461   no data   no data
50.30/12.67	c  S st    38    158014       688      2946         0     29878      8887    665624   no data   no data
50.70/12.74	c  S st    38    158518       688      2946         0     30381      8887    680687   no data   no data
50.70/12.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.70/12.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
50.70/12.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.70/12.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.70/12.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.70/12.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
50.70/12.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.70/12.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.70/12.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.73/13.28	c lits-rem:       223  cl-subs:     1137  v-elim:      0  v-fix:    0  time:  0.50 s
52.73/13.28	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
52.73/13.29	c vivif2 --  cl tried    29244 cl shrink        0 lits rem          0 time: 0.01
53.13/13.31	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.02
53.13/13.31	c calculated reachability. Time: 0.00
53.13/13.31	c  N st    38    158518       688      2946         0     29244      8887    641319   no data   no data
74.69/18.76	c  N st    39    207106       688      2946         0     23863      8887    429407   no data   no data
88.65/22.29	c  N st    40    237777       688      2946         0     34448      8887    715577   no data   no data
88.65/22.29	c  S st    40    237777       688      2946         0     34448      8887    715577   no data   no data
89.05/22.37	c  S st    40    238281       688      2946         0     34952      8887    729733   no data   no data
89.05/22.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
89.05/22.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
89.05/22.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89.05/22.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
89.05/22.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.05/22.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
89.05/22.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
89.45/22.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
89.45/22.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.85/23.08	c lits-rem:       142  cl-subs:     1476  v-elim:      0  v-fix:    0  time:  0.66 s
91.85/23.08	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
91.85/23.09	c vivif2 --  cl tried    33476 cl shrink        0 lits rem          0 time: 0.01
92.27/23.12	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.02
92.27/23.12	c calculated reachability. Time: 0.00
92.27/23.12	c  N st    40    238281       688      2946         0     33476      8887    685448   no data   no data
125.81/31.51	c  F st    41    306253       688      2946         0     35505      8887    717932   no data   no data
125.81/31.51	c  N st    41    306253       688      2946         0     35505      8887    717932   no data   no data
128.19/32.15	c Decided on static restart strategy
139.79/35.07	c  N st    51    334556       688      2946         0     39783      8887    814596   no data   no data
151.77/38.03	c  N st    53    357422       688      2946         0     37631      8887    703754   no data   no data
151.77/38.03	c  S st    53    357422       688      2946         0     37631      8887    703754   no data   no data
152.17/38.12	c  S st    53    357923       688      2946         0     38130      8887    717997   no data   no data
152.17/38.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
152.17/38.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
152.17/38.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.17/38.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.17/38.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.17/38.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
152.17/38.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
152.17/38.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
152.17/38.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.78/38.50	c lits-rem:       212  cl-subs:      819  v-elim:      0  v-fix:    0  time:  0.33 s
153.78/38.50	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
153.78/38.51	c vivif2 --  cl tried    37311 cl shrink        0 lits rem          0 time: 0.01
153.78/38.54	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.03
153.78/38.54	c calculated reachability. Time: 0.00
153.78/38.54	c  N st    53    357923       688      2946         0     37311      8887    692520   no data   no data
170.94/42.83	c  N st    54    390316       688      2946         0     43603      8887    889526   no data   no data
198.50/49.78	c  N st    55    438904       688      2946         0     37147      8887    637611   no data   no data
245.64/61.50	c  N st    56    511786       688      2946         0     50910      8887   1023337   no data   no data
259.64/65.06	c  N st    57    536885       688      2946         0     45162      8887    798868   no data   no data
259.64/65.06	c  S st    57    536885       688      2946         0     45162      8887    798868   no data   no data
260.02/65.16	c  S st    57    537388       688      2946         0     45665      8887    812095   no data   no data
260.02/65.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
260.02/65.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
260.02/65.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.02/65.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.02/65.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.02/65.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
260.02/65.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
260.02/65.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
260.42/65.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.81/65.85	c lits-rem:       225  cl-subs:     1252  v-elim:      0  v-fix:    0  time:  0.63 s
262.81/65.85	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
262.81/65.86	c vivif2 --  cl tried    44413 cl shrink        0 lits rem          0 time: 0.01
263.21/65.90	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.04
263.21/65.90	c calculated reachability. Time: 0.00
263.21/65.90	c  N st    57    537388       688      2946         0     44413      8887    775613   no data   no data
382.67/95.81	c  N st    58    701372       688      2946         0     38425      8887    504272   no data   no data
462.62/115.98	c  N st    59    806082       688      2946         0     67773      8887   1412252   no data   no data
462.62/115.98	c  S st    59    806082       688      2946         0     67773      8887   1412252   no data   no data
463.41/116.18	c  S st    59    806583       688      2946         0     68273      8887   1427137   no data   no data
463.41/116.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
463.80/116.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
463.80/116.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
463.80/116.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
463.80/116.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
463.80/116.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
463.80/116.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
463.80/116.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
463.80/116.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
479.59/120.22	c lits-rem:       679  cl-subs:     3163  v-elim:      0  v-fix:    0  time:  3.94 s
479.59/120.22	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
479.59/120.24	c vivif2 --  cl tried    65110 cl shrink        0 lits rem          0 time: 0.02
479.98/120.31	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.06
479.98/120.31	c calculated reachability. Time: 0.00
479.98/120.31	c  N st    59    806583       688      2946         0     65110      8887   1327348   no data   no data
721.36/180.85	c  F st    60   1071876       688      2946         0     81112      8887   1646649   no data   no data
721.36/180.85	c  N st    60   1071876       688      2946         0     81112      8887   1646649   no data   no data
727.75/182.40	c Decided on static restart strategy
746.14/187.01	c  N st    70   1100183       688      2946         0     64680      8887   1096584   no data   no data
778.08/195.06	c  N st    72   1136177       688      2946         0     54872      8887    810590   no data   no data
810.43/203.17	c  N st    73   1168569       688      2946         0     86784      8887   1805123   no data   no data
849.98/213.06	c  N st    74   1209876       688      2946         0     80984      8887   1590158   no data   no data
849.98/213.06	c  S st    74   1209876       688      2946         0     80984      8887   1590158   no data   no data
850.78/213.29	c  S st    74   1210384       688      2946         0     81492      8887   1604832   no data   no data
850.78/213.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
851.18/213.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
851.18/213.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
851.18/213.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
851.18/213.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
851.18/213.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
851.18/213.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
851.18/213.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
851.60/213.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
873.56/218.97	c lits-rem:       508  cl-subs:     3553  v-elim:      0  v-fix:    0  time:  5.55 s
873.56/218.97	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
873.56/218.99	c vivif2 --  cl tried    77939 cl shrink        0 lits rem          0 time: 0.02
873.97/219.06	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.07
873.97/219.06	c calculated reachability. Time: 0.00
873.97/219.06	c  N st    74   1210384       688      2946         0     77939      8887   1490104   no data   no data
945.04/236.84	c  N st    75   1283266       688      2946         0     54278      8887    712468   no data   no data
1049.32/262.92	c  N st    76   1392589       688      2946         0     62368      8887    913628   no data   no data
1221.47/306.04	c  N st    77   1556573       688      2946         0     67136      8887    991500   no data   no data
1388.43/347.83	c  N st    78   1710384       688      2946         0    108661      8887   2173039   no data   no data
1388.43/347.83	c  S st    78   1710384       688      2946         0    108661      8887   2173039   no data   no data
1389.63/348.18	c  S st    78   1710885       688      2946         0    109161      8887   2186935   no data   no data
1389.63/348.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1390.03/348.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1390.03/348.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1390.03/348.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1390.03/348.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1390.03/348.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
1390.03/348.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1390.03/348.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1390.43/348.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1457.96/365.23	c lits-rem:       863  cl-subs:     8231  v-elim:      0  v-fix:    0  time: 16.88 s
1457.96/365.23	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
1457.96/365.26	c vivif2 --  cl tried   100930 cl shrink        0 lits rem          0 time: 0.03
1458.37/365.37	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.11
1458.37/365.37	c calculated reachability. Time: 0.00
1458.37/365.37	c  N st    78   1710885       688      2946         0    100930      8887   1964394   no data   no data
1872.57/469.00	c  N st    79   2079849       688      2946         0    113821      8887   2408819   no data   no data
2027.16/507.72	c  N st    80   2210885       688      2946         0    117727      8887   2464262   no data   no data
2027.16/507.72	c  S st    80   2210885       688      2946         0    117727      8887   2464262   no data   no data
2028.36/508.08	c  S st    80   2211389       688      2946         0    118231      8887   2478406   no data   no data
2028.36/508.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2028.76/508.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2028.76/508.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2028.76/508.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2028.76/508.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2028.76/508.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
2028.76/508.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2028.76/508.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2029.18/508.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2082.30/521.55	c lits-rem:      1053  cl-subs:     4221  v-elim:      0  v-fix:    0  time: 13.28 s
2082.30/521.55	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
2082.30/521.59	c vivif2 --  cl tried   114010 cl shrink        0 lits rem          0 time: 0.03
2083.08/521.71	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.12
2083.08/521.71	c calculated reachability. Time: 0.00
2083.08/521.71	c  N st    80   2211389       688      2946         0    114010      8887   2333864   no data   no data
2749.37/688.56	c  N st    81   2711389       688      2946         0    136774      8887   2869026   no data   no data
2749.37/688.56	c  S st    81   2711389       688      2946         0    136774      8887   2869026   no data   no data
2751.36/689.03	c  S st    81   2711891       688      2946         0    137276      8887   2883361   no data   no data
2751.36/689.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2751.76/689.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2751.76/689.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2751.76/689.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2751.76/689.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2751.76/689.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
2751.76/689.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2751.76/689.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2752.16/689.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2865.20/717.57	c lits-rem:       925  cl-subs:     9216  v-elim:      0  v-fix:    0  time: 28.32 s
2865.20/717.57	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
2865.60/717.60	c vivif2 --  cl tried   128060 cl shrink        0 lits rem          0 time: 0.04
2865.99/717.74	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.14
2865.99/717.75	c calculated reachability. Time: 0.00
2865.99/717.75	c  N st    81   2711891       688      2946         0    128060      8887   2601553   no data   no data
3616.19/905.54	c  N st    82   3211893       688      2946         0    104030      8887   1680982   no data   no data
3616.19/905.54	c  S st    82   3211893       688      2946         0    104030      8887   1680982   no data   no data
3617.78/905.93	c  S st    82   3212394       688      2946         0    104530      8887   1695277   no data   no data
3617.78/905.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3618.18/906.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3618.18/906.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3618.18/906.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3618.18/906.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3618.18/906.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
3618.18/906.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3618.18/906.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3618.58/906.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3642.17/912.04	c lits-rem:       375  cl-subs:     2760  v-elim:      0  v-fix:    0  time:  5.94 s
3642.17/912.04	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
3642.17/912.07	c vivif2 --  cl tried   101770 cl shrink        0 lits rem          0 time: 0.02
3642.55/912.17	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.10
3642.55/912.17	c calculated reachability. Time: 0.00
3642.55/912.17	c  N st    82   3212394       688      2946         0    101770      8887   1608053   no data   no data
4458.82/1116.50	c  N st    83   3712395       688      2946         0    112564      8887   1780534   no data   no data
4458.82/1116.50	c  S st    83   3712395       688      2946         0    112564      8887   1780534   no data   no data
4460.81/1116.96	c  S st    83   3712896       688      2946         0    113065      8887   1795301   no data   no data
4460.81/1116.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4461.21/1117.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.07
4461.21/1117.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4461.21/1117.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4461.21/1117.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4461.21/1117.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    688 time:  0.00 s
4461.21/1117.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4461.21/1117.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4461.61/1117.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4501.96/1127.28	c lits-rem:       430  cl-subs:     3907  v-elim:      0  v-fix:    0  time: 10.13 s
4501.96/1127.28	c vivif2 --  cl tried     2946 cl shrink        0 lits rem          0 time: 0.00
4502.36/1127.31	c vivif2 --  cl tried   109158 cl shrink        0 lits rem          0 time: 0.03
4502.76/1127.46	c asymm  cl-useful: 0/2946/2946 lits-rem:0 time: 0.15
4502.76/1127.46	c calculated reachability. Time: 0.00
4502.76/1127.46	c  N st    83   3712896       688      2946         0    109158      8887   1675211   no data   no data
4578.67/1146.46	c  F st    84   3751564       688      2946         0    147101      8887   2855187   no data   no data
4578.67/1146.46	c  N st    84   3751564       688      2946         0    147101      8887   2855187   no data   no data
4589.46/1149.10	c Decided on static restart strategy
4630.63/1159.48	c  N st    94   3779870       688      2946         0     91637      8887   1085597   no data   no data
4681.76/1172.24	c  N st    96   3815862       688      2946         0    127159      8887   2221815   no data   no data
4738.89/1186.59	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: 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-3173980-1304074907/watcher-3173980-1304074907 -o /tmp/evaluation-result-3173980-1304074907/solver-3173980-1304074907 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173980-1304074907.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.89 8.04 8.00 5/180 17397
/proc/meminfo: memFree=17629572/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=248796 CPUtime=0 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) D 17395 17397 17121 0 -1 4202496 622 0 0 0 0 0 0 0 25 0 4 0 519093356 254767104 537 33554432000 4194304 4627427 140733784635792 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 62199 543 336 106 0 57170 0
[pid=17397/tid=17398] ppid=17395 vsize=257132 CPUtime=0 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 38 0 0 0 0 0 0 0 25 0 4 0 519093357 263303168 619 33554432000 4194304 4627427 140733784635792 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=265492 CPUtime=0 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 77 0 0 0 0 0 0 0 25 0 4 0 519093357 271863808 636 33554432000 4194304 4627427 140733784635792 18446744073709551615 4358004 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=273696 CPUtime=0 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 101 0 0 0 0 0 0 0 25 0 4 0 519093357 280264704 647 33554432000 4194304 4627427 140733784635792 18446744073709551615 4314181 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.106482 s]
/proc/loadavg: 7.89 8.04 8.00 5/180 17397
/proc/meminfo: memFree=17629572/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=282536 CPUtime=0.4 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 1940 0 0 0 40 0 0 0 18 0 4 0 519093356 289316864 1796 33554432000 4194304 4627427 140733784635792 18446744073709551615 4332626 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 70634 1796 384 106 0 65605 0
[pid=17397/tid=17398] ppid=17395 vsize=282536 CPUtime=0.1 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 400 0 0 0 10 0 0 0 25 0 4 0 519093357 289316864 1796 33554432000 4194304 4627427 140733784635792 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=282536 CPUtime=0.1 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 413 0 0 0 10 0 0 0 25 0 4 0 519093357 289316864 1796 33554432000 4194304 4627427 140733784635792 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=282536 CPUtime=0.1 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 297 0 0 0 10 0 0 0 18 0 4 0 519093357 289316864 1796 33554432000 4194304 4627427 140733784635792 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282536

[startup+0.200468 s]
/proc/loadavg: 7.89 8.04 8.00 5/180 17397
/proc/meminfo: memFree=17629572/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=284104 CPUtime=0.78 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 2675 0 0 0 78 0 0 0 18 0 4 0 519093356 290922496 1829 33554432000 4194304 4627427 140733784635792 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 71026 1829 385 106 0 65997 0
[pid=17397/tid=17398] ppid=17395 vsize=284104 CPUtime=0.19 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 584 0 0 0 19 0 0 0 25 0 4 0 519093357 290922496 1829 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=284104 CPUtime=0.19 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 595 0 0 0 19 0 0 0 25 0 4 0 519093357 290922496 1829 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=284104 CPUtime=0.19 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 483 0 0 0 19 0 0 0 18 0 4 0 519093357 290922496 1829 33554432000 4194304 4627427 140733784635792 18446744073709551615 4332626 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 284104

[startup+0.300449 s]
/proc/loadavg: 7.89 8.04 8.00 5/180 17397
/proc/meminfo: memFree=17629572/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=284264 CPUtime=1.17 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 3134 0 0 0 117 0 0 0 18 0 4 0 519093356 291086336 2288 33554432000 4194304 4627427 140733784635792 18446744073709551615 4310370 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 71066 2288 385 106 0 66037 0
[pid=17397/tid=17398] ppid=17395 vsize=284264 CPUtime=0.29 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 700 0 0 0 29 0 0 0 25 0 4 0 519093357 291086336 2289 33554432000 4194304 4627427 140733784635792 18446744073709551615 4308143 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=284264 CPUtime=0.29 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 704 0 0 0 29 0 0 0 25 0 4 0 519093357 291086336 2289 33554432000 4194304 4627427 140733784635792 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=284264 CPUtime=0.29 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 603 0 0 0 29 0 0 0 18 0 4 0 519093357 291086336 2289 33554432000 4194304 4627427 140733784635792 18446744073709551615 4330079 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284264

[startup+0.700379 s]
/proc/loadavg: 7.89 8.04 8.00 5/180 17397
/proc/meminfo: memFree=17629572/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=285276 CPUtime=2.77 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 4893 0 0 0 277 0 0 0 18 0 4 0 519093356 292122624 2973 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 71319 2974 385 106 0 66290 0
[pid=17397/tid=17398] ppid=17395 vsize=285276 CPUtime=0.69 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 1120 0 0 0 69 0 0 0 25 0 4 0 519093357 292122624 2974 33554432000 4194304 4627427 140733784635792 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=285276 CPUtime=0.69 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 1153 0 0 0 69 0 0 0 25 0 4 0 519093357 292122624 2974 33554432000 4194304 4627427 140733784635792 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=285276 CPUtime=0.69 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 1040 0 0 0 69 0 0 0 18 0 4 0 519093357 292122624 2974 33554432000 4194304 4627427 140733784635792 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285276

[startup+1.50024 s]
/proc/loadavg: 7.89 8.04 8.00 9/184 17401
/proc/meminfo: memFree=17616148/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=286708 CPUtime=5.96 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 10013 0 0 0 595 1 0 0 20 0 4 0 519093356 293588992 5092 33554432000 4194304 4627427 140733784635792 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 71677 5092 389 106 0 66648 0
[pid=17397/tid=17398] ppid=17395 vsize=286708 CPUtime=1.48 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 1999 0 0 0 148 0 0 0 25 0 4 0 519093357 293588992 5092 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=286708 CPUtime=1.48 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 2044 0 0 0 148 0 0 0 25 0 4 0 519093357 293588992 5092 33554432000 4194304 4627427 140733784635792 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=286708 CPUtime=1.49 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 1929 0 0 0 149 0 0 0 20 0 4 0 519093357 293588992 5092 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286708

[startup+3.10096 s]
/proc/loadavg: 7.89 8.04 8.00 9/184 17401
/proc/meminfo: memFree=17601764/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=297104 CPUtime=12.37 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 20541 0 0 0 1234 3 0 0 25 0 4 0 519093356 304234496 11041 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 74276 11041 389 106 0 69247 0
[pid=17397/tid=17398] ppid=17395 vsize=297104 CPUtime=3.07 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 4492 0 0 0 307 0 0 0 25 0 4 0 519093357 304234496 11041 33554432000 4194304 4627427 140733784635792 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=297104 CPUtime=3.09 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 5550 0 0 0 308 1 0 0 25 0 4 0 519093357 304234496 11041 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=297104 CPUtime=3.08 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 5063 0 0 0 308 0 0 0 25 0 4 0 519093357 304234496 11041 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 297104

[startup+6.3004 s]
/proc/loadavg: 7.90 8.04 8.00 9/184 17401
/proc/meminfo: memFree=17569880/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=305712 CPUtime=25.14 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 32957 0 0 0 2509 5 0 0 25 0 4 0 519093356 313049088 15983 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 76428 15983 389 106 0 71399 0
[pid=17397/tid=17398] ppid=17395 vsize=305712 CPUtime=6.26 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 8403 0 0 0 625 1 0 0 25 0 4 0 519093357 313049088 15983 33554432000 4194304 4627427 140733784635792 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=305712 CPUtime=6.28 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 9389 0 0 0 627 1 0 0 25 0 4 0 519093357 313049088 15983 33554432000 4194304 4627427 140733784635792 18446744073709551615 4420196 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=305712 CPUtime=6.29 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 7255 0 0 0 628 1 0 0 25 0 4 0 519093357 313049088 15983 33554432000 4194304 4627427 140733784635792 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 305712

[startup+12.7003 s]
/proc/loadavg: 7.99 8.06 8.01 9/184 17402
/proc/meminfo: memFree=17548444/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=296796 CPUtime=50.7 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 50196 0 0 0 5062 8 0 0 25 0 4 0 519093356 303919104 22012 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 74199 22012 389 106 0 69170 0
[pid=17397/tid=17398] ppid=17395 vsize=296796 CPUtime=12.62 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 13101 0 0 0 1261 1 0 0 25 0 4 0 519093357 303919104 22012 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=296796 CPUtime=12.68 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 12639 0 0 0 1266 2 0 0 25 0 4 0 519093357 303919104 22012 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=296796 CPUtime=12.69 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 11406 0 0 0 1267 2 0 0 25 0 4 0 519093357 303919104 22012 33554432000 4194304 4627427 140733784635792 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 296796

[startup+25.501 s]
/proc/loadavg: 7.99 8.06 8.00 9/184 17402
/proc/meminfo: memFree=17510264/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=307256 CPUtime=101.84 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 76935 0 0 0 10169 15 0 0 25 0 4 0 519093356 314630144 30428 33554432000 4194304 4627427 140733784635792 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 76814 30428 389 106 0 71785 0
[pid=17397/tid=17398] ppid=17395 vsize=307256 CPUtime=25.35 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 21150 0 0 0 2532 3 0 0 25 0 4 0 519093357 314630144 30428 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=307256 CPUtime=25.49 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 20020 0 0 0 2545 4 0 0 25 0 4 0 519093357 314630144 30428 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=307256 CPUtime=25.48 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 14676 0 0 0 2546 2 0 0 25 0 4 0 519093357 314630144 30428 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 307256

[startup+51.1005 s]
/proc/loadavg: 7.99 8.05 8.00 9/184 17403
/proc/meminfo: memFree=17466612/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=306732 CPUtime=204.1 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 110889 0 0 0 20384 26 0 0 25 0 4 0 519093356 314093568 38901 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309125 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 76683 38901 389 106 0 71654 0
[pid=17397/tid=17398] ppid=17395 vsize=306732 CPUtime=50.81 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 29209 0 0 0 5075 6 0 0 25 0 4 0 519093357 314093568 38901 33554432000 4194304 4627427 140733784635792 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=306732 CPUtime=51.09 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 25687 0 0 0 5103 6 0 0 25 0 4 0 519093357 314093568 38901 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=306732 CPUtime=51.08 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 24236 0 0 0 5103 5 0 0 25 0 4 0 519093357 314093568 38901 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 306732

[startup+102.301 s]
/proc/loadavg: 8.05 8.06 8.00 9/184 17406
/proc/meminfo: memFree=17381040/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=448828 CPUtime=408.63 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 147738 0 0 0 40822 41 0 0 25 0 4 0 519093356 459599872 52422 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 112207 52422 389 106 0 107178 0
[pid=17397/tid=17398] ppid=17395 vsize=448828 CPUtime=101.74 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 40331 0 0 0 10163 11 0 0 25 0 4 0 519093357 459599872 52422 33554432000 4194304 4627427 140733784635792 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=448828 CPUtime=102.29 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 26252 0 0 0 10223 6 0 0 25 0 4 0 519093357 459599872 52422 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=448828 CPUtime=102.28 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 38304 0 0 0 10217 11 0 0 25 0 4 0 519093357 459599872 52422 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 448828

[startup+162.301 s]

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

[pid=17397] ppid=17395 vsize=691040 CPUtime=2804.48 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 377010 0 0 0 280301 147 0 0 25 0 4 0 519093356 707624960 109065 33554432000 4194304 4627427 140733784635792 18446744073709551615 4420204 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 172760 109065 389 106 0 167731 0
[pid=17397/tid=17398] ppid=17395 vsize=691040 CPUtime=698.47 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 112681 0 0 0 69802 45 0 0 25 0 4 0 519093357 707624960 109065 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=691040 CPUtime=701.48 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 67316 0 0 0 70124 24 0 0 25 0 4 0 519093357 707624960 109065 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=691040 CPUtime=702.22 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 101656 0 0 0 70181 41 0 0 25 0 4 0 519093357 707624960 109065 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2804.48
Current children cumulated vsize (KiB) 691040

[startup+762.3 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 17425
/proc/meminfo: memFree=17008864/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=627900 CPUtime=3044.18 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 399608 0 0 0 304259 159 0 0 25 0 4 0 519093356 642969600 116069 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 156975 116069 389 106 0 151946 0
[pid=17397/tid=17398] ppid=17395 vsize=627900 CPUtime=758.15 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 119816 0 0 0 75767 48 0 0 25 0 4 0 519093357 642969600 116069 33554432000 4194304 4627427 140733784635792 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=627900 CPUtime=761.49 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 74428 0 0 0 76121 28 0 0 25 0 4 0 519093357 642969600 116069 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=627900 CPUtime=762.23 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 106212 0 0 0 76179 44 0 0 25 0 4 0 519093357 642969600 116069 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.18
Current children cumulated vsize (KiB) 627900

[startup+822.301 s]
/proc/loadavg: 8.17 8.09 8.02 9/184 17426
/proc/meminfo: memFree=16986168/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=628040 CPUtime=3283.83 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 420575 0 0 0 328213 170 0 0 25 0 4 0 519093356 643112960 119277 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 157010 119277 389 106 0 151981 0
[pid=17397/tid=17398] ppid=17395 vsize=628040 CPUtime=817.83 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 124096 0 0 0 81732 51 0 0 25 0 4 0 519093357 643112960 119277 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=628040 CPUtime=821.49 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 81667 0 0 0 82117 32 0 0 25 0 4 0 519093357 643112960 119277 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=628040 CPUtime=822.22 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 109050 0 0 0 82177 45 0 0 25 0 4 0 519093357 643112960 119277 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.83
Current children cumulated vsize (KiB) 628040

[startup+882.306 s]
/proc/loadavg: 8.17 8.10 8.02 9/184 17428
/proc/meminfo: memFree=16965808/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=675440 CPUtime=3523.53 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 444224 0 0 0 352170 183 0 0 25 0 4 0 519093356 691650560 121056 33554432000 4194304 4627427 140733784635792 18446744073709551615 4333065 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 168860 121056 389 106 0 163831 0
[pid=17397/tid=17398] ppid=17395 vsize=675440 CPUtime=877.5 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 131129 0 0 0 87696 54 0 0 25 0 4 0 519093357 691650560 121056 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=675440 CPUtime=881.49 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 89133 0 0 0 88113 36 0 0 25 0 4 0 519093357 691650560 121056 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=675440 CPUtime=882.21 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 113939 0 0 0 88174 47 0 0 25 0 4 0 519093357 691650560 121056 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.53
Current children cumulated vsize (KiB) 675440

[startup+942.301 s]
/proc/loadavg: 5.93 7.51 7.82 5/175 17447
/proc/meminfo: memFree=17426352/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=641376 CPUtime=3763.22 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 465581 0 0 0 376128 194 0 0 25 0 4 0 519093356 656769024 120428 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 160344 120428 389 106 0 155315 0
[pid=17397/tid=17398] ppid=17395 vsize=641376 CPUtime=937.21 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 139275 0 0 0 93663 58 0 0 25 0 4 0 519093357 656769024 120428 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=641376 CPUtime=941.49 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 95600 0 0 0 94109 40 0 0 25 0 4 0 519093357 656769024 120428 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=641376 CPUtime=942.22 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 116360 0 0 0 94173 49 0 0 25 0 4 0 519093357 656769024 120428 33554432000 4194304 4627427 140733784635792 18446744073709551615 4350188 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.22
Current children cumulated vsize (KiB) 641376

[startup+1002.3 s]
/proc/loadavg: 4.76 6.88 7.59 5/175 17449
/proc/meminfo: memFree=17364704/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=768308 CPUtime=4002.93 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 486696 0 0 0 400088 205 0 0 25 0 4 0 519093356 786747392 135918 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 192077 135918 389 106 0 187048 0
[pid=17397/tid=17398] ppid=17395 vsize=768308 CPUtime=996.92 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 145433 0 0 0 99632 60 0 0 25 0 4 0 519093357 786747392 135918 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=768308 CPUtime=1001.48 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 101765 0 0 0 100106 42 0 0 25 0 4 0 519093357 786747392 135918 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=768308 CPUtime=1002.21 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 121215 0 0 0 100169 52 0 0 25 0 4 0 519093357 786747392 135918 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.93
Current children cumulated vsize (KiB) 768308

[startup+1062.3 s]
/proc/loadavg: 4.33 6.37 7.37 5/175 17451
/proc/meminfo: memFree=17402580/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=654580 CPUtime=4242.66 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 504826 0 0 0 424047 219 0 0 25 0 4 0 519093356 670289920 126472 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 163645 126472 389 106 0 158616 0
[pid=17397/tid=17398] ppid=17395 vsize=654580 CPUtime=1056.65 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 149645 0 0 0 105601 64 0 0 25 0 4 0 519093357 670289920 126472 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=654580 CPUtime=1061.49 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 109012 0 0 0 106101 48 0 0 25 0 4 0 519093357 670289920 126472 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=654580 CPUtime=1062.22 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 124157 0 0 0 106167 55 0 0 25 0 4 0 519093357 670289920 126472 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.66
Current children cumulated vsize (KiB) 654580

[startup+1122.3 s]
/proc/loadavg: 4.16 5.95 7.16 5/175 17452
/proc/meminfo: memFree=17367556/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=836772 CPUtime=4482.38 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 529675 0 0 0 448006 232 0 0 25 0 4 0 519093356 856854528 135189 33554432000 4194304 4627427 140733784635792 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 209193 135189 389 106 0 204164 0
[pid=17397/tid=17398] ppid=17395 vsize=836772 CPUtime=1116.37 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 155840 0 0 0 111570 67 0 0 25 0 4 0 519093357 856854528 135189 33554432000 4194304 4627427 140733784635792 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=836772 CPUtime=1121.49 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 115157 0 0 0 112098 51 0 0 25 0 4 0 519093357 856854528 135189 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=836772 CPUtime=1122.22 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 128480 0 0 0 112165 57 0 0 25 0 4 0 519093357 856854528 135189 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.38
Current children cumulated vsize (KiB) 836772

[startup+1182.3 s]
/proc/loadavg: 4.06 5.59 6.96 5/175 17454
/proc/meminfo: memFree=17375092/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=669056 CPUtime=4722.11 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 549005 0 0 0 471967 244 0 0 25 0 4 0 519093356 685113344 133311 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 167264 133311 389 106 0 162235 0
[pid=17397/tid=17398] ppid=17395 vsize=669056 CPUtime=1176.1 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 159722 0 0 0 117541 69 0 0 25 0 4 0 519093357 685113344 133311 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=669056 CPUtime=1181.49 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 121735 0 0 0 118094 55 0 0 25 0 4 0 519093357 685113344 133311 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=669056 CPUtime=1182.22 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 132007 0 0 0 118164 58 0 0 25 0 4 0 519093357 685113344 133311 33554432000 4194304 4627427 140733784635792 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.11
Current children cumulated vsize (KiB) 669056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 4.04 5.49 6.89 5/175 17454
/proc/meminfo: memFree=17369256/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=668316 CPUtime=4800.03 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 554756 0 0 0 479756 247 0 0 25 0 4 0 519093356 684355584 134502 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 167079 134502 389 106 0 162050 0
[pid=17397/tid=17398] ppid=17395 vsize=668316 CPUtime=1195.49 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 161591 0 0 0 119479 70 0 0 25 0 4 0 519093357 684355584 134502 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=668316 CPUtime=1200.99 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 123247 0 0 0 120044 55 0 0 25 0 4 0 519093357 684355584 134502 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=668316 CPUtime=1201.72 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 132007 0 0 0 120114 58 0 0 25 0 4 0 519093357 684355584 134503 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 668316

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

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

[startup+1201.8 s]
/proc/loadavg: 4.04 5.49 6.89 5/175 17454
/proc/meminfo: memFree=17369256/32951124 swapFree=67111528/67111528
[pid=17397] ppid=17395 vsize=668316 CPUtime=4800.03 cores=1,3,5,7
/proc/17397/stat : 17397 (strangenight2-m) R 17395 17397 17121 0 -1 4202496 554756 0 0 0 479756 247 0 0 25 0 4 0 519093356 684355584 134502 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17397/statm: 167079 134502 389 106 0 162050 0
[pid=17397/tid=17398] ppid=17395 vsize=668316 CPUtime=1195.49 cores=1,3,5,7
/proc/17397/task/17398/stat : 17398 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 161591 0 0 0 119479 70 0 0 25 0 4 0 519093357 684355584 134502 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17397/tid=17399] ppid=17395 vsize=668316 CPUtime=1200.99 cores=1,3,5,7
/proc/17397/task/17399/stat : 17399 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 123247 0 0 0 120044 55 0 0 25 0 4 0 519093357 684355584 134502 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17397/tid=17400] ppid=17395 vsize=668316 CPUtime=1201.72 cores=1,3,5,7
/proc/17397/task/17400/stat : 17400 (strangenight2-m) R 17395 17397 17121 0 -1 4202560 132007 0 0 0 120114 58 0 0 25 0 4 0 519093357 684355584 134503 33554432000 4194304 4627427 140733784635792 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 668316

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.84
CPU time (s): 4800.09
CPU user time (s): 4797.58
CPU system time (s): 2.50262
CPU usage (%): 399.396
Max. virtual memory (cumulated for all children) (KiB): 836772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.58
system time used= 2.50262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 554757
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= 202
involuntary context switches= 34805

runsolver used 1.75773 second user time and 4.5783 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 13:01:47
IDJOB=3173980
IDBENCH=82798
IDSOLVER=1586
FILE ID=node103/3173980-1304074907
RUNJOBID= node103-1304072190-17140
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-S942849-099.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173980-1304074907/watcher-3173980-1304074907 -o /tmp/evaluation-result-3173980-1304074907/solver-3173980-1304074907 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173980-1304074907.cnf

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

MD5SUM BENCH= 0036a3d124136652b3b413bfd876692d
RANDOM SEED=64046976

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:      17629728 kB
Buffers:       2147660 kB
Cached:       12255140 kB
SwapCached:          0 kB
Active:        5853260 kB
Inactive:      8885820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17629728 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5456 kB
Writeback:           0 kB
AnonPages:      334904 kB
Mapped:          15468 kB
Slab:           519264 kB
PageTables:       5024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   590136 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= 71512 MiB
End job on node103 at 2011-04-29 13:21:51