Trace number 3366599

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf
MD5SUM2b3c7a221faca9e629eac8ef7f1b0cd7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.031995
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366599-1305409959.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.37/0.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.37/0.18	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.37/0.18	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.18	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.18	c calculated reachability. Time: 0.00
0.37/0.18	c Calc default polars -  time:   0.00 s pos:     295 undec:      81 neg:     274
0.37/0.18	c =========================================================================================
0.37/0.18	c types(t): F = full restart, N = normal restart
0.37/0.18	c types(t): S = simplification begin/end, E = solution found
0.37/0.18	c restart types(rt): st = static, dy = dynamic
0.37/0.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.18	c  B st     0         0       638      2757         0         0      8327         0   no data   no data
0.37/0.18	c Decided on static restart strategy
0.37/0.18	c  N st     8      4916       638      2757         0      4866      8327    141808   no data   no data
3.17/0.82	c  N st    10     11299       638      2757         0      4496      8327     88696   no data   no data
3.17/0.82	c  N st    11     17043       638      2757         0     10151      8327    241310   no data   no data
4.76/1.22	c  F st    12     25000       638      2757         0     12387      8327    303206   no data   no data
4.76/1.22	c  N st    12     25000       638      2757         0     12387      8327    303206   no data   no data
5.56/1.45	c Decided on static restart strategy
5.56/1.45	c  N st    18     30001       638      2757         0     10664      8327    234482   no data   no data
5.56/1.45	c  S st    18     30001       638      2757         0     10664      8327    234482   no data   no data
5.56/1.48	c  S st    18     30502       638      2757         0     11165      8327    247858   no data   no data
5.56/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.49	c blocked clauses removed:       20 vars:      3 tried:         638 T: 0.00 s
5.56/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
5.56/1.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.56	c lits-rem:       206  cl-subs:      505  v-elim:      0  v-fix:    0  time:  0.06 s
5.97/1.56	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
5.97/1.56	c calculated reachability. Time: 0.00
5.97/1.56	c  N st    18     30502       635      2737         0     10629      8267    231126   no data   no data
7.56/1.96	c  N st    20     37613       635      2737         0      9921      8267    194324   no data   no data
9.15/2.34	c  N st    21     44012       635      2737         0     16202      8267    370897   no data   no data
9.54/2.46	c  S st    22     45753       635      2737         0      9142      8267    149038   no data   no data
9.54/2.48	c  S st    22     46256       635      2737         0      9644      8267    162090   no data   no data
9.54/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
9.54/2.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.49	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.50	c lits-rem:        22  cl-subs:       33  v-elim:      0  v-fix:    0  time:  0.01 s
9.95/2.51	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
9.95/2.51	c vivif2 --  cl tried     9611 cl shrink        0 lits rem          0 time: 0.00
9.95/2.51	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
9.95/2.51	c calculated reachability. Time: 0.00
9.95/2.51	c  N st    22     46256       635      2737         0      9611      8267    161132   no data   no data
13.54/3.46	c  N st    23     60653       635      2737         0     13961      8267    282813   no data   no data
16.33/4.13	c  N st    24     69385       635      2737         0     11755      8267    206497   no data   no data
16.33/4.13	c  S st    24     69385       635      2737         0     11755      8267    206497   no data   no data
16.33/4.16	c  S st    24     69888       635      2737         0     12258      8267    219519   no data   no data
16.33/4.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.33/4.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.33/4.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
16.33/4.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.33/4.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.20	c lits-rem:        22  cl-subs:      101  v-elim:      0  v-fix:    0  time:  0.02 s
16.73/4.20	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
16.73/4.20	c vivif2 --  cl tried    12157 cl shrink        0 lits rem          0 time: 0.00
16.73/4.21	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
16.73/4.21	c calculated reachability. Time: 0.00
16.73/4.21	c  N st    24     69888       635      2737         0     12157      8267    216225   no data   no data
22.31/5.64	c  F st    25     87500       635      2737         0     17723      8267    374345   no data   no data
22.31/5.64	c  N st    25     87500       635      2737         0     17723      8267    374345   no data   no data
23.91/6.06	c Decided on static restart strategy
25.11/6.35	c  N st    32     95543       635      2737         0     25619      8267    594749   no data   no data
27.90/7.07	c  N st    34    104833       635      2737         0     21945      8267    462999   no data   no data
27.90/7.07	c  S st    34    104833       635      2737         0     21945      8267    462999   no data   no data
28.30/7.12	c  S st    34    105336       635      2737         0     22448      8267    477091   no data   no data
28.30/7.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.30/7.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.30/7.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.30/7.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.30/7.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.30/7.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
28.30/7.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.30/7.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.30/7.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.10/7.37	c lits-rem:       151  cl-subs:      858  v-elim:      0  v-fix:    0  time:  0.22 s
29.10/7.37	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
29.10/7.37	c vivif2 --  cl tried    21590 cl shrink        0 lits rem          0 time: 0.00
29.10/7.39	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.01
29.10/7.39	c calculated reachability. Time: 0.00
29.10/7.39	c  N st    34    105336       635      2737         0     21590      8267    449538   no data   no data
32.68/8.21	c  N st    35    114934       635      2737         0     17259      8267    302706   no data   no data
38.27/9.60	c  N st    36    129334       635      2737         0     16712      8267    264527   no data   no data
46.24/11.67	c  N st    37    150930       635      2737         0     22237      8267    423331   no data   no data
49.03/12.32	c  S st    38    158004       635      2737         0     29205      8267    634572   no data   no data
49.03/12.39	c  S st    38    158507       635      2737         0     29707      8267    647965   no data   no data
49.43/12.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.43/12.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.43/12.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.43/12.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.43/12.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.43/12.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
49.43/12.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.43/12.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.43/12.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.03/12.82	c lits-rem:       466  cl-subs:      954  v-elim:      0  v-fix:    0  time:  0.38 s
51.03/12.82	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
51.03/12.82	c vivif2 --  cl tried    28753 cl shrink        0 lits rem          0 time: 0.01
51.03/12.84	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.02
51.03/12.84	c calculated reachability. Time: 0.00
51.03/12.84	c  N st    38    158507       635      2737         0     28753      8267    616604   no data   no data
71.78/18.07	c  N st    39    207097       635      2737         0     23389      8267    405821   no data   no data
85.73/21.57	c  N st    40    237761       635      2737         0     33899      8267    706829   no data   no data
85.73/21.57	c  S st    40    237761       635      2737         0     33899      8267    706829   no data   no data
86.13/21.66	c  S st    40    238264       635      2737         0     34402      8267    720884   no data   no data
86.13/21.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.13/21.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
86.13/21.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.13/21.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.13/21.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.13/21.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
86.13/21.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
86.13/21.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.53/21.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.12/22.17	c lits-rem:       282  cl-subs:      869  v-elim:      0  v-fix:    0  time:  0.47 s
88.12/22.17	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
88.12/22.18	c vivif2 --  cl tried    33533 cl shrink        0 lits rem          0 time: 0.01
88.52/22.21	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.02
88.52/22.21	c calculated reachability. Time: 0.00
88.52/22.21	c  N st    40    238264       635      2737         0     33533      8267    691121   no data   no data
122.03/30.62	c  F st    41    306250       635      2737         0     35412      8267    689025   no data   no data
122.03/30.62	c  N st    41    306250       635      2737         0     35412      8267    689025   no data   no data
124.42/31.28	c Decided on static restart strategy
136.03/34.12	c  N st    51    334555       635      2737         0     39738      8267    797611   no data   no data
146.75/36.84	c  N st    53    357398       635      2737         0     37556      8267    678930   no data   no data
146.75/36.84	c  S st    53    357398       635      2737         0     37556      8267    678930   no data   no data
147.15/36.94	c  S st    53    357902       635      2737         0     38060      8267    692062   no data   no data
147.15/36.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.15/36.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
147.15/36.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.15/36.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.15/36.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.15/36.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
147.15/36.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
147.15/36.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.15/36.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.19/37.46	c lits-rem:       203  cl-subs:     1560  v-elim:      0  v-fix:    0  time:  0.47 s
149.19/37.46	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
149.19/37.47	c vivif2 --  cl tried    36500 cl shrink        0 lits rem          0 time: 0.01
149.54/37.50	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.03
149.54/37.50	c calculated reachability. Time: 0.00
149.54/37.50	c  N st    53    357902       635      2737         0     36500      8267    648360   no data   no data
167.49/42.04	c  N st    54    390294       635      2737         0     42783      8267    833418   no data   no data
194.21/48.73	c  N st    55    438884       635      2737         0     36754      8267    634886   no data   no data
240.48/60.40	c  N st    56    511769       635      2737         0     50150      8267   1040804   no data   no data
256.83/64.48	c  N st    57    536853       635      2737         0     44374      8267    804712   no data   no data
256.83/64.48	c  S st    57    536853       635      2737         0     44374      8267    804712   no data   no data
257.63/64.60	c  S st    57    537361       635      2737         0     44882      8267    818534   no data   no data
257.63/64.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.63/64.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
257.63/64.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.63/64.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.63/64.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.63/64.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
257.63/64.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
257.63/64.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
257.63/64.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.02/65.28	c lits-rem:       184  cl-subs:     1108  v-elim:      0  v-fix:    0  time:  0.63 s
260.02/65.28	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
260.02/65.29	c vivif2 --  cl tried    43774 cl shrink        0 lits rem          0 time: 0.01
260.42/65.33	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.03
260.42/65.33	c calculated reachability. Time: 0.00
260.42/65.33	c  N st    57    537361       635      2737         0     43774      8267    781096   no data   no data
375.28/94.18	c  N st    58    701345       635      2737         0     37703      8267    483208   no data   no data
458.24/114.97	c  N st    59    806042       635      2737         0     66828      8267   1342085   no data   no data
458.24/114.97	c  S st    59    806042       635      2737         0     66828      8267   1342085   no data   no data
459.04/115.17	c  S st    59    806546       635      2737         0     67329      8267   1356254   no data   no data
459.04/115.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
459.44/115.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
459.44/115.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
459.44/115.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
459.44/115.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
459.44/115.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
459.44/115.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
459.44/115.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
459.44/115.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
479.37/120.21	c lits-rem:       360  cl-subs:     4288  v-elim:      0  v-fix:    0  time:  4.95 s
479.37/120.21	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
479.37/120.23	c vivif2 --  cl tried    63041 cl shrink        0 lits rem          0 time: 0.02
479.37/120.29	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.06
479.37/120.29	c calculated reachability. Time: 0.00
479.37/120.29	c  N st    59    806546       635      2737         0     63041      8267   1223137   no data   no data
712.69/178.78	c  F st    60   1071876       635      2737         0     78964      8267   1640841   no data   no data
712.69/178.78	c  N st    60   1071876       635      2737         0     78964      8267   1640841   no data   no data
718.68/180.29	c Decided on static restart strategy
737.07/184.88	c  N st    70   1100177       635      2737         0     62837      8267   1065897   no data   no data
774.12/194.15	c  N st    72   1136170       635      2737         0     53028      8267    728946   no data   no data
806.43/202.22	c  N st    73   1168562       635      2737         0     84805      8267   1712811   no data   no data
853.08/213.97	c  N st    74   1209819       635      2737         0     79398      8267   1529490   no data   no data
853.08/213.97	c  S st    74   1209819       635      2737         0     79398      8267   1529490   no data   no data
854.28/214.23	c  S st    74   1210325       635      2737         0     79904      8267   1543806   no data   no data
854.28/214.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
854.28/214.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
854.28/214.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
854.28/214.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
854.28/214.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
854.28/214.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
854.28/214.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
854.68/214.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
854.68/214.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
866.65/217.34	c lits-rem:       663  cl-subs:     1912  v-elim:      0  v-fix:    0  time:  2.99 s
866.65/217.34	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
866.65/217.36	c vivif2 --  cl tried    77992 cl shrink        0 lits rem          0 time: 0.02
867.05/217.45	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.08
867.05/217.45	c calculated reachability. Time: 0.00
867.05/217.45	c  N st    74   1210325       635      2737         0     77992      8267   1477032   no data   no data
939.22/235.56	c  N st    75   1283208       635      2737         0     54206      8267    682886   no data   no data
1048.90/263.04	c  N st    76   1392534       635      2737         0     62128      8267    860344   no data   no data
1223.20/306.80	c  N st    77   1556520       635      2737         0     67025      8267    957874   no data   no data
1389.91/348.58	c  N st    78   1710326       635      2737         0    109200      8267   2207920   no data   no data
1389.91/348.58	c  S st    78   1710326       635      2737         0    109200      8267   2207920   no data   no data
1391.49/348.92	c  S st    78   1710826       635      2737         0    109700      8267   2221783   no data   no data
1391.49/348.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1391.49/348.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1391.49/348.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1391.49/348.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1391.49/348.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1391.49/348.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
1391.49/348.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1391.89/349.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1391.89/349.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1454.91/364.85	c lits-rem:      1351  cl-subs:     7417  v-elim:      0  v-fix:    0  time: 15.77 s
1454.91/364.85	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
1454.91/364.88	c vivif2 --  cl tried   102283 cl shrink        0 lits rem          0 time: 0.03
1455.72/365.00	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.11
1455.72/365.00	c calculated reachability. Time: 0.00
1455.72/365.00	c  N st    78   1710826       635      2737         0    102283      8267   2008821   no data   no data
1896.42/475.58	c  N st    79   2079790       635      2737         0    113839      8267   2225286   no data   no data
2059.52/516.49	c  N st    80   2210826       635      2737         0    118238      8267   2389740   no data   no data
2059.52/516.49	c  S st    80   2210826       635      2737         0    118238      8267   2389740   no data   no data
2061.11/516.89	c  S st    80   2211328       635      2737         0    118739      8267   2403917   no data   no data
2061.11/516.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2061.53/516.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2061.53/516.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2061.53/516.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2061.53/516.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2061.53/516.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
2061.53/516.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2061.53/516.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2061.95/517.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2113.35/529.93	c lits-rem:       725  cl-subs:     4960  v-elim:      0  v-fix:    0  time: 12.86 s
2113.35/529.93	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
2113.35/529.96	c vivif2 --  cl tried   113779 cl shrink        0 lits rem          0 time: 0.03
2113.75/530.09	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.13
2113.75/530.09	c calculated reachability. Time: 0.00
2113.75/530.09	c  N st    80   2211328       635      2737         0    113779      8267   2248567   no data   no data
2780.20/697.11	c  N st    81   2711328       635      2737         0    137075      8267   2959538   no data   no data
2780.20/697.11	c  S st    81   2711328       635      2737         0    137075      8267   2959538   no data   no data
2781.80/697.57	c  S st    81   2711833       635      2737         0    137578      8267   2974205   no data   no data
2781.80/697.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2782.20/697.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2782.20/697.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2782.20/697.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2782.20/697.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2782.20/697.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
2782.20/697.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2782.20/697.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2782.60/697.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2905.41/728.79	c lits-rem:      1010  cl-subs:     9144  v-elim:      0  v-fix:    0  time: 31.01 s
2905.41/728.79	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
2905.80/728.83	c vivif2 --  cl tried   128434 cl shrink        0 lits rem          0 time: 0.04
2906.20/728.98	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.15
2906.20/728.99	c calculated reachability. Time: 0.00
2906.20/728.99	c  N st    81   2711833       635      2737         0    128434      8267   2681169   no data   no data
3623.64/908.89	c  N st    82   3211833       635      2737         0    104025      8267   1641735   no data   no data
3623.64/908.89	c  S st    82   3211833       635      2737         0    104025      8267   1641735   no data   no data
3625.24/909.20	c  S st    82   3212338       635      2737         0    104529      8267   1656923   no data   no data
3625.24/909.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3625.24/909.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3625.24/909.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3625.24/909.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3625.24/909.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3625.24/909.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
3625.24/909.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3625.24/909.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3625.64/909.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3644.40/914.02	c lits-rem:       408  cl-subs:     3378  v-elim:      0  v-fix:    0  time:  4.68 s
3644.40/914.02	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
3644.40/914.04	c vivif2 --  cl tried   101151 cl shrink        0 lits rem          0 time: 0.02
3644.82/914.15	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.11
3644.82/914.15	c calculated reachability. Time: 0.00
3644.82/914.15	c  N st    82   3212338       635      2737         0    101151      8267   1554487   no data   no data
4440.84/1113.79	c  N st    83   3712339       635      2737         0    111944      8267   1785145   no data   no data
4440.84/1113.79	c  S st    83   3712339       635      2737         0    111944      8267   1785145   no data   no data
4443.28/1114.33	c  S st    83   3712844       635      2737         0    112449      8267   1799599   no data   no data
4443.28/1114.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4443.63/1114.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.09
4443.63/1114.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4443.63/1114.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4443.63/1114.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4443.63/1114.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
4443.63/1114.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4443.63/1114.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4444.03/1114.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4494.28/1127.13	c lits-rem:       306  cl-subs:     4051  v-elim:      0  v-fix:    0  time: 12.58 s
4494.28/1127.13	c vivif2 --  cl tried     2737 cl shrink        0 lits rem          0 time: 0.00
4494.28/1127.16	c vivif2 --  cl tried   108398 cl shrink        0 lits rem          0 time: 0.03
4495.08/1127.31	c asymm  cl-useful: 0/2737/2737 lits-rem:0 time: 0.15
4495.08/1127.32	c calculated reachability. Time: 0.00
4495.08/1127.32	c  N st    83   3712844       635      2737         0    108398      8267   1674542   no data   no data
4570.84/1146.32	c  F st    84   3751565       635      2737         0    146430      8267   2805205   no data   no data
4570.84/1146.32	c  N st    84   3751565       635      2737         0    146430      8267   2805205   no data   no data
4581.22/1148.95	c Decided on static restart strategy
4627.53/1160.52	c  N st    94   3779874       635      2737         0     91004      8267   1070395   no data   no data
4680.52/1173.88	c  N st    96   3815867       635      2737         0    126324      8267   2173311   no data   no data
4741.94/1189.23	c  N st    97   3848259       635      2737         0    158136      8267   3176231   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366599-1305409959/watcher-3366599-1305409959 -o /tmp/evaluation-result-3366599-1305409959/solver-3366599-1305409959 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366599-1305409959.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.51 7.96 8.02 7/356 13687
/proc/meminfo: memFree=21300456/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 406 0 0 0 0 0 0 0 23 0 4 0 652593614 52396032 347 33554432000 4194304 4580107 140733286914080 18446744073709551615 47160576718770 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 12792 347 299 95 0 7774 0
[pid=13687/tid=13688] ppid=13685 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652593614 52396032 347 33554432000 4194304 4580107 140733286914080 18446744073709551615 47160576718770 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652593614 52396032 347 33554432000 4194304 4580107 140733286914080 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652593614 52396032 347 33554432000 4194304 4580107 140733286914080 18446744073709551615 47160576718770 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0450509 s]
/proc/loadavg: 7.51 7.96 8.02 7/356 13687
/proc/meminfo: memFree=21300456/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=281984 CPUtime=0.15 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 1558 0 0 0 15 0 0 0 18 0 4 0 652593614 288751616 1414 33554432000 4194304 4580107 140733286914080 18446744073709551615 4321197 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 70496 1414 376 95 0 65478 0
[pid=13687/tid=13688] ppid=13685 vsize=281984 CPUtime=0.04 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 334 0 0 0 4 0 0 0 18 0 4 0 652593614 288751616 1414 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=281984 CPUtime=0.03 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 311 0 0 0 3 0 0 0 25 0 4 0 652593614 288751616 1414 33554432000 4194304 4580107 140733286914080 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=281984 CPUtime=0.03 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 198 0 0 0 3 0 0 0 18 0 4 0 652593614 288751616 1414 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 281984

