Trace number 3174061

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.32 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf
MD5SUM970ca2029fea75cb0f7721dfc724b428
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014997
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174061-1304080408.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	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:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     202 undec:      46 neg:     202
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       441      1908         0         0      5768         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4913       441      1908         0      4818      5768    102821   no data   no data
1.57/0.40	c  N st    10     11295       441      1908         0      4478      5768     71022   no data   no data
2.37/0.64	c  N st    11     17039       441      1908         0     10106      5768    200562   no data   no data
3.97/1.05	c  F st    12     25001       441      1908         0     12347      5768    253580   no data   no data
3.97/1.05	c  N st    12     25001       441      1908         0     12347      5768    253580   no data   no data
4.79/1.28	c Decided on static restart strategy
4.79/1.28	c  N st    18     30001       441      1908         0     10661      5768    186042   no data   no data
4.79/1.28	c  S st    18     30001       441      1908         0     10661      5768    186042   no data   no data
5.17/1.31	c  S st    18     30504       441      1908         0     11163      5768    196486   no data   no data
5.17/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.32	c blocked clauses removed:        0 vars:      0 tried:         441 T: 0.00 s
5.17/1.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
5.17/1.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.37	c lits-rem:        71  cl-subs:      579  v-elim:      0  v-fix:    0  time:  0.04 s
5.17/1.37	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.01
5.17/1.38	c calculated reachability. Time: 0.00
5.17/1.38	c  N st    18     30504       441      1908         0     10584      5768    183273   no data   no data
6.77/1.77	c  N st    20     37616       441      1908         0      9851      5768    150291   no data   no data
8.37/2.14	c  N st    21     44018       441      1908         0     16120      5768    292427   no data   no data
8.78/2.27	c  S st    22     45756       441      1908         0      9074      5768    120625   no data   no data
8.78/2.30	c  S st    22     46259       441      1908         0      9574      5768    131908   no data   no data
9.18/2.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.18/2.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.18/2.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.18/2.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.18/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
9.18/2.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.18/2.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.18/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.32	c lits-rem:        37  cl-subs:       49  v-elim:      0  v-fix:    0  time:  0.01 s
9.18/2.32	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
9.18/2.32	c vivif2 --  cl tried     9525 cl shrink        0 lits rem          0 time: 0.00
9.18/2.32	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.00
9.18/2.32	c calculated reachability. Time: 0.00
9.18/2.32	c  N st    22     46259       441      1908         0      9525      5768    130810   no data   no data
12.77/3.25	c  N st    23     60660       441      1908         0     13890      5768    214196   no data   no data
15.15/3.86	c  N st    24     69388       441      1908         0     11668      5768    156966   no data   no data
15.15/3.86	c  S st    24     69388       441      1908         0     11668      5768    156966   no data   no data
15.55/3.90	c  S st    24     69893       441      1908         0     12169      5768    167817   no data   no data
15.55/3.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
15.55/3.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.92	c lits-rem:        61  cl-subs:      107  v-elim:      0  v-fix:    0  time:  0.01 s
15.55/3.92	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
15.55/3.93	c vivif2 --  cl tried    12062 cl shrink        0 lits rem          0 time: 0.00
15.55/3.93	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.01
15.55/3.93	c calculated reachability. Time: 0.00
15.55/3.93	c  N st    24     69893       441      1908         0     12062      5768    165332   no data   no data
20.35/5.11	c  F st    25     87500       441      1908         0     17464      5768    279533   no data   no data
20.35/5.11	c  N st    25     87500       441      1908         0     17464      5768    279533   no data   no data
21.95/5.50	c Decided on static restart strategy
22.74/5.74	c  N st    32     95537       441      1908         0     25338      5768    448378   no data   no data
25.14/6.37	c  N st    34    104839       441      1908         0     21736      5768    353320   no data   no data
25.14/6.37	c  S st    34    104839       441      1908         0     21736      5768    353320   no data   no data
25.54/6.42	c  S st    34    105344       441      1908         0     22240      5768    364159   no data   no data
25.54/6.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.54/6.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.54/6.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
25.54/6.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.54/6.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.54/6.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.57	c lits-rem:        90  cl-subs:      808  v-elim:      0  v-fix:    0  time:  0.13 s
25.94/6.57	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
25.94/6.57	c vivif2 --  cl tried    21432 cl shrink        0 lits rem          0 time: 0.00
25.94/6.58	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.01
25.94/6.59	c calculated reachability. Time: 0.00
25.94/6.59	c  N st    34    105344       441      1908         0     21432      5768    346343   no data   no data
29.14/7.37	c  N st    35    114942       441      1908         0     17123      5768    229397   no data   no data
33.93/8.56	c  N st    36    129340       441      1908         0     16538      5768    206814   no data   no data
41.52/10.40	c  N st    37    150935       441      1908         0     22032      5768    315179   no data   no data
43.93/11.08	c  S st    38    158017       441      1908         0     28904      5768    465309   no data   no data
44.34/11.16	c  S st    38    158519       441      1908         0     29400      5768    476446   no data   no data
44.34/11.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.34/11.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.34/11.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.34/11.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.34/11.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.34/11.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
44.34/11.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.34/11.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.34/11.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.92/11.51	c lits-rem:       213  cl-subs:     1460  v-elim:      0  v-fix:    0  time:  0.32 s
45.92/11.51	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
45.92/11.52	c vivif2 --  cl tried    27940 cl shrink        0 lits rem          0 time: 0.01
45.92/11.53	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.02
45.92/11.53	c calculated reachability. Time: 0.00
45.92/11.53	c  N st    38    158519       441      1908         0     27940      5768    444778   no data   no data
65.49/16.47	c  N st    39    207107       441      1908         0     22627      5768    297500   no data   no data
77.88/19.59	c  N st    40    237778       441      1908         0     32905      5768    487047   no data   no data
77.88/19.59	c  S st    40    237778       441      1908         0     32905      5768    487047   no data   no data
78.28/19.68	c  S st    40    238280       441      1908         0     33407      5768    497801   no data   no data
78.28/19.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.28/19.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
78.28/19.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.28/19.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.28/19.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.28/19.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
78.28/19.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.68/19.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.68/19.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.67/20.27	c lits-rem:       492  cl-subs:     2664  v-elim:      0  v-fix:    0  time:  0.56 s
80.67/20.27	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
80.67/20.28	c vivif2 --  cl tried    30743 cl shrink        0 lits rem          0 time: 0.00
81.07/20.30	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.02
81.07/20.30	c calculated reachability. Time: 0.00
81.07/20.30	c  N st    40    238280       441      1908         0     30743      5768    447133   no data   no data
110.63/27.70	c  F st    41    306251       441      1908         0     32754      5768    446506   no data   no data
110.63/27.70	c  N st    41    306251       441      1908         0     32754      5768    446506   no data   no data
113.03/28.32	c Decided on static restart strategy
123.82/31.04	c  N st    51    334555       441      1908         0     37062      5768    554336   no data   no data
134.60/33.70	c  N st    53    357422       441      1908         0     35021      5768    484322   no data   no data
134.60/33.70	c  S st    53    357422       441      1908         0     35021      5768    484322   no data   no data
134.60/33.79	c  S st    53    357929       441      1908         0     35527      5768    495480   no data   no data
134.60/33.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.00/33.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.00/33.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.00/33.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.00/33.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.00/33.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
135.00/33.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.00/33.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.00/33.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.80/34.06	c lits-rem:       186  cl-subs:     1215  v-elim:      0  v-fix:    0  time:  0.24 s
135.80/34.06	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
135.80/34.07	c vivif2 --  cl tried    34312 cl shrink        0 lits rem          0 time: 0.01
135.80/34.09	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.02
135.80/34.09	c calculated reachability. Time: 0.00
135.80/34.09	c  N st    53    357929       441      1908         0     34312      5768    470766   no data   no data
153.38/38.40	c  N st    54    390321       441      1908         0     40580      5768    588757   no data   no data
179.75/45.06	c  N st    55    438909       441      1908         0     34275      5768    423709   no data   no data
219.29/54.98	c  N st    56    511791       441      1908         0     47776      5768    701324   no data   no data
234.47/58.75	c  N st    57    536895       441      1908         0     41986      5768    540753   no data   no data
234.47/58.75	c  S st    57    536895       441      1908         0     41986      5768    540753   no data   no data
234.87/58.86	c  S st    57    537401       441      1908         0     42492      5768    551971   no data   no data
234.87/58.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
234.87/58.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
234.87/58.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
234.87/58.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
234.87/58.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
234.87/58.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
234.87/58.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
234.87/58.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
235.27/58.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
237.28/59.42	c lits-rem:       281  cl-subs:     2188  v-elim:      0  v-fix:    0  time:  0.52 s
237.28/59.42	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
237.28/59.42	c vivif2 --  cl tried    40304 cl shrink        0 lits rem          0 time: 0.01
237.28/59.45	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.02
237.28/59.45	c calculated reachability. Time: 0.00
237.28/59.45	c  N st    57    537401       441      1908         0     40304      5768    511101   no data   no data
341.13/85.41	c  N st    58    701387       441      1908         0     69012      5768   1045301   no data   no data
409.44/102.50	c  N st    59    806105       441      1908         0     62917      5768    865455   no data   no data
409.44/102.50	c  S st    59    806105       441      1908         0     62917      5768    865455   no data   no data
410.24/102.70	c  S st    59    806607       441      1908         0     63419      5768    876770   no data   no data
410.24/102.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
410.24/102.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
410.24/102.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
410.24/102.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
410.24/102.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
410.24/102.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
410.24/102.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
410.24/102.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
410.24/102.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
418.63/104.82	c lits-rem:       303  cl-subs:     6707  v-elim:      0  v-fix:    0  time:  2.04 s
418.63/104.82	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
418.63/104.83	c vivif2 --  cl tried    56712 cl shrink        0 lits rem          0 time: 0.01
418.63/104.87	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.04
418.63/104.88	c calculated reachability. Time: 0.00
418.63/104.88	c  N st    59    806607       441      1908         0     56712      5768    765040   no data   no data
610.78/152.99	c  F st    60   1071876       441      1908         0     73065      5768   1112388   no data   no data
610.78/152.99	c  N st    60   1071876       441      1908         0     73065      5768   1112388   no data   no data
615.58/154.19	c Decided on static restart strategy
634.73/158.93	c  N st    70   1100181       441      1908         0     56948      5768    684594   no data   no data
667.90/167.25	c  N st    72   1136175       441      1908         0     47258      5768    464727   no data   no data
694.26/173.82	c  N st    73   1168567       441      1908         0     78442      5768   1107857   no data   no data
729.83/182.79	c  N st    74   1209911       441      1908         0     72938      5768    977238   no data   no data
729.83/182.79	c  S st    74   1209911       441      1908         0     72938      5768    977238   no data   no data
731.01/183.01	c  S st    74   1210413       441      1908         0     73438      5768    988430   no data   no data
731.01/183.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
731.01/183.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
731.01/183.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
731.01/183.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
731.01/183.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
731.01/183.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
731.01/183.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
731.01/183.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
731.01/183.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
744.58/186.40	c lits-rem:       274  cl-subs:     6698  v-elim:      0  v-fix:    0  time:  3.31 s
744.58/186.40	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
744.58/186.42	c vivif2 --  cl tried    66740 cl shrink        0 lits rem          0 time: 0.01
744.58/186.49	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.07
744.58/186.49	c calculated reachability. Time: 0.00
744.58/186.49	c  N st    74   1210413       441      1908         0     66740      5768    860801   no data   no data
820.48/205.48	c  N st    75   1283296       441      1908         0     91041      5768   1404262   no data   no data
926.74/232.02	c  N st    76   1392620       441      1908         0     51520      5768    487327   no data   no data
1066.95/267.16	c  N st    77   1556604       441      1908         0     56488      5768    564331   no data   no data
1214.74/304.10	c  N st    78   1710414       441      1908         0     97353      5768   1471401   no data   no data
1214.74/304.10	c  S st    78   1710414       441      1908         0     97353      5768   1471401   no data   no data
1215.54/304.39	c  S st    78   1710916       441      1908         0     97852      5768   1482500   no data   no data
1215.94/304.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1215.94/304.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1215.94/304.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1215.94/304.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1215.94/304.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1215.94/304.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
1215.94/304.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1215.94/304.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1216.34/304.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1255.49/314.33	c lits-rem:       767  cl-subs:    11053  v-elim:      0  v-fix:    0  time:  9.82 s
1255.49/314.33	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
1255.49/314.35	c vivif2 --  cl tried    86799 cl shrink        0 lits rem          0 time: 0.02
1255.89/314.44	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.08
1255.89/314.44	c calculated reachability. Time: 0.00
1255.89/314.44	c  N st    78   1710916       441      1908         0     86799      5768   1247078   no data   no data
1630.97/408.39	c  N st    79   2079880       441      1908         0     99107      5768   1401929   no data   no data
1783.98/446.63	c  N st    80   2210918       441      1908         0    103010      5768   1401074   no data   no data
1783.98/446.63	c  S st    80   2210918       441      1908         0    103010      5768   1401074   no data   no data
1785.16/446.92	c  S st    80   2211422       441      1908         0    103513      5768   1413645   no data   no data
1785.16/446.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1785.16/446.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1785.16/446.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1785.16/446.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1785.16/446.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1785.16/446.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
1785.16/446.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1785.56/447.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1785.56/447.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1816.71/454.84	c lits-rem:       672  cl-subs:    11923  v-elim:      0  v-fix:    0  time:  7.80 s
1816.71/454.84	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
1816.71/454.86	c vivif2 --  cl tried    91590 cl shrink        0 lits rem          0 time: 0.02
1817.11/454.95	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.09
1817.11/454.95	c calculated reachability. Time: 0.00
1817.11/454.95	c  N st    80   2211422       441      1908         0     91590      5768   1187822   no data   no data
2381.56/596.23	c  N st    81   2711422       441      1908         0    115197      5768   1577561   no data   no data
2381.56/596.23	c  S st    81   2711422       441      1908         0    115197      5768   1577561   no data   no data
2383.14/596.61	c  S st    81   2711925       441      1908         0    115698      5768   1588651   no data   no data
2383.14/596.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2383.14/596.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2383.14/596.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2383.14/596.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2383.14/596.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2383.14/596.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
2383.14/596.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2383.54/596.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2383.54/596.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2415.90/604.84	c lits-rem:       427  cl-subs:    12221  v-elim:      0  v-fix:    0  time:  8.10 s
2415.90/604.84	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
2415.90/604.87	c vivif2 --  cl tried   103477 cl shrink        0 lits rem          0 time: 0.02
2416.30/604.96	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.10
2416.30/604.97	c calculated reachability. Time: 0.00
2416.30/604.97	c  N st    81   2711925       441      1908         0    103477      5768   1374995   no data   no data
3086.98/772.90	c  N st    82   3211926       441      1908         0     80043      5768    757630   no data   no data
3086.98/772.90	c  S st    82   3211926       441      1908         0     80043      5768    757630   no data   no data
3088.58/773.23	c  S st    82   3212427       441      1908         0     80542      5768    769068   no data   no data
3088.58/773.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3088.58/773.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
3088.58/773.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3088.58/773.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3088.58/773.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3088.58/773.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
3088.58/773.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3088.99/773.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3088.99/773.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3090.58/773.76	c lits-rem:        92  cl-subs:      688  v-elim:      0  v-fix:    0  time:  0.43 s
3090.58/773.76	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
3090.58/773.78	c vivif2 --  cl tried    79854 cl shrink        0 lits rem          0 time: 0.02
3091.38/773.90	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.11
3091.38/773.90	c calculated reachability. Time: 0.00
3091.38/773.90	c  N st    82   3212427       441      1908         0     79854      5768    756250   no data   no data
3800.02/951.38	c  N st    83   3712428       441      1908         0     90070      5768    893336   no data   no data
3800.02/951.38	c  S st    83   3712428       441      1908         0     90070      5768    893336   no data   no data
3801.23/951.66	c  S st    83   3712938       441      1908         0     90579      5768    905191   no data   no data
3801.23/951.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3801.61/951.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3801.61/951.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3801.61/951.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3801.61/951.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3801.61/951.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
3801.61/951.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3801.61/951.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3801.61/951.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3803.61/952.23	c lits-rem:       112  cl-subs:     1629  v-elim:      0  v-fix:    0  time:  0.48 s
3803.61/952.23	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
3803.61/952.25	c vivif2 --  cl tried    88950 cl shrink        0 lits rem          0 time: 0.01
3804.01/952.33	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.08
3804.01/952.33	c calculated reachability. Time: 0.00
3804.01/952.33	c  N st    83   3712938       441      1908         0     88950      5768    877141   no data   no data
3864.73/967.52	c  F st    84   3751562       441      1908         0    126325      5768   1707754   no data   no data
3864.73/967.53	c  N st    84   3751562       441      1908         0    126325      5768   1707754   no data   no data
3879.10/971.13	c Decided on static restart strategy
3926.64/983.08	c  N st    94   3779862       441      1908         0    153791      5768   2299548   no data   no data
3982.57/997.05	c  N st    96   3815857       441      1908         0    106511      5768   1261072   no data   no data
4036.10/1010.47	c  N st    97   3848249       441      1908         0    137831      5768   2001241   no data   no data
4122.78/1032.18	c  N st    98   3896837       441      1908         0    101513      5768   1121649   no data   no data
4254.59/1065.19	c  N st    99   3969720       441      1908         0     87797      5768    809049   no data   no data
4417.97/1106.05	c  N st   100   4079044       441      1908         0    108674      5768   1294373   no data   no data
4650.86/1164.33	c  N st   101   4212940       441      1908         0    152789      5768   2213289   no data   no data
4650.86/1164.33	c  S st   101   4212940       441      1908         0    152789      5768   2213289   no data   no data
4652.86/1164.88	c  S st   101   4213449       441      1908         0    153296      5768   2225429   no data   no data
4652.86/1164.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4653.26/1164.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4653.26/1164.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4653.26/1164.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4653.26/1164.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4653.26/1164.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
4653.26/1164.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4653.67/1165.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4653.67/1165.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4713.97/1180.12	c lits-rem:      1221  cl-subs:    11512  v-elim:      0  v-fix:    0  time: 15.04 s
4713.97/1180.12	c vivif2 --  cl tried     1908 cl shrink        0 lits rem          0 time: 0.00
4713.97/1180.15	c vivif2 --  cl tried   141784 cl shrink        0 lits rem          0 time: 0.03
4714.77/1180.30	c asymm  cl-useful: 0/1908/1908 lits-rem:0 time: 0.15
4714.77/1180.31	c calculated reachability. Time: 0.00
4714.77/1180.31	c  N st   101   4213449       441      1908         0    141784      5768   2010241   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174061-1304080408/watcher-3174061-1304080408 -o /tmp/evaluation-result-3174061-1304080408/solver-3174061-1304080408 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174061-1304080408.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 8.25 8.15 8.03 5/180 990
/proc/meminfo: memFree=19207712/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=40968 CPUtime=0 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 3 0 519640495 41951232 346 33554432000 4194304 4627427 140736618916016 18446744073709551615 274474023921 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 10242 346 299 106 0 5213 0
[pid=990/tid=991] ppid=988 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519640495 52441088 352 33554432000 4194304 4627427 140736618916016 18446744073709551615 47006677505970 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519640495 52441088 352 33554432000 4194304 4627427 140736618916016 18446744073709551615 47006677505970 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=990/tid=993] ppid=988 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519640495 52441088 352 33554432000 4194304 4627427 140736618916016 18446744073709551615 274469014614 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.106439 s]
/proc/loadavg: 8.25 8.15 8.03 5/180 990
/proc/meminfo: memFree=19207712/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=281996 CPUtime=0.4 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 1662 0 0 0 40 0 0 0 25 0 4 0 519640495 288763904 1551 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 70499 1551 384 106 0 65470 0
[pid=990/tid=991] ppid=988 vsize=281996 CPUtime=0.1 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 326 0 0 0 10 0 0 0 25 0 4 0 519640495 288763904 1551 33554432000 4194304 4627427 140736618916016 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=281996 CPUtime=0.09 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 329 0 0 0 9 0 0 0 25 0 4 0 519640495 288763904 1551 33554432000 4194304 4627427 140736618916016 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=281996 CPUtime=0.1 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 274 0 0 0 10 0 0 0 25 0 4 0 519640495 288763904 1551 33554432000 4194304 4627427 140736618916016 18446744073709551615 4327731 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 281996

