Trace number 3366321

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.38 1203.04

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf
MD5SUM7bcc4ef0cfce2800562872a802fb17f2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark619.499
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366321-1305401693.cnf'
0.00/0.01	c -- header says num vars:            500
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 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.37/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.37/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.15	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
0.37/0.15	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.15	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.15	c calculated reachability. Time: 0.00
0.37/0.15	c Calc default polars -  time:   0.00 s pos:     245 undec:      47 neg:     208
0.37/0.15	c =========================================================================================
0.37/0.15	c types(t): F = full restart, N = normal restart
0.37/0.15	c types(t): S = simplification begin/end, E = solution found
0.37/0.15	c restart types(rt): st = static, dy = dynamic
0.37/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.15	c  B st     0         0       486      2116         0         0      6439         0   no data   no data
0.37/0.15	c Decided on static restart strategy
3.16/0.80	c  N st     8      4920       486      2116         0      4845      6439    107535   no data   no data
3.16/0.80	c  N st    10     11303       486      2116         0      4479      6439     72695   no data   no data
3.16/0.80	c  N st    11     17046       486      2116         0     10094      6439    205556   no data   no data
4.00/1.10	c  F st    12     25000       486      2116         0     12416      6439    264692   no data   no data
4.00/1.10	c  N st    12     25000       486      2116         0     12416      6439    264692   no data   no data
5.16/1.34	c Decided on static restart strategy
5.16/1.34	c  N st    18     30000       486      2116         0     10670      6439    195122   no data   no data
5.16/1.34	c  S st    18     30000       486      2116         0     10670      6439    195122   no data   no data
5.16/1.37	c  S st    18     30501       486      2116         0     11170      6439    206062   no data   no data
5.16/1.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.37	c blocked clauses removed:        9 vars:      2 tried:         486 T: 0.00 s
5.16/1.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
5.16/1.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.42	c lits-rem:       100  cl-subs:      381  v-elim:      0  v-fix:    0  time:  0.04 s
5.55/1.43	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.01
5.55/1.43	c calculated reachability. Time: 0.00
5.55/1.43	c  N st    18     30501       484      2107         0     10772      6412    196078   no data   no data
7.16/1.86	c  N st    20     37615       484      2107         0     10014      6412    160667   no data   no data
8.79/2.22	c  N st    21     44014       484      2107         0     16260      6412    300300   no data   no data
9.15/2.32	c  S st    22     45751       484      2107         0      9244      6412    127550   no data   no data
9.15/2.35	c  S st    22     46256       484      2107         0      9749      6412    138637   no data   no data
9.15/2.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.15/2.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.15/2.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.15/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
9.15/2.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.15/2.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.15/2.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.37	c lits-rem:        10  cl-subs:       84  v-elim:      0  v-fix:    0  time:  0.01 s
9.15/2.37	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
9.15/2.37	c vivif2 --  cl tried     9665 cl shrink        0 lits rem          0 time: 0.00
9.15/2.37	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.01
9.15/2.37	c calculated reachability. Time: 0.00
9.15/2.37	c  N st    22     46256       484      2107         0      9665      6412    136780   no data   no data
12.78/3.28	c  N st    23     60653       484      2107         0     14022      6412    228882   no data   no data
15.54/3.92	c  N st    24     69387       484      2107         0     11808      6412    169728   no data   no data
15.54/3.92	c  S st    24     69387       484      2107         0     11808      6412    169728   no data   no data
15.54/3.95	c  S st    24     69893       484      2107         0     12314      6412    180760   no data   no data
15.54/3.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.54/3.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.54/3.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
15.54/3.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.54/3.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.54/3.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.98	c lits-rem:        71  cl-subs:      115  v-elim:      0  v-fix:    0  time:  0.02 s
15.54/3.98	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
15.54/3.98	c vivif2 --  cl tried    12199 cl shrink        0 lits rem          0 time: 0.00
15.54/3.99	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.01
15.54/3.99	c calculated reachability. Time: 0.00
15.54/3.99	c  N st    24     69893       484      2107         0     12199      6412    177688   no data   no data
20.73/5.28	c  F st    25     87500       484      2107         0     17642      6412    301771   no data   no data
20.73/5.28	c  N st    25     87500       484      2107         0     17642      6412    301771   no data   no data
22.72/5.70	c Decided on static restart strategy
23.52/5.96	c  N st    32     95537       484      2107         0     25566      6412    505137   no data   no data
26.35/6.63	c  N st    34    104841       484      2107         0     21916      6412    383012   no data   no data
26.35/6.63	c  S st    34    104841       484      2107         0     21916      6412    383012   no data   no data
26.35/6.69	c  S st    34    105342       484      2107         0     22416      6412    394349   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.70/6.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.70/6.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.70/6.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.70/6.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.70/6.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
26.70/6.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.70/6.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.70/6.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.10/6.89	c lits-rem:       163  cl-subs:      920  v-elim:      0  v-fix:    0  time:  0.18 s
27.10/6.89	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
27.50/6.90	c vivif2 --  cl tried    21496 cl shrink        0 lits rem          0 time: 0.00
27.50/6.91	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.01
27.50/6.91	c calculated reachability. Time: 0.00
27.50/6.91	c  N st    34    105342       484      2107         0     21496      6412    370675   no data   no data
30.73/7.74	c  N st    35    114940       484      2107         0     17213      6412    243879   no data   no data
35.89/9.07	c  N st    36    129337       484      2107         0     16665      6412    219719   no data   no data
43.50/10.91	c  N st    37    150933       484      2107         0     22089      6412    333449   no data   no data
45.87/11.56	c  S st    38    158013       484      2107         0     28971      6412    490071   no data   no data
46.27/11.63	c  S st    38    158515       484      2107         0     29473      6412    501194   no data   no data
46.27/11.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.27/11.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.27/11.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.27/11.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.27/11.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.27/11.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
46.27/11.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.27/11.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.27/11.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.89/12.04	c lits-rem:       359  cl-subs:     1513  v-elim:      0  v-fix:    0  time:  0.38 s
47.89/12.04	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
47.89/12.05	c vivif2 --  cl tried    27960 cl shrink        0 lits rem          0 time: 0.01
47.89/12.06	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.02
47.89/12.07	c calculated reachability. Time: 0.00
47.89/12.07	c  N st    38    158515       484      2107         0     27960      6412    467546   no data   no data
67.41/16.91	c  N st    39    207103       484      2107         0     22662      6412    310573   no data   no data
80.58/20.27	c  N st    40    237772       484      2107         0     33053      6412    519425   no data   no data
80.58/20.27	c  S st    40    237772       484      2107         0     33053      6412    519425   no data   no data
80.98/20.35	c  S st    40    238282       484      2107         0     33563      6412    530871   no data   no data
80.98/20.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.98/20.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.98/20.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.98/20.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.98/20.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.98/20.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
80.98/20.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.98/20.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.98/20.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.41/20.94	c lits-rem:       163  cl-subs:     2219  v-elim:      0  v-fix:    0  time:  0.55 s
83.41/20.94	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
83.41/20.94	c vivif2 --  cl tried    31344 cl shrink        0 lits rem          0 time: 0.01
83.41/20.96	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.02
83.41/20.96	c calculated reachability. Time: 0.00
83.41/20.96	c  N st    40    238282       484      2107         0     31344      6412    483827   no data   no data
115.31/28.96	c  F st    41    306250       484      2107         0     33301      6412    488278   no data   no data
115.31/28.96	c  N st    41    306250       484      2107         0     33301      6412    488278   no data   no data
117.71/29.60	c Decided on static restart strategy
129.26/32.42	c  N st    51    334552       484      2107         0     37539      6412    574397   no data   no data
141.24/35.41	c  N st    53    357423       484      2107         0     35445      6412    515743   no data   no data
141.24/35.41	c  S st    53    357423       484      2107         0     35445      6412    515743   no data   no data
141.24/35.49	c  S st    53    357925       484      2107         0     35947      6412    526508   no data   no data
141.24/35.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.64/35.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
141.64/35.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.64/35.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.64/35.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.64/35.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
141.64/35.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
141.64/35.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.64/35.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.84/35.86	c lits-rem:       237  cl-subs:     1354  v-elim:      0  v-fix:    0  time:  0.33 s
142.84/35.86	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
142.84/35.86	c vivif2 --  cl tried    34593 cl shrink        0 lits rem          0 time: 0.01
142.84/35.88	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.02
142.84/35.89	c calculated reachability. Time: 0.00
142.84/35.89	c  N st    53    357925       484      2107         0     34593      6412    496245   no data   no data
160.40/40.27	c  N st    54    390321       484      2107         0     40798      6412    622105   no data   no data
185.53/46.51	c  N st    55    438909       484      2107         0     34528      6412    436649   no data   no data
227.88/57.15	c  N st    56    511791       484      2107         0     48038      6412    751210   no data   no data
243.40/61.01	c  N st    57    536887       484      2107         0     42394      6412    602918   no data   no data
243.40/61.01	c  S st    57    536887       484      2107         0     42394      6412    602918   no data   no data
243.80/61.13	c  S st    57    537391       484      2107         0     42897      6412    614983   no data   no data
243.80/61.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.80/61.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
243.80/61.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.80/61.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.80/61.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.80/61.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
243.80/61.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
243.80/61.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.80/61.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.83/61.63	c lits-rem:       135  cl-subs:     1389  v-elim:      0  v-fix:    0  time:  0.46 s
245.83/61.63	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
245.83/61.64	c vivif2 --  cl tried    41508 cl shrink        0 lits rem          0 time: 0.01
245.83/61.67	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.03
245.83/61.67	c calculated reachability. Time: 0.00
245.83/61.67	c  N st    57    537391       484      2107         0     41508      6412    580841   no data   no data
357.54/89.68	c  N st    58    701376       484      2107         0     35586      6412    351598   no data   no data
429.79/107.76	c  N st    59    806086       484      2107         0     64357      6412    971894   no data   no data
429.79/107.76	c  S st    59    806086       484      2107         0     64357      6412    971894   no data   no data
430.55/107.95	c  S st    59    806588       484      2107         0     64858      6412    983210   no data   no data
430.55/107.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
430.55/107.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
430.55/107.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
430.55/107.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
430.55/107.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
430.55/107.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
430.55/107.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
430.95/108.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
430.95/108.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.54/110.98	c lits-rem:       312  cl-subs:     6113  v-elim:      0  v-fix:    0  time:  2.95 s
442.54/110.98	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
442.54/110.99	c vivif2 --  cl tried    58745 cl shrink        0 lits rem          0 time: 0.01
442.96/111.03	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.05
442.96/111.04	c calculated reachability. Time: 0.00
442.96/111.04	c  N st    59    806588       484      2107         0     58745      6412    859023   no data   no data
660.01/165.42	c  F st    60   1071876       484      2107         0     74943      6412   1180854   no data   no data
660.01/165.42	c  N st    60   1071876       484      2107         0     74943      6412   1180854   no data   no data
665.19/166.77	c Decided on static restart strategy
686.34/172.00	c  N st    70   1100179       484      2107         0     58733      6412    754191   no data   no data
720.26/180.58	c  N st    72   1136171       484      2107         0     49016      6412    531373   no data   no data
750.63/188.16	c  N st    73   1168565       484      2107         0     80612      6412   1300839   no data   no data
785.74/196.96	c  N st    74   1209882       484      2107         0     75082      6412   1147594   no data   no data
785.74/196.96	c  S st    74   1209882       484      2107         0     75082      6412   1147594   no data   no data
786.89/197.20	c  S st    74   1210383       484      2107         0     75583      6412   1159630   no data   no data
786.89/197.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
786.89/197.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
786.89/197.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
786.89/197.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
786.89/197.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
786.89/197.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
786.89/197.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
786.89/197.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
786.89/197.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
809.24/202.85	c lits-rem:       622  cl-subs:     3977  v-elim:      0  v-fix:    0  time:  5.55 s
809.24/202.85	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
809.24/202.87	c vivif2 --  cl tried    71606 cl shrink        0 lits rem          0 time: 0.02
809.64/202.98	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.11
809.64/202.99	c calculated reachability. Time: 0.00
809.64/202.99	c  N st    74   1210383       484      2107         0     71606      6412   1067648   no data   no data
893.83/224.02	c  N st    75   1283265       484      2107         0     47953      6412    448478   no data   no data
1004.36/251.75	c  N st    76   1392591       484      2107         0     56179      6412    610267   no data   no data
1179.14/295.52	c  N st    77   1556578       484      2107         0     61006      6412    668889   no data   no data
1341.93/336.31	c  N st    78   1710384       484      2107         0    102360      6412   1557506   no data   no data
1341.93/336.31	c  S st    78   1710384       484      2107         0    102360      6412   1557506   no data   no data
1343.16/336.67	c  S st    78   1710890       484      2107         0    102864      6412   1568197   no data   no data
1343.16/336.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1343.52/336.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1343.52/336.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1343.52/336.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1343.52/336.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1343.52/336.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
1343.52/336.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1343.52/336.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1343.52/336.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1380.23/345.93	c lits-rem:       641  cl-subs:    10977  v-elim:      0  v-fix:    0  time:  9.13 s
1380.23/345.93	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
1380.23/345.95	c vivif2 --  cl tried    91887 cl shrink        0 lits rem          0 time: 0.02
1380.63/346.04	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.09
1380.63/346.05	c calculated reachability. Time: 0.00
1380.63/346.05	c  N st    78   1710890       484      2107         0     91887      6412   1361055   no data   no data
1831.54/459.04	c  N st    79   2079855       484      2107         0    103536      6412   1571776   no data   no data
2007.11/503.00	c  N st    80   2210890       484      2107         0    107783      6412   1619232   no data   no data
2007.11/503.00	c  S st    80   2210890       484      2107         0    107783      6412   1619232   no data   no data
2008.31/503.34	c  S st    80   2211394       484      2107         0    108285      6412   1631205   no data   no data
2008.31/503.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2008.71/503.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2008.71/503.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2008.71/503.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2008.71/503.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2008.71/503.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
2008.71/503.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2008.71/503.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2008.71/503.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2041.42/511.65	c lits-rem:       714  cl-subs:     8240  v-elim:      0  v-fix:    0  time:  8.17 s
2041.42/511.65	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
2041.42/511.67	c vivif2 --  cl tried   100045 cl shrink        0 lits rem          0 time: 0.02
2041.82/511.77	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.10
2041.82/511.78	c calculated reachability. Time: 0.00
2041.82/511.78	c  N st    80   2211394       484      2107         0    100045      6412   1464822   no data   no data
2743.35/687.55	c  N st    81   2711394       484      2107         0    123021      6412   1808847   no data   no data
2743.35/687.55	c  S st    81   2711394       484      2107         0    123021      6412   1808847   no data   no data
2744.91/687.98	c  S st    81   2711899       484      2107         0    123526      6412   1820920   no data   no data
2744.91/687.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2745.31/688.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2745.31/688.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2745.31/688.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2745.31/688.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2745.31/688.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
2745.31/688.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2745.31/688.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2745.71/688.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2805.95/703.20	c lits-rem:       833  cl-subs:    14321  v-elim:      0  v-fix:    0  time: 15.06 s
2805.95/703.20	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
2805.95/703.22	c vivif2 --  cl tried   109205 cl shrink        0 lits rem          0 time: 0.02
2806.35/703.34	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.11
2806.35/703.34	c calculated reachability. Time: 0.00
2806.35/703.34	c  N st    81   2711899       484      2107         0    109205      6412   1543641   no data   no data
3539.36/887.05	c  N st    82   3211899       484      2107         0     85991      6412    892619   no data   no data
3539.36/887.05	c  S st    82   3211899       484      2107         0     85991      6412    892619   no data   no data
3540.56/887.33	c  S st    82   3212403       484      2107         0     86494      6412    904782   no data   no data
3540.56/887.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3540.56/887.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3540.56/887.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3540.56/887.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3540.56/887.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3540.56/887.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
3540.56/887.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3540.56/887.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3540.96/887.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3543.35/888.08	c lits-rem:       155  cl-subs:     2483  v-elim:      0  v-fix:    0  time:  0.66 s
3543.35/888.08	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
3543.35/888.09	c vivif2 --  cl tried    84011 cl shrink        0 lits rem          0 time: 0.01
3543.75/888.17	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.08
3543.75/888.17	c calculated reachability. Time: 0.00
3543.75/888.17	c  N st    82   3212403       484      2107         0     84011      6412    863990   no data   no data
4339.43/1087.56	c  N st    83   3712403       484      2107         0     94102      6412   1007415   no data   no data
4339.43/1087.56	c  S st    83   3712403       484      2107         0     94102      6412   1007415   no data   no data
4340.65/1087.85	c  S st    83   3712909       484      2107         0     94607      6412   1019288   no data   no data
4340.65/1087.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4340.65/1087.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
4340.65/1087.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4340.65/1087.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4340.65/1087.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4340.65/1087.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    484 time:  0.00 s
4340.65/1087.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4341.06/1087.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4341.06/1087.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4345.45/1089.07	c lits-rem:       150  cl-subs:     3365  v-elim:      0  v-fix:    0  time:  1.11 s
4345.45/1089.07	c vivif2 --  cl tried     2107 cl shrink        0 lits rem          0 time: 0.00
4345.45/1089.08	c vivif2 --  cl tried    91242 cl shrink        0 lits rem          0 time: 0.01
4345.80/1089.17	c asymm  cl-useful: 0/2107/2107 lits-rem:0 time: 0.09
4345.80/1089.17	c calculated reachability. Time: 0.00
4345.80/1089.17	c  N st    83   3712909       484      2107         0     91242      6412    957269   no data   no data
4406.89/1104.44	c  F st    84   3751562       484      2107         0    128834      6412   1828617   no data   no data
4406.89/1104.44	c  N st    84   3751562       484      2107         0    128834      6412   1828617   no data   no data
4418.02/1107.27	c Decided on static restart strategy
4471.10/1120.57	c  N st    94   3779859       484      2107         0    156332      6412   2474714   no data   no data
4528.96/1135.01	c  N st    96   3815854       484      2107         0    109082      6412   1323431   no data   no data
4585.61/1149.22	c  N st    97   3848248       484      2107         0    140436      6412   2014763   no data   no data
4667.81/1169.84	c  N st    98   3896838       484      2107         0    104363      6412   1218786   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366321-1305401693/watcher-3366321-1305401693 -o /tmp/evaluation-result-3366321-1305401693/solver-3366321-1305401693 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366321-1305401693.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.57 8.08 8.04 1/296 16807
/proc/meminfo: memFree=12184156/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 406 0 0 0 1 0 0 0 23 0 4 0 651767171 52396032 347 33554432000 4194304 4580107 140734202182496 18446744073709551615 48003560617906 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 12792 347 299 95 0 7774 0
[pid=16807/tid=16808] ppid=16805 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651767172 52396032 347 33554432000 4194304 4580107 140734202182496 18446744073709551615 48003560617906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651767172 52396032 347 33554432000 4194304 4580107 140734202182496 18446744073709551615 48003560617906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651767172 52396032 347 33554432000 4194304 4580107 140734202182496 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0864949 s]
/proc/loadavg: 7.57 8.08 8.04 1/296 16807
/proc/meminfo: memFree=12184156/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=282160 CPUtime=0.31 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 1558 0 0 0 31 0 0 0 18 0 4 0 651767171 288931840 1447 33554432000 4194304 4580107 140734202182496 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 70540 1448 377 95 0 65522 0
[pid=16807/tid=16808] ppid=16805 vsize=282160 CPUtime=0.07 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 316 0 0 0 7 0 0 0 18 0 4 0 651767172 288931840 1448 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=282160 CPUtime=0.07 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 290 0 0 0 7 0 0 0 18 0 4 0 651767172 288931840 1448 33554432000 4194304 4580107 140734202182496 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=282160 CPUtime=0.07 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 233 0 0 0 7 0 0 0 25 0 4 0 651767172 288931840 1448 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 282160

