Trace number 3266291

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.36 1201.75

General information on the benchmark

NameSAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
MD5SUMf0b7e0675915478b15cab3695fd0fd62
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.035994
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses3432
Sum of the clauses size17000
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32
Number of clauses of size 4156
Number of clauses of size 53274
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-3266291-1304130105.cnf'
0.00/0.00	c -- header says num vars:            220
0.00/0.00	c -- header says num clauses:        3432
0.00/0.00	c -- clauses added:            0 learnts,         3432 normals,            0 xors
0.00/0.00	c -- vars added        220
0.00/0.00	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       220      3432         0         0     17000         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.01
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.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      89 undec:      50 neg:      81
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       220      3432         0         0     17000         0   no data   no data
0.20/0.12	c Decided on static restart strategy
0.60/0.15	c  N st     8      4914       220      3432         0      4796     17000    213180   no data   no data
1.57/0.41	c  N st    10     11297       220      3432         0      4431     17000    141091   no data   no data
2.37/0.68	c  N st    11     17040       220      3432         0      9991     17000    399258   no data   no data
3.99/1.09	c  F st    12     25002       220      3432         0     12288     17000    491429   no data   no data
3.99/1.09	c  N st    12     25002       220      3432         0     12288     17000    491429   no data   no data
5.17/1.30	c Decided on static restart strategy
5.17/1.30	c  N st    18     30001       220      3432         0     10551     17000    376138   no data   no data
5.17/1.30	c  S st    18     30001       220      3432         0     10551     17000    376138   no data   no data
5.17/1.33	c  S st    18     30506       220      3432         0     11050     17000    396125   no data   no data
5.17/1.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.17/1.34	c blocked clauses removed:        0 vars:      0 tried:         220 T: 0.00 s
5.17/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
5.17/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c lits-rem:       174  cl-subs:      548  v-elim:      0  v-fix:    0  time:  0.22 s
6.36/1.60	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.03
6.36/1.61	c calculated reachability. Time: 0.00
6.36/1.61	c  N st    18     30506       220      3432         0     10502     17000    365052   no data   no data
7.57/1.97	c  N st    20     37619       220      3432         0      9716     17000    298511   no data   no data
9.16/2.35	c  N st    21     44018       220      3432         0     15935     17000    588280   no data   no data
9.56/2.46	c  S st    22     45759       220      3432         0      8918     17000    229162   no data   no data
9.56/2.49	c  S st    22     46262       220      3432         0      9419     17000    250457   no data   no data
9.56/2.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.56/2.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
9.56/2.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.97/2.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.54	c lits-rem:        45  cl-subs:       90  v-elim:      0  v-fix:    0  time:  0.04 s
9.97/2.54	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
9.97/2.55	c vivif2 --  cl tried     9329 cl shrink        0 lits rem          0 time: 0.00
9.97/2.58	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.03
9.97/2.58	c calculated reachability. Time: 0.00
9.97/2.58	c  N st    22     46262       220      3432         0      9329     17000    245364   no data   no data
13.56/3.43	c  N st    23     60659       220      3432         0     13632     17000    428549   no data   no data
15.96/4.04	c  N st    24     69395       220      3432         0     11429     17000    301524   no data   no data
15.96/4.04	c  S st    24     69395       220      3432         0     11429     17000    301524   no data   no data
15.96/4.07	c  S st    24     69896       220      3432         0     11928     17000    321913   no data   no data
15.96/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.96/4.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.96/4.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
15.96/4.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
15.96/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.20	c lits-rem:       123  cl-subs:      131  v-elim:      0  v-fix:    0  time:  0.10 s
16.76/4.20	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
16.76/4.20	c vivif2 --  cl tried    11797 cl shrink        0 lits rem          0 time: 0.00
16.76/4.25	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.05
16.76/4.25	c calculated reachability. Time: 0.00
16.76/4.25	c  N st    24     69896       220      3432         0     11797     17000    314533   no data   no data
21.97/5.50	c  F st    25     87501       220      3432         0     17237     17000    561547   no data   no data
21.97/5.51	c  N st    25     87501       220      3432         0     17237     17000    561547   no data   no data
23.14/5.88	c Decided on static restart strategy
23.94/6.09	c  N st    32     95543       220      3432         0     25047     17000    905661   no data   no data
26.74/6.73	c  N st    34    104844       220      3432         0     21466     17000    723924   no data   no data
26.74/6.73	c  S st    34    104844       220      3432         0     21466     17000    723924   no data   no data
27.14/6.80	c  S st    34    105346       220      3432         0     21967     17000    743539   no data   no data
27.14/6.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.14/6.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.14/6.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
27.14/6.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.14/6.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.14/6.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.94/7.58	c lits-rem:       574  cl-subs:      867  v-elim:      0  v-fix:    0  time:  0.74 s
29.94/7.58	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
29.94/7.59	c vivif2 --  cl tried    21100 cl shrink        0 lits rem          0 time: 0.01
30.35/7.66	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.07
30.35/7.66	c calculated reachability. Time: 0.00
30.35/7.66	c  N st    34    105346       220      3432         0     21100     17000    692091   no data   no data
33.53/8.43	c  N st    35    114947       220      3432         0     16816     17000    455412   no data   no data
39.14/9.82	c  N st    36    129345       220      3432         0     16248     17000    399580   no data   no data
45.91/11.58	c  N st    37    150940       220      3432         0     21654     17000    616707   no data   no data
48.71/12.20	c  S st    38    158019       220      3432         0     28535     17000    922440   no data   no data
48.71/12.27	c  S st    38    158523       220      3432         0     29039     17000    943030   no data   no data
48.71/12.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.71/12.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.71/12.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.71/12.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.71/12.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.71/12.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
48.71/12.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.71/12.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.11/12.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.10/13.82	c lits-rem:       870  cl-subs:     1346  v-elim:      0  v-fix:    0  time:  1.50 s
55.10/13.82	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
55.10/13.83	c vivif2 --  cl tried    27693 cl shrink        0 lits rem          0 time: 0.01
55.50/13.92	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.09
55.50/13.92	c calculated reachability. Time: 0.00
55.50/13.92	c  N st    38    158523       220      3432         0     27693     17000    871353   no data   no data
75.07/18.81	c  N st    39    207111       220      3432         0     22385     17000    587575   no data   no data
90.25/22.62	c  N st    40    237784       220      3432         0     32743     17000   1060373   no data   no data
90.25/22.62	c  S st    40    237784       220      3432         0     32743     17000   1060373   no data   no data
90.65/22.72	c  S st    40    238287       220      3432         0     33243     17000   1081103   no data   no data
90.65/22.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.65/22.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
90.65/22.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.65/22.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.65/22.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.65/22.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
90.65/22.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.65/22.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
90.65/22.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
102.23/25.60	c lits-rem:       823  cl-subs:     1347  v-elim:      0  v-fix:    0  time:  2.80 s
102.23/25.60	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
102.23/25.61	c vivif2 --  cl tried    31896 cl shrink        0 lits rem          0 time: 0.01
102.63/25.73	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.11
102.63/25.73	c calculated reachability. Time: 0.00
102.63/25.73	c  N st    40    238287       220      3432         0     31896     17000    999632   no data   no data
132.99/33.32	c  F st    41    306250       220      3432         0     33662     17000   1009254   no data   no data
132.99/33.32	c  N st    41    306250       220      3432         0     33662     17000   1009254   no data   no data
135.39/33.96	c Decided on static restart strategy
144.99/36.35	c  N st    51    334556       220      3432         0     37983     17000   1111423   no data   no data
154.16/38.61	c  N st    53    357432       220      3432         0     35980     17000   1027572   no data   no data
154.16/38.61	c  S st    53    357432       220      3432         0     35980     17000   1027572   no data   no data
154.16/38.69	c  S st    53    357933       220      3432         0     36477     17000   1047580   no data   no data
154.16/38.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
154.56/38.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
154.56/38.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
154.56/38.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.56/38.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.56/38.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
154.56/38.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
154.56/38.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
154.56/38.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
159.76/40.08	c lits-rem:       960  cl-subs:     1059  v-elim:      0  v-fix:    0  time:  1.33 s
159.76/40.08	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
159.76/40.09	c vivif2 --  cl tried    35418 cl shrink        0 lits rem          0 time: 0.01
160.55/40.23	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.13
160.55/40.23	c calculated reachability. Time: 0.00
160.55/40.23	c  N st    53    357933       220      3432         0     35418     17000    988755   no data   no data
175.75/44.01	c  N st    54    390327       220      3432         0     41694     17000   1283409   no data   no data
200.90/50.30	c  N st    55    438915       220      3432         0     35275     17000    905021   no data   no data
237.27/59.46	c  N st    56    511797       220      3432         0     48768     17000   1522855   no data   no data
250.83/62.81	c  N st    57    536901       220      3432         0     43083     17000   1171288   no data   no data
250.83/62.81	c  S st    57    536901       220      3432         0     43083     17000   1171288   no data   no data
251.23/62.92	c  S st    57    537406       220      3432         0     43582     17000   1191901   no data   no data
251.23/62.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.23/62.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
251.23/62.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
251.23/62.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
251.23/62.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.23/62.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
251.23/62.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
251.23/62.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
251.23/62.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.01/65.67	c lits-rem:       630  cl-subs:     1631  v-elim:      0  v-fix:    0  time:  2.68 s
262.01/65.67	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
262.01/65.68	c vivif2 --  cl tried    41951 cl shrink        0 lits rem          0 time: 0.01
262.81/65.86	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.18
262.81/65.86	c calculated reachability. Time: 0.00
262.81/65.86	c  N st    57    537406       220      3432         0     41951     17000   1103669   no data   no data
367.48/92.02	c  N st    58    701390       220      3432         0     35949     17000    687684   no data   no data
441.38/110.53	c  N st    59    806109       220      3432         0     64818     17000   1994552   no data   no data
441.38/110.53	c  S st    59    806109       220      3432         0     64818     17000   1994552   no data   no data
442.18/110.70	c  S st    59    806614       220      3432         0     65317     17000   2014660   no data   no data
442.18/110.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
442.18/110.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
442.18/110.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
442.18/110.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
442.18/110.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.18/110.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
442.18/110.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
442.18/110.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
442.58/110.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
492.50/123.36	c lits-rem:      1562  cl-subs:     3741  v-elim:      0  v-fix:    0  time: 12.55 s
492.50/123.36	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
492.50/123.38	c vivif2 --  cl tried    61576 cl shrink        0 lits rem          0 time: 0.02
493.70/123.69	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.30
493.70/123.69	c calculated reachability. Time: 0.00
493.70/123.69	c  N st    59    806614       220      3432         0     61576     17000   1821026   no data   no data
685.46/171.68	c  F st    60   1071877       220      3432         0     76801     17000   2292972   no data   no data
685.46/171.68	c  N st    60   1071877       220      3432         0     76801     17000   2292972   no data   no data
691.03/173.02	c Decided on static restart strategy
707.03/177.04	c  N st    70   1100183       220      3432         0     61074     17000   1569751   no data   no data
735.37/184.13	c  N st    72   1136177       220      3432         0     51638     17000   1106240   no data   no data
763.34/191.14	c  N st    73   1168569       220      3432         0     83020     17000   2619645   no data   no data
799.31/200.13	c  N st    74   1209922       220      3432         0     77676     17000   2280879   no data   no data
799.31/200.13	c  S st    74   1209922       220      3432         0     77676     17000   2280879   no data   no data
800.49/200.41	c  S st    74   1210423       220      3432         0     78173     17000   2300907   no data   no data
800.49/200.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
800.49/200.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
800.49/200.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
800.49/200.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
800.49/200.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
800.49/200.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
800.49/200.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
800.89/200.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
800.89/200.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
857.60/214.79	c lits-rem:      1634  cl-subs:     3586  v-elim:      0  v-fix:    0  time: 14.21 s
857.60/214.79	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
858.00/214.81	c vivif2 --  cl tried    74587 cl shrink        0 lits rem          0 time: 0.03
859.20/215.17	c asymm  cl-useful: 0/3126/3432 lits-rem:0 time: 0.36
859.20/215.18	c calculated reachability. Time: 0.00
859.20/215.18	c  N st    74   1210423       220      3432         0     74587     17000   2114938   no data   no data
920.72/230.55	c  N st    75   1283307       220      3432         0     51257     17000    973736   no data   no data
1020.59/255.57	c  N st    76   1392630       220      3432         0     59200     17000   1301252   no data   no data
1170.38/293.08	c  N st    77   1556614       220      3432         0     63872     17000   1423438   no data   no data
1321.38/330.86	c  N st    78   1710423       220      3432         0    104935     17000   3361128   no data   no data
1321.38/330.86	c  S st    78   1710423       220      3432         0    104935     17000   3361128   no data   no data
1322.98/331.23	c  S st    78   1710926       220      3432         0    105435     17000   3382594   no data   no data
1322.98/331.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1323.38/331.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
1323.38/331.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1323.38/331.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1323.38/331.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1323.38/331.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
1323.38/331.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1323.38/331.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1323.78/331.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1482.36/371.17	c lits-rem:      6272  cl-subs:     7153  v-elim:      0  v-fix:    0  time: 39.69 s
1482.36/371.17	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
1482.76/371.20	c vivif2 --  cl tried    98282 cl shrink        0 lits rem          0 time: 0.04
1483.96/371.59	c asymm  cl-useful: 0/2485/3432 lits-rem:0 time: 0.38
1483.96/371.59	c calculated reachability. Time: 0.00
1483.96/371.59	c  N st    78   1710926       220      3432         0     98282     17000   2994612   no data   no data
1849.88/463.12	c  N st    79   2079890       220      3432         0    110202     17000   3445528   no data   no data
1990.10/498.27	c  N st    80   2210926       220      3432         0    114369     17000   3675540   no data   no data
1990.10/498.27	c  S st    80   2210926       220      3432         0    114369     17000   3675540   no data   no data
1991.27/498.59	c  S st    80   2211433       220      3432         0    114873     17000   3696609   no data   no data
1991.67/498.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1991.67/498.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1991.67/498.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1991.67/498.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1991.67/498.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1991.67/498.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
1991.67/498.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1992.07/498.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1992.47/498.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2130.71/533.43	c lits-rem:      4959  cl-subs:     5457  v-elim:      0  v-fix:    0  time: 34.63 s
2130.71/533.44	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
2130.71/533.48	c vivif2 --  cl tried   109416 cl shrink        0 lits rem          0 time: 0.04
2131.49/533.67	c asymm  cl-useful: 0/947/3432 lits-rem:0 time: 0.19
2131.49/533.67	c calculated reachability. Time: 0.00
2131.49/533.67	c  N st    80   2211433       220      3432         0    109416     17000   3374580   no data   no data
2684.76/672.11	c  N st    81   2711434       220      3432         0    132201     17000   4086030   no data   no data
2684.76/672.12	c  S st    81   2711434       220      3432         0    132201     17000   4086030   no data   no data
2685.93/672.49	c  S st    81   2711939       220      3432         0    132699     17000   4106296   no data   no data
2686.33/672.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2686.33/672.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2686.33/672.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2686.33/672.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2686.33/672.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2686.33/672.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
2686.33/672.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2686.73/672.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
2687.14/672.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2944.78/737.28	c lits-rem:      3322  cl-subs:     9886  v-elim:      0  v-fix:    0  time: 64.55 s
2944.78/737.28	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
2945.19/737.33	c vivif2 --  cl tried   122813 cl shrink        0 lits rem          0 time: 0.05
2946.79/737.74	c asymm  cl-useful: 0/1957/3432 lits-rem:0 time: 0.41
2946.79/737.74	c calculated reachability. Time: 0.00
2946.79/737.74	c  N st    81   2711939       220      3432         0    122813     17000   3644152   no data   no data
3625.86/907.72	c  N st    82   3211939       220      3432         0     99227     17000   2356543   no data   no data
3625.86/907.72	c  S st    82   3211939       220      3432         0     99227     17000   2356543   no data   no data
3627.07/908.09	c  S st    82   3212443       220      3432         0     99723     17000   2378030   no data   no data
3627.47/908.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3627.47/908.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.07
3627.47/908.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3627.47/908.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3627.47/908.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3627.47/908.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
3627.47/908.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3627.87/908.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3627.87/908.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3700.97/926.52	c lits-rem:       938  cl-subs:     3315  v-elim:      0  v-fix:    0  time: 18.24 s
3700.97/926.52	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
3700.97/926.55	c vivif2 --  cl tried    96408 cl shrink        0 lits rem          0 time: 0.04
3702.17/926.88	c asymm  cl-useful: 0/1475/3432 lits-rem:0 time: 0.33
3702.17/926.89	c calculated reachability. Time: 0.00
3702.17/926.89	c  N st    82   3212443       220      3432         0     96408     17000   2216277   no data   no data
4437.99/1111.02	c  N st    83   3712443       220      3432         0    107480     17000   2606313   no data   no data
4437.99/1111.02	c  S st    83   3712443       220      3432         0    107480     17000   2606313   no data   no data
4439.17/1111.39	c  S st    83   3712946       220      3432         0    107978     17000   2626733   no data   no data
4439.57/1111.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4439.57/1111.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4439.57/1111.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4439.57/1111.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4439.57/1111.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4439.57/1111.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
4439.57/1111.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4439.97/1111.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4439.97/1111.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4498.69/1126.29	c lits-rem:       983  cl-subs:     3388  v-elim:      0  v-fix:    0  time: 14.71 s
4498.69/1126.29	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
4499.10/1126.33	c vivif2 --  cl tried   104590 cl shrink        0 lits rem          0 time: 0.03
4500.68/1126.72	c asymm  cl-useful: 0/2347/3432 lits-rem:0 time: 0.39
4500.68/1126.72	c calculated reachability. Time: 0.00
4500.68/1126.72	c  N st    83   3712946       220      3432         0    104590     17000   2444029   no data   no data
4559.00/1141.38	c  F st    84   3751562       220      3432         0    141963     17000   4225143   no data   no data
4559.00/1141.38	c  N st    84   3751562       220      3432         0    141963     17000   4225143   no data   no data
4570.58/1144.21	c Decided on static restart strategy
4605.74/1153.08	c  N st    94   3779872       220      3432         0     87310     17000   1539516   no data   no data
4648.08/1163.68	c  N st    96   3815865       220      3432         0    122186     17000   3200502   no data   no data
4696.02/1175.64	c  N st    97   3848257       220      3432         0    153377     17000   4635614   no data   no data
4757.53/1191.05	c  N st    98   3896847       220      3432         0    117146     17000   2923307   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-3266291-1304130105/watcher-3266291-1304130105 -o /tmp/evaluation-result-3266291-1304130105/solver-3266291-1304130105 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3266291-1304130105.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.00 6.12 6.29 6/180 11124
/proc/meminfo: memFree=20539448/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 524610221 52441088 347 33554432000 4194304 4627427 140735513204560 18446744073709551615 47345844746156 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 12803 347 299 106 0 7774 0
[pid=11124/tid=11125] ppid=11122 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524610221 52441088 347 33554432000 4194304 4627427 140735513204560 18446744073709551615 47345844746156 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524610221 52441088 347 33554432000 4194304 4627427 140735513204560 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524610221 52441088 347 33554432000 4194304 4627427 140735513204560 18446744073709551615 47345844746162 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0565739 s]
/proc/loadavg: 8.00 6.12 6.29 6/180 11124
/proc/meminfo: memFree=20539448/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=282348 CPUtime=0.2 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 1891 0 0 0 20 0 0 0 25 0 4 0 524610221 289124352 1670 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 70587 1670 383 106 0 65558 0
[pid=11124/tid=11125] ppid=11122 vsize=282348 CPUtime=0.05 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 407 0 0 0 5 0 0 0 18 0 4 0 524610221 289124352 1670 33554432000 4194304 4627427 140735513204560 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=282348 CPUtime=0.04 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 398 0 0 0 4 0 0 0 25 0 4 0 524610221 289124352 1670 33554432000 4194304 4627427 140735513204560 18446744073709551615 4330930 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=282348 CPUtime=0.05 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 259 0 0 0 5 0 0 0 25 0 4 0 524610221 289124352 1670 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282348

