Trace number 3366692

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.46 1203.46

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf
MD5SUMa8d280a0ad5a42e6946605bb6356e226
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012998
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
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-3366692-1305412058.cnf'
0.00/0.01	c -- header says num vars:            800
0.00/0.01	c -- header says num clauses:        3408
0.03/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.03/0.01	c -- vars added        800
0.03/0.01	c Parsing time:  0.00 s
0.03/0.01	c  N st     0         0       800      3408         0         0     10224         0   no data   no data
0.03/0.01	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.00
0.03/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.03/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.03/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.03/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.03/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.03/0.10	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:     12  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:     349 undec:      84 neg:     367
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       788      3391         0         0     10216         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4921       788      3391         0      4877     10216    155977   no data   no data
3.17/0.80	c  N st    10     11303       788      3391         0      4521     10216    100846   no data   no data
3.57/0.90	c  N st    11     17046       788      3391         0     10215     10216    308545   no data   no data
5.55/1.40	c  F st    12     25001       788      3391         0     12536     10216    371252   no data   no data
5.55/1.40	c  N st    12     25001       788      3391         0     12536     10216    371252   no data   no data
6.35/1.61	c  N dy    18     30000       788      3391         0     10762     10216    289402   no data   no data
6.35/1.61	c  S st    18     30000       788      3391         0     10762     10216    289402   no data   no data
6.35/1.64	c  S st    18     30503       788      3391         0     11263     10216    303988   no data   no data
6.35/1.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.35/1.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
6.35/1.65	c blocked clauses removed:       18 vars:      2 tried:         788 T: 0.00 s
6.35/1.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.35/1.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.35/1.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
6.35/1.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.35/1.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
6.35/1.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.75/1.71	c lits-rem:        65  cl-subs:      218  v-elim:      0  v-fix:    0  time:  0.05 s
6.75/1.72	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.01
6.75/1.72	c calculated reachability. Time: 0.00
6.75/1.72	c  N dy    18     30503       786      3373         0     11045     10162    294191   no data   no data
7.55/1.98	c  N dy    29     34619       786      3373         0     15146     10162    422413     21.52     22.88
8.79/2.21	c  N dy    50     38766       786      3373         0     11395     10162    234180     21.90     23.14
9.54/2.46	c  N dy    60     42818       786      3373         0     15428     10162    362645     21.51     22.89
10.34/2.67	c  S st    66     45754       786      3373         0      9438     10162    134173     21.04     19.25
10.75/2.70	c  S st    66     46255       786      3373         0      9939     10162    150016     21.04   no data
10.75/2.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.75/2.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.75/2.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.75/2.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.75/2.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
10.75/2.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.75/2.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.75/2.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.75/2.72	c lits-rem:         0  cl-subs:       16  v-elim:      0  v-fix:    0  time:  0.01 s
10.75/2.72	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
10.75/2.72	c vivif2 --  cl tried     9923 cl shrink        0 lits rem          0 time: 0.00
10.75/2.73	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.01
10.75/2.73	c calculated reachability. Time: 0.00
10.75/2.73	c  N dy    66     46255       786      3373         0      9923     10162    149443     21.04   no data
11.54/2.96	c  N dy    82     50267       786      3373         0     13910     10162    275348     20.96     22.18
12.78/3.23	c  N dy   103     54277       786      3373         0     17904     10162    400795     21.13     22.77
13.93/3.58	c  N dy   125     59487       786      3373         0     13159     10162    217883     21.11     22.46
15.13/3.86	c  N dy   143     63640       786      3373         0     17292     10162    347622     21.13     22.37
16.33/4.18	c  N dy   167     67738       786      3373         0     21375     10162    478752     21.20     25.11
16.73/4.31	c  S st   174     69383       786      3373         0     12080     10162    155428     21.19     19.78
17.17/4.34	c  S st   174     69886       786      3373         0     12583     10162    170831     21.19   no data
17.17/4.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.17/4.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.17/4.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.17/4.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.17/4.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.17/4.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
17.17/4.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.17/4.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.17/4.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.17/4.37	c lits-rem:        45  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.01 s
17.17/4.37	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
17.17/4.37	c vivif2 --  cl tried    12556 cl shrink        0 lits rem          0 time: 0.00
17.17/4.38	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.01
17.17/4.38	c calculated reachability. Time: 0.00
17.17/4.38	c  N dy   174     69886       786      3373         0     12556     10162    169789     21.19   no data
18.32/4.68	c  N dy   189     74397       786      3373         0     17045     10162    311396     21.11     22.44
19.92/5.05	c  N dy   205     79179       786      3373         0     21799     10162    458581     21.11     22.25
21.55/5.45	c  N dy   238     84424       786      3373         0     15086     10162    225224     21.19     22.52
22.30/5.66	c  F st   253     87500       786      3373         0     18143     10162    320697     21.19     20.21
23.50/5.93	c  N st   258     90797       786      3373         0     21418     10162    428596     21.19   no data
23.90/6.09	c Decided on static restart strategy
26.34/6.67	c  N st   261     99803       786      3373         0     17438     10162    460078     21.19   no data
27.89/7.08	c  S st   262    104831       786      3373         0     22423     10162    645639     21.19   no data
28.29/7.14	c  S st   262    105334       786      3373         0     22926     10162    661300     21.19   no data
28.29/7.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.29/7.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.29/7.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.29/7.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.29/7.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.29/7.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
28.29/7.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.29/7.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.29/7.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.49/7.41	c lits-rem:       322  cl-subs:      466  v-elim:      0  v-fix:    0  time:  0.23 s
29.49/7.41	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
29.49/7.42	c vivif2 --  cl tried    22460 cl shrink        0 lits rem          0 time: 0.01
29.49/7.44	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.02
29.49/7.44	c calculated reachability. Time: 0.00
29.49/7.44	c  N st   262    105334       786      3373         0     22460     10162    640048     21.19   no data
33.08/8.31	c  N st   263    114933       786      3373         0     18102     10162    414399     21.19   no data
39.10/9.87	c  N st   264    129331       786      3373         0     17472     10162    401284     21.19   no data
47.87/12.02	c  N st   265    150926       786      3373         0     23040     10162    523669     21.19   no data
50.63/12.72	c  S st   266    158002       786      3373         0     30029     10162    763426     21.19   no data
50.63/12.79	c  S st   266    158506       786      3373         0     30533     10162    779165     21.19   no data
50.63/12.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.03/12.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
51.03/12.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
51.03/12.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.03/12.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.03/12.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
51.03/12.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
51.03/12.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
51.03/12.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.02/13.31	c lits-rem:       424  cl-subs:      937  v-elim:      0  v-fix:    0  time:  0.47 s
53.02/13.31	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
53.02/13.32	c vivif2 --  cl tried    29596 cl shrink        0 lits rem          0 time: 0.01
53.02/13.35	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.02
53.02/13.35	c calculated reachability. Time: 0.00
53.02/13.35	c  N st   266    158506       786      3373         0     29596     10162    746281     21.19   no data
75.36/18.95	c  N st   267    207095       786      3373         0     24223     10162    532183     21.19   no data
89.72/22.55	c  N st   268    237761       786      3373         0     34765     10162    850134     21.19   no data
89.72/22.55	c  S st   268    237761       786      3373         0     34765     10162    850134     21.19   no data
90.12/22.63	c  S st   268    238265       786      3373         0     35269     10162    865207     21.19   no data
90.12/22.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.12/22.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
90.12/22.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.12/22.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.12/22.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.12/22.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
90.12/22.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
90.12/22.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
90.12/22.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.71/23.54	c lits-rem:       126  cl-subs:     1356  v-elim:      0  v-fix:    0  time:  0.85 s
93.71/23.54	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
93.71/23.55	c vivif2 --  cl tried    33913 cl shrink        0 lits rem          0 time: 0.01
93.71/23.57	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.02
93.71/23.57	c calculated reachability. Time: 0.00
93.71/23.57	c  N st   268    238265       786      3373         0     33913     10162    817421     21.19   no data
133.61/33.52	c  F st   269    306251       786      3373         0     35844     10162    837160     21.19   no data
133.61/33.52	c  N st   269    306251       786      3373         0     35844     10162    837160     21.19   no data
136.39/34.27	c Decided on static restart strategy
148.37/37.22	c  N st   279    334557       786      3373         0     40189     10162    927688     21.19   no data
161.12/40.46	c  N st   281    357398       786      3373         0     38049     10162    822531     21.19   no data
161.12/40.46	c  S st   281    357398       786      3373         0     38049     10162    822531     21.19   no data
161.52/40.56	c  S st   281    357898       786      3373         0     38548     10162    838019     21.19   no data
161.52/40.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
161.52/40.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
161.52/40.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
161.52/40.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
161.52/40.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
161.52/40.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
161.52/40.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
161.52/40.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
161.96/40.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.11/40.99	c lits-rem:       310  cl-subs:      669  v-elim:      0  v-fix:    0  time:  0.37 s
163.11/40.99	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
163.51/41.00	c vivif2 --  cl tried    37879 cl shrink        0 lits rem          0 time: 0.01
163.51/41.03	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.03
163.51/41.03	c calculated reachability. Time: 0.00
163.51/41.03	c  N st   281    357898       786      3373         0     37879     10162    812171     21.19   no data
182.67/45.85	c  N st   282    390290       786      3373         0     44231     10162   1011618     21.19   no data
209.79/52.66	c  N st   283    438878       786      3373         0     37776     10162    770980     21.19   no data
256.06/64.23	c  N st   284    511760       786      3373         0     51486     10162   1226506     21.19   no data
272.41/68.39	c  N st   285    536848       786      3373         0     45636     10162    931965     21.19   no data
272.41/68.39	c  S st   285    536848       786      3373         0     45636     10162    931965     21.19   no data
273.21/68.50	c  S st   285    537353       786      3373         0     46141     10162    947758     21.19   no data
273.21/68.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
273.21/68.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
273.21/68.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
273.21/68.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
273.21/68.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
273.21/68.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
273.21/68.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
273.21/68.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
273.21/68.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
276.80/69.49	c lits-rem:       303  cl-subs:     1354  v-elim:      0  v-fix:    0  time:  0.92 s
276.80/69.49	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
277.20/69.51	c vivif2 --  cl tried    44787 cl shrink        0 lits rem          0 time: 0.01
277.20/69.54	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.03
277.20/69.54	c calculated reachability. Time: 0.00
277.20/69.54	c  N st   285    537353       786      3373         0     44787     10162    897917     21.19   no data
402.46/100.93	c  N st   286    701339       786      3373         0     38869     10162    591181     21.19   no data
487.42/122.28	c  N st   287    806029       786      3373         0     68306     10162   1650899     21.19   no data
487.42/122.28	c  S st   287    806029       786      3373         0     68306     10162   1650899     21.19   no data
488.22/122.47	c  S st   287    806531       786      3373         0     68808     10162   1665544     21.19   no data
488.22/122.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
488.62/122.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
488.62/122.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
488.62/122.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
488.62/122.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
488.62/122.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
488.62/122.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
488.62/122.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
488.62/122.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
505.78/126.80	c lits-rem:       357  cl-subs:     2325  v-elim:      0  v-fix:    0  time:  4.21 s
505.78/126.80	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
505.78/126.82	c vivif2 --  cl tried    66483 cl shrink        0 lits rem          0 time: 0.02
505.78/126.88	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.06
505.78/126.88	c calculated reachability. Time: 0.00
505.78/126.88	c  N st   287    806531       786      3373         0     66483     10162   1574871     21.19   no data
760.27/190.63	c  F st   288   1071876       786      3373         0     82918     10162   2016045     21.19   no data
760.27/190.63	c  N st   288   1071876       786      3373         0     82918     10162   2016045     21.19   no data
767.89/192.58	c Decided on static restart strategy
785.80/197.06	c  N st   298   1100180       786      3373         0     66256     10162   1304311     21.19   no data
818.11/205.12	c  N st   300   1136177       786      3373         0     56329     10162    918724     21.19   no data
848.43/212.74	c  N st   301   1168569       786      3373         0     88185     10162   1950353     21.19   no data
886.36/222.22	c  N st   302   1209796       786      3373         0     82408     10162   1798610     21.19   no data
886.36/222.22	c  S st   302   1209796       786      3373         0     82408     10162   1798610     21.19   no data
887.12/222.44	c  S st   302   1210301       786      3373         0     82913     10162   1813698     21.19   no data
887.12/222.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
887.12/222.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
887.12/222.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
887.12/222.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
887.12/222.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
887.12/222.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
887.12/222.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
887.51/222.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
887.51/222.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
911.45/228.51	c lits-rem:       829  cl-subs:     3679  v-elim:      0  v-fix:    0  time:  5.94 s
911.45/228.51	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
911.45/228.53	c vivif2 --  cl tried    79234 cl shrink        0 lits rem          0 time: 0.02
911.85/228.61	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.08
911.85/228.62	c calculated reachability. Time: 0.00
911.85/228.62	c  N st   302   1210301       786      3373         0     79234     10162   1688571     21.19   no data
984.05/246.71	c  N st   303   1283183       786      3373         0     55697     10162    812563     21.19   no data
1091.75/273.74	c  N st   304   1392508       786      3373         0     63519     10162   1064056     21.19   no data
1267.70/317.88	c  N st   305   1556492       786      3373         0     68155     10162   1122184     21.19   no data
1445.97/362.53	c  N st   306   1710301       786      3373         0    110389     10162   2645249     21.19   no data
1445.97/362.53	c  S st   306   1710301       786      3373         0    110389     10162   2645249     21.19   no data
1447.17/362.85	c  S st   306   1710806       786      3373         0    110894     10162   2660795     21.19   no data
1447.17/362.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1447.61/362.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1447.61/362.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1447.61/362.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1447.61/362.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1447.61/362.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
1447.61/362.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1447.61/362.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1448.01/363.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1507.41/377.95	c lits-rem:      1235  cl-subs:     4611  v-elim:      0  v-fix:    0  time: 14.92 s
1507.41/377.95	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
1507.41/377.99	c vivif2 --  cl tried   106283 cl shrink        0 lits rem          0 time: 0.03
1508.21/378.11	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.12
1508.21/378.11	c calculated reachability. Time: 0.00
1508.21/378.11	c  N st   306   1710806       786      3373         0    106283     10162   2477253     21.19   no data
1990.08/498.93	c  N st   307   2079770       786      3373         0    118103     10162   2735661     21.19   no data
2169.98/544.00	c  N st   308   2210806       786      3373         0    122374     10162   2834634     21.19   no data
2169.98/544.00	c  S st   308   2210806       786      3373         0    122374     10162   2834634     21.19   no data
2171.18/544.34	c  S st   308   2211313       786      3373         0    122881     10162   2850071     21.19   no data
2171.18/544.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2171.61/544.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2171.61/544.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2171.61/544.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2171.61/544.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2171.61/544.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
2171.61/544.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2171.61/544.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2172.01/544.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2231.81/559.52	c lits-rem:       648  cl-subs:     4570  v-elim:      0  v-fix:    0  time: 14.98 s
2231.81/559.52	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
2231.81/559.57	c vivif2 --  cl tried   118311 cl shrink        0 lits rem          0 time: 0.04
2232.61/559.70	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.13
2232.61/559.70	c calculated reachability. Time: 0.00
2232.61/559.70	c  N st   308   2211313       786      3373         0    118311     10162   2676104     21.19   no data
2945.83/738.51	c  N st   309   2711313       786      3373         0     70841     10162    781772     21.19   no data
2945.83/738.51	c  S st   309   2711313       786      3373         0     70841     10162    781772     21.19   no data
2946.63/738.71	c  S st   309   2711816       786      3373         0     71344     10162    796999     21.19   no data
2946.63/738.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2946.63/738.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2946.63/738.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2946.63/738.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2946.63/738.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2946.63/738.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
2946.63/738.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2946.63/738.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2946.63/738.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2947.03/738.88	c lits-rem:         9  cl-subs:       31  v-elim:      0  v-fix:    0  time:  0.09 s
2947.03/738.88	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
2947.03/738.90	c vivif2 --  cl tried    71313 cl shrink        0 lits rem          0 time: 0.01
2947.43/738.96	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.07
2947.43/738.96	c calculated reachability. Time: 0.00
2947.43/738.96	c  N st   309   2711816       786      3373         0     71313     10162    796137     21.19   no data
3714.12/931.15	c  N st   310   3211821       786      3373         0    117873     10162   2379710     21.19   no data
3714.12/931.15	c  S st   310   3211821       786      3373         0    117873     10162   2379710     21.19   no data
3715.72/931.51	c  S st   310   3212322       786      3373         0    118373     10162   2395843     21.19   no data
3715.72/931.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3715.72/931.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
3715.72/931.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3715.72/931.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3715.72/931.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3715.72/931.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
3715.72/931.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3716.16/931.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3716.16/931.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3746.87/939.35	c lits-rem:       774  cl-subs:     2573  v-elim:      0  v-fix:    0  time:  7.65 s
3746.87/939.35	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
3746.87/939.38	c vivif2 --  cl tried   115800 cl shrink        0 lits rem          0 time: 0.03
3747.62/939.50	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.12
3747.62/939.51	c calculated reachability. Time: 0.00
3747.62/939.51	c  N st   310   3212322       786      3373         0    115800     10162   2296535     21.19   no data
4519.14/1132.94	c  N st   311   3712322       786      3373         0    126644     10162   2479181     21.19   no data
4519.14/1132.94	c  S st   311   3712322       786      3373         0    126644     10162   2479181     21.19   no data
4520.30/1133.28	c  S st   311   3712828       786      3373         0    127150     10162   2495031     21.19   no data
4520.30/1133.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4520.70/1133.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4520.70/1133.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4520.70/1133.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4520.70/1133.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4520.70/1133.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
4520.70/1133.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4521.10/1133.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4521.10/1133.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4564.56/1144.38	c lits-rem:       340  cl-subs:     4078  v-elim:      0  v-fix:    0  time: 10.91 s
4564.56/1144.38	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
4564.96/1144.42	c vivif2 --  cl tried   123072 cl shrink        0 lits rem          0 time: 0.04
4565.36/1144.55	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.13
4565.36/1144.56	c calculated reachability. Time: 0.00
4565.36/1144.56	c  N st   311   3712828       786      3373         0    123072     10162   2350009     21.19   no data
4641.56/1163.63	c  F st   312   3751562       786      3373         0    161328     10162   3738826     21.19   no data
4641.56/1163.63	c  N st   312   3751562       786      3373         0    161328     10162   3738826     21.19   no data
4653.52/1166.65	c Decided on static restart strategy
4682.63/1173.90	c  N st   322   3779870       786      3373         0    105610     10162   1693193     21.19   no data
4740.88/1188.55	c  N st   324   3815863       786      3373         0    141119     10162   3051501     21.19   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-3366692-1305412058/watcher-3366692-1305412058 -o /tmp/evaluation-result-3366692-1305412058/solver-3366692-1305412058 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366692-1305412058.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.20 7.99 5.90 6/339 32194
/proc/meminfo: memFree=17838428/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=51168 CPUtime=0.02 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 407 0 0 0 2 0 0 0 18 0 4 0 652806778 52396032 347 33554432000 4194304 4580107 140733720624192 18446744073709551615 47356083627954 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 12792 347 299 95 0 7774 0
[pid=32194/tid=32195] ppid=32192 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652806778 52396032 347 33554432000 4194304 4580107 140733720624192 18446744073709551615 47356083627954 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 652806778 52396032 347 33554432000 4194304 4580107 140733720624192 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 652806778 52396032 347 33554432000 4194304 4580107 140733720624192 18446744073709551615 47356083627954 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0147281 s]
/proc/loadavg: 8.20 7.99 5.90 6/339 32194
/proc/meminfo: memFree=17838428/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=281840 CPUtime=0.03 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) S 32192 32194 32059 0 -1 4202496 956 0 0 0 3 0 0 0 18 0 4 0 652806778 288604160 865 33554432000 4194304 4580107 140733720624192 18446744073709551615 270613215726 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 70460 873 336 95 0 65442 0
[pid=32194/tid=32195] ppid=32192 vsize=281840 CPUtime=0.01 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 178 0 0 0 1 0 0 0 18 0 4 0 652806778 288604160 906 33554432000 4194304 4580107 140733720624192 18446744073709551615 270612807435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=281840 CPUtime=0 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) S 32192 32194 32059 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 4 0 652806778 288604160 918 33554432000 4194304 4580107 140733720624192 18446744073709551615 270613215726 0 0 4096 2 18446604440760929344 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=281840 CPUtime=0 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 138 0 0 0 0 0 0 0 18 0 4 0 652806778 288604160 932 33554432000 4194304 4580107 140733720624192 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 281840

