Trace number 3366467

Some explanations

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

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

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

Solver answer on this benchmark

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

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-3366467-1305404703.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.00	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.00	c -- vars added        550
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.01	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     237 undec:      61 neg:     252
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       531      2309         0         0      7037         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.42/0.15	c  N st     8      4917       531      2309         0      4842      7037    124651   no data   no data
1.58/0.42	c  N st    10     11303       531      2309         0      4480      7037     81169   no data   no data
2.38/0.68	c  N st    11     17047       531      2309         0     10106      7037    213641   no data   no data
3.97/1.08	c  F st    12     25001       531      2309         0     12418      7037    279980   no data   no data
3.97/1.08	c  N st    12     25001       531      2309         0     12418      7037    279980   no data   no data
5.16/1.33	c Decided on static restart strategy
5.16/1.33	c  N st    18     30002       531      2309         0     10721      7037    219512   no data   no data
5.16/1.33	c  S st    18     30002       531      2309         0     10721      7037    219512   no data   no data
5.16/1.36	c  S st    18     30507       531      2309         0     11226      7037    232135   no data   no data
5.16/1.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.36	c blocked clauses removed:        9 vars:      2 tried:         531 T: 0.00 s
5.16/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
5.16/1.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.16/1.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.42	c lits-rem:       168  cl-subs:      460  v-elim:      0  v-fix:    0  time:  0.05 s
5.56/1.43	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.01
5.56/1.43	c calculated reachability. Time: 0.00
5.56/1.43	c  N st    18     30507       529      2300         0     10766      7010    218852   no data   no data
7.16/1.83	c  N st    20     37620       529      2300         0     10002      7010    175919   no data   no data
8.77/2.23	c  N st    21     44021       529      2300         0     16292      7010    334630   no data   no data
9.19/2.35	c  S st    22     45760       529      2300         0      9225      7010    138144   no data   no data
9.19/2.38	c  S st    22     46260       529      2300         0      9723      7010    150051   no data   no data
9.19/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
9.19/2.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.19/2.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.40	c lits-rem:        10  cl-subs:       73  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.40	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
9.56/2.40	c vivif2 --  cl tried     9650 cl shrink        0 lits rem          0 time: 0.00
9.56/2.41	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.00
9.56/2.41	c calculated reachability. Time: 0.00
9.56/2.41	c  N st    22     46260       529      2300         0      9650      7010    148046   no data   no data
12.76/3.29	c  N st    23     60657       529      2300         0     13973      7010    245159   no data   no data
15.15/3.89	c  N st    24     69390       529      2300         0     11759      7010    180224   no data   no data
15.15/3.89	c  S st    24     69390       529      2300         0     11759      7010    180224   no data   no data
15.55/3.93	c  S st    24     69891       529      2300         0     12260      7010    192114   no data   no data
15.55/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
15.55/3.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.55/3.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.96	c lits-rem:        26  cl-subs:      205  v-elim:      0  v-fix:    0  time:  0.02 s
15.55/3.96	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
15.55/3.96	c vivif2 --  cl tried    12055 cl shrink        0 lits rem          0 time: 0.00
15.55/3.97	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.01
15.55/3.97	c calculated reachability. Time: 0.00
15.55/3.97	c  N st    24     69891       529      2300         0     12055      7010    187151   no data   no data
20.74/5.28	c  F st    25     87500       529      2300         0     17548      7010    325105   no data   no data
20.74/5.28	c  N st    25     87500       529      2300         0     17548      7010    325105   no data   no data
22.36/5.67	c Decided on static restart strategy
23.52/5.91	c  N st    32     95538       529      2300         0     25469      7010    525775   no data   no data
25.92/6.59	c  N st    34    104839       529      2300         0     21874      7010    409324   no data   no data
25.92/6.59	c  S st    34    104839       529      2300         0     21874      7010    409324   no data   no data
26.33/6.64	c  S st    34    105341       529      2300         0     22374      7010    422010   no data   no data
26.33/6.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.33/6.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.33/6.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.33/6.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.33/6.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.33/6.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
26.33/6.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.33/6.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.33/6.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.11/6.80	c lits-rem:       111  cl-subs:      581  v-elim:      0  v-fix:    0  time:  0.13 s
27.11/6.80	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
27.11/6.80	c vivif2 --  cl tried    21793 cl shrink        0 lits rem          0 time: 0.00
27.11/6.82	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.01
27.11/6.82	c calculated reachability. Time: 0.00
27.11/6.82	c  N st    34    105341       529      2300         0     21793      7010    405853   no data   no data
30.31/7.63	c  N st    35    114939       529      2300         0     17461      7010    266838   no data   no data
35.11/8.89	c  N st    36    129336       529      2300         0     16860      7010    237512   no data   no data
42.28/10.68	c  N st    37    150931       529      2300         0     22321      7010    362170   no data   no data
45.47/11.42	c  S st    38    158014       529      2300         0     29241      7010    548893   no data   no data
45.47/11.49	c  S st    38    158518       529      2300         0     29743      7010    560837   no data   no data
45.47/11.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.87/11.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.87/11.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.87/11.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.87/11.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.87/11.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
45.87/11.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.87/11.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.87/11.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.07/11.89	c lits-rem:       360  cl-subs:     1283  v-elim:      0  v-fix:    0  time:  0.36 s
47.07/11.89	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
47.07/11.89	c vivif2 --  cl tried    28460 cl shrink        0 lits rem          0 time: 0.01
47.47/11.91	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.02
47.47/11.91	c calculated reachability. Time: 0.00
47.47/11.91	c  N st    38    158518       529      2300         0     28460      7010    527597   no data   no data
67.42/16.90	c  N st    39    207107       529      2300         0     23173      7010    342605   no data   no data
80.59/20.22	c  N st    40    237779       529      2300         0     33478      7010    576754   no data   no data
80.59/20.22	c  S st    40    237779       529      2300         0     33478      7010    576754   no data   no data
81.00/20.30	c  S st    40    238283       529      2300         0     33981      7010    588296   no data   no data
81.00/20.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.00/20.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.00/20.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.00/20.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.00/20.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.00/20.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
81.00/20.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.00/20.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.00/20.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.19/21.10	c lits-rem:      1054  cl-subs:     2272  v-elim:      0  v-fix:    0  time:  0.76 s
84.19/21.10	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
84.19/21.11	c vivif2 --  cl tried    31709 cl shrink        0 lits rem          0 time: 0.01
84.19/21.13	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.02
84.19/21.13	c calculated reachability. Time: 0.00
84.19/21.13	c  N st    40    238283       529      2300         0     31709      7010    528527   no data   no data
115.72/29.01	c  F st    41    306252       529      2300         0     33610      7010    527878   no data   no data
115.72/29.01	c  N st    41    306252       529      2300         0     33610      7010    527878   no data   no data
117.72/29.57	c Decided on static restart strategy
129.29/32.43	c  N st    51    334557       529      2300         0     37973      7010    616713   no data   no data
140.06/35.18	c  N st    53    357424       529      2300         0     35935      7010    588240   no data   no data
140.06/35.18	c  S st    53    357424       529      2300         0     35935      7010    588240   no data   no data
140.47/35.27	c  S st    53    357926       529      2300         0     36436      7010    600419   no data   no data
140.47/35.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.47/35.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
140.47/35.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.47/35.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.47/35.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.47/35.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
140.47/35.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
140.47/35.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.47/35.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.06/35.64	c lits-rem:        83  cl-subs:     1135  v-elim:      0  v-fix:    0  time:  0.34 s
142.06/35.64	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
142.06/35.65	c vivif2 --  cl tried    35301 cl shrink        0 lits rem          0 time: 0.01
142.06/35.67	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.02
142.06/35.67	c calculated reachability. Time: 0.00
142.06/35.67	c  N st    53    357926       529      2300         0     35301      7010    570140   no data   no data
158.81/39.82	c  N st    54    390318       529      2300         0     41479      7010    728919   no data   no data
183.57/46.04	c  N st    55    438906       529      2300         0     35317      7010    508588   no data   no data
223.90/56.17	c  N st    56    511790       529      2300         0     48870      7010    859895   no data   no data
239.44/60.01	c  N st    57    536889       529      2300         0     43053      7010    644988   no data   no data
239.44/60.01	c  S st    57    536889       529      2300         0     43053      7010    644988   no data   no data
239.84/60.13	c  S st    57    537395       529      2300         0     43558      7010    656851   no data   no data
239.84/60.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
239.84/60.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
239.84/60.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.84/60.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.84/60.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.84/60.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
239.84/60.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
239.84/60.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
239.84/60.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.23/60.76	c lits-rem:       146  cl-subs:     1748  v-elim:      0  v-fix:    0  time:  0.58 s
242.23/60.76	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
242.23/60.77	c vivif2 --  cl tried    41810 cl shrink        0 lits rem          0 time: 0.01
242.63/60.80	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.03
242.63/60.80	c calculated reachability. Time: 0.00
242.63/60.80	c  N st    57    537395       529      2300         0     41810      7010    612720   no data   no data
353.18/88.54	c  N st    58    701379       529      2300         0     35710      7010    384876   no data   no data
429.01/107.57	c  N st    59    806092       529      2300         0     64765      7010   1095907   no data   no data
429.01/107.57	c  S st    59    806092       529      2300         0     64765      7010   1095907   no data   no data
429.81/107.77	c  S st    59    806593       529      2300         0     65266      7010   1108671   no data   no data
429.81/107.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
429.81/107.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
429.81/107.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
429.81/107.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
429.81/107.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
429.81/107.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
429.81/107.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
430.22/107.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
430.22/107.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.18/110.38	c lits-rem:       445  cl-subs:     3458  v-elim:      0  v-fix:    0  time:  2.53 s
440.18/110.38	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
440.58/110.40	c vivif2 --  cl tried    61808 cl shrink        0 lits rem          0 time: 0.01
440.58/110.46	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.06
440.58/110.46	c calculated reachability. Time: 0.00
440.58/110.46	c  N st    59    806593       529      2300         0     61808      7010   1023330   no data   no data
650.91/163.18	c  F st    60   1071875       529      2300         0     78167      7010   1381464   no data   no data
650.91/163.18	c  N st    60   1071875       529      2300         0     78167      7010   1381464   no data   no data
657.69/164.88	c Decided on static restart strategy
677.25/169.74	c  N st    70   1100181       529      2300         0     61800      7010    874901   no data   no data
710.79/178.17	c  N st    72   1136174       529      2300         0     52066      7010    632669   no data   no data
740.31/185.59	c  N st    73   1168566       529      2300         0     83589      7010   1428357   no data   no data
774.64/194.16	c  N st    74   1209890       529      2300         0     78134      7010   1307747   no data   no data
774.64/194.16	c  S st    74   1209890       529      2300         0     78134      7010   1307747   no data   no data
775.84/194.40	c  S st    74   1210396       529      2300         0     78640      7010   1320353   no data   no data
775.84/194.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
775.84/194.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
775.84/194.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
775.84/194.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
775.84/194.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
775.84/194.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
775.84/194.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
775.84/194.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
776.24/194.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
785.82/196.91	c lits-rem:       821  cl-subs:     2936  v-elim:      0  v-fix:    0  time:  2.41 s
785.82/196.91	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
785.82/196.93	c vivif2 --  cl tried    75704 cl shrink        0 lits rem          0 time: 0.02
785.82/197.01	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.08
786.24/197.01	c calculated reachability. Time: 0.00
786.24/197.01	c  N st    74   1210396       529      2300         0     75704      7010   1252968   no data   no data
861.22/215.87	c  N st    75   1283278       529      2300         0     52077      7010    572995   no data   no data
968.59/242.73	c  N st    76   1392601       529      2300         0     60078      7010    740210   no data   no data
1125.83/282.11	c  N st    77   1556586       529      2300         0     65138      7010    847423   no data   no data
1294.66/324.45	c  N st    78   1710396       529      2300         0    106637      7010   1834215   no data   no data
1294.66/324.45	c  S st    78   1710396       529      2300         0    106637      7010   1834215   no data   no data
1296.25/324.80	c  S st    78   1710902       529      2300         0    107143      7010   1846544   no data   no data
1296.25/324.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1296.25/324.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1296.25/324.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1296.25/324.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1296.25/324.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1296.25/324.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
1296.25/324.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1296.25/324.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1296.65/324.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1355.71/339.75	c lits-rem:      1507  cl-subs:     9859  v-elim:      0  v-fix:    0  time: 14.80 s
1355.71/339.75	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
1355.71/339.78	c vivif2 --  cl tried    97284 cl shrink        0 lits rem          0 time: 0.03
1356.11/339.89	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.10
1356.11/339.89	c calculated reachability. Time: 0.00
1356.11/339.89	c  N st    78   1710902       529      2300         0     97284      7010   1613717   no data   no data
1794.73/449.70	c  N st    79   2079867       529      2300         0    108968      7010   1784590   no data   no data
1929.22/483.50	c  N st    80   2210902       529      2300         0    112861      7010   1822736   no data   no data
1929.22/483.50	c  S st    80   2210902       529      2300         0    112861      7010   1822736   no data   no data
1930.83/483.88	c  S st    80   2211405       529      2300         0    113360      7010   1835008   no data   no data
1930.83/483.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1931.23/483.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
1931.23/483.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1931.23/483.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1931.23/483.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1931.23/483.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
1931.23/483.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1931.23/483.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1931.64/484.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1981.49/496.59	c lits-rem:       392  cl-subs:    11116  v-elim:      0  v-fix:    0  time: 12.56 s
1981.49/496.59	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
1981.89/496.61	c vivif2 --  cl tried   102244 cl shrink        0 lits rem          0 time: 0.02
1982.29/496.72	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.11
1982.29/496.72	c calculated reachability. Time: 0.00
1982.29/496.72	c  N st    80   2211405       529      2300         0    102244      7010   1592130   no data   no data
2596.12/650.58	c  N st    81   2711409       529      2300         0    125728      7010   2094689   no data   no data
2596.12/650.58	c  S st    81   2711409       529      2300         0    125728      7010   2094689   no data   no data
2598.12/651.02	c  S st    81   2711913       529      2300         0    126232      7010   2107084   no data   no data
2598.12/651.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2598.12/651.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
2598.12/651.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2598.12/651.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2598.12/651.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2598.12/651.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
2598.12/651.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2598.52/651.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2598.52/651.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2666.75/668.26	c lits-rem:       651  cl-subs:    10774  v-elim:      0  v-fix:    0  time: 17.08 s
2666.75/668.27	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
2666.75/668.29	c vivif2 --  cl tried   115458 cl shrink        0 lits rem          0 time: 0.03
2667.55/668.42	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.12
2667.55/668.42	c calculated reachability. Time: 0.00
2667.55/668.42	c  N st    81   2711913       529      2300         0    115458      7010   1863987   no data   no data
3319.65/831.83	c  N st    82   3211914       529      2300         0     91676      7010   1139814   no data   no data
3319.65/831.83	c  S st    82   3211914       529      2300         0     91676      7010   1139814   no data   no data
3320.85/832.10	c  S st    82   3212418       529      2300         0     92179      7010   1151921   no data   no data
3320.85/832.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3320.85/832.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3320.85/832.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3320.85/832.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3320.85/832.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3320.85/832.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
3320.85/832.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3320.85/832.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3321.25/832.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3326.04/833.40	c lits-rem:       230  cl-subs:     2039  v-elim:      0  v-fix:    0  time:  1.19 s
3326.04/833.40	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
3326.04/833.42	c vivif2 --  cl tried    90140 cl shrink        0 lits rem          0 time: 0.02
3326.44/833.51	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.09
3326.44/833.51	c calculated reachability. Time: 0.00
3326.44/833.51	c  N st    82   3212418       529      2300         0     90140      7010   1101379   no data   no data
3995.34/1001.17	c  N st    83   3712418       529      2300         0    101020      7010   1279797   no data   no data
3995.34/1001.17	c  S st    83   3712418       529      2300         0    101020      7010   1279797   no data   no data
3996.90/1001.53	c  S st    83   3712924       529      2300         0    101526      7010   1293107   no data   no data
3996.90/1001.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3997.30/1001.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3997.30/1001.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3997.30/1001.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3997.30/1001.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3997.30/1001.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    529 time:  0.00 s
3997.30/1001.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3997.30/1001.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3997.30/1001.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4010.07/1004.85	c lits-rem:       429  cl-subs:     2629  v-elim:      0  v-fix:    0  time:  3.18 s
4010.07/1004.85	c vivif2 --  cl tried     2300 cl shrink        0 lits rem          0 time: 0.00
4010.07/1004.87	c vivif2 --  cl tried    98897 cl shrink        0 lits rem          0 time: 0.02
4010.87/1005.01	c asymm  cl-useful: 0/2300/2300 lits-rem:0 time: 0.14
4010.87/1005.01	c calculated reachability. Time: 0.00
4010.87/1005.01	c  N st    83   3712924       529      2300         0     98897      7010   1228546   no data   no data
4071.92/1020.35	c  F st    84   3751562       529      2300         0    136581      7010   2244866   no data   no data
4071.92/1020.36	c  N st    84   3751562       529      2300         0    136581      7010   2244866   no data   no data
4115.42/1031.28	c  N dy   127   3771603       529      2300         0    156252      7010   2724672     16.54     17.43
4160.12/1042.43	c  N dy   184   3792797       529      2300         0     94014      7010    991087     16.22     17.17
4195.65/1051.35	c  N dy   285   3813761       529      2300         0    114594      7010   1485289     16.46     17.44
4235.96/1061.51	c  N dy   368   3833765       529      2300         0    134295      7010   1959626     16.51     17.50
4295.81/1076.40	c  N dy   460   3856822       529      2300         0    156870      7010   2494629     16.52     17.39
4343.31/1088.30	c  N dy   546   3878653       529      2300         0     94142      7010    958944     16.57     17.66
4380.42/1097.63	c  N dy   656   3898713       529      2300         0    113900      7010   1444824     16.67     18.53
4421.92/1108.08	c  N dy   720   3919593       529      2300         0    134404      7010   1940830     16.64     17.59
4471.80/1120.51	c  N dy   806   3940146       529      2300         0    154609      7010   2429190     16.66     17.58
4524.09/1133.66	c  N dy   886   3960216       529      2300         0     88975      7010    802131     16.65     18.83
4556.41/1141.73	c  N dy   974   3980402       529      2300         0    108836      7010   1287193     16.67     17.68
4594.73/1151.35	c  N dy   995   4001214       529      2300         0    129220      7010   1762409     16.57     17.67
4640.23/1162.76	c  N dy  1057   4021314       529      2300         0    148969      7010   2231600     16.56     19.69
4695.30/1176.52	c  N dy  1150   4041357       529      2300         0    168695      7010   2712433     16.59     17.84
4731.22/1185.52	c  N dy  1173   4061393       529      2300         0    101876      7010   1062073     16.50     19.07
4775.12/1196.51	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: 961)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.81 7.93 7.70 5/298 2350
/proc/meminfo: memFree=12960012/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 652069939 52396032 348 33554432000 4194304 4580107 140736431939504 18446744073709551615 47207880931250 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 12792 348 299 95 0 7774 0
[pid=2350/tid=2351] ppid=2348 vsize=216736 CPUtime=0 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 167 0 0 0 0 0 0 0 25 0 4 0 652069939 221937664 1010 33554432000 4194304 4580107 140736431939504 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=216736 CPUtime=0 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 111 0 0 0 0 0 0 0 25 0 4 0 652069939 221937664 1012 33554432000 4194304 4580107 140736431939504 18446744073709551615 208080337390 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=216736 CPUtime=0 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 146 0 0 0 0 0 0 0 25 0 4 0 652069939 221937664 1012 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.11082 s]
/proc/loadavg: 7.81 7.93 7.70 5/298 2350
/proc/meminfo: memFree=12960012/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=217180 CPUtime=0.42 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 1742 0 0 0 42 0 0 0 25 0 4 0 652069939 222392320 1661 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 54295 1662 377 95 0 49277 0
[pid=2350/tid=2351] ppid=2348 vsize=217180 CPUtime=0.1 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 342 0 0 0 10 0 0 0 25 0 4 0 652069939 222392320 1662 33554432000 4194304 4580107 140736431939504 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=217180 CPUtime=0.1 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 316 0 0 0 10 0 0 0 25 0 4 0 652069939 222392320 1662 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=217180 CPUtime=0.1 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 285 0 0 0 10 0 0 0 25 0 4 0 652069939 222392320 1662 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 217180