[startup+0.200373 s]
/proc/loadavg: 8.25 8.15 8.03 5/180 990
/proc/meminfo: memFree=19207712/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=283244 CPUtime=0.78 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 2237 0 0 0 78 0 0 0 25 0 4 0 519640495 290041856 1605 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308615 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 70811 1605 385 106 0 65782 0
[pid=990/tid=991] ppid=988 vsize=283244 CPUtime=0.19 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 474 0 0 0 19 0 0 0 25 0 4 0 519640495 290041856 1605 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=283244 CPUtime=0.19 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 468 0 0 0 19 0 0 0 25 0 4 0 519640495 290041856 1605 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=283244 CPUtime=0.19 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 419 0 0 0 19 0 0 0 25 0 4 0 519640495 290041856 1605 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283244

[startup+0.300355 s]
/proc/loadavg: 8.25 8.15 8.03 5/180 990
/proc/meminfo: memFree=19207712/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=283408 CPUtime=1.18 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 2646 0 0 0 118 0 0 0 25 0 4 0 519640495 290209792 2014 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 70852 2014 385 106 0 65823 0
[pid=990/tid=991] ppid=988 vsize=283408 CPUtime=0.29 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 573 0 0 0 29 0 0 0 25 0 4 0 519640495 290209792 2014 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=283408 CPUtime=0.29 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 567 0 0 0 29 0 0 0 25 0 4 0 519640495 290209792 2014 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=283408 CPUtime=0.29 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 528 0 0 0 29 0 0 0 25 0 4 0 519640495 290209792 2014 33554432000 4194304 4627427 140736618916016 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283408

