Trace number 3173962

Some explanations

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

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

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

Solver answer on this benchmark

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

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.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-3173962-1307650279.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     238 undec:      77 neg:     235
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       539      2328         0         0      7038         0   no data   no data
0.00/0.07	c Decided on static restart strategy
0.59/0.16	c  N st     8      4917       539      2328         0      4859      7038    121523   no data   no data
1.56/0.43	c  N st    10     11301       539      2328         0      4488      7038     80277   no data   no data
2.76/0.70	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.15/1.37	c Decided on static restart strategy
5.15/1.37	c  N st    18     30000       539      2328         0     10692      7038    216410   no data   no data
5.15/1.37	c  S st    18     30000       539      2328         0     10692      7038    216410   no data   no data
5.55/1.41	c  S st    18     30507       539      2328         0     11198      7038    228275   no data   no data
5.55/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.41	c blocked clauses removed:        0 vars:      0 tried:         539 T: 0.00 s
5.55/1.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
5.55/1.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.55/1.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.46	c lits-rem:        71  cl-subs:      365  v-elim:      0  v-fix:    0  time:  0.04 s
5.55/1.47	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
5.55/1.47	c calculated reachability. Time: 0.00
5.55/1.47	c  N st    18     30507       539      2328         0     10833      7038    217814   no data   no data
7.15/1.87	c  N st    20     37619       539      2328         0     10082      7038    170937   no data   no data
8.77/2.26	c  N st    21     44018       539      2328         0     16399      7038    336582   no data   no data
9.17/2.38	c  S st    22     45760       539      2328         0      9315      7038    137923   no data   no data
9.55/2.41	c  S st    22     46266       539      2328         0      9821      7038    149714   no data   no data
9.55/2.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
9.55/2.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.55/2.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.43	c lits-rem:        39  cl-subs:       51  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.43	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
9.55/2.43	c vivif2 --  cl tried     9770 cl shrink        0 lits rem          0 time: 0.00
9.55/2.43	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
9.55/2.43	c calculated reachability. Time: 0.00
9.55/2.43	c  N st    22     46266       539      2328         0      9770      7038    148530   no data   no data
13.16/3.40	c  N st    23     60665       539      2328         0     14143      7038    247762   no data   no data
15.94/4.00	c  N st    24     69400       539      2328         0     11918      7038    181578   no data   no data
15.94/4.00	c  S st    24     69400       539      2328         0     11918      7038    181578   no data   no data
15.94/4.04	c  S st    24     69903       539      2328         0     12419      7038    193628   no data   no data
15.94/4.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.94/4.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.94/4.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
15.94/4.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.94/4.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.94/4.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.07	c lits-rem:        41  cl-subs:       95  v-elim:      0  v-fix:    0  time:  0.02 s
15.94/4.07	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
15.94/4.07	c vivif2 --  cl tried    12324 cl shrink        0 lits rem          0 time: 0.00
15.94/4.08	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
15.94/4.08	c calculated reachability. Time: 0.00
15.94/4.08	c  N st    24     69903       539      2328         0     12324      7038    191053   no data   no data
21.13/5.37	c  F st    25     87500       539      2328         0     17780      7038    332758   no data   no data
21.13/5.37	c  N st    25     87500       539      2328         0     17780      7038    332758   no data   no data
22.72/5.76	c Decided on static restart strategy
23.92/6.02	c  N st    32     95537       539      2328         0     12925      7038    181288   no data   no data
26.34/6.68	c  N st    34    104856       539      2328         0     22049      7038    403012   no data   no data
26.34/6.68	c  S st    34    104856       539      2328         0     22049      7038    403012   no data   no data
26.74/6.73	c  S st    34    105365       539      2328         0     22557      7038    414588   no data   no data
26.74/6.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.74/6.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.74/6.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
26.74/6.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.74/6.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.74/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.52/6.92	c lits-rem:       147  cl-subs:      928  v-elim:      0  v-fix:    0  time:  0.16 s
27.52/6.92	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
27.52/6.93	c vivif2 --  cl tried    21629 cl shrink        0 lits rem          0 time: 0.00
27.52/6.94	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
27.52/6.94	c calculated reachability. Time: 0.00
27.52/6.94	c  N st    34    105365       539      2328         0     21629      7038    391372   no data   no data
30.73/7.77	c  N st    35    114963       539      2328         0     17350      7038    269060   no data   no data
36.31/9.18	c  N st    36    129361       539      2328         0     16728      7038    235045   no data   no data
44.31/11.13	c  N st    37    150957       539      2328         0     22186      7038    360724   no data   no data
47.10/11.85	c  S st    38    158047       539      2328         0     29128      7038    540722   no data   no data
47.50/11.93	c  S st    38    158551       539      2328         0     29631      7038    552492   no data   no data
47.50/11.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.50/11.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.50/11.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.50/11.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.50/11.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.50/11.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
47.50/11.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.50/11.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.50/11.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.49/12.40	c lits-rem:       149  cl-subs:     1374  v-elim:      0  v-fix:    0  time:  0.44 s
49.49/12.40	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
49.49/12.41	c vivif2 --  cl tried    28257 cl shrink        0 lits rem          0 time: 0.01
49.49/12.43	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
49.49/12.43	c calculated reachability. Time: 0.00
49.49/12.43	c  N st    38    158551       539      2328         0     28257      7038    516111   no data   no data
67.86/17.04	c  N st    39    207140       539      2328         0     23066      7038    349468   no data   no data
81.44/20.48	c  N st    40    237826       539      2328         0     33404      7038    586964   no data   no data
81.44/20.48	c  S st    40    237826       539      2328         0     33404      7038    586964   no data   no data
81.84/20.57	c  S st    40    238332       539      2328         0     33910      7038    598876   no data   no data
81.84/20.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.84/20.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.84/20.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.84/20.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.84/20.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.84/20.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
81.84/20.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.84/20.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.24/20.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.24/21.18	c lits-rem:       303  cl-subs:     1654  v-elim:      0  v-fix:    0  time:  0.56 s
84.24/21.18	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
84.24/21.18	c vivif2 --  cl tried    32256 cl shrink        0 lits rem          0 time: 0.01
84.64/21.21	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
84.64/21.21	c calculated reachability. Time: 0.00
84.64/21.21	c  N st    40    238332       539      2328         0     32256      7038    556647   no data   no data
117.40/29.43	c  F st    41    306251       539      2328         0     34167      7038    572098   no data   no data
117.40/29.43	c  N st    41    306251       539      2328         0     34167      7038    572098   no data   no data
119.79/30.06	c Decided on static restart strategy
131.79/33.07	c  N st    51    334555       539      2328         0     38381      7038    637415   no data   no data
143.76/36.09	c  N st    53    357499       539      2328         0     36418      7038    575608   no data   no data
143.76/36.09	c  S st    53    357499       539      2328         0     36418      7038    575608   no data   no data
144.15/36.19	c  S st    53    358005       539      2328         0     36924      7038    587793   no data   no data
144.15/36.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.55/36.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
144.55/36.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.55/36.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.55/36.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.55/36.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
144.55/36.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.55/36.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.55/36.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.15/36.60	c lits-rem:       391  cl-subs:     1282  v-elim:      0  v-fix:    0  time:  0.36 s
146.15/36.60	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
146.15/36.60	c vivif2 --  cl tried    35642 cl shrink        0 lits rem          0 time: 0.01
146.15/36.63	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
146.15/36.63	c calculated reachability. Time: 0.00
146.15/36.63	c  N st    53    358005       539      2328         0     35642      7038    555490   no data   no data
162.55/40.80	c  N st    54    390397       539      2328         0     41805      7038    678403   no data   no data
191.29/47.95	c  N st    55    438987       539      2328         0     35533      7038    503601   no data   no data
234.43/58.77	c  N st    56    511870       539      2328         0     49176      7038    836956   no data   no data
248.42/62.24	c  N st    57    537011       539      2328         0     43434      7038    670010   no data   no data
248.42/62.24	c  S st    57    537011       539      2328         0     43434      7038    670010   no data   no data
248.81/62.36	c  S st    57    537515       539      2328         0     43938      7038    682968   no data   no data
248.81/62.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
248.81/62.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
248.81/62.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
248.81/62.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
248.81/62.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
248.81/62.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
248.81/62.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
248.81/62.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
249.21/62.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.61/63.02	c lits-rem:       301  cl-subs:     1585  v-elim:      0  v-fix:    0  time:  0.60 s
251.61/63.02	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
251.61/63.03	c vivif2 --  cl tried    42353 cl shrink        0 lits rem          0 time: 0.01
251.61/63.06	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.03
251.61/63.06	c calculated reachability. Time: 0.00
251.61/63.06	c  N st    57    537515       539      2328         0     42353      7038    640874   no data   no data
363.46/91.09	c  N st    58    701500       539      2328         0     36403      7038    394652   no data   no data
439.77/110.13	c  N st    59    806273       539      2328         0     65708      7038   1139741   no data   no data
439.77/110.13	c  S st    59    806273       539      2328         0     65708      7038   1139741   no data   no data
440.55/110.32	c  S st    59    806779       539      2328         0     66213      7038   1151944   no data   no data
440.55/110.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
440.55/110.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
440.55/110.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
440.55/110.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
440.55/110.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.55/110.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
440.55/110.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
440.55/110.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
440.95/110.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.14/113.24	c lits-rem:       490  cl-subs:     3762  v-elim:      0  v-fix:    0  time:  2.84 s
452.14/113.24	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
452.14/113.26	c vivif2 --  cl tried    62451 cl shrink        0 lits rem          0 time: 0.01
452.55/113.31	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.06
452.55/113.32	c calculated reachability. Time: 0.00
452.55/113.32	c  N st    59    806779       539      2328         0     62451      7038   1056018   no data   no data
671.04/168.00	c  F st    60   1071875       539      2328         0     78152      7038   1320349   no data   no data
671.04/168.00	c  N st    60   1071875       539      2328         0     78152      7038   1320349   no data   no data
676.23/169.39	c Decided on static restart strategy
695.40/174.18	c  N st    70   1100178       539      2328         0     61819      7038    885883   no data   no data
732.55/183.45	c  N st    72   1136170       539      2328         0     51932      7038    612052   no data   no data
759.32/190.17	c  N st    73   1168562       539      2328         0     83570      7038   1418390   no data   no data
798.86/200.04	c  N st    74   1210168       539      2328         0     78314      7038   1269243   no data   no data
798.86/200.04	c  S st    74   1210168       539      2328         0     78314      7038   1269243   no data   no data
800.08/200.30	c  S st    74   1210670       539      2328         0     78816      7038   1281143   no data   no data
800.08/200.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
800.08/200.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
800.08/200.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
800.08/200.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
800.08/200.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
800.08/200.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
800.08/200.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
800.08/200.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
800.46/200.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
819.64/205.28	c lits-rem:       342  cl-subs:     4017  v-elim:      0  v-fix:    0  time:  4.88 s
819.64/205.28	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
820.03/205.30	c vivif2 --  cl tried    74799 cl shrink        0 lits rem          0 time: 0.02
820.03/205.40	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.10
820.43/205.40	c calculated reachability. Time: 0.00
820.43/205.40	c  N st    74   1210670       539      2328         0     74799      7038   1179944   no data   no data
891.54/223.21	c  N st    75   1283552       539      2328         0     51401      7038    551637   no data   no data
1014.18/253.95	c  N st    76   1392875       539      2328         0     59491      7038    725876   no data   no data
1176.75/294.64	c  N st    77   1556859       539      2328         0     64421      7038    795454   no data   no data
1345.72/336.96	c  N st    78   1710672       539      2328         0    106351      7038   1847463   no data   no data
1345.72/336.96	c  S st    78   1710672       539      2328         0    106351      7038   1847463   no data   no data
1347.32/337.33	c  S st    78   1711174       539      2328         0    106853      7038   1860192   no data   no data
1347.32/337.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1347.32/337.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1347.32/337.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1347.32/337.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1347.32/337.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1347.32/337.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
1347.32/337.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1347.72/337.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1347.72/337.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1384.48/346.64	c lits-rem:       787  cl-subs:     5645  v-elim:      0  v-fix:    0  time:  9.16 s
1384.48/346.64	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
1384.48/346.67	c vivif2 --  cl tried   101208 cl shrink        0 lits rem          0 time: 0.02
1384.86/346.78	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.11
1384.86/346.78	c calculated reachability. Time: 0.00
1384.86/346.78	c  N st    78   1711174       539      2328         0    101208      7038   1721184   no data   no data
1809.08/452.94	c  N st    79   2080138       539      2328         0    112908      7038   1987804   no data   no data
1967.27/492.51	c  N st    80   2211174       539      2328         0    116765      7038   2027273   no data   no data
1967.27/492.51	c  S st    80   2211174       539      2328         0    116765      7038   2027273   no data   no data
1968.88/492.94	c  S st    80   2211676       539      2328         0    117266      7038   2039197   no data   no data
1968.88/492.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1969.26/493.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1969.26/493.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1969.26/493.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1969.26/493.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1969.26/493.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
1969.26/493.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1969.26/493.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1969.65/493.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2020.00/505.73	c lits-rem:       901  cl-subs:     6546  v-elim:      0  v-fix:    0  time: 12.63 s
2020.00/505.73	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
2020.00/505.76	c vivif2 --  cl tried   110720 cl shrink        0 lits rem          0 time: 0.03
2020.40/505.88	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.12
2020.40/505.88	c calculated reachability. Time: 0.00
2020.40/505.88	c  N st    80   2211676       539      2328         0    110720      7038   1870435   no data   no data
2627.58/657.85	c  N st    81   2711676       539      2328         0    134004      7038   2391085   no data   no data
2627.58/657.85	c  S st    81   2711676       539      2328         0    134004      7038   2391085   no data   no data
2629.56/658.34	c  S st    81   2712182       539      2328         0    134508      7038   2403483   no data   no data
2629.56/658.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2629.96/658.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2629.96/658.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2629.96/658.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2629.96/658.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2629.96/658.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
2629.96/658.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2629.96/658.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2630.36/658.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2712.25/679.07	c lits-rem:      1262  cl-subs:     9139  v-elim:      0  v-fix:    0  time: 20.53 s
2712.25/679.07	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
2712.65/679.10	c vivif2 --  cl tried   125369 cl shrink        0 lits rem          0 time: 0.03
2713.05/679.23	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.13
2713.05/679.23	c calculated reachability. Time: 0.00
2713.05/679.23	c  N st    81   2712182       539      2328         0    125369      7038   2184967   no data   no data
3460.44/866.32	c  N st    82   3212182       539      2328         0    101606      7038   1392864   no data   no data
3460.44/866.32	c  S st    82   3212182       539      2328         0    101606      7038   1392864   no data   no data
3461.64/866.65	c  S st    82   3212685       539      2328         0    102108      7038   1405631   no data   no data
3461.64/866.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3462.04/866.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3462.04/866.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3462.04/866.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3462.04/866.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3462.04/866.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
3462.04/866.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3462.04/866.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3462.04/866.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3472.01/869.22	c lits-rem:       398  cl-subs:     2571  v-elim:      0  v-fix:    0  time:  2.44 s
3472.01/869.22	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
3472.01/869.24	c vivif2 --  cl tried    99537 cl shrink        0 lits rem          0 time: 0.02
3472.41/869.34	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.10
3472.41/869.35	c calculated reachability. Time: 0.00
3472.41/869.35	c  N st    82   3212685       539      2328         0     99537      7038   1339749   no data   no data
4253.78/1064.92	c  N st    83   3712685       539      2328         0    110259      7038   1550995   no data   no data
4253.78/1064.92	c  S st    83   3712685       539      2328         0    110259      7038   1550995   no data   no data
4254.95/1065.29	c  S st    83   3713187       539      2328         0    110761      7038   1564878   no data   no data
4255.35/1065.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4255.35/1065.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4255.35/1065.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4255.35/1065.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4255.35/1065.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4255.35/1065.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
4255.35/1065.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4255.35/1065.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4255.75/1065.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4269.73/1068.90	c lits-rem:       269  cl-subs:     3135  v-elim:      0  v-fix:    0  time:  3.47 s
4269.73/1068.90	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
4269.73/1068.92	c vivif2 --  cl tried   107626 cl shrink        0 lits rem          0 time: 0.02
4270.13/1069.04	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.11
4270.13/1069.04	c calculated reachability. Time: 0.00
4270.13/1069.04	c  N st    83   3713187       539      2328         0    107626      7038   1482593   no data   no data
4336.04/1085.50	c  F st    84   3751562       539      2328         0    145246      7038   2493589   no data   no data
4336.04/1085.50	c  N st    84   3751562       539      2328         0    145246      7038   2493589   no data   no data
4348.42/1088.61	c Decided on static restart strategy
4401.95/1102.03	c  N st    94   3779866       539      2328         0     89907      7038    923417   no data   no data
4456.27/1115.62	c  N st    96   3815863       539      2328         0    125055      7038   1795556   no data   no data
4515.39/1130.49	c  N st    97   3848255       539      2328         0    156857      7038   2615234   no data   no data
4582.11/1147.18	c  N st    98   3896844       539      2328         0    120310      7038   1743057   no data   no data
4711.52/1179.59	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: 977)

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-3173962-1307650279/watcher-3173962-1307650279 -o /tmp/evaluation-result-3173962-1307650279/solver-3173962-1307650279 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173962-1307650279.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: 0.92 1.04 1.38 3/176 29659
/proc/meminfo: memFree=32145072/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=30724 CPUtime=0 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 404 0 1 0 0 0 0 0 21 0 2 0 955258613 31461376 345 33554432000 4194304 4627427 140735616581904 18446744073709551615 256415448049 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 7681 345 299 106 0 2652 0
[pid=29657/tid=29660] ppid=29654 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 955258614 52441088 347 33554432000 4194304 4627427 140735616581904 18446744073709551615 47859921237938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 955258614 52441088 347 33554432000 4194304 4627427 140735616581904 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 955258614 52441088 347 33554432000 4194304 4627427 140735616581904 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.15951 s]
/proc/loadavg: 0.92 1.04 1.38 3/176 29659
/proc/meminfo: memFree=32145072/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=282488 CPUtime=0.59 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 1947 0 1 0 59 0 0 0 18 0 4 0 955258613 289267712 1854 33554432000 4194304 4627427 140735616581904 18446744073709551615 4332830 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 70622 1854 384 106 0 65593 0
[pid=29657/tid=29660] ppid=29654 vsize=282488 CPUtime=0.15 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 401 0 0 0 15 0 0 0 18 0 4 0 955258614 289267712 1854 33554432000 4194304 4627427 140735616581904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=282488 CPUtime=0.14 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 375 0 0 0 14 0 0 0 24 0 4 0 955258614 289267712 1854 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=282488 CPUtime=0.14 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 331 0 0 0 14 0 0 0 18 0 4 0 955258614 289267712 1854 33554432000 4194304 4627427 140735616581904 18446744073709551615 256415052833 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 282488