[startup+0.200803 s]
/proc/loadavg: 7.81 7.93 7.70 5/298 2350
/proc/meminfo: memFree=12960012/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=218556 CPUtime=0.78 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 2371 0 0 0 78 0 0 0 25 0 4 0 652069939 223801344 1693 33554432000 4194304 4580107 140736431939504 18446744073709551615 4322556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 54639 1693 377 95 0 49621 0
[pid=2350/tid=2351] ppid=2348 vsize=218556 CPUtime=0.19 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 510 0 0 0 19 0 0 0 25 0 4 0 652069939 223801344 1693 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=218556 CPUtime=0.18 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 474 0 0 0 18 0 0 0 25 0 4 0 652069939 223801344 1693 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=218556 CPUtime=0.19 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 434 0 0 0 19 0 0 0 25 0 4 0 652069939 223801344 1693 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 218556

[startup+0.300784 s]
/proc/loadavg: 7.81 7.93 7.70 5/298 2350
/proc/meminfo: memFree=12960012/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=218700 CPUtime=1.18 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 2792 0 0 0 118 0 0 0 25 0 4 0 652069939 223948800 2114 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 54675 2114 377 95 0 49657 0
[pid=2350/tid=2351] ppid=2348 vsize=218700 CPUtime=0.29 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 621 0 0 0 29 0 0 0 25 0 4 0 652069939 223948800 2114 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=218700 CPUtime=0.28 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 576 0 0 0 28 0 0 0 25 0 4 0 652069939 223948800 2114 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=218700 CPUtime=0.29 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 547 0 0 0 29 0 0 0 25 0 4 0 652069939 223948800 2114 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 218700

