Trace number 3174239

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.31 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf
MD5SUMc3d1d9237da00564d672945308bcff7c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.010998
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-3174239-1304115785.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.85	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
0.00/0.85	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.85	c calculated reachability. Time: 0.00
0.00/0.85	c Calc default polars -  time:   0.00 s pos:     262 undec:      54 neg:     234
0.00/0.85	c =========================================================================================
0.00/0.85	c types(t): F = full restart, N = normal restart
0.00/0.85	c types(t): S = simplification begin/end, E = solution found
0.00/0.85	c restart types(rt): st = static, dy = dynamic
0.00/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.85	c  B st     0         0       536      2328         0         0      7094         0   no data   no data
0.00/0.85	c Decided on static restart strategy
0.00/0.85	c  N st     8      4920       536      2328         0      4857      7094    122414   no data   no data
0.00/0.85	c  N st    10     11304       536      2328         0      4512      7094     84121   no data   no data
0.00/0.85	c  N st    11     17047       536      2328         0     10166      7094    245515   no data   no data
4.60/1.25	c  F st    12     25000       536      2328         0     12447      7094    298285   no data   no data
4.60/1.25	c  N st    12     25000       536      2328         0     12447      7094    298285   no data   no data
5.57/1.45	c Decided on static restart strategy
5.57/1.45	c  N st    18     30001       536      2328         0     10710      7094    221512   no data   no data
5.57/1.45	c  S st    18     30001       536      2328         0     10710      7094    221512   no data   no data
5.57/1.45	c  S st    18     30503       536      2328         0     11211      7094    233218   no data   no data
5.57/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.45	c blocked clauses removed:       13 vars:      2 tried:         536 T: 0.00 s
5.57/1.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
5.57/1.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.45	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c lits-rem:       149  cl-subs:      397  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.51	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.01
5.97/1.51	c calculated reachability. Time: 0.00
5.97/1.51	c  N st    18     30503       533      2314         0     10814      7055    221288   no data   no data
7.58/1.94	c  N st    20     37613       533      2314         0     10040      7055    178420   no data   no data
9.16/2.32	c  N st    21     44012       533      2314         0     16311      7055    334307   no data   no data
9.56/2.45	c  S st    22     45754       533      2314         0      9253      7055    141461   no data   no data
9.56/2.48	c  S st    22     46257       533      2314         0      9754      7055    154188   no data   no data
9.56/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
9.56/2.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.50	c lits-rem:        14  cl-subs:       84  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.50	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
9.96/2.50	c vivif2 --  cl tried     9670 cl shrink        0 lits rem          0 time: 0.00
9.96/2.51	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.01
9.96/2.51	c calculated reachability. Time: 0.00
9.96/2.51	c  N st    22     46257       533      2314         0      9670      7055    152026   no data   no data
13.56/3.43	c  N st    23     60654       533      2314         0     14028      7055    249318   no data   no data
15.98/4.08	c  N st    24     69386       533      2314         0     11815      7055    184097   no data   no data
15.98/4.08	c  S st    24     69386       533      2314         0     11815      7055    184097   no data   no data
16.38/4.11	c  S st    24     69889       533      2314         0     12318      7055    196257   no data   no data
16.38/4.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.38/4.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.38/4.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.38/4.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.38/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.38/4.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
16.38/4.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.38/4.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.38/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.38/4.14	c lits-rem:        10  cl-subs:      142  v-elim:      0  v-fix:    0  time:  0.02 s
16.38/4.14	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
16.38/4.15	c vivif2 --  cl tried    12176 cl shrink        0 lits rem          0 time: 0.00
16.38/4.15	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.01
16.38/4.15	c calculated reachability. Time: 0.00
16.38/4.15	c  N st    24     69889       533      2314         0     12176      7055    192579   no data   no data
21.95/5.54	c  F st    25     87500       533      2314         0     17702      7055    337749   no data   no data
21.95/5.54	c  N st    25     87500       533      2314         0     17702      7055    337749   no data   no data
23.54/5.95	c Decided on static restart strategy
24.34/6.20	c  N st    32     95534       533      2314         0     25577      7055    541720   no data   no data
27.14/6.88	c  N st    34    104834       533      2314         0     21936      7055    422318   no data   no data
27.14/6.88	c  S st    34    104834       533      2314         0     21936      7055    422318   no data   no data
27.54/6.93	c  S st    34    105336       533      2314         0     22438      7055    435441   no data   no data
27.54/6.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.54/6.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.54/6.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
27.54/6.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.54/6.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.54/6.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.13	c lits-rem:       195  cl-subs:      723  v-elim:      0  v-fix:    0  time:  0.17 s
28.34/7.13	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
28.34/7.14	c vivif2 --  cl tried    21715 cl shrink        0 lits rem          0 time: 0.00
28.34/7.15	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.01
28.34/7.15	c calculated reachability. Time: 0.00
28.34/7.15	c  N st    34    105336       533      2314         0     21715      7055    413757   no data   no data
31.93/8.02	c  N st    35    114935       533      2314         0     17374      7055    272843   no data   no data
37.13/9.36	c  N st    36    129334       533      2314         0     16782      7055    237685   no data   no data
45.12/11.30	c  N st    37    150929       533      2314         0     22260      7055    362184   no data   no data
47.91/12.00	c  S st    38    158007       533      2314         0     29230      7055    546673   no data   no data
47.91/12.08	c  S st    38    158511       533      2314         0     29734      7055    558254   no data   no data
47.91/12.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.91/12.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.91/12.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.91/12.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.91/12.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.91/12.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
47.91/12.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.31/12.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.31/12.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.91/12.55	c lits-rem:       570  cl-subs:     1594  v-elim:      0  v-fix:    0  time:  0.44 s
49.91/12.55	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
49.91/12.56	c vivif2 --  cl tried    28140 cl shrink        0 lits rem          0 time: 0.01
49.91/12.57	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.02
49.91/12.58	c calculated reachability. Time: 0.00
49.91/12.58	c  N st    38    158511       533      2314         0     28140      7055    516774   no data   no data
69.48/17.49	c  N st    39    207099       533      2314         0     22808      7055    343007   no data   no data
83.07/20.84	c  N st    40    237768       533      2314         0     33179      7055    565589   no data   no data
83.07/20.84	c  S st    40    237768       533      2314         0     33179      7055    565589   no data   no data
83.47/20.91	c  S st    40    238271       533      2314         0     33681      7055    577843   no data   no data
83.47/20.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.47/20.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.47/20.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.47/20.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.47/20.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.47/20.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
83.47/20.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.47/20.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.47/20.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.87/21.57	c lits-rem:       276  cl-subs:     2149  v-elim:      0  v-fix:    0  time:  0.61 s
85.87/21.57	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
85.87/21.57	c vivif2 --  cl tried    31532 cl shrink        0 lits rem          0 time: 0.01
85.87/21.59	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.02
85.87/21.59	c calculated reachability. Time: 0.00
85.87/21.59	c  N st    40    238271       533      2314         0     31532      7055    527092   no data   no data
117.82/29.53	c  F st    41    306250       533      2314         0     33478      7055    543613   no data   no data
117.82/29.53	c  N st    41    306250       533      2314         0     33478      7055    543613   no data   no data
120.22/30.15	c Decided on static restart strategy
132.61/33.27	c  N st    51    334554       533      2314         0     37778      7055    636875   no data   no data
143.82/36.01	c  N st    53    357407       533      2314         0     35696      7055    592013   no data   no data
143.82/36.01	c  S st    53    357407       533      2314         0     35696      7055    592013   no data   no data
144.19/36.10	c  S st    53    357907       533      2314         0     36195      7055    604624   no data   no data
144.19/36.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.19/36.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
144.19/36.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.19/36.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.19/36.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.19/36.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
144.19/36.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.19/36.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.19/36.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.39/36.45	c lits-rem:       161  cl-subs:      793  v-elim:      0  v-fix:    0  time:  0.30 s
145.39/36.45	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
145.39/36.45	c vivif2 --  cl tried    35402 cl shrink        0 lits rem          0 time: 0.01
145.39/36.48	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.02
145.39/36.48	c calculated reachability. Time: 0.00
145.39/36.48	c  N st    53    357907       533      2314         0     35402      7055    580811   no data   no data
162.96/40.86	c  N st    54    390301       533      2314         0     41722      7055    751361   no data   no data
190.13/47.64	c  N st    55    438889       533      2314         0     35396      7055    524502   no data   no data
234.07/58.66	c  N st    56    511773       533      2314         0     48844      7055    831961   no data   no data
250.85/62.82	c  N st    57    536861       533      2314         0     43040      7055    664965   no data   no data
250.85/62.82	c  S st    57    536861       533      2314         0     43040      7055    664965   no data   no data
251.25/62.92	c  S st    57    537364       533      2314         0     43539      7055    677191   no data   no data
251.25/62.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.25/62.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
251.25/62.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
251.25/62.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
251.25/62.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.25/62.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
251.25/62.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
251.25/62.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
251.25/62.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.04/63.61	c lits-rem:       234  cl-subs:     1623  v-elim:      0  v-fix:    0  time:  0.64 s
254.04/63.61	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
254.04/63.62	c vivif2 --  cl tried    41916 cl shrink        0 lits rem          0 time: 0.01
254.04/63.65	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.03
254.04/63.65	c calculated reachability. Time: 0.00
254.04/63.65	c  N st    57    537364       533      2314         0     41916      7055    634380   no data   no data
370.69/92.84	c  N st    58    701348       533      2314         0     36205      7055    396714   no data   no data
446.19/111.77	c  N st    59    806046       533      2314         0     64962      7055   1131507   no data   no data
446.19/111.77	c  S st    59    806046       533      2314         0     64962      7055   1131507   no data   no data
447.01/111.96	c  S st    59    806552       533      2314         0     65467      7055   1144538   no data   no data
447.01/111.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
447.01/111.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
447.01/111.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
447.01/111.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
447.01/111.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
447.01/111.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
447.01/111.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
447.39/112.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
447.39/112.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
460.57/115.33	c lits-rem:       801  cl-subs:     4208  v-elim:      0  v-fix:    0  time:  3.29 s
460.57/115.33	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
460.57/115.35	c vivif2 --  cl tried    61259 cl shrink        0 lits rem          0 time: 0.01
460.97/115.40	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.06
460.97/115.40	c calculated reachability. Time: 0.00
460.97/115.40	c  N st    59    806552       533      2314         0     61259      7055   1036353   no data   no data
667.49/167.12	c  F st    60   1071878       533      2314         0     77312      7055   1342982   no data   no data
667.49/167.12	c  N st    60   1071878       533      2314         0     77312      7055   1342982   no data   no data
672.69/168.41	c Decided on static restart strategy
692.26/173.35	c  N st    70   1100180       533      2314         0     61108      7055    882493   no data   no data
734.60/183.97	c  N st    72   1136173       533      2314         0     51373      7055    605230   no data   no data
762.16/190.83	c  N st    73   1168565       533      2314         0     83144      7055   1439435   no data   no data
798.53/199.91	c  N st    74   1209829       533      2314         0     77515      7055   1303036   no data   no data
798.53/199.91	c  S st    74   1209829       533      2314         0     77515      7055   1303036   no data   no data
799.31/200.14	c  S st    74   1210330       533      2314         0     78016      7055   1315791   no data   no data
799.31/200.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
799.31/200.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
799.31/200.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
799.31/200.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
799.31/200.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
799.31/200.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
799.31/200.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
799.71/200.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
799.71/200.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
812.49/203.44	c lits-rem:       809  cl-subs:     3480  v-elim:      0  v-fix:    0  time:  3.20 s
812.49/203.44	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
812.49/203.46	c vivif2 --  cl tried    74536 cl shrink        0 lits rem          0 time: 0.02
812.89/203.53	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.07
812.89/203.54	c calculated reachability. Time: 0.00
812.89/203.54	c  N st    74   1210330       533      2314         0     74536      7055   1227912   no data   no data
895.98/224.37	c  N st    75   1283213       533      2314         0     50981      7055    560965   no data   no data
1005.43/251.79	c  N st    76   1392536       533      2314         0     59171      7055    750918   no data   no data
1162.42/291.07	c  N st    77   1556520       533      2314         0     63949      7055    827141   no data   no data
1325.82/331.93	c  N st    78   1710330       533      2314         0    105631      7055   1853506   no data   no data
1325.82/331.93	c  S st    78   1710330       533      2314         0    105631      7055   1853506   no data   no data
1326.99/332.26	c  S st    78   1710832       533      2314         0    106128      7055   1865674   no data   no data
1326.99/332.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1327.39/332.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1327.39/332.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1327.39/332.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1327.39/332.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1327.39/332.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
1327.39/332.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1327.39/332.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1327.79/332.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1378.92/345.23	c lits-rem:       472  cl-subs:     8151  v-elim:      0  v-fix:    0  time: 12.82 s
1378.92/345.23	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
1378.92/345.25	c vivif2 --  cl tried    97977 cl shrink        0 lits rem          0 time: 0.02
1379.32/345.36	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.10
1379.32/345.36	c calculated reachability. Time: 0.00
1379.32/345.36	c  N st    78   1710832       533      2314         0     97977      7055   1668759   no data   no data
1813.92/454.13	c  N st    79   2079797       533      2314         0    109879      7055   1909490   no data   no data
1968.12/492.76	c  N st    80   2210833       533      2314         0    114161      7055   2063664   no data   no data
1968.12/492.76	c  S st    80   2210833       533      2314         0    114161      7055   2063664   no data   no data
1969.72/493.14	c  S st    80   2211335       533      2314         0    114661      7055   2076682   no data   no data
1969.72/493.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1970.12/493.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1970.12/493.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1970.12/493.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1970.12/493.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1970.12/493.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
1970.12/493.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1970.12/493.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1970.52/493.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2020.44/505.80	c lits-rem:      1240  cl-subs:     5997  v-elim:      0  v-fix:    0  time: 12.50 s
2020.44/505.80	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
2020.44/505.83	c vivif2 --  cl tried   108664 cl shrink        0 lits rem          0 time: 0.03
2020.84/505.95	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.12
2020.84/505.95	c calculated reachability. Time: 0.00
2020.84/505.95	c  N st    80   2211335       533      2314         0    108664      7055   1909016   no data   no data
2657.19/665.29	c  N st    81   2711336       533      2314         0    131127      7055   2394178   no data   no data
2657.19/665.29	c  S st    81   2711336       533      2314         0    131127      7055   2394178   no data   no data
2659.17/665.76	c  S st    81   2711839       533      2314         0    131627      7055   2407186   no data   no data
2659.17/665.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2659.57/665.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2659.57/665.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2659.57/665.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2659.57/665.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2659.57/665.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
2659.57/665.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2659.57/665.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2659.96/665.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2758.25/690.52	c lits-rem:      1033  cl-subs:    11874  v-elim:      0  v-fix:    0  time: 24.58 s
2758.25/690.53	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
2758.25/690.56	c vivif2 --  cl tried   119753 cl shrink        0 lits rem          0 time: 0.03
2759.02/690.70	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.14
2759.02/690.70	c calculated reachability. Time: 0.00
2759.02/690.70	c  N st    81   2711839       533      2314         0    119753      7055   2116862   no data   no data
3472.86/869.42	c  N st    82   3211841       533      2314         0     95852      7055   1245046   no data   no data
3472.86/869.42	c  S st    82   3211841       533      2314         0     95852      7055   1245046   no data   no data
3474.07/869.80	c  S st    82   3212342       533      2314         0     96351      7055   1258012   no data   no data
3474.47/869.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3474.47/869.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3474.47/869.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3474.47/869.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3474.47/869.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3474.47/869.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
3474.47/869.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3474.85/869.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3474.85/869.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3488.43/873.39	c lits-rem:       576  cl-subs:     2875  v-elim:      0  v-fix:    0  time:  3.45 s
3488.43/873.39	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
3488.83/873.41	c vivif2 --  cl tried    93476 cl shrink        0 lits rem          0 time: 0.02
3489.23/873.54	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.13
3489.23/873.55	c calculated reachability. Time: 0.00
3489.23/873.55	c  N st    82   3212342       533      2314         0     93476      7055   1187400   no data   no data
4280.15/1071.58	c  N st    83   3712342       533      2314         0    104344      7055   1375250   no data   no data
4280.15/1071.58	c  S st    83   3712342       533      2314         0    104344      7055   1375250   no data   no data
4282.15/1072.00	c  S st    83   3712844       533      2314         0    104845      7055   1388371   no data   no data
4282.15/1072.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4282.15/1072.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
4282.15/1072.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4282.15/1072.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4282.15/1072.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4282.15/1072.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
4282.15/1072.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4282.58/1072.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4282.58/1072.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4304.94/1077.71	c lits-rem:       201  cl-subs:     3725  v-elim:      0  v-fix:    0  time:  5.55 s
4304.94/1077.71	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
4304.94/1077.73	c vivif2 --  cl tried   101120 cl shrink        0 lits rem          0 time: 0.03
4305.31/1077.87	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.14
4305.31/1077.88	c calculated reachability. Time: 0.00
4305.31/1077.88	c  N st    83   3712844       533      2314         0    101120      7055   1298211   no data   no data
4371.22/1094.37	c  F st    84   3751562       533      2314         0    138767      7055   2322111   no data   no data
4371.22/1094.37	c  N st    84   3751562       533      2314         0    138767      7055   2322111   no data   no data
4384.40/1097.63	c Decided on static restart strategy
4430.34/1109.12	c  N st    94   3779872       533      2314         0     83878      7055    812817   no data   no data
4476.31/1120.60	c  N st    96   3815869       533      2314         0    118948      7055   1740592   no data   no data
4541.81/1137.01	c  N st    97   3848263       533      2314         0    150574      7055   2603391   no data   no data
4617.28/1155.94	c  N st    98   3896853       533      2314         0    114251      7055   1588367   no data   no data
4733.13/1184.96	c  N st    99   3969735       533      2314         0    100370      7055   1173110   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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174239-1304115785/watcher-3174239-1304115785 -o /tmp/evaluation-result-3174239-1304115785/solver-3174239-1304115785 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174239-1304115785.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: 6.45 7.69 7.89 2/174 21888
/proc/meminfo: memFree=17892308/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 523181120 52441088 347 33554432000 4194304 4627427 140733959690240 18446744073709551615 47024580474802 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 12803 347 299 106 0 7774 0
[pid=21888/tid=21891] ppid=21885 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 523181120 52441088 347 33554432000 4194304 4627427 140733959690240 18446744073709551615 47024580474802 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 523181120 52441088 347 33554432000 4194304 4627427 140733959690240 18446744073709551615 47024580474802 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523181120 52441088 347 33554432000 4194304 4627427 140733959690240 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.115651 s]
/proc/loadavg: 6.45 7.69 7.89 2/174 21888
/proc/meminfo: memFree=17892308/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=285376 CPUtime=3.4 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 5450 0 0 0 339 1 0 0 19 0 4 0 523181120 292225024 2628 33554432000 4194304 4627427 140733959690240 18446744073709551615 4335584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 71344 2628 385 106 0 66315 0
[pid=21888/tid=21891] ppid=21885 vsize=285376 CPUtime=0.85 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1272 0 0 0 85 0 0 0 19 0 4 0 523181120 292225024 2628 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=285376 CPUtime=0.85 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1265 0 0 0 85 0 0 0 18 0 4 0 523181120 292225024 2628 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=285376 CPUtime=0.84 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1203 0 0 0 84 0 0 0 19 0 4 0 523181120 292225024 2628 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 285376

