Trace number 3174190

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.32 1202.34

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf
MD5SUM2b3c7a221faca9e629eac8ef7f1b0cd7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.031995
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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-3174190-1304111675.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.38	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.38	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.38	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.38	c calculated reachability. Time: 0.00
0.00/0.38	c Calc default polars -  time:   0.00 s pos:     295 undec:      81 neg:     274
0.00/0.38	c =========================================================================================
0.00/0.38	c types(t): F = full restart, N = normal restart
0.00/0.38	c types(t): S = simplification begin/end, E = solution found
0.00/0.38	c restart types(rt): st = static, dy = dynamic
0.00/0.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.38	c  B st     0         0       638      2757         0         0      8327         0   no data   no data
0.00/0.38	c Decided on static restart strategy
0.00/0.38	c  N st     8      4916       638      2757         0      4866      8327    141808   no data   no data
1.97/0.50	c  N st    10     11299       638      2757         0      4496      8327     88696   no data   no data
2.77/0.75	c  N st    11     17043       638      2757         0     10151      8327    241310   no data   no data
4.77/1.20	c  F st    12     25000       638      2757         0     12387      8327    303206   no data   no data
4.77/1.20	c  N st    12     25000       638      2757         0     12387      8327    303206   no data   no data
5.59/1.47	c Decided on static restart strategy
5.59/1.47	c  N st    18     30001       638      2757         0     10664      8327    234482   no data   no data
5.59/1.47	c  S st    18     30001       638      2757         0     10664      8327    234482   no data   no data
5.97/1.50	c  S st    18     30502       638      2757         0     11165      8327    247858   no data   no data
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.50	c blocked clauses removed:       20 vars:      3 tried:         638 T: 0.00 s
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c lits-rem:       206  cl-subs:      505  v-elim:      0  v-fix:    0  time:  0.06 s
5.97/1.58	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
5.97/1.58	c calculated reachability. Time: 0.00
5.97/1.58	c  N st    18     30502       635      2737         0     10629      8267    231126   no data   no data
7.56/1.98	c  N st    20     37613       635      2737         0      9921      8267    194324   no data   no data
9.16/2.36	c  N st    21     44012       635      2737         0     16202      8267    370897   no data   no data
9.58/2.49	c  S st    22     45753       635      2737         0      9142      8267    149038   no data   no data
9.98/2.51	c  S st    22     46256       635      2737         0      9644      8267    162090   no data   no data
9.98/2.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.98/2.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.98/2.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.98/2.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.98/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.98/2.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
9.98/2.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.98/2.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.98/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.98/2.53	c lits-rem:        22  cl-subs:       33  v-elim:      0  v-fix:    0  time:  0.01 s
9.98/2.53	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
9.98/2.54	c vivif2 --  cl tried     9611 cl shrink        0 lits rem          0 time: 0.00
9.98/2.54	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
9.98/2.54	c calculated reachability. Time: 0.00
9.98/2.54	c  N st    22     46256       635      2737         0      9611      8267    161132   no data   no data
17.41/4.86	c  N st    23     60653       635      2737         0     13961      8267    282813   no data   no data
20.20/5.53	c  N st    24     69385       635      2737         0     11755      8267    206497   no data   no data
20.20/5.53	c  S st    24     69385       635      2737         0     11755      8267    206497   no data   no data
20.20/5.57	c  S st    24     69888       635      2737         0     12258      8267    219519   no data   no data
20.20/5.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.20/5.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
20.20/5.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20.20/5.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.20/5.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.20/5.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
20.20/5.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
20.20/5.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
20.20/5.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.59/5.60	c lits-rem:        22  cl-subs:      101  v-elim:      0  v-fix:    0  time:  0.02 s
20.59/5.60	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
20.59/5.60	c vivif2 --  cl tried    12157 cl shrink        0 lits rem          0 time: 0.00
20.59/5.61	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
20.59/5.61	c calculated reachability. Time: 0.00
20.59/5.61	c  N st    24     69888       635      2737         0     12157      8267    216225   no data   no data
26.57/7.11	c  F st    25     87500       635      2737         0     17723      8267    374345   no data   no data
26.57/7.11	c  N st    25     87500       635      2737         0     17723      8267    374345   no data   no data
28.18/7.53	c Decided on static restart strategy
29.38/7.82	c  N st    32     95543       635      2737         0     25619      8267    594749   no data   no data
32.19/8.55	c  N st    34    104833       635      2737         0     21945      8267    462999   no data   no data
32.19/8.55	c  S st    34    104833       635      2737         0     21945      8267    462999   no data   no data
32.57/8.60	c  S st    34    105336       635      2737         0     22448      8267    477091   no data   no data
32.57/8.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.57/8.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
32.57/8.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
32.57/8.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.57/8.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.57/8.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
32.57/8.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
32.57/8.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
32.57/8.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.36/8.86	c lits-rem:       151  cl-subs:      858  v-elim:      0  v-fix:    0  time:  0.22 s
33.36/8.86	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
33.36/8.86	c vivif2 --  cl tried    21590 cl shrink        0 lits rem          0 time: 0.01
33.36/8.88	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
33.36/8.88	c calculated reachability. Time: 0.00
33.36/8.88	c  N st    34    105336       635      2737         0     21590      8267    449538   no data   no data
36.95/9.77	c  N st    35    114934       635      2737         0     17259      8267    302706   no data   no data
42.54/11.13	c  N st    36    129334       635      2737         0     16712      8267    264527   no data   no data
50.93/13.23	c  N st    37    150930       635      2737         0     22237      8267    423331   no data   no data
53.33/13.88	c  S st    38    158004       635      2737         0     29205      8267    634572   no data   no data
53.74/13.96	c  S st    38    158507       635      2737         0     29707      8267    647965   no data   no data
53.74/13.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.74/13.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
53.74/13.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
53.74/13.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.74/13.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.74/13.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
53.74/13.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
53.74/13.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
53.74/13.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.32/14.38	c lits-rem:       466  cl-subs:      954  v-elim:      0  v-fix:    0  time:  0.38 s
55.32/14.38	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
55.32/14.39	c vivif2 --  cl tried    28753 cl shrink        0 lits rem          0 time: 0.01
55.72/14.40	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.02
55.72/14.41	c calculated reachability. Time: 0.00
55.72/14.41	c  N st    38    158507       635      2737         0     28753      8267    616604   no data   no data
76.89/19.74	c  N st    39    207097       635      2737         0     23389      8267    405821   no data   no data
91.23/23.31	c  N st    40    237761       635      2737         0     33899      8267    706829   no data   no data
91.23/23.31	c  S st    40    237761       635      2737         0     33899      8267    706829   no data   no data
91.23/23.39	c  S st    40    238264       635      2737         0     34402      8267    720884   no data   no data
91.23/23.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
91.63/23.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
91.63/23.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
91.63/23.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.63/23.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.63/23.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
91.63/23.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
91.63/23.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
91.63/23.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.65/23.91	c lits-rem:       282  cl-subs:      869  v-elim:      0  v-fix:    0  time:  0.47 s
93.65/23.91	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
93.65/23.92	c vivif2 --  cl tried    33533 cl shrink        0 lits rem          0 time: 0.01
93.65/23.94	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.02
93.65/23.94	c calculated reachability. Time: 0.00
93.65/23.94	c  N st    40    238264       635      2737         0     33533      8267    691121   no data   no data
127.97/32.50	c  F st    41    306250       635      2737         0     35412      8267    689025   no data   no data
127.97/32.50	c  N st    41    306250       635      2737         0     35412      8267    689025   no data   no data
130.37/33.18	c Decided on static restart strategy
141.97/36.05	c  N st    51    334555       635      2737         0     39738      8267    797611   no data   no data
152.72/38.79	c  N st    53    357398       635      2737         0     37556      8267    678930   no data   no data
152.72/38.79	c  S st    53    357398       635      2737         0     37556      8267    678930   no data   no data
153.13/38.89	c  S st    53    357902       635      2737         0     38060      8267    692062   no data   no data
153.13/38.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
153.53/38.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
153.53/38.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
153.53/38.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
153.53/38.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.53/38.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
153.53/38.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
153.53/38.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
153.53/38.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
155.52/39.42	c lits-rem:       203  cl-subs:     1560  v-elim:      0  v-fix:    0  time:  0.48 s
155.52/39.42	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
155.52/39.43	c vivif2 --  cl tried    36500 cl shrink        0 lits rem          0 time: 0.01
155.52/39.45	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.02
155.52/39.46	c calculated reachability. Time: 0.00
155.52/39.46	c  N st    53    357902       635      2737         0     36500      8267    648360   no data   no data
173.89/44.06	c  N st    54    390294       635      2737         0     42783      8267    833418   no data   no data
201.05/50.85	c  N st    55    438884       635      2737         0     36754      8267    634886   no data   no data
248.16/62.66	c  N st    56    511769       635      2737         0     50150      8267   1040804   no data   no data
264.96/66.82	c  N st    57    536853       635      2737         0     44374      8267    804712   no data   no data
264.96/66.82	c  S st    57    536853       635      2737         0     44374      8267    804712   no data   no data
265.34/66.93	c  S st    57    537361       635      2737         0     44882      8267    818534   no data   no data
265.34/66.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
265.34/66.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
265.34/66.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
265.34/66.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
265.34/66.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
265.34/66.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
265.34/66.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
265.34/66.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
265.34/66.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.13/67.62	c lits-rem:       184  cl-subs:     1108  v-elim:      0  v-fix:    0  time:  0.63 s
268.13/67.62	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
268.13/67.63	c vivif2 --  cl tried    43774 cl shrink        0 lits rem          0 time: 0.01
268.13/67.67	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.03
268.13/67.67	c calculated reachability. Time: 0.00
268.13/67.67	c  N st    57    537361       635      2737         0     43774      8267    781096   no data   no data
385.10/96.97	c  N st    58    701345       635      2737         0     37703      8267    483208   no data   no data
468.95/117.92	c  N st    59    806042       635      2737         0     66828      8267   1342085   no data   no data
468.95/117.92	c  S st    59    806042       635      2737         0     66828      8267   1342085   no data   no data
469.75/118.12	c  S st    59    806546       635      2737         0     67329      8267   1356254   no data   no data
469.75/118.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
469.75/118.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
469.75/118.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
469.75/118.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.75/118.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.75/118.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
469.75/118.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
469.75/118.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
470.15/118.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
490.12/123.23	c lits-rem:       360  cl-subs:     4288  v-elim:      0  v-fix:    0  time:  4.99 s
490.12/123.23	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
490.12/123.25	c vivif2 --  cl tried    63041 cl shrink        0 lits rem          0 time: 0.02
490.51/123.31	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.06
490.51/123.31	c calculated reachability. Time: 0.00
490.51/123.31	c  N st    59    806546       635      2737         0     63041      8267   1223137   no data   no data
726.49/182.46	c  F st    60   1071876       635      2737         0     78964      8267   1640841   no data   no data
726.49/182.46	c  N st    60   1071876       635      2737         0     78964      8267   1640841   no data   no data
732.47/183.99	c Decided on static restart strategy
751.25/188.64	c  N st    70   1100177       635      2737         0     62837      8267   1065897   no data   no data
788.79/198.05	c  N st    72   1136170       635      2737         0     53028      8267    728946   no data   no data
821.52/206.21	c  N st    73   1168562       635      2737         0     84805      8267   1712811   no data   no data
868.63/218.05	c  N st    74   1209819       635      2737         0     79398      8267   1529490   no data   no data
868.63/218.05	c  S st    74   1209819       635      2737         0     79398      8267   1529490   no data   no data
869.83/218.31	c  S st    74   1210325       635      2737         0     79904      8267   1543806   no data   no data
869.83/218.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
869.83/218.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
869.83/218.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
869.83/218.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
869.83/218.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
869.83/218.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
869.83/218.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
869.83/218.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
870.23/218.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
882.19/221.41	c lits-rem:       663  cl-subs:     1912  v-elim:      0  v-fix:    0  time:  2.95 s
882.19/221.41	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
882.19/221.43	c vivif2 --  cl tried    77992 cl shrink        0 lits rem          0 time: 0.02
882.59/221.51	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.08
882.59/221.51	c calculated reachability. Time: 0.00
882.59/221.51	c  N st    74   1210325       635      2737         0     77992      8267   1477032   no data   no data
955.65/239.89	c  N st    75   1283208       635      2737         0     54206      8267    682886   no data   no data
1067.05/267.72	c  N st    76   1392534       635      2737         0     62128      8267    860344   no data   no data
1243.54/311.92	c  N st    77   1556520       635      2737         0     67025      8267    957874   no data   no data
1412.02/354.17	c  N st    78   1710326       635      2737         0    109200      8267   2207920   no data   no data
1412.02/354.17	c  S st    78   1710326       635      2737         0    109200      8267   2207920   no data   no data
1413.62/354.52	c  S st    78   1710826       635      2737         0    109700      8267   2221783   no data   no data
1413.62/354.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1413.62/354.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1413.62/354.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1413.62/354.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1413.62/354.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1413.62/354.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
1413.62/354.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1414.03/354.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1414.03/354.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1476.72/370.32	c lits-rem:      1351  cl-subs:     7417  v-elim:      0  v-fix:    0  time: 15.53 s
1476.72/370.32	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
1476.72/370.35	c vivif2 --  cl tried   102283 cl shrink        0 lits rem          0 time: 0.03
1477.12/370.46	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.11
1477.12/370.47	c calculated reachability. Time: 0.00
1477.12/370.47	c  N st    78   1710826       635      2737         0    102283      8267   2008821   no data   no data
1923.55/482.27	c  N st    79   2079790       635      2737         0    113839      8267   2225286   no data   no data
2088.89/523.62	c  N st    80   2210826       635      2737         0    118238      8267   2389740   no data   no data
2088.89/523.62	c  S st    80   2210826       635      2737         0    118238      8267   2389740   no data   no data
2090.48/524.02	c  S st    80   2211328       635      2737         0    118739      8267   2403917   no data   no data
2090.48/524.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2090.48/524.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2090.48/524.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2090.48/524.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2090.48/524.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2090.48/524.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
2090.48/524.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2090.88/524.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2091.28/524.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2142.37/537.08	c lits-rem:       725  cl-subs:     4960  v-elim:      0  v-fix:    0  time: 12.78 s
2142.37/537.08	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
2142.77/537.11	c vivif2 --  cl tried   113779 cl shrink        0 lits rem          0 time: 0.03
2143.17/537.24	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.13
2143.17/537.24	c calculated reachability. Time: 0.00
2143.17/537.24	c  N st    80   2211328       635      2737         0    113779      8267   2248567   no data   no data
2817.38/706.07	c  N st    81   2711328       635      2737         0    137075      8267   2959538   no data   no data
2817.38/706.07	c  S st    81   2711328       635      2737         0    137075      8267   2959538   no data   no data
2819.38/706.52	c  S st    81   2711833       635      2737         0    137578      8267   2974205   no data   no data
2819.38/706.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2819.78/706.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2819.78/706.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2819.78/706.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2819.78/706.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2819.78/706.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
2819.78/706.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2819.78/706.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2820.18/706.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2942.04/737.20	c lits-rem:      1010  cl-subs:     9144  v-elim:      0  v-fix:    0  time: 30.31 s
2942.04/737.20	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
2942.04/737.24	c vivif2 --  cl tried   128434 cl shrink        0 lits rem          0 time: 0.04
2942.44/737.39	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.15
2942.84/737.40	c calculated reachability. Time: 0.00
2942.84/737.40	c  N st    81   2711833       635      2737         0    128434      8267   2681169   no data   no data
3664.80/918.12	c  N st    82   3211833       635      2737         0    104025      8267   1641735   no data   no data
3664.80/918.12	c  S st    82   3211833       635      2737         0    104025      8267   1641735   no data   no data
3665.98/918.44	c  S st    82   3212338       635      2737         0    104529      8267   1656923   no data   no data
3665.98/918.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3666.38/918.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3666.38/918.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3666.38/918.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3666.38/918.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3666.38/918.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
3666.38/918.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3666.38/918.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3666.38/918.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3684.76/923.15	c lits-rem:       408  cl-subs:     3378  v-elim:      0  v-fix:    0  time:  4.55 s
3684.76/923.15	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
3684.76/923.17	c vivif2 --  cl tried   101151 cl shrink        0 lits rem          0 time: 0.02
3685.16/923.28	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.10
3685.16/923.28	c calculated reachability. Time: 0.00
3685.16/923.28	c  N st    82   3212338       635      2737         0    101151      8267   1554487   no data   no data
4490.62/1124.85	c  N st    83   3712339       635      2737         0    111944      8267   1785145   no data   no data
4490.62/1124.85	c  S st    83   3712339       635      2737         0    111944      8267   1785145   no data   no data
4492.22/1125.20	c  S st    83   3712844       635      2737         0    112449      8267   1799599   no data   no data
4492.22/1125.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4492.22/1125.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4492.22/1125.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4492.22/1125.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4492.22/1125.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4492.22/1125.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
4492.22/1125.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4492.62/1125.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4492.62/1125.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4516.59/1131.39	c lits-rem:       306  cl-subs:     4051  v-elim:      0  v-fix:    0  time:  6.01 s
4516.59/1131.39	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
4516.99/1131.42	c vivif2 --  cl tried   108398 cl shrink        0 lits rem          0 time: 0.03
4517.40/1131.54	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.12
4517.40/1131.54	c calculated reachability. Time: 0.00
4517.40/1131.54	c  N st    83   3712844       635      2737         0    108398      8267   1674542   no data   no data
4591.70/1150.13	c  F st    84   3751565       635      2737         0    146430      8267   2805205   no data   no data
4591.70/1150.13	c  N st    84   3751565       635      2737         0    146430      8267   2805205   no data   no data
4604.88/1153.43	c Decided on static restart strategy
4654.42/1165.80	c  N st    94   3779874       635      2737         0     91004      8267   1070395   no data   no data
4707.96/1179.20	c  N st    96   3815867       635      2737         0    126324      8267   2173311   no data   no data
4769.48/1194.63	c  N st    97   3848259       635      2737         0    158136      8267   3176231   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-3174190-1304111675/watcher-3174190-1304111675 -o /tmp/evaluation-result-3174190-1304111675/solver-3174190-1304111675 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174190-1304111675.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.10 8.08 8.00 6/178 14348
/proc/meminfo: memFree=30974004/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 522766172 52441088 347 33554432000 4194304 4627427 140734815648336 18446744073709551615 47601424222130 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14348/statm: 12803 347 299 106 0 7774 0
[pid=14348/tid=14349] ppid=14346 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522766172 52441088 347 33554432000 4194304 4627427 140734815648336 18446744073709551615 47601424222130 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522766172 52441088 347 33554432000 4194304 4627427 140734815648336 18446744073709551615 242982347830 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522766172 52441088 347 33554432000 4194304 4627427 140734815648336 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.387865 s]
/proc/loadavg: 8.10 8.08 8.00 6/178 14348
/proc/meminfo: memFree=30974004/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=284336 CPUtime=1.52 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 3298 0 0 0 152 0 0 0 25 0 4 0 522766172 291160064 2491 33554432000 4194304 4627427 140734815648336 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14348/statm: 71084 2491 385 106 0 66055 0
[pid=14348/tid=14349] ppid=14346 vsize=284336 CPUtime=0.38 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 756 0 0 0 38 0 0 0 18 0 4 0 522766172 291160064 2492 33554432000 4194304 4627427 140734815648336 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=284336 CPUtime=0.37 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 738 0 0 0 37 0 0 0 18 0 4 0 522766172 291160064 2492 33554432000 4194304 4627427 140734815648336 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=284336 CPUtime=0.37 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 678 0 0 0 37 0 0 0 18 0 4 0 522766172 291160064 2492 33554432000 4194304 4627427 140734815648336 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 284336

