Trace number 3366823

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.24 1203.8

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-15-29-sat.cnf
MD5SUM89115b5a973735d51018fb3202154f32
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.021995
Satisfiable
(Un)Satisfiability was proved
Number of variables435
Number of clauses3270
Sum of the clauses size12615
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23045
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5225

Solver Data 

0.00/0.01	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-3366823-1305413718.cnf'
0.00/0.01	c -- header says num vars:            435
0.00/0.01	c -- header says num clauses:        3270
0.00/0.01	c -- clauses added:            0 learnts,         3270 normals,            0 xors
0.00/0.01	c -- vars added        435
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       435       225      3045         0     12615         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/225/225 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.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.02M  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:       0 undec:       0 neg:     435
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       435       225      3045         0     12615         0   no data   no data
0.77/0.25	c Decided on static restart strategy
1.17/0.39	c  N st     8      4915       435       225      3045      4706     12615    659883   no data   no data
2.77/0.73	c  N st    10     11299       435       225      3045      4368     12615    563570   no data   no data
3.99/1.06	c  N st    11     17042       435       225      3045      9833     12615   1376372   no data   no data
7.16/1.81	c  F st    12     25001       435       225      3045     12076     12615   1759085   no data   no data
7.16/1.81	c  N st    12     25001       435       225      3045     12076     12615   1759085   no data   no data
8.80/2.25	c Decided on static restart strategy
8.80/2.25	c  N st    18     30001       435       225      3045     10369     12615   1389883   no data   no data
8.80/2.25	c  S st    18     30001       435       225      3045     10369     12615   1389883   no data   no data
8.80/2.29	c  S st    18     30504       435       225      3045     10866     12615   1451051   no data   no data
9.15/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.01
9.15/2.31	c blocked clauses removed:        0 vars:      0 tried:         435 T: 0.00 s
9.15/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.15/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
9.15/2.31	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
9.15/2.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
15.12/3.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.44 s
34.27/8.64	c lits-rem:       277  cl-subs:      174  v-elim:      0  v-fix:    0  time:  4.83 s
34.27/8.66	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.02
34.27/8.66	c calculated reachability. Time: 0.00
34.27/8.66	c  N st    18     30504       435       225      3045     10692     12615   1423273   no data   no data
36.66/9.22	c  N st    20     37615       435       225      3045      9918     12615   1235927   no data   no data
39.49/9.98	c  N st    21     44018       435       225      3045     15984     12615   2584147   no data   no data
40.24/10.19	c  S st    22     45758       435       225      3045      9112     12615   1058117   no data   no data
40.64/10.23	c  S st    22     46262       435       225      3045      9612     12615   1121634   no data   no data
40.64/10.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.64/10.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.01
40.64/10.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.64/10.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.64/10.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.64/10.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
40.64/10.25	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
40.64/10.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.63/11.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.42 s
51.81/13.09	c lits-rem:        74  cl-subs:       48  v-elim:      0  v-fix:    0  time:  1.40 s
51.81/13.09	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
51.81/13.11	c vivif2 --  cl tried     9564 cl shrink        0 lits rem          0 time: 0.01
52.23/13.13	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.02
52.23/13.13	c calculated reachability. Time: 0.00
52.23/13.13	c  N st    22     46262       435       225      3045      9564     12615   1114197   no data   no data
57.79/14.56	c  N st    23     60659       435       225      3045     13580     12615   1773403   no data   no data
62.17/15.63	c  N st    24     69394       435       225      3045     11556     12615   1279556   no data   no data
62.17/15.63	c  S st    24     69394       435       225      3045     11556     12615   1279556   no data   no data
62.17/15.68	c  S st    24     69898       435       225      3045     12057     12615   1339790   no data   no data
62.17/15.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.58/15.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.02
62.58/15.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
62.58/15.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.58/15.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.58/15.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
62.58/15.71	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
62.58/15.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
69.36/17.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.64 s
77.34/19.45	c lits-rem:       172  cl-subs:      112  v-elim:      0  v-fix:    0  time:  2.05 s
77.34/19.45	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
77.34/19.47	c vivif2 --  cl tried    11945 cl shrink        0 lits rem          0 time: 0.02
77.34/19.49	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.02
77.34/19.49	c calculated reachability. Time: 0.00
77.34/19.49	c  N st    24     69898       435       225      3045     11945     12615   1325369   no data   no data
84.90/21.31	c  F st    25     87503       435       225      3045     17352     12615   2320747   no data   no data
84.90/21.31	c  N st    25     87503       435       225      3045     17352     12615   2320747   no data   no data
86.91/21.82	c Decided on static restart strategy
88.49/22.20	c  N st    32     95543       435       225      3045     12446     12615   1254856   no data   no data
92.14/23.19	c  N st    34    104847       435       225      3045     21399     12615   2647194   no data   no data
92.14/23.19	c  S st    34    104847       435       225      3045     21399     12615   2647194   no data   no data
92.48/23.26	c  S st    34    105349       435       225      3045     21897     12615   2712627   no data   no data
92.48/23.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
92.88/23.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.05
92.88/23.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
92.88/23.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.88/23.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.88/23.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
92.88/23.32	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
92.88/23.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
100.48/25.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.81 s
147.12/36.91	c lits-rem:       741  cl-subs:      364  v-elim:      0  v-fix:    0  time: 11.69 s
147.12/36.91	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
147.12/36.94	c vivif2 --  cl tried    21533 cl shrink        0 lits rem          0 time: 0.03
147.52/37.00	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.06
147.52/37.00	c calculated reachability. Time: 0.00
147.52/37.00	c  N st    34    105349       435       225      3045     21533     12615   2652546   no data   no data
150.71/37.83	c  N st    35    114947       435       225      3045     17404     12615   2134430   no data   no data
157.51/39.58	c  N st    36    129345       435       225      3045     16860     12615   1815982   no data   no data
168.25/42.26	c  N st    37    150940       435       225      3045     22260     12615   2777260   no data   no data
173.04/43.41	c  S st    38    158026       435       225      3045     29103     12615   3905395   no data   no data
173.43/43.51	c  S st    38    158532       435       225      3045     29606     12615   3967130   no data   no data
173.43/43.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
173.43/43.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.0M T:  0.05
173.43/43.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
173.43/43.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
173.43/43.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
173.43/43.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
173.43/43.57	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
173.43/43.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
180.61/45.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.62 s
259.95/65.28	c lits-rem:      1393  cl-subs:      470  v-elim:      0  v-fix:    0  time: 19.97 s
259.95/65.28	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
260.36/65.33	c vivif2 --  cl tried    29136 cl shrink        0 lits rem          0 time: 0.05
260.76/65.43	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.10
260.76/65.43	c calculated reachability. Time: 0.00
260.76/65.43	c  N st    38    158532       435       225      3045     29136     12615   3874497   no data   no data
290.66/72.97	c  N st    39    207122       435       225      3045     23849     12615   2756807   no data   no data
314.59/78.95	c  N st    40    237800       435       225      3045     34169     12615   4532682   no data   no data
314.59/78.95	c  S st    40    237800       435       225      3045     34169     12615   4532682   no data   no data
314.99/79.06	c  S st    40    238303       435       225      3045     34667     12615   4597436   no data   no data
314.99/79.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
315.41/79.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.3M T:  0.07
315.41/79.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
315.41/79.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
315.41/79.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
315.41/79.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
315.41/79.14	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
315.41/79.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
322.57/80.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.71 s
404.71/101.50	c lits-rem:      1117  cl-subs:      473  v-elim:      0  v-fix:    0  time: 20.52 s
404.71/101.50	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
404.71/101.55	c vivif2 --  cl tried    34194 cl shrink        0 lits rem          0 time: 0.05
405.11/101.63	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.08
405.11/101.63	c calculated reachability. Time: 0.00
405.11/101.63	c  N st    40    238303       435       225      3045     34194     12615   4508669   no data   no data
444.59/111.59	c  F st    41    306250       435       225      3045     35743     12615   4932294   no data   no data
444.59/111.59	c  N st    41    306250       435       225      3045     35743     12615   4932294   no data   no data
449.78/112.85	c Decided on static restart strategy
469.37/117.74	c  N st    51    334555       435       225      3045     39926     12615   5624288   no data   no data
486.49/122.06	c  N st    53    357455       435       225      3045     37852     12615   4777394   no data   no data
486.49/122.06	c  S st    53    357455       435       225      3045     37852     12615   4777394   no data   no data
486.91/122.19	c  S st    53    357959       435       225      3045     38353     12615   4841938   no data   no data
487.26/122.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
487.26/122.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.8M T:  0.07
487.26/122.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
487.26/122.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
487.26/122.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
487.26/122.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
487.26/122.28	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
487.66/122.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
494.85/124.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.69 s
611.68/153.46	c lits-rem:      1356  cl-subs:      972  v-elim:      0  v-fix:    0  time: 29.36 s
611.68/153.46	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
612.08/153.52	c vivif2 --  cl tried    37381 cl shrink        0 lits rem          0 time: 0.05
612.48/153.63	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.11
612.48/153.63	c calculated reachability. Time: 0.00
612.48/153.63	c  N st    53    357959       435       225      3045     37381     12615   4667291   no data   no data
630.82/158.20	c  N st    54    390352       435       225      3045     43659     12615   5718746   no data   no data
671.15/168.34	c  N st    55    438940       435       225      3045     37220     12615   4747285   no data   no data
723.78/181.53	c  N st    56    511828       435       225      3045     50767     12615   7028976   no data   no data
741.67/186.02	c  N st    57    536940       435       225      3045     45150     12615   5606110   no data   no data
741.67/186.02	c  S st    57    536940       435       225      3045     45150     12615   5606110   no data   no data
742.07/186.17	c  S st    57    537441       435       225      3045     45648     12615   5663407   no data   no data
742.07/186.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
742.47/186.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.09
742.47/186.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
742.47/186.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
742.47/186.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
742.47/186.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
742.47/186.28	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
742.87/186.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
750.10/188.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.68 s
866.49/217.31	c lits-rem:      1529  cl-subs:      727  v-elim:      0  v-fix:    0  time: 29.19 s
866.49/217.31	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
866.49/217.39	c vivif2 --  cl tried    44921 cl shrink        0 lits rem          0 time: 0.08
867.29/217.58	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.20
867.29/217.59	c calculated reachability. Time: 0.00
867.29/217.59	c  N st    57    537441       435       225      3045     44921     12615   5530633   no data   no data
1026.79/257.52	c  N st    58    701425       435       225      3045     39011     12615   3991455   no data   no data
1125.30/282.24	c  N st    59    806162       435       225      3045     66982     12615   9410392   no data   no data
1125.30/282.24	c  S st    59    806162       435       225      3045     66982     12615   9410392   no data   no data
1126.10/282.46	c  S st    59    806664       435       225      3045     67476     12615   9471343   no data   no data
1126.10/282.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1126.92/282.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.6M T:  0.15
1126.92/282.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1126.92/282.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1126.92/282.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1126.92/282.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1126.92/282.63	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1126.92/282.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1135.26/284.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.79 s
1382.87/346.84	c lits-rem:      2807  cl-subs:     1367  v-elim:      0  v-fix:    0  time: 62.12 s
1382.87/346.84	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
1383.27/346.95	c vivif2 --  cl tried    66109 cl shrink        0 lits rem          0 time: 0.11
1384.07/347.16	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.21
1384.07/347.17	c calculated reachability. Time: 0.00
1384.07/347.17	c  N st    59    806664       435       225      3045     66109     12615   9215268   no data   no data
1698.32/425.90	c  F st    60   1071875       435       225      3045     82712     12615  11704465   no data   no data
1698.32/425.90	c  N st    60   1071875       435       225      3045     82712     12615  11704465   no data   no data
1724.23/432.44	c  N dy    84   1092124       435       225      3045     59299     12615   6266844     34.63     36.57
1762.11/441.97	c  N dy   121   1113084       435       225      3045     79906     12615   9499635     33.85     35.64
1785.29/447.77	c  N dy   153   1133195       435       225      3045     55021     12615   5360958     33.59     35.40
1813.96/454.94	c  N dy   169   1153947       435       225      3045     75341     12615   8430984     32.96     34.92
1847.05/463.21	c  N dy   212   1174202       435       225      3045     49385     12615   4382839     32.87     34.63
1874.97/470.27	c  N dy   284   1195843       435       225      3045     70635     12615   7335149     32.98     34.91
1900.49/476.65	c  S st   313   1209996       435       225      3045     84545     12615   9439098     32.91     32.92
1901.69/476.90	c  S st   313   1210499       435       225      3045     85047     12615   9500286     32.91   no data
1901.69/476.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1902.49/477.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.7M T:  0.18
1902.49/477.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1902.49/477.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1902.49/477.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1902.49/477.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1902.49/477.12	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1902.49/477.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
1910.46/479.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.79 s
2270.98/569.51	c lits-rem:       351  cl-subs:      651  v-elim:      0  v-fix:    0  time: 90.33 s
2270.98/569.51	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
2271.39/569.63	c vivif2 --  cl tried    84396 cl shrink        0 lits rem          0 time: 0.12
2272.22/569.88	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.25
2272.22/569.89	c calculated reachability. Time: 0.00
2272.22/569.89	c  N dy   313   1210499       435       225      3045     84396     12615   9403545     32.91   no data
2291.72/574.71	c  N dy   356   1231800       435       225      3045     58285     12615   5490821     32.77     34.50
2310.46/579.41	c  N dy   416   1251931       435       225      3045     78128     12615   8437783     32.81     34.57
2339.17/586.67	c  N dy   486   1275323       435       225      3045     53039     12615   4404058     32.87     34.65
2358.72/591.56	c  N dy   558   1295428       435       225      3045     72863     12615   7177443     32.95     34.70
2391.80/599.89	c  N dy   640   1316103       435       225      3045     93275     12615   9902180     33.05     34.80
2424.11/607.95	c  N dy   702   1337272       435       225      3045     64932     12615   5715181     33.09     34.85
2486.76/623.66	c  N dy   764   1366797       435       225      3045     94062     12615   9818400     32.99     34.77
2512.66/630.19	c  N dy   804   1386958       435       225      3045     63668     12615   5590530     32.95     34.72
2542.56/637.66	c  N dy   862   1407254       435       225      3045     83718     12615   8364106     32.99     34.77
2586.44/648.67	c  N dy   951   1427533       435       225      3045     52465     12615   3642066     33.08     34.93
2615.95/656.02	c  N dy  1001   1448559       435       225      3045     73238     12615   6449465     33.09     34.83
2649.84/664.54	c  N dy  1045   1471252       435       225      3045     95643     12615   9572702     33.08     34.89
2674.98/670.87	c  N dy  1069   1491308       435       225      3045     63104     12615   4965231     33.02     34.78
2699.29/676.98	c  N dy  1093   1511338       435       225      3045     82831     12615   7760989     32.97     34.80
2739.17/686.98	c  N dy  1171   1531375       435       225      3045    102626     12615  10353022     33.03     37.01
2763.54/693.05	c  N dy  1187   1552209       435       225      3045     69823     12615   5862909     32.97     34.75
2795.40/701.03	c  N dy  1217   1573012       435       225      3045     90326     12615   8728026     32.93     34.67
2839.66/712.13	c  N dy  1289   1595205       435       225      3045     57997     12615   4199903     32.97     34.85
2874.75/720.96	c  N dy  1333   1615558       435       225      3045     78074     12615   6914969     32.96     34.70
2925.85/733.74	c  N dy  1395   1635868       435       225      3045     98150     12615   9537690     32.98     34.77
2981.23/747.68	c  N dy  1449   1659540       435       225      3045     66246     12615   5330694     32.96     34.74
3007.56/754.25	c  N dy  1462   1681045       435       225      3045     87379     12615   8484583     32.88     34.69
3066.23/768.98	c  N dy  1529   1703439       435       225      3045    109487     12615  11323628     32.89     34.65
3084.12/773.47	c  S st  1559   1710500       435       225      3045     60286     12615   4129511     32.91     33.11
3084.92/773.66	c  S st  1559   1711002       435       225      3045     60787     12615   4193068     32.91   no data
3084.92/773.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3085.72/773.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.3M T:  0.15
3085.72/773.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3085.72/773.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3085.72/773.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3085.72/773.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
3085.72/773.83	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3085.72/773.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3094.49/776.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.10 s
3169.06/794.73	c lits-rem:        50  cl-subs:      152  v-elim:      0  v-fix:    0  time: 18.66 s
3169.06/794.73	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
3169.06/794.78	c vivif2 --  cl tried    60635 cl shrink        0 lits rem          0 time: 0.05
3169.86/794.99	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.21
3169.86/794.99	c calculated reachability. Time: 0.00
3169.86/794.99	c  N dy  1559   1711002       435       225      3045     60635     12615   4181075     32.91   no data
3191.00/800.29	c  N dy  1669   1731048       435       225      3045     80357     12615   6798813     32.97     36.07
3226.48/809.16	c  N dy  1719   1751923       435       225      3045    100933     12615   9789157     32.97     34.85
3259.57/817.44	c  N dy  1743   1774121       435       225      3045     65621     12615   4892136     32.93     34.72
3289.93/825.08	c  N dy  1802   1796071       435       225      3045     87254     12615   7976438     32.95     34.73
3335.33/836.45	c  N dy  1859   1816081       435       225      3045    106983     12615  10829101     32.96     40.39
3387.18/849.44	c  N dy  1922   1839017       435       225      3045     71486     12615   5511893     32.98     34.75
3419.09/857.40	c  N dy  1973   1859040       435       225      3045     91190     12615   8331905     32.99     38.23
3452.58/865.81	c  N dy  2037   1879049       435       225      3045    110780     12615  11071480     33.00     39.75
3476.11/871.72	c  N dy  2060   1899749       435       225      3045     71967     12615   5501785     32.96     34.74
3498.45/877.30	c  N dy  2106   1920085       435       225      3045     91956     12615   8384841     32.96     34.72
3541.92/888.29	c  N dy  2181   1942099       435       225      3045    113663     12615  11451864     32.98     34.78
3572.62/895.92	c  N dy  2260   1962195       435       225      3045     73482     12615   5489341     33.00     38.36
3603.33/903.69	c  N dy  2327   1982259       435       225      3045     93298     12615   8253050     33.01     35.86
3647.21/914.65	c  N dy  2393   2002690       435       225      3045    113453     12615  10988087     33.02     34.82
3672.31/920.98	c  N dy  2442   2024860       435       225      3045     74143     12615   5486349     33.01     34.76
3699.43/927.75	c  N dy  2491   2044983       435       225      3045     93971     12615   8214238     32.99     34.83
3744.90/939.15	c  N dy  2572   2066314       435       225      3045    115051     12615  11032221     33.02     34.79
3781.23/948.22	c  N dy  2635   2088073       435       225      3045     74467     12615   5498077     33.02     34.80
3806.72/954.61	c  N dy  2677   2108132       435       225      3045     94265     12615   8259584     33.02     39.56
3849.37/965.34	c  N dy  2700   2128150       435       225      3045    114044     12615  11096446     33.00     40.03
3891.24/975.86	c  N dy  2751   2149368       435       225      3045     71866     12615   5151193     33.00     34.77
3924.34/984.15	c  N dy  2809   2171936       435       225      3045     94135     12615   8201580     32.99     34.77
3980.58/998.29	c  N dy  2892   2199358       435       225      3045    121186     12615  11993161     32.99     34.74
4002.91/1003.89	c  S st  2932   2211005       435       225      3045     68565     12615   4581287     33.00     34.25
4004.11/1004.10	c  S st  2932   2211509       435       225      3045     69067     12615   4646278     33.00   no data
4004.11/1004.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4004.53/1004.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.9M T:  0.14
4004.53/1004.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4004.53/1004.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4004.53/1004.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4004.53/1004.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
4004.53/1004.26	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4004.53/1004.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4012.48/1006.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.81 s
4090.25/1025.79	c lits-rem:        36  cl-subs:      113  v-elim:      0  v-fix:    0  time: 19.59 s
4090.25/1025.79	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
4090.65/1025.85	c vivif2 --  cl tried    68954 cl shrink        0 lits rem          0 time: 0.06
4091.44/1026.06	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.21
4091.44/1026.07	c calculated reachability. Time: 0.00
4091.44/1026.07	c  N dy  2932   2211509       435       225      3045     68954     12615   4637951     33.00   no data
4113.78/1031.62	c  N dy  2988   2232522       435       225      3045     89628     12615   7683005     33.00     34.74
4151.67/1041.18	c  N dy  3071   2252576       435       225      3045    109402     12615  10303191     33.02     41.23
4217.87/1057.77	c  N dy  3139   2278269       435       225      3045     69598     12615   4728661     33.03     34.86
4257.74/1067.79	c  N dy  3187   2306335       435       225      3045     97247     12615   8700258     33.01     34.75
4319.55/1083.29	c  N dy  3254   2330889       435       225      3045    121353     12615  11979759     33.01     34.76
4361.01/1093.61	c  N dy  3290   2351180       435       225      3045     75292     12615   5487101     33.00     34.76
4387.34/1100.22	c  N dy  3318   2372830       435       225      3045     96571     12615   8505907     32.99     34.81
4422.44/1109.01	c  N dy  3344   2392843       435       225      3045    116250     12615  11412307     32.95     38.24
4480.67/1123.67	c  N dy  3413   2416932       435       225      3045     73112     12615   5048658     32.95     34.70
4505.79/1129.90	c  N dy  3479   2437002       435       225      3045     92860     12615   7652244     32.96     37.21
4550.06/1141.02	c  N dy  3572   2457721       435       225      3045    113294     12615  10300117     32.98     34.77
4615.46/1157.47	c  N dy  3584   2479785       435       225      3045    135013     12615  13522663     32.95     34.74
4640.19/1163.62	c  N dy  3629   2499935       435       225      3045     86947     12615   6674677     32.95     34.70
4670.10/1171.11	c  N dy  3686   2519997       435       225      3045    106623     12615   9278746     32.95     34.88
4715.95/1182.64	c  N dy  3731   2540381       435       225      3045    126722     12615  11965038     32.95     34.69
4753.44/1192.07	c  N dy  3794   2560445       435       225      3045     77634     12615   5191461     32.95     39.95
4784.54/1199.87	c  N dy  3888   2580705       435       225      3045     97570     12615   7658787     32.97     34.78

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-3366823-1305413718/watcher-3366823-1305413718 -o /tmp/evaluation-result-3366823-1305413718/solver-3366823-1305413718 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366823-1305413718.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: 7.62 7.95 7.40 1/365 18354
/proc/meminfo: memFree=22608680/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 652969524 52396032 349 33554432000 4194304 4580107 140733824449888 18446744073709551615 47615250401202 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 12792 349 299 95 0 7774 0
[pid=18354/tid=18355] ppid=18352 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652969524 52396032 349 33554432000 4194304 4580107 140733824449888 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652969524 52396032 349 33554432000 4194304 4580107 140733824449888 18446744073709551615 47615250401206 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652969524 52396032 349 33554432000 4194304 4580107 140733824449888 18446744073709551615 47615250401202 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0636711 s]
/proc/loadavg: 7.62 7.95 7.40 1/365 18354
/proc/meminfo: memFree=22608680/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=282080 CPUtime=0.22 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 1930 0 0 0 22 0 0 0 18 0 4 0 652969524 288849920 1839 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 70520 1839 376 95 0 65502 0
[pid=18354/tid=18355] ppid=18352 vsize=282080 CPUtime=0.04 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 378 0 0 0 4 0 0 0 25 0 4 0 652969524 288849920 1840 33554432000 4194304 4580107 140733824449888 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=282080 CPUtime=0.05 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 378 0 0 0 5 0 0 0 18 0 4 0 652969524 288849920 1840 33554432000 4194304 4580107 140733824449888 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=282080 CPUtime=0.05 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 399 0 0 0 5 0 0 0 18 0 4 0 652969524 288849920 1841 33554432000 4194304 4580107 140733824449888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 282080