[startup+0.164584 s]
/proc/loadavg: 8.20 7.99 5.90 6/339 32194
/proc/meminfo: memFree=17838428/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=282540 CPUtime=0.62 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 2299 0 0 0 62 0 0 0 18 0 4 0 652806778 289320960 2139 33554432000 4194304 4580107 140733720624192 18446744073709551615 4316677 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 70635 2139 377 95 0 65617 0
[pid=32194/tid=32195] ppid=32192 vsize=282540 CPUtime=0.15 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 554 0 0 0 15 0 0 0 18 0 4 0 652806778 289320960 2139 33554432000 4194304 4580107 140733720624192 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=282540 CPUtime=0.14 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 481 0 0 0 14 0 0 0 21 0 4 0 652806778 289320960 2139 33554432000 4194304 4580107 140733720624192 18446744073709551615 4293732 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=282540 CPUtime=0.15 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 356 0 0 0 15 0 0 0 18 0 4 0 652806778 289320960 2139 33554432000 4194304 4580107 140733720624192 18446744073709551615 4317012 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 282540

[startup+0.364548 s]
/proc/loadavg: 8.20 7.99 5.90 6/339 32194
/proc/meminfo: memFree=17838428/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=284236 CPUtime=1.42 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 3491 0 0 0 142 0 0 0 18 0 4 0 652806778 291057664 2554 33554432000 4194304 4580107 140733720624192 18446744073709551615 4293907 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 71059 2554 377 95 0 66041 0
[pid=32194/tid=32195] ppid=32192 vsize=284236 CPUtime=0.35 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 855 0 0 0 35 0 0 0 18 0 4 0 652806778 291057664 2554 33554432000 4194304 4580107 140733720624192 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=284236 CPUtime=0.34 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 781 0 0 0 34 0 0 0 21 0 4 0 652806778 291057664 2554 33554432000 4194304 4580107 140733720624192 18446744073709551615 4489428 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=284236 CPUtime=0.35 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 664 0 0 0 35 0 0 0 18 0 4 0 652806778 291057664 2554 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 284236