[startup+0.700287 s]
/proc/loadavg: 8.25 8.15 8.03 5/180 990
/proc/meminfo: memFree=19207712/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=284424 CPUtime=2.77 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 4302 0 0 0 277 0 0 0 25 0 4 0 519640495 291250176 2596 33554432000 4194304 4627427 140736618916016 18446744073709551615 4332626 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 71106 2596 385 106 0 66077 0
[pid=990/tid=991] ppid=988 vsize=284424 CPUtime=0.69 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 949 0 0 0 69 0 0 0 25 0 4 0 519640495 291250176 2596 33554432000 4194304 4627427 140736618916016 18446744073709551615 4324294 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=284424 CPUtime=0.69 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 963 0 0 0 69 0 0 0 25 0 4 0 519640495 291250176 2596 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=284424 CPUtime=0.69 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 1035 0 0 0 69 0 0 0 25 0 4 0 519640495 291250176 2596 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284424

[startup+1.50115 s]
/proc/loadavg: 8.23 8.15 8.03 9/184 994
/proc/meminfo: memFree=19189360/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=285556 CPUtime=5.98 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 8388 0 0 0 597 1 0 0 25 0 4 0 519640495 292409344 4287 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309327 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 71389 4287 389 106 0 66360 0
[pid=990/tid=991] ppid=988 vsize=285556 CPUtime=1.49 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 1636 0 0 0 149 0 0 0 25 0 4 0 519640495 292409344 4287 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=285556 CPUtime=1.48 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 1676 0 0 0 148 0 0 0 25 0 4 0 519640495 292409344 4287 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=285556 CPUtime=1.49 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 1776 0 0 0 149 0 0 0 25 0 4 0 519640495 292409344 4287 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 285556