[startup+0.156556 s]
/proc/loadavg: 8.00 6.12 6.29 6/180 11124
/proc/meminfo: memFree=20539448/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=283012 CPUtime=0.6 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 2725 0 0 0 60 0 0 0 25 0 4 0 524610221 289804288 2259 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 70753 2259 384 106 0 65724 0
[pid=11124/tid=11125] ppid=11122 vsize=283012 CPUtime=0.15 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 591 0 0 0 15 0 0 0 18 0 4 0 524610221 289804288 2259 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=283012 CPUtime=0.14 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 571 0 0 0 14 0 0 0 25 0 4 0 524610221 289804288 2259 33554432000 4194304 4627427 140735513204560 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=283012 CPUtime=0.15 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 552 0 0 0 15 0 0 0 25 0 4 0 524610221 289804288 2259 33554432000 4194304 4627427 140735513204560 18446744073709551615 4352204 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 283012

[startup+0.300532 s]
/proc/loadavg: 8.00 6.12 6.29 6/180 11124
/proc/meminfo: memFree=20539448/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=284732 CPUtime=1.17 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 3921 0 0 0 117 0 0 0 25 0 4 0 524610221 291565568 2695 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 71183 2695 384 106 0 66154 0
[pid=11124/tid=11125] ppid=11122 vsize=284732 CPUtime=0.29 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 916 0 0 0 29 0 0 0 18 0 4 0 524610221 291565568 2695 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=284732 CPUtime=0.29 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 911 0 0 0 29 0 0 0 25 0 4 0 524610221 291565568 2696 33554432000 4194304 4627427 140735513204560 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=284732 CPUtime=0.29 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 756 0 0 0 29 0 0 0 25 0 4 0 524610221 291565568 2696 33554432000 4194304 4627427 140735513204560 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284732