[startup+0.70049 s]
/proc/loadavg: 8.20 7.99 5.90 6/339 32194
/proc/meminfo: memFree=17838428/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=285212 CPUtime=2.77 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 5159 0 0 0 276 1 0 0 18 0 4 0 652806778 292057088 3003 33554432000 4194304 4580107 140733720624192 18446744073709551615 4320885 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 71303 3003 377 95 0 66285 0
[pid=32194/tid=32195] ppid=32192 vsize=285212 CPUtime=0.69 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 1275 0 0 0 69 0 0 0 18 0 4 0 652806778 292057088 3003 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=285212 CPUtime=0.68 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 1194 0 0 0 68 0 0 0 22 0 4 0 652806778 292057088 3003 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=285212 CPUtime=0.69 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 1092 0 0 0 69 0 0 0 18 0 4 0 652806778 292057088 3003 33554432000 4194304 4580107 140733720624192 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285212

[startup+1.50035 s]
/proc/loadavg: 8.26 8.01 5.91 9/343 32198
/proc/meminfo: memFree=17804416/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=286876 CPUtime=5.95 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 9040 0 0 0 594 1 0 0 20 0 4 0 652806778 293761024 3450 33554432000 4194304 4580107 140733720624192 18446744073709551615 4324224 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 71719 3450 378 95 0 66701 0
[pid=32194/tid=32195] ppid=32192 vsize=286876 CPUtime=1.48 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 2242 0 0 0 148 0 0 0 19 0 4 0 652806778 293761024 3450 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=286876 CPUtime=1.47 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 2186 0 0 0 147 0 0 0 25 0 4 0 652806778 293761024 3450 33554432000 4194304 4580107 140733720624192 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=286876 CPUtime=1.48 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 2067 0 0 0 148 0 0 0 20 0 4 0 652806778 293761024 3450 33554432000 4194304 4580107 140733720624192 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286876

