Trace number 3366791

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366791-1305417344.cnf'
0.00/0.01	c -- header says num vars:            220
0.00/0.01	c -- header says num clauses:        3432
0.00/0.01	c -- clauses added:            0 learnts,         3432 normals,            0 xors
0.00/0.01	c -- vars added        220
0.00/0.01	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.02	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.01
0.00/0.02	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.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:      89 undec:      50 neg:      81
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       220      3432         0         0     17000         0   no data   no data
0.24/0.08	c Decided on static restart strategy
0.36/0.16	c  N st     8      4914       220      3432         0      4796     17000    213180   no data   no data
1.56/0.42	c  N st    10     11297       220      3432         0      4431     17000    141091   no data   no data
2.36/0.69	c  N st    11     17040       220      3432         0      9991     17000    399258   no data   no data
3.99/1.10	c  F st    12     25002       220      3432         0     12288     17000    491429   no data   no data
3.99/1.10	c  N st    12     25002       220      3432         0     12288     17000    491429   no data   no data
5.16/1.31	c Decided on static restart strategy
5.16/1.31	c  N st    18     30001       220      3432         0     10551     17000    376138   no data   no data
5.16/1.31	c  S st    18     30001       220      3432         0     10551     17000    376138   no data   no data
5.16/1.34	c  S st    18     30506       220      3432         0     11050     17000    396125   no data   no data
5.16/1.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.16/1.35	c blocked clauses removed:        0 vars:      0 tried:         220 T: 0.00 s
5.16/1.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
5.16/1.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.58	c lits-rem:       174  cl-subs:      548  v-elim:      0  v-fix:    0  time:  0.22 s
6.35/1.61	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.03
6.35/1.61	c calculated reachability. Time: 0.00
6.35/1.61	c  N st    18     30506       220      3432         0     10502     17000    365052   no data   no data
7.55/1.98	c  N st    20     37619       220      3432         0      9716     17000    298511   no data   no data
9.14/2.36	c  N st    21     44018       220      3432         0     15935     17000    588280   no data   no data
9.54/2.47	c  S st    22     45759       220      3432         0      8918     17000    229162   no data   no data
9.54/2.49	c  S st    22     46262       220      3432         0      9419     17000    250457   no data   no data
9.54/2.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.94/2.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.94/2.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
9.94/2.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.94/2.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.94/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.55	c lits-rem:        45  cl-subs:       90  v-elim:      0  v-fix:    0  time:  0.04 s
9.94/2.55	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
9.94/2.55	c vivif2 --  cl tried     9329 cl shrink        0 lits rem          0 time: 0.00
9.94/2.59	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.03
9.94/2.59	c calculated reachability. Time: 0.00
9.94/2.59	c  N st    22     46262       220      3432         0      9329     17000    245364   no data   no data
13.53/3.44	c  N st    23     60659       220      3432         0     13632     17000    428549   no data   no data
15.92/4.04	c  N st    24     69395       220      3432         0     11429     17000    301524   no data   no data
15.92/4.04	c  S st    24     69395       220      3432         0     11429     17000    301524   no data   no data
15.92/4.08	c  S st    24     69896       220      3432         0     11928     17000    321913   no data   no data
15.92/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.92/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.92/4.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.92/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
15.92/4.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.92/4.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.32/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.20	c lits-rem:       123  cl-subs:      131  v-elim:      0  v-fix:    0  time:  0.10 s
16.73/4.20	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
16.73/4.21	c vivif2 --  cl tried    11797 cl shrink        0 lits rem          0 time: 0.00
16.73/4.26	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.05
16.73/4.26	c calculated reachability. Time: 0.00
16.73/4.26	c  N st    24     69896       220      3432         0     11797     17000    314533   no data   no data
21.95/5.51	c  F st    25     87501       220      3432         0     17237     17000    561547   no data   no data
21.95/5.51	c  N st    25     87501       220      3432         0     17237     17000    561547   no data   no data
23.09/5.89	c Decided on static restart strategy
24.29/6.11	c  N st    32     95543       220      3432         0     25047     17000    905661   no data   no data
26.68/6.74	c  N st    34    104844       220      3432         0     21466     17000    723924   no data   no data
26.68/6.74	c  S st    34    104844       220      3432         0     21466     17000    723924   no data   no data
27.08/6.81	c  S st    34    105346       220      3432         0     21967     17000    743539   no data   no data
27.08/6.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.08/6.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.08/6.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.08/6.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.08/6.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.08/6.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
27.08/6.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.08/6.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.08/6.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.88/7.58	c lits-rem:       574  cl-subs:      867  v-elim:      0  v-fix:    0  time:  0.73 s
29.88/7.58	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
29.88/7.59	c vivif2 --  cl tried    21100 cl shrink        0 lits rem          0 time: 0.01
30.30/7.66	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.07
30.30/7.66	c calculated reachability. Time: 0.00
30.30/7.66	c  N st    34    105346       220      3432         0     21100     17000    692091   no data   no data
33.47/8.43	c  N st    35    114947       220      3432         0     16816     17000    455412   no data   no data
39.08/9.82	c  N st    36    129345       220      3432         0     16248     17000    399580   no data   no data
45.83/11.58	c  N st    37    150940       220      3432         0     21654     17000    616707   no data   no data
48.62/12.20	c  S st    38    158019       220      3432         0     28535     17000    922440   no data   no data
48.62/12.27	c  S st    38    158523       220      3432         0     29039     17000    943030   no data   no data
48.62/12.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.62/12.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.62/12.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.62/12.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.62/12.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.62/12.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
48.62/12.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.62/12.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.01/12.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.00/13.80	c lits-rem:       870  cl-subs:     1346  v-elim:      0  v-fix:    0  time:  1.49 s
55.00/13.80	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
55.00/13.81	c vivif2 --  cl tried    27693 cl shrink        0 lits rem          0 time: 0.01
55.40/13.91	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.09
55.40/13.91	c calculated reachability. Time: 0.00
55.40/13.91	c  N st    38    158523       220      3432         0     27693     17000    871353   no data   no data
74.94/18.81	c  N st    39    207111       220      3432         0     22385     17000    587575   no data   no data
90.10/22.63	c  N st    40    237784       220      3432         0     32743     17000   1060373   no data   no data
90.10/22.63	c  S st    40    237784       220      3432         0     32743     17000   1060373   no data   no data
90.50/22.74	c  S st    40    238287       220      3432         0     33243     17000   1081103   no data   no data
90.50/22.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.50/22.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
90.50/22.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.50/22.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.50/22.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.50/22.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
90.50/22.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.50/22.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
90.90/22.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
101.66/25.58	c lits-rem:       823  cl-subs:     1347  v-elim:      0  v-fix:    0  time:  2.77 s
101.66/25.58	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
101.66/25.59	c vivif2 --  cl tried    31896 cl shrink        0 lits rem          0 time: 0.01
102.46/25.71	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.11
102.46/25.71	c calculated reachability. Time: 0.00
102.46/25.71	c  N st    40    238287       220      3432         0     31896     17000    999632   no data   no data
132.76/33.33	c  F st    41    306250       220      3432         0     33662     17000   1009254   no data   no data
132.76/33.33	c  N st    41    306250       220      3432         0     33662     17000   1009254   no data   no data
135.16/33.98	c Decided on static restart strategy
144.77/36.37	c  N st    51    334556       220      3432         0     37983     17000   1111423   no data   no data
153.89/38.65	c  N st    53    357432       220      3432         0     35980     17000   1027572   no data   no data
153.89/38.65	c  S st    53    357432       220      3432         0     35980     17000   1027572   no data   no data
154.29/38.73	c  S st    53    357933       220      3432         0     36477     17000   1047580   no data   no data
154.29/38.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
154.29/38.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
154.29/38.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
154.29/38.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.29/38.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.29/38.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
154.29/38.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
154.29/38.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
154.29/38.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
159.88/40.11	c lits-rem:       960  cl-subs:     1059  v-elim:      0  v-fix:    0  time:  1.33 s
159.88/40.11	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
159.88/40.13	c vivif2 --  cl tried    35418 cl shrink        0 lits rem          0 time: 0.01
160.28/40.27	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.14
160.28/40.27	c calculated reachability. Time: 0.00
160.28/40.27	c  N st    53    357933       220      3432         0     35418     17000    988755   no data   no data
175.48/44.07	c  N st    54    390327       220      3432         0     41694     17000   1283409   no data   no data
200.57/50.37	c  N st    55    438915       220      3432         0     35275     17000    905021   no data   no data
237.25/59.53	c  N st    56    511797       220      3432         0     48768     17000   1522855   no data   no data
250.41/62.89	c  N st    57    536901       220      3432         0     43083     17000   1171288   no data   no data
250.41/62.89	c  S st    57    536901       220      3432         0     43083     17000   1171288   no data   no data
250.81/62.99	c  S st    57    537406       220      3432         0     43582     17000   1191901   no data   no data
250.81/63.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.21/63.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
251.21/63.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
251.21/63.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
251.21/63.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.21/63.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
251.21/63.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
251.21/63.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
251.21/63.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.59/65.69	c lits-rem:       630  cl-subs:     1631  v-elim:      0  v-fix:    0  time:  2.64 s
261.59/65.69	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
261.99/65.71	c vivif2 --  cl tried    41951 cl shrink        0 lits rem          0 time: 0.01
262.38/65.88	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.17
262.38/65.88	c calculated reachability. Time: 0.00
262.38/65.88	c  N st    57    537406       220      3432         0     41951     17000   1103669   no data   no data
367.26/92.10	c  N st    58    701390       220      3432         0     35949     17000    687684   no data   no data
441.45/110.73	c  N st    59    806109       220      3432         0     64818     17000   1994552   no data   no data
441.45/110.73	c  S st    59    806109       220      3432         0     64818     17000   1994552   no data   no data
442.25/110.90	c  S st    59    806614       220      3432         0     65317     17000   2014660   no data   no data
442.25/110.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
442.25/110.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
442.25/110.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
442.25/110.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
442.25/110.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.25/110.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
442.25/110.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
442.25/110.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
442.67/111.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
491.68/123.32	c lits-rem:      1562  cl-subs:     3741  v-elim:      0  v-fix:    0  time: 12.31 s
491.68/123.33	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
491.68/123.35	c vivif2 --  cl tried    61576 cl shrink        0 lits rem          0 time: 0.02
492.88/123.65	c asymm  cl-useful: 0/3432/3432 lits-rem:0 time: 0.30
492.88/123.66	c calculated reachability. Time: 0.00
492.88/123.66	c  N st    59    806614       220      3432         0     61576     17000   1821026   no data   no data
684.71/171.73	c  F st    60   1071877       220      3432         0     76801     17000   2292972   no data   no data
684.71/171.73	c  N st    60   1071877       220      3432         0     76801     17000   2292972   no data   no data
689.90/173.07	c Decided on static restart strategy
705.88/177.10	c  N st    70   1100183       220      3432         0     61074     17000   1569751   no data   no data
734.56/184.21	c  N st    72   1136177       220      3432         0     51638     17000   1106240   no data   no data
762.08/191.17	c  N st    73   1168569       220      3432         0     83020     17000   2619645   no data   no data
798.41/200.29	c  N st    74   1209922       220      3432         0     77676     17000   2280879   no data   no data
798.41/200.29	c  S st    74   1209922       220      3432         0     77676     17000   2280879   no data   no data
799.55/200.57	c  S st    74   1210423       220      3432         0     78173     17000   2300907   no data   no data
799.55/200.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
799.95/200.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
799.95/200.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
799.95/200.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
799.95/200.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
799.95/200.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
799.95/200.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
799.95/200.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
800.35/200.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
856.97/214.95	c lits-rem:      1634  cl-subs:     3586  v-elim:      0  v-fix:    0  time: 14.21 s
856.97/214.95	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
856.97/214.98	c vivif2 --  cl tried    74587 cl shrink        0 lits rem          0 time: 0.03
858.58/215.34	c asymm  cl-useful: 0/3126/3432 lits-rem:0 time: 0.36
858.58/215.34	c calculated reachability. Time: 0.00
858.58/215.34	c  N st    74   1210423       220      3432         0     74587     17000   2114938   no data   no data
919.99/230.76	c  N st    75   1283307       220      3432         0     51257     17000    973736   no data   no data
1018.49/255.47	c  N st    76   1392630       220      3432         0     59200     17000   1301252   no data   no data
1170.46/293.50	c  N st    77   1556614       220      3432         0     63872     17000   1423438   no data   no data
1321.97/331.53	c  N st    78   1710423       220      3432         0    104935     17000   3361128   no data   no data
1321.97/331.53	c  S st    78   1710423       220      3432         0    104935     17000   3361128   no data   no data
1323.56/331.91	c  S st    78   1710926       220      3432         0    105435     17000   3382594   no data   no data
1323.56/331.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1323.56/331.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
1323.56/331.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1323.56/331.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1323.56/331.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1323.56/331.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
1323.56/331.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1323.96/332.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1324.38/332.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1481.46/371.55	c lits-rem:      6272  cl-subs:     7153  v-elim:      0  v-fix:    0  time: 39.40 s
1481.46/371.55	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
1481.46/371.60	c vivif2 --  cl tried    98282 cl shrink        0 lits rem          0 time: 0.05
1483.04/371.99	c asymm  cl-useful: 0/2485/3432 lits-rem:0 time: 0.39
1483.04/371.99	c calculated reachability. Time: 0.00
1483.04/371.99	c  N st    78   1710926       220      3432         0     98282     17000   2994612   no data   no data
1849.17/463.75	c  N st    79   2079890       220      3432         0    110202     17000   3445528   no data   no data
1989.93/499.06	c  N st    80   2210926       220      3432         0    114369     17000   3675540   no data   no data
1989.93/499.06	c  S st    80   2210926       220      3432         0    114369     17000   3675540   no data   no data
1991.15/499.38	c  S st    80   2211433       220      3432         0    114873     17000   3696609   no data   no data
1991.15/499.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1991.57/499.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1991.57/499.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1991.57/499.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1991.57/499.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1991.57/499.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
1991.57/499.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1991.91/499.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1991.91/499.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2127.54/533.55	c lits-rem:      4959  cl-subs:     5457  v-elim:      0  v-fix:    0  time: 33.95 s
2127.54/533.55	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
2127.54/533.59	c vivif2 --  cl tried   109416 cl shrink        0 lits rem          0 time: 0.04
2128.29/533.78	c asymm  cl-useful: 0/947/3432 lits-rem:0 time: 0.19
2128.29/533.79	c calculated reachability. Time: 0.00
2128.29/533.79	c  N st    80   2211433       220      3432         0    109416     17000   3374580   no data   no data
2681.83/672.54	c  N st    81   2711434       220      3432         0    132201     17000   4086030   no data   no data
2681.83/672.54	c  S st    81   2711434       220      3432         0    132201     17000   4086030   no data   no data
2683.43/672.91	c  S st    81   2711939       220      3432         0    132699     17000   4106296   no data   no data
2683.43/672.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2683.83/673.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2683.83/673.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2683.83/673.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2683.83/673.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2683.83/673.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
2683.83/673.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2683.83/673.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2684.25/673.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2936.23/736.36	c lits-rem:      3322  cl-subs:     9886  v-elim:      0  v-fix:    0  time: 63.22 s
2936.23/736.36	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
2936.63/736.41	c vivif2 --  cl tried   122813 cl shrink        0 lits rem          0 time: 0.05
2938.23/736.83	c asymm  cl-useful: 0/1957/3432 lits-rem:0 time: 0.42
2938.23/736.84	c calculated reachability. Time: 0.00
2938.23/736.84	c  N st    81   2711939       220      3432         0    122813     17000   3644152   no data   no data
3614.97/906.59	c  N st    82   3211939       220      3432         0     99227     17000   2356543   no data   no data
3614.97/906.59	c  S st    82   3211939       220      3432         0     99227     17000   2356543   no data   no data
3616.16/906.88	c  S st    82   3212443       220      3432         0     99723     17000   2378030   no data   no data
3616.16/906.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3616.56/906.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3616.56/906.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3616.56/906.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3616.56/906.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3616.56/906.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
3616.56/906.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3616.56/906.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3616.96/907.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3684.80/924.05	c lits-rem:       938  cl-subs:     3315  v-elim:      0  v-fix:    0  time: 17.01 s
3684.80/924.05	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
3684.80/924.08	c vivif2 --  cl tried    96408 cl shrink        0 lits rem          0 time: 0.03
3686.34/924.41	c asymm  cl-useful: 0/1475/3432 lits-rem:0 time: 0.33
3686.34/924.42	c calculated reachability. Time: 0.00
3686.34/924.42	c  N st    82   3212443       220      3432         0     96408     17000   2216277   no data   no data
4414.15/1106.98	c  N st    83   3712443       220      3432         0    107480     17000   2606313   no data   no data
4414.15/1106.98	c  S st    83   3712443       220      3432         0    107480     17000   2606313   no data   no data
4415.75/1107.37	c  S st    83   3712946       220      3432         0    107978     17000   2626733   no data   no data
4415.75/1107.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4416.15/1107.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.07
4416.15/1107.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4416.15/1107.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4416.15/1107.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4416.15/1107.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    220 time:  0.00 s
4416.15/1107.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4416.55/1107.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4416.55/1107.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4492.70/1126.69	c lits-rem:       983  cl-subs:     3388  v-elim:      0  v-fix:    0  time: 19.11 s
4492.70/1126.69	c vivif2 --  cl tried     3432 cl shrink        0 lits rem          0 time: 0.00
4493.10/1126.72	c vivif2 --  cl tried   104590 cl shrink        0 lits rem          0 time: 0.04
4494.71/1127.13	c asymm  cl-useful: 0/2347/3432 lits-rem:0 time: 0.41
4494.71/1127.14	c calculated reachability. Time: 0.00
4494.71/1127.14	c  N st    83   3712946       220      3432         0    104590     17000   2444029   no data   no data
4554.52/1142.10	c  F st    84   3751562       220      3432         0    141963     17000   4225143   no data   no data
4554.52/1142.10	c  N st    84   3751562       220      3432         0    141963     17000   4225143   no data   no data
4564.89/1144.78	c Decided on static restart strategy
4599.98/1153.52	c  N st    94   3779872       220      3432         0     87310     17000   1539516   no data   no data
4642.26/1164.12	c  N st    96   3815865       220      3432         0    122186     17000   3200502   no data   no data
4690.51/1176.22	c  N st    97   3848257       220      3432         0    153377     17000   4635614   no data   no data
4751.93/1191.68	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366791-1305417344/watcher-3366791-1305417344 -o /tmp/evaluation-result-3366791-1305417344/solver-3366791-1305417344 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366791-1305417344.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.11 8.11 7.88 1/368 18717
/proc/meminfo: memFree=22599568/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 406 0 0 0 0 0 0 0 23 0 4 0 653332127 52396032 347 33554432000 4194304 4580107 140737039177216 18446744073709551615 47362546358198 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 12792 347 299 95 0 7774 0
[pid=18717/tid=18718] ppid=18715 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 4 0 653332127 52396032 347 33554432000 4194304 4580107 140737039177216 18446744073709551615 47362546358194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653332127 52396032 347 33554432000 4194304 4580107 140737039177216 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653332127 52396032 347 33554432000 4194304 4580107 140737039177216 18446744073709551615 47362546358188 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0693579 s]
/proc/loadavg: 8.11 8.11 7.88 1/368 18717
/proc/meminfo: memFree=22599568/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=282576 CPUtime=0.24 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 1863 0 0 0 24 0 0 0 18 0 4 0 653332127 289357824 1726 33554432000 4194304 4580107 140737039177216 18446744073709551615 4296104 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 70644 1727 376 95 0 65626 0
[pid=18717/tid=18718] ppid=18715 vsize=282576 CPUtime=0.06 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 401 0 0 0 6 0 0 0 18 0 4 0 653332127 289357824 1727 33554432000 4194304 4580107 140737039177216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=282576 CPUtime=0.05 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 401 0 0 0 5 0 0 0 25 0 4 0 653332127 289357824 1727 33554432000 4194304 4580107 140737039177216 18446744073709551615 4320798 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=282576 CPUtime=0.05 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 238 0 0 0 5 0 0 0 18 0 4 0 653332127 289357824 1728 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 282576