[startup+0.700462 s]
/proc/loadavg: 8.00 6.12 6.29 6/180 11124
/proc/meminfo: memFree=20539448/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=295408 CPUtime=2.78 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 6600 0 0 0 277 1 0 0 25 0 4 0 524610221 302497792 3835 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 73852 3844 384 106 0 68823 0
[pid=11124/tid=11125] ppid=11122 vsize=295408 CPUtime=0.69 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 1663 0 0 0 69 0 0 0 18 0 4 0 524610221 302497792 3850 33554432000 4194304 4627427 140735513204560 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=295408 CPUtime=0.69 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 1585 0 0 0 69 0 0 0 25 0 4 0 524610221 302497792 3856 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=295408 CPUtime=0.69 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 1391 0 0 0 69 0 0 0 25 0 4 0 524610221 302497792 3864 33554432000 4194304 4627427 140735513204560 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 295408

[startup+1.50032 s]
/proc/loadavg: 8.00 6.12 6.29 9/184 11128
/proc/meminfo: memFree=20524040/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=297720 CPUtime=5.97 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 13860 0 0 0 596 1 0 0 25 0 4 0 524610221 304865280 6809 33554432000 4194304 4627427 140735513204560 18446744073709551615 4427615 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 74430 6809 388 106 0 69401 0
[pid=11124/tid=11125] ppid=11122 vsize=297720 CPUtime=1.48 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 2909 0 0 0 148 0 0 0 20 0 4 0 524610221 304865280 6809 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=297720 CPUtime=1.48 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 2871 0 0 0 148 0 0 0 25 0 4 0 524610221 304865280 6809 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=297720 CPUtime=1.49 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 2676 0 0 0 149 0 0 0 25 0 4 0 524610221 304865280 6809 33554432000 4194304 4627427 140735513204560 18446744073709551615 4310102 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 297720