[startup+3.10107 s]
/proc/loadavg: 8.26 8.01 5.91 9/343 32198
/proc/meminfo: memFree=17779244/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=275708 CPUtime=12.34 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 20683 0 0 0 1231 3 0 0 25 0 4 0 652806778 282324992 12499 33554432000 4194304 4580107 140733720624192 18446744073709551615 4321100 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 68927 12499 379 95 0 63909 0
[pid=32194/tid=32195] ppid=32192 vsize=275708 CPUtime=3.09 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 4394 0 0 0 308 1 0 0 25 0 4 0 652806778 282324992 12499 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=275708 CPUtime=3.05 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 5912 0 0 0 305 0 0 0 25 0 4 0 652806778 282324992 12499 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=275708 CPUtime=3.08 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 4578 0 0 0 308 0 0 0 25 0 4 0 652806778 282324992 12499 33554432000 4194304 4580107 140733720624192 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 275708

[startup+6.3005 s]
/proc/loadavg: 8.26 8.01 5.91 9/343 32199
/proc/meminfo: memFree=17725368/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=285080 CPUtime=25.1 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 29423 0 0 0 2506 4 0 0 25 0 4 0 652806778 291921920 16035 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 71270 16035 379 95 0 66252 0
[pid=32194/tid=32195] ppid=32192 vsize=285080 CPUtime=6.28 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 7831 0 0 0 627 1 0 0 25 0 4 0 652806778 291921920 16035 33554432000 4194304 4580107 140733720624192 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=285080 CPUtime=6.21 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 8165 0 0 0 621 0 0 0 25 0 4 0 652806778 291921920 16035 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=285080 CPUtime=6.29 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 5704 0 0 0 628 1 0 0 25 0 4 0 652806778 291921920 16035 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 285080

