Trace number 3366616

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf
MD5SUM63be53becd3199de3ebad3751e577715
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366616-1305410672.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:     257 undec:      58 neg:     235
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       538      2331         0         0      7064         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4914       538      2331         0      4843      7064    122206   no data   no data
3.57/0.90	c  N st    10     11297       538      2331         0      4462      7064     78662   no data   no data
3.57/0.90	c  N st    11     17040       538      2331         0     10102      7064    219162   no data   no data
4.39/1.20	c  F st    12     25004       538      2331         0     12415      7064    271813   no data   no data
4.39/1.20	c  N st    12     25004       538      2331         0     12415      7064    271813   no data   no data
5.15/1.35	c Decided on static restart strategy
5.15/1.35	c  N st    18     30002       538      2331         0     10674      7064    205175   no data   no data
5.15/1.35	c  S st    18     30002       538      2331         0     10674      7064    205175   no data   no data
5.15/1.38	c  S st    18     30506       538      2331         0     11178      7064    216785   no data   no data
5.15/1.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.15/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.15/1.39	c blocked clauses removed:       12 vars:      2 tried:         538 T: 0.00 s
5.15/1.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
5.15/1.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.15/1.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.44	c lits-rem:       168  cl-subs:      415  v-elim:      0  v-fix:    0  time:  0.04 s
5.55/1.45	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.01
5.55/1.45	c calculated reachability. Time: 0.00
5.55/1.45	c  N st    18     30506       536      2319         0     10763      7028    206158   no data   no data
7.15/1.84	c  N st    20     37619       536      2319         0     10029      7028    174192   no data   no data
8.78/2.25	c  N st    21     44018       536      2319         0     16296      7028    330924   no data   no data
9.20/2.37	c  S st    22     45760       536      2319         0      9251      7028    136195   no data   no data
9.20/2.40	c  S st    22     46261       536      2319         0      9752      7028    148073   no data   no data
9.54/2.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
9.54/2.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.41	c lits-rem:        43  cl-subs:       40  v-elim:      0  v-fix:    0  time:  0.01 s
9.54/2.41	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
9.54/2.42	c vivif2 --  cl tried     9712 cl shrink        0 lits rem          0 time: 0.00
9.54/2.42	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.01
9.54/2.42	c calculated reachability. Time: 0.00
9.54/2.42	c  N st    22     46261       536      2319         0      9712      7028    146933   no data   no data
13.58/3.44	c  N st    23     60661       536      2319         0     14129      7028    253036   no data   no data
15.93/4.09	c  N st    24     69392       536      2319         0     11865      7028    179348   no data   no data
15.93/4.09	c  S st    24     69392       536      2319         0     11865      7028    179348   no data   no data
16.33/4.12	c  S st    24     69897       536      2319         0     12370      7028    190606   no data   no data
16.33/4.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.33/4.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.33/4.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
16.33/4.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.33/4.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.16	c lits-rem:        29  cl-subs:      153  v-elim:      0  v-fix:    0  time:  0.02 s
16.33/4.16	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
16.33/4.16	c vivif2 --  cl tried    12217 cl shrink        0 lits rem          0 time: 0.00
16.33/4.17	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.01
16.33/4.17	c calculated reachability. Time: 0.00
16.33/4.17	c  N st    24     69897       536      2319         0     12217      7028    186401   no data   no data
21.95/5.53	c  F st    25     87502       536      2319         0     17658      7028    319095   no data   no data
21.95/5.53	c  N st    25     87502       536      2319         0     17658      7028    319095   no data   no data
23.50/5.98	c Decided on static restart strategy
24.68/6.23	c  N st    32     95543       536      2319         0     25526      7028    506651   no data   no data
27.44/6.91	c  N st    34    104845       536      2319         0     21935      7028    399518   no data   no data
27.44/6.91	c  S st    34    104845       536      2319         0     21935      7028    399518   no data   no data
27.44/6.97	c  S st    34    105351       536      2319         0     22441      7028    411261   no data   no data
27.44/6.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.44/6.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.44/6.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.44/6.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.44/6.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.44/6.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
27.44/6.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.44/6.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.44/6.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.23/7.13	c lits-rem:       106  cl-subs:      811  v-elim:      0  v-fix:    0  time:  0.14 s
28.23/7.13	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
28.23/7.14	c vivif2 --  cl tried    21630 cl shrink        0 lits rem          0 time: 0.00
28.23/7.15	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.01
28.23/7.15	c calculated reachability. Time: 0.00
28.23/7.15	c  N st    34    105351       536      2319         0     21630      7028    390766   no data   no data
31.39/7.99	c  N st    35    114951       536      2319         0     17320      7028    263873   no data   no data
37.33/9.41	c  N st    36    129348       536      2319         0     16731      7028    231431   no data   no data
44.88/11.34	c  N st    37    150943       536      2319         0     22250      7028    362784   no data   no data
47.64/12.08	c  S st    38    158027       536      2319         0     29195      7028    545392   no data   no data
48.06/12.15	c  S st    38    158528       536      2319         0     29695      7028    556847   no data   no data
48.06/12.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.06/12.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.06/12.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.06/12.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.06/12.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.06/12.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
48.06/12.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.06/12.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.06/12.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.60/12.58	c lits-rem:       405  cl-subs:     1206  v-elim:      0  v-fix:    0  time:  0.39 s
49.60/12.58	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
49.60/12.59	c vivif2 --  cl tried    28489 cl shrink        0 lits rem          0 time: 0.01
50.00/12.61	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.02
50.00/12.61	c calculated reachability. Time: 0.00
50.00/12.61	c  N st    38    158528       536      2319         0     28489      7028    523592   no data   no data
69.74/17.61	c  N st    39    207116       536      2319         0     23175      7028    342419   no data   no data
83.51/21.13	c  N st    40    237792       536      2319         0     33589      7028    578157   no data   no data
83.51/21.13	c  S st    40    237792       536      2319         0     33589      7028    578157   no data   no data
83.90/21.22	c  S st    40    238296       536      2319         0     34092      7028    589817   no data   no data
83.90/21.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.90/21.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.90/21.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.90/21.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.90/21.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.90/21.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
83.90/21.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.90/21.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.90/21.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.87/21.76	c lits-rem:       308  cl-subs:     1569  v-elim:      0  v-fix:    0  time:  0.50 s
85.87/21.76	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
85.87/21.77	c vivif2 --  cl tried    32523 cl shrink        0 lits rem          0 time: 0.01
85.87/21.79	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.02
85.87/21.79	c calculated reachability. Time: 0.00
85.87/21.79	c  N st    40    238296       536      2319         0     32523      7028    551678   no data   no data
117.67/29.77	c  F st    41    306251       536      2319         0     34470      7028    536508   no data   no data
117.67/29.77	c  N st    41    306251       536      2319         0     34470      7028    536508   no data   no data
120.43/30.46	c Decided on static restart strategy
131.60/33.22	c  N st    51    334553       536      2319         0     38694      7028    644808   no data   no data
144.00/36.36	c  N st    53    357444       536      2319         0     36651      7028    577706   no data   no data
144.00/36.36	c  S st    53    357444       536      2319         0     36651      7028    577706   no data   no data
144.41/36.46	c  S st    53    357951       536      2319         0     37157      7028    589632   no data   no data
144.41/36.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.41/36.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
144.41/36.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.41/36.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.41/36.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.41/36.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
144.41/36.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.41/36.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.76/36.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.96/36.82	c lits-rem:       254  cl-subs:     1079  v-elim:      0  v-fix:    0  time:  0.32 s
145.96/36.82	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
145.96/36.83	c vivif2 --  cl tried    36078 cl shrink        0 lits rem          0 time: 0.01
145.96/36.85	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.03
145.96/36.85	c calculated reachability. Time: 0.00
145.96/36.85	c  N st    53    357951       536      2319         0     36078      7028    563183   no data   no data
163.91/41.39	c  N st    54    390343       536      2319         0     42287      7028    698769   no data   no data
192.26/48.44	c  N st    55    438932       536      2319         0     35981      7028    500649   no data   no data
234.52/59.04	c  N st    56    511814       536      2319         0     49331      7028    793854   no data   no data
248.88/62.68	c  N st    57    536928       536      2319         0     43742      7028    671322   no data   no data
248.88/62.68	c  S st    57    536928       536      2319         0     43742      7028    671322   no data   no data
249.31/62.80	c  S st    57    537435       536      2319         0     44248      7028    682980   no data   no data
249.31/62.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
249.72/62.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
249.72/62.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
249.72/62.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.72/62.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.72/62.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
249.72/62.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
249.72/62.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
249.72/62.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.07/63.41	c lits-rem:       650  cl-subs:     1356  v-elim:      0  v-fix:    0  time:  0.56 s
252.07/63.41	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
252.07/63.42	c vivif2 --  cl tried    42892 cl shrink        0 lits rem          0 time: 0.01
252.07/63.45	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.03
252.07/63.45	c calculated reachability. Time: 0.00
252.07/63.45	c  N st    57    537435       536      2319         0     42892      7028    645976   no data   no data
363.81/91.49	c  N st    58    701419       536      2319         0     37337      7028    410777   no data   no data
440.35/110.69	c  N st    59    806152       536      2319         0     66044      7028   1144569   no data   no data
440.35/110.70	c  S st    59    806152       536      2319         0     66044      7028   1144569   no data   no data
441.15/110.89	c  S st    59    806655       536      2319         0     66545      7028   1156922   no data   no data
441.15/110.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
441.55/110.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
441.55/110.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
441.55/110.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
441.55/110.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
441.55/110.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
441.55/110.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
441.55/110.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
441.55/110.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.31/113.69	c lits-rem:       462  cl-subs:     3320  v-elim:      0  v-fix:    0  time:  2.71 s
452.31/113.69	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
452.71/113.70	c vivif2 --  cl tried    63225 cl shrink        0 lits rem          0 time: 0.02
452.71/113.76	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.06
452.71/113.76	c calculated reachability. Time: 0.00
452.71/113.76	c  N st    59    806655       536      2319         0     63225      7028   1070617   no data   no data
684.85/171.91	c  F st    60   1071875       536      2319         0     78910      7028   1365410   no data   no data
684.85/171.91	c  N st    60   1071875       536      2319         0     78910      7028   1365410   no data   no data
692.04/173.71	c Decided on static restart strategy
711.18/178.51	c  N st    70   1100180       536      2319         0     62809      7028    899060   no data   no data
743.49/186.61	c  N st    72   1136173       536      2319         0     53144      7028    655000   no data   no data
772.60/193.90	c  N st    73   1168567       536      2319         0     84756      7028   1422683   no data   no data
806.95/202.56	c  N st    74   1209982       536      2319         0     79394      7028   1288059   no data   no data
806.95/202.56	c  S st    74   1209982       536      2319         0     79394      7028   1288059   no data   no data
808.10/202.81	c  S st    74   1210484       536      2319         0     79895      7028   1300086   no data   no data
808.10/202.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
808.10/202.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
808.10/202.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
808.10/202.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
808.10/202.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
808.10/202.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
808.10/202.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
808.10/202.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
808.50/202.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
821.26/206.17	c lits-rem:      1204  cl-subs:     4450  v-elim:      0  v-fix:    0  time:  3.26 s
821.26/206.17	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
821.26/206.19	c vivif2 --  cl tried    75445 cl shrink        0 lits rem          0 time: 0.02
821.66/206.27	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.08
821.66/206.27	c calculated reachability. Time: 0.00
821.66/206.27	c  N st    74   1210484       536      2319         0     75445      7028   1197519   no data   no data
897.45/225.23	c  N st    75   1283366       536      2319         0     52000      7028    561872   no data   no data
1002.74/251.66	c  N st    76   1392691       536      2319         0     60371      7028    741399   no data   no data
1173.06/294.30	c  N st    77   1556675       536      2319         0     64809      7028    791604   no data   no data
1343.77/337.14	c  N st    78   1710484       536      2319         0    106815      7028   1859196   no data   no data
1343.77/337.14	c  S st    78   1710484       536      2319         0    106815      7028   1859196   no data   no data
1344.97/337.49	c  S st    78   1710991       536      2319         0    107321      7028   1871928   no data   no data
1345.37/337.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1345.37/337.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1345.37/337.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1345.37/337.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1345.37/337.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1345.37/337.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
1345.37/337.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1345.37/337.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1345.76/337.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1386.10/347.77	c lits-rem:       919  cl-subs:     6402  v-elim:      0  v-fix:    0  time: 10.13 s
1386.10/347.77	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
1386.10/347.79	c vivif2 --  cl tried   100919 cl shrink        0 lits rem          0 time: 0.02
1386.84/347.90	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.11
1386.84/347.90	c calculated reachability. Time: 0.00
1386.84/347.90	c  N st    78   1710991       536      2319         0    100919      7028   1716221   no data   no data
1794.88/450.25	c  N st    79   2079956       536      2319         0    112555      7028   1873122   no data   no data
1950.84/489.35	c  N st    80   2210991       536      2319         0    116540      7028   2028314   no data   no data
1950.84/489.35	c  S st    80   2210991       536      2319         0    116540      7028   2028314   no data   no data
1952.43/489.77	c  S st    80   2211496       536      2319         0    117045      7028   2041121   no data   no data
1952.43/489.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1952.83/489.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1952.83/489.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1952.83/489.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1952.83/489.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1952.83/489.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
1952.83/489.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1952.83/489.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1953.23/489.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2004.32/502.77	c lits-rem:      1331  cl-subs:     6728  v-elim:      0  v-fix:    0  time: 12.85 s
2004.32/502.77	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
2004.32/502.80	c vivif2 --  cl tried   110317 cl shrink        0 lits rem          0 time: 0.03
2005.08/502.93	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.13
2005.08/502.93	c calculated reachability. Time: 0.00
2005.08/502.93	c  N st    80   2211496       536      2319         0    110317      7028   1864543   no data   no data
2652.45/665.27	c  N st    81   2711496       536      2319         0    133482      7028   2276642   no data   no data
2652.45/665.27	c  S st    81   2711496       536      2319         0    133482      7028   2276642   no data   no data
2654.44/665.74	c  S st    81   2712001       536      2319         0    133986      7028   2289110   no data   no data
2654.44/665.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2654.84/665.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2654.84/665.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2654.84/665.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2654.84/665.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2654.84/665.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
2654.84/665.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2654.84/665.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2655.24/665.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2737.44/686.56	c lits-rem:      1025  cl-subs:    11185  v-elim:      0  v-fix:    0  time: 20.64 s
2737.44/686.56	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
2737.44/686.59	c vivif2 --  cl tried   122801 cl shrink        0 lits rem          0 time: 0.03
2738.19/686.74	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.14
2738.19/686.74	c calculated reachability. Time: 0.00
2738.19/686.74	c  N st    81   2712001       536      2319         0    122801      7028   2030716   no data   no data
3464.13/868.79	c  N st    82   3212001       536      2319         0     98544      7028   1269649   no data   no data
3464.13/868.79	c  S st    82   3212001       536      2319         0     98544      7028   1269649   no data   no data
3465.77/869.12	c  S st    82   3212503       536      2319         0     99045      7028   1282208   no data   no data
3465.77/869.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3465.77/869.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3465.77/869.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3465.77/869.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3465.77/869.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3465.77/869.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
3465.77/869.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3466.12/869.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3466.12/869.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3475.29/871.51	c lits-rem:       311  cl-subs:     3319  v-elim:      0  v-fix:    0  time:  2.27 s
3475.29/871.51	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
3475.29/871.53	c vivif2 --  cl tried    95726 cl shrink        0 lits rem          0 time: 0.02
3475.69/871.64	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.10
3475.69/871.64	c calculated reachability. Time: 0.00
3475.69/871.64	c  N st    82   3212503       536      2319         0     95726      7028   1206359   no data   no data
4340.80/1088.57	c  N st    83   3712503       536      2319         0    106541      7028   1368657   no data   no data
4340.80/1088.57	c  S st    83   3712503       536      2319         0    106541      7028   1368657   no data   no data
4342.40/1088.94	c  S st    83   3713009       536      2319         0    107047      7028   1381275   no data   no data
4342.40/1088.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4342.40/1089.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4342.40/1089.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4342.40/1089.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4342.40/1089.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4342.40/1089.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
4342.40/1089.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4342.82/1089.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4342.82/1089.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4353.96/1091.89	c lits-rem:       325  cl-subs:     4473  v-elim:      0  v-fix:    0  time:  2.82 s
4353.96/1091.89	c vivif2 --  cl tried     2319 cl shrink        0 lits rem          0 time: 0.00
4354.36/1091.91	c vivif2 --  cl tried   102574 cl shrink        0 lits rem          0 time: 0.02
4354.76/1092.02	c asymm  cl-useful: 0/2319/2319 lits-rem:0 time: 0.11
4354.76/1092.02	c calculated reachability. Time: 0.00
4354.76/1092.02	c  N st    83   3713009       536      2319         0    102574      7028   1283932   no data   no data
4412.60/1106.61	c  F st    84   3751562       536      2319         0    140315      7028   2288684   no data   no data
4412.60/1106.61	c  N st    84   3751562       536      2319         0    140315      7028   2288684   no data   no data
4424.16/1109.46	c Decided on static restart strategy
4470.82/1121.11	c  N st    94   3779860       536      2319         0     85236      7028    805710   no data   no data
4517.10/1132.78	c  N st    96   3815852       536      2319         0    120268      7028   1633163   no data   no data
4578.12/1148.02	c  N st    97   3848244       536      2319         0    151813      7028   2380131   no data   no data
4663.10/1169.33	c  N st    98   3896833       536      2319         0    115346      7028   1478180   no data   no data
4785.95/1200.15	c  N st    99   3969716       536      2319         0    101869      7028   1204233   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-3366616-1305410672/watcher-3366616-1305410672 -o /tmp/evaluation-result-3366616-1305410672/solver-3366616-1305410672 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366616-1305410672.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: 3.47 4.21 5.66 8/352 21914
/proc/meminfo: memFree=24134700/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 407 0 0 0 1 0 0 0 18 0 4 0 652663879 52396032 347 33554432000 4194304 4580107 140736382592416 18446744073709551615 47197419538348 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 12792 347 299 95 0 7774 0
[pid=21914/tid=21916] ppid=21912 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 652663879 52396032 347 33554432000 4194304 4580107 140736382592416 18446744073709551615 47197419538354 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652663879 52396032 347 33554432000 4194304 4580107 140736382592416 18446744073709551615 47197419538354 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 652663879 52396032 347 33554432000 4194304 4580107 140736382592416 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.164153 s]
/proc/loadavg: 3.47 4.21 5.66 8/352 21914
/proc/meminfo: memFree=24134700/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=282220 CPUtime=0.62 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 1945 0 0 0 62 0 0 0 18 0 4 0 652663879 288993280 1841 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 70555 1841 377 95 0 65537 0
[pid=21914/tid=21916] ppid=21912 vsize=282220 CPUtime=0.15 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 428 0 0 0 15 0 0 0 18 0 4 0 652663879 288993280 1841 33554432000 4194304 4580107 140736382592416 18446744073709551615 4321317 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=282220 CPUtime=0.15 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 405 0 0 0 15 0 0 0 18 0 4 0 652663879 288993280 1841 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=282220 CPUtime=0.14 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 278 0 0 0 14 0 0 0 21 0 4 0 652663879 288993280 1841 33554432000 4194304 4580107 140736382592416 18446744073709551615 4322541 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 282220