[startup+0.100491 s]
/proc/loadavg: 7.57 8.08 8.04 1/296 16807
/proc/meminfo: memFree=12184156/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=282160 CPUtime=0.37 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 1637 0 0 0 37 0 0 0 18 0 4 0 651767171 288931840 1526 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294455 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 70540 1526 377 95 0 65522 0
[pid=16807/tid=16808] ppid=16805 vsize=282160 CPUtime=0.09 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 337 0 0 0 9 0 0 0 18 0 4 0 651767172 288931840 1526 33554432000 4194304 4580107 140734202182496 18446744073709551615 4321871 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=282160 CPUtime=0.09 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 305 0 0 0 9 0 0 0 18 0 4 0 651767172 288931840 1526 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=282160 CPUtime=0.08 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 255 0 0 0 8 0 0 0 25 0 4 0 651767172 288931840 1526 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282160

[startup+0.300455 s]
/proc/loadavg: 7.57 8.08 8.04 1/296 16807
/proc/meminfo: memFree=12184156/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=283584 CPUtime=1.17 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 2709 0 0 0 117 0 0 0 18 0 4 0 651767171 290390016 2051 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 70896 2051 377 95 0 65878 0
[pid=16807/tid=16808] ppid=16805 vsize=283584 CPUtime=0.29 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 610 0 0 0 29 0 0 0 18 0 4 0 651767172 290390016 2051 33554432000 4194304 4580107 140734202182496 18446744073709551615 4321304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=283584 CPUtime=0.29 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 572 0 0 0 29 0 0 0 18 0 4 0 651767172 290390016 2051 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=283584 CPUtime=0.28 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 520 0 0 0 28 0 0 0 25 0 4 0 651767172 290390016 2051 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283584

