Trace number 3174265

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.32 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf
MD5SUM82989c7f536fd5815485b15c37159486
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005999
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-3174265-1304116415.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.62/0.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.62/0.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.62/0.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.62/0.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.62/0.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.62/0.16	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.00 s
0.62/0.16	c Finding binary XORs  T:     0.00 s  found:       0
0.62/0.16	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.62/0.16	c calculated reachability. Time: 0.00
0.62/0.16	c Calc default polars -  time:   0.00 s pos:     234 undec:      69 neg:     247
0.62/0.16	c =========================================================================================
0.62/0.16	c types(t): F = full restart, N = normal restart
0.62/0.16	c types(t): S = simplification begin/end, E = solution found
0.62/0.16	c restart types(rt): st = static, dy = dynamic
0.62/0.16	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.62/0.16	c  B st     0         0       540      2333         0         0      7049         0   no data   no data
0.62/0.16	c Decided on static restart strategy
0.62/0.16	c  N st     8      4914       540      2333         0      4853      7049    126528   no data   no data
3.17/0.86	c  N st    10     11302       540      2333         0      4465      7049     81197   no data   no data
3.17/0.86	c  N st    11     17045       540      2333         0     10084      7049    215665   no data   no data
4.38/1.16	c  F st    12     25001       540      2333         0     12445      7049    285991   no data   no data
4.38/1.16	c  N st    12     25001       540      2333         0     12445      7049    285991   no data   no data
5.56/1.40	c Decided on static restart strategy
5.56/1.40	c  N st    18     30000       540      2333         0     10682      7049    211830   no data   no data
5.56/1.40	c  S st    18     30000       540      2333         0     10682      7049    211830   no data   no data
5.56/1.42	c  S st    18     30503       540      2333         0     11185      7049    223755   no data   no data
5.56/1.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.43	c blocked clauses removed:        9 vars:      2 tried:         540 T: 0.00 s
5.56/1.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
5.56/1.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.49	c lits-rem:       153  cl-subs:      476  v-elim:      0  v-fix:    0  time:  0.05 s
5.56/1.50	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
5.56/1.50	c calculated reachability. Time: 0.00
5.56/1.50	c  N st    18     30503       538      2324         0     10709      7022    211307   no data   no data
7.55/1.91	c  N st    20     37618       538      2324         0      9953      7022    173188   no data   no data
9.17/2.33	c  N st    21     44017       538      2324         0     16187      7022    322716   no data   no data
9.55/2.46	c  S st    22     45754       538      2324         0      9137      7022    135660   no data   no data
9.55/2.49	c  S st    22     46255       538      2324         0      9638      7022    147456   no data   no data
9.55/2.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
9.55/2.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.95/2.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.95/2.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.51	c lits-rem:        14  cl-subs:       94  v-elim:      0  v-fix:    0  time:  0.01 s
9.95/2.51	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
9.95/2.51	c vivif2 --  cl tried     9544 cl shrink        0 lits rem          0 time: 0.00
9.95/2.52	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.00
9.95/2.52	c calculated reachability. Time: 0.00
9.95/2.52	c  N st    22     46255       538      2324         0      9544      7022    145106   no data   no data
13.57/3.49	c  N st    23     60653       538      2324         0     13844      7022    237447   no data   no data
16.35/4.12	c  N st    24     69382       538      2324         0     11659      7022    172778   no data   no data
16.35/4.12	c  S st    24     69382       538      2324         0     11659      7022    172778   no data   no data
16.35/4.15	c  S st    24     69889       538      2324         0     12163      7022    184672   no data   no data
16.35/4.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.35/4.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.35/4.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
16.35/4.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.35/4.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.35/4.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.18	c lits-rem:        24  cl-subs:      174  v-elim:      0  v-fix:    0  time:  0.02 s
16.35/4.18	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
16.35/4.19	c vivif2 --  cl tried    11989 cl shrink        0 lits rem          0 time: 0.00
16.35/4.19	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
16.35/4.19	c calculated reachability. Time: 0.00
16.35/4.19	c  N st    24     69889       538      2324         0     11989      7022    180916   no data   no data
21.54/5.48	c  F st    25     87500       538      2324         0     17506      7022    313734   no data   no data
21.54/5.48	c  N st    25     87500       538      2324         0     17506      7022    313734   no data   no data
23.54/5.93	c Decided on static restart strategy
24.34/6.17	c  N st    32     95538       538      2324         0     25417      7022    527329   no data   no data
27.13/6.84	c  N st    34    104833       538      2324         0     21790      7022    408350   no data   no data
27.13/6.84	c  S st    34    104833       538      2324         0     21790      7022    408350   no data   no data
27.13/6.89	c  S st    34    105337       538      2324         0     22293      7022    420407   no data   no data
27.13/6.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.53/6.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.53/6.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.53/6.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.53/6.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
27.53/6.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.53/6.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.53/6.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.92/7.07	c lits-rem:       324  cl-subs:      684  v-elim:      0  v-fix:    0  time:  0.15 s
27.92/7.07	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
27.92/7.07	c vivif2 --  cl tried    21609 cl shrink        0 lits rem          0 time: 0.00
27.92/7.09	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
27.92/7.09	c calculated reachability. Time: 0.00
27.92/7.09	c  N st    34    105337       538      2324         0     21609      7022    401327   no data   no data
31.51/7.92	c  N st    35    114935       538      2324         0     17290      7022    274347   no data   no data
36.71/9.26	c  N st    36    129332       538      2324         0     16702      7022    241924   no data   no data
43.93/11.10	c  N st    37    150928       538      2324         0     22183      7022    366116   no data   no data
46.30/11.69	c  S st    38    158006       538      2324         0     29120      7022    546902   no data   no data
46.70/11.77	c  S st    38    158517       538      2324         0     29630      7022    559221   no data   no data
46.70/11.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.70/11.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.70/11.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.70/11.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.70/11.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.70/11.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
46.70/11.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.70/11.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.10/11.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.31/12.15	c lits-rem:       363  cl-subs:     1215  v-elim:      0  v-fix:    0  time:  0.34 s
48.31/12.15	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
48.31/12.15	c vivif2 --  cl tried    28415 cl shrink        0 lits rem          0 time: 0.01
48.31/12.17	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.02
48.31/12.17	c calculated reachability. Time: 0.00
48.31/12.17	c  N st    38    158517       538      2324         0     28415      7022    526758   no data   no data
67.88/17.03	c  N st    39    207105       538      2324         0     23145      7022    356845   no data   no data
79.07/19.88	c  N st    40    237776       538      2324         0     33659      7022    634527   no data   no data
79.07/19.88	c  S st    40    237776       538      2324         0     33659      7022    634527   no data   no data
79.47/19.96	c  S st    40    238279       538      2324         0     34162      7022    647120   no data   no data
79.47/19.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.47/19.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.47/19.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.47/19.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.47/19.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.47/19.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
79.47/19.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
79.47/19.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.85/20.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.46/20.49	c lits-rem:       325  cl-subs:     1157  v-elim:      0  v-fix:    0  time:  0.48 s
81.46/20.49	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
81.46/20.49	c vivif2 --  cl tried    33005 cl shrink        0 lits rem          0 time: 0.01
81.86/20.52	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.02
81.86/20.52	c calculated reachability. Time: 0.00
81.86/20.52	c  N st    40    238279       538      2324         0     33005      7022    615157   no data   no data
111.81/28.07	c  F st    41    306251       538      2324         0     34741      7022    611493   no data   no data
111.81/28.08	c  N st    41    306251       538      2324         0     34741      7022    611493   no data   no data
114.22/28.68	c Decided on static restart strategy
125.79/31.50	c  N st    51    334558       538      2324         0     39058      7022    696008   no data   no data
136.20/34.14	c  N st    53    357422       538      2324         0     36968      7022    616205   no data   no data
136.20/34.14	c  S st    53    357422       538      2324         0     36968      7022    616205   no data   no data
136.60/34.23	c  S st    53    357924       538      2324         0     37469      7022    628801   no data   no data
136.60/34.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.60/34.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
136.60/34.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.60/34.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.60/34.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.60/34.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
136.60/34.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
136.60/34.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.60/34.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.17/34.67	c lits-rem:       334  cl-subs:     1273  v-elim:      0  v-fix:    0  time:  0.39 s
138.17/34.67	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
138.17/34.68	c vivif2 --  cl tried    36196 cl shrink        0 lits rem          0 time: 0.01
138.57/34.70	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.02
138.57/34.70	c calculated reachability. Time: 0.00
138.57/34.70	c  N st    53    357924       538      2324         0     36196      7022    593030   no data   no data
154.95/38.80	c  N st    54    390316       538      2324         0     42568      7022    745711   no data   no data
180.91/45.37	c  N st    55    438905       538      2324         0     36238      7022    546320   no data   no data
226.45/56.70	c  N st    56    511788       538      2324         0     49572      7022    862153   no data   no data
241.23/60.47	c  N st    57    536886       538      2324         0     43813      7022    679503   no data   no data
241.23/60.47	c  S st    57    536886       538      2324         0     43813      7022    679503   no data   no data
241.65/60.58	c  S st    57    537387       538      2324         0     44314      7022    692583   no data   no data
241.65/60.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
242.05/60.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
242.05/60.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.05/60.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.05/60.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.05/60.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
242.05/60.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
242.05/60.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
242.05/60.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.43/61.26	c lits-rem:       182  cl-subs:     1759  v-elim:      0  v-fix:    0  time:  0.62 s
244.43/61.26	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
244.43/61.26	c vivif2 --  cl tried    42555 cl shrink        0 lits rem          0 time: 0.01
244.43/61.30	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.03
244.82/61.30	c calculated reachability. Time: 0.00
244.82/61.30	c  N st    57    537387       538      2324         0     42555      7022    651259   no data   no data
359.07/89.99	c  N st    58    701372       538      2324         0     36809      7022    414021   no data   no data
437.37/109.54	c  N st    59    806080       538      2324         0     65677      7022   1146078   no data   no data
437.37/109.54	c  S st    59    806080       538      2324         0     65677      7022   1146078   no data   no data
438.17/109.73	c  S st    59    806585       538      2324         0     66180      7022   1159463   no data   no data
438.17/109.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
438.17/109.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
438.17/109.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
438.17/109.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
438.17/109.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
438.17/109.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
438.17/109.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
438.17/109.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
438.57/109.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
451.75/113.12	c lits-rem:       795  cl-subs:     4197  v-elim:      0  v-fix:    0  time:  3.30 s
451.75/113.12	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
451.75/113.14	c vivif2 --  cl tried    61983 cl shrink        0 lits rem          0 time: 0.02
451.75/113.19	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.05
452.15/113.20	c calculated reachability. Time: 0.00
452.15/113.20	c  N st    59    806585       538      2324         0     61983      7022   1052592   no data   no data
669.05/167.51	c  F st    60   1071876       538      2324         0     78172      7022   1491572   no data   no data
669.05/167.51	c  N st    60   1071876       538      2324         0     78172      7022   1491572   no data   no data
675.44/169.12	c Decided on static restart strategy
693.82/173.78	c  N st    70   1100177       538      2324         0     61946      7022    936912   no data   no data
728.17/182.35	c  N st    72   1136170       538      2324         0     52100      7022    633632   no data   no data
759.33/190.18	c  N st    73   1168563       538      2324         0     83734      7022   1456669   no data   no data
798.48/199.94	c  N st    74   1209877       538      2324         0     78197      7022   1310328   no data   no data
798.48/199.94	c  S st    74   1209877       538      2324         0     78197      7022   1310328   no data   no data
799.69/200.20	c  S st    74   1210381       538      2324         0     78701      7022   1322334   no data   no data
799.69/200.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
799.69/200.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
799.69/200.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
799.69/200.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
799.69/200.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
799.69/200.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
799.69/200.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
799.69/200.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
800.09/200.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
814.05/203.83	c lits-rem:       478  cl-subs:     4134  v-elim:      0  v-fix:    0  time:  3.51 s
814.05/203.83	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
814.05/203.85	c vivif2 --  cl tried    74567 cl shrink        0 lits rem          0 time: 0.02
814.46/203.92	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.07
814.46/203.92	c calculated reachability. Time: 0.00
814.46/203.92	c  N st    74   1210381       538      2324         0     74567      7022   1220744   no data   no data
893.14/223.62	c  N st    75   1283263       538      2324         0     51106      7022    564375   no data   no data
1007.79/252.35	c  N st    76   1392586       538      2324         0     58990      7022    732112   no data   no data
1181.56/295.89	c  N st    77   1556570       538      2324         0     63882      7022    798607   no data   no data
1340.56/335.65	c  N st    78   1710381       538      2324         0    105358      7022   1836859   no data   no data
1340.56/335.65	c  S st    78   1710381       538      2324         0    105358      7022   1836859   no data   no data
1341.74/335.99	c  S st    78   1710886       538      2324         0    105861      7022   1849344   no data   no data
1342.14/336.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1342.14/336.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1342.14/336.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1342.14/336.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1342.14/336.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1342.14/336.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
1342.14/336.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1342.14/336.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1342.54/336.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1396.07/349.50	c lits-rem:      1148  cl-subs:     9244  v-elim:      0  v-fix:    0  time: 13.36 s
1396.07/349.50	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
1396.07/349.52	c vivif2 --  cl tried    96617 cl shrink        0 lits rem          0 time: 0.02
1396.47/349.63	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.10
1396.47/349.63	c calculated reachability. Time: 0.00
1396.47/349.63	c  N st    78   1710886       538      2324         0     96617      7022   1637985   no data   no data
1779.57/445.52	c  N st    79   2079850       538      2324         0    108551      7022   1878323   no data   no data
1921.75/481.18	c  N st    80   2210886       538      2324         0    112607      7022   1897578   no data   no data
1921.75/481.18	c  S st    80   2210886       538      2324         0    112607      7022   1897578   no data   no data
1923.35/481.53	c  S st    80   2211393       538      2324         0    113114      7022   1911199   no data   no data
1923.35/481.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1923.75/481.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
1923.75/481.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1923.75/481.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1923.75/481.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1923.75/481.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
1923.75/481.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1923.75/481.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1923.75/481.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1965.69/492.17	c lits-rem:       695  cl-subs:     6813  v-elim:      0  v-fix:    0  time: 10.49 s
1965.69/492.17	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
1966.09/492.20	c vivif2 --  cl tried   106301 cl shrink        0 lits rem          0 time: 0.03
1966.49/492.31	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.11
1966.49/492.32	c calculated reachability. Time: 0.00
1966.49/492.32	c  N st    80   2211393       538      2324         0    106301      7022   1750648   no data   no data
2562.10/641.41	c  N st    81   2711393       538      2324         0    129797      7022   2225596   no data   no data
2562.10/641.41	c  S st    81   2711393       538      2324         0    129797      7022   2225596   no data   no data
2563.68/641.86	c  S st    81   2711897       538      2324         0    130301      7022   2238248   no data   no data
2563.68/641.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2564.09/641.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2564.09/641.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2564.09/641.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2564.09/641.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2564.09/641.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
2564.09/641.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2564.09/641.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2564.48/642.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2642.78/661.61	c lits-rem:      1487  cl-subs:    10606  v-elim:      0  v-fix:    0  time: 19.57 s
2642.78/661.61	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
2642.78/661.64	c vivif2 --  cl tried   119695 cl shrink        0 lits rem          0 time: 0.03
2643.18/661.78	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.13
2643.18/661.78	c calculated reachability. Time: 0.00
2643.18/661.78	c  N st    81   2711897       538      2324         0    119695      7022   1991059   no data   no data
3343.85/837.10	c  N st    82   3211897       538      2324         0     95140      7022   1187446   no data   no data
3343.85/837.10	c  S st    82   3211897       538      2324         0     95140      7022   1187446   no data   no data
3345.42/837.56	c  S st    82   3212401       538      2324         0     95643      7022   1200191   no data   no data
3345.42/837.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3345.82/837.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.07
3345.82/837.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3345.82/837.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3345.82/837.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3345.82/837.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
3345.82/837.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3345.82/837.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3346.22/837.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3365.82/842.61	c lits-rem:       252  cl-subs:     3751  v-elim:      0  v-fix:    0  time:  4.89 s
3365.82/842.61	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
3365.82/842.64	c vivif2 --  cl tried    91892 cl shrink        0 lits rem          0 time: 0.02
3366.22/842.79	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.15
3366.22/842.79	c calculated reachability. Time: 0.00
3366.22/842.79	c  N st    82   3212401       538      2324         0     91892      7022   1121257   no data   no data
4043.27/1012.21	c  N st    83   3712402       538      2324         0    103837      7022   1354801   no data   no data
4043.27/1012.21	c  S st    83   3712402       538      2324         0    103837      7022   1354801   no data   no data
4044.47/1012.54	c  S st    83   3712903       538      2324         0    104336      7022   1367739   no data   no data
4044.47/1012.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4044.87/1012.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4044.87/1012.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4044.87/1012.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4044.87/1012.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4044.87/1012.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
4044.87/1012.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4044.87/1012.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4044.87/1012.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4061.65/1016.87	c lits-rem:       430  cl-subs:     2981  v-elim:      0  v-fix:    0  time:  4.19 s
4061.65/1016.87	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
4061.65/1016.89	c vivif2 --  cl tried   101355 cl shrink        0 lits rem          0 time: 0.02
4062.45/1017.03	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.14
4062.45/1017.03	c calculated reachability. Time: 0.00
4062.45/1017.03	c  N st    83   3712903       538      2324         0    101355      7022   1293761   no data   no data
4132.75/1034.62	c  F st    84   3751564       538      2324         0    139003      7022   2267206   no data   no data
4132.75/1034.62	c  N st    84   3751564       538      2324         0    139003      7022   2267206   no data   no data
4143.95/1037.49	c Decided on static restart strategy
4189.48/1048.87	c  N st    94   3779868       538      2324         0     83539      7022    790997   no data   no data
4232.62/1059.64	c  N st    96   3815862       538      2324         0    118625      7022   1652555   no data   no data
4277.76/1070.90	c  N st    97   3848254       538      2324         0    150115      7022   2439228   no data   no data
4350.86/1089.22	c  N st    98   3896842       538      2324         0    113567      7022   1495641   no data   no data
4467.11/1118.37	c  N st    99   3969724       538      2324         0     99684      7022   1155707   no data   no data
4624.49/1157.78	c  N st   100   4079051       538      2324         0    120416      7022   1775144   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-3174265-1304116415/watcher-3174265-1304116415 -o /tmp/evaluation-result-3174265-1304116415/solver-3174265-1304116415 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174265-1304116415.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: 8.16 8.09 8.02 2/173 19735
/proc/meminfo: memFree=27899016/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 523241186 52441088 348 33554432000 4194304 4627427 140736610074656 18446744073709551615 47193757489074 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 12803 348 299 106 0 7774 0
[pid=19735/tid=19739] ppid=19732 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523241186 52441088 348 33554432000 4194304 4627427 140736610074656 18446744073709551615 47193757489078 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523241186 52441088 348 33554432000 4194304 4627427 140736610074656 18446744073709551615 47193757489074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523241186 52441088 348 33554432000 4194304 4627427 140736610074656 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.16255 s]
/proc/loadavg: 8.16 8.09 8.02 2/173 19735
/proc/meminfo: memFree=27899016/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=290964 CPUtime=0.62 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 2006 0 0 0 62 0 0 0 18 0 4 0 523241186 297947136 1901 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 72741 1901 385 106 0 67712 0
[pid=19735/tid=19739] ppid=19732 vsize=290964 CPUtime=0.15 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 402 0 0 0 15 0 0 0 18 0 4 0 523241186 297947136 1901 33554432000 4194304 4627427 140736610074656 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=290964 CPUtime=0.15 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 416 0 0 0 15 0 0 0 18 0 4 0 523241186 297947136 1901 33554432000 4194304 4627427 140736610074656 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=290964 CPUtime=0.15 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 348 0 0 0 15 0 0 0 18 0 4 0 523241186 297947136 1901 33554432000 4194304 4627427 140736610074656 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 290964