[startup+0.700708 s]
/proc/loadavg: 7.81 7.93 7.70 5/298 2350
/proc/meminfo: memFree=12960012/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=219648 CPUtime=2.78 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 4395 0 0 0 278 0 0 0 25 0 4 0 652069939 224919552 2820 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 54912 2820 377 95 0 49894 0
[pid=2350/tid=2351] ppid=2348 vsize=219648 CPUtime=0.69 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 1030 0 0 0 69 0 0 0 25 0 4 0 652069939 224919552 2820 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=219648 CPUtime=0.68 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 990 0 0 0 68 0 0 0 25 0 4 0 652069939 224919552 2820 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=219648 CPUtime=0.69 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 944 0 0 0 69 0 0 0 25 0 4 0 652069939 224919552 2820 33554432000 4194304 4580107 140736431939504 18446744073709551615 4324255 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 219648

[startup+1.50056 s]
/proc/loadavg: 7.81 7.93 7.70 9/302 2354
/proc/meminfo: memFree=12948076/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=226852 CPUtime=5.97 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 8896 0 0 0 596 1 0 0 25 0 4 0 652069939 232296448 4791 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 56713 4791 379 95 0 51695 0
[pid=2350/tid=2351] ppid=2348 vsize=226852 CPUtime=1.49 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 1822 0 0 0 149 0 0 0 25 0 4 0 652069939 232296448 4792 33554432000 4194304 4580107 140736431939504 18446744073709551615 4323158 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=226852 CPUtime=1.47 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 1754 0 0 0 147 0 0 0 25 0 4 0 652069939 232296448 4792 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=226852 CPUtime=1.49 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 1724 0 0 0 149 0 0 0 25 0 4 0 652069939 232296448 4792 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 226852