[startup+0.700382 s]
/proc/loadavg: 7.57 8.08 8.04 1/296 16807
/proc/meminfo: memFree=12184156/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=284612 CPUtime=2.76 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 4245 0 0 0 276 0 0 0 18 0 4 0 651767171 291442688 2744 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 71153 2744 377 95 0 66135 0
[pid=16807/tid=16808] ppid=16805 vsize=284612 CPUtime=0.69 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 1001 0 0 0 69 0 0 0 18 0 4 0 651767172 291442688 2744 33554432000 4194304 4580107 140734202182496 18446744073709551615 4318508 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=284612 CPUtime=0.69 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 973 0 0 0 69 0 0 0 18 0 4 0 651767172 291442688 2744 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=284612 CPUtime=0.68 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 892 0 0 0 68 0 0 0 25 0 4 0 651767172 291442688 2744 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284612

[startup+1.50024 s]
/proc/loadavg: 7.57 8.08 8.04 10/308 16822
/proc/meminfo: memFree=12156648/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=285796 CPUtime=5.95 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 8461 0 0 0 594 1 0 0 20 0 4 0 651767171 292655104 4449 33554432000 4194304 4580107 140734202182496 18446744073709551615 4320867 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 71449 4449 379 95 0 66431 0
[pid=16807/tid=16808] ppid=16805 vsize=285796 CPUtime=1.49 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 1720 0 0 0 149 0 0 0 19 0 4 0 651767172 292655104 4449 33554432000 4194304 4580107 140734202182496 18446744073709551615 4316365 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=285796 CPUtime=1.49 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 1722 0 0 0 149 0 0 0 20 0 4 0 651767172 292655104 4449 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=285796 CPUtime=1.47 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 1618 0 0 0 147 0 0 0 25 0 4 0 651767172 292655104 4449 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 285796

