Trace number 3366371

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.36 1202.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf
MD5SUM9ba8ad6ebe939ddb75efcc3aec0126e6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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-3366371-1305402748.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.39	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.39	c calculated reachability. Time: 0.00
0.00/0.39	c Calc default polars -  time:   0.00 s pos:     238 undec:      77 neg:     235
0.00/0.39	c =========================================================================================
0.00/0.39	c types(t): F = full restart, N = normal restart
0.00/0.39	c types(t): S = simplification begin/end, E = solution found
0.00/0.39	c restart types(rt): st = static, dy = dynamic
0.00/0.39	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.39	c  B st     0         0       539      2328         0         0      7038         0   no data   no data
0.00/0.39	c Decided on static restart strategy
0.00/0.39	c  N st     8      4917       539      2328         0      4859      7038    121523   no data   no data
2.77/0.75	c  N st    10     11301       539      2328         0      4488      7038     80277   no data   no data
2.77/0.75	c  N st    11     17045       539      2328         0     10105      7038    212429   no data   no data
4.37/1.13	c  F st    12     25000       539      2328         0     12389      7038    274945   no data   no data
4.37/1.13	c  N st    12     25000       539      2328         0     12389      7038    274945   no data   no data
5.18/1.38	c Decided on static restart strategy
5.18/1.38	c  N st    18     30000       539      2328         0     10692      7038    216410   no data   no data
5.18/1.38	c  S st    18     30000       539      2328         0     10692      7038    216410   no data   no data
5.60/1.41	c  S st    18     30507       539      2328         0     11198      7038    228275   no data   no data
5.60/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.60/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.60/1.42	c blocked clauses removed:        0 vars:      0 tried:         539 T: 0.00 s
5.60/1.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.60/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.60/1.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
5.60/1.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.60/1.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.60/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.60/1.47	c lits-rem:        71  cl-subs:      365  v-elim:      0  v-fix:    0  time:  0.04 s
5.60/1.48	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
5.60/1.48	c calculated reachability. Time: 0.00
5.60/1.48	c  N st    18     30507       539      2328         0     10833      7038    217814   no data   no data
7.16/1.88	c  N st    20     37619       539      2328         0     10082      7038    170937   no data   no data
8.75/2.27	c  N st    21     44018       539      2328         0     16399      7038    336582   no data   no data
9.15/2.39	c  S st    22     45760       539      2328         0      9315      7038    137923   no data   no data
9.57/2.42	c  S st    22     46266       539      2328         0      9821      7038    149714   no data   no data
9.57/2.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.57/2.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.57/2.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
9.57/2.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.57/2.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.57/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.44	c lits-rem:        39  cl-subs:       51  v-elim:      0  v-fix:    0  time:  0.01 s
9.57/2.44	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
9.57/2.44	c vivif2 --  cl tried     9770 cl shrink        0 lits rem          0 time: 0.00
9.57/2.44	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
9.57/2.45	c calculated reachability. Time: 0.00
9.57/2.45	c  N st    22     46266       539      2328         0      9770      7038    148530   no data   no data
13.54/3.41	c  N st    23     60665       539      2328         0     14143      7038    247762   no data   no data
15.93/4.02	c  N st    24     69400       539      2328         0     11918      7038    181578   no data   no data
15.93/4.02	c  S st    24     69400       539      2328         0     11918      7038    181578   no data   no data
15.93/4.05	c  S st    24     69903       539      2328         0     12419      7038    193628   no data   no data
15.93/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.93/4.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.93/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
15.93/4.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.93/4.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.93/4.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.08	c lits-rem:        41  cl-subs:       95  v-elim:      0  v-fix:    0  time:  0.02 s
15.93/4.08	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
15.93/4.09	c vivif2 --  cl tried    12324 cl shrink        0 lits rem          0 time: 0.00
15.93/4.09	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
15.93/4.09	c calculated reachability. Time: 0.00
15.93/4.09	c  N st    24     69903       539      2328         0     12324      7038    191053   no data   no data
21.13/5.38	c  F st    25     87500       539      2328         0     17780      7038    332758   no data   no data
21.13/5.38	c  N st    25     87500       539      2328         0     17780      7038    332758   no data   no data
22.74/5.78	c Decided on static restart strategy
23.91/6.04	c  N st    32     95537       539      2328         0     12925      7038    181288   no data   no data
26.71/6.70	c  N st    34    104856       539      2328         0     22049      7038    403012   no data   no data
26.71/6.70	c  S st    34    104856       539      2328         0     22049      7038    403012   no data   no data
26.71/6.76	c  S st    34    105365       539      2328         0     22557      7038    414588   no data   no data
26.71/6.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.71/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.71/6.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.71/6.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.71/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.71/6.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
26.71/6.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.71/6.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.71/6.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.55/6.94	c lits-rem:       147  cl-subs:      928  v-elim:      0  v-fix:    0  time:  0.16 s
27.55/6.94	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
27.55/6.95	c vivif2 --  cl tried    21629 cl shrink        0 lits rem          0 time: 0.00
27.55/6.96	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
27.55/6.96	c calculated reachability. Time: 0.00
27.55/6.96	c  N st    34    105365       539      2328         0     21629      7038    391372   no data   no data
31.10/7.80	c  N st    35    114963       539      2328         0     17350      7038    269060   no data   no data
36.68/9.22	c  N st    36    129361       539      2328         0     16728      7038    235045   no data   no data
44.27/11.18	c  N st    37    150957       539      2328         0     22186      7038    360724   no data   no data
47.47/11.90	c  S st    38    158047       539      2328         0     29128      7038    540722   no data   no data
47.47/11.98	c  S st    38    158551       539      2328         0     29631      7038    552492   no data   no data
47.47/11.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.47/11.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.47/11.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.47/11.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.47/11.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.47/11.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
47.47/11.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.87/12.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.87/12.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.49/12.45	c lits-rem:       149  cl-subs:     1374  v-elim:      0  v-fix:    0  time:  0.43 s
49.49/12.45	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
49.49/12.45	c vivif2 --  cl tried    28257 cl shrink        0 lits rem          0 time: 0.01
49.49/12.47	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
49.49/12.47	c calculated reachability. Time: 0.00
49.49/12.47	c  N st    38    158551       539      2328         0     28257      7038    516111   no data   no data
68.21/17.10	c  N st    39    207140       539      2328         0     23066      7038    349468   no data   no data
81.78/20.56	c  N st    40    237826       539      2328         0     33404      7038    586964   no data   no data
81.78/20.56	c  S st    40    237826       539      2328         0     33404      7038    586964   no data   no data
82.18/20.65	c  S st    40    238332       539      2328         0     33910      7038    598876   no data   no data
82.18/20.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.18/20.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.18/20.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.18/20.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.18/20.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.18/20.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
82.18/20.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
82.18/20.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.18/20.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.61/21.25	c lits-rem:       303  cl-subs:     1654  v-elim:      0  v-fix:    0  time:  0.56 s
84.61/21.25	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
84.61/21.25	c vivif2 --  cl tried    32256 cl shrink        0 lits rem          0 time: 0.01
84.61/21.27	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
84.61/21.28	c calculated reachability. Time: 0.00
84.61/21.28	c  N st    40    238332       539      2328         0     32256      7038    556647   no data   no data
117.70/29.52	c  F st    41    306251       539      2328         0     34167      7038    572098   no data   no data
117.70/29.52	c  N st    41    306251       539      2328         0     34167      7038    572098   no data   no data
120.09/30.16	c Decided on static restart strategy
132.08/33.17	c  N st    51    334555       539      2328         0     38381      7038    637415   no data   no data
144.45/36.21	c  N st    53    357499       539      2328         0     36418      7038    575608   no data   no data
144.45/36.21	c  S st    53    357499       539      2328         0     36418      7038    575608   no data   no data
144.85/36.31	c  S st    53    358005       539      2328         0     36924      7038    587793   no data   no data
144.85/36.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.85/36.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
144.85/36.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.85/36.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.85/36.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.85/36.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
144.85/36.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.85/36.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.85/36.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.43/36.70	c lits-rem:       391  cl-subs:     1282  v-elim:      0  v-fix:    0  time:  0.35 s
146.43/36.70	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
146.43/36.71	c vivif2 --  cl tried    35642 cl shrink        0 lits rem          0 time: 0.01
146.43/36.74	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.03
146.43/36.74	c calculated reachability. Time: 0.00
146.43/36.74	c  N st    53    358005       539      2328         0     35642      7038    555490   no data   no data
163.22/40.92	c  N st    54    390397       539      2328         0     41805      7038    678403   no data   no data
191.53/48.08	c  N st    55    438987       539      2328         0     35533      7038    503601   no data   no data
235.04/58.94	c  N st    56    511870       539      2328         0     49176      7038    836956   no data   no data
249.00/62.43	c  N st    57    537011       539      2328         0     43434      7038    670010   no data   no data
249.00/62.43	c  S st    57    537011       539      2328         0     43434      7038    670010   no data   no data
249.41/62.55	c  S st    57    537515       539      2328         0     43938      7038    682968   no data   no data
249.41/62.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
249.41/62.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
249.41/62.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
249.41/62.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.41/62.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.41/62.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
249.41/62.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
249.41/62.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
249.81/62.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.20/63.20	c lits-rem:       301  cl-subs:     1585  v-elim:      0  v-fix:    0  time:  0.60 s
252.20/63.20	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
252.20/63.21	c vivif2 --  cl tried    42353 cl shrink        0 lits rem          0 time: 0.01
252.20/63.24	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.03
252.20/63.24	c calculated reachability. Time: 0.00
252.20/63.24	c  N st    57    537515       539      2328         0     42353      7038    640874   no data   no data
364.35/91.35	c  N st    58    701500       539      2328         0     36403      7038    394652   no data   no data
440.57/110.43	c  N st    59    806273       539      2328         0     65708      7038   1139741   no data   no data
440.57/110.43	c  S st    59    806273       539      2328         0     65708      7038   1139741   no data   no data
441.37/110.62	c  S st    59    806779       539      2328         0     66213      7038   1151944   no data   no data
441.37/110.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
441.37/110.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
441.37/110.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
441.37/110.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
441.37/110.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
441.37/110.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
441.37/110.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
441.37/110.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
441.77/110.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.97/113.54	c lits-rem:       490  cl-subs:     3762  v-elim:      0  v-fix:    0  time:  2.84 s
452.97/113.54	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
452.97/113.56	c vivif2 --  cl tried    62451 cl shrink        0 lits rem          0 time: 0.01
453.38/113.62	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.06
453.38/113.62	c calculated reachability. Time: 0.00
453.38/113.62	c  N st    59    806779       539      2328         0     62451      7038   1056018   no data   no data
672.06/168.43	c  F st    60   1071875       539      2328         0     78152      7038   1320349   no data   no data
672.06/168.43	c  N st    60   1071875       539      2328         0     78152      7038   1320349   no data   no data
677.63/169.84	c Decided on static restart strategy
696.80/174.62	c  N st    70   1100178       539      2328         0     61819      7038    885883   no data   no data
733.93/183.93	c  N st    72   1136170       539      2328         0     51932      7038    612052   no data   no data
760.69/190.67	c  N st    73   1168562       539      2328         0     83570      7038   1418390   no data   no data
800.19/200.56	c  N st    74   1210168       539      2328         0     78314      7038   1269243   no data   no data
800.19/200.56	c  S st    74   1210168       539      2328         0     78314      7038   1269243   no data   no data
801.35/200.83	c  S st    74   1210670       539      2328         0     78816      7038   1281143   no data   no data
801.35/200.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
801.35/200.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
801.35/200.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
801.35/200.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
801.35/200.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
801.35/200.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
801.35/200.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
801.35/200.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
801.75/200.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
818.51/205.17	c lits-rem:       342  cl-subs:     4017  v-elim:      0  v-fix:    0  time:  4.24 s
818.51/205.17	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
818.51/205.19	c vivif2 --  cl tried    74799 cl shrink        0 lits rem          0 time: 0.02
818.91/205.29	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.10
818.91/205.29	c calculated reachability. Time: 0.00
818.91/205.29	c  N st    74   1210670       539      2328         0     74799      7038   1179944   no data   no data
890.76/223.22	c  N st    75   1283552       539      2328         0     51401      7038    551637   no data   no data
1013.68/254.01	c  N st    76   1392875       539      2328         0     59491      7038    725876   no data   no data
1176.11/294.74	c  N st    77   1556859       539      2328         0     64421      7038    795454   no data   no data
1345.73/337.24	c  N st    78   1710672       539      2328         0    106351      7038   1847463   no data   no data
1345.73/337.24	c  S st    78   1710672       539      2328         0    106351      7038   1847463   no data   no data
1347.32/337.62	c  S st    78   1711174       539      2328         0    106853      7038   1860192   no data   no data
1347.32/337.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1347.32/337.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1347.32/337.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1347.32/337.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1347.32/337.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1347.32/337.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
1347.32/337.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1347.72/337.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1347.72/337.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1384.07/346.86	c lits-rem:       787  cl-subs:     5645  v-elim:      0  v-fix:    0  time:  9.09 s
1384.07/346.86	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
1384.07/346.88	c vivif2 --  cl tried   101208 cl shrink        0 lits rem          0 time: 0.02
1384.43/346.99	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.11
1384.83/347.00	c calculated reachability. Time: 0.00
1384.83/347.00	c  N st    78   1711174       539      2328         0    101208      7038   1721184   no data   no data
1809.49/453.41	c  N st    79   2080138       539      2328         0    112908      7038   1987804   no data   no data
1967.54/493.10	c  N st    80   2211174       539      2328         0    116765      7038   2027273   no data   no data
1967.54/493.10	c  S st    80   2211174       539      2328         0    116765      7038   2027273   no data   no data
1969.52/493.53	c  S st    80   2211676       539      2328         0    117266      7038   2039197   no data   no data
1969.52/493.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1969.92/493.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1969.92/493.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1969.92/493.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1969.92/493.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1969.92/493.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
1969.92/493.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1969.92/493.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1969.92/493.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2020.22/506.22	c lits-rem:       901  cl-subs:     6546  v-elim:      0  v-fix:    0  time: 12.54 s
2020.22/506.22	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
2020.22/506.25	c vivif2 --  cl tried   110720 cl shrink        0 lits rem          0 time: 0.03
2020.64/506.37	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.12
2020.64/506.38	c calculated reachability. Time: 0.00
2020.64/506.38	c  N st    80   2211676       539      2328         0    110720      7038   1870435   no data   no data
2629.60/658.93	c  N st    81   2711676       539      2328         0    134004      7038   2391085   no data   no data
2629.60/658.93	c  S st    81   2711676       539      2328         0    134004      7038   2391085   no data   no data
2631.60/659.42	c  S st    81   2712182       539      2328         0    134508      7038   2403483   no data   no data
2631.60/659.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2631.60/659.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2632.00/659.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2632.00/659.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2632.00/659.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2632.00/659.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
2632.00/659.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2632.00/659.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2632.39/659.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2713.82/680.02	c lits-rem:      1262  cl-subs:     9139  v-elim:      0  v-fix:    0  time: 20.42 s
2713.82/680.02	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
2713.82/680.05	c vivif2 --  cl tried   125369 cl shrink        0 lits rem          0 time: 0.03
2714.24/680.18	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.13
2714.24/680.19	c calculated reachability. Time: 0.00
2714.24/680.19	c  N st    81   2712182       539      2328         0    125369      7038   2184967   no data   no data
3460.92/867.20	c  N st    82   3212182       539      2328         0    101606      7038   1392864   no data   no data
3460.92/867.20	c  S st    82   3212182       539      2328         0    101606      7038   1392864   no data   no data
3462.12/867.53	c  S st    82   3212685       539      2328         0    102108      7038   1405631   no data   no data
3462.12/867.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3462.12/867.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3462.12/867.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3462.12/867.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3462.12/867.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3462.12/867.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
3462.12/867.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3462.52/867.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3462.52/867.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3472.10/870.07	c lits-rem:       398  cl-subs:     2571  v-elim:      0  v-fix:    0  time:  2.41 s
3472.10/870.07	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
3472.10/870.09	c vivif2 --  cl tried    99537 cl shrink        0 lits rem          0 time: 0.02
3472.50/870.19	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.10
3472.50/870.19	c calculated reachability. Time: 0.00
3472.50/870.19	c  N st    82   3212685       539      2328         0     99537      7038   1339749   no data   no data
4252.72/1065.63	c  N st    83   3712685       539      2328         0    110259      7038   1550995   no data   no data
4252.72/1065.63	c  S st    83   3712685       539      2328         0    110259      7038   1550995   no data   no data
4254.32/1066.00	c  S st    83   3713187       539      2328         0    110761      7038   1564878   no data   no data
4254.32/1066.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4254.32/1066.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4254.32/1066.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4254.32/1066.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4254.32/1066.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4254.32/1066.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
4254.32/1066.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4254.32/1066.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4254.74/1066.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4267.91/1069.49	c lits-rem:       269  cl-subs:     3135  v-elim:      0  v-fix:    0  time:  3.35 s
4267.91/1069.49	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
4268.33/1069.52	c vivif2 --  cl tried   107626 cl shrink        0 lits rem          0 time: 0.02
4268.69/1069.63	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.11
4268.69/1069.63	c calculated reachability. Time: 0.00
4268.69/1069.63	c  N st    83   3713187       539      2328         0    107626      7038   1482593   no data   no data
4334.54/1086.14	c  F st    84   3751562       539      2328         0    145246      7038   2493589   no data   no data
4334.54/1086.14	c  N st    84   3751562       539      2328         0    145246      7038   2493589   no data   no data
4346.92/1089.24	c Decided on static restart strategy
4400.02/1102.59	c  N st    94   3779866       539      2328         0     89907      7038    923417   no data   no data
4454.66/1116.22	c  N st    96   3815863       539      2328         0    125055      7038   1795556   no data   no data
4514.53/1131.22	c  N st    97   3848255       539      2328         0    156857      7038   2615234   no data   no data
4580.78/1147.87	c  N st    98   3896844       539      2328         0    120310      7038   1743057   no data   no data
4710.49/1180.33	c  N st    99   3969727       539      2328         0    106419      7038   1358957   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-3366371-1305402748/watcher-3366371-1305402748 -o /tmp/evaluation-result-3366371-1305402748/solver-3366371-1305402748 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366371-1305402748.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.64 8.12 8.15 2/283 3219
/proc/meminfo: memFree=21561004/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 407 0 0 0 0 0 0 0 18 0 4 0 651873007 52396032 347 33554432000 4194304 4580107 140736598362384 18446744073709551615 46967640450994 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 12792 347 299 95 0 7774 0
[pid=3217/tid=3222] ppid=3214 vsize=208104 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 106 0 0 0 0 0 0 0 19 0 4 0 651873007 213098496 739 33554432000 4194304 4580107 140736598362384 18446744073709551615 232335916951 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=208104 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 137 0 0 0 0 0 0 0 18 0 4 0 651873007 213098496 739 33554432000 4194304 4580107 140736598362384 18446744073709551615 4223428 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=208104 CPUtime=0 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 24 0 0 0 0 0 0 0 21 0 4 0 651873007 213098496 739 33554432000 4194304 4580107 140736598362384 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.395413 s]
/proc/loadavg: 7.64 8.12 8.15 2/283 3219
/proc/meminfo: memFree=21561004/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=292852 CPUtime=1.55 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 3207 0 0 0 154 1 0 0 18 0 4 0 651873007 299880448 2536 33554432000 4194304 4580107 140736598362384 18446744073709551615 4321192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 73213 2536 377 95 0 68195 0
[pid=3217/tid=3222] ppid=3214 vsize=292852 CPUtime=0.38 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 775 0 0 0 38 0 0 0 18 0 4 0 651873007 299880448 2536 33554432000 4194304 4580107 140736598362384 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=292852 CPUtime=0.38 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 747 0 0 0 38 0 0 0 18 0 4 0 651873007 299880448 2536 33554432000 4194304 4580107 140736598362384 18446744073709551615 4303119 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=292852 CPUtime=0.38 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 589 0 0 0 38 0 0 0 18 0 4 0 651873007 299880448 2536 33554432000 4194304 4580107 140736598362384 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 292852