[startup+0.400787 s]
/proc/loadavg: 8.10 8.08 8.00 6/178 14348
/proc/meminfo: memFree=30974004/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=284336 CPUtime=1.57 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 3336 0 0 0 157 0 0 0 25 0 4 0 522766172 291160064 2529 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 71084 2529 385 106 0 66055 0
[pid=14348/tid=14349] ppid=14346 vsize=284336 CPUtime=0.39 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 765 0 0 0 39 0 0 0 18 0 4 0 522766172 291160064 2529 33554432000 4194304 4627427 140734815648336 18446744073709551615 4332278 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=284336 CPUtime=0.39 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 750 0 0 0 39 0 0 0 18 0 4 0 522766172 291160064 2529 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=284336 CPUtime=0.39 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 688 0 0 0 39 0 0 0 18 0 4 0 522766172 291160064 2529 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 284336

[startup+0.500771 s]
/proc/loadavg: 8.10 8.08 8.00 6/178 14348
/proc/meminfo: memFree=30974004/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=285244 CPUtime=1.97 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 4129 0 0 0 197 0 0 0 25 0 4 0 522766172 292089856 2283 33554432000 4194304 4627427 140734815648336 18446744073709551615 4333536 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 71311 2283 385 106 0 66282 0
[pid=14348/tid=14349] ppid=14346 vsize=285244 CPUtime=0.49 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 971 0 0 0 49 0 0 0 18 0 4 0 522766172 292089856 2283 33554432000 4194304 4627427 140734815648336 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=285244 CPUtime=0.48 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 947 0 0 0 48 0 0 0 18 0 4 0 522766172 292089856 2283 33554432000 4194304 4627427 140734815648336 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=285244 CPUtime=0.49 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 892 0 0 0 49 0 0 0 18 0 4 0 522766172 292089856 2283 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 285244