[startup+12.7004 s]
/proc/loadavg: 8.22 8.01 5.93 9/343 32199
/proc/meminfo: memFree=17668460/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=296128 CPUtime=50.63 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 47182 0 0 0 5056 7 0 0 25 0 4 0 652806778 303235072 23517 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 74032 23517 379 95 0 69014 0
[pid=32194/tid=32195] ppid=32192 vsize=296128 CPUtime=12.68 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 10710 0 0 0 1267 1 0 0 25 0 4 0 652806778 303235072 23518 33554432000 4194304 4580107 140733720624192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=296128 CPUtime=12.54 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 12497 0 0 0 1253 1 0 0 25 0 4 0 652806778 303235072 23518 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=296128 CPUtime=12.69 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 10450 0 0 0 1267 2 0 0 25 0 4 0 652806778 303235072 23518 33554432000 4194304 4580107 140733720624192 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 296128

[startup+25.5011 s]
/proc/loadavg: 8.27 8.02 5.96 10/343 32199
/proc/meminfo: memFree=17613268/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=303052 CPUtime=101.69 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 67388 0 0 0 10157 12 0 0 25 0 4 0 652806778 310325248 32786 33554432000 4194304 4580107 140733720624192 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 75763 32786 379 95 0 70745 0
[pid=32194/tid=32195] ppid=32192 vsize=303052 CPUtime=25.49 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 15630 0 0 0 2546 3 0 0 25 0 4 0 652806778 310325248 32786 33554432000 4194304 4580107 140733720624192 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=303052 CPUtime=25.2 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 18138 0 0 0 2518 2 0 0 25 0 4 0 652806778 310325248 32786 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=303052 CPUtime=25.48 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 12557 0 0 0 2546 2 0 0 25 0 4 0 652806778 310325248 32786 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 303052