[startup+3.10104 s]
/proc/loadavg: 8.00 6.12 6.29 9/184 11128
/proc/meminfo: memFree=20487832/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=298284 CPUtime=12.37 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 27870 0 0 0 1233 4 0 0 25 0 4 0 524610221 305442816 14091 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 74571 14091 388 106 0 69542 0
[pid=11124/tid=11125] ppid=11122 vsize=298284 CPUtime=3.09 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 6549 0 0 0 308 1 0 0 25 0 4 0 524610221 305442816 14091 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=298284 CPUtime=3.07 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 7331 0 0 0 307 0 0 0 25 0 4 0 524610221 305442816 14091 33554432000 4194304 4627427 140735513204560 18446744073709551615 4332314 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=298284 CPUtime=3.08 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 6917 0 0 0 308 0 0 0 25 0 4 0 524610221 305442816 14091 33554432000 4194304 4627427 140735513204560 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 298284

[startup+6.30047 s]
/proc/loadavg: 8.00 6.15 6.30 9/184 11128
/proc/meminfo: memFree=20474844/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=292080 CPUtime=25.14 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 45936 0 0 0 2507 7 0 0 25 0 4 0 524610221 299089920 20338 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 73020 20339 388 106 0 67991 0
[pid=11124/tid=11125] ppid=11122 vsize=292080 CPUtime=6.29 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 11675 0 0 0 627 2 0 0 25 0 4 0 524610221 299089920 20339 33554432000 4194304 4627427 140735513204560 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=292080 CPUtime=6.26 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 12773 0 0 0 624 2 0 0 25 0 4 0 524610221 299089920 20339 33554432000 4194304 4627427 140735513204560 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=292080 CPUtime=6.29 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 10569 0 0 0 628 1 0 0 25 0 4 0 524610221 299089920 20339 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 292080