[startup+3.10025 s]
/proc/loadavg: 7.82 7.93 7.70 9/302 2354
/proc/meminfo: memFree=12937548/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=226088 CPUtime=12.35 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 17724 0 0 0 1233 2 0 0 25 0 4 0 652069939 231514112 9315 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 56522 9315 379 95 0 51504 0
[pid=2350/tid=2351] ppid=2348 vsize=226088 CPUtime=3.09 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 4101 0 0 0 309 0 0 0 25 0 4 0 652069939 231514112 9315 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=226088 CPUtime=3.06 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 4568 0 0 0 306 0 0 0 19 0 4 0 652069939 231514112 9315 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=226088 CPUtime=3.08 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 4244 0 0 0 308 0 0 0 25 0 4 0 652069939 231514112 9315 33554432000 4194304 4580107 140736431939504 18446744073709551615 4318850 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 226088

[startup+6.30064 s]
/proc/loadavg: 7.82 7.93 7.70 9/302 2354
/proc/meminfo: memFree=12900468/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=233204 CPUtime=25.12 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 27220 0 0 0 2509 3 0 0 25 0 4 0 652069939 238800896 13532 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 58301 13532 379 95 0 53283 0
[pid=2350/tid=2351] ppid=2348 vsize=233204 CPUtime=6.28 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 7289 0 0 0 628 0 0 0 25 0 4 0 652069939 238800896 13532 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=233204 CPUtime=6.24 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 7552 0 0 0 623 1 0 0 25 0 4 0 652069939 238800896 13532 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=233204 CPUtime=6.28 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 5512 0 0 0 628 0 0 0 25 0 4 0 652069939 238800896 13532 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 233204