[startup+0.264133 s]
/proc/loadavg: 3.47 4.21 5.66 8/352 21914
/proc/meminfo: memFree=24134700/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=283580 CPUtime=1.02 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 2578 0 0 0 102 0 0 0 18 0 4 0 652663879 290385920 1886 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293710 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 70895 1886 377 95 0 65877 0
[pid=21914/tid=21916] ppid=21912 vsize=283580 CPUtime=0.25 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 600 0 0 0 25 0 0 0 18 0 4 0 652663879 290385920 1886 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=283580 CPUtime=0.25 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 563 0 0 0 25 0 0 0 18 0 4 0 652663879 290385920 1886 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293805 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=283580 CPUtime=0.24 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 421 0 0 0 24 0 0 0 21 0 4 0 652663879 290385920 1886 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 283580

[startup+0.301126 s]
/proc/loadavg: 3.47 4.21 5.66 8/352 21914
/proc/meminfo: memFree=24134700/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=283580 CPUtime=1.16 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 2770 0 0 0 116 0 0 0 18 0 4 0 652663879 290385920 2078 33554432000 4194304 4580107 140736382592416 18446744073709551615 4306295 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 70895 2078 377 95 0 65877 0
[pid=21914/tid=21916] ppid=21912 vsize=283580 CPUtime=0.29 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 640 0 0 0 29 0 0 0 18 0 4 0 652663879 290385920 2078 33554432000 4194304 4580107 140736382592416 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=283580 CPUtime=0.29 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 613 0 0 0 29 0 0 0 18 0 4 0 652663879 290385920 2078 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=283580 CPUtime=0.28 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 473 0 0 0 28 0 0 0 21 0 4 0 652663879 290385920 2078 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283580