[startup+0.163653 s]
/proc/loadavg: 7.62 7.95 7.40 1/365 18354
/proc/meminfo: memFree=22608680/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=282212 CPUtime=0.62 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 3460 0 0 0 62 0 0 0 18 0 4 0 652969524 288985088 3369 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 70553 3370 377 95 0 65535 0
[pid=18354/tid=18355] ppid=18352 vsize=282212 CPUtime=0.14 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 671 0 0 0 14 0 0 0 25 0 4 0 652969524 288985088 3370 33554432000 4194304 4580107 140733824449888 18446744073709551615 4316365 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=282212 CPUtime=0.15 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 745 0 0 0 15 0 0 0 18 0 4 0 652969524 288985088 3371 33554432000 4194304 4580107 140733824449888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=282212 CPUtime=0.15 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 898 0 0 0 15 0 0 0 18 0 4 0 652969524 288985088 3371 33554432000 4194304 4580107 140733824449888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 282212

[startup+0.300629 s]
/proc/loadavg: 7.62 7.95 7.40 1/365 18354
/proc/meminfo: memFree=22608680/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=285944 CPUtime=1.17 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 5837 0 0 0 117 0 0 0 18 0 4 0 652969524 292806656 3752 33554432000 4194304 4580107 140733824449888 18446744073709551615 4315625 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 71486 3752 377 95 0 66468 0
[pid=18354/tid=18355] ppid=18352 vsize=285944 CPUtime=0.28 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 1011 0 0 0 28 0 0 0 25 0 4 0 652969524 292806656 3752 33554432000 4194304 4580107 140733824449888 18446744073709551615 4305303 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=285944 CPUtime=0.29 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 1374 0 0 0 29 0 0 0 18 0 4 0 652969524 292806656 3752 33554432000 4194304 4580107 140733824449888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=285944 CPUtime=0.29 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 1683 0 0 0 29 0 0 0 18 0 4 0 652969524 292806656 3752 33554432000 4194304 4580107 140733824449888 18446744073709551615 4320971 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285944