[startup+0.207757 s]
/proc/loadavg: 0.92 1.04 1.38 3/176 29659
/proc/meminfo: memFree=32145072/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=283708 CPUtime=0.78 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 2398 0 1 0 78 0 0 0 18 0 4 0 955258613 290516992 1717 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 70927 1718 385 106 0 65898 0
[pid=29657/tid=29660] ppid=29654 vsize=283708 CPUtime=0.2 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 514 0 0 0 20 0 0 0 18 0 4 0 955258614 290516992 1718 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=283708 CPUtime=0.19 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 490 0 0 0 19 0 0 0 24 0 4 0 955258614 290516992 1718 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=283708 CPUtime=0.19 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 441 0 0 0 19 0 0 0 18 0 4 0 955258614 290516992 1718 33554432000 4194304 4627427 140735616581904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283708

[startup+0.30074 s]
/proc/loadavg: 0.92 1.04 1.38 3/176 29659
/proc/meminfo: memFree=32145072/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=283884 CPUtime=1.16 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 2801 0 1 0 116 0 0 0 18 0 4 0 955258613 290697216 2120 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 70971 2120 385 106 0 65942 0
[pid=29657/tid=29660] ppid=29654 vsize=283884 CPUtime=0.29 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 613 0 0 0 29 0 0 0 18 0 4 0 955258614 290697216 2120 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=283884 CPUtime=0.28 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 589 0 0 0 28 0 0 0 25 0 4 0 955258614 290697216 2120 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=283884 CPUtime=0.28 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 545 0 0 0 28 0 0 0 18 0 4 0 955258614 290697216 2120 33554432000 4194304 4627427 140735616581904 18446744073709551615 4330236 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283884