[startup+51.1006 s]
/proc/loadavg: 8.18 8.02 6.01 9/343 32200
/proc/meminfo: memFree=17566404/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=310548 CPUtime=203.81 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 102019 0 0 0 20361 20 0 0 25 0 4 0 652806778 318001152 38155 33554432000 4194304 4580107 140733720624192 18446744073709551615 4291415 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 77637 38155 379 95 0 72619 0
[pid=32194/tid=32195] ppid=32192 vsize=310548 CPUtime=51.08 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 22490 0 0 0 5103 5 0 0 25 0 4 0 652806778 318001152 38155 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=310548 CPUtime=50.52 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 27199 0 0 0 5047 5 0 0 25 0 4 0 652806778 318001152 38155 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=310548 CPUtime=51.07 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 21415 0 0 0 5104 3 0 0 25 0 4 0 652806778 318001152 38155 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 310548

[startup+102.312 s]
/proc/loadavg: 8.12 8.03 6.13 9/343 32201
/proc/meminfo: memFree=17459992/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=313628 CPUtime=408.09 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 145458 0 0 0 40775 34 0 0 25 0 4 0 652806778 321155072 48661 33554432000 4194304 4580107 140733720624192 18446744073709551615 4339077 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 78407 48661 379 95 0 73389 0
[pid=32194/tid=32195] ppid=32192 vsize=313628 CPUtime=102.29 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 32990 0 0 0 10221 8 0 0 25 0 4 0 652806778 321155072 48661 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=313628 CPUtime=101.17 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 32267 0 0 0 10110 7 0 0 25 0 4 0 652806778 321155072 48661 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=313628 CPUtime=102.28 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 37621 0 0 0 10220 8 0 0 25 0 4 0 652806778 321155072 48661 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 313628

[startup+162.301 s]

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

[pid=32194] ppid=32192 vsize=558008 CPUtime=2562.13 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 376530 0 0 0 256080 133 0 0 25 0 4 0 652806778 571400192 108202 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 139502 108202 379 95 0 134484 0
[pid=32194/tid=32195] ppid=32192 vsize=558008 CPUtime=642.3 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 87643 0 0 0 64194 36 0 0 25 0 4 0 652806778 571400192 108202 33554432000 4194304 4580107 140733720624192 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=558008 CPUtime=635.3 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 108012 0 0 0 63494 36 0 0 25 0 4 0 652806778 571400192 108202 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=558008 CPUtime=642.2 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 83795 0 0 0 64192 28 0 0 25 0 4 0 652806778 571400192 108202 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2562.13
Current children cumulated vsize (KiB) 558008

