Trace number 3174058

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.31 1201.74

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3174058-1304080217.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.07	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.00/0.07	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.07	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.07	c calculated reachability. Time: 0.00
0.00/0.07	c Calc default polars -  time:   0.00 s pos:     237 undec:      61 neg:     252
0.00/0.07	c =========================================================================================
0.00/0.07	c types(t): F = full restart, N = normal restart
0.00/0.07	c types(t): S = simplification begin/end, E = solution found
0.00/0.07	c restart types(rt): st = static, dy = dynamic
0.00/0.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.07	c  B st     0         0       531      2309         0         0      7037         0   no data   no data
0.00/0.07	c Decided on static restart strategy
3.17/0.85	c  N st     8      4917       531      2309         0      4842      7037    124651   no data   no data
3.17/0.85	c  N st    10     11303       531      2309         0      4480      7037     81169   no data   no data
3.17/0.85	c  N st    11     17047       531      2309         0     10106      7037    213641   no data   no data
4.38/1.15	c  F st    12     25001       531      2309         0     12418      7037    279980   no data   no data
4.38/1.15	c  N st    12     25001       531      2309         0     12418      7037    279980   no data   no data
5.16/1.35	c Decided on static restart strategy
5.16/1.35	c  N st    18     30002       531      2309         0     10721      7037    219512   no data   no data
5.16/1.35	c  S st    18     30002       531      2309         0     10721      7037    219512   no data   no data
5.56/1.45	c  S st    18     30507       531      2309         0     11226      7037    232135   no data   no data
5.56/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.45	c blocked clauses removed:        9 vars:      2 tried:         531 T: 0.00 s
5.56/1.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
5.56/1.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.45	c lits-rem:       168  cl-subs:      460  v-elim:      0  v-fix:    0  time:  0.05 s
5.56/1.45	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.01
5.56/1.45	c calculated reachability. Time: 0.00
5.56/1.45	c  N st    18     30507       529      2300         0     10766      7010    218852   no data   no data
7.16/1.85	c  N st    20     37620       529      2300         0     10002      7010    175919   no data   no data
8.78/2.26	c  N st    21     44021       529      2300         0     16292      7010    334630   no data   no data
9.18/2.38	c  S st    22     45760       529      2300         0      9225      7010    138144   no data   no data
9.56/2.40	c  S st    22     46260       529      2300         0      9723      7010    150051   no data   no data
9.56/2.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
9.56/2.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.42	c lits-rem:        10  cl-subs:       73  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.42	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
9.56/2.43	c vivif2 --  cl tried     9650 cl shrink        0 lits rem          0 time: 0.00
9.56/2.43	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.01
9.56/2.43	c calculated reachability. Time: 0.00
9.56/2.43	c  N st    22     46260       529      2300         0      9650      7010    148046   no data   no data
13.17/3.32	c  N st    23     60657       529      2300         0     13973      7010    245159   no data   no data
15.55/3.93	c  N st    24     69390       529      2300         0     11759      7010    180224   no data   no data
15.55/3.93	c  S st    24     69390       529      2300         0     11759      7010    180224   no data   no data
15.55/3.96	c  S st    24     69891       529      2300         0     12260      7010    192114   no data   no data
15.55/3.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
15.55/3.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.55/3.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.00	c lits-rem:        26  cl-subs:      205  v-elim:      0  v-fix:    0  time:  0.02 s
15.95/4.00	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
15.95/4.00	c vivif2 --  cl tried    12055 cl shrink        0 lits rem          0 time: 0.00
15.95/4.01	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.01
15.95/4.01	c calculated reachability. Time: 0.00
15.95/4.01	c  N st    24     69891       529      2300         0     12055      7010    187151   no data   no data
21.15/5.33	c  F st    25     87500       529      2300         0     17548      7010    325105   no data   no data
21.15/5.33	c  N st    25     87500       529      2300         0     17548      7010    325105   no data   no data
22.74/5.72	c Decided on static restart strategy
23.54/5.96	c  N st    32     95538       529      2300         0     25469      7010    525775   no data   no data
26.35/6.64	c  N st    34    104839       529      2300         0     21874      7010    409324   no data   no data
26.35/6.64	c  S st    34    104839       529      2300         0     21874      7010    409324   no data   no data
26.35/6.69	c  S st    34    105341       529      2300         0     22374      7010    422010   no data   no data
26.35/6.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.35/6.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.35/6.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.35/6.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.35/6.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
26.35/6.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.76/6.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.76/6.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.85	c lits-rem:       111  cl-subs:      581  v-elim:      0  v-fix:    0  time:  0.13 s
27.14/6.85	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
27.14/6.86	c vivif2 --  cl tried    21793 cl shrink        0 lits rem          0 time: 0.00
27.14/6.87	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.01
27.14/6.87	c calculated reachability. Time: 0.00
27.14/6.87	c  N st    34    105341       529      2300         0     21793      7010    405853   no data   no data
30.34/7.68	c  N st    35    114939       529      2300         0     17461      7010    266838   no data   no data
35.55/8.96	c  N st    36    129336       529      2300         0     16860      7010    237512   no data   no data
42.71/10.75	c  N st    37    150931       529      2300         0     22321      7010    362170   no data   no data
45.51/11.48	c  S st    38    158014       529      2300         0     29241      7010    548893   no data   no data
45.91/11.56	c  S st    38    158518       529      2300         0     29743      7010    560837   no data   no data
45.91/11.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.91/11.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.91/11.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.91/11.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.91/11.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.91/11.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
45.91/11.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.91/11.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.91/11.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.51/11.96	c lits-rem:       360  cl-subs:     1283  v-elim:      0  v-fix:    0  time:  0.37 s
47.51/11.96	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
47.51/11.97	c vivif2 --  cl tried    28460 cl shrink        0 lits rem          0 time: 0.01
47.51/11.98	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.02
47.51/11.99	c calculated reachability. Time: 0.00
47.51/11.99	c  N st    38    158518       529      2300         0     28460      7010    527597   no data   no data
67.88/17.00	c  N st    39    207107       529      2300         0     23173      7010    342605   no data   no data
81.06/20.32	c  N st    40    237779       529      2300         0     33478      7010    576754   no data   no data
81.06/20.32	c  S st    40    237779       529      2300         0     33478      7010    576754   no data   no data
81.46/20.40	c  S st    40    238283       529      2300         0     33981      7010    588296   no data   no data
81.46/20.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.46/20.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.46/20.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.46/20.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.46/20.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.46/20.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
81.46/20.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.46/20.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.46/20.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.65/21.22	c lits-rem:      1054  cl-subs:     2272  v-elim:      0  v-fix:    0  time:  0.77 s
84.65/21.22	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
84.65/21.22	c vivif2 --  cl tried    31709 cl shrink        0 lits rem          0 time: 0.01
84.65/21.25	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.02
84.65/21.25	c calculated reachability. Time: 0.00
84.65/21.25	c  N st    40    238283       529      2300         0     31709      7010    528527   no data   no data
116.22/29.13	c  F st    41    306252       529      2300         0     33610      7010    527878   no data   no data
116.22/29.13	c  N st    41    306252       529      2300         0     33610      7010    527878   no data   no data
118.22/29.70	c Decided on static restart strategy
129.79/32.57	c  N st    51    334557       529      2300         0     37973      7010    616713   no data   no data
141.00/35.33	c  N st    53    357424       529      2300         0     35935      7010    588240   no data   no data
141.00/35.33	c  S st    53    357424       529      2300         0     35935      7010    588240   no data   no data
141.38/35.42	c  S st    53    357926       529      2300         0     36436      7010    600419   no data   no data
141.38/35.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.38/35.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
141.38/35.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.38/35.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.38/35.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.38/35.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
141.38/35.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
141.38/35.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.38/35.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.98/35.80	c lits-rem:        83  cl-subs:     1135  v-elim:      0  v-fix:    0  time:  0.34 s
142.98/35.80	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
142.98/35.81	c vivif2 --  cl tried    35301 cl shrink        0 lits rem          0 time: 0.01
142.98/35.83	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.02
142.98/35.83	c calculated reachability. Time: 0.00
142.98/35.83	c  N st    53    357926       529      2300         0     35301      7010    570140   no data   no data
159.75/40.00	c  N st    54    390318       529      2300         0     41479      7010    728919   no data   no data
184.53/46.27	c  N st    55    438906       529      2300         0     35317      7010    508588   no data   no data
225.26/56.42	c  N st    56    511790       529      2300         0     48870      7010    859895   no data   no data
240.45/60.27	c  N st    57    536889       529      2300         0     43053      7010    644988   no data   no data
240.45/60.27	c  S st    57    536889       529      2300         0     43053      7010    644988   no data   no data
240.85/60.39	c  S st    57    537395       529      2300         0     43558      7010    656851   no data   no data
240.85/60.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
241.25/60.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
241.25/60.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.25/60.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
241.25/60.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.25/60.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
241.25/60.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
241.25/60.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
241.25/60.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.64/61.03	c lits-rem:       146  cl-subs:     1748  v-elim:      0  v-fix:    0  time:  0.59 s
243.64/61.03	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
243.64/61.04	c vivif2 --  cl tried    41810 cl shrink        0 lits rem          0 time: 0.01
243.64/61.07	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.03
243.64/61.07	c calculated reachability. Time: 0.00
243.64/61.07	c  N st    57    537395       529      2300         0     41810      7010    612720   no data   no data
354.69/88.84	c  N st    58    701379       529      2300         0     35710      7010    384876   no data   no data
431.38/108.01	c  N st    59    806092       529      2300         0     64765      7010   1095907   no data   no data
431.38/108.01	c  S st    59    806092       529      2300         0     64765      7010   1095907   no data   no data
432.18/108.20	c  S st    59    806593       529      2300         0     65266      7010   1108671   no data   no data
432.18/108.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
432.18/108.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
432.18/108.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.18/108.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
432.18/108.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.18/108.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
432.18/108.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
432.18/108.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
432.18/108.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.57/110.85	c lits-rem:       445  cl-subs:     3458  v-elim:      0  v-fix:    0  time:  2.56 s
442.57/110.85	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
442.57/110.86	c vivif2 --  cl tried    61808 cl shrink        0 lits rem          0 time: 0.01
442.97/110.92	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.06
442.97/110.92	c calculated reachability. Time: 0.00
442.97/110.92	c  N st    59    806593       529      2300         0     61808      7010   1023330   no data   no data
654.28/163.88	c  F st    60   1071875       529      2300         0     78167      7010   1381464   no data   no data
654.28/163.88	c  N st    60   1071875       529      2300         0     78167      7010   1381464   no data   no data
661.07/165.59	c Decided on static restart strategy
681.06/170.50	c  N st    70   1100181       529      2300         0     61800      7010    874901   no data   no data
714.60/178.96	c  N st    72   1136174       529      2300         0     52066      7010    632669   no data   no data
744.15/186.31	c  N st    73   1168566       529      2300         0     83589      7010   1428357   no data   no data
778.50/194.90	c  N st    74   1209890       529      2300         0     78134      7010   1307747   no data   no data
778.50/194.90	c  S st    74   1209890       529      2300         0     78134      7010   1307747   no data   no data
779.30/195.14	c  S st    74   1210396       529      2300         0     78640      7010   1320353   no data   no data
779.30/195.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
779.30/195.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
779.30/195.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
779.30/195.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
779.30/195.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
779.30/195.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
779.30/195.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
779.70/195.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
779.70/195.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
789.29/197.68	c lits-rem:       821  cl-subs:     2936  v-elim:      0  v-fix:    0  time:  2.43 s
789.29/197.68	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
789.29/197.70	c vivif2 --  cl tried    75704 cl shrink        0 lits rem          0 time: 0.02
789.69/197.77	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.08
789.69/197.77	c calculated reachability. Time: 0.00
789.69/197.77	c  N st    74   1210396       529      2300         0     75704      7010   1252968   no data   no data
865.19/216.68	c  N st    75   1283278       529      2300         0     52077      7010    572995   no data   no data
972.64/243.58	c  N st    76   1392601       529      2300         0     60078      7010    740210   no data   no data
1130.42/283.08	c  N st    77   1556586       529      2300         0     65138      7010    847423   no data   no data
1300.20/325.55	c  N st    78   1710396       529      2300         0    106637      7010   1834215   no data   no data
1300.20/325.55	c  S st    78   1710396       529      2300         0    106637      7010   1834215   no data   no data
1301.80/325.91	c  S st    78   1710902       529      2300         0    107143      7010   1846544   no data   no data
1301.80/325.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1301.80/325.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1301.80/325.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1301.80/325.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1301.80/325.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1301.80/325.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
1301.80/325.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1302.20/326.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1302.20/326.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1362.13/341.00	c lits-rem:      1507  cl-subs:     9859  v-elim:      0  v-fix:    0  time: 14.94 s
1362.13/341.00	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
1362.13/341.03	c vivif2 --  cl tried    97284 cl shrink        0 lits rem          0 time: 0.02
1362.54/341.13	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.10
1362.54/341.14	c calculated reachability. Time: 0.00
1362.54/341.14	c  N st    78   1710902       529      2300         0     97284      7010   1613717   no data   no data
1801.53/451.09	c  N st    79   2079867       529      2300         0    108968      7010   1784590   no data   no data
1937.33/485.01	c  N st    80   2210902       529      2300         0    112861      7010   1822736   no data   no data
1937.33/485.01	c  S st    80   2210902       529      2300         0    112861      7010   1822736   no data   no data
1938.93/485.40	c  S st    80   2211405       529      2300         0    113360      7010   1835008   no data   no data
1938.93/485.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1938.93/485.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
1938.93/485.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1938.93/485.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1938.93/485.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1938.93/485.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
1938.93/485.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1938.93/485.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1939.33/485.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1989.26/498.06	c lits-rem:       392  cl-subs:    11116  v-elim:      0  v-fix:    0  time: 12.51 s
1989.26/498.06	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
1989.26/498.09	c vivif2 --  cl tried   102244 cl shrink        0 lits rem          0 time: 0.02
1989.66/498.20	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.11
1990.06/498.20	c calculated reachability. Time: 0.00
1990.06/498.20	c  N st    80   2211405       529      2300         0    102244      7010   1592130   no data   no data
2605.64/652.37	c  N st    81   2711409       529      2300         0    125728      7010   2094689   no data   no data
2605.64/652.37	c  S st    81   2711409       529      2300         0    125728      7010   2094689   no data   no data
2607.62/652.80	c  S st    81   2711913       529      2300         0    126232      7010   2107084   no data   no data
2607.62/652.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2607.62/652.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
2607.62/652.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2607.62/652.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2607.62/652.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2607.62/652.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
2607.62/652.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2608.02/652.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2608.02/652.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2675.94/670.00	c lits-rem:       651  cl-subs:    10774  v-elim:      0  v-fix:    0  time: 17.02 s
2675.94/670.00	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
2676.35/670.02	c vivif2 --  cl tried   115458 cl shrink        0 lits rem          0 time: 0.03
2676.73/670.15	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.13
2676.73/670.15	c calculated reachability. Time: 0.00
2676.73/670.15	c  N st    81   2711913       529      2300         0    115458      7010   1863987   no data   no data
3332.23/834.20	c  N st    82   3211914       529      2300         0     91676      7010   1139814   no data   no data
3332.23/834.20	c  S st    82   3211914       529      2300         0     91676      7010   1139814   no data   no data
3333.03/834.47	c  S st    82   3212418       529      2300         0     92179      7010   1151921   no data   no data
3333.03/834.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3333.43/834.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3333.43/834.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3333.43/834.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3333.43/834.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3333.43/834.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
3333.43/834.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3333.43/834.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3333.43/834.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3338.63/835.80	c lits-rem:       230  cl-subs:     2039  v-elim:      0  v-fix:    0  time:  1.22 s
3338.63/835.80	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
3338.63/835.82	c vivif2 --  cl tried    90140 cl shrink        0 lits rem          0 time: 0.02
3339.03/835.91	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.09
3339.03/835.91	c calculated reachability. Time: 0.00
3339.03/835.91	c  N st    82   3212418       529      2300         0     90140      7010   1101379   no data   no data
4009.71/1003.80	c  N st    83   3712418       529      2300         0    101020      7010   1279797   no data   no data
4009.71/1003.80	c  S st    83   3712418       529      2300         0    101020      7010   1279797   no data   no data
4010.91/1004.17	c  S st    83   3712924       529      2300         0    101526      7010   1293107   no data   no data
4010.91/1004.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4011.31/1004.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
4011.31/1004.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4011.31/1004.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4011.31/1004.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4011.31/1004.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
4011.31/1004.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4011.31/1004.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4011.72/1004.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4024.10/1007.45	c lits-rem:       429  cl-subs:     2629  v-elim:      0  v-fix:    0  time:  3.13 s
4024.10/1007.45	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
4024.10/1007.48	c vivif2 --  cl tried    98897 cl shrink        0 lits rem          0 time: 0.02
4024.90/1007.61	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.14
4024.90/1007.62	c calculated reachability. Time: 0.00
4024.90/1007.62	c  N st    83   3712924       529      2300         0     98897      7010   1228546   no data   no data
4086.83/1023.11	c  F st    84   3751562       529      2300         0    136581      7010   2244866   no data   no data
4086.83/1023.11	c  N st    84   3751562       529      2300         0    136581      7010   2244866   no data   no data
4130.36/1034.09	c  N dy   127   3771603       529      2300         0    156252      7010   2724672     16.54     17.43
4175.89/1045.42	c  N dy   184   3792797       529      2300         0     94014      7010    991087     16.22     17.17
4211.03/1054.27	c  N dy   285   3813761       529      2300         0    114594      7010   1485289     16.46     17.44
4251.78/1064.47	c  N dy   368   3833765       529      2300         0    134295      7010   1959626     16.51     17.50
4311.70/1079.42	c  N dy   460   3856822       529      2300         0    156870      7010   2494629     16.52     17.39
4361.64/1091.93	c  N dy   546   3878653       529      2300         0     94142      7010    958944     16.57     17.66
4396.38/1100.66	c  N dy   656   3898713       529      2300         0    113900      7010   1444824     16.67     18.53
4438.35/1111.12	c  N dy   720   3919593       529      2300         0    134404      7010   1940830     16.64     17.59
4487.86/1123.56	c  N dy   806   3940146       529      2300         0    154609      7010   2429190     16.66     17.58
4540.99/1136.80	c  N dy   886   3960216       529      2300         0     88975      7010    802131     16.65     18.83
4572.94/1144.89	c  N dy   974   3980402       529      2300         0    108836      7010   1287193     16.67     17.68
4611.29/1154.48	c  N dy   995   4001214       529      2300         0    129220      7010   1762409     16.57     17.67
4656.83/1165.86	c  N dy  1057   4021314       529      2300         0    148969      7010   2231600     16.56     19.69
4711.95/1179.63	c  N dy  1150   4041357       529      2300         0    168695      7010   2712433     16.59     17.84
4747.91/1188.69	c  N dy  1173   4061393       529      2300         0    101876      7010   1062073     16.50     19.07
4792.25/1199.72	c  N dy  1253   4086466       529      2300         0    126549      7010   1658406     16.49     17.36

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-3174058-1304080217/watcher-3174058-1304080217 -o /tmp/evaluation-result-3174058-1304080217/solver-3174058-1304080217 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174058-1304080217.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: 7.79 8.05 7.97 5/180 1300
/proc/meminfo: memFree=27354712/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=40968 CPUtime=0 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 3 0 519619415 41951232 346 33554432000 4194304 4627427 140734870387808 18446744073709551615 218905787377 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 10242 346 299 106 0 5213 0
[pid=1300/tid=1301] ppid=1298 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519619415 52441088 352 33554432000 4194304 4627427 140734870387808 18446744073709551615 47214648461234 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519619415 52441088 352 33554432000 4194304 4627427 140734870387808 18446744073709551615 47214648461228 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519619416 52441088 352 33554432000 4194304 4627427 140734870387808 18446744073709551615 218900778070 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.113474 s]
/proc/loadavg: 7.79 8.05 7.97 5/180 1300
/proc/meminfo: memFree=27354712/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=282272 CPUtime=0.42 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 1775 0 0 0 42 0 0 0 18 0 4 0 519619415 289046528 1680 33554432000 4194304 4627427 140734870387808 18446744073709551615 4310370 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 70568 1680 384 106 0 65539 0
[pid=1300/tid=1301] ppid=1298 vsize=282272 CPUtime=0.1 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 354 0 0 0 10 0 0 0 18 0 4 0 519619415 289046528 1680 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=282272 CPUtime=0.1 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 385 0 0 0 10 0 0 0 18 0 4 0 519619415 289046528 1680 33554432000 4194304 4627427 140734870387808 18446744073709551615 218905836014 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=282272 CPUtime=0.1 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 268 0 0 0 10 0 0 0 18 0 4 0 519619416 289046528 1680 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282272