[startup+0.10104 s]
/proc/loadavg: 7.51 7.96 8.02 7/356 13687
/proc/meminfo: memFree=21300456/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=282120 CPUtime=0.37 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 1852 0 0 0 37 0 0 0 18 0 4 0 652593614 288890880 1708 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 70530 1708 377 95 0 65512 0
[pid=13687/tid=13688] ppid=13685 vsize=282120 CPUtime=0.09 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 415 0 0 0 9 0 0 0 18 0 4 0 652593614 288890880 1708 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=282120 CPUtime=0.08 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 386 0 0 0 8 0 0 0 25 0 4 0 652593614 288890880 1708 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=282120 CPUtime=0.09 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 278 0 0 0 9 0 0 0 18 0 4 0 652593614 288890880 1708 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293805 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282120

[startup+0.301004 s]
/proc/loadavg: 7.51 7.96 8.02 7/356 13687
/proc/meminfo: memFree=21300456/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=283800 CPUtime=1.17 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 3028 0 0 0 117 0 0 0 18 0 4 0 652593614 290611200 2198 33554432000 4194304 4580107 140733286914080 18446744073709551615 4292977 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 70950 2198 377 95 0 65932 0
[pid=13687/tid=13688] ppid=13685 vsize=283800 CPUtime=0.29 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 716 0 0 0 29 0 0 0 18 0 4 0 652593614 290611200 2198 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=283800 CPUtime=0.28 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 663 0 0 0 28 0 0 0 25 0 4 0 652593614 290611200 2198 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=283800 CPUtime=0.29 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 572 0 0 0 29 0 0 0 18 0 4 0 652593614 290611200 2198 33554432000 4194304 4580107 140733286914080 18446744073709551615 4318421 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283800