[startup+702.3 s]
/proc/loadavg: 8.19 8.12 7.07 9/343 32217
/proc/meminfo: memFree=16928756/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=649132 CPUtime=2801.44 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 393046 0 0 0 280004 140 0 0 25 0 4 0 652806778 664711168 118532 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 162283 118532 379 95 0 157265 0
[pid=32194/tid=32195] ppid=32192 vsize=649132 CPUtime=702.3 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 88556 0 0 0 70193 37 0 0 25 0 4 0 652806778 664711168 118532 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=649132 CPUtime=694.64 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 113150 0 0 0 69426 38 0 0 25 0 4 0 652806778 664711168 118532 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=649132 CPUtime=702.18 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 85853 0 0 0 70189 29 0 0 25 0 4 0 652806778 664711168 118532 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.44
Current children cumulated vsize (KiB) 649132

[startup+762.313 s]
/proc/loadavg: 8.21 8.13 7.14 9/343 32219
/proc/meminfo: memFree=16997792/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=597960 CPUtime=3040.81 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 410932 0 0 0 303933 148 0 0 25 0 4 0 652806778 612311040 110151 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 149490 110151 379 95 0 144472 0
[pid=32194/tid=32195] ppid=32192 vsize=597960 CPUtime=762.3 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 90104 0 0 0 76193 37 0 0 25 0 4 0 652806778 612311040 110151 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=597960 CPUtime=753.99 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 121198 0 0 0 75358 41 0 0 25 0 4 0 652806778 612311040 110151 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=597960 CPUtime=762.18 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 89365 0 0 0 76187 31 0 0 25 0 4 0 652806778 612311040 110151 33554432000 4194304 4580107 140733720624192 18446744073709551615 4415966 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.81
Current children cumulated vsize (KiB) 597960

[startup+822.301 s]
/proc/loadavg: 8.20 8.14 7.20 9/343 32220
/proc/meminfo: memFree=16934268/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=665612 CPUtime=3280.12 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 427922 0 0 0 327857 155 0 0 25 0 4 0 652806778 681586688 109908 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 166403 109908 379 95 0 161385 0
[pid=32194/tid=32195] ppid=32192 vsize=665612 CPUtime=822.3 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 93966 0 0 0 82191 39 0 0 25 0 4 0 652806778 681586688 109908 33554432000 4194304 4580107 140733720624192 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=665612 CPUtime=813.34 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 126335 0 0 0 81291 43 0 0 25 0 4 0 652806778 681586688 109908 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=665612 CPUtime=822.16 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 92551 0 0 0 82184 32 0 0 25 0 4 0 652806778 681586688 109908 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.12
Current children cumulated vsize (KiB) 665612

[startup+882.3 s]
/proc/loadavg: 8.19 8.14 7.26 9/343 32222
/proc/meminfo: memFree=16894172/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=779096 CPUtime=3519.45 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 449113 0 0 0 351782 163 0 0 25 0 4 0 652806778 797794304 121361 33554432000 4194304 4580107 140733720624192 18446744073709551615 4322718 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 194774 121361 379 95 0 189756 0
[pid=32194/tid=32195] ppid=32192 vsize=779096 CPUtime=882.3 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 97032 0 0 0 88190 40 0 0 25 0 4 0 652806778 797794304 121361 33554432000 4194304 4580107 140733720624192 18446744073709551615 4322895 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=779096 CPUtime=872.67 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 131116 0 0 0 87223 44 0 0 25 0 4 0 652806778 797794304 121361 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=779096 CPUtime=882.15 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 98083 0 0 0 88181 34 0 0 25 0 4 0 652806778 797794304 121361 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.45
Current children cumulated vsize (KiB) 779096

[startup+942.301 s]
/proc/loadavg: 8.17 8.14 7.31 9/343 32224
/proc/meminfo: memFree=16884820/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=652416 CPUtime=3758.79 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 466980 0 0 0 375708 171 0 0 25 0 4 0 652806778 668073984 121716 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 163104 121716 379 95 0 158086 0
[pid=32194/tid=32195] ppid=32192 vsize=652416 CPUtime=942.3 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 103052 0 0 0 94187 43 0 0 25 0 4 0 652806778 668073984 121716 33554432000 4194304 4580107 140733720624192 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=652416 CPUtime=932.03 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 138002 0 0 0 93156 47 0 0 25 0 4 0 652806778 668073984 121716 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=652416 CPUtime=942.13 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 98840 0 0 0 94179 34 0 0 25 0 4 0 652806778 668073984 121716 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.79
Current children cumulated vsize (KiB) 652416

[startup+1002.3 s]
/proc/loadavg: 8.17 8.14 7.36 9/343 32225
/proc/meminfo: memFree=16862296/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=731236 CPUtime=3998.14 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 499276 0 0 0 399631 183 0 0 25 0 4 0 652806778 748785664 130706 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 182809 130706 379 95 0 177791 0
[pid=32194/tid=32195] ppid=32192 vsize=731236 CPUtime=1002.3 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 113274 0 0 0 100183 47 0 0 25 0 4 0 652806778 748785664 130706 33554432000 4194304 4580107 140733720624192 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=731236 CPUtime=991.37 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 145967 0 0 0 99087 50 0 0 25 0 4 0 652806778 748785664 130706 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=731236 CPUtime=1002.13 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 104975 0 0 0 100177 36 0 0 25 0 4 0 652806778 748785664 130706 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998.14
Current children cumulated vsize (KiB) 731236