[startup+0.208483 s]
/proc/loadavg: 7.79 8.05 7.97 5/180 1300
/proc/meminfo: memFree=27354712/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=283672 CPUtime=0.8 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 2410 0 0 0 80 0 0 0 18 0 4 0 519619415 290480128 1718 33554432000 4194304 4627427 140734870387808 18446744073709551615 4324696 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 70918 1718 385 106 0 65889 0
[pid=1300/tid=1301] ppid=1298 vsize=283672 CPUtime=0.2 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 518 0 0 0 20 0 0 0 18 0 4 0 519619415 290480128 1718 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=283672 CPUtime=0.19 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 539 0 0 0 19 0 0 0 18 0 4 0 519619415 290480128 1719 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=283672 CPUtime=0.2 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 420 0 0 0 20 0 0 0 18 0 4 0 519619416 290480128 1719 33554432000 4194304 4627427 140734870387808 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 283672

[startup+0.300467 s]
/proc/loadavg: 7.79 8.05 7.97 5/180 1300
/proc/meminfo: memFree=27354712/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=283804 CPUtime=1.17 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 2818 0 0 0 117 0 0 0 18 0 4 0 519619415 290615296 2126 33554432000 4194304 4627427 140734870387808 18446744073709551615 4327488 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 70951 2126 385 106 0 65922 0
[pid=1300/tid=1301] ppid=1298 vsize=283804 CPUtime=0.29 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 628 0 0 0 29 0 0 0 18 0 4 0 519619415 290615296 2126 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=283804 CPUtime=0.29 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 640 0 0 0 29 0 0 0 18 0 4 0 519619415 290615296 2126 33554432000 4194304 4627427 140734870387808 18446744073709551615 4330286 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=283804 CPUtime=0.29 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 522 0 0 0 29 0 0 0 18 0 4 0 519619416 290615296 2126 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283804