[startup+0.400943 s]
/proc/loadavg: 7.64 8.12 8.15 2/283 3219
/proc/meminfo: memFree=21561004/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=284344 CPUtime=1.57 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 3227 0 0 0 156 1 0 0 18 0 4 0 651873007 291168256 2339 33554432000 4194304 4580107 140736598362384 18446744073709551615 4324252 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 71086 2339 377 95 0 66068 0
[pid=3217/tid=3222] ppid=3214 vsize=284344 CPUtime=0.38 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 786 0 0 0 38 0 0 0 18 0 4 0 651873007 291168256 2339 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=284344 CPUtime=0.39 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 751 0 0 0 39 0 0 0 18 0 4 0 651873007 291168256 2339 33554432000 4194304 4580107 140736598362384 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=284344 CPUtime=0.38 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 591 0 0 0 38 0 0 0 18 0 4 0 651873007 291168256 2339 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293155 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 284344

[startup+0.500926 s]
/proc/loadavg: 7.64 8.12 8.15 2/283 3219
/proc/meminfo: memFree=21561004/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=284820 CPUtime=1.97 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 3806 0 0 0 196 1 0 0 18 0 4 0 651873007 291655680 2243 33554432000 4194304 4580107 140736598362384 18446744073709551615 4316644 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 71205 2243 377 95 0 66187 0
[pid=3217/tid=3222] ppid=3214 vsize=284820 CPUtime=0.48 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 863 0 0 0 48 0 0 0 18 0 4 0 651873007 291655680 2243 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=284820 CPUtime=0.49 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 910 0 0 0 49 0 0 0 18 0 4 0 651873007 291655680 2243 33554432000 4194304 4580107 140736598362384 18446744073709551615 4319797 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=284820 CPUtime=0.48 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 748 0 0 0 48 0 0 0 18 0 4 0 651873007 291655680 2243 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 284820