[startup+0.700736 s]
/proc/loadavg: 8.10 8.08 8.00 6/178 14348
/proc/meminfo: memFree=30974004/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=285244 CPUtime=2.77 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 4696 0 0 0 277 0 0 0 25 0 4 0 522766172 292089856 2850 33554432000 4194304 4627427 140734815648336 18446744073709551615 4327622 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 71311 2850 385 106 0 66282 0
[pid=14348/tid=14349] ppid=14346 vsize=285244 CPUtime=0.69 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 1122 0 0 0 69 0 0 0 18 0 4 0 522766172 292089856 2850 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=285244 CPUtime=0.68 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 1094 0 0 0 68 0 0 0 18 0 4 0 522766172 292089856 2850 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=285244 CPUtime=0.69 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 1029 0 0 0 69 0 0 0 18 0 4 0 522766172 292089856 2850 33554432000 4194304 4627427 140734815648336 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285244

[startup+1.5006 s]
/proc/loadavg: 8.10 8.08 8.00 9/182 14352
/proc/meminfo: memFree=30959464/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=286940 CPUtime=5.97 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 8156 0 0 0 596 1 0 0 25 0 4 0 522766172 293826560 3459 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 71735 3459 386 106 0 66706 0
[pid=14348/tid=14349] ppid=14346 vsize=286940 CPUtime=1.49 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 1983 0 0 0 149 0 0 0 20 0 4 0 522766172 293826560 3459 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=286940 CPUtime=1.48 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 1984 0 0 0 148 0 0 0 20 0 4 0 522766172 293826560 3459 33554432000 4194304 4627427 140734815648336 18446744073709551615 4327901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=286940 CPUtime=1.48 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 1914 0 0 0 148 0 0 0 20 0 4 0 522766172 293826560 3459 33554432000 4194304 4627427 140734815648336 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286940