[startup+0.100351 s]
/proc/loadavg: 8.11 8.11 7.88 1/368 18717
/proc/meminfo: memFree=22599568/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=282576 CPUtime=0.36 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 2076 0 0 0 36 0 0 0 18 0 4 0 653332127 289357824 1939 33554432000 4194304 4580107 140737039177216 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 70644 1940 376 95 0 65626 0
[pid=18717/tid=18718] ppid=18715 vsize=282576 CPUtime=0.09 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 455 0 0 0 9 0 0 0 18 0 4 0 653332127 289357824 1940 33554432000 4194304 4580107 140737039177216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=282576 CPUtime=0.08 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 463 0 0 0 8 0 0 0 25 0 4 0 653332127 289357824 1940 33554432000 4194304 4580107 140737039177216 18446744073709551615 4324233 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=282576 CPUtime=0.08 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 285 0 0 0 8 0 0 0 18 0 4 0 653332127 289357824 1940 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282576

[startup+0.300315 s]
/proc/loadavg: 8.11 8.11 7.88 1/368 18717
/proc/meminfo: memFree=22599568/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=284948 CPUtime=1.16 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 3781 0 0 0 116 0 0 0 18 0 4 0 653332127 291786752 2639 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 71237 2639 377 95 0 66219 0
[pid=18717/tid=18718] ppid=18715 vsize=284948 CPUtime=0.29 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 896 0 0 0 29 0 0 0 18 0 4 0 653332127 291786752 2639 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=284948 CPUtime=0.28 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 894 0 0 0 28 0 0 0 25 0 4 0 653332127 291786752 2639 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=284948 CPUtime=0.28 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 705 0 0 0 28 0 0 0 18 0 4 0 653332127 291786752 2639 33554432000 4194304 4580107 140737039177216 18446744073709551615 4316638 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284948