[startup+0.700892 s]
/proc/loadavg: 7.64 8.12 8.15 2/283 3219
/proc/meminfo: memFree=21561004/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=284988 CPUtime=2.77 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 4358 0 0 0 276 1 0 0 18 0 4 0 651873007 291827712 2795 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 71247 2795 377 95 0 66229 0
[pid=3217/tid=3222] ppid=3214 vsize=284988 CPUtime=0.68 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 1006 0 0 0 68 0 0 0 18 0 4 0 651873007 291827712 2795 33554432000 4194304 4580107 140736598362384 18446744073709551615 4321312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=284988 CPUtime=0.69 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 1051 0 0 0 69 0 0 0 18 0 4 0 651873007 291827712 2795 33554432000 4194304 4580107 140736598362384 18446744073709551615 4295908 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=284988 CPUtime=0.68 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 876 0 0 0 68 0 0 0 18 0 4 0 651873007 291827712 2795 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284988

[startup+1.50075 s]
/proc/loadavg: 7.64 8.12 8.15 11/291 3228
/proc/meminfo: memFree=21531444/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=289440 CPUtime=5.96 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 8818 0 0 0 594 2 0 0 20 0 4 0 651873007 296386560 4593 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 72360 4593 379 95 0 67342 0
[pid=3217/tid=3222] ppid=3214 vsize=289440 CPUtime=1.47 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 1761 0 0 0 147 0 0 0 20 0 4 0 651873007 296386560 4593 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=289440 CPUtime=1.49 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 1805 0 0 0 149 0 0 0 20 0 4 0 651873007 296386560 4593 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=289440 CPUtime=1.48 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 1653 0 0 0 148 0 0 0 20 0 4 0 651873007 296386560 4593 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 289440