[startup+0.700557 s]
/proc/loadavg: 7.62 7.95 7.40 1/365 18354
/proc/meminfo: memFree=22608680/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=289640 CPUtime=2.77 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 11633 0 0 0 276 1 0 0 18 0 4 0 652969524 296591360 5313 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 72410 5313 377 95 0 67392 0
[pid=18354/tid=18355] ppid=18352 vsize=289640 CPUtime=0.68 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 2306 0 0 0 68 0 0 0 25 0 4 0 652969524 296591360 5313 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=289640 CPUtime=0.69 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 2211 0 0 0 69 0 0 0 18 0 4 0 652969524 296591360 5313 33554432000 4194304 4580107 140733824449888 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=289640 CPUtime=0.69 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 3735 0 0 0 69 0 0 0 18 0 4 0 652969524 296591360 5313 33554432000 4194304 4580107 140733824449888 18446744073709551615 4324379 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 289640

[startup+1.50041 s]
/proc/loadavg: 7.62 7.95 7.40 10/377 18371
/proc/meminfo: memFree=22558728/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=293924 CPUtime=5.95 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 22419 0 0 0 592 3 0 0 20 0 4 0 652969524 300978176 7651 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 73481 7651 378 95 0 68463 0
[pid=18354/tid=18355] ppid=18352 vsize=293924 CPUtime=1.46 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 5102 0 0 0 146 0 0 0 25 0 4 0 652969524 300978176 7651 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=293924 CPUtime=1.48 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 4907 0 0 0 148 0 0 0 20 0 4 0 652969524 300978176 7651 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=293924 CPUtime=1.49 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 6543 0 0 0 148 1 0 0 20 0 4 0 652969524 300978176 7651 33554432000 4194304 4580107 140733824449888 18446744073709551615 4489516 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) 293924