[startup+3.10094 s]
/proc/loadavg: 7.36 8.03 8.02 10/308 16852
/proc/meminfo: memFree=12140824/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=302468 CPUtime=12.35 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 17514 0 0 0 1232 3 0 0 25 0 4 0 651767171 309727232 8787 33554432000 4194304 4580107 140734202182496 18446744073709551615 4301867 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 75617 8787 379 95 0 70599 0
[pid=16807/tid=16808] ppid=16805 vsize=302468 CPUtime=3.08 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 4016 0 0 0 308 0 0 0 25 0 4 0 651767172 309727232 8787 33554432000 4194304 4580107 140734202182496 18446744073709551615 4320727 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=302468 CPUtime=3.09 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 4518 0 0 0 309 0 0 0 25 0 4 0 651767172 309727232 8787 33554432000 4194304 4580107 140734202182496 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=302468 CPUtime=3.06 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 4259 0 0 0 305 1 0 0 25 0 4 0 651767172 309727232 8787 33554432000 4194304 4580107 140734202182496 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 302468

[startup+6.30035 s]
/proc/loadavg: 7.36 8.03 8.02 9/308 16852
/proc/meminfo: memFree=12085956/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=312048 CPUtime=25.12 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 26300 0 0 0 2507 5 0 0 25 0 4 0 651767171 319537152 12409 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 78012 12409 379 95 0 72994 0
[pid=16807/tid=16808] ppid=16805 vsize=312048 CPUtime=6.29 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 7447 0 0 0 628 1 0 0 25 0 4 0 651767172 319537152 12409 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=312048 CPUtime=6.28 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 5912 0 0 0 627 1 0 0 25 0 4 0 651767172 319537152 12409 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=312048 CPUtime=6.23 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 6002 0 0 0 622 1 0 0 25 0 4 0 651767172 319537152 12409 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 312048