[startup+0.957602 s]
/proc/loadavg: 6.45 7.69 7.89 2/174 21888
/proc/meminfo: memFree=17892308/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=285376 CPUtime=3.8 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 5686 0 0 0 379 1 0 0 19 0 4 0 523181120 292225024 2864 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 71344 2864 385 106 0 66315 0
[pid=21888/tid=21891] ppid=21885 vsize=285376 CPUtime=0.95 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1330 0 0 0 95 0 0 0 19 0 4 0 523181120 292225024 2864 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=285376 CPUtime=0.95 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1320 0 0 0 95 0 0 0 19 0 4 0 523181120 292225024 2864 33554432000 4194304 4627427 140733959690240 18446744073709551615 4328754 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=285376 CPUtime=0.94 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1265 0 0 0 94 0 0 0 19 0 4 0 523181120 292225024 2864 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 285376

[startup+1.05759 s]
/proc/loadavg: 6.45 7.69 7.89 2/174 21888
/proc/meminfo: memFree=17892308/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=285540 CPUtime=4.2 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 5928 0 0 0 419 1 0 0 19 0 4 0 523181120 292392960 3106 33554432000 4194304 4627427 140733959690240 18446744073709551615 4299634 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 71385 3106 385 106 0 66356 0
[pid=21888/tid=21891] ppid=21885 vsize=285540 CPUtime=1.05 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1396 0 0 0 105 0 0 0 19 0 4 0 523181120 292392960 3106 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=285540 CPUtime=1.05 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1373 0 0 0 105 0 0 0 19 0 4 0 523181120 292392960 3106 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=285540 CPUtime=1.04 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1332 0 0 0 104 0 0 0 19 0 4 0 523181120 292392960 3106 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 285540