[startup+3.10087 s]
/proc/loadavg: 8.23 8.15 8.03 9/184 994
/proc/meminfo: memFree=19151044/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=292756 CPUtime=12.36 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 17121 0 0 0 1234 2 0 0 25 0 4 0 519640495 299782144 8412 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 73189 8412 389 106 0 68160 0
[pid=990/tid=991] ppid=988 vsize=292756 CPUtime=3.09 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 3721 0 0 0 309 0 0 0 25 0 4 0 519640495 299782144 8412 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=292756 CPUtime=3.07 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 4647 0 0 0 307 0 0 0 25 0 4 0 519640495 299782144 8412 33554432000 4194304 4627427 140736618916016 18446744073709551615 4332203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=292756 CPUtime=3.08 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 4271 0 0 0 308 0 0 0 25 0 4 0 519640495 299782144 8412 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 292756

[startup+6.3003 s]
/proc/loadavg: 8.21 8.14 8.03 9/184 995
/proc/meminfo: memFree=19123224/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=293556 CPUtime=25.14 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 26421 0 0 0 2509 5 0 0 25 0 4 0 519640495 300601344 11620 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 73389 11620 389 106 0 68360 0
[pid=990/tid=991] ppid=988 vsize=293556 CPUtime=6.29 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 6721 0 0 0 628 1 0 0 25 0 4 0 519640495 300601344 11620 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=293556 CPUtime=6.26 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 7248 0 0 0 625 1 0 0 25 0 4 0 519640495 300601344 11620 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=293556 CPUtime=6.28 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 5926 0 0 0 627 1 0 0 25 0 4 0 519640495 300601344 11620 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 293556