[startup+3.10047 s]
/proc/loadavg: 7.64 8.12 8.15 10/291 3228
/proc/meminfo: memFree=21495856/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=298740 CPUtime=12.34 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 18304 0 0 0 1231 3 0 0 25 0 4 0 651873007 305909760 9444 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 74685 9444 379 95 0 69667 0
[pid=3217/tid=3222] ppid=3214 vsize=298740 CPUtime=3.06 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 4087 0 0 0 306 0 0 0 25 0 4 0 651873007 305909760 9444 33554432000 4194304 4580107 140736598362384 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=298740 CPUtime=3.08 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 4831 0 0 0 308 0 0 0 25 0 4 0 651873007 305909760 9444 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=298740 CPUtime=3.08 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 4559 0 0 0 308 0 0 0 25 0 4 0 651873007 305909760 9444 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 298740

[startup+6.3009 s]
/proc/loadavg: 7.83 8.15 8.16 10/291 3228
/proc/meminfo: memFree=21467792/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=305312 CPUtime=25.11 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 28766 0 0 0 2507 4 0 0 25 0 4 0 651873007 312639488 13172 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 76328 13172 379 95 0 71310 0
[pid=3217/tid=3222] ppid=3214 vsize=305312 CPUtime=6.23 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 7360 0 0 0 623 0 0 0 25 0 4 0 651873007 312639488 13172 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=305312 CPUtime=6.29 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 7792 0 0 0 628 1 0 0 25 0 4 0 651873007 312639488 13172 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=305312 CPUtime=6.29 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 6527 0 0 0 628 1 0 0 25 0 4 0 651873007 312639488 13172 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 305312