[startup+3.80725 s]
/proc/loadavg: 8.17 8.10 8.01 9/182 14352
/proc/meminfo: memFree=30934912/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=293884 CPUtime=14.44 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 21229 0 0 0 1440 4 0 0 25 0 4 0 522766172 300937216 10534 33554432000 4194304 4627427 140734815648336 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 73471 10752 389 106 0 68442 0
[pid=14348/tid=14349] ppid=14346 vsize=293884 CPUtime=4.26 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 7059 0 0 0 425 1 0 0 25 0 4 0 522766172 300937216 12691 33554432000 4194304 4627427 140734815648336 18446744073709551615 4427688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=294096 CPUtime=4.43 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 6489 0 0 0 442 1 0 0 25 0 4 0 522766172 301154304 12162 33554432000 4194304 4627427 140734815648336 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=294096 CPUtime=4.07 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 5552 0 0 0 407 0 0 0 25 0 4 0 522766172 301154304 12250 33554432000 4194304 4627427 140734815648336 18446744073709551615 4330102 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.44
Current children cumulated vsize (KiB) 293884

[startup+6.30677 s]
/proc/loadavg: 8.17 8.10 8.01 9/182 14352
/proc/meminfo: memFree=30911448/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=304040 CPUtime=23.4 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 28836 0 0 0 2331 9 0 0 25 0 4 0 522766172 311336960 13674 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 76010 13674 389 106 0 70981 0
[pid=14348/tid=14349] ppid=14346 vsize=304040 CPUtime=6.29 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 8359 0 0 0 627 2 0 0 25 0 4 0 522766172 311336960 13674 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=304040 CPUtime=6.29 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 7551 0 0 0 627 2 0 0 25 0 4 0 522766172 311336960 13674 33554432000 4194304 4627427 140734815648336 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=304040 CPUtime=5.86 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 6790 0 0 0 585 1 0 0 25 0 4 0 522766172 311336960 13674 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.4
Current children cumulated vsize (KiB) 304040