[startup+0.700665 s]
/proc/loadavg: 0.92 1.04 1.38 3/176 29659
/proc/meminfo: memFree=32145072/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=284852 CPUtime=2.76 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 4354 0 1 0 275 1 0 0 18 0 4 0 955258613 291688448 2781 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 71213 2781 385 106 0 66184 0
[pid=29657/tid=29660] ppid=29654 vsize=284852 CPUtime=0.69 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 1010 0 0 0 69 0 0 0 18 0 4 0 955258614 291688448 2781 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=284852 CPUtime=0.68 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 979 0 0 0 68 0 0 0 25 0 4 0 955258614 291688448 2781 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=284852 CPUtime=0.68 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 924 0 0 0 68 0 0 0 18 0 4 0 955258614 291688448 2781 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284852

[startup+1.50052 s]
/proc/loadavg: 0.92 1.04 1.38 10/184 29667
/proc/meminfo: memFree=32120464/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=291952 CPUtime=5.96 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 8802 0 1 0 594 2 0 0 20 0 4 0 955258613 298958848 4759 33554432000 4194304 4627427 140735616581904 18446744073709551615 4333362 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 72988 4759 389 106 0 67959 0
[pid=29657/tid=29660] ppid=29654 vsize=291952 CPUtime=1.48 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 1767 0 0 0 148 0 0 0 20 0 4 0 955258614 298958848 4759 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=291952 CPUtime=1.48 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 1734 0 0 0 148 0 0 0 25 0 4 0 955258614 298958848 4759 33554432000 4194304 4627427 140735616581904 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=291952 CPUtime=1.48 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 1703 0 0 0 148 0 0 0 20 0 4 0 955258614 298958848 4759 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 291952