[startup+12.7008 s]
/proc/loadavg: 7.84 8.15 8.16 10/291 3228
/proc/meminfo: memFree=21425504/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=311612 CPUtime=50.65 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 46278 0 0 0 5057 8 0 0 25 0 4 0 651873007 319090688 19047 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 77903 19047 379 95 0 72885 0
[pid=3217/tid=3222] ppid=3214 vsize=311612 CPUtime=12.57 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 11510 0 0 0 1256 1 0 0 25 0 4 0 651873007 319090688 19047 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=311612 CPUtime=12.69 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 11129 0 0 0 1267 2 0 0 25 0 4 0 651873007 319090688 19047 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=311612 CPUtime=12.68 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 11279 0 0 0 1266 2 0 0 25 0 4 0 651873007 319090688 19047 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 311612

[startup+25.5005 s]
/proc/loadavg: 7.88 8.14 8.15 11/291 3229
/proc/meminfo: memFree=21388440/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=325304 CPUtime=101.76 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 70974 0 0 0 10161 15 0 0 25 0 4 0 651873007 333111296 25174 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 81326 25174 379 95 0 76308 0
[pid=3217/tid=3222] ppid=3214 vsize=325304 CPUtime=25.26 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 18023 0 0 0 2524 2 0 0 25 0 4 0 651873007 333111296 25177 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=325304 CPUtime=25.49 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 17728 0 0 0 2546 3 0 0 25 0 4 0 651873007 333111296 25177 33554432000 4194304 4580107 140736598362384 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=325304 CPUtime=25.49 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 16276 0 0 0 2546 3 0 0 25 0 4 0 651873007 333111296 25177 33554432000 4194304 4580107 140736598362384 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 325304