[startup+0.700244 s]
/proc/loadavg: 8.11 8.11 7.88 1/368 18717
/proc/meminfo: memFree=22599568/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=286480 CPUtime=2.76 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 6376 0 0 0 275 1 0 0 18 0 4 0 653332127 293355520 3694 33554432000 4194304 4580107 140737039177216 18446744073709551615 4296049 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 71620 3694 377 95 0 66602 0
[pid=18717/tid=18718] ppid=18715 vsize=286480 CPUtime=0.69 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 1564 0 0 0 69 0 0 0 18 0 4 0 653332127 293355520 3694 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=286480 CPUtime=0.67 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 1543 0 0 0 67 0 0 0 25 0 4 0 653332127 293355520 3694 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=286480 CPUtime=0.68 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 1351 0 0 0 68 0 0 0 18 0 4 0 653332127 293355520 3695 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 286480

[startup+1.5011 s]
/proc/loadavg: 8.11 8.11 7.88 5/372 18721
/proc/meminfo: memFree=22585108/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=288604 CPUtime=5.95 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 13728 0 0 0 593 2 0 0 20 0 4 0 653332127 295530496 6761 33554432000 4194304 4580107 140737039177216 18446744073709551615 4417027 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 72151 6761 379 95 0 67133 0
[pid=18717/tid=18718] ppid=18715 vsize=288604 CPUtime=1.49 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 2905 0 0 0 149 0 0 0 20 0 4 0 653332127 295530496 6761 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=288604 CPUtime=1.46 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 2814 0 0 0 146 0 0 0 25 0 4 0 653332127 295530496 6761 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=288604 CPUtime=1.48 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 2642 0 0 0 148 0 0 0 20 0 4 0 653332127 295530496 6761 33554432000 4194304 4580107 140737039177216 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 288604