[startup+3.10021 s]
/proc/loadavg: 0.92 1.04 1.38 10/184 29667
/proc/meminfo: memFree=32081652/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=292808 CPUtime=12.35 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 18181 0 1 0 1231 4 0 0 25 0 4 0 955258613 299835392 9311 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 73202 9311 389 106 0 68173 0
[pid=29657/tid=29660] ppid=29654 vsize=292808 CPUtime=3.07 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 4113 0 0 0 307 0 0 0 25 0 4 0 955258614 299835392 9311 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=292808 CPUtime=3.07 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 4760 0 0 0 307 0 0 0 25 0 4 0 955258614 299835392 9311 33554432000 4194304 4627427 140735616581904 18446744073709551615 4305784 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=292808 CPUtime=3.08 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 4629 0 0 0 307 1 0 0 25 0 4 0 955258614 299835392 9311 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 292808

[startup+6.30061 s]
/proc/loadavg: 1.49 1.15 1.42 10/184 29667
/proc/meminfo: memFree=32058136/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=295076 CPUtime=25.13 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 29127 0 1 0 2508 5 0 0 25 0 4 0 955258613 302157824 12586 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 73769 12586 389 106 0 68740 0
[pid=29657/tid=29660] ppid=29654 vsize=295076 CPUtime=6.26 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 7586 0 0 0 625 1 0 0 25 0 4 0 955258614 302157824 12586 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=295076 CPUtime=6.28 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 7917 0 0 0 627 1 0 0 25 0 4 0 955258614 302157824 12587 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=295076 CPUtime=6.28 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 6598 0 0 0 627 1 0 0 25 0 4 0 955258614 302157824 12587 33554432000 4194304 4627427 140735616581904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 295076