[startup+3.10112 s]
/proc/loadavg: 7.62 7.95 7.40 9/377 18371
/proc/meminfo: memFree=22524500/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=287164 CPUtime=12.35 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 47807 0 0 0 1228 7 0 0 25 0 4 0 652969524 294055936 23608 33554432000 4194304 4580107 140733824449888 18446744073709551615 4413635 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 71791 23608 379 95 0 66773 0
[pid=18354/tid=18355] ppid=18352 vsize=287164 CPUtime=3.05 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 8344 0 0 0 304 1 0 0 25 0 4 0 652969524 294055936 23608 33554432000 4194304 4580107 140733824449888 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=287164 CPUtime=3.09 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 9281 0 0 0 308 1 0 0 25 0 4 0 652969524 294055936 23609 33554432000 4194304 4580107 140733824449888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=287164 CPUtime=3.09 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 14637 0 0 0 307 2 0 0 25 0 4 0 652969524 294055936 23609 33554432000 4194304 4580107 140733824449888 18446744073709551615 4413356 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 287164

[startup+6.30054 s]
/proc/loadavg: 7.65 7.95 7.40 9/377 18371
/proc/meminfo: memFree=22322020/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=311672 CPUtime=25.09 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 66871 0 0 0 2499 10 0 0 25 0 4 0 652969524 319152128 40535 33554432000 4194304 4580107 140733824449888 18446744073709551615 4416727 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 77918 40535 379 95 0 72900 0
[pid=18354/tid=18355] ppid=18352 vsize=311672 CPUtime=6.21 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 15097 0 0 0 619 2 0 0 25 0 4 0 652969524 319152128 40535 33554432000 4194304 4580107 140733824449888 18446744073709551615 4416896 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=311672 CPUtime=6.28 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 21081 0 0 0 625 3 0 0 25 0 4 0 652969524 319152128 40535 33554432000 4194304 4580107 140733824449888 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=311672 CPUtime=6.29 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 14954 0 0 0 627 2 0 0 25 0 4 0 652969524 319152128 40535 33554432000 4194304 4580107 140733824449888 18446744073709551615 4417027 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 311672