[startup+51.1009 s]
/proc/loadavg: 8.05 8.16 8.16 10/291 3229
/proc/meminfo: memFree=21340624/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=401120 CPUtime=203.91 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 107624 0 0 0 20365 26 0 0 25 0 4 0 651873007 410746880 34580 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 100280 34580 379 95 0 95262 0
[pid=3217/tid=3222] ppid=3214 vsize=401120 CPUtime=50.62 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 28426 0 0 0 5057 5 0 0 25 0 4 0 651873007 410746880 34580 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=401120 CPUtime=51.09 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 26724 0 0 0 5103 6 0 0 25 0 4 0 651873007 410746880 34580 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=401120 CPUtime=51.08 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 24960 0 0 0 5102 6 0 0 25 0 4 0 651873007 410746880 34580 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 401120

[startup+102.301 s]
/proc/loadavg: 8.21 8.18 8.17 10/291 3231
/proc/meminfo: memFree=21290732/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=347412 CPUtime=408.25 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 162622 0 0 0 40780 45 0 0 25 0 4 0 651873007 355749888 41392 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 86853 41392 379 95 0 81835 0
[pid=3217/tid=3222] ppid=3214 vsize=347412 CPUtime=101.36 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 42420 0 0 0 10125 11 0 0 25 0 4 0 651873007 355749888 41392 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=347412 CPUtime=102.29 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 38998 0 0 0 10219 10 0 0 25 0 4 0 651873007 355749888 41392 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=347412 CPUtime=102.29 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 40041 0 0 0 10218 11 0 0 25 0 4 0 651873007 355749888 41392 33554432000 4194304 4580107 140736598362384 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 347412

[startup+162.301 s]

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

[pid=3217] ppid=3214 vsize=557160 CPUtime=2802.8 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 538585 0 0 0 280088 192 0 0 25 0 4 0 651873007 570531840 92866 33554432000 4194304 4580107 140736598362384 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 139290 92866 379 95 0 134272 0
[pid=3217/tid=3222] ppid=3214 vsize=557160 CPUtime=695.91 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 136684 0 0 0 69542 49 0 0 25 0 4 0 651873007 570531840 92866 33554432000 4194304 4580107 140736598362384 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=557160 CPUtime=702.28 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 130317 0 0 0 70180 48 0 0 25 0 4 0 651873007 570531840 92866 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=557160 CPUtime=702.28 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 129446 0 0 0 70183 45 0 0 25 0 4 0 651873007 570531840 92866 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2802.8
Current children cumulated vsize (KiB) 557160