[startup+0.700395 s]
/proc/loadavg: 7.79 8.05 7.97 5/180 1300
/proc/meminfo: memFree=27354712/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=285032 CPUtime=2.77 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 4434 0 0 0 276 1 0 0 18 0 4 0 519619415 291872768 2845 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308901 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 71258 2845 385 106 0 66229 0
[pid=1300/tid=1301] ppid=1298 vsize=285032 CPUtime=0.69 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 1030 0 0 0 69 0 0 0 18 0 4 0 519619415 291872768 2845 33554432000 4194304 4627427 140734870387808 18446744073709551615 4326817 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=285032 CPUtime=0.69 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 1047 0 0 0 69 0 0 0 18 0 4 0 519619415 291872768 2845 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=285032 CPUtime=0.69 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 925 0 0 0 69 0 0 0 18 0 4 0 519619416 291872768 2845 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285032

[startup+1.50025 s]
/proc/loadavg: 7.79 8.05 7.97 10/184 1304
/proc/meminfo: memFree=27341372/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=286732 CPUtime=5.96 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 8936 0 0 0 595 1 0 0 20 0 4 0 519619415 293613568 4648 33554432000 4194304 4627427 140734870387808 18446744073709551615 4333319 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 71683 4648 389 106 0 66654 0
[pid=1300/tid=1301] ppid=1298 vsize=286732 CPUtime=1.49 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 1798 0 0 0 149 0 0 0 20 0 4 0 519619415 293613568 4648 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=286732 CPUtime=1.48 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 1784 0 0 0 148 0 0 0 20 0 4 0 519619415 293613568 4648 33554432000 4194304 4627427 140734870387808 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=286732 CPUtime=1.49 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 1709 0 0 0 149 0 0 0 20 0 4 0 519619416 293613568 4648 33554432000 4194304 4627427 140734870387808 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286732