[startup+12.7004 s]
/proc/loadavg: 7.76 7.97 7.41 9/377 18372
/proc/meminfo: memFree=22215816/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=375248 CPUtime=50.61 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 96078 0 0 0 5045 16 0 0 25 0 4 0 652969524 384253952 56396 33554432000 4194304 4580107 140733824449888 18446744073709551615 4417015 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 93812 56396 379 95 0 88794 0
[pid=18354/tid=18355] ppid=18352 vsize=375248 CPUtime=12.53 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 33270 0 0 0 1248 5 0 0 25 0 4 0 652969524 384253952 56396 33554432000 4194304 4580107 140733824449888 18446744073709551615 4413351 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=375248 CPUtime=12.68 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 21081 0 0 0 1265 3 0 0 25 0 4 0 652969524 384253952 56396 33554432000 4194304 4580107 140733824449888 18446744073709551615 4416448 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=375248 CPUtime=12.69 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 21045 0 0 0 1265 4 0 0 25 0 4 0 652969524 384253952 56396 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 375248

[startup+25.501 s]
/proc/loadavg: 7.81 7.97 7.42 9/377 18372
/proc/meminfo: memFree=21992376/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=549968 CPUtime=101.65 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 153939 0 0 0 10135 30 0 0 25 0 4 0 652969524 563167232 92341 33554432000 4194304 4580107 140733824449888 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 137492 92341 379 95 0 132474 0
[pid=18354/tid=18355] ppid=18352 vsize=549968 CPUtime=25.17 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 33584 0 0 0 2512 5 0 0 25 0 4 0 652969524 563167232 92341 33554432000 4194304 4580107 140733824449888 18446744073709551615 4507859 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=549968 CPUtime=25.48 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 34169 0 0 0 2542 6 0 0 25 0 4 0 652969524 563167232 92341 33554432000 4194304 4580107 140733824449888 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=549968 CPUtime=25.49 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 46615 0 0 0 2540 9 0 0 25 0 4 0 652969524 563167232 92341 33554432000 4194304 4580107 140733824449888 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 549968