[startup+762.301 s]
/proc/loadavg: 8.45 8.28 8.21 10/291 3298
/proc/meminfo: memFree=20813384/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=613632 CPUtime=3042.27 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 566698 0 0 0 304021 206 0 0 25 0 4 0 651873007 628359168 96477 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 153408 96477 379 95 0 148390 0
[pid=3217/tid=3222] ppid=3214 vsize=613632 CPUtime=755.37 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 144966 0 0 0 75484 53 0 0 25 0 4 0 651873007 628359168 96477 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=613632 CPUtime=762.28 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 138815 0 0 0 76176 52 0 0 25 0 4 0 651873007 628359168 96477 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=613632 CPUtime=762.28 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 134428 0 0 0 76180 48 0 0 25 0 4 0 651873007 628359168 96477 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3042.27
Current children cumulated vsize (KiB) 613632

[startup+822.301 s]
/proc/loadavg: 8.44 8.30 8.21 10/291 3300
/proc/meminfo: memFree=20805680/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=611044 CPUtime=3281.72 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 589766 0 0 0 327956 216 0 0 25 0 4 0 651873007 625709056 94710 33554432000 4194304 4580107 140736598362384 18446744073709551615 4305229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 152761 94710 379 95 0 147743 0
[pid=3217/tid=3222] ppid=3214 vsize=611044 CPUtime=814.82 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 151976 0 0 0 81427 55 0 0 25 0 4 0 651873007 625709056 94710 33554432000 4194304 4580107 140736598362384 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=611044 CPUtime=822.28 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 145762 0 0 0 82173 55 0 0 25 0 4 0 651873007 625709056 94710 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=611044 CPUtime=822.28 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 140093 0 0 0 82178 50 0 0 25 0 4 0 651873007 625709056 94710 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3281.72
Current children cumulated vsize (KiB) 611044

[startup+882.3 s]
/proc/loadavg: 8.48 8.33 8.23 10/291 3301
/proc/meminfo: memFree=20745640/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=640448 CPUtime=3521.18 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 616167 0 0 0 351889 229 0 0 25 0 4 0 651873007 655818752 101749 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 160112 101749 379 95 0 155094 0
[pid=3217/tid=3222] ppid=3214 vsize=640448 CPUtime=874.28 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 160626 0 0 0 87370 58 0 0 25 0 4 0 651873007 655818752 101749 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=640448 CPUtime=882.28 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 152228 0 0 0 88168 60 0 0 25 0 4 0 651873007 655818752 101749 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=640448 CPUtime=882.29 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 144607 0 0 0 88177 52 0 0 25 0 4 0 651873007 655818752 101749 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3521.18
Current children cumulated vsize (KiB) 640448

[startup+942.301 s]
/proc/loadavg: 8.35 8.32 8.23 10/291 3303
/proc/meminfo: memFree=20664280/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=719792 CPUtime=3760.63 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 643106 0 0 0 375820 243 0 0 25 0 4 0 651873007 737067008 112192 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 179948 112192 379 95 0 174930 0
[pid=3217/tid=3222] ppid=3214 vsize=719792 CPUtime=933.73 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 166915 0 0 0 93312 61 0 0 25 0 4 0 651873007 737067008 112192 33554432000 4194304 4580107 140736598362384 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=719792 CPUtime=942.28 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 159698 0 0 0 94165 63 0 0 25 0 4 0 651873007 737067008 112192 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=719792 CPUtime=942.28 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 151178 0 0 0 94173 55 0 0 25 0 4 0 651873007 737067008 112192 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3760.63
Current children cumulated vsize (KiB) 719792

[startup+1002.3 s]
/proc/loadavg: 8.29 8.30 8.23 10/291 3305
/proc/meminfo: memFree=20654696/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=720088 CPUtime=4000.11 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 668864 0 0 0 399753 258 0 0 25 0 4 0 651873007 737370112 118199 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 180022 118199 379 95 0 175004 0
[pid=3217/tid=3222] ppid=3214 vsize=720088 CPUtime=993.19 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 173302 0 0 0 99255 64 0 0 25 0 4 0 651873007 737370112 118200 33554432000 4194304 4580107 140736598362384 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=720088 CPUtime=1002.29 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 165982 0 0 0 100161 68 0 0 25 0 4 0 651873007 737370112 118200 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=720088 CPUtime=1002.3 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 157731 0 0 0 100171 59 0 0 25 0 4 0 651873007 737370112 118200 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4000.11
Current children cumulated vsize (KiB) 720088

[startup+1062.3 s]
/proc/loadavg: 8.17 8.26 8.21 10/291 3306
/proc/meminfo: memFree=20620564/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=759192 CPUtime=4239.56 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 686641 0 0 0 423690 266 0 0 25 0 4 0 651873007 777412608 117597 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 189798 117597 379 95 0 184780 0
[pid=3217/tid=3222] ppid=3214 vsize=759192 CPUtime=1052.64 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 179773 0 0 0 105198 66 0 0 25 0 4 0 651873007 777412608 117597 33554432000 4194304 4580107 140736598362384 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=759192 CPUtime=1062.28 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 171886 0 0 0 106157 71 0 0 25 0 4 0 651873007 777412608 117597 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=759192 CPUtime=1062.29 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 158475 0 0 0 106169 60 0 0 25 0 4 0 651873007 777412608 117597 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4239.56
Current children cumulated vsize (KiB) 759192