[startup+12.7007 s]
/proc/loadavg: 8.16 8.10 8.01 9/182 14352
/proc/meminfo: memFree=30875140/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=323476 CPUtime=48.94 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 48011 0 0 0 4881 13 0 0 25 0 4 0 522766172 331239424 22134 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 80869 22134 389 106 0 75840 0
[pid=14348/tid=14349] ppid=14346 vsize=323476 CPUtime=12.69 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 13047 0 0 0 1266 3 0 0 25 0 4 0 522766172 331239424 22134 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=323476 CPUtime=12.67 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 12594 0 0 0 1265 2 0 0 25 0 4 0 522766172 331239424 22134 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=323476 CPUtime=12.25 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 12344 0 0 0 1223 2 0 0 25 0 4 0 522766172 331239424 22134 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.94
Current children cumulated vsize (KiB) 323476

[startup+25.5005 s]
/proc/loadavg: 8.12 8.09 8.00 9/182 14353
/proc/meminfo: memFree=30877724/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=331560 CPUtime=100.03 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 77625 0 0 0 9981 22 0 0 25 0 4 0 522766172 339517440 32275 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309130 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 82890 32275 389 106 0 77861 0
[pid=14348/tid=14349] ppid=14346 vsize=331560 CPUtime=25.48 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 21565 0 0 0 2543 5 0 0 25 0 4 0 522766172 339517440 32275 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=331560 CPUtime=25.47 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 20391 0 0 0 2543 4 0 0 25 0 4 0 522766172 339517440 32275 33554432000 4194304 4627427 140734815648336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=331560 CPUtime=25.04 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 17797 0 0 0 2500 4 0 0 25 0 4 0 522766172 339517440 32275 33554432000 4194304 4627427 140734815648336 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (KiB) 331560