[startup+0.700932 s]
/proc/loadavg: 7.51 7.96 8.02 7/356 13687
/proc/meminfo: memFree=21300456/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=284644 CPUtime=2.77 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 4695 0 0 0 277 0 0 0 18 0 4 0 652593614 291475456 2826 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293907 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 71161 2826 377 95 0 66143 0
[pid=13687/tid=13688] ppid=13685 vsize=284644 CPUtime=0.69 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 1136 0 0 0 69 0 0 0 18 0 4 0 652593614 291475456 2826 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=284644 CPUtime=0.68 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 1098 0 0 0 68 0 0 0 25 0 4 0 652593614 291475456 2826 33554432000 4194304 4580107 140733286914080 18446744073709551615 4316405 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=284644 CPUtime=0.69 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 981 0 0 0 69 0 0 0 18 0 4 0 652593614 291475456 2826 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284644

[startup+1.50079 s]
/proc/loadavg: 7.51 7.96 8.02 9/361 13692
/proc/meminfo: memFree=21274512/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=286100 CPUtime=5.97 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 8615 0 0 0 596 1 0 0 20 0 4 0 652593614 292966400 3896 33554432000 4194304 4580107 140733286914080 18446744073709551615 218905392161 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 71525 3904 379 95 0 66507 0
[pid=13687/tid=13688] ppid=13685 vsize=286100 CPUtime=1.49 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 2008 0 0 0 149 0 0 0 19 0 4 0 652593614 292966400 3906 33554432000 4194304 4580107 140733286914080 18446744073709551615 4322933 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=286100 CPUtime=1.47 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 1962 0 0 0 147 0 0 0 25 0 4 0 652593614 292966400 3910 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=286100 CPUtime=1.49 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 1852 0 0 0 149 0 0 0 20 0 4 0 652593614 292966400 3915 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286100