[startup+1122.31 s]
/proc/loadavg: 8.28 8.27 8.22 10/291 3308
/proc/meminfo: memFree=20617688/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=746528 CPUtime=4479.05 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 703549 0 0 0 447628 277 0 0 25 0 4 0 651873007 764444672 119185 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 186632 119185 379 95 0 181614 0
[pid=3217/tid=3222] ppid=3214 vsize=746528 CPUtime=1112.1 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 184513 0 0 0 111141 69 0 0 25 0 4 0 651873007 764444672 119185 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=746528 CPUtime=1122.29 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 177774 0 0 0 112154 75 0 0 25 0 4 0 651873007 764444672 119185 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=746528 CPUtime=1122.3 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 161964 0 0 0 112168 62 0 0 25 0 4 0 651873007 764444672 119185 33554432000 4194304 4580107 140736598362384 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4479.05
Current children cumulated vsize (KiB) 746528

[startup+1182.3 s]
/proc/loadavg: 8.22 8.25 8.21 10/291 3309
/proc/meminfo: memFree=20582700/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=694528 CPUtime=4718.47 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 719437 0 0 0 471562 285 0 0 25 0 4 0 651873007 711196672 127034 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 173632 127034 379 95 0 168614 0
[pid=3217/tid=3222] ppid=3214 vsize=694528 CPUtime=1171.55 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 190491 0 0 0 117083 72 0 0 25 0 4 0 651873007 711196672 127034 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=694528 CPUtime=1182.28 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 183157 0 0 0 118150 78 0 0 25 0 4 0 651873007 711196672 127034 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=694528 CPUtime=1182.29 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 162049 0 0 0 118167 62 0 0 25 0 4 0 651873007 711196672 127034 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4718.47
Current children cumulated vsize (KiB) 694528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.15 8.23 8.21 9/291 3310
/proc/meminfo: memFree=20591372/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=760284 CPUtime=4800.29 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 725749 0 0 0 479741 288 0 0 25 0 4 0 651873007 778530816 125911 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 190071 125911 379 95 0 185053 0
[pid=3217/tid=3222] ppid=3214 vsize=760284 CPUtime=1191.86 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 191648 0 0 0 119113 73 0 0 25 0 4 0 651873007 778530816 125912 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=760284 CPUtime=1202.79 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 185808 0 0 0 120200 79 0 0 25 0 4 0 651873007 778530816 125912 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=760284 CPUtime=1202.8 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 164554 0 0 0 120217 63 0 0 25 0 4 0 651873007 778530816 125912 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 760284

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: 8.15 8.23 8.21 9/291 3310
/proc/meminfo: memFree=20591372/32951124 swapFree=66457188/67111528
[pid=3217] ppid=3214 vsize=760284 CPUtime=4800.29 cores=1,3,5,7
/proc/3217/stat : 3217 (strangenight2-m) R 3214 3217 2765 0 -1 4202496 725749 0 0 0 479741 288 0 0 25 0 4 0 651873007 778530816 125911 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/3217/statm: 190071 125911 379 95 0 185053 0
[pid=3217/tid=3222] ppid=3214 vsize=760284 CPUtime=1191.86 cores=1,3,5,7
/proc/3217/task/3222/stat : 3222 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 191648 0 0 0 119113 73 0 0 25 0 4 0 651873007 778530816 125912 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3217/tid=3224] ppid=3214 vsize=760284 CPUtime=1202.79 cores=1,3,5,7
/proc/3217/task/3224/stat : 3224 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 185808 0 0 0 120200 79 0 0 25 0 4 0 651873007 778530816 125912 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3217/tid=3225] ppid=3214 vsize=760284 CPUtime=1202.8 cores=1,3,5,7
/proc/3217/task/3225/stat : 3225 (strangenight2-m) R 3214 3217 2765 0 -1 4202560 164554 0 0 0 120217 63 0 0 25 0 4 0 651873007 778530816 125912 33554432000 4194304 4580107 140736598362384 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 760284

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.36
CPU user time (s): 4797.45
CPU system time (s): 2.90756
CPU usage (%): 399.086
Max. virtual memory (cumulated for all children) (KiB): 824388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.45
system time used= 2.90756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 725751
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= 285
involuntary context switches= 21783

runsolver used 2.93555 second user time and 8.03178 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-14 21:52:28
IDJOB=3366371
IDBENCH=82780
IDSOLVER=1844
FILE ID=node132/3366371-1305402748
RUNJOBID= node132-1305401543-3104
PBS_JOBID= 13324471
Free space on /tmp= 73332 MiB

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

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

MD5SUM BENCH= 9ba8ad6ebe939ddb75efcc3aec0126e6
RANDOM SEED=363660716

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21561440 kB
Buffers:        277796 kB
Cached:        5564124 kB
SwapCached:       6904 kB
Active:        4772740 kB
Inactive:      6312984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21561440 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:           10892 kB
Writeback:           0 kB
AnonPages:     5241356 kB
Mapped:          18296 kB
Slab:           217916 kB
PageTables:      24328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34736420 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= 73320 MiB
End job on node132 at 2011-05-14 22:12:33