[startup+12.7004 s]
/proc/loadavg: 2.09 1.28 1.46 10/184 29667
/proc/meminfo: memFree=32016584/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=307588 CPUtime=50.69 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 46608 0 1 0 5061 8 0 0 25 0 4 0 955258613 314970112 19172 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 76897 19172 389 106 0 71868 0
[pid=29657/tid=29660] ppid=29654 vsize=307588 CPUtime=12.61 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 11599 0 0 0 1260 1 0 0 25 0 4 0 955258614 314970112 19172 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=307588 CPUtime=12.67 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 11297 0 0 0 1266 1 0 0 25 0 4 0 955258614 314970112 19172 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=307588 CPUtime=12.68 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 11445 0 0 0 1267 1 0 0 25 0 4 0 955258614 314970112 19172 33554432000 4194304 4627427 140735616581904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 307588

[startup+25.501 s]
/proc/loadavg: 3.47 1.63 1.57 10/184 29668
/proc/meminfo: memFree=31971316/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=315444 CPUtime=101.81 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 71660 0 1 0 10168 13 0 0 25 0 4 0 955258613 323014656 25587 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 78861 25587 389 106 0 73832 0
[pid=29657/tid=29660] ppid=29654 vsize=315444 CPUtime=25.34 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 18433 0 0 0 2531 3 0 0 25 0 4 0 955258614 323014656 25587 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=315444 CPUtime=25.48 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 18042 0 0 0 2546 2 0 0 25 0 4 0 955258614 323014656 25587 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=315444 CPUtime=25.48 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 16488 0 0 0 2546 2 0 0 25 0 4 0 955258614 323014656 25587 33554432000 4194304 4627427 140735616581904 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 315444