[startup+3.1005 s]
/proc/loadavg: 7.55 7.96 8.02 9/361 13692
/proc/meminfo: memFree=21247232/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=294432 CPUtime=12.34 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 19672 0 0 0 1231 3 0 0 25 0 4 0 652593614 301498368 10833 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 73608 10833 379 95 0 68590 0
[pid=13687/tid=13688] ppid=13685 vsize=294432 CPUtime=3.08 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 4355 0 0 0 308 0 0 0 25 0 4 0 652593614 301498368 10833 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=294432 CPUtime=3.05 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 5381 0 0 0 305 0 0 0 25 0 4 0 652593614 301498368 10833 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=294432 CPUtime=3.08 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 4839 0 0 0 308 0 0 0 25 0 4 0 652593614 301498368 10833 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 294432

[startup+6.30092 s]
/proc/loadavg: 7.55 7.96 8.02 9/361 13692
/proc/meminfo: memFree=21193660/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=295688 CPUtime=25.11 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 30285 0 0 0 2506 5 0 0 25 0 4 0 652593614 302784512 13414 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 73922 13415 379 95 0 68904 0
[pid=13687/tid=13688] ppid=13685 vsize=295688 CPUtime=6.29 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 8295 0 0 0 628 1 0 0 25 0 4 0 652593614 302784512 13415 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=295688 CPUtime=6.22 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 7359 0 0 0 621 1 0 0 25 0 4 0 652593614 302784512 13415 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=295688 CPUtime=6.29 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 7036 0 0 0 628 1 0 0 25 0 4 0 652593614 302784512 13415 33554432000 4194304 4580107 140733286914080 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 295688