[startup+3.10096 s]
/proc/loadavg: 7.79 8.05 7.97 9/184 1304
/proc/meminfo: memFree=27320416/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=279288 CPUtime=12.36 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 18129 0 0 0 1233 3 0 0 25 0 4 0 519619415 285990912 9288 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 69822 9288 389 106 0 64793 0
[pid=1300/tid=1301] ppid=1298 vsize=279288 CPUtime=3.08 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 4067 0 0 0 308 0 0 0 25 0 4 0 519619415 285990912 9288 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=279288 CPUtime=3.07 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 4820 0 0 0 307 0 0 0 25 0 4 0 519619415 285990912 9288 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=279288 CPUtime=3.08 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 4172 0 0 0 308 0 0 0 25 0 4 0 519619416 285990912 9288 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 279288

[startup+6.30038 s]
/proc/loadavg: 7.81 8.05 7.97 9/184 1305
/proc/meminfo: memFree=27298168/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=281180 CPUtime=25.14 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 27831 0 0 0 2510 4 0 0 25 0 4 0 519619415 287928320 13163 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 70295 13163 389 106 0 65266 0
[pid=1300/tid=1301] ppid=1298 vsize=281180 CPUtime=6.28 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 7232 0 0 0 628 0 0 0 25 0 4 0 519619415 287928320 13163 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=281180 CPUtime=6.26 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 7804 0 0 0 625 1 0 0 25 0 4 0 519619415 287928320 13163 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=281180 CPUtime=6.29 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 5461 0 0 0 628 1 0 0 25 0 4 0 519619416 287928320 13163 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 281180