[startup+12.7004 s]
/proc/loadavg: 7.93 7.95 7.71 9/302 2354
/proc/meminfo: memFree=12862456/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=235484 CPUtime=50.66 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 42280 0 0 0 5060 6 0 0 25 0 4 0 652069939 241135616 21189 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293704 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 58871 21190 379 95 0 53853 0
[pid=2350/tid=2351] ppid=2348 vsize=235484 CPUtime=12.68 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 11529 0 0 0 1267 1 0 0 25 0 4 0 652069939 241135616 21190 33554432000 4194304 4580107 140736431939504 18446744073709551615 4322556 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=235484 CPUtime=12.57 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 9774 0 0 0 1256 1 0 0 25 0 4 0 652069939 241135616 21190 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=235484 CPUtime=12.68 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 8717 0 0 0 1267 1 0 0 25 0 4 0 652069939 241135616 21190 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 235484

[startup+25.501 s]
/proc/loadavg: 7.94 7.95 7.71 9/302 2355
/proc/meminfo: memFree=12829724/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=244728 CPUtime=101.74 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 58525 0 0 0 10163 11 0 0 25 0 4 0 652069939 250601472 25335 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 61182 25335 379 95 0 56164 0
[pid=2350/tid=2351] ppid=2348 vsize=244728 CPUtime=25.49 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 16326 0 0 0 2546 3 0 0 25 0 4 0 652069939 250601472 25335 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=244728 CPUtime=25.25 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 13118 0 0 0 2524 1 0 0 25 0 4 0 652069939 250601472 25335 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=244728 CPUtime=25.48 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 11376 0 0 0 2546 2 0 0 25 0 4 0 652069939 250601472 25335 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 244728