[startup+51.1004 s]
/proc/loadavg: 7.88 7.97 7.43 9/377 18373
/proc/meminfo: memFree=21819444/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=696224 CPUtime=203.74 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 209142 0 0 0 20327 47 0 0 25 0 4 0 652969524 712933376 106670 33554432000 4194304 4580107 140733824449888 18446744073709551615 4416737 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 174056 106670 379 95 0 169038 0
[pid=18354/tid=18355] ppid=18352 vsize=696224 CPUtime=50.46 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 43955 0 0 0 5037 9 0 0 25 0 4 0 652969524 712933376 106670 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=696224 CPUtime=51.07 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 42953 0 0 0 5098 9 0 0 25 0 4 0 652969524 712933376 106670 33554432000 4194304 4580107 140733824449888 18446744073709551615 4316365 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=696224 CPUtime=51.08 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 69537 0 0 0 5093 15 0 0 25 0 4 0 652969524 712933376 106670 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.74
Current children cumulated vsize (KiB) 696224

[startup+102.314 s]
/proc/loadavg: 8.03 8.00 7.47 9/377 18374
/proc/meminfo: memFree=21583472/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=1025300 CPUtime=407.95 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 327683 0 0 0 40715 80 0 0 25 0 4 0 652969524 1049907200 152429 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 256325 152429 379 95 0 251307 0
[pid=18354/tid=18355] ppid=18352 vsize=1025300 CPUtime=101.05 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 64062 0 0 0 10090 15 0 0 25 0 4 0 652969524 1049907200 152429 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=1025300 CPUtime=102.27 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 74884 0 0 0 10210 17 0 0 25 0 4 0 652969524 1049907200 152429 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=1025300 CPUtime=102.3 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 112092 0 0 0 10202 28 0 0 25 0 4 0 652969524 1049907200 152429 33554432000 4194304 4580107 140733824449888 18446744073709551615 4319767 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 1025300

[startup+162.301 s]

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

[pid=18354] ppid=18352 vsize=2129752 CPUtime=2800.58 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 1715617 0 0 0 279543 515 0 0 25 0 4 0 652969524 2180866048 347821 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 532438 347821 379 95 0 527420 0
[pid=18354/tid=18355] ppid=18352 vsize=2129752 CPUtime=693.84 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 367249 0 0 0 69267 117 0 0 25 0 4 0 652969524 2180866048 347821 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2129752 CPUtime=702.19 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 434300 0 0 0 70085 134 0 0 25 0 4 0 652969524 2180866048 347821 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2129752 CPUtime=702.27 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 550807 0 0 0 70078 149 0 0 25 0 4 0 652969524 2180866048 347821 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.58
Current children cumulated vsize (KiB) 2129752