[startup+12.7012 s]
/proc/loadavg: 7.62 8.06 8.03 9/308 16853
/proc/meminfo: memFree=12020584/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=284352 CPUtime=50.66 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 41867 0 0 0 5058 8 0 0 25 0 4 0 651767171 291176448 19260 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 71088 19260 379 95 0 66070 0
[pid=16807/tid=16808] ppid=16805 vsize=284352 CPUtime=12.69 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 11411 0 0 0 1267 2 0 0 25 0 4 0 651767172 291176448 19260 33554432000 4194304 4580107 140734202182496 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=284352 CPUtime=12.68 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 7657 0 0 0 1267 1 0 0 25 0 4 0 651767172 291176448 19260 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=284352 CPUtime=12.57 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 10549 0 0 0 1255 2 0 0 25 0 4 0 651767172 291176448 19260 33554432000 4194304 4580107 140734202182496 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 284352

[startup+25.5008 s]
/proc/loadavg: 7.68 8.06 8.03 9/308 16853
/proc/meminfo: memFree=11985300/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=323140 CPUtime=101.73 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 62239 0 0 0 10160 13 0 0 25 0 4 0 651767171 330895360 25196 33554432000 4194304 4580107 140734202182496 18446744073709551615 4318708 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 80785 25197 379 95 0 75767 0
[pid=16807/tid=16808] ppid=16805 vsize=323140 CPUtime=25.48 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 17561 0 0 0 2545 3 0 0 25 0 4 0 651767172 330895360 25197 33554432000 4194304 4580107 140734202182496 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=323140 CPUtime=25.48 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 11866 0 0 0 2546 2 0 0 25 0 4 0 651767172 330895360 25197 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=323140 CPUtime=25.24 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 14989 0 0 0 2521 3 0 0 25 0 4 0 651767172 330895360 25197 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 323140