[startup+12.7003 s]
/proc/loadavg: 8.08 6.20 6.32 9/184 11128
/proc/meminfo: memFree=20419896/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=321996 CPUtime=50.7 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 71564 0 0 0 5058 12 0 0 25 0 4 0 524610221 329723904 31906 33554432000 4194304 4627427 140735513204560 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 80499 31906 388 106 0 75470 0
[pid=11124/tid=11125] ppid=11122 vsize=321996 CPUtime=12.69 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 18443 0 0 0 1266 3 0 0 25 0 4 0 524610221 329723904 31906 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=321996 CPUtime=12.62 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 17353 0 0 0 1259 3 0 0 25 0 4 0 524610221 329723904 31906 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=321996 CPUtime=12.68 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 17337 0 0 0 1267 1 0 0 25 0 4 0 524610221 329723904 31906 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 321996

[startup+25.5011 s]
/proc/loadavg: 8.06 6.29 6.34 9/184 11129
/proc/meminfo: memFree=20397832/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=321940 CPUtime=101.83 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 102895 0 0 0 10162 21 0 0 25 0 4 0 524610221 329666560 41715 33554432000 4194304 4627427 140735513204560 18446744073709551615 4426991 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 80485 41715 388 106 0 75456 0
[pid=11124/tid=11125] ppid=11122 vsize=321940 CPUtime=25.49 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 26390 0 0 0 2544 5 0 0 25 0 4 0 524610221 329666560 41715 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=321940 CPUtime=25.35 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 26161 0 0 0 2530 5 0 0 25 0 4 0 524610221 329666560 41715 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=321940 CPUtime=25.49 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 25611 0 0 0 2544 5 0 0 25 0 4 0 524610221 329666560 41715 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 321940