[startup+1.15757 s]
/proc/loadavg: 6.45 7.69 7.89 2/174 21888
/proc/meminfo: memFree=17892308/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=285752 CPUtime=4.6 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 6248 0 0 0 459 1 0 0 19 0 4 0 523181120 292610048 3426 33554432000 4194304 4627427 140733959690240 18446744073709551615 4252264 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 71438 3426 386 106 0 66409 0
[pid=21888/tid=21891] ppid=21885 vsize=285752 CPUtime=1.15 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1477 0 0 0 115 0 0 0 19 0 4 0 523181120 292610048 3426 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=285752 CPUtime=1.15 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1449 0 0 0 115 0 0 0 19 0 4 0 523181120 292610048 3426 33554432000 4194304 4627427 140733959690240 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=285752 CPUtime=1.14 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1416 0 0 0 114 0 0 0 19 0 4 0 523181120 292610048 3426 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 285752

[startup+1.50051 s]
/proc/loadavg: 6.45 7.69 7.89 2/174 21888
/proc/meminfo: memFree=17892308/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=286056 CPUtime=5.97 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 9068 0 0 0 596 1 0 0 20 0 4 0 523181120 292921344 4810 33554432000 4194304 4627427 140733959690240 18446744073709551615 4428111 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 71514 4810 389 106 0 66485 0
[pid=21888/tid=21891] ppid=21885 vsize=286056 CPUtime=1.49 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1810 0 0 0 149 0 0 0 19 0 4 0 523181120 292921344 4810 33554432000 4194304 4627427 140733959690240 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=286056 CPUtime=1.49 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1797 0 0 0 149 0 0 0 20 0 4 0 523181120 292921344 4810 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=286056 CPUtime=1.48 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 1760 0 0 0 148 0 0 0 20 0 4 0 523181120 292921344 4810 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286056