[startup+12.7008 s]
/proc/loadavg: 7.62 7.96 8.02 9/361 13692
/proc/meminfo: memFree=21150868/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=305880 CPUtime=50.63 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 51735 0 0 0 5054 9 0 0 25 0 4 0 652593614 313221120 22807 33554432000 4194304 4580107 140733286914080 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 76470 22807 379 95 0 71452 0
[pid=13687/tid=13688] ppid=13685 vsize=305880 CPUtime=12.68 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 13039 0 0 0 1267 1 0 0 25 0 4 0 652593614 313221120 22807 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=305880 CPUtime=12.53 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 12311 0 0 0 1252 1 0 0 25 0 4 0 652593614 313221120 22807 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=305880 CPUtime=12.69 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 12175 0 0 0 1267 2 0 0 25 0 4 0 652593614 313221120 22807 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 305880

[startup+25.5004 s]
/proc/loadavg: 7.68 7.96 8.02 9/361 13693
/proc/meminfo: memFree=21080548/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=307120 CPUtime=101.68 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 80819 0 0 0 10153 15 0 0 25 0 4 0 652593614 314490880 32277 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 76780 32277 379 95 0 71762 0
[pid=13687/tid=13688] ppid=13685 vsize=307120 CPUtime=25.48 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 21480 0 0 0 2545 3 0 0 25 0 4 0 652593614 314490880 32277 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293802 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=307120 CPUtime=25.19 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 19963 0 0 0 2516 3 0 0 25 0 4 0 652593614 314490880 32277 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=307120 CPUtime=25.48 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 17791 0 0 0 2545 3 0 0 25 0 4 0 652593614 314490880 32277 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 307120