[startup+51.1005 s]
/proc/loadavg: 8.04 6.42 6.39 9/184 11129
/proc/meminfo: memFree=20335284/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=393968 CPUtime=204.09 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 156725 0 0 0 20374 35 0 0 25 0 4 0 524610221 403423232 48788 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 98492 48788 388 106 0 93463 0
[pid=11124/tid=11125] ppid=11122 vsize=393968 CPUtime=51.09 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 37628 0 0 0 5100 9 0 0 25 0 4 0 524610221 403423232 48788 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=393968 CPUtime=50.81 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 43238 0 0 0 5072 9 0 0 25 0 4 0 524610221 403423232 48788 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=393968 CPUtime=51.08 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 40180 0 0 0 5100 8 0 0 25 0 4 0 524610221 403423232 48788 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 393968

[startup+102.306 s]
/proc/loadavg: 8.06 6.68 6.47 9/184 11131
/proc/meminfo: memFree=20225780/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=406356 CPUtime=408.64 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 236454 0 0 0 40806 58 0 0 25 0 4 0 524610221 416108544 64365 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 101589 64365 388 106 0 96560 0
[pid=11124/tid=11125] ppid=11122 vsize=406356 CPUtime=102.29 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 58374 0 0 0 10215 14 0 0 25 0 4 0 524610221 416108544 64365 33554432000 4194304 4627427 140735513204560 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=406356 CPUtime=101.73 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 60456 0 0 0 10159 14 0 0 25 0 4 0 524610221 416108544 64365 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=406356 CPUtime=102.29 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 65481 0 0 0 10214 15 0 0 25 0 4 0 524610221 416108544 64365 33554432000 4194304 4627427 140735513204560 18446744073709551615 4310561 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 406356

[startup+162.301 s]

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

[pid=11124] ppid=11122 vsize=921872 CPUtime=2805.38 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 776528 0 0 0 280264 274 0 0 25 0 4 0 524610221 943996928 150027 33554432000 4194304 4627427 140735513204560 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 230468 150027 388 106 0 225439 0
[pid=11124/tid=11125] ppid=11122 vsize=921872 CPUtime=702.3 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 206566 0 0 0 70150 80 0 0 25 0 4 0 524610221 943996928 150027 33554432000 4194304 4627427 140735513204560 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=921872 CPUtime=698.47 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 186138 0 0 0 69783 64 0 0 25 0 4 0 524610221 943996928 150027 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=921872 CPUtime=702.3 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 224984 0 0 0 70151 79 0 0 25 0 4 0 524610221 943996928 150027 33554432000 4194304 4627427 140735513204560 18446744073709551615 4324341 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 921872