[startup+12.7012 s]
/proc/loadavg: 8.20 8.14 8.03 10/184 995
/proc/meminfo: memFree=19064572/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=301616 CPUtime=50.71 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 42534 0 0 0 5064 7 0 0 25 0 4 0 519640495 308854784 16544 33554432000 4194304 4627427 140736618916016 18446744073709551615 4310445 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 75404 16544 389 106 0 70375 0
[pid=990/tid=991] ppid=988 vsize=301616 CPUtime=12.68 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 10350 0 0 0 1267 1 0 0 25 0 4 0 519640495 308854784 16544 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=301616 CPUtime=12.63 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 10230 0 0 0 1261 2 0 0 25 0 4 0 519640495 308854784 16544 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=301616 CPUtime=12.68 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 10200 0 0 0 1267 1 0 0 25 0 4 0 519640495 308854784 16544 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 301616

[startup+25.5009 s]
/proc/loadavg: 8.15 8.13 8.03 9/184 995
/proc/meminfo: memFree=19023908/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=304408 CPUtime=101.84 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 65632 0 0 0 10173 11 0 0 25 0 4 0 519640495 311713792 22149 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 76102 22149 389 106 0 71073 0
[pid=990/tid=991] ppid=988 vsize=304408 CPUtime=25.49 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 16802 0 0 0 2547 2 0 0 25 0 4 0 519640495 311713792 22149 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=304408 CPUtime=25.35 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 16257 0 0 0 2533 2 0 0 25 0 4 0 519640495 311713792 22149 33554432000 4194304 4627427 140736618916016 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=304408 CPUtime=25.48 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 15244 0 0 0 2546 2 0 0 25 0 4 0 519640495 311713792 22149 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 304408