[startup+3.10081 s]
/proc/loadavg: 8.02 8.09 7.87 9/377 18751
/proc/meminfo: memFree=22556632/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=307156 CPUtime=12.33 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 27737 0 0 0 1229 4 0 0 25 0 4 0 653332127 314527744 14010 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 76789 14010 379 95 0 71771 0
[pid=18717/tid=18718] ppid=18715 vsize=307156 CPUtime=3.09 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 6627 0 0 0 308 1 0 0 25 0 4 0 653332127 314527744 14010 33554432000 4194304 4580107 140737039177216 18446744073709551615 4321204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=307156 CPUtime=3.05 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 7324 0 0 0 304 1 0 0 25 0 4 0 653332127 314527744 14011 33554432000 4194304 4580107 140737039177216 18446744073709551615 4320941 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=307156 CPUtime=3.08 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 6644 0 0 0 308 0 0 0 25 0 4 0 653332127 314527744 14011 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 307156

[startup+6.30023 s]
/proc/loadavg: 8.02 8.09 7.87 9/377 18751
/proc/meminfo: memFree=22479756/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=319648 CPUtime=25.1 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 45418 0 0 0 2502 8 0 0 25 0 4 0 653332127 327319552 20024 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 79912 20024 379 95 0 74894 0
[pid=18717/tid=18718] ppid=18715 vsize=319648 CPUtime=6.29 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 11311 0 0 0 627 2 0 0 25 0 4 0 653332127 327319552 20024 33554432000 4194304 4580107 140737039177216 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=319648 CPUtime=6.21 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 12724 0 0 0 619 2 0 0 25 0 4 0 653332127 327319552 20024 33554432000 4194304 4580107 140737039177216 18446744073709551615 4451734 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=319648 CPUtime=6.28 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 10335 0 0 0 627 1 0 0 25 0 4 0 653332127 327319552 20024 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 319648