[startup+762.307 s]
/proc/loadavg: 8.09 7.95 7.30 9/184 11148
/proc/meminfo: memFree=19829692/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=1002060 CPUtime=3045.08 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 815644 0 0 0 304215 293 0 0 25 0 4 0 524610221 1026109440 158907 33554432000 4194304 4627427 140735513204560 18446744073709551615 4333536 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 250515 158907 388 106 0 245486 0
[pid=11124/tid=11125] ppid=11122 vsize=1002060 CPUtime=762.31 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 218115 0 0 0 76145 86 0 0 25 0 4 0 524610221 1026109440 158907 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=1002060 CPUtime=758.14 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 195571 0 0 0 75746 68 0 0 25 0 4 0 524610221 1026109440 158907 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=1002060 CPUtime=762.3 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 238078 0 0 0 76146 84 0 0 25 0 4 0 524610221 1026109440 158907 33554432000 4194304 4627427 140735513204560 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 1002060

[startup+822.3 s]
/proc/loadavg: 8.14 7.99 7.35 9/184 11150
/proc/meminfo: memFree=19704684/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=1099860 CPUtime=3284.72 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 866979 0 0 0 328161 311 0 0 25 0 4 0 524610221 1126256640 185732 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 274965 185732 388 106 0 269936 0
[pid=11124/tid=11125] ppid=11122 vsize=1099860 CPUtime=822.31 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 233882 0 0 0 82141 90 0 0 25 0 4 0 524610221 1126256640 185732 33554432000 4194304 4627427 140735513204560 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=1099860 CPUtime=817.81 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 202282 0 0 0 81708 73 0 0 25 0 4 0 524610221 1126256640 185732 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=1099860 CPUtime=822.3 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 256924 0 0 0 82140 90 0 0 25 0 4 0 524610221 1126256640 185732 33554432000 4194304 4627427 140735513204560 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 1099860

[startup+882.301 s]
/proc/loadavg: 8.15 8.02 7.40 9/184 11152
/proc/meminfo: memFree=19747068/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=996592 CPUtime=3524.4 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 886027 0 0 0 352118 322 0 0 25 0 4 0 524610221 1020510208 175958 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 249148 175958 388 106 0 244119 0
[pid=11124/tid=11125] ppid=11122 vsize=996592 CPUtime=882.31 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 237098 0 0 0 88140 91 0 0 25 0 4 0 524610221 1020510208 175958 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=996592 CPUtime=877.49 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 212522 0 0 0 87670 79 0 0 25 0 4 0 524610221 1020510208 175958 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=996592 CPUtime=882.3 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 259780 0 0 0 88139 91 0 0 25 0 4 0 524610221 1020510208 175958 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 996592

[startup+942.301 s]
/proc/loadavg: 8.11 8.03 7.44 9/184 11153
/proc/meminfo: memFree=19664220/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=1057260 CPUtime=3764.08 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 916988 0 0 0 376073 335 0 0 25 0 4 0 524610221 1082634240 183575 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 264315 183575 388 106 0 259286 0
[pid=11124/tid=11125] ppid=11122 vsize=1057260 CPUtime=942.3 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 247789 0 0 0 94134 96 0 0 25 0 4 0 524610221 1082634240 183575 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=1057260 CPUtime=937.17 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 221031 0 0 0 93635 82 0 0 25 0 4 0 524610221 1082634240 183575 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=1057260 CPUtime=942.3 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 269130 0 0 0 94135 95 0 0 25 0 4 0 524610221 1082634240 183575 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 1057260

[startup+1002.3 s]
/proc/loadavg: 8.09 8.04 7.47 9/184 11155
/proc/meminfo: memFree=19663712/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=999080 CPUtime=4003.75 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 960489 0 0 0 400022 353 0 0 25 0 4 0 524610221 1023057920 183156 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 249770 183156 388 106 0 244741 0
[pid=11124/tid=11125] ppid=11122 vsize=999080 CPUtime=1002.3 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 260168 0 0 0 100130 100 0 0 25 0 4 0 524610221 1023057920 183156 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=999080 CPUtime=996.84 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 233375 0 0 0 99597 87 0 0 25 0 4 0 524610221 1023057920 183156 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=999080 CPUtime=1002.31 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 283436 0 0 0 100130 101 0 0 25 0 4 0 524610221 1023057920 183156 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309085 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 999080

[startup+1062.3 s]
/proc/loadavg: 6.45 7.64 7.38 5/175 11174
/proc/meminfo: memFree=20116416/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=1094192 CPUtime=4243.43 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 999542 0 0 0 423974 369 0 0 25 0 4 0 524610221 1120452608 184565 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 273548 184565 388 106 0 268519 0
[pid=11124/tid=11125] ppid=11122 vsize=1094192 CPUtime=1062.31 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 270982 0 0 0 106127 104 0 0 25 0 4 0 524610221 1120452608 184565 33554432000 4194304 4627427 140735513204560 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=1094192 CPUtime=1056.52 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 244429 0 0 0 105559 93 0 0 25 0 4 0 524610221 1120452608 184565 33554432000 4194304 4627427 140735513204560 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=1094192 CPUtime=1062.31 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 295165 0 0 0 106127 104 0 0 25 0 4 0 524610221 1120452608 184565 33554432000 4194304 4627427 140735513204560 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 1094192