[startup+51.1012 s]
/proc/loadavg: 5.02 2.14 1.74 10/184 29668
/proc/meminfo: memFree=31922980/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=310672 CPUtime=204.07 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 108880 0 1 0 20386 21 0 0 25 0 4 0 955258613 318128128 34133 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 77668 34133 389 106 0 72639 0
[pid=29657/tid=29660] ppid=29654 vsize=310672 CPUtime=50.81 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 28838 0 0 0 5076 5 0 0 25 0 4 0 955258614 318128128 34133 33554432000 4194304 4627427 140735616581904 18446744073709551615 4332166 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=310672 CPUtime=51.08 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 28005 0 0 0 5104 4 0 0 25 0 4 0 955258614 318128128 34133 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=310672 CPUtime=51.07 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 25184 0 0 0 5102 5 0 0 25 0 4 0 955258614 318128128 34133 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 310672

[startup+102.3 s]
/proc/loadavg: 6.80 3.07 2.07 10/184 29670
/proc/meminfo: memFree=31857844/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=328228 CPUtime=408.61 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 161478 0 1 0 40825 36 0 0 25 0 4 0 955258613 336105472 42269 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 82057 42269 389 106 0 77028 0
[pid=29657/tid=29660] ppid=29654 vsize=328228 CPUtime=101.73 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 40729 0 0 0 10165 8 0 0 25 0 4 0 955258614 336105472 42269 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=328228 CPUtime=102.28 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 40090 0 0 0 10221 7 0 0 25 0 4 0 955258614 336105472 42269 33554432000 4194304 4627427 140735616581904 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=328228 CPUtime=102.28 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 39974 0 0 0 10219 9 0 0 25 0 4 0 955258614 336105472 42269 33554432000 4194304 4627427 140735616581904 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 328228

[startup+162.301 s]

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

[pid=29657] ppid=29654 vsize=549516 CPUtime=2565.65 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 497430 0 1 0 256413 152 0 0 25 0 4 0 955258613 562704384 88604 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308282 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 137379 88604 389 106 0 132350 0
[pid=29657/tid=29660] ppid=29654 vsize=549516 CPUtime=638.81 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 126595 0 0 0 63843 38 0 0 25 0 4 0 955258614 562704384 88605 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=549516 CPUtime=642.3 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 128456 0 0 0 64193 37 0 0 25 0 4 0 955258614 562704384 88605 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=549516 CPUtime=642.28 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 125178 0 0 0 64187 41 0 0 25 0 4 0 955258614 562704384 88605 33554432000 4194304 4627427 140735616581904 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.65
Current children cumulated vsize (KiB) 549516

[startup+702.301 s]
/proc/loadavg: 8.09 7.40 4.90 10/184 29768
/proc/meminfo: memFree=31526500/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=556352 CPUtime=2805.33 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 522742 0 1 0 280373 160 0 0 25 0 4 0 955258613 569704448 91611 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 139088 91611 389 106 0 134059 0
[pid=29657/tid=29660] ppid=29654 vsize=556352 CPUtime=698.48 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 134379 0 0 0 69808 40 0 0 25 0 4 0 955258614 569704448 91611 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=556352 CPUtime=702.3 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 134985 0 0 0 70191 39 0 0 25 0 4 0 955258614 569704448 91611 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=556352 CPUtime=702.28 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 134692 0 0 0 70184 44 0 0 25 0 4 0 955258614 569704448 91611 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 556352