[startup+51.1011 s]
/proc/loadavg: 7.79 8.05 8.03 9/308 16854
/proc/meminfo: memFree=11960044/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=314696 CPUtime=203.9 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 90243 0 0 0 20369 21 0 0 25 0 4 0 651767171 322248704 27365 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 78674 27365 379 95 0 73656 0
[pid=16807/tid=16808] ppid=16805 vsize=314696 CPUtime=51.09 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 25305 0 0 0 5103 6 0 0 25 0 4 0 651767172 322248704 27365 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=314696 CPUtime=51.08 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 16346 0 0 0 5105 3 0 0 25 0 4 0 651767172 322248704 27365 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=314696 CPUtime=50.61 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 22985 0 0 0 5056 5 0 0 25 0 4 0 651767172 322248704 27365 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 314696

[startup+102.312 s]
/proc/loadavg: 7.96 8.06 8.03 9/308 16855
/proc/meminfo: memFree=11881640/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=326624 CPUtime=408.26 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 143018 0 0 0 40791 35 0 0 25 0 4 0 651767171 334462976 38238 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294566 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 81656 38238 379 95 0 76638 0
[pid=16807/tid=16808] ppid=16805 vsize=326624 CPUtime=102.3 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 40114 0 0 0 10220 10 0 0 25 0 4 0 651767172 334462976 38238 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=326624 CPUtime=102.29 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 28434 0 0 0 10222 7 0 0 25 0 4 0 651767172 334462976 38238 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=326624 CPUtime=101.33 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 36792 0 0 0 10125 8 0 0 25 0 4 0 651767172 334462976 38238 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 326624

[startup+162.3 s]

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

[pid=16807] ppid=16805 vsize=511092 CPUtime=2562.98 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 417914 0 0 0 256161 137 0 0 25 0 4 0 651767171 523358208 87500 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 127773 87500 379 95 0 122755 0
[pid=16807/tid=16808] ppid=16805 vsize=511092 CPUtime=642.32 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 110214 0 0 0 64195 37 0 0 25 0 4 0 651767172 523358208 87500 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=511092 CPUtime=642.31 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 81786 0 0 0 64204 27 0 0 25 0 4 0 651767172 523358208 87500 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=511092 CPUtime=636.01 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 113606 0 0 0 63564 37 0 0 25 0 4 0 651767172 523358208 87500 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.98
Current children cumulated vsize (KiB) 511092