[startup+0.254211 s]
/proc/loadavg: 8.16 8.09 8.02 2/173 19735
/proc/meminfo: memFree=27899016/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=283828 CPUtime=0.98 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) D 19732 19735 19311 0 -1 4202496 2615 0 0 0 98 0 0 0 18 0 4 0 523241186 290639872 1896 33554432000 4194304 4627427 140736610074656 18446744073709551615 208079893537 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 70957 1896 385 106 0 65928 0
[pid=19735/tid=19739] ppid=19732 vsize=283828 CPUtime=0.24 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 554 0 0 0 24 0 0 0 18 0 4 0 523241186 290639872 1896 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=283828 CPUtime=0.24 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 562 0 0 0 24 0 0 0 18 0 4 0 523241186 290639872 1896 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=283828 CPUtime=0.24 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 507 0 0 0 24 0 0 0 18 0 4 0 523241186 290639872 1896 33554432000 4194304 4627427 140736610074656 18446744073709551615 208080275639 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 283828

[startup+0.300968 s]
/proc/loadavg: 8.16 8.09 8.02 2/173 19735
/proc/meminfo: memFree=27899016/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=283968 CPUtime=1.16 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 2851 0 0 0 116 0 0 0 18 0 4 0 523241186 290783232 2132 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 70992 2132 385 106 0 65963 0
[pid=19735/tid=19739] ppid=19732 vsize=283968 CPUtime=0.29 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 614 0 0 0 29 0 0 0 18 0 4 0 523241186 290783232 2132 33554432000 4194304 4627427 140736610074656 18446744073709551615 4322040 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=283968 CPUtime=0.29 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 618 0 0 0 29 0 0 0 18 0 4 0 523241186 290783232 2132 33554432000 4194304 4627427 140736610074656 18446744073709551615 4227687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=283968 CPUtime=0.28 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 569 0 0 0 28 0 0 0 18 0 4 0 523241186 290783232 2132 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283968