[startup+51.1008 s]
/proc/loadavg: 7.85 7.98 8.02 9/361 13693
/proc/meminfo: memFree=21042528/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=367376 CPUtime=203.79 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 115383 0 0 0 20354 25 0 0 25 0 4 0 652593614 376193024 37434 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 91844 37434 379 95 0 86826 0
[pid=13687/tid=13688] ppid=13685 vsize=367376 CPUtime=51.09 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 30358 0 0 0 5103 6 0 0 25 0 4 0 652593614 376193024 37434 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=367376 CPUtime=50.49 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 26338 0 0 0 5044 5 0 0 25 0 4 0 652593614 376193024 37434 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=367376 CPUtime=51.08 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 27578 0 0 0 5103 5 0 0 25 0 4 0 652593614 376193024 37434 33554432000 4194304 4580107 140733286914080 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 367376

[startup+102.314 s]
/proc/loadavg: 8.05 8.02 8.03 9/361 13695
/proc/meminfo: memFree=20990784/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=319024 CPUtime=408.04 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 173033 0 0 0 40760 44 0 0 25 0 4 0 652593614 326680576 46166 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 79756 46166 379 95 0 74738 0
[pid=13687/tid=13688] ppid=13685 vsize=319024 CPUtime=102.3 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 47648 0 0 0 10219 11 0 0 25 0 4 0 652593614 326680576 46166 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=319024 CPUtime=101.09 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 33718 0 0 0 10101 8 0 0 25 0 4 0 652593614 326680576 46166 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=319024 CPUtime=102.3 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 44926 0 0 0 10219 11 0 0 25 0 4 0 652593614 326680576 46166 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 319024

[startup+162.301 s]

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

[pid=13687] ppid=13685 vsize=621976 CPUtime=2561.66 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 483907 0 0 0 255984 182 0 0 25 0 4 0 652593614 636903424 100671 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 155494 100671 379 95 0 150476 0
[pid=13687/tid=13688] ppid=13685 vsize=621976 CPUtime=642.32 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 144119 0 0 0 64176 56 0 0 25 0 4 0 652593614 636903424 100674 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=621976 CPUtime=634.73 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 83335 0 0 0 63442 31 0 0 25 0 4 0 652593614 636903424 100674 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=621976 CPUtime=642.31 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 121671 0 0 0 64184 47 0 0 25 0 4 0 652593614 636903424 100674 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2561.66
Current children cumulated vsize (KiB) 621976

[startup+702.301 s]
/proc/loadavg: 8.13 8.11 8.07 9/361 13722
/proc/meminfo: memFree=20577584/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=672608 CPUtime=2800.94 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 512392 0 0 0 279899 195 0 0 25 0 4 0 652593614 688750592 102973 33554432000 4194304 4580107 140733286914080 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 168152 102973 379 95 0 163134 0
[pid=13687/tid=13688] ppid=13685 vsize=672608 CPUtime=702.31 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 154094 0 0 0 70171 60 0 0 25 0 4 0 652593614 688750592 102973 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=672608 CPUtime=694.02 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 86827 0 0 0 69369 33 0 0 25 0 4 0 652593614 688750592 102973 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=672608 CPUtime=702.3 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 128942 0 0 0 70179 51 0 0 25 0 4 0 652593614 688750592 102973 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2800.94
Current children cumulated vsize (KiB) 672608