[startup+702.3 s]
/proc/loadavg: 8.12 8.19 8.10 9/308 16871
/proc/meminfo: memFree=11577548/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=511352 CPUtime=2802.36 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 435040 0 0 0 280091 145 0 0 25 0 4 0 651767171 523624448 85205 33554432000 4194304 4580107 140734202182496 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 127838 85205 379 95 0 122820 0
[pid=16807/tid=16808] ppid=16805 vsize=511352 CPUtime=702.31 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 117454 0 0 0 70191 40 0 0 25 0 4 0 651767172 523624448 85205 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=511352 CPUtime=702.3 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 81789 0 0 0 70203 27 0 0 25 0 4 0 651767172 523624448 85205 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=511352 CPUtime=695.41 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 121201 0 0 0 69501 40 0 0 25 0 4 0 651767172 523624448 85205 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.36
Current children cumulated vsize (KiB) 511352

[startup+762.311 s]
/proc/loadavg: 8.22 8.20 8.11 9/308 16873
/proc/meminfo: memFree=11515392/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=577084 CPUtime=3041.82 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 454458 0 0 0 304030 152 0 0 25 0 4 0 651767171 590934016 92692 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 144271 92692 379 95 0 139253 0
[pid=16807/tid=16808] ppid=16805 vsize=577084 CPUtime=762.32 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 124425 0 0 0 76189 43 0 0 25 0 4 0 651767172 590934016 92692 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=577084 CPUtime=762.31 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 81794 0 0 0 76204 27 0 0 25 0 4 0 651767172 590934016 92692 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=577084 CPUtime=754.84 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 128155 0 0 0 75441 43 0 0 25 0 4 0 651767172 590934016 92692 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.82
Current children cumulated vsize (KiB) 577084

[startup+822.3 s]
/proc/loadavg: 8.14 8.18 8.10 9/308 16874
/proc/meminfo: memFree=11474812/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=585072 CPUtime=3281.2 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 478346 0 0 0 327958 162 0 0 25 0 4 0 651767171 599113728 103892 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 146268 103892 379 95 0 141250 0
[pid=16807/tid=16808] ppid=16805 vsize=585072 CPUtime=822.31 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 134211 0 0 0 82185 46 0 0 25 0 4 0 651767172 599113728 103892 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=585072 CPUtime=822.3 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 83840 0 0 0 82202 28 0 0 25 0 4 0 651767172 599113728 103892 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=585072 CPUtime=814.24 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 134577 0 0 0 81378 46 0 0 25 0 4 0 651767172 599113728 103892 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.2
Current children cumulated vsize (KiB) 585072

[startup+882.301 s]
/proc/loadavg: 8.27 8.20 8.11 10/308 16876
/proc/meminfo: memFree=11448996/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=651024 CPUtime=3520.61 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 498445 0 0 0 351892 169 0 0 25 0 4 0 651767171 666648576 105036 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 162756 105036 379 95 0 157738 0
[pid=16807/tid=16808] ppid=16805 vsize=651024 CPUtime=882.31 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 140424 0 0 0 88182 49 0 0 25 0 4 0 651767172 666648576 105036 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=651024 CPUtime=882.31 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 83924 0 0 0 88203 28 0 0 25 0 4 0 651767172 666648576 105036 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=651024 CPUtime=873.63 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 145228 0 0 0 87315 48 0 0 25 0 4 0 651767172 666648576 105036 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.61
Current children cumulated vsize (KiB) 651024

[startup+942.301 s]
/proc/loadavg: 8.22 8.20 8.11 9/308 16877
/proc/meminfo: memFree=11435456/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=663168 CPUtime=3760.03 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 515025 0 0 0 375826 177 0 0 25 0 4 0 651767171 679084032 106845 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 165792 106845 379 95 0 160774 0
[pid=16807/tid=16808] ppid=16805 vsize=663168 CPUtime=942.32 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 146654 0 0 0 94179 53 0 0 25 0 4 0 651767172 679084032 106845 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=663168 CPUtime=942.31 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 86201 0 0 0 94202 29 0 0 25 0 4 0 651767172 679084032 106845 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=663168 CPUtime=933.05 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 150366 0 0 0 93255 50 0 0 25 0 4 0 651767172 679084032 106845 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.03
Current children cumulated vsize (KiB) 663168

[startup+1002.3 s]
/proc/loadavg: 8.18 8.18 8.11 9/308 16879
/proc/meminfo: memFree=11419800/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=663368 CPUtime=3999.45 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 533112 0 0 0 399762 183 0 0 25 0 4 0 651767171 679288832 112481 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294026 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 165842 112481 379 95 0 160824 0
[pid=16807/tid=16808] ppid=16805 vsize=663368 CPUtime=1002.32 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 152748 0 0 0 100178 54 0 0 25 0 4 0 651767172 679288832 112481 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=663368 CPUtime=1002.3 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 87044 0 0 0 100201 29 0 0 25 0 4 0 651767172 679288832 112481 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=663368 CPUtime=992.47 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 156529 0 0 0 99195 52 0 0 25 0 4 0 651767172 679288832 112481 33554432000 4194304 4580107 140734202182496 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.45
Current children cumulated vsize (KiB) 663368