[startup+0.701047 s]
/proc/loadavg: 3.47 4.21 5.66 8/352 21914
/proc/meminfo: memFree=24134700/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=284584 CPUtime=2.77 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 4352 0 0 0 276 1 0 0 18 0 4 0 652663879 291414016 2777 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293100 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 71146 2777 377 95 0 66128 0
[pid=21914/tid=21916] ppid=21912 vsize=284584 CPUtime=0.68 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 1029 0 0 0 68 0 0 0 18 0 4 0 652663879 291414016 2778 33554432000 4194304 4580107 140736382592416 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=284584 CPUtime=0.69 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 1014 0 0 0 69 0 0 0 18 0 4 0 652663879 291414016 2778 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=284584 CPUtime=0.68 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 860 0 0 0 68 0 0 0 22 0 4 0 652663879 291414016 2778 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284584

[startup+1.50089 s]
/proc/loadavg: 3.47 4.21 5.66 9/357 21919
/proc/meminfo: memFree=24113208/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=286044 CPUtime=5.96 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 8806 0 0 0 594 2 0 0 20 0 4 0 652663879 292909056 4491 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 71511 4492 379 95 0 66493 0
[pid=21914/tid=21916] ppid=21912 vsize=286044 CPUtime=1.48 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 1778 0 0 0 148 0 0 0 20 0 4 0 652663879 292909056 4492 33554432000 4194304 4580107 140736382592416 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=286044 CPUtime=1.49 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 1816 0 0 0 149 0 0 0 20 0 4 0 652663879 292909056 4492 33554432000 4194304 4580107 140736382592416 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=286044 CPUtime=1.46 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 1641 0 0 0 146 0 0 0 25 0 4 0 652663879 292909056 4492 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286044