[startup+3.10023 s]
/proc/loadavg: 6.45 7.69 7.89 9/184 21898
/proc/meminfo: memFree=17815348/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=295568 CPUtime=12.35 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 18480 0 0 0 1233 2 0 0 25 0 4 0 523181120 302661632 10421 33554432000 4194304 4627427 140733959690240 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 73892 10421 389 106 0 68863 0
[pid=21888/tid=21891] ppid=21885 vsize=295568 CPUtime=3.08 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 3986 0 0 0 308 0 0 0 25 0 4 0 523181120 302661632 10421 33554432000 4194304 4627427 140733959690240 18446744073709551615 4352176 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=295568 CPUtime=3.08 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 5016 0 0 0 308 0 0 0 25 0 4 0 523181120 302661632 10421 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=295568 CPUtime=3.07 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 4504 0 0 0 307 0 0 0 25 0 4 0 523181120 302661632 10421 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 295568

[startup+6.30666 s]
/proc/loadavg: 6.58 7.69 7.89 11/184 21899
/proc/meminfo: memFree=17787460/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=302284 CPUtime=25.16 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 29694 0 0 0 2511 5 0 0 25 0 4 0 523181120 309538816 13775 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 75571 13775 389 106 0 70542 0
[pid=21888/tid=21891] ppid=21885 vsize=302284 CPUtime=6.29 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 7616 0 0 0 628 1 0 0 25 0 4 0 523181120 309538816 13775 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=302284 CPUtime=6.29 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 8219 0 0 0 628 1 0 0 25 0 4 0 523181120 309538816 13775 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=302284 CPUtime=6.26 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 6611 0 0 0 625 1 0 0 25 0 4 0 523181120 309538816 13775 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 302284