[startup+51.1004 s]
/proc/loadavg: 8.10 8.12 8.02 10/184 996
/proc/meminfo: memFree=18976728/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=306352 CPUtime=204.11 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 99910 0 0 0 20390 21 0 0 25 0 4 0 519640495 313704448 27085 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 76588 27085 389 106 0 71559 0
[pid=990/tid=991] ppid=988 vsize=306352 CPUtime=51.09 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 26514 0 0 0 5104 5 0 0 25 0 4 0 519640495 313704448 27085 33554432000 4194304 4627427 140736618916016 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=306352 CPUtime=50.83 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 25124 0 0 0 5078 5 0 0 25 0 4 0 519640495 313704448 27085 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=306352 CPUtime=51.08 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 22664 0 0 0 5103 5 0 0 25 0 4 0 519640495 313704448 27085 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 306352

[startup+102.3 s]
/proc/loadavg: 8.04 8.10 8.02 9/184 997
/proc/meminfo: memFree=18910868/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=320472 CPUtime=408.65 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 152812 0 0 0 40830 35 0 0 25 0 4 0 519640495 328163328 34480 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 80118 34480 389 106 0 75089 0
[pid=990/tid=991] ppid=988 vsize=320472 CPUtime=102.3 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 39958 0 0 0 10220 10 0 0 25 0 4 0 519640495 328163328 34481 33554432000 4194304 4627427 140736618916016 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=320472 CPUtime=101.76 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 37773 0 0 0 10168 8 0 0 25 0 4 0 519640495 328163328 34481 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=320472 CPUtime=102.28 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 36706 0 0 0 10219 9 0 0 25 0 4 0 519640495 328163328 34481 33554432000 4194304 4627427 140736618916016 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 320472

[startup+162.301 s]

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

[pid=990] ppid=988 vsize=557120 CPUtime=2565.7 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 467626 0 0 0 256429 141 0 0 25 0 4 0 519640495 570490880 83766 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 139280 83766 389 106 0 134251 0
[pid=990/tid=991] ppid=988 vsize=557120 CPUtime=642.3 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 120339 0 0 0 64192 38 0 0 25 0 4 0 519640495 570490880 83766 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=557120 CPUtime=638.83 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 124103 0 0 0 63847 36 0 0 25 0 4 0 519640495 570490880 83766 33554432000 4194304 4627427 140736618916016 18446744073709551615 4333272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=557120 CPUtime=642.22 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 102780 0 0 0 64190 32 0 0 25 0 4 0 519640495 570490880 83766 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 557120