[startup+762.313 s]
/proc/loadavg: 8.32 8.19 8.09 9/361 13724
/proc/meminfo: memFree=20539256/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=622428 CPUtime=3039.4 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 535454 0 0 0 303732 208 0 0 25 0 4 0 652593614 637366272 107131 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 155607 107131 379 95 0 150589 0
[pid=13687/tid=13688] ppid=13685 vsize=622428 CPUtime=762.32 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 161325 0 0 0 76168 64 0 0 25 0 4 0 652593614 637366272 107131 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=622428 CPUtime=753.31 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 90099 0 0 0 75297 34 0 0 25 0 4 0 652593614 637366272 107131 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=622428 CPUtime=761.44 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 136408 0 0 0 76088 56 0 0 25 0 4 0 652593614 637366272 107131 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3039.4
Current children cumulated vsize (KiB) 622428

[startup+822.3 s]
/proc/loadavg: 8.16 8.16 8.09 9/361 13726
/proc/meminfo: memFree=20526796/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=674352 CPUtime=3278.64 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 559270 0 0 0 327644 220 0 0 25 0 4 0 652593614 690536448 106726 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 168588 106726 379 95 0 163570 0
[pid=13687/tid=13688] ppid=13685 vsize=674352 CPUtime=822.31 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 168844 0 0 0 82163 68 0 0 25 0 4 0 652593614 690536448 106727 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=674352 CPUtime=812.6 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 93048 0 0 0 81224 36 0 0 25 0 4 0 652593614 690536448 106727 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=674352 CPUtime=821.43 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 144097 0 0 0 82083 60 0 0 25 0 4 0 652593614 690536448 106727 33554432000 4194304 4580107 140733286914080 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3278.64
Current children cumulated vsize (KiB) 674352

[startup+882.301 s]
/proc/loadavg: 8.14 8.15 8.09 9/361 13728
/proc/meminfo: memFree=20455944/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=764424 CPUtime=3517.95 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 589532 0 0 0 351562 233 0 0 25 0 4 0 652593614 782770176 121482 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 191106 121482 379 95 0 186088 0
[pid=13687/tid=13688] ppid=13685 vsize=764424 CPUtime=882.31 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 176319 0 0 0 88159 72 0 0 25 0 4 0 652593614 782770176 121482 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=764424 CPUtime=871.89 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 95985 0 0 0 87151 38 0 0 25 0 4 0 652593614 782770176 121482 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=764424 CPUtime=881.43 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 157522 0 0 0 88079 64 0 0 25 0 4 0 652593614 782770176 121482 33554432000 4194304 4580107 140733286914080 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3517.95
Current children cumulated vsize (KiB) 764424

[startup+942.301 s]
/proc/loadavg: 8.05 8.12 8.08 9/361 13729
/proc/meminfo: memFree=20440652/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=704548 CPUtime=3757.25 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 614586 0 0 0 375480 245 0 0 25 0 4 0 652593614 721457152 120187 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 176137 120187 379 95 0 171119 0
[pid=13687/tid=13688] ppid=13685 vsize=704548 CPUtime=942.32 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 188690 0 0 0 94156 76 0 0 25 0 4 0 652593614 721457152 120187 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=704548 CPUtime=931.19 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 99243 0 0 0 93079 40 0 0 25 0 4 0 652593614 721457152 120187 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=704548 CPUtime=941.42 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 163570 0 0 0 94076 66 0 0 25 0 4 0 652593614 721457152 120187 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3757.25
Current children cumulated vsize (KiB) 704548

[startup+1002.3 s]
/proc/loadavg: 8.08 8.11 8.08 9/361 13731
/proc/meminfo: memFree=20475448/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=753720 CPUtime=3996.54 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 636633 0 0 0 399396 258 0 0 25 0 4 0 652593614 771809280 120315 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 188430 120315 379 95 0 183412 0
[pid=13687/tid=13688] ppid=13685 vsize=753720 CPUtime=1002.31 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 195259 0 0 0 100152 79 0 0 25 0 4 0 652593614 771809280 120315 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=753720 CPUtime=990.47 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 102664 0 0 0 99004 43 0 0 25 0 4 0 652593614 771809280 120315 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=753720 CPUtime=1001.43 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 169845 0 0 0 100073 70 0 0 25 0 4 0 652593614 771809280 120315 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3996.54
Current children cumulated vsize (KiB) 753720