[startup+3.10057 s]
/proc/loadavg: 3.47 4.21 5.66 9/357 21919
/proc/meminfo: memFree=24075884/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=293584 CPUtime=12.35 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 18233 0 0 0 1231 4 0 0 25 0 4 0 652663879 300630016 9671 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 73396 9671 380 95 0 68378 0
[pid=21914/tid=21916] ppid=21912 vsize=293584 CPUtime=3.09 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 4182 0 0 0 308 1 0 0 25 0 4 0 652663879 300630016 9671 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=293584 CPUtime=3.09 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 4863 0 0 0 308 1 0 0 25 0 4 0 652663879 300630016 9671 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=293584 CPUtime=3.06 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 4285 0 0 0 305 1 0 0 25 0 4 0 652663879 300630016 9671 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 293584

[startup+6.30094 s]
/proc/loadavg: 3.83 4.28 5.68 10/357 21920
/proc/meminfo: memFree=24047956/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=294604 CPUtime=25.08 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 29030 0 0 0 2503 5 0 0 25 0 4 0 652663879 301674496 12979 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293151 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 73651 12979 379 95 0 68633 0
[pid=21914/tid=21916] ppid=21912 vsize=294604 CPUtime=6.28 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 7278 0 0 0 627 1 0 0 25 0 4 0 652663879 301674496 12979 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=294604 CPUtime=6.28 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 8457 0 0 0 627 1 0 0 25 0 4 0 652663879 301674496 12979 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=294604 CPUtime=6.19 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 6113 0 0 0 618 1 0 0 25 0 4 0 652663879 301674496 12979 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 294604