[startup+12.7002 s]
/proc/loadavg: 7.90 8.07 7.97 9/184 1305
/proc/meminfo: memFree=27250204/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=291384 CPUtime=50.7 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 44149 0 0 0 5063 7 0 0 25 0 4 0 519619415 298377216 19656 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 72846 19656 389 106 0 67817 0
[pid=1300/tid=1301] ppid=1298 vsize=291384 CPUtime=12.68 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 11377 0 0 0 1267 1 0 0 25 0 4 0 519619415 298377216 19656 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=291384 CPUtime=12.62 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 10374 0 0 0 1261 1 0 0 25 0 4 0 519619415 298377216 19656 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=291384 CPUtime=12.69 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 9237 0 0 0 1267 2 0 0 25 0 4 0 519619416 298377216 19656 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 291384

[startup+25.5009 s]
/proc/loadavg: 7.92 8.06 7.97 9/184 1305
/proc/meminfo: memFree=27209636/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=310332 CPUtime=101.84 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 63549 0 0 0 10172 12 0 0 25 0 4 0 519619415 317779968 27076 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 77583 27077 389 106 0 72554 0
[pid=1300/tid=1301] ppid=1298 vsize=310332 CPUtime=25.48 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 17910 0 0 0 2546 2 0 0 25 0 4 0 519619415 317779968 27077 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=310332 CPUtime=25.35 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 14017 0 0 0 2533 2 0 0 25 0 4 0 519619415 317779968 27077 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=310332 CPUtime=25.48 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 12469 0 0 0 2545 3 0 0 25 0 4 0 519619416 317779968 27077 33554432000 4194304 4627427 140734870387808 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 310332