[startup+12.7005 s]
/proc/loadavg: 6.69 7.70 7.89 10/184 21899
/proc/meminfo: memFree=17751036/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=311784 CPUtime=50.71 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 46033 0 0 0 5063 8 0 0 25 0 4 0 523181120 319266816 20432 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 77946 20432 389 106 0 72917 0
[pid=21888/tid=21891] ppid=21885 vsize=311784 CPUtime=12.68 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 11280 0 0 0 1266 2 0 0 25 0 4 0 523181120 319266816 20432 33554432000 4194304 4627427 140733959690240 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=311784 CPUtime=12.68 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 11559 0 0 0 1267 1 0 0 25 0 4 0 523181120 319266816 20432 33554432000 4194304 4627427 140733959690240 18446744073709551615 4329990 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=311784 CPUtime=12.62 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 10673 0 0 0 1261 1 0 0 25 0 4 0 523181120 319266816 20432 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 311784

[startup+25.5003 s]
/proc/loadavg: 6.89 7.71 7.90 9/184 21899
/proc/meminfo: memFree=17712004/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=312836 CPUtime=101.84 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 70964 0 0 0 10169 15 0 0 25 0 4 0 523181120 320344064 26608 33554432000 4194304 4627427 140733959690240 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 78209 26608 389 106 0 73180 0
[pid=21888/tid=21891] ppid=21885 vsize=312836 CPUtime=25.48 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 18896 0 0 0 2544 4 0 0 25 0 4 0 523181120 320344064 26608 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=312836 CPUtime=25.49 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 17612 0 0 0 2545 4 0 0 25 0 4 0 523181120 320344064 26608 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=312836 CPUtime=25.37 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 15461 0 0 0 2534 3 0 0 25 0 4 0 523181120 320344064 26608 33554432000 4194304 4627427 140733959690240 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 312836