[startup+0.700893 s]
/proc/loadavg: 8.16 8.09 8.02 2/173 19735
/proc/meminfo: memFree=27899016/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=284920 CPUtime=2.77 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 4439 0 0 0 276 1 0 0 18 0 4 0 523241186 291758080 2787 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 71230 2787 385 106 0 66201 0
[pid=19735/tid=19739] ppid=19732 vsize=284920 CPUtime=0.69 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 1011 0 0 0 69 0 0 0 18 0 4 0 523241186 291758080 2787 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=284920 CPUtime=0.69 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 1012 0 0 0 69 0 0 0 18 0 4 0 523241186 291758080 2787 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=284920 CPUtime=0.68 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 983 0 0 0 68 0 0 0 18 0 4 0 523241186 291758080 2787 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284920

[startup+1.50074 s]
/proc/loadavg: 8.39 8.14 8.04 9/184 19747
/proc/meminfo: memFree=27874776/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=286148 CPUtime=5.96 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 8970 0 0 0 595 1 0 0 20 0 4 0 523241186 293015552 4644 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 71537 4644 389 106 0 66508 0
[pid=19735/tid=19739] ppid=19732 vsize=286148 CPUtime=1.49 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 1799 0 0 0 149 0 0 0 20 0 4 0 523241186 293015552 4644 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308632 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=286148 CPUtime=1.49 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 1795 0 0 0 149 0 0 0 20 0 4 0 523241186 293015552 4644 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=286148 CPUtime=1.48 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 1803 0 0 0 148 0 0 0 20 0 4 0 523241186 293015552 4644 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286148