[startup+1062.3 s]
/proc/loadavg: 8.33 8.23 8.13 9/308 16881
/proc/meminfo: memFree=11396712/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=668316 CPUtime=4238.86 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 549777 0 0 0 423697 189 0 0 25 0 4 0 651767171 684355584 112727 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 167079 112727 379 95 0 162061 0
[pid=16807/tid=16808] ppid=16805 vsize=668316 CPUtime=1062.33 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 159555 0 0 0 106176 57 0 0 25 0 4 0 651767172 684355584 112727 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=668316 CPUtime=1062.31 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 88325 0 0 0 106201 30 0 0 25 0 4 0 651767172 684355584 112727 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=668316 CPUtime=1051.88 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 162508 0 0 0 105133 55 0 0 25 0 4 0 651767172 684355584 112727 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.86
Current children cumulated vsize (KiB) 668316

[startup+1122.3 s]
/proc/loadavg: 8.24 8.21 8.12 9/308 16882
/proc/meminfo: memFree=11373116/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=668504 CPUtime=4478.28 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 566633 0 0 0 447631 197 0 0 25 0 4 0 651767171 684548096 118195 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 167126 118195 379 95 0 162108 0
[pid=16807/tid=16808] ppid=16805 vsize=668504 CPUtime=1122.33 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 164938 0 0 0 112174 59 0 0 25 0 4 0 651767172 684548096 118195 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=668504 CPUtime=1122.31 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 88325 0 0 0 112201 30 0 0 25 0 4 0 651767172 684548096 118195 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=668504 CPUtime=1111.29 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 169919 0 0 0 111072 57 0 0 25 0 4 0 651767172 684548096 118195 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.28
Current children cumulated vsize (KiB) 668504

[startup+1182.3 s]
/proc/loadavg: 8.19 8.20 8.12 9/308 16884
/proc/meminfo: memFree=11392688/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=668660 CPUtime=4717.7 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 580121 0 0 0 471566 204 0 0 25 0 4 0 651767171 684707840 115479 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294487 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 167165 115479 379 95 0 162147 0
[pid=16807/tid=16808] ppid=16805 vsize=668660 CPUtime=1182.32 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 169851 0 0 0 118171 61 0 0 25 0 4 0 651767172 684707840 115479 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=668660 CPUtime=1182.31 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 88499 0 0 0 118201 30 0 0 25 0 4 0 651767172 684707840 115479 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=668660 CPUtime=1170.71 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 175763 0 0 0 117011 60 0 0 25 0 4 0 651767172 684707840 115479 33554432000 4194304 4580107 140734202182496 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.7
Current children cumulated vsize (KiB) 668660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.12 8.18 8.12 10/308 16884
/proc/meminfo: memFree=11381648/32951124 swapFree=66050672/67111528
[pid=16807] ppid=16805 vsize=668700 CPUtime=4800.32 cores=0,2,4,6
/proc/16807/stat : 16807 (strangenight2-m) R 16805 16807 16480 0 -1 4202496 585524 0 0 0 479826 206 0 0 25 0 4 0 651767171 684748800 117494 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16807/statm: 167175 117494 379 95 0 162157 0
[pid=16807/tid=16808] ppid=16805 vsize=668700 CPUtime=1203.03 cores=0,2,4,6
/proc/16807/task/16808/stat : 16808 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 172051 0 0 0 120241 62 0 0 25 0 4 0 651767172 684748800 117494 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16807/tid=16809] ppid=16805 vsize=668700 CPUtime=1203.02 cores=0,2,4,6
/proc/16807/task/16809/stat : 16809 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 88499 0 0 0 120272 30 0 0 25 0 4 0 651767172 684748800 117494 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16807/tid=16810] ppid=16805 vsize=668700 CPUtime=1191.21 cores=0,2,4,6
/proc/16807/task/16810/stat : 16810 (strangenight2-m) R 16805 16807 16480 0 -1 4202560 176926 0 0 0 119060 61 0 0 25 0 4 0 651767172 684748800 117494 33554432000 4194304 4580107 140734202182496 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 668700

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.04
CPU time (s): 4800.38
CPU user time (s): 4798.29
CPU system time (s): 2.08568
CPU usage (%): 399.021
Max. virtual memory (cumulated for all children) (KiB): 733932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.29
system time used= 2.08568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585526
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= 175
involuntary context switches= 70565

runsolver used 3.3145 second user time and 8.33273 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-14 21:34:53
IDJOB=3366321
IDBENCH=82730
IDSOLVER=1844
FILE ID=node135/3366321-1305401693
RUNJOBID= node135-1305401693-16794
PBS_JOBID= 13324477
Free space on /tmp= 73344 MiB

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

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

MD5SUM BENCH= 7bcc4ef0cfce2800562872a802fb17f2
RANDOM SEED=1476994122

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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.851
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.75
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12184312 kB
Buffers:        273268 kB
Cached:        5840868 kB
SwapCached:      50684 kB
Active:        9863436 kB
Inactive:     10660256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12184312 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:            5560 kB
Writeback:           0 kB
AnonPages:    14363588 kB
Mapped:          18380 kB
Slab:           135056 kB
PageTables:      46952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57033652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73332 MiB
End job on node135 at 2011-05-14 21:54:58