[startup+51.1008 s]
/proc/loadavg: 7.38 7.75 7.90 10/184 21900
/proc/meminfo: memFree=17659172/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=321832 CPUtime=204.12 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 107220 0 0 0 20388 24 0 0 25 0 4 0 523181120 329555968 32966 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 80458 32966 389 106 0 75429 0
[pid=21888/tid=21891] ppid=21885 vsize=321832 CPUtime=51.08 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 27041 0 0 0 5102 6 0 0 25 0 4 0 523181120 329555968 32966 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=321832 CPUtime=51.09 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 27369 0 0 0 5103 6 0 0 25 0 4 0 523181120 329555968 32966 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=321832 CPUtime=50.83 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 24178 0 0 0 5078 5 0 0 25 0 4 0 523181120 329555968 32966 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 321832

[startup+102.301 s]
/proc/loadavg: 7.73 7.78 7.91 10/184 21901
/proc/meminfo: memFree=17594300/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=323736 CPUtime=408.64 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 164339 0 0 0 40823 41 0 0 25 0 4 0 523181120 331505664 40385 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 80934 40385 389 106 0 75905 0
[pid=21888/tid=21891] ppid=21885 vsize=323736 CPUtime=102.27 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 41870 0 0 0 10217 10 0 0 25 0 4 0 523181120 331505664 40385 33554432000 4194304 4627427 140733959690240 18446744073709551615 4338618 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=323736 CPUtime=102.29 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 40483 0 0 0 10218 11 0 0 25 0 4 0 523181120 331505664 40385 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=323736 CPUtime=101.77 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 38983 0 0 0 10167 10 0 0 25 0 4 0 523181120 331505664 40385 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 323736

[startup+162.3 s]

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

[pid=21888] ppid=21885 vsize=596508 CPUtime=2805.37 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 529086 0 0 0 280367 170 0 0 25 0 4 0 523181120 610824192 103408 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 149127 103408 389 106 0 144098 0
[pid=21888/tid=21891] ppid=21885 vsize=596508 CPUtime=702.23 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 135984 0 0 0 70178 45 0 0 25 0 4 0 523181120 610824192 103408 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=596508 CPUtime=702.29 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 130147 0 0 0 70185 44 0 0 25 0 4 0 523181120 610824192 103408 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=596508 CPUtime=698.54 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 123656 0 0 0 69813 41 0 0 25 0 4 0 523181120 610824192 103408 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 596508