[startup+12.7007 s]
/proc/loadavg: 4.33 4.37 5.70 11/358 21922
/proc/meminfo: memFree=23984120/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=313060 CPUtime=50.39 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 46540 0 0 0 5030 9 0 0 25 0 4 0 652663879 320573440 20360 33554432000 4194304 4580107 140736382592416 18446744073709551615 4320915 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 78265 20360 379 95 0 73247 0
[pid=21914/tid=21916] ppid=21912 vsize=313060 CPUtime=12.68 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 11419 0 0 0 1266 2 0 0 25 0 4 0 652663879 320573440 20360 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=313060 CPUtime=12.68 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 11575 0 0 0 1266 2 0 0 25 0 4 0 652663879 320573440 20360 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=313060 CPUtime=12.31 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 10898 0 0 0 1229 2 0 0 25 0 4 0 652663879 320573440 20360 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 313060

[startup+25.5011 s]
/proc/loadavg: 5.43 4.61 5.76 9/358 21922
/proc/meminfo: memFree=23939904/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=312068 CPUtime=100.88 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 69704 0 0 0 10072 16 0 0 25 0 4 0 652663879 319557632 25655 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 78017 25655 379 95 0 72999 0
[pid=21914/tid=21916] ppid=21912 vsize=312068 CPUtime=25.49 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 18229 0 0 0 2545 4 0 0 25 0 4 0 652663879 319557632 25655 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=312068 CPUtime=25.48 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 17593 0 0 0 2544 4 0 0 25 0 4 0 652663879 319557632 25655 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=312068 CPUtime=24.38 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 15778 0 0 0 2435 3 0 0 25 0 4 0 652663879 319557632 25655 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.88
Current children cumulated vsize (KiB) 312068