[startup+1062.3 s]
/proc/loadavg: 8.16 8.15 7.41 9/343 32227
/proc/meminfo: memFree=16823060/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=743360 CPUtime=4237.48 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 520303 0 0 0 423557 191 0 0 25 0 4 0 652806778 761200640 142807 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 185840 142807 379 95 0 180822 0
[pid=32194/tid=32195] ppid=32192 vsize=743360 CPUtime=1062.3 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 116027 0 0 0 106182 48 0 0 25 0 4 0 652806778 761200640 142807 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=743360 CPUtime=1050.72 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 156603 0 0 0 105019 53 0 0 25 0 4 0 652806778 761200640 142807 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=743360 CPUtime=1062.12 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 110276 0 0 0 106174 38 0 0 25 0 4 0 652806778 761200640 142807 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.48
Current children cumulated vsize (KiB) 743360

[startup+1122.3 s]
/proc/loadavg: 8.11 8.13 7.45 9/343 32228
/proc/meminfo: memFree=16808152/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=757796 CPUtime=4476.81 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 538740 0 0 0 447481 200 0 0 25 0 4 0 652806778 775983104 139258 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 189449 139258 379 95 0 184431 0
[pid=32194/tid=32195] ppid=32192 vsize=757796 CPUtime=1122.3 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 118536 0 0 0 112180 50 0 0 25 0 4 0 652806778 775983104 139258 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294701 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=757796 CPUtime=1110.07 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 162384 0 0 0 110952 55 0 0 25 0 4 0 652806778 775983104 139258 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=757796 CPUtime=1122.11 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 115002 0 0 0 112170 41 0 0 25 0 4 0 652806778 775983104 139258 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.81
Current children cumulated vsize (KiB) 757796

[startup+1182.3 s]
/proc/loadavg: 8.13 8.14 7.49 9/343 32230
/proc/meminfo: memFree=16712840/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=851736 CPUtime=4716.15 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 556895 0 0 0 471406 209 0 0 25 0 4 0 652806778 872177664 153103 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 212934 153103 379 95 0 207916 0
[pid=32194/tid=32195] ppid=32192 vsize=851736 CPUtime=1182.31 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 122371 0 0 0 118178 53 0 0 25 0 4 0 652806778 872177664 153103 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=851736 CPUtime=1169.41 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 169256 0 0 0 116883 58 0 0 25 0 4 0 652806778 872177664 153103 33554432000 4194304 4580107 140733720624192 18446744073709551615 4484666 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=851736 CPUtime=1182.1 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 118469 0 0 0 118168 42 0 0 25 0 4 0 652806778 872177664 153103 33554432000 4194304 4580107 140733720624192 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.15
Current children cumulated vsize (KiB) 851736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.16 8.14 7.51 5/338 32232
/proc/meminfo: memFree=17235492/32951124 swapFree=67056804/67111528
[pid=32194] ppid=32192 vsize=837328 CPUtime=4800.4 cores=0,2,4,6
/proc/32194/stat : 32194 (strangenight2-m) R 32192 32194 32059 0 -1 4202496 561323 0 0 0 479828 212 0 0 25 0 4 0 652806778 857423872 152246 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32194/statm: 209332 152246 379 95 0 204314 0
[pid=32194/tid=32195] ppid=32192 vsize=837328 CPUtime=1203.43 cores=0,2,4,6
/proc/32194/task/32195/stat : 32195 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 122371 0 0 0 120290 53 0 0 25 0 4 0 652806778 857423872 152246 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32194/tid=32196] ppid=32192 vsize=837328 CPUtime=1190.28 cores=0,2,4,6
/proc/32194/task/32196/stat : 32196 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 171034 0 0 0 118969 59 0 0 25 0 4 0 652806778 857423872 152246 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32194/tid=32197] ppid=32192 vsize=837328 CPUtime=1203.22 cores=0,2,4,6
/proc/32194/task/32197/stat : 32197 (strangenight2-m) R 32192 32194 32059 0 -1 4202560 119652 0 0 0 120279 43 0 0 25 0 4 0 652806778 857423872 152246 33554432000 4194304 4580107 140733720624192 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 837328

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.46
CPU time (s): 4800.46
CPU user time (s): 4798.3
CPU system time (s): 2.15667
CPU usage (%): 398.888
Max. virtual memory (cumulated for all children) (KiB): 940988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.3
system time used= 2.15667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 561323
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= 731
involuntary context switches= 22124

runsolver used 3.78642 second user time and 9.38457 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-15 00:27:38
IDJOB=3366692
IDBENCH=83101
IDSOLVER=1844
FILE ID=node108/3366692-1305412058
RUNJOBID= node108-1305410851-32077
PBS_JOBID= 13324535
Free space on /tmp= 73552 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366692-1305412058/watcher-3366692-1305412058 -o /tmp/evaluation-result-3366692-1305412058/solver-3366692-1305412058 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366692-1305412058.cnf

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

MD5SUM BENCH= a8d280a0ad5a42e6946605bb6356e226
RANDOM SEED=174817425

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17838460 kB
Buffers:        280040 kB
Cached:        4406444 kB
SwapCached:       8700 kB
Active:       11047528 kB
Inactive:      3754128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17838460 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:           10896 kB
Writeback:           0 kB
AnonPages:    10112192 kB
Mapped:          26964 kB
Slab:           207864 kB
PageTables:      38328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52349204 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= 73552 MiB
End job on node108 at 2011-05-15 00:47:44