[startup+762.301 s]
/proc/loadavg: 8.14 7.54 5.11 9/184 29769
/proc/meminfo: memFree=31473756/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=581560 CPUtime=3045.02 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 552501 0 1 0 304331 171 0 0 25 0 4 0 955258613 595517440 98724 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 145390 98724 389 106 0 140361 0
[pid=29657/tid=29660] ppid=29654 vsize=581560 CPUtime=758.16 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 141809 0 0 0 75773 43 0 0 25 0 4 0 955258614 595517440 98724 33554432000 4194304 4627427 140735616581904 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=581560 CPUtime=762.3 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 143715 0 0 0 76188 42 0 0 25 0 4 0 955258614 595517440 98724 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=581560 CPUtime=762.29 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 141940 0 0 0 76183 46 0 0 25 0 4 0 955258614 595517440 98724 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 581560

[startup+822.3 s]
/proc/loadavg: 8.12 7.64 5.29 9/184 29771
/proc/meminfo: memFree=31457468/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=582312 CPUtime=3284.67 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 574141 0 1 0 328286 181 0 0 25 0 4 0 955258613 596287488 100987 33554432000 4194304 4627427 140735616581904 18446744073709551615 4299701 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 145578 100987 389 106 0 140549 0
[pid=29657/tid=29660] ppid=29654 vsize=582312 CPUtime=817.83 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 148806 0 0 0 81737 46 0 0 25 0 4 0 955258614 596287488 100987 33554432000 4194304 4627427 140735616581904 18446744073709551615 4469165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=582312 CPUtime=822.3 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 150985 0 0 0 82184 46 0 0 25 0 4 0 955258614 596287488 100987 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=582312 CPUtime=822.28 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 148828 0 0 0 82179 49 0 0 25 0 4 0 955258614 596287488 100987 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 582312

[startup+882.307 s]
/proc/loadavg: 8.10 7.71 5.46 9/184 29773
/proc/meminfo: memFree=31416116/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=648064 CPUtime=3524.37 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 599871 0 1 0 352247 190 0 0 25 0 4 0 955258613 663617536 111305 33554432000 4194304 4627427 140735616581904 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 162016 111305 389 106 0 156987 0
[pid=29657/tid=29660] ppid=29654 vsize=648064 CPUtime=877.51 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 157754 0 0 0 87702 49 0 0 25 0 4 0 955258614 663617536 111305 33554432000 4194304 4627427 140735616581904 18446744073709551615 4333536 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=648064 CPUtime=882.31 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 157499 0 0 0 88182 49 0 0 25 0 4 0 955258614 663617536 111305 33554432000 4194304 4627427 140735616581904 18446744073709551615 4302467 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=648064 CPUtime=882.29 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 158833 0 0 0 88177 52 0 0 25 0 4 0 955258614 663617536 111305 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 648064

[startup+942.301 s]
/proc/loadavg: 8.08 7.78 5.62 9/184 29774
/proc/meminfo: memFree=31376888/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=648936 CPUtime=3764.01 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 621874 0 1 0 376202 199 0 0 25 0 4 0 955258613 664510464 112434 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 162234 112434 389 106 0 157205 0
[pid=29657/tid=29660] ppid=29654 vsize=648936 CPUtime=937.18 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 164114 0 0 0 93666 52 0 0 25 0 4 0 955258614 664510464 112434 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=648936 CPUtime=942.3 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 166193 0 0 0 94179 51 0 0 25 0 4 0 955258614 664510464 112434 33554432000 4194304 4627427 140735616581904 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=648936 CPUtime=942.29 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 165563 0 0 0 94173 56 0 0 25 0 4 0 955258614 664510464 112434 33554432000 4194304 4627427 140735616581904 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 648936

[startup+1002.3 s]
/proc/loadavg: 8.07 7.83 5.77 9/184 29776
/proc/meminfo: memFree=31387372/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=649172 CPUtime=4003.69 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 640834 0 1 0 400163 206 0 0 25 0 4 0 955258613 664752128 114498 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308599 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 162293 114498 389 106 0 157264 0
[pid=29657/tid=29660] ppid=29654 vsize=649172 CPUtime=996.86 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 170413 0 0 0 99632 54 0 0 25 0 4 0 955258614 664752128 114498 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=649172 CPUtime=1002.3 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 171750 0 0 0 100176 54 0 0 25 0 4 0 955258614 664752128 114498 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=649172 CPUtime=1002.29 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 172308 0 0 0 100171 58 0 0 25 0 4 0 955258614 664752128 114498 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 649172