[startup+51.101 s]
/proc/loadavg: 6.30 4.88 5.81 9/357 21923
/proc/meminfo: memFree=23895064/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=313024 CPUtime=203 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 103168 0 0 0 20273 27 0 0 25 0 4 0 652663879 320536576 34079 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 78256 34079 379 95 0 73238 0
[pid=21914/tid=21916] ppid=21912 vsize=313024 CPUtime=51.09 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 28342 0 0 0 5102 7 0 0 25 0 4 0 652663879 320536576 34079 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=313024 CPUtime=51.08 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 26146 0 0 0 5102 6 0 0 25 0 4 0 652663879 320536576 34079 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=313024 CPUtime=49.71 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 21774 0 0 0 4965 6 0 0 25 0 4 0 652663879 320536576 34079 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203
Current children cumulated vsize (KiB) 313024

[startup+102.301 s]
/proc/loadavg: 7.31 5.38 5.93 9/357 21925
/proc/meminfo: memFree=23844096/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=324372 CPUtime=407.27 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 147290 0 0 0 40683 44 0 0 25 0 4 0 652663879 332156928 40639 33554432000 4194304 4580107 140736382592416 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 81093 40639 379 95 0 76075 0
[pid=21914/tid=21916] ppid=21912 vsize=324372 CPUtime=102.3 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 40889 0 0 0 10219 11 0 0 25 0 4 0 652663879 332156928 40639 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=324372 CPUtime=102.3 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 38888 0 0 0 10218 12 0 0 25 0 4 0 652663879 332156928 40639 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=324372 CPUtime=100.34 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 30426 0 0 0 10024 10 0 0 25 0 4 0 652663879 332156928 40639 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.27
Current children cumulated vsize (KiB) 324372

[startup+162.301 s]

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

[pid=21914] ppid=21912 vsize=561728 CPUtime=2561.11 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 434744 0 0 0 255937 174 0 0 25 0 4 0 652663879 575209472 87317 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 140432 87317 379 95 0 135414 0
[pid=21914/tid=21916] ppid=21912 vsize=561728 CPUtime=642.32 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 121866 0 0 0 64183 49 0 0 25 0 4 0 652663879 575209472 87317 33554432000 4194304 4580107 140736382592416 18446744073709551615 4322424 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=561728 CPUtime=642.31 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 115962 0 0 0 64187 44 0 0 25 0 4 0 652663879 575209472 87317 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=561728 CPUtime=634.14 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 82813 0 0 0 63377 37 0 0 25 0 4 0 652663879 575209472 87317 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.11
Current children cumulated vsize (KiB) 561728

[startup+702.301 s]
/proc/loadavg: 8.16 7.78 6.96 9/357 21947
/proc/meminfo: memFree=23442380/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=562056 CPUtime=2800.42 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 459004 0 0 0 279856 186 0 0 25 0 4 0 652663879 575545344 88660 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 140514 88660 379 95 0 135496 0
[pid=21914/tid=21916] ppid=21912 vsize=562056 CPUtime=702.32 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 128009 0 0 0 70180 52 0 0 25 0 4 0 652663879 575545344 88660 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=562056 CPUtime=702.31 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 121999 0 0 0 70184 47 0 0 25 0 4 0 652663879 575545344 88660 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=562056 CPUtime=693.44 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 85743 0 0 0 69306 38 0 0 25 0 4 0 652663879 575545344 88660 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.42
Current children cumulated vsize (KiB) 562056