[startup+12.7011 s]
/proc/loadavg: 8.01 8.08 7.87 9/377 18751
/proc/meminfo: memFree=22411440/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=348816 CPUtime=50.62 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 68674 0 0 0 5049 13 0 0 25 0 4 0 653332127 357187584 32823 33554432000 4194304 4580107 140737039177216 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 87204 32823 379 95 0 82186 0
[pid=18717/tid=18718] ppid=18715 vsize=348816 CPUtime=12.69 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 17872 0 0 0 1266 3 0 0 25 0 4 0 653332127 357187584 32823 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=348816 CPUtime=12.53 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 17321 0 0 0 1250 3 0 0 25 0 4 0 653332127 357187584 32823 33554432000 4194304 4580107 140737039177216 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=348816 CPUtime=12.68 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 14721 0 0 0 1267 1 0 0 25 0 4 0 653332127 357187584 32823 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 348816

[startup+25.5007 s]
/proc/loadavg: 8.01 8.08 7.87 9/377 18752
/proc/meminfo: memFree=22346588/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=339576 CPUtime=101.66 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 100434 0 0 0 10143 23 0 0 25 0 4 0 653332127 347725824 42050 33554432000 4194304 4580107 140737039177216 18446744073709551615 4416469 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 84894 42051 379 95 0 79876 0
[pid=18717/tid=18718] ppid=18715 vsize=339576 CPUtime=25.49 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 24857 0 0 0 2544 5 0 0 25 0 4 0 653332127 347725824 42051 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=339576 CPUtime=25.16 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 26054 0 0 0 2511 5 0 0 25 0 4 0 653332127 347725824 42051 33554432000 4194304 4580107 140737039177216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=339576 CPUtime=25.48 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 23018 0 0 0 2543 5 0 0 25 0 4 0 653332127 347725824 42051 33554432000 4194304 4580107 140737039177216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 339576