[startup+51.1003 s]
/proc/loadavg: 8.03 8.07 7.98 9/184 1306
/proc/meminfo: memFree=27188484/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=321276 CPUtime=204.09 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 89281 0 0 0 20391 18 0 0 25 0 4 0 519619415 328986624 33286 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308326 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 80319 33286 389 106 0 75290 0
[pid=1300/tid=1301] ppid=1298 vsize=321276 CPUtime=51.09 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 24663 0 0 0 5105 4 0 0 25 0 4 0 519619415 328986624 33286 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=321276 CPUtime=50.81 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 18514 0 0 0 5078 3 0 0 25 0 4 0 519619415 328986624 33286 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=321276 CPUtime=51.09 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 20315 0 0 0 5103 6 0 0 25 0 4 0 519619416 328986624 33286 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 321276

[startup+102.301 s]
/proc/loadavg: 8.06 8.08 7.98 9/184 1307
/proc/meminfo: memFree=27114628/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=324440 CPUtime=408.63 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 136572 0 0 0 40831 32 0 0 25 0 4 0 519619415 332226560 44566 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 81110 44566 389 106 0 76081 0
[pid=1300/tid=1301] ppid=1298 vsize=324440 CPUtime=102.28 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 39736 0 0 0 10220 8 0 0 25 0 4 0 519619415 332226560 44567 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=324440 CPUtime=101.73 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 23798 0 0 0 10169 4 0 0 25 0 4 0 519619415 332226560 44567 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=324440 CPUtime=102.29 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 35699 0 0 0 10218 11 0 0 25 0 4 0 519619416 332226560 44567 33554432000 4194304 4627427 140734870387808 18446744073709551615 4328754 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 324440

[startup+162.301 s]

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

[pid=1300] ppid=1298 vsize=542620 CPUtime=2565.69 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 359322 0 0 0 256455 114 0 0 25 0 4 0 519619415 555642880 92961 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 135655 92961 389 106 0 130626 0
[pid=1300/tid=1301] ppid=1298 vsize=542620 CPUtime=642.24 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 90240 0 0 0 64196 28 0 0 25 0 4 0 519619415 555642880 92961 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=542620 CPUtime=638.81 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 73565 0 0 0 63861 20 0 0 25 0 4 0 519619415 555642880 92961 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=542620 CPUtime=642.29 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 100215 0 0 0 64191 38 0 0 25 0 4 0 519619416 555642880 92961 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.69
Current children cumulated vsize (KiB) 542620