[startup+762.301 s]
/proc/loadavg: 8.13 7.83 7.03 9/357 21950
/proc/meminfo: memFree=23418936/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=562752 CPUtime=3039.77 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 477617 0 0 0 303781 196 0 0 25 0 4 0 652663879 576258048 93061 33554432000 4194304 4580107 140736382592416 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 140688 93061 379 95 0 135670 0
[pid=21914/tid=21916] ppid=21912 vsize=562752 CPUtime=762.33 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 134371 0 0 0 76178 55 0 0 25 0 4 0 652663879 576258048 93061 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=562752 CPUtime=762.32 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 128168 0 0 0 76182 50 0 0 25 0 4 0 652663879 576258048 93061 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=562752 CPUtime=752.76 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 87765 0 0 0 75236 40 0 0 25 0 4 0 652663879 576258048 93061 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.77
Current children cumulated vsize (KiB) 562752

[startup+822.301 s]
/proc/loadavg: 8.16 7.89 7.10 9/357 21951
/proc/meminfo: memFree=23374516/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=565052 CPUtime=3279.06 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 495421 0 0 0 327700 206 0 0 25 0 4 0 652663879 578613248 94114 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 141263 94114 379 95 0 136245 0
[pid=21914/tid=21916] ppid=21912 vsize=565052 CPUtime=822.32 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 141148 0 0 0 82174 58 0 0 25 0 4 0 652663879 578613248 94114 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=565052 CPUtime=822.31 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 133795 0 0 0 82178 53 0 0 25 0 4 0 652663879 578613248 94114 33554432000 4194304 4580107 140736382592416 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=565052 CPUtime=812.07 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 92749 0 0 0 81164 43 0 0 25 0 4 0 652663879 578613248 94114 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.06
Current children cumulated vsize (KiB) 565052

[startup+882.314 s]
/proc/loadavg: 8.16 7.94 7.16 9/357 21953
/proc/meminfo: memFree=23329492/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=565276 CPUtime=3518.42 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 515138 0 0 0 351627 215 0 0 25 0 4 0 652663879 578842624 103187 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 141319 103187 379 95 0 136301 0
[pid=21914/tid=21916] ppid=21912 vsize=565276 CPUtime=882.34 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 150015 0 0 0 88172 62 0 0 25 0 4 0 652663879 578842624 103187 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=565276 CPUtime=882.32 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 136961 0 0 0 88178 54 0 0 25 0 4 0 652663879 578842624 103187 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=565276 CPUtime=871.38 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 96539 0 0 0 87093 45 0 0 25 0 4 0 652663879 578842624 103187 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.42
Current children cumulated vsize (KiB) 565276

[startup+942.301 s]
/proc/loadavg: 8.19 7.98 7.22 9/357 21956
/proc/meminfo: memFree=23352172/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=565488 CPUtime=3757.69 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 532207 0 0 0 375546 223 0 0 25 0 4 0 652663879 579059712 102034 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 141372 102034 379 95 0 136354 0
[pid=21914/tid=21916] ppid=21912 vsize=565488 CPUtime=942.32 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 156589 0 0 0 94167 65 0 0 25 0 4 0 652663879 579059712 102034 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=565488 CPUtime=942.32 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 144537 0 0 0 94174 58 0 0 25 0 4 0 652663879 579059712 102034 33554432000 4194304 4580107 140736382592416 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=565488 CPUtime=930.67 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 96780 0 0 0 93022 45 0 0 25 0 4 0 652663879 579059712 102034 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.69
Current children cumulated vsize (KiB) 565488

[startup+1002.3 s]
/proc/loadavg: 8.15 8.01 7.28 9/357 21957
/proc/meminfo: memFree=23363196/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=545352 CPUtime=3996.99 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 551873 0 0 0 399464 235 0 0 25 0 4 0 652663879 558440448 99548 33554432000 4194304 4580107 140736382592416 18446744073709551615 4304864 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 136338 99548 379 95 0 131320 0
[pid=21914/tid=21916] ppid=21912 vsize=545352 CPUtime=1002.33 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 163235 0 0 0 100163 70 0 0 25 0 4 0 652663879 558440448 99548 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=545352 CPUtime=1002.32 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 148793 0 0 0 100171 61 0 0 25 0 4 0 652663879 558440448 99548 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=545352 CPUtime=989.97 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 100882 0 0 0 98950 47 0 0 25 0 4 0 652663879 558440448 99548 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3996.99
Current children cumulated vsize (KiB) 545352

[startup+1062.3 s]
/proc/loadavg: 8.13 8.03 7.33 9/357 21960
/proc/meminfo: memFree=23345312/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=583308 CPUtime=4236.3 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 571772 0 0 0 423386 244 0 0 25 0 4 0 652663879 597307392 103129 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 145827 103129 379 95 0 140809 0
[pid=21914/tid=21916] ppid=21912 vsize=583308 CPUtime=1062.34 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 167751 0 0 0 106161 73 0 0 25 0 4 0 652663879 597307392 103129 33554432000 4194304 4580107 140736382592416 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=583308 CPUtime=1062.32 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 154503 0 0 0 106169 63 0 0 25 0 4 0 652663879 597307392 103129 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=583308 CPUtime=1049.27 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 104669 0 0 0 104879 48 0 0 25 0 4 0 652663879 597307392 103129 33554432000 4194304 4580107 140736382592416 18446744073709551615 4318418 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) 583308