[startup+3.10044 s]
/proc/loadavg: 8.39 8.14 8.04 9/184 19747
/proc/meminfo: memFree=27831376/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=295284 CPUtime=12.35 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 18189 0 0 0 1232 3 0 0 25 0 4 0 523241186 302370816 10029 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309247 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 73821 10029 389 106 0 68792 0
[pid=19735/tid=19739] ppid=19732 vsize=295284 CPUtime=3.09 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 4067 0 0 0 309 0 0 0 25 0 4 0 523241186 302370816 10029 33554432000 4194304 4627427 140736610074656 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=295284 CPUtime=3.08 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 4846 0 0 0 308 0 0 0 25 0 4 0 523241186 302370816 10029 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=295284 CPUtime=3.07 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 4597 0 0 0 306 1 0 0 25 0 4 0 523241186 302370816 10029 33554432000 4194304 4627427 140736610074656 18446744073709551615 4324328 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) 295284

[startup+6.30083 s]
/proc/loadavg: 8.36 8.14 8.03 9/184 19747
/proc/meminfo: memFree=27799680/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=302260 CPUtime=25.13 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 29328 0 0 0 2508 5 0 0 25 0 4 0 523241186 309514240 13601 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 75565 13601 389 106 0 70536 0
[pid=19735/tid=19739] ppid=19732 vsize=302260 CPUtime=6.28 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 7543 0 0 0 628 0 0 0 25 0 4 0 523241186 309514240 13601 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=302260 CPUtime=6.28 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 7975 0 0 0 627 1 0 0 25 0 4 0 523241186 309514240 13601 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=302260 CPUtime=6.25 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 6742 0 0 0 624 1 0 0 25 0 4 0 523241186 309514240 13601 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 302260