[startup+1062.3 s]
/proc/loadavg: 8.07 8.10 8.08 9/361 13732
/proc/meminfo: memFree=20446908/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=780148 CPUtime=4235.85 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 657929 0 0 0 423316 269 0 0 25 0 4 0 652593614 798871552 129029 33554432000 4194304 4580107 140733286914080 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 195037 129029 379 95 0 190019 0
[pid=13687/tid=13688] ppid=13685 vsize=780148 CPUtime=1062.32 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 202539 0 0 0 106149 83 0 0 25 0 4 0 652593614 798871552 129029 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=780148 CPUtime=1049.78 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 105590 0 0 0 104933 45 0 0 25 0 4 0 652593614 798871552 129029 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=780148 CPUtime=1061.43 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 176855 0 0 0 106069 74 0 0 25 0 4 0 652593614 798871552 129029 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4235.85
Current children cumulated vsize (KiB) 780148

[startup+1122.3 s]
/proc/loadavg: 8.11 8.11 8.09 9/361 13734
/proc/meminfo: memFree=20417112/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=795044 CPUtime=4475.13 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 682338 0 0 0 447231 282 0 0 25 0 4 0 652593614 814125056 134446 33554432000 4194304 4580107 140733286914080 18446744073709551615 4406486 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 198761 134446 379 95 0 193743 0
[pid=13687/tid=13688] ppid=13685 vsize=795044 CPUtime=1122.32 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 211340 0 0 0 112145 87 0 0 25 0 4 0 652593614 814125056 134446 33554432000 4194304 4580107 140733286914080 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=795044 CPUtime=1109.06 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 109347 0 0 0 110858 48 0 0 25 0 4 0 652593614 814125056 134446 33554432000 4194304 4580107 140733286914080 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=795044 CPUtime=1121.44 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 182238 0 0 0 112067 77 0 0 25 0 4 0 652593614 814125056 134446 33554432000 4194304 4580107 140733286914080 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4475.13
Current children cumulated vsize (KiB) 795044

[startup+1182.3 s]
/proc/loadavg: 8.21 8.13 8.10 9/361 13736
/proc/meminfo: memFree=20418816/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=788424 CPUtime=4714.43 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 698283 0 0 0 471151 292 0 0 25 0 4 0 652593614 807346176 133322 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 197106 133322 379 95 0 192088 0
[pid=13687/tid=13688] ppid=13685 vsize=788424 CPUtime=1182.32 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 215153 0 0 0 118143 89 0 0 25 0 4 0 652593614 807346176 133322 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=788424 CPUtime=1168.35 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 111426 0 0 0 116786 49 0 0 25 0 4 0 652593614 807346176 133322 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=788424 CPUtime=1181.44 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 187153 0 0 0 118064 80 0 0 25 0 4 0 652593614 807346176 133322 33554432000 4194304 4580107 140733286914080 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4714.43
Current children cumulated vsize (KiB) 788424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.15 8.12 8.09 5/356 13737
/proc/meminfo: memFree=20760316/32951124 swapFree=65581052/67111528
[pid=13687] ppid=13685 vsize=721196 CPUtime=4800.19 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13351 0 -1 4202496 707047 0 0 0 479722 297 0 0 25 0 4 0 652593614 738504704 134040 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13687/statm: 180299 134040 379 95 0 175281 0
[pid=13687/tid=13688] ppid=13685 vsize=721196 CPUtime=1203.84 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 217342 0 0 0 120293 91 0 0 25 0 4 0 652593614 738504704 134042 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=721196 CPUtime=1189.6 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 112673 0 0 0 118910 50 0 0 25 0 4 0 652593614 738504704 134042 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13687/tid=13691] ppid=13685 vsize=721196 CPUtime=1202.95 cores=1,3,5,7
/proc/13687/task/13691/stat : 13691 (strangenight2-m) R 13685 13687 13351 0 -1 4202560 190093 0 0 0 120213 82 0 0 25 0 4 0 652593614 738504704 134042 33554432000 4194304 4580107 140733286914080 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 721196

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.84
CPU time (s): 4800.27
CPU user time (s): 4797.27
CPU system time (s): 2.99954
CPU usage (%): 398.746
Max. virtual memory (cumulated for all children) (KiB): 881276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.27
system time used= 2.99954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 707050
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= 278
involuntary context switches= 33167

runsolver used 3.9374 second user time and 10.3114 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-14 23:52:39
IDJOB=3366599
IDBENCH=83008
IDSOLVER=1844
FILE ID=node137/3366599-1305409959
RUNJOBID= node137-1305409959-13666
PBS_JOBID= 13324510
Free space on /tmp= 73672 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366599-1305409959/watcher-3366599-1305409959 -o /tmp/evaluation-result-3366599-1305409959/solver-3366599-1305409959 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366599-1305409959.cnf

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

MD5SUM BENCH= 2b3c7a221faca9e629eac8ef7f1b0cd7
RANDOM SEED=1184177394

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21300736 kB
Buffers:        281384 kB
Cached:        3704796 kB
SwapCached:      36328 kB
Active:        1621740 kB
Inactive:      9804800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21300736 kB
SwapTotal:    67111528 kB
SwapFree:     65581052 kB
Dirty:           11336 kB
Writeback:           0 kB
AnonPages:     7413768 kB
Mapped:          19500 kB
Slab:           120340 kB
PageTables:      38928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75935136 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= 73664 MiB
End job on node137 at 2011-05-15 00:12:45