[startup+51.1011 s]
/proc/loadavg: 8.02 7.97 7.73 9/302 2355
/proc/meminfo: memFree=12779856/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=333244 CPUtime=203.92 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 84637 0 0 0 20372 20 0 0 25 0 4 0 652069939 341241856 36156 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 83311 36156 379 95 0 78293 0
[pid=2350/tid=2351] ppid=2348 vsize=333244 CPUtime=51.09 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 24201 0 0 0 5102 7 0 0 25 0 4 0 652069939 341241856 36156 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=333244 CPUtime=50.63 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 16132 0 0 0 5060 3 0 0 25 0 4 0 652069939 341241856 36156 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=333244 CPUtime=51.09 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 19856 0 0 0 5105 4 0 0 25 0 4 0 652069939 341241856 36156 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 333244

[startup+102.3 s]
/proc/loadavg: 8.05 7.99 7.74 9/302 2357
/proc/meminfo: memFree=12691172/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=344616 CPUtime=408.27 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 114931 0 0 0 40794 33 0 0 25 0 4 0 652069939 352886784 46336 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 86154 46336 379 95 0 81136 0
[pid=2350/tid=2351] ppid=2348 vsize=344616 CPUtime=102.3 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 33965 0 0 0 10218 12 0 0 25 0 4 0 652069939 352886784 46337 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=344616 CPUtime=101.36 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 18646 0 0 0 10132 4 0 0 25 0 4 0 652069939 352886784 46337 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=344616 CPUtime=102.29 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 34949 0 0 0 10219 10 0 0 25 0 4 0 652069939 352886784 46337 33554432000 4194304 4580107 140736431939504 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 344616

[startup+162.301 s]

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

[pid=2350] ppid=2348 vsize=521724 CPUtime=2802.84 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 330503 0 0 0 280146 138 0 0 25 0 4 0 652069939 534245376 97655 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 130431 97655 379 95 0 125413 0
[pid=2350/tid=2351] ppid=2348 vsize=521724 CPUtime=702.31 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 85745 0 0 0 70195 36 0 0 25 0 4 0 652069939 534245376 97655 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=521724 CPUtime=695.88 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 67594 0 0 0 69560 28 0 0 25 0 4 0 652069939 534245376 97655 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=521724 CPUtime=702.31 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 118119 0 0 0 70179 52 0 0 25 0 4 0 652069939 534245376 97655 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.84
Current children cumulated vsize (KiB) 521724

[startup+762.301 s]
/proc/loadavg: 8.09 8.11 7.92 9/302 2375
/proc/meminfo: memFree=12340272/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=460308 CPUtime=3042.32 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 349810 0 0 0 304085 147 0 0 25 0 4 0 652069939 471355392 95044 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 115077 95044 379 95 0 110059 0
[pid=2350/tid=2351] ppid=2348 vsize=460308 CPUtime=762.32 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 89715 0 0 0 76194 38 0 0 25 0 4 0 652069939 471355392 95044 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=460308 CPUtime=755.33 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 73839 0 0 0 75502 31 0 0 25 0 4 0 652069939 471355392 95044 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=460308 CPUtime=762.32 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 126271 0 0 0 76177 55 0 0 25 0 4 0 652069939 471355392 95045 33554432000 4194304 4580107 140736431939504 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.32
Current children cumulated vsize (KiB) 460308