[startup+1062.3 s]
/proc/loadavg: 8.13 7.89 5.92 9/184 29777
/proc/meminfo: memFree=31363636/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=649832 CPUtime=4243.36 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 662139 0 1 0 424122 214 0 0 25 0 4 0 955258613 665427968 119887 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 162458 119887 389 106 0 157429 0
[pid=29657/tid=29660] ppid=29654 vsize=649832 CPUtime=1056.53 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 176866 0 0 0 105597 56 0 0 25 0 4 0 955258614 665427968 119887 33554432000 4194304 4627427 140735616581904 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=649832 CPUtime=1062.3 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 177888 0 0 0 106173 57 0 0 25 0 4 0 955258614 665427968 119887 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=649832 CPUtime=1062.29 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 180392 0 0 0 106168 61 0 0 25 0 4 0 955258614 665427968 119887 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 649832

[startup+1122.3 s]
/proc/loadavg: 8.08 7.92 6.05 9/184 29779
/proc/meminfo: memFree=31332092/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=702612 CPUtime=4483.03 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 681809 0 1 0 448082 221 0 0 25 0 4 0 955258613 719474688 120775 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 175653 120775 389 106 0 170624 0
[pid=29657/tid=29660] ppid=29654 vsize=702612 CPUtime=1116.2 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 182553 0 0 0 111563 57 0 0 25 0 4 0 955258614 719474688 120775 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=702612 CPUtime=1122.31 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 185907 0 0 0 112171 60 0 0 25 0 4 0 955258614 719474688 120775 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=702612 CPUtime=1122.29 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 186025 0 0 0 112166 63 0 0 25 0 4 0 955258614 719474688 120775 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 702612

[startup+1182.3 s]
/proc/loadavg: 8.06 7.94 6.18 9/184 29781
/proc/meminfo: memFree=31332772/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=755996 CPUtime=4722.72 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 697538 0 1 0 472042 230 0 0 25 0 4 0 955258613 774139904 128959 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 188999 128959 389 106 0 183970 0
[pid=29657/tid=29660] ppid=29654 vsize=755996 CPUtime=1175.88 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 187514 0 0 0 117528 60 0 0 25 0 4 0 955258614 774139904 128959 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=755996 CPUtime=1182.31 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 191518 0 0 0 118168 63 0 0 25 0 4 0 955258614 774139904 128959 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=755996 CPUtime=1182.29 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 190640 0 0 0 118164 65 0 0 25 0 4 0 955258614 774139904 128959 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.72
Current children cumulated vsize (KiB) 755996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.05 7.95 6.21 9/184 29781
/proc/meminfo: memFree=31361520/32950928 swapFree=67056212/67111528
[pid=29657] ppid=29654 vsize=624592 CPUtime=4800.22 cores=0,2,4,6
/proc/29657/stat : 29657 (strangenight2-m) R 29654 29657 27745 0 -1 4202496 703550 0 1 0 479790 232 0 0 25 0 4 0 955258613 639582208 121132 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29657/statm: 156148 121132 389 106 0 151119 0
[pid=29657/tid=29660] ppid=29654 vsize=624592 CPUtime=1195.17 cores=0,2,4,6
/proc/29657/task/29660/stat : 29660 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 188409 0 0 0 119456 61 0 0 25 0 4 0 955258614 639582208 121132 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29657/tid=29664] ppid=29654 vsize=624592 CPUtime=1201.72 cores=0,2,4,6
/proc/29657/task/29664/stat : 29664 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 194193 0 0 0 120108 64 0 0 25 0 4 0 955258614 639582208 121132 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29657/tid=29665] ppid=29654 vsize=624592 CPUtime=1201.69 cores=0,2,4,6
/proc/29657/task/29665/stat : 29665 (strangenight2-m) R 29654 29657 27745 0 -1 4202560 193082 0 0 0 120104 65 0 0 25 0 4 0 955258614 639582208 121132 33554432000 4194304 4627427 140735616581904 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 624592

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.27
CPU user time (s): 4797.92
CPU system time (s): 2.34864
CPU usage (%): 399.445
Max. virtual memory (cumulated for all children) (KiB): 799508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.92
system time used= 2.34864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 703551
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 247
involuntary context switches= 24343

runsolver used 1.92971 second user time and 4.64429 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-09 22:11:19
IDJOB=3173962
IDBENCH=82780
IDSOLVER=1586
FILE ID=node115/3173962-1307650279
RUNJOBID= node115-1307650279-29632
PBS_JOBID= 13549376
Free space on /tmp= 74168 MiB

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

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

MD5SUM BENCH= 9ba8ad6ebe939ddb75efcc3aec0126e6
RANDOM SEED=624344709

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32146804 kB
Buffers:        207988 kB
Cached:         388176 kB
SwapCached:       9444 kB
Active:         321000 kB
Inactive:       293892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32146804 kB
SwapTotal:    67111528 kB
SwapFree:     67056212 kB
Dirty:           10912 kB
Writeback:           0 kB
AnonPages:       16824 kB
Mapped:          12828 kB
Slab:           124116 kB
PageTables:       4424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189576 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74156 MiB
End job on node115 at 2011-06-09 22:31:23