[startup+51.1011 s]
/proc/loadavg: 8.01 8.07 7.88 9/377 18752
/proc/meminfo: memFree=22284956/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=361740 CPUtime=203.75 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 151941 0 0 0 20338 37 0 0 25 0 4 0 653332127 370421760 47597 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 90435 47597 379 95 0 85417 0
[pid=18717/tid=18718] ppid=18715 vsize=361740 CPUtime=51.09 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 37528 0 0 0 5100 9 0 0 25 0 4 0 653332127 370421760 47597 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=361740 CPUtime=50.47 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 41368 0 0 0 5036 11 0 0 25 0 4 0 653332127 370421760 47597 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=361740 CPUtime=51.08 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 33304 0 0 0 5101 7 0 0 25 0 4 0 653332127 370421760 47597 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 361740

[startup+102.315 s]
/proc/loadavg: 8.05 8.07 7.89 9/377 18754
/proc/meminfo: memFree=22185484/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=472048 CPUtime=407.99 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 231347 0 0 0 40737 62 0 0 25 0 4 0 653332127 483377152 66478 33554432000 4194304 4580107 140737039177216 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 118012 66478 379 95 0 112994 0
[pid=18717/tid=18718] ppid=18715 vsize=472048 CPUtime=102.31 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 57997 0 0 0 10217 14 0 0 25 0 4 0 653332127 483377152 66478 33554432000 4194304 4580107 140737039177216 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=472048 CPUtime=101.05 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 62697 0 0 0 10087 18 0 0 25 0 4 0 653332127 483377152 66478 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=472048 CPUtime=102.29 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 47338 0 0 0 10216 13 0 0 25 0 4 0 653332127 483377152 66478 33554432000 4194304 4580107 140737039177216 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.99
Current children cumulated vsize (KiB) 472048

[startup+162.301 s]

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

[pid=18717] ppid=18715 vsize=981508 CPUtime=2800.65 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 787478 0 0 0 279765 300 0 0 25 0 4 0 653332127 1005064192 158671 33554432000 4194304 4580107 140737039177216 18446744073709551615 4406476 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 245377 158671 379 95 0 240359 0
[pid=18717/tid=18718] ppid=18715 vsize=981508 CPUtime=702.31 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 195462 0 0 0 70154 77 0 0 25 0 4 0 653332127 1005064192 158671 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=981508 CPUtime=695.07 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 203472 0 0 0 69431 76 0 0 25 0 4 0 653332127 1005064192 158671 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=981508 CPUtime=700.95 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 185314 0 0 0 70021 74 0 0 25 0 4 0 653332127 1005064192 158671 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.65
Current children cumulated vsize (KiB) 981508

[startup+762.314 s]
/proc/loadavg: 8.12 8.14 8.00 9/377 18783
/proc/meminfo: memFree=21596320/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=1043140 CPUtime=3039.97 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 817592 0 0 0 303678 319 0 0 25 0 4 0 653332127 1068175360 153497 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 260785 153497 379 95 0 255767 0
[pid=18717/tid=18718] ppid=18715 vsize=1043140 CPUtime=762.32 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 206884 0 0 0 76149 83 0 0 25 0 4 0 653332127 1068175360 153497 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=1043140 CPUtime=755.09 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 209265 0 0 0 75429 80 0 0 25 0 4 0 653332127 1068175360 153497 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=1043140 CPUtime=760.22 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 196021 0 0 0 75941 81 0 0 25 0 4 0 653332127 1068175360 153497 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.97
Current children cumulated vsize (KiB) 1043140