[startup+702.3 s]
/proc/loadavg: 8.12 8.06 8.01 10/184 1354
/proc/meminfo: memFree=27175072/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=595752 CPUtime=2805.35 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 383987 0 0 0 280412 123 0 0 25 0 4 0 519619415 610050048 89866 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 148938 89866 389 106 0 143909 0
[pid=1300/tid=1301] ppid=1298 vsize=595752 CPUtime=702.24 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 96117 0 0 0 70194 30 0 0 25 0 4 0 519619415 610050048 89866 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=595752 CPUtime=698.48 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 80242 0 0 0 69825 23 0 0 25 0 4 0 519619415 610050048 89866 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=595752 CPUtime=702.3 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 107196 0 0 0 70188 42 0 0 25 0 4 0 519619416 610050048 89866 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 595752

[startup+762.3 s]
/proc/loadavg: 8.12 8.08 8.01 10/184 1356
/proc/meminfo: memFree=27175628/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=608624 CPUtime=3045.04 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 405017 0 0 0 304372 132 0 0 25 0 4 0 519619415 623230976 90766 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 152156 90766 389 106 0 147127 0
[pid=1300/tid=1301] ppid=1298 vsize=608624 CPUtime=762.25 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 101176 0 0 0 76192 33 0 0 25 0 4 0 519619415 623230976 90767 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=608624 CPUtime=758.15 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 86369 0 0 0 75791 24 0 0 25 0 4 0 519619415 623230976 90767 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=608624 CPUtime=762.31 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 114981 0 0 0 76186 45 0 0 25 0 4 0 519619416 623230976 90767 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 608624

[startup+822.301 s]
/proc/loadavg: 8.08 8.08 8.01 9/184 1357
/proc/meminfo: memFree=27041776/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=659476 CPUtime=3284.7 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 429590 0 0 0 328330 140 0 0 25 0 4 0 519619415 675303424 107527 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 164869 107527 389 106 0 159840 0
[pid=1300/tid=1301] ppid=1298 vsize=659476 CPUtime=822.23 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 110359 0 0 0 82188 35 0 0 25 0 4 0 519619415 675303424 107527 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=659476 CPUtime=817.83 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 89462 0 0 0 81757 26 0 0 25 0 4 0 519619415 675303424 107527 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=659476 CPUtime=822.3 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 124523 0 0 0 82182 48 0 0 25 0 4 0 519619416 675303424 107527 33554432000 4194304 4627427 140734870387808 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 659476

[startup+882.307 s]
/proc/loadavg: 8.06 8.08 8.01 10/184 1359
/proc/meminfo: memFree=27017128/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=659800 CPUtime=3524.39 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 451827 0 0 0 352289 150 0 0 25 0 4 0 519619415 675635200 115071 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 164950 115071 389 106 0 159921 0
[pid=1300/tid=1301] ppid=1298 vsize=659800 CPUtime=882.23 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 117095 0 0 0 88185 38 0 0 25 0 4 0 519619415 675635200 115071 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=659800 CPUtime=877.51 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 92968 0 0 0 87724 27 0 0 25 0 4 0 519619415 675635200 115071 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=659800 CPUtime=882.31 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 131464 0 0 0 88178 53 0 0 25 0 4 0 519619416 675635200 115071 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 659800

[startup+942.301 s]
/proc/loadavg: 8.05 8.07 8.01 10/184 1361
/proc/meminfo: memFree=26996344/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=661132 CPUtime=3764.05 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 472375 0 0 0 376246 159 0 0 25 0 4 0 519619415 676999168 111361 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 165283 111361 389 106 0 160254 0
[pid=1300/tid=1301] ppid=1298 vsize=661132 CPUtime=942.22 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 120442 0 0 0 94183 39 0 0 25 0 4 0 519619415 676999168 111361 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=661132 CPUtime=937.17 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 99130 0 0 0 93688 29 0 0 25 0 4 0 519619415 676999168 111361 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=661132 CPUtime=942.3 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 134729 0 0 0 94176 54 0 0 25 0 4 0 519619416 676999168 111361 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 661132

[startup+1002.3 s]
/proc/loadavg: 8.05 8.07 8.01 10/184 1362
/proc/meminfo: memFree=26951024/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=779480 CPUtime=4003.72 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 499652 0 0 0 400201 171 0 0 25 0 4 0 519619415 798187520 124100 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 194870 124100 389 106 0 189841 0
[pid=1300/tid=1301] ppid=1298 vsize=779480 CPUtime=1002.22 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 127144 0 0 0 100180 42 0 0 25 0 4 0 519619415 798187520 124100 33554432000 4194304 4627427 140734870387808 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=779480 CPUtime=996.85 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 106385 0 0 0 99653 32 0 0 25 0 4 0 519619415 798187520 124100 33554432000 4194304 4627427 140734870387808 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=779480 CPUtime=1002.31 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 140582 0 0 0 100174 57 0 0 25 0 4 0 519619416 798187520 124100 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.72
Current children cumulated vsize (KiB) 779480