[startup+1122.3 s]
/proc/loadavg: 8.17 8.05 7.38 9/357 21961
/proc/meminfo: memFree=23304868/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=616988 CPUtime=4475.61 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 591704 0 0 0 447306 255 0 0 25 0 4 0 652663879 631795712 108754 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 154247 108754 379 95 0 149229 0
[pid=21914/tid=21916] ppid=21912 vsize=616988 CPUtime=1122.34 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 172164 0 0 0 112158 76 0 0 25 0 4 0 652663879 631795712 108754 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=616988 CPUtime=1122.32 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 155664 0 0 0 112168 64 0 0 25 0 4 0 652663879 631795712 108754 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=616988 CPUtime=1108.57 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 112604 0 0 0 110805 52 0 0 25 0 4 0 652663879 631795712 108754 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.61
Current children cumulated vsize (KiB) 616988

[startup+1182.3 s]
/proc/loadavg: 8.06 8.04 7.42 9/357 21964
/proc/meminfo: memFree=23313288/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=562008 CPUtime=4714.93 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 612104 0 0 0 471228 265 0 0 25 0 4 0 652663879 575496192 104868 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 140502 104868 379 95 0 135484 0
[pid=21914/tid=21916] ppid=21912 vsize=562008 CPUtime=1182.34 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 178358 0 0 0 118155 79 0 0 25 0 4 0 652663879 575496192 104868 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=562008 CPUtime=1182.33 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 160199 0 0 0 118167 66 0 0 25 0 4 0 652663879 575496192 104868 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=562008 CPUtime=1167.89 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 117364 0 0 0 116734 55 0 0 25 0 4 0 652663879 575496192 104868 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4714.93
Current children cumulated vsize (KiB) 562008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.10 8.05 7.44 5/352 21966
/proc/meminfo: memFree=23707772/32950928 swapFree=45937192/67111528
[pid=21914] ppid=21912 vsize=576056 CPUtime=4800.3 cores=1,3,5,7
/proc/21914/stat : 21914 (strangenight2-m) R 21912 21914 21516 0 -1 4202496 620448 0 0 0 479759 271 0 0 25 0 4 0 652663879 589881344 106022 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21914/statm: 144014 106022 379 95 0 138996 0
[pid=21914/tid=21916] ppid=21912 vsize=576056 CPUtime=1203.75 cores=1,3,5,7
/proc/21914/task/21916/stat : 21916 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 180765 0 0 0 120295 80 0 0 25 0 4 0 652663879 589881344 106023 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21914/tid=21917] ppid=21912 vsize=576056 CPUtime=1203.74 cores=1,3,5,7
/proc/21914/task/21917/stat : 21917 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 162642 0 0 0 120307 67 0 0 25 0 4 0 652663879 589881344 106023 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21914/tid=21918] ppid=21912 vsize=576056 CPUtime=1189.03 cores=1,3,5,7
/proc/21914/task/21918/stat : 21918 (strangenight2-m) R 21912 21914 21516 0 -1 4202560 118284 0 0 0 118847 56 0 0 25 0 4 0 652663879 589881344 106023 33554432000 4194304 4580107 140736382592416 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 576056

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.74
CPU time (s): 4800.36
CPU user time (s): 4797.63
CPU system time (s): 2.73658
CPU usage (%): 398.788
Max. virtual memory (cumulated for all children) (KiB): 720048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.63
system time used= 2.73658
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620451
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= 517
involuntary context switches= 19768

runsolver used 3.84641 second user time and 10.0845 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-15 00:04:32
IDJOB=3366616
IDBENCH=83025
IDSOLVER=1844
FILE ID=node149/3366616-1305410672
RUNJOBID= node149-1305410672-21893
PBS_JOBID= 13324509
Free space on /tmp= 73568 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366616-1305410672/watcher-3366616-1305410672 -o /tmp/evaluation-result-3366616-1305410672/solver-3366616-1305410672 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366616-1305410672.cnf

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

MD5SUM BENCH= 63be53becd3199de3ebad3751e577715
RANDOM SEED=1247879777

node149.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.806
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.61
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.806
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.83
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.806
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.83
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.806
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.73
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.806
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.806
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.806
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.806
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:     32950928 kB
MemFree:      24134980 kB
Buffers:        310604 kB
Cached:        3872720 kB
SwapCached:      19984 kB
Active:        6315868 kB
Inactive:      2205436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24134980 kB
SwapTotal:    67111528 kB
SwapFree:     45937192 kB
Dirty:           10980 kB
Writeback:           0 kB
AnonPages:     4330580 kB
Mapped:          13988 kB
Slab:           157316 kB
PageTables:      71972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 80229940 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= 73560 MiB
End job on node149 at 2011-05-15 00:24:38