[startup+762.314 s]
/proc/loadavg: 4.03 5.19 6.44 5/368 18421
/proc/meminfo: memFree=20951876/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=2370852 CPUtime=3039.91 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 1877883 0 0 0 303426 565 0 0 25 0 4 0 652969524 2427752448 414065 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18354/statm: 592713 414065 379 95 0 587695 0
[pid=18354/tid=18355] ppid=18352 vsize=2370852 CPUtime=753.12 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 411918 0 0 0 75176 136 0 0 25 0 4 0 652969524 2427752448 414065 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2370852 CPUtime=762.2 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 499336 0 0 0 76077 143 0 0 25 0 4 0 652969524 2427752448 414065 33554432000 4194304 4580107 140733824449888 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2370852 CPUtime=762.29 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 586314 0 0 0 76065 164 0 0 25 0 4 0 652969524 2427752448 414065 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.91
Current children cumulated vsize (KiB) 2370852

[startup+822.301 s]
/proc/loadavg: 4.05 4.98 6.29 5/368 18422
/proc/meminfo: memFree=21002584/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=2210712 CPUtime=3279.11 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 1976239 0 0 0 327301 610 0 0 25 0 4 0 652969524 2263769088 401800 33554432000 4194304 4580107 140733824449888 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18354/statm: 552678 401800 379 95 0 547660 0
[pid=18354/tid=18355] ppid=18352 vsize=2210712 CPUtime=812.39 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 452178 0 0 0 81083 156 0 0 25 0 4 0 652969524 2263769088 401800 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2210712 CPUtime=822.19 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 499336 0 0 0 82076 143 0 0 25 0 4 0 652969524 2263769088 401800 33554432000 4194304 4580107 140733824449888 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2210712 CPUtime=822.27 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 630422 0 0 0 82044 183 0 0 25 0 4 0 652969524 2263769088 401800 33554432000 4194304 4580107 140733824449888 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.11
Current children cumulated vsize (KiB) 2210712

[startup+882.301 s]
/proc/loadavg: 4.02 4.80 6.14 5/368 18424
/proc/meminfo: memFree=21027236/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=2353184 CPUtime=3518.38 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 2042178 0 0 0 351202 636 0 0 25 0 4 0 652969524 2409660416 395238 33554432000 4194304 4580107 140733824449888 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18354/statm: 588296 395238 379 95 0 583278 0
[pid=18354/tid=18355] ppid=18352 vsize=2353184 CPUtime=871.65 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 462592 0 0 0 87005 160 0 0 25 0 4 0 652969524 2409660416 395239 33554432000 4194304 4580107 140733824449888 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2353184 CPUtime=882.2 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 528209 0 0 0 88067 153 0 0 25 0 4 0 652969524 2409660416 395239 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2353184 CPUtime=882.27 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 636561 0 0 0 88042 185 0 0 25 0 4 0 652969524 2409660416 395239 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3518.38
Current children cumulated vsize (KiB) 2353184

[startup+942.301 s]
/proc/loadavg: 4.00 4.65 6.00 5/368 18425
/proc/meminfo: memFree=21004160/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=2371628 CPUtime=3757.66 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 2200623 0 0 0 375087 679 0 0 25 0 4 0 652969524 2428547072 402500 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18354/statm: 592907 402500 379 95 0 587889 0
[pid=18354/tid=18355] ppid=18352 vsize=2371628 CPUtime=930.95 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 503777 0 0 0 92925 170 0 0 25 0 4 0 652969524 2428547072 402500 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2371628 CPUtime=942.19 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 585422 0 0 0 94051 168 0 0 25 0 4 0 652969524 2428547072 402500 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2371628 CPUtime=942.27 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 676599 0 0 0 94032 195 0 0 25 0 4 0 652969524 2428547072 402500 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3757.66
Current children cumulated vsize (KiB) 2371628

[startup+1002.3 s]
/proc/loadavg: 4.04 4.55 5.88 5/368 18427
/proc/meminfo: memFree=20949332/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=2422112 CPUtime=3996.92 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 2358094 0 0 0 398971 721 0 0 25 0 4 0 652969524 2480242688 414901 33554432000 4194304 4580107 140733824449888 18446744073709551615 4305551 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18354/statm: 605528 414901 379 95 0 600510 0
[pid=18354/tid=18355] ppid=18352 vsize=2422112 CPUtime=990.23 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 535634 0 0 0 98843 180 0 0 25 0 4 0 652969524 2480242688 414901 33554432000 4194304 4580107 140733824449888 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2422112 CPUtime=1002.18 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 631083 0 0 0 100038 180 0 0 25 0 4 0 652969524 2480242688 414901 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2422112 CPUtime=1002.25 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 730158 0 0 0 100017 208 0 0 25 0 4 0 652969524 2480242688 414901 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3996.92
Current children cumulated vsize (KiB) 2422112

[startup+1062.3 s]
/proc/loadavg: 4.01 4.44 5.76 5/368 18429
/proc/meminfo: memFree=21010300/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=2294424 CPUtime=4236.21 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 2462926 0 0 0 422857 764 0 0 25 0 4 0 652969524 2349490176 399267 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18354/statm: 573606 399267 379 95 0 568588 0
[pid=18354/tid=18355] ppid=18352 vsize=2294424 CPUtime=1049.52 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 574772 0 0 0 104756 196 0 0 25 0 4 0 652969524 2349490176 399267 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2294424 CPUtime=1062.18 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 647563 0 0 0 106032 186 0 0 25 0 4 0 652969524 2349490176 399267 33554432000 4194304 4580107 140733824449888 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2294424 CPUtime=1062.25 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 766208 0 0 0 106002 223 0 0 25 0 4 0 652969524 2349490176 399267 33554432000 4194304 4580107 140733824449888 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4236.21
Current children cumulated vsize (KiB) 2294424