[startup+762.301 s]
/proc/loadavg: 8.11 8.07 8.00 10/184 21919
/proc/meminfo: memFree=17110320/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=597248 CPUtime=3045.05 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 551541 0 0 0 304326 179 0 0 25 0 4 0 523181120 611581952 110285 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 149312 110285 389 106 0 144283 0
[pid=21888/tid=21891] ppid=21885 vsize=597248 CPUtime=762.23 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 142500 0 0 0 76176 47 0 0 25 0 4 0 523181120 611581952 110285 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=597248 CPUtime=762.29 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 136845 0 0 0 76182 47 0 0 25 0 4 0 523181120 611581952 110285 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=597248 CPUtime=758.21 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 126128 0 0 0 75780 41 0 0 25 0 4 0 523181120 611581952 110285 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 597248

[startup+822.301 s]
/proc/loadavg: 8.10 8.07 8.00 9/184 21920
/proc/meminfo: memFree=17133084/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=585316 CPUtime=3284.71 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 573895 0 0 0 328282 189 0 0 25 0 4 0 523181120 599363584 101866 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 146329 101866 389 106 0 141300 0
[pid=21888/tid=21891] ppid=21885 vsize=585316 CPUtime=822.21 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 148458 0 0 0 82171 50 0 0 25 0 4 0 523181120 599363584 101866 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=585316 CPUtime=822.28 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 143243 0 0 0 82178 50 0 0 25 0 4 0 523181120 599363584 101866 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=585316 CPUtime=817.89 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 129752 0 0 0 81746 43 0 0 25 0 4 0 523181120 599363584 101867 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 585316

[startup+882.301 s]
/proc/loadavg: 8.13 8.08 8.01 10/184 21922
/proc/meminfo: memFree=17091732/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=638280 CPUtime=3524.38 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 598909 0 0 0 352240 198 0 0 25 0 4 0 523181120 653598720 112983 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 159570 112983 389 106 0 154541 0
[pid=21888/tid=21891] ppid=21885 vsize=638280 CPUtime=882.22 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 154288 0 0 0 88170 52 0 0 25 0 4 0 523181120 653598720 112983 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=638280 CPUtime=882.29 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 149625 0 0 0 88176 53 0 0 25 0 4 0 523181120 653598720 112983 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=638280 CPUtime=877.56 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 136458 0 0 0 87711 45 0 0 25 0 4 0 523181120 653598720 112983 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 638280

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 8.01 10/184 21924
/proc/meminfo: memFree=17051652/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=638364 CPUtime=3764.08 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 621204 0 0 0 376201 207 0 0 25 0 4 0 523181120 653684736 120416 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 159591 120416 389 106 0 154562 0
[pid=21888/tid=21891] ppid=21885 vsize=638364 CPUtime=942.21 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 160531 0 0 0 94167 54 0 0 25 0 4 0 523181120 653684736 120416 33554432000 4194304 4627427 140733959690240 18446744073709551615 4330178 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=638364 CPUtime=942.29 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 155472 0 0 0 94174 55 0 0 25 0 4 0 523181120 653684736 120416 33554432000 4194304 4627427 140733959690240 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=638364 CPUtime=937.25 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 140035 0 0 0 93678 47 0 0 25 0 4 0 523181120 653684736 120416 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 638364

[startup+1002.3 s]
/proc/loadavg: 8.11 8.09 8.01 10/184 21925
/proc/meminfo: memFree=17066992/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=651712 CPUtime=4003.73 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 644958 0 0 0 400158 215 0 0 25 0 4 0 523181120 667353088 114663 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 162928 114663 389 106 0 157899 0
[pid=21888/tid=21891] ppid=21885 vsize=651712 CPUtime=1002.2 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 167488 0 0 0 100164 56 0 0 25 0 4 0 523181120 667353088 114663 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=651712 CPUtime=1002.29 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 161931 0 0 0 100171 58 0 0 25 0 4 0 523181120 667353088 114663 33554432000 4194304 4627427 140733959690240 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=651712 CPUtime=996.93 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 144096 0 0 0 99645 48 0 0 25 0 4 0 523181120 667353088 114663 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 651712

[startup+1062.31 s]
/proc/loadavg: 8.04 8.07 8.00 10/184 21927
/proc/meminfo: memFree=16991700/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=703840 CPUtime=4243.42 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 665452 0 0 0 424118 224 0 0 25 0 4 0 523181120 720732160 119842 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 175960 119842 389 106 0 170931 0
[pid=21888/tid=21891] ppid=21885 vsize=703840 CPUtime=1062.2 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 173994 0 0 0 106163 57 0 0 25 0 4 0 523181120 720732160 119842 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=703840 CPUtime=1062.29 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 167042 0 0 0 106168 61 0 0 25 0 4 0 523181120 720732160 119842 33554432000 4194304 4627427 140733959690240 18446744073709551615 4310133 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=703840 CPUtime=1056.6 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 147879 0 0 0 105611 49 0 0 25 0 4 0 523181120 720732160 119842 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.42
Current children cumulated vsize (KiB) 703840

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 21928
/proc/meminfo: memFree=16969728/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=678248 CPUtime=4483.07 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 688315 0 0 0 448072 235 0 0 25 0 4 0 523181120 694525952 119436 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 169562 119436 389 106 0 164533 0
[pid=21888/tid=21891] ppid=21885 vsize=678248 CPUtime=1122.2 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 179996 0 0 0 112159 61 0 0 25 0 4 0 523181120 694525952 119436 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=678248 CPUtime=1122.28 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 173041 0 0 0 112165 63 0 0 25 0 4 0 523181120 694525952 119436 33554432000 4194304 4627427 140733959690240 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=678248 CPUtime=1116.27 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 152025 0 0 0 111576 51 0 0 25 0 4 0 523181120 694525952 119436 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 678248