[startup+822.301 s]
/proc/loadavg: 8.13 8.12 7.93 9/302 2377
/proc/meminfo: memFree=12283468/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=658780 CPUtime=3281.74 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 367453 0 0 0 328019 155 0 0 25 0 4 0 652069939 674590720 107896 33554432000 4194304 4580107 140736431939504 18446744073709551615 4296107 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 164695 107896 379 95 0 159677 0
[pid=2350/tid=2351] ppid=2348 vsize=658780 CPUtime=822.32 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 93656 0 0 0 82191 41 0 0 25 0 4 0 652069939 674590720 107896 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=658780 CPUtime=814.76 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 77022 0 0 0 81443 33 0 0 25 0 4 0 652069939 674590720 107896 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=658780 CPUtime=822.31 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 136104 0 0 0 82173 58 0 0 25 0 4 0 652069939 674590720 107896 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.74
Current children cumulated vsize (KiB) 658780

[startup+882.312 s]
/proc/loadavg: 8.13 8.12 7.94 9/302 2378
/proc/meminfo: memFree=12248468/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=646216 CPUtime=3521.23 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 389478 0 0 0 351955 168 0 0 25 0 4 0 652069939 661725184 113074 33554432000 4194304 4580107 140736431939504 18446744073709551615 4304880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 161554 113074 379 95 0 156536 0
[pid=2350/tid=2351] ppid=2348 vsize=646216 CPUtime=882.33 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 101121 0 0 0 88189 44 0 0 25 0 4 0 652069939 661725184 113074 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=646216 CPUtime=874.2 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 83541 0 0 0 87383 37 0 0 25 0 4 0 652069939 661725184 113074 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=646216 CPUtime=882.32 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 143333 0 0 0 88169 63 0 0 25 0 4 0 652069939 661725184 113074 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.23
Current children cumulated vsize (KiB) 646216

[startup+942.3 s]
/proc/loadavg: 8.17 8.13 7.95 9/302 2380
/proc/meminfo: memFree=12216344/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=622804 CPUtime=3760.64 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 406793 0 0 0 375885 179 0 0 25 0 4 0 652069939 637751296 116370 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 155701 116370 379 95 0 150683 0
[pid=2350/tid=2351] ppid=2348 vsize=622804 CPUtime=942.32 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 104374 0 0 0 94185 47 0 0 25 0 4 0 652069939 637751296 116370 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=622804 CPUtime=933.65 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 86743 0 0 0 93326 39 0 0 25 0 4 0 652069939 637751296 116370 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=622804 CPUtime=942.32 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 150268 0 0 0 94164 68 0 0 25 0 4 0 652069939 637751296 116370 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.64
Current children cumulated vsize (KiB) 622804

[startup+1002.3 s]
/proc/loadavg: 8.16 8.13 7.96 9/302 2382
/proc/meminfo: memFree=12191024/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=609940 CPUtime=4000.09 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 422701 0 0 0 399820 189 0 0 25 0 4 0 652069939 624578560 119438 33554432000 4194304 4580107 140736431939504 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 152485 119438 379 95 0 147467 0
[pid=2350/tid=2351] ppid=2348 vsize=609940 CPUtime=1002.32 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 109145 0 0 0 100182 50 0 0 25 0 4 0 652069939 624578560 119438 33554432000 4194304 4580107 140736431939504 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=609940 CPUtime=993.09 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 87833 0 0 0 99269 40 0 0 25 0 4 0 652069939 624578560 119438 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=609940 CPUtime=1002.32 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 159691 0 0 0 100159 73 0 0 25 0 4 0 652069939 624578560 119438 33554432000 4194304 4580107 140736431939504 18446744073709551615 4322642 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.09
Current children cumulated vsize (KiB) 609940

[startup+1062.3 s]
/proc/loadavg: 8.11 8.12 7.97 9/302 2383
/proc/meminfo: memFree=12162868/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=623224 CPUtime=4239.54 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 435646 0 0 0 423757 197 0 0 25 0 4 0 652069939 638181376 121052 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 155806 121052 379 95 0 150788 0
[pid=2350/tid=2351] ppid=2348 vsize=623224 CPUtime=1062.33 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 110205 0 0 0 106182 51 0 0 25 0 4 0 652069939 638181376 121052 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=623224 CPUtime=1052.54 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 94199 0 0 0 105212 42 0 0 25 0 4 0 652069939 638181376 121052 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=623224 CPUtime=1062.32 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 164992 0 0 0 106155 77 0 0 25 0 4 0 652069939 638181376 121052 33554432000 4194304 4580107 140736431939504 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.54
Current children cumulated vsize (KiB) 623224