[startup+1062.3 s]
/proc/loadavg: 8.13 8.09 8.02 10/184 1364
/proc/meminfo: memFree=26926636/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=675116 CPUtime=4243.39 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 519338 0 0 0 424161 178 0 0 25 0 4 0 519619415 691318784 126670 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 168779 126670 389 106 0 163750 0
[pid=1300/tid=1301] ppid=1298 vsize=675116 CPUtime=1062.22 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 131212 0 0 0 106178 44 0 0 25 0 4 0 519619415 691318784 126670 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=675116 CPUtime=1056.53 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 113204 0 0 0 105619 34 0 0 25 0 4 0 519619415 691318784 126670 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=675116 CPUtime=1062.31 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 143553 0 0 0 106173 58 0 0 25 0 4 0 519619416 691318784 126670 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 675116

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 8.02 10/184 1365
/proc/meminfo: memFree=26946640/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=609652 CPUtime=4483.07 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 533783 0 0 0 448120 187 0 0 25 0 4 0 519619415 624283648 120141 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 152413 120141 389 106 0 147384 0
[pid=1300/tid=1301] ppid=1298 vsize=609652 CPUtime=1122.22 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 134236 0 0 0 112176 46 0 0 25 0 4 0 519619415 624283648 120141 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=609652 CPUtime=1116.2 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 119152 0 0 0 111583 37 0 0 25 0 4 0 519619415 624283648 120141 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=609652 CPUtime=1122.31 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 148028 0 0 0 112169 62 0 0 25 0 4 0 519619416 624283648 120141 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 609652

[startup+1182.3 s]
/proc/loadavg: 8.11 8.08 8.02 9/184 1367
/proc/meminfo: memFree=26902400/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=739904 CPUtime=4722.74 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 551337 0 0 0 472080 194 0 0 25 0 4 0 519619415 757661696 130619 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 184976 130619 389 106 0 179947 0
[pid=1300/tid=1301] ppid=1298 vsize=739904 CPUtime=1182.21 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 140498 0 0 0 118173 48 0 0 25 0 4 0 519619415 757661696 130619 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=739904 CPUtime=1175.88 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 123868 0 0 0 117548 40 0 0 25 0 4 0 519619415 757661696 130619 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=739904 CPUtime=1182.31 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 151325 0 0 0 118168 63 0 0 25 0 4 0 519619416 757661696 130619 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 739904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.08 8.01 9/184 1367
/proc/meminfo: memFree=26906944/32951124 swapFree=67111356/67111528
[pid=1300] ppid=1298 vsize=688628 CPUtime=4800.24 cores=0,2,4,6
/proc/1300/stat : 1300 (strangenight2-m) R 1298 1300 1030 0 -1 4202496 557422 0 0 0 479827 197 0 0 25 0 4 0 519619415 705155072 129657 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1300/statm: 172157 129657 389 106 0 167128 0
[pid=1300/tid=1301] ppid=1298 vsize=688628 CPUtime=1201.61 cores=0,2,4,6
/proc/1300/task/1301/stat : 1301 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 141700 0 0 0 120113 48 0 0 25 0 4 0 519619415 705155072 129657 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1300/tid=1302] ppid=1298 vsize=688628 CPUtime=1195.16 cores=0,2,4,6
/proc/1300/task/1302/stat : 1302 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 126405 0 0 0 119476 40 0 0 25 0 4 0 519619415 705155072 129657 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1300/tid=1303] ppid=1298 vsize=688628 CPUtime=1201.71 cores=0,2,4,6
/proc/1300/task/1303/stat : 1303 (strangenight2-m) R 1298 1300 1030 0 -1 4202560 153659 0 0 0 120107 64 0 0 25 0 4 0 519619416 705155072 129657 33554432000 4194304 4627427 140734870387808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 688628

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.74
CPU time (s): 4800.31
CPU user time (s): 4798.31
CPU system time (s): 2.00069
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 818344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.31
system time used= 2.00069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557424
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= 502
involuntary context switches= 19907

runsolver used 2.06768 second user time and 4.50631 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 14:30:17
IDJOB=3174058
IDBENCH=82876
IDSOLVER=1586
FILE ID=node137/3174058-1304080217
RUNJOBID= node137-1304077809-1048
PBS_JOBID= 13170515
Free space on /tmp= 71616 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174058-1304080217/watcher-3174058-1304080217 -o /tmp/evaluation-result-3174058-1304080217/solver-3174058-1304080217 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174058-1304080217.cnf

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

MD5SUM BENCH= c1412f649cda4900c9606cccc6bec4a4
RANDOM SEED=1945100452

node137.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.844
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.68
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.844
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.844
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.844
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.844
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.844
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.844
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.83
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.844
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:      27354992 kB
Buffers:        910796 kB
Cached:        3814728 kB
SwapCached:         56 kB
Active:         669820 kB
Inactive:      4461336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27354992 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            5864 kB
Writeback:           0 kB
AnonPages:      405236 kB
Mapped:          15500 kB
Slab:           401316 kB
PageTables:       5924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   660896 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= 71608 MiB
End job on node137 at 2011-04-29 14:50:21