[startup+51.1011 s]
/proc/loadavg: 8.08 8.08 8.00 9/182 14353
/proc/meminfo: memFree=30837672/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=321792 CPUtime=202.25 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 112224 0 0 0 20194 31 0 0 25 0 4 0 522766172 329515008 37618 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 80448 37618 389 106 0 75419 0
[pid=14348/tid=14349] ppid=14346 vsize=321792 CPUtime=51.08 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 30336 0 0 0 5101 7 0 0 25 0 4 0 522766172 329515008 37618 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=321792 CPUtime=51.05 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 28105 0 0 0 5099 6 0 0 25 0 4 0 522766172 329515008 37618 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=321792 CPUtime=50.61 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 27789 0 0 0 5056 5 0 0 25 0 4 0 522766172 329515008 37618 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.25
Current children cumulated vsize (KiB) 321792

[startup+102.3 s]
/proc/loadavg: 8.07 8.08 8.00 9/182 14355
/proc/meminfo: memFree=30780840/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=335668 CPUtime=406.66 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 165827 0 0 0 40618 48 0 0 25 0 4 0 522766172 343724032 48042 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 83917 48042 389 106 0 78888 0
[pid=14348/tid=14349] ppid=14346 vsize=335668 CPUtime=102.26 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 47416 0 0 0 10215 11 0 0 25 0 4 0 522766172 343724032 48042 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=335668 CPUtime=102.21 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 35407 0 0 0 10213 8 0 0 25 0 4 0 522766172 343724032 48042 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=335668 CPUtime=101.78 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 45593 0 0 0 10167 11 0 0 25 0 4 0 522766172 343724032 48042 33554432000 4194304 4627427 140734815648336 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.66
Current children cumulated vsize (KiB) 335668

[startup+162.301 s]

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

[pid=14348] ppid=14346 vsize=617456 CPUtime=2562.89 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 452091 0 0 0 256113 176 0 0 25 0 4 0 522766172 632274944 95231 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 154364 95231 389 106 0 149335 0
[pid=14348/tid=14349] ppid=14346 vsize=617456 CPUtime=642.2 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 143594 0 0 0 64172 48 0 0 25 0 4 0 522766172 632274944 95231 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=617456 CPUtime=641.92 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 84765 0 0 0 64162 30 0 0 25 0 4 0 522766172 632274944 95231 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=617456 CPUtime=641.58 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 130161 0 0 0 64114 44 0 0 25 0 4 0 522766172 632274944 95231 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562.89
Current children cumulated vsize (KiB) 617456

[startup+702.301 s]
/proc/loadavg: 5.39 7.31 7.76 5/173 14389
/proc/meminfo: memFree=30875012/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=693500 CPUtime=2802.6 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 480968 0 0 0 280070 190 0 0 25 0 4 0 522766172 710144000 103868 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 173375 103868 389 106 0 168346 0
[pid=14348/tid=14349] ppid=14346 vsize=693500 CPUtime=702.21 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 153618 0 0 0 70170 51 0 0 25 0 4 0 522766172 710144000 103868 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=693500 CPUtime=701.92 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 87752 0 0 0 70160 32 0 0 25 0 4 0 522766172 710144000 103868 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=693500 CPUtime=701.58 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 139410 0 0 0 70110 48 0 0 25 0 4 0 522766172 710144000 103868 33554432000 4194304 4627427 140734815648336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.6
Current children cumulated vsize (KiB) 693500