[startup+822.3 s]
/proc/loadavg: 8.14 8.14 8.01 9/377 18785
/proc/meminfo: memFree=21439456/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=1139884 CPUtime=3279.2 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 877240 0 0 0 327583 337 0 0 25 0 4 0 653332127 1167241216 187059 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 284971 187059 379 95 0 279953 0
[pid=18717/tid=18718] ppid=18715 vsize=1139884 CPUtime=822.3 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 222995 0 0 0 82144 86 0 0 25 0 4 0 653332127 1167241216 187059 33554432000 4194304 4580107 140737039177216 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=1139884 CPUtime=815.07 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 220040 0 0 0 81424 83 0 0 25 0 4 0 653332127 1167241216 187059 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=1139884 CPUtime=819.48 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 215690 0 0 0 81862 86 0 0 25 0 4 0 653332127 1167241216 187059 33554432000 4194304 4580107 140737039177216 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.2
Current children cumulated vsize (KiB) 1139884

[startup+882.301 s]
/proc/loadavg: 8.27 8.18 8.02 9/377 18786
/proc/meminfo: memFree=21455552/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=1030160 CPUtime=3518.45 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 896641 0 0 0 351496 349 0 0 25 0 4 0 653332127 1054883840 180244 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 257540 180244 379 95 0 252522 0
[pid=18717/tid=18718] ppid=18715 vsize=1030160 CPUtime=882.3 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 225799 0 0 0 88143 87 0 0 25 0 4 0 653332127 1054883840 180244 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=1030160 CPUtime=875.07 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 230203 0 0 0 87417 90 0 0 25 0 4 0 653332127 1054883840 180244 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=1030160 CPUtime=878.73 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 216385 0 0 0 87787 86 0 0 25 0 4 0 653332127 1054883840 180244 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.45
Current children cumulated vsize (KiB) 1030160

[startup+942.301 s]
/proc/loadavg: 8.14 8.16 8.02 9/377 18788
/proc/meminfo: memFree=21394032/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=1096560 CPUtime=3757.72 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 932785 0 0 0 375405 367 0 0 25 0 4 0 653332127 1122877440 187540 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 274140 187541 379 95 0 269122 0
[pid=18717/tid=18718] ppid=18715 vsize=1096560 CPUtime=942.31 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 236465 0 0 0 94139 92 0 0 25 0 4 0 653332127 1122877440 187541 33554432000 4194304 4580107 140737039177216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=1096560 CPUtime=935.08 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 237501 0 0 0 93415 93 0 0 25 0 4 0 653332127 1122877440 187541 33554432000 4194304 4580107 140737039177216 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=1096560 CPUtime=938 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 227173 0 0 0 93708 92 0 0 25 0 4 0 653332127 1122877440 187541 33554432000 4194304 4580107 140737039177216 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.72
Current children cumulated vsize (KiB) 1096560

[startup+1002.3 s]
/proc/loadavg: 8.10 8.14 8.02 9/377 18790
/proc/meminfo: memFree=21400696/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=1098652 CPUtime=3997.01 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 979793 0 0 0 399313 388 0 0 25 0 4 0 653332127 1125019648 188879 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 274663 188879 379 95 0 269645 0
[pid=18717/tid=18718] ppid=18715 vsize=1098652 CPUtime=1002.31 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 248907 0 0 0 100134 97 0 0 25 0 4 0 653332127 1125019648 188879 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=1098652 CPUtime=995.08 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 249877 0 0 0 99410 98 0 0 25 0 4 0 653332127 1125019648 188879 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=1098652 CPUtime=997.28 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 239081 0 0 0 99629 99 0 0 25 0 4 0 653332127 1125019648 188879 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.01
Current children cumulated vsize (KiB) 1098652

[startup+1062.3 s]
/proc/loadavg: 8.11 8.14 8.03 9/377 18791
/proc/meminfo: memFree=21398312/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=1151576 CPUtime=4236.3 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 1025018 0 0 0 423223 407 0 0 25 0 4 0 653332127 1179213824 190768 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 287894 190768 379 95 0 282876 0
[pid=18717/tid=18718] ppid=18715 vsize=1151576 CPUtime=1062.31 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 259527 0 0 0 106131 100 0 0 25 0 4 0 653332127 1179213824 190768 33554432000 4194304 4580107 140737039177216 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=1151576 CPUtime=1055.08 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 261191 0 0 0 105404 104 0 0 25 0 4 0 653332127 1179213824 190768 33554432000 4194304 4580107 140737039177216 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=1151576 CPUtime=1056.57 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 254795 0 0 0 105553 104 0 0 25 0 4 0 653332127 1179213824 190768 33554432000 4194304 4580107 140737039177216 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.3
Current children cumulated vsize (KiB) 1151576

[startup+1122.3 s]
/proc/loadavg: 8.12 8.13 8.03 9/377 18793
/proc/meminfo: memFree=21405984/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=1028144 CPUtime=4475.56 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 1043533 0 0 0 447138 418 0 0 25 0 4 0 653332127 1052819456 186228 33554432000 4194304 4580107 140737039177216 18446744073709551615 4406395 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 257036 186228 379 95 0 252018 0
[pid=18717/tid=18718] ppid=18715 vsize=1028144 CPUtime=1122.31 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 263355 0 0 0 112129 102 0 0 25 0 4 0 653332127 1052819456 186228 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=1028144 CPUtime=1115.08 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 269638 0 0 0 111399 109 0 0 25 0 4 0 653332127 1052819456 186228 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=1028144 CPUtime=1115.82 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 254795 0 0 0 111478 104 0 0 25 0 4 0 653332127 1052819456 186228 33554432000 4194304 4580107 140737039177216 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.56
Current children cumulated vsize (KiB) 1028144