[startup+12.7006 s]
/proc/loadavg: 8.33 8.14 8.03 8/184 19747
/proc/meminfo: memFree=27739316/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=293600 CPUtime=50.7 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 46287 0 0 0 5062 8 0 0 25 0 4 0 523241186 300646400 19934 33554432000 4194304 4627427 140736610074656 18446744073709551615 4350051 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 73400 19934 389 106 0 68371 0
[pid=19735/tid=19739] ppid=19732 vsize=293600 CPUtime=12.68 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 10746 0 0 0 1267 1 0 0 25 0 4 0 523241186 300646400 19934 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=293600 CPUtime=12.68 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 11328 0 0 0 1267 1 0 0 25 0 4 0 523241186 300646400 19934 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=293600 CPUtime=12.61 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 11473 0 0 0 1260 1 0 0 25 0 4 0 523241186 300646400 19934 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 293600

[startup+25.5012 s]
/proc/loadavg: 8.25 8.13 8.03 9/184 19747
/proc/meminfo: memFree=27678176/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=302680 CPUtime=101.82 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 70180 0 0 0 10170 12 0 0 25 0 4 0 523241186 309944320 26224 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 75670 26224 389 106 0 70641 0
[pid=19735/tid=19739] ppid=19732 vsize=302680 CPUtime=25.49 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 15603 0 0 0 2547 2 0 0 25 0 4 0 523241186 309944320 26224 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=302680 CPUtime=25.48 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 17756 0 0 0 2545 3 0 0 25 0 4 0 523241186 309944320 26224 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=302680 CPUtime=25.34 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 16630 0 0 0 2531 3 0 0 25 0 4 0 523241186 309944320 26224 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 302680