[startup+762.301 s]
/proc/loadavg: 4.57 6.72 7.52 5/173 14390
/proc/meminfo: memFree=30871380/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=643036 CPUtime=3042.32 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 499263 0 0 0 304030 202 0 0 25 0 4 0 522766172 658468864 104436 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 160759 104436 389 106 0 155730 0
[pid=14348/tid=14349] ppid=14346 vsize=643036 CPUtime=762.21 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 160662 0 0 0 76167 54 0 0 25 0 4 0 522766172 658468864 104436 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=643036 CPUtime=761.92 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 90877 0 0 0 76158 34 0 0 25 0 4 0 522766172 658468864 104436 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=643036 CPUtime=761.58 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 146756 0 0 0 76104 54 0 0 25 0 4 0 522766172 658468864 104436 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.32
Current children cumulated vsize (KiB) 643036

[startup+822.3 s]
/proc/loadavg: 4.21 6.22 7.30 5/173 14392
/proc/meminfo: memFree=30855620/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=758444 CPUtime=3282.05 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 521535 0 0 0 327993 212 0 0 25 0 4 0 522766172 776646656 108648 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 189611 108648 389 106 0 184582 0
[pid=14348/tid=14349] ppid=14346 vsize=758444 CPUtime=822.21 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 168134 0 0 0 82165 56 0 0 25 0 4 0 522766172 776646656 108648 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=758444 CPUtime=821.92 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 93826 0 0 0 82156 36 0 0 25 0 4 0 522766172 776646656 108648 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=758444 CPUtime=821.58 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 154628 0 0 0 82100 58 0 0 25 0 4 0 522766172 776646656 108648 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3282.05
Current children cumulated vsize (KiB) 758444

[startup+882.301 s]
/proc/loadavg: 4.13 5.83 7.10 5/173 14393
/proc/meminfo: memFree=30805876/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=708180 CPUtime=3521.77 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 550004 0 0 0 351954 223 0 0 25 0 4 0 522766172 725176320 120955 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 177045 120955 389 106 0 172016 0
[pid=14348/tid=14349] ppid=14346 vsize=708180 CPUtime=882.21 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 183423 0 0 0 88160 61 0 0 25 0 4 0 522766172 725176320 120955 33554432000 4194304 4627427 140734815648336 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=708180 CPUtime=881.92 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 98720 0 0 0 88154 38 0 0 25 0 4 0 522766172 725176320 120955 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=708180 CPUtime=881.57 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 162156 0 0 0 88096 61 0 0 25 0 4 0 522766172 725176320 120955 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.77
Current children cumulated vsize (KiB) 708180

[startup+942.301 s]
/proc/loadavg: 4.09 5.48 6.89 5/173 14395
/proc/meminfo: memFree=30806968/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=708344 CPUtime=3761.49 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 569279 0 0 0 375918 231 0 0 25 0 4 0 522766172 725344256 120553 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 177086 120553 389 106 0 172057 0
[pid=14348/tid=14349] ppid=14346 vsize=708344 CPUtime=942.22 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 189085 0 0 0 94159 63 0 0 25 0 4 0 522766172 725344256 120553 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=708344 CPUtime=941.93 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 99994 0 0 0 94154 39 0 0 25 0 4 0 522766172 725344256 120553 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=708344 CPUtime=941.58 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 173834 0 0 0 94093 65 0 0 25 0 4 0 522766172 725344256 120553 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3761.49
Current children cumulated vsize (KiB) 708344

[startup+1002.3 s]
/proc/loadavg: 4.03 5.23 6.72 5/173 14397
/proc/meminfo: memFree=30779792/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=710348 CPUtime=4001.19 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 589046 0 0 0 399877 242 0 0 25 0 4 0 522766172 727396352 127470 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 177587 127470 389 106 0 172558 0
[pid=14348/tid=14349] ppid=14346 vsize=710348 CPUtime=1002.21 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 195201 0 0 0 100154 67 0 0 25 0 4 0 522766172 727396352 127470 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=710348 CPUtime=1001.92 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 105559 0 0 0 100151 41 0 0 25 0 4 0 522766172 727396352 127470 33554432000 4194304 4627427 140734815648336 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=710348 CPUtime=1001.58 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 180822 0 0 0 100089 69 0 0 25 0 4 0 522766172 727396352 127470 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4001.19
Current children cumulated vsize (KiB) 710348