[startup+1122.3 s]
/proc/loadavg: 8.13 8.12 7.98 9/302 2385
/proc/meminfo: memFree=12146976/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=623408 CPUtime=4478.98 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 451637 0 0 0 447691 207 0 0 25 0 4 0 652069939 638369792 119281 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294487 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 155852 119281 379 95 0 150834 0
[pid=2350/tid=2351] ppid=2348 vsize=623408 CPUtime=1122.33 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 113651 0 0 0 112179 54 0 0 25 0 4 0 652069939 638369792 119281 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=623408 CPUtime=1111.97 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 100029 0 0 0 111151 46 0 0 25 0 4 0 652069939 638369792 119281 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=623408 CPUtime=1122.32 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 171702 0 0 0 112151 81 0 0 25 0 4 0 652069939 638369792 119281 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.98
Current children cumulated vsize (KiB) 623408

[startup+1182.3 s]
/proc/loadavg: 7.01 7.87 7.90 5/293 2404
/proc/meminfo: memFree=12641580/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=610196 CPUtime=4718.46 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 465606 0 0 0 471632 214 0 0 25 0 4 0 652069939 624840704 122515 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 152549 122515 379 95 0 147531 0
[pid=2350/tid=2351] ppid=2348 vsize=610196 CPUtime=1182.34 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 119190 0 0 0 118178 56 0 0 25 0 4 0 652069939 624840704 122515 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=610196 CPUtime=1171.43 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 102338 0 0 0 117096 47 0 0 25 0 4 0 652069939 624840704 122515 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=610196 CPUtime=1182.32 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 177708 0 0 0 118148 84 0 0 25 0 4 0 652069939 624840704 122515 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.46
Current children cumulated vsize (KiB) 610196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 5.98 7.56 7.80 5/293 2405
/proc/meminfo: memFree=12623848/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=675732 CPUtime=4800.27 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 470688 0 0 0 479811 216 0 0 25 0 4 0 652069939 691949568 126883 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 168933 126883 379 95 0 163915 0
[pid=2350/tid=2351] ppid=2348 vsize=675732 CPUtime=1202.84 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 120394 0 0 0 120228 56 0 0 25 0 4 0 652069939 691949568 126884 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=675732 CPUtime=1191.74 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 104058 0 0 0 119126 48 0 0 25 0 4 0 652069939 691949568 126884 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=675732 CPUtime=1202.83 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 179867 0 0 0 120198 85 0 0 25 0 4 0 652069939 691949568 126884 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 675732

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

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

[startup+1202.8 s]
/proc/loadavg: 5.98 7.56 7.80 5/293 2405
/proc/meminfo: memFree=12623848/32950928 swapFree=67083212/67111528
[pid=2350] ppid=2348 vsize=675732 CPUtime=4800.27 cores=1,3,5,7
/proc/2350/stat : 2350 (strangenight2-m) R 2348 2350 1603 0 -1 4202496 470688 0 0 0 479811 216 0 0 25 0 4 0 652069939 691949568 126883 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2350/statm: 168933 126883 379 95 0 163915 0
[pid=2350/tid=2351] ppid=2348 vsize=675732 CPUtime=1202.84 cores=1,3,5,7
/proc/2350/task/2351/stat : 2351 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 120394 0 0 0 120228 56 0 0 25 0 4 0 652069939 691949568 126884 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2350/tid=2352] ppid=2348 vsize=675732 CPUtime=1191.74 cores=1,3,5,7
/proc/2350/task/2352/stat : 2352 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 104058 0 0 0 119126 48 0 0 25 0 4 0 652069939 691949568 126884 33554432000 4194304 4580107 140736431939504 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2350/tid=2353] ppid=2348 vsize=675732 CPUtime=1202.83 cores=1,3,5,7
/proc/2350/task/2353/stat : 2353 (strangenight2-m) R 2348 2350 1603 0 -1 4202560 179867 0 0 0 120198 85 0 0 25 0 4 0 652069939 691949568 126884 33554432000 4194304 4580107 140736431939504 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 675732

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.35
CPU user time (s): 4798.16
CPU system time (s): 2.19267
CPU usage (%): 399.085
Max. virtual memory (cumulated for all children) (KiB): 779456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.16
system time used= 2.19267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470691
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= 170
involuntary context switches= 32000

runsolver used 3.00454 second user time and 8.10877 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-14 22:25:03
IDJOB=3366467
IDBENCH=82876
IDSOLVER=1844
FILE ID=node127/3366467-1305404703
RUNJOBID= node127-1305404657-2265
PBS_JOBID= 13324449
Free space on /tmp= 73472 MiB

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

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

MD5SUM BENCH= c1412f649cda4900c9606cccc6bec4a4
RANDOM SEED=1521567308

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12960300 kB
Buffers:        288744 kB
Cached:        3365056 kB
SwapCached:       1620 kB
Active:       16987724 kB
Inactive:      2666768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12960300 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:            7312 kB
Writeback:           0 kB
AnonPages:    15998984 kB
Mapped:          26608 kB
Slab:           226120 kB
PageTables:      46704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44611276 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= 73472 MiB
End job on node127 at 2011-05-14 22:45:08