[startup+51.1003 s]
/proc/loadavg: 8.24 8.13 8.04 9/184 19748
/proc/meminfo: memFree=27599212/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=303324 CPUtime=204.08 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 102625 0 0 0 20388 20 0 0 25 0 4 0 523241186 310603776 34909 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 75831 34909 389 106 0 70802 0
[pid=19735/tid=19739] ppid=19732 vsize=303324 CPUtime=51.09 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 23126 0 0 0 5105 4 0 0 25 0 4 0 523241186 310603776 34909 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309540 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=303324 CPUtime=51.09 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 25710 0 0 0 5103 6 0 0 25 0 4 0 523241186 310603776 34909 33554432000 4194304 4627427 140736610074656 18446744073709551615 4310154 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=303324 CPUtime=50.79 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 24772 0 0 0 5075 4 0 0 25 0 4 0 523241186 310603776 34909 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 303324

[startup+102.301 s]
/proc/loadavg: 8.26 8.14 8.04 9/184 19749
/proc/meminfo: memFree=27521804/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=335708 CPUtime=408.62 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 137137 0 0 0 40832 30 0 0 25 0 4 0 523241186 343764992 44877 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 83927 44877 389 106 0 78898 0
[pid=19735/tid=19739] ppid=19732 vsize=335708 CPUtime=102.29 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 35080 0 0 0 10222 7 0 0 25 0 4 0 523241186 343764992 44877 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=335708 CPUtime=102.29 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 27908 0 0 0 10223 6 0 0 25 0 4 0 523241186 343764992 44877 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=335708 CPUtime=101.72 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 35264 0 0 0 10165 7 0 0 25 0 4 0 523241186 343764992 44877 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 335708

[startup+162.301 s]

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

[pid=19735] ppid=19732 vsize=585884 CPUtime=2565.68 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 487735 0 0 0 256417 151 0 0 25 0 4 0 523241186 599945216 90269 33554432000 4194304 4627427 140736610074656 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 146471 90269 389 106 0 141442 0
[pid=19735/tid=19739] ppid=19732 vsize=585884 CPUtime=642.31 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 125785 0 0 0 64189 42 0 0 25 0 4 0 523241186 599945216 90269 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=585884 CPUtime=642.3 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 98393 0 0 0 64196 34 0 0 25 0 4 0 523241186 599945216 90269 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=585884 CPUtime=638.73 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 123968 0 0 0 63837 36 0 0 25 0 4 0 523241186 599945216 90269 33554432000 4194304 4627427 140736610074656 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.68
Current children cumulated vsize (KiB) 585884