[startup+1062.31 s]
/proc/loadavg: 4.05 5.00 6.54 5/173 14398
/proc/meminfo: memFree=30778292/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=711084 CPUtime=4240.95 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 605318 0 0 0 423843 252 0 0 25 0 4 0 522766172 728150016 127766 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 177771 127766 389 106 0 172742 0
[pid=14348/tid=14349] ppid=14346 vsize=711084 CPUtime=1062.22 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 202442 0 0 0 106151 71 0 0 25 0 4 0 522766172 728150016 127766 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=711084 CPUtime=1061.93 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 107962 0 0 0 106150 43 0 0 25 0 4 0 522766172 728150016 127766 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=711084 CPUtime=1061.59 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 186465 0 0 0 106087 72 0 0 25 0 4 0 522766172 728150016 127766 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4240.95
Current children cumulated vsize (KiB) 711084

[startup+1122.3 s]
/proc/loadavg: 4.06 4.84 6.39 5/173 14400
/proc/meminfo: memFree=30742440/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=737080 CPUtime=4480.63 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 627558 0 0 0 447801 262 0 0 25 0 4 0 522766172 754769920 136941 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 184270 136941 389 106 0 179241 0
[pid=14348/tid=14349] ppid=14346 vsize=737080 CPUtime=1122.22 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 211415 0 0 0 112149 73 0 0 25 0 4 0 522766172 754769920 136941 33554432000 4194304 4627427 140734815648336 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=737080 CPUtime=1121.93 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 112144 0 0 0 112148 45 0 0 25 0 4 0 522766172 754769920 136941 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=737080 CPUtime=1121.58 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 192615 0 0 0 112084 74 0 0 25 0 4 0 522766172 754769920 136941 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4480.63
Current children cumulated vsize (KiB) 737080

[startup+1182.3 s]
/proc/loadavg: 4.02 4.68 6.23 5/173 14401
/proc/meminfo: memFree=30756188/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=777180 CPUtime=4720.34 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 644469 0 0 0 471764 270 0 0 25 0 4 0 522766172 795832320 133192 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 194295 133192 389 106 0 189266 0
[pid=14348/tid=14349] ppid=14346 vsize=777180 CPUtime=1182.22 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 215778 0 0 0 118147 75 0 0 25 0 4 0 522766172 795832320 133192 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=777180 CPUtime=1181.93 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 113619 0 0 0 118147 46 0 0 25 0 4 0 522766172 795832320 133192 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=777180 CPUtime=1181.58 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 201529 0 0 0 118081 77 0 0 25 0 4 0 522766172 795832320 133192 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4720.34
Current children cumulated vsize (KiB) 777180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.3 s]
/proc/loadavg: 4.01 4.63 6.18 5/173 14402
/proc/meminfo: memFree=30748988/32951132 swapFree=67111364/67111528
[pid=14348] ppid=14346 vsize=764132 CPUtime=4800.26 cores=0,2,4,6
/proc/14348/stat : 14348 (strangenight2-m) R 14346 14348 13971 0 -1 4202496 650467 0 0 0 479753 273 0 0 25 0 4 0 522766172 782471168 135150 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14348/statm: 191033 135150 389 106 0 186004 0
[pid=14348/tid=14349] ppid=14346 vsize=764132 CPUtime=1202.22 cores=0,2,4,6
/proc/14348/task/14349/stat : 14349 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 218042 0 0 0 120146 76 0 0 25 0 4 0 522766172 782471168 135150 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14348/tid=14350] ppid=14346 vsize=764132 CPUtime=1201.94 cores=0,2,4,6
/proc/14348/task/14350/stat : 14350 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 115450 0 0 0 120147 47 0 0 25 0 4 0 522766172 782471168 135150 33554432000 4194304 4627427 140734815648336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14348/tid=14351] ppid=14346 vsize=764132 CPUtime=1201.59 cores=0,2,4,6
/proc/14348/task/14351/stat : 14351 (strangenight2-m) R 14346 14348 13971 0 -1 4202560 202900 0 0 0 120080 79 0 0 25 0 4 0 522766172 782471168 135150 33554432000 4194304 4627427 140734815648336 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 764132

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): 1202.34
CPU time (s): 4800.32
CPU user time (s): 4797.56
CPU system time (s): 2.76358
CPU usage (%): 399.248
Max. virtual memory (cumulated for all children) (KiB): 878000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.56
system time used= 2.76358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 650467
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= 252
involuntary context switches= 19270

runsolver used 2.05569 second user time and 4.6353 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 23:14:35
IDJOB=3174190
IDBENCH=83008
IDSOLVER=1586
FILE ID=node128/3174190-1304111675
RUNJOBID= node128-1304108698-13990
PBS_JOBID= 13170670
Free space on /tmp= 66968 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174190-1304111675/watcher-3174190-1304111675 -o /tmp/evaluation-result-3174190-1304111675/solver-3174190-1304111675 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174190-1304111675.cnf

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

MD5SUM BENCH= 2b3c7a221faca9e629eac8ef7f1b0cd7
RANDOM SEED=859240534

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30974284 kB
Buffers:        410444 kB
Cached:         777728 kB
SwapCached:          0 kB
Active:         445364 kB
Inactive:      1117972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30974284 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5876 kB
Writeback:           0 kB
AnonPages:      374992 kB
Mapped:          15796 kB
Slab:           351832 kB
PageTables:       5440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   607584 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66968 MiB
End job on node128 at 2011-04-29 23:34:40