[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 8.01 10/184 21930
/proc/meminfo: memFree=16983700/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=665608 CPUtime=4722.74 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 708540 0 0 0 472029 245 0 0 25 0 4 0 523181120 681582592 118555 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 166402 118555 389 106 0 161373 0
[pid=21888/tid=21891] ppid=21885 vsize=665608 CPUtime=1182.18 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 185038 0 0 0 118155 63 0 0 25 0 4 0 523181120 681582592 118555 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=665608 CPUtime=1182.29 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 177661 0 0 0 118162 67 0 0 25 0 4 0 523181120 681582592 118555 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=665608 CPUtime=1175.95 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 156468 0 0 0 117542 53 0 0 25 0 4 0 523181120 681582592 118555 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 665608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.16 8.10 8.01 5/180 21931
/proc/meminfo: memFree=17420812/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=718384 CPUtime=4800.25 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 714841 0 0 0 479777 248 0 0 25 0 4 0 523181120 735625216 117876 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 179596 117876 389 106 0 174567 0
[pid=21888/tid=21891] ppid=21885 vsize=718384 CPUtime=1201.59 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 187415 0 0 0 120095 64 0 0 25 0 4 0 523181120 735625216 117876 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=718384 CPUtime=1201.68 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 179906 0 0 0 120101 67 0 0 25 0 4 0 523181120 735625216 117876 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=718384 CPUtime=1195.25 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 156622 0 0 0 119472 53 0 0 25 0 4 0 523181120 735625216 117876 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 718384

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

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

[startup+1201.7 s]
/proc/loadavg: 8.16 8.10 8.01 5/180 21931
/proc/meminfo: memFree=17420812/32951124 swapFree=67111528/67111528
[pid=21888] ppid=21885 vsize=718384 CPUtime=4800.25 cores=0,2,4,6
/proc/21888/stat : 21888 (strangenight2-m) R 21885 21888 21853 0 -1 4202496 714841 0 0 0 479777 248 0 0 25 0 4 0 523181120 735625216 117876 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21888/statm: 179596 117876 389 106 0 174567 0
[pid=21888/tid=21891] ppid=21885 vsize=718384 CPUtime=1201.59 cores=0,2,4,6
/proc/21888/task/21891/stat : 21891 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 187415 0 0 0 120095 64 0 0 25 0 4 0 523181120 735625216 117876 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21888/tid=21892] ppid=21885 vsize=718384 CPUtime=1201.68 cores=0,2,4,6
/proc/21888/task/21892/stat : 21892 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 179906 0 0 0 120101 67 0 0 25 0 4 0 523181120 735625216 117876 33554432000 4194304 4627427 140733959690240 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21888/tid=21896] ppid=21885 vsize=718384 CPUtime=1195.25 cores=0,2,4,6
/proc/21888/task/21896/stat : 21896 (strangenight2-m) R 21885 21888 21853 0 -1 4202560 156622 0 0 0 119472 53 0 0 25 0 4 0 523181120 735625216 117876 33554432000 4194304 4627427 140733959690240 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 718384

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.31
CPU user time (s): 4797.8
CPU system time (s): 2.50862
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 820188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.8
system time used= 2.50862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 714841
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= 568
involuntary context switches= 26128

runsolver used 1.90871 second user time and 4.5803 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-30 00:23:05
IDJOB=3174239
IDBENCH=83057
IDSOLVER=1586
FILE ID=node103/3174239-1304115785
RUNJOBID= node103-1304115785-21871
PBS_JOBID= 13170711
Free space on /tmp= 71520 MiB

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

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

MD5SUM BENCH= c3d1d9237da00564d672945308bcff7c
RANDOM SEED=1823297024

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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:      17892728 kB
Buffers:       2149512 kB
Cached:       12259892 kB
SwapCached:          0 kB
Active:        5600184 kB
Inactive:      8872360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17892728 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11452 kB
Writeback:           0 kB
AnonPages:       63444 kB
Mapped:          14296 kB
Slab:           520244 kB
PageTables:       5260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185252 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= 71512 MiB
End job on node103 at 2011-04-30 00:43:09