[startup+1122.3 s]
/proc/loadavg: 4.90 6.98 7.16 5/175 11176
/proc/meminfo: memFree=20133392/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=970760 CPUtime=4483.11 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 1019672 0 0 0 447929 382 0 0 25 0 4 0 524610221 994058240 180279 33554432000 4194304 4627427 140735513204560 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 242690 180279 388 106 0 237661 0
[pid=11124/tid=11125] ppid=11122 vsize=970760 CPUtime=1122.31 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 274785 0 0 0 112125 106 0 0 25 0 4 0 524610221 994058240 180279 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=970760 CPUtime=1116.19 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 252999 0 0 0 111521 98 0 0 25 0 4 0 524610221 994058240 180279 33554432000 4194304 4627427 140735513204560 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=970760 CPUtime=1122.31 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 295951 0 0 0 112126 105 0 0 25 0 4 0 524610221 994058240 180279 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 970760

[startup+1182.3 s]
/proc/loadavg: 4.33 6.43 6.96 5/175 11178
/proc/meminfo: memFree=20103872/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=1034308 CPUtime=4722.79 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 1064827 0 0 0 471874 405 0 0 25 0 4 0 524610221 1059131392 184011 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 258577 184011 388 106 0 253548 0
[pid=11124/tid=11125] ppid=11122 vsize=1034308 CPUtime=1182.32 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 286310 0 0 0 118119 113 0 0 25 0 4 0 524610221 1059131392 184011 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=1034308 CPUtime=1175.86 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 265093 0 0 0 117484 102 0 0 25 0 4 0 524610221 1059131392 184011 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=1034308 CPUtime=1182.31 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 307262 0 0 0 118120 111 0 0 25 0 4 0 524610221 1059131392 184011 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 1034308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.30 6.29 6.90 5/175 11178
/proc/meminfo: memFree=20107712/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=1034592 CPUtime=4800.3 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 1078781 0 0 0 479619 411 0 0 25 0 4 0 524610221 1059422208 186528 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 258648 186528 388 106 0 253619 0
[pid=11124/tid=11125] ppid=11122 vsize=1034592 CPUtime=1201.72 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 289156 0 0 0 120058 114 0 0 25 0 4 0 524610221 1059422208 186528 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=1034592 CPUtime=1195.15 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 268998 0 0 0 119412 103 0 0 25 0 4 0 524610221 1059422208 186528 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=1034592 CPUtime=1201.71 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 311604 0 0 0 120058 113 0 0 25 0 4 0 524610221 1059422208 186528 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1034592

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

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

[startup+1201.7 s]
/proc/loadavg: 4.30 6.29 6.90 5/175 11178
/proc/meminfo: memFree=20107712/32950904 swapFree=67082284/67111528
[pid=11124] ppid=11122 vsize=1034592 CPUtime=4800.3 cores=1,3,5,7
/proc/11124/stat : 11124 (strangenight2-m) R 11122 11124 9708 0 -1 4202496 1078781 0 0 0 479619 411 0 0 25 0 4 0 524610221 1059422208 186528 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11124/statm: 258648 186528 388 106 0 253619 0
[pid=11124/tid=11125] ppid=11122 vsize=1034592 CPUtime=1201.72 cores=1,3,5,7
/proc/11124/task/11125/stat : 11125 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 289156 0 0 0 120058 114 0 0 25 0 4 0 524610221 1059422208 186528 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11124/tid=11126] ppid=11122 vsize=1034592 CPUtime=1195.15 cores=1,3,5,7
/proc/11124/task/11126/stat : 11126 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 268998 0 0 0 119412 103 0 0 25 0 4 0 524610221 1059422208 186528 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11124/tid=11127] ppid=11122 vsize=1034592 CPUtime=1201.71 cores=1,3,5,7
/proc/11124/task/11127/stat : 11127 (strangenight2-m) R 11122 11124 9708 0 -1 4202560 311604 0 0 0 120058 113 0 0 25 0 4 0 524610221 1059422208 186528 33554432000 4194304 4627427 140735513204560 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1034592

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.75
CPU time (s): 4800.36
CPU user time (s): 4796.22
CPU system time (s): 4.14437
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 1185320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.21
system time used= 4.14437
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1078784
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= 431
involuntary context switches= 30352

runsolver used 1.90571 second user time and 4.66629 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-30 04:21:45
IDJOB=3266291
IDBENCH=87453
IDSOLVER=1586
FILE ID=node121/3266291-1304130105
RUNJOBID= node121-1304129913-10947
PBS_JOBID= 13170754
Free space on /tmp= 73552 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT02/handmade/pehoushek/plainoldcnf/5cnf_3900_3900_220.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266291-1304130105/watcher-3266291-1304130105 -o /tmp/evaluation-result-3266291-1304130105/solver-3266291-1304130105 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3266291-1304130105.cnf

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

MD5SUM BENCH= f0b7e0675915478b15cab3695fd0fd62
RANDOM SEED=1961363963

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      20539728 kB
Buffers:       2185412 kB
Cached:        9370300 kB
SwapCached:       2776 kB
Active:        8819844 kB
Inactive:      3080844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20539728 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:            5612 kB
Writeback:           0 kB
AnonPages:      342120 kB
Mapped:          14520 kB
Slab:           445868 kB
PageTables:       5728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   637944 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= 73556 MiB
End job on node121 at 2011-04-30 04:41:48