[startup+702.301 s]
/proc/loadavg: 8.10 8.10 8.02 9/184 1013
/proc/meminfo: memFree=18561900/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=545724 CPUtime=2805.37 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 489838 0 0 0 280387 150 0 0 25 0 4 0 519640495 558821376 75950 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 136431 75950 389 106 0 131402 0
[pid=990/tid=991] ppid=988 vsize=545724 CPUtime=702.3 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 124160 0 0 0 70190 40 0 0 25 0 4 0 519640495 558821376 75950 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=545724 CPUtime=698.51 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 132020 0 0 0 69811 40 0 0 25 0 4 0 519640495 558821376 75950 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=545724 CPUtime=702.23 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 106232 0 0 0 70189 34 0 0 25 0 4 0 519640495 558821376 75950 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 545724

[startup+762.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 1015
/proc/meminfo: memFree=18525920/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=533676 CPUtime=3045.05 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 515579 0 0 0 304345 160 0 0 25 0 4 0 519640495 546484224 79533 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 133419 79533 389 106 0 128390 0
[pid=990/tid=991] ppid=988 vsize=533676 CPUtime=762.31 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 129762 0 0 0 76188 43 0 0 25 0 4 0 519640495 546484224 79534 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=533676 CPUtime=758.18 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 138789 0 0 0 75776 42 0 0 25 0 4 0 519640495 546484224 79534 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=533676 CPUtime=762.23 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 113548 0 0 0 76187 36 0 0 25 0 4 0 519640495 546484224 79534 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 533676

[startup+822.301 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 1016
/proc/meminfo: memFree=18477780/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=546424 CPUtime=3284.71 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 540548 0 0 0 328303 168 0 0 25 0 4 0 519640495 559538176 87989 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 136606 87989 389 106 0 131577 0
[pid=990/tid=991] ppid=988 vsize=546424 CPUtime=822.31 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 136219 0 0 0 82187 44 0 0 25 0 4 0 519640495 559538176 87989 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=546424 CPUtime=817.85 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 146663 0 0 0 81740 45 0 0 25 0 4 0 519640495 559538176 87989 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=546424 CPUtime=822.21 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 120821 0 0 0 82183 38 0 0 25 0 4 0 519640495 559538176 87989 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 546424

[startup+882.306 s]
/proc/loadavg: 8.19 8.14 8.04 9/184 1018
/proc/meminfo: memFree=18463112/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=559588 CPUtime=3524.41 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 559844 0 0 0 352266 175 0 0 25 0 4 0 519640495 573018112 89425 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 139897 89425 389 106 0 134868 0
[pid=990/tid=991] ppid=988 vsize=559588 CPUtime=882.31 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 140002 0 0 0 88185 46 0 0 25 0 4 0 519640495 573018112 89425 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=559588 CPUtime=877.53 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 152936 0 0 0 87706 47 0 0 25 0 4 0 519640495 573018112 89425 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=559588 CPUtime=882.22 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 124421 0 0 0 88182 40 0 0 25 0 4 0 519640495 573018112 89425 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 559588

[startup+942.301 s]
/proc/loadavg: 8.18 8.14 8.05 10/184 1020
/proc/meminfo: memFree=18407164/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=638028 CPUtime=3764.06 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 584113 0 0 0 376222 184 0 0 25 0 4 0 519640495 653340672 98724 33554432000 4194304 4627427 140736618916016 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 159507 98725 389 106 0 154478 0
[pid=990/tid=991] ppid=988 vsize=638028 CPUtime=942.31 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 145785 0 0 0 94183 48 0 0 25 0 4 0 519640495 653340672 98725 33554432000 4194304 4627427 140736618916016 18446744073709551615 4333319 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=638028 CPUtime=937.21 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 159709 0 0 0 93671 50 0 0 25 0 4 0 519640495 653340672 98725 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=638028 CPUtime=942.2 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 130063 0 0 0 94179 41 0 0 25 0 4 0 519640495 653340672 98725 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 638028

[startup+1002.3 s]
/proc/loadavg: 8.24 8.16 8.06 10/184 1021
/proc/meminfo: memFree=18452160/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=568548 CPUtime=4003.73 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 601055 0 0 0 400182 191 0 0 25 0 4 0 519640495 582193152 90696 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 142137 90696 389 106 0 137108 0
[pid=990/tid=991] ppid=988 vsize=568548 CPUtime=1002.32 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 147548 0 0 0 100183 49 0 0 25 0 4 0 519640495 582193152 90696 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=568548 CPUtime=996.88 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 165158 0 0 0 99635 53 0 0 25 0 4 0 519640495 582193152 90696 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=568548 CPUtime=1002.2 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 133760 0 0 0 100177 43 0 0 25 0 4 0 519640495 582193152 90696 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 568548

[startup+1062.3 s]
/proc/loadavg: 8.22 8.16 8.06 9/184 1023
/proc/meminfo: memFree=18357900/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=647040 CPUtime=4243.41 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 620322 0 0 0 424141 200 0 0 25 0 4 0 519640495 662568960 102828 33554432000 4194304 4627427 140736618916016 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 161760 102828 389 106 0 156731 0
[pid=990/tid=991] ppid=988 vsize=647040 CPUtime=1062.31 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 152094 0 0 0 106181 50 0 0 25 0 4 0 519640495 662568960 102828 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=647040 CPUtime=1056.55 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 170725 0 0 0 105601 54 0 0 25 0 4 0 519640495 662568960 102828 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=647040 CPUtime=1062.19 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 138524 0 0 0 106173 46 0 0 25 0 4 0 519640495 662568960 102828 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 647040

[startup+1122.3 s]
/proc/loadavg: 8.15 8.14 8.06 9/184 1024
/proc/meminfo: memFree=18385784/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=569784 CPUtime=4483.09 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 637292 0 0 0 448100 209 0 0 25 0 4 0 519640495 583458816 101052 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 142446 101052 389 106 0 137417 0
[pid=990/tid=991] ppid=988 vsize=569784 CPUtime=1122.32 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 154741 0 0 0 112180 52 0 0 25 0 4 0 519640495 583458816 101052 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=569784 CPUtime=1116.23 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 176460 0 0 0 111566 57 0 0 25 0 4 0 519640495 583458816 101052 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=569784 CPUtime=1122.2 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 141265 0 0 0 112172 48 0 0 25 0 4 0 519640495 583458816 101052 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 569784

[startup+1182.3 s]
/proc/loadavg: 8.05 8.11 8.06 9/184 1026
/proc/meminfo: memFree=18379068/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=583560 CPUtime=4722.76 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 656669 0 0 0 472059 217 0 0 25 0 4 0 519640495 597565440 100110 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 145890 100110 389 106 0 140861 0
[pid=990/tid=991] ppid=988 vsize=583560 CPUtime=1182.31 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 158499 0 0 0 118178 53 0 0 25 0 4 0 519640495 597565440 100110 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=583560 CPUtime=1175.91 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 181265 0 0 0 117531 60 0 0 25 0 4 0 519640495 597565440 100110 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=583560 CPUtime=1182.19 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 143822 0 0 0 118170 49 0 0 25 0 4 0 519640495 597565440 100110 33554432000 4194304 4627427 140736618916016 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.76
Current children cumulated vsize (KiB) 583560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.04 8.11 8.06 5/180 1027
/proc/meminfo: memFree=18813836/32950928 swapFree=67111528/67111528
[pid=990] ppid=988 vsize=570628 CPUtime=4800.26 cores=0,2,4,6
/proc/990/stat : 990 (strangenight2-m) R 988 990 499 0 -1 4202496 662538 0 0 0 479807 219 0 0 25 0 4 0 519640495 584323072 99014 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/990/statm: 142657 99014 389 106 0 137628 0
[pid=990/tid=991] ppid=988 vsize=570628 CPUtime=1201.72 cores=0,2,4,6
/proc/990/task/991/stat : 991 (strangenight2-m) R 988 990 499 0 -1 4202560 158499 0 0 0 120119 53 0 0 25 0 4 0 519640495 584323072 99014 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=990/tid=992] ppid=988 vsize=570628 CPUtime=1195.2 cores=0,2,4,6
/proc/990/task/992/stat : 992 (strangenight2-m) R 988 990 499 0 -1 4202560 183743 0 0 0 119459 61 0 0 25 0 4 0 519640495 584323072 99014 33554432000 4194304 4627427 140736618916016 18446744073709551615 4299545 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=990/tid=993] ppid=988 vsize=570628 CPUtime=1201.59 cores=0,2,4,6
/proc/990/task/993/stat : 993 (strangenight2-m) R 988 990 499 0 -1 4202560 145092 0 0 0 120110 49 0 0 25 0 4 0 519640495 584323072 99014 33554432000 4194304 4627427 140736618916016 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 570628

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): 1201.73
CPU time (s): 4800.32
CPU user time (s): 4798.1
CPU system time (s): 2.21566
CPU usage (%): 399.45
Max. virtual memory (cumulated for all children) (KiB): 687880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.1
system time used= 2.21566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 662541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252
involuntary context switches= 33833

runsolver used 1.9677 second user time and 4.54531 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 14:33:28
IDJOB=3174061
IDBENCH=82879
IDSOLVER=1586
FILE ID=node125/3174061-1304080408
RUNJOBID= node125-1304079204-869
PBS_JOBID= 13170502
Free space on /tmp= 72760 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174061-1304080408/watcher-3174061-1304080408 -o /tmp/evaluation-result-3174061-1304080408/solver-3174061-1304080408 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174061-1304080408.cnf

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

MD5SUM BENCH= 970ca2029fea75cb0f7721dfc724b428
RANDOM SEED=1154903913

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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:      19207744 kB
Buffers:       2217904 kB
Cached:       10924876 kB
SwapCached:          0 kB
Active:        8433068 kB
Inactive:      4778920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19207744 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11280 kB
Writeback:           0 kB
AnonPages:       68056 kB
Mapped:          15464 kB
Slab:           466844 kB
PageTables:       4648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   274032 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= 72752 MiB
End job on node125 at 2011-04-29 14:53:32