[startup+1122.3 s]
/proc/loadavg: 4.03 4.37 5.65 5/368 18430
/proc/meminfo: memFree=20946648/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=2469396 CPUtime=4475.48 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 2525788 0 0 0 446754 794 0 0 25 0 4 0 652969524 2528661504 416004 33554432000 4194304 4580107 140733824449888 18446744073709551615 4304867 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18354/statm: 617349 416004 379 95 0 612331 0
[pid=18354/tid=18355] ppid=18352 vsize=2469396 CPUtime=1108.78 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 598349 0 0 0 110674 204 0 0 25 0 4 0 652969524 2528661504 416005 33554432000 4194304 4580107 140733824449888 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2469396 CPUtime=1122.19 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 665481 0 0 0 112025 194 0 0 25 0 4 0 652969524 2528661504 416005 33554432000 4194304 4580107 140733824449888 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2469396 CPUtime=1122.26 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 767295 0 0 0 112002 224 0 0 25 0 4 0 652969524 2528661504 416005 33554432000 4194304 4580107 140733824449888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4475.48
Current children cumulated vsize (KiB) 2469396

[startup+1182.3 s]
/proc/loadavg: 4.08 4.32 5.55 5/368 18432
/proc/meminfo: memFree=20970668/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=2472712 CPUtime=4714.76 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 2683814 0 0 0 470640 836 0 0 25 0 4 0 652969524 2532057088 411385 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18354/statm: 618178 411385 379 95 0 613160 0
[pid=18354/tid=18355] ppid=18352 vsize=2472712 CPUtime=1168.08 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 634143 0 0 0 116595 213 0 0 25 0 4 0 652969524 2532057088 411385 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2472712 CPUtime=1182.18 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 722221 0 0 0 118009 209 0 0 25 0 4 0 652969524 2532057088 411385 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2472712 CPUtime=1182.25 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 814178 0 0 0 117988 237 0 0 25 0 4 0 652969524 2532057088 411385 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4714.76
Current children cumulated vsize (KiB) 2472712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 4.06 4.29 5.51 5/368 18432
/proc/meminfo: memFree=20948088/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=2328468 CPUtime=4800.1 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 2753140 0 0 0 479158 852 0 0 25 0 4 0 652969524 2384351232 414682 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18354/statm: 582117 414682 379 95 0 577099 0
[pid=18354/tid=18355] ppid=18352 vsize=2328468 CPUtime=1189.22 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 652374 0 0 0 118705 217 0 0 25 0 4 0 652969524 2384351232 414691 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2328468 CPUtime=1203.58 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 744697 0 0 0 120144 214 0 0 25 0 4 0 652969524 2384351232 414691 33554432000 4194304 4580107 140733824449888 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2328468 CPUtime=1203.66 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 832674 0 0 0 120125 241 0 0 25 0 4 0 652969524 2384351232 414691 33554432000 4194304 4580107 140733824449888 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 2328468

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: 4.06 4.29 5.51 5/368 18432
/proc/meminfo: memFree=20948088/32951124 swapFree=67111348/67111528
[pid=18354] ppid=18352 vsize=2328468 CPUtime=4800.1 cores=1,3,5,7
/proc/18354/stat : 18354 (strangenight2-m) R 18352 18354 17510 0 -1 4202496 2753140 0 0 0 479158 852 0 0 25 0 4 0 652969524 2384351232 414682 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18354/statm: 582117 414682 379 95 0 577099 0
[pid=18354/tid=18355] ppid=18352 vsize=2328468 CPUtime=1189.22 cores=1,3,5,7
/proc/18354/task/18355/stat : 18355 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 652374 0 0 0 118705 217 0 0 25 0 4 0 652969524 2384351232 414691 33554432000 4194304 4580107 140733824449888 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18354/tid=18356] ppid=18352 vsize=2328468 CPUtime=1203.58 cores=1,3,5,7
/proc/18354/task/18356/stat : 18356 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 744697 0 0 0 120144 214 0 0 25 0 4 0 652969524 2384351232 414691 33554432000 4194304 4580107 140733824449888 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18354/tid=18357] ppid=18352 vsize=2328468 CPUtime=1203.66 cores=1,3,5,7
/proc/18354/task/18357/stat : 18357 (strangenight2-m) R 18352 18354 17510 0 -1 4202560 832674 0 0 0 120125 241 0 0 25 0 4 0 652969524 2384351232 414691 33554432000 4194304 4580107 140733824449888 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 2328468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.8
CPU time (s): 4800.24
CPU user time (s): 4791.63
CPU system time (s): 8.60369
CPU usage (%): 398.758
Max. virtual memory (cumulated for all children) (KiB): 2573496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.63
system time used= 8.60369
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2753162
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= 704
involuntary context switches= 32645

runsolver used 3.87741 second user time and 10.5884 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-15 00:55:18
IDJOB=3366823
IDBENCH=83238
IDSOLVER=1844
FILE ID=node139/3366823-1305413718
RUNJOBID= node139-1305413718-18285
PBS_JOBID= 13324507
Free space on /tmp= 73360 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-15-29-sat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366823-1305413718/watcher-3366823-1305413718 -o /tmp/evaluation-result-3366823-1305413718/solver-3366823-1305413718 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366823-1305413718.cnf

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

MD5SUM BENCH= 89115b5a973735d51018fb3202154f32
RANDOM SEED=1864512341

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:      22608968 kB
Buffers:        300504 kB
Cached:        2891104 kB
SwapCached:          0 kB
Active:        7975656 kB
Inactive:      2059832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22608968 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5540 kB
Writeback:           0 kB
AnonPages:     6843364 kB
Mapped:          28788 kB
Slab:           203384 kB
PageTables:      38000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 76775476 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= 73352 MiB
End job on node139 at 2011-05-15 01:15:24