[startup+702.3 s]
/proc/loadavg: 8.10 8.08 8.03 9/184 19765
/proc/meminfo: memFree=27069840/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=639444 CPUtime=2805.35 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 515748 0 0 0 280374 161 0 0 25 0 4 0 523241186 654790656 91381 33554432000 4194304 4627427 140736610074656 18446744073709551615 4321918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 159861 91381 389 106 0 154832 0
[pid=19735/tid=19739] ppid=19732 vsize=639444 CPUtime=702.31 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 135115 0 0 0 70186 45 0 0 25 0 4 0 523241186 654790656 91381 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=639444 CPUtime=702.31 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 105422 0 0 0 70194 37 0 0 25 0 4 0 523241186 654790656 91381 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=639444 CPUtime=698.41 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 130453 0 0 0 69803 38 0 0 25 0 4 0 523241186 654790656 91381 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 639444

[startup+762.301 s]
/proc/loadavg: 8.11 8.09 8.04 9/184 19767
/proc/meminfo: memFree=27070036/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=574228 CPUtime=3045.05 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 542026 0 0 0 304333 172 0 0 25 0 4 0 523241186 588009472 92924 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 143557 92924 389 106 0 138528 0
[pid=19735/tid=19739] ppid=19732 vsize=574228 CPUtime=762.32 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 142901 0 0 0 76184 48 0 0 25 0 4 0 523241186 588009472 92924 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=574228 CPUtime=762.32 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 112713 0 0 0 76190 42 0 0 25 0 4 0 523241186 588009472 92924 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=574228 CPUtime=758.09 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 137290 0 0 0 75769 40 0 0 25 0 4 0 523241186 588009472 92924 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309364 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) 574228

[startup+822.3 s]
/proc/loadavg: 8.08 8.08 8.04 9/184 19768
/proc/meminfo: memFree=26976028/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=640160 CPUtime=3284.7 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 581588 0 0 0 328286 184 0 0 25 0 4 0 523241186 655523840 109439 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 160040 109439 389 106 0 155011 0
[pid=19735/tid=19739] ppid=19732 vsize=640160 CPUtime=822.31 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 155597 0 0 0 82180 51 0 0 25 0 4 0 523241186 655523840 109439 33554432000 4194304 4627427 140736610074656 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=640160 CPUtime=822.32 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 121711 0 0 0 82186 46 0 0 25 0 4 0 523241186 655523840 109439 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=640160 CPUtime=817.75 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 149209 0 0 0 81733 42 0 0 25 0 4 0 523241186 655523840 109439 33554432000 4194304 4627427 140736610074656 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 640160

[startup+882.307 s]
/proc/loadavg: 8.07 8.08 8.04 9/184 19770
/proc/meminfo: memFree=26986912/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=627536 CPUtime=3524.41 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 601015 0 0 0 352248 193 0 0 25 0 4 0 523241186 642596864 109051 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 156884 109051 389 106 0 151855 0
[pid=19735/tid=19739] ppid=19732 vsize=627536 CPUtime=882.32 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 159387 0 0 0 88180 52 0 0 25 0 4 0 523241186 642596864 109051 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=627536 CPUtime=882.32 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 129844 0 0 0 88182 50 0 0 25 0 4 0 523241186 642596864 109051 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=627536 CPUtime=877.44 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 152651 0 0 0 87700 44 0 0 25 0 4 0 523241186 642596864 109051 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 627536

[startup+942.301 s]
/proc/loadavg: 8.06 8.08 8.03 9/184 19772
/proc/meminfo: memFree=26929840/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=652460 CPUtime=3764.06 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 629759 0 0 0 376204 202 0 0 25 0 4 0 523241186 668119040 110888 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 163115 110888 389 106 0 158086 0
[pid=19735/tid=19739] ppid=19732 vsize=652460 CPUtime=942.32 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 166880 0 0 0 94176 56 0 0 25 0 4 0 523241186 668119040 110888 33554432000 4194304 4627427 140736610074656 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=652460 CPUtime=942.32 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 136699 0 0 0 94180 52 0 0 25 0 4 0 523241186 668119040 110888 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=652460 CPUtime=937.11 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 159593 0 0 0 93665 46 0 0 25 0 4 0 523241186 668119040 110888 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 652460

[startup+1002.3 s]
/proc/loadavg: 8.21 8.11 8.04 9/184 19773
/proc/meminfo: memFree=26948040/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=601336 CPUtime=4003.73 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 659132 0 0 0 400159 214 0 0 25 0 4 0 523241186 615768064 109000 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 150334 109000 389 106 0 145305 0
[pid=19735/tid=19739] ppid=19732 vsize=601336 CPUtime=1002.31 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 176014 0 0 0 100172 59 0 0 25 0 4 0 523241186 615768064 109000 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=601336 CPUtime=1002.32 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 143130 0 0 0 100178 54 0 0 25 0 4 0 523241186 615768064 109000 33554432000 4194304 4627427 140736610074656 18446744073709551615 4332309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=601336 CPUtime=996.78 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 166470 0 0 0 99629 49 0 0 25 0 4 0 523241186 615768064 109000 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 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) 601336