[startup+1182.3 s]
/proc/loadavg: 8.12 8.12 8.03 9/377 18794
/proc/meminfo: memFree=21391192/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=1013696 CPUtime=4714.84 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 1087475 0 0 0 471042 442 0 0 25 0 4 0 653332127 1038024704 188747 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 253424 188747 379 95 0 248406 0
[pid=18717/tid=18718] ppid=18715 vsize=1013696 CPUtime=1182.31 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 274835 0 0 0 118122 109 0 0 25 0 4 0 653332127 1038024704 188747 33554432000 4194304 4580107 140737039177216 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=1013696 CPUtime=1175.09 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 281239 0 0 0 117395 114 0 0 25 0 4 0 653332127 1038024704 188747 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=1013696 CPUtime=1175.1 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 265543 0 0 0 117399 111 0 0 25 0 4 0 653332127 1038024704 188747 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4714.84
Current children cumulated vsize (KiB) 1013696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.16 8.13 8.03 9/377 18795
/proc/meminfo: memFree=21391556/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=1076352 CPUtime=4800.19 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 1102140 0 0 0 479567 452 0 0 25 0 4 0 653332127 1102184448 191975 33554432000 4194304 4580107 140737039177216 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 269088 191975 379 95 0 264070 0
[pid=18717/tid=18718] ppid=18715 vsize=1076352 CPUtime=1203.73 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 277962 0 0 0 120261 112 0 0 25 0 4 0 653332127 1102184448 191977 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=1076352 CPUtime=1196.5 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 285604 0 0 0 119534 116 0 0 25 0 4 0 653332127 1102184448 191977 33554432000 4194304 4580107 140737039177216 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=1076352 CPUtime=1196.23 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 269606 0 0 0 119509 114 0 0 25 0 4 0 653332127 1102184448 191977 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1076352

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

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

[startup+1203.7 s]
/proc/loadavg: 8.16 8.13 8.03 9/377 18795
/proc/meminfo: memFree=21391556/32951124 swapFree=67111348/67111528
[pid=18717] ppid=18715 vsize=1076352 CPUtime=4800.19 cores=1,3,5,7
/proc/18717/stat : 18717 (strangenight2-m) R 18715 18717 18458 0 -1 4202496 1102140 0 0 0 479567 452 0 0 25 0 4 0 653332127 1102184448 191975 33554432000 4194304 4580107 140737039177216 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18717/statm: 269088 191975 379 95 0 264070 0
[pid=18717/tid=18718] ppid=18715 vsize=1076352 CPUtime=1203.73 cores=1,3,5,7
/proc/18717/task/18718/stat : 18718 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 277962 0 0 0 120261 112 0 0 25 0 4 0 653332127 1102184448 191977 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18717/tid=18719] ppid=18715 vsize=1076352 CPUtime=1196.5 cores=1,3,5,7
/proc/18717/task/18719/stat : 18719 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 285604 0 0 0 119534 116 0 0 25 0 4 0 653332127 1102184448 191977 33554432000 4194304 4580107 140737039177216 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18717/tid=18720] ppid=18715 vsize=1076352 CPUtime=1196.23 cores=1,3,5,7
/proc/18717/task/18720/stat : 18720 (strangenight2-m) R 18715 18717 18458 0 -1 4202560 269606 0 0 0 119509 114 0 0 25 0 4 0 653332127 1102184448 191977 33554432000 4194304 4580107 140737039177216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1076352

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.76
CPU time (s): 4800.28
CPU user time (s): 4795.72
CPU system time (s): 4.56231
CPU usage (%): 398.775
Max. virtual memory (cumulated for all children) (KiB): 1222092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.72
system time used= 4.56231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1102145
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= 466
involuntary context switches= 31614

runsolver used 4.04738 second user time and 10.6844 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-15 01:55:44
IDJOB=3366791
IDBENCH=87453
IDSOLVER=1844
FILE ID=node139/3366791-1305417344
RUNJOBID= node139-1305414932-18477
PBS_JOBID= 13324554
Free space on /tmp= 73352 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366791-1305417344/watcher-3366791-1305417344 -o /tmp/evaluation-result-3366791-1305417344/solver-3366791-1305417344 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366791-1305417344.cnf

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

MD5SUM BENCH= f0b7e0675915478b15cab3695fd0fd62
RANDOM SEED=372008842

node139.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.74
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	: 5321.49
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	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22599848 kB
Buffers:        301744 kB
Cached:        2897092 kB
SwapCached:          0 kB
Active:        7986364 kB
Inactive:      2059292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22599848 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5464 kB
Writeback:           0 kB
AnonPages:     6846532 kB
Mapped:          28964 kB
Slab:           202992 kB
PageTables:      37860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 76804704 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= 73348 MiB
End job on node139 at 2011-05-15 02:15:50