[startup+1062.3 s]
/proc/loadavg: 8.22 8.12 8.05 9/184 19775
/proc/meminfo: memFree=26881168/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=654172 CPUtime=4243.41 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 687346 0 0 0 424116 225 0 0 25 0 4 0 523241186 669872128 113470 33554432000 4194304 4627427 140736610074656 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 163543 113470 389 106 0 158514 0
[pid=19735/tid=19739] ppid=19732 vsize=654172 CPUtime=1062.31 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 184352 0 0 0 106169 62 0 0 25 0 4 0 523241186 669872128 113470 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=654172 CPUtime=1062.32 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 147915 0 0 0 106175 57 0 0 25 0 4 0 523241186 669872128 113470 33554432000 4194304 4627427 140736610074656 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=654172 CPUtime=1056.46 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 175602 0 0 0 105594 52 0 0 25 0 4 0 523241186 669872128 113470 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 654172

[startup+1122.3 s]
/proc/loadavg: 8.25 8.14 8.06 9/184 19776
/proc/meminfo: memFree=26890052/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=661368 CPUtime=4483.07 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 713386 0 0 0 448072 235 0 0 25 0 4 0 523241186 677240832 115041 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309290 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 165342 115041 389 106 0 160313 0
[pid=19735/tid=19739] ppid=19732 vsize=661368 CPUtime=1122.32 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 190788 0 0 0 112167 65 0 0 25 0 4 0 523241186 677240832 115041 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=661368 CPUtime=1122.32 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 156029 0 0 0 112172 60 0 0 25 0 4 0 523241186 677240832 115041 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=661368 CPUtime=1116.12 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 180908 0 0 0 111558 54 0 0 25 0 4 0 523241186 677240832 115041 33554432000 4194304 4627427 140736610074656 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) 661368

[startup+1182.3 s]
/proc/loadavg: 8.22 8.14 8.06 9/184 19778
/proc/meminfo: memFree=26912580/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=609000 CPUtime=4722.76 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 738966 0 0 0 472031 245 0 0 25 0 4 0 523241186 623616000 115288 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 152250 115288 389 106 0 147221 0
[pid=19735/tid=19739] ppid=19732 vsize=609000 CPUtime=1182.32 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 196211 0 0 0 118165 67 0 0 25 0 4 0 523241186 623616000 115288 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=609000 CPUtime=1182.32 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 162590 0 0 0 118168 64 0 0 25 0 4 0 523241186 623616000 115288 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=609000 CPUtime=1175.81 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 187746 0 0 0 117524 57 0 0 25 0 4 0 523241186 623616000 115288 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.76
Current children cumulated vsize (KiB) 609000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.13 8.06 9/184 19779
/proc/meminfo: memFree=26894096/32950928 swapFree=67111356/67111528
[pid=19735] ppid=19732 vsize=662328 CPUtime=4800.27 cores=0,2,4,6
/proc/19735/stat : 19735 (strangenight2-m) R 19732 19735 19311 0 -1 4202496 746699 0 0 0 479779 248 0 0 25 0 4 0 523241186 678223872 115620 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19735/statm: 165582 115620 389 106 0 160553 0
[pid=19735/tid=19739] ppid=19732 vsize=662328 CPUtime=1201.73 cores=0,2,4,6
/proc/19735/task/19739/stat : 19739 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 198542 0 0 0 120105 68 0 0 25 0 4 0 523241186 678223872 115620 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19735/tid=19740] ppid=19732 vsize=662328 CPUtime=1201.73 cores=0,2,4,6
/proc/19735/task/19740/stat : 19740 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 163850 0 0 0 120108 65 0 0 25 0 4 0 523241186 678223872 115620 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19735/tid=19741] ppid=19732 vsize=662328 CPUtime=1195.1 cores=0,2,4,6
/proc/19735/task/19741/stat : 19741 (strangenight2-m) R 19732 19735 19311 0 -1 4202560 190337 0 0 0 119452 58 0 0 25 0 4 0 523241186 678223872 115620 33554432000 4194304 4627427 140736610074656 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 662328

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.32
CPU user time (s): 4797.81
CPU system time (s): 2.50762
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 781296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.81
system time used= 2.50762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 746701
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= 265
involuntary context switches= 24612

runsolver used 1.74773 second user time and 4.82527 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-30 00:33:35
IDJOB=3174265
IDBENCH=83083
IDSOLVER=1586
FILE ID=node127/3174265-1304116415
RUNJOBID= node127-1304115211-19625
PBS_JOBID= 13170687
Free space on /tmp= 71820 MiB

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

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

MD5SUM BENCH= 82989c7f536fd5815485b15c37159486
RANDOM SEED=1405964686

node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27899312 kB
Buffers:       1280900 kB
Cached:        3255396 kB
SwapCached:          8 kB
Active:         162944 kB
Inactive:      4437236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27899312 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11308 kB
Writeback:           0 kB
AnonPages:       63252 kB
Mapped:          14684 kB
Slab:           387992 kB
PageTables:       4280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185608 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= 71808 MiB
End job on node127 at 2011-04-30 00:53:39