Trace number 3366863

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.22 1202.74

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
MD5SUM51d9aefd9da7f94abc32dd024090dc46
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005998
Satisfiable
(Un)Satisfiability was proved
Number of variables270
Number of clauses1080
Sum of the clauses size3240
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31080
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-3366863-1305416340.cnf'
0.00/0.00	c -- header says num vars:            270
0.00/0.00	c -- header says num clauses:        1080
0.00/0.00	c -- clauses added:            0 learnts,         1080 normals,            0 xors
0.00/0.00	c -- vars added        270
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       270      1080         0         0      3240         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1080/1080 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    270 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.16/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.16/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.16/0.80	c Finding non-binary XORs:     0.00 s (found:     270, avg size: 3.0)
3.16/0.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     2 time:   0.00
3.16/0.80	c calculated reachability. Time: 0.00
3.16/0.80	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     270
3.16/0.80	c =========================================================================================
3.16/0.80	c types(t): F = full restart, N = normal restart
3.16/0.80	c types(t): S = simplification begin/end, E = solution found
3.16/0.80	c restart types(rt): st = static, dy = dynamic
3.16/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.80	c  B st     0         0       270         0         2         0       814         0   no data   no data
3.16/0.80	c Decided on static restart strategy
3.16/0.80	c  N st     8      4914       270         0         2      4603       814    124974   no data   no data
3.16/0.80	c  N st    10     11297       270         0         2      4216       814     77248   no data   no data
3.16/0.80	c  N st    11     17041       270         0         2      9507       814    224919   no data   no data
3.98/1.10	c  F st    12     25000       270         0         2     11782       814    260963   no data   no data
3.98/1.10	c Replacing        1 vars Replaced     2855 lits Time:     0.01 s 
3.98/1.10	c  N st    12     25000       269         0         0     11782       810    260963   no data   no data
5.15/1.30	c Decided on static restart strategy
5.15/1.30	c  N st    18     30001       269         0         0     10120       810    216363   no data   no data
5.15/1.30	c  S st    18     30001       269         0         0     10120       810    216363   no data   no data
5.15/1.30	c  S st    18     30503       269         0         0     10595       810    230199   no data   no data
5.15/1.30	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
5.15/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.15/1.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5.15/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    268 time:  0.00 s
5.15/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.15/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c lits-rem:       658  cl-subs:     1072  v-elim:      0  v-fix:    0  time:  0.11 s
5.96/1.50	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N st    18     30503       268         0         0      9366       805    200933   no data   no data
7.16/1.84	c  N st    20     37617       268         0         0      8804       805    164177   no data   no data
8.78/2.25	c  N st    21     44017       268         0         0     14768       805    315100   no data   no data
9.14/2.36	c  S st    22     45755       268         0         0     16394       805    356208   no data   no data
9.55/2.43	c  S st    22     46259       268         0         0      8534       805    144198   no data   no data
9.55/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
9.55/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
9.55/2.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.47	c lits-rem:       291  cl-subs:      533  v-elim:      0  v-fix:    0  time:  0.03 s
9.55/2.47	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
9.55/2.47	c vivif2 --  cl tried     7992 cl shrink        0 lits rem          0 time: 0.00
9.55/2.47	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
9.55/2.47	c calculated reachability. Time: 0.00
9.55/2.47	c  N st    22     46259       267         0         0      7992       803    132409   no data   no data
13.53/3.41	c  N st    23     60656       267         0         0     12185       803    220990   no data   no data
16.33/4.15	c  N st    24     69389       267         0         0     20413       803    435222   no data   no data
16.33/4.15	c  S st    24     69389       267         0         0     20413       803    435222   no data   no data
16.74/4.23	c  S st    24     69890       267         0         0     10598       803    170149   no data   no data
16.74/4.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.74/4.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
16.74/4.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.74/4.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.74/4.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.74/4.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
16.74/4.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.74/4.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.74/4.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.74/4.30	c lits-rem:       209  cl-subs:      817  v-elim:      0  v-fix:    0  time:  0.06 s
16.74/4.30	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
16.74/4.30	c vivif2 --  cl tried     9781 cl shrink        0 lits rem          0 time: 0.00
16.74/4.30	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
16.74/4.30	c calculated reachability. Time: 0.00
16.74/4.30	c  N st    24     69890       267         0         0      9781       803    154318   no data   no data
21.95/5.54	c  F st    25     87501       267         0         0     14935       803    270097   no data   no data
21.95/5.54	c  N st    25     87501       267         0         0     14935       803    270097   no data   no data
23.52/5.90	c Decided on static restart strategy
24.32/6.12	c  N st    32     95538       267         0         0     22427       803    469977   no data   no data
27.11/6.83	c  N st    34    104838       267         0         0     19061       803    362065   no data   no data
27.11/6.83	c  S st    34    104838       267         0         0     19061       803    362065   no data   no data
27.51/6.91	c  S st    34    105340       267         0         0     19542       803    375798   no data   no data
27.51/6.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.51/6.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.51/6.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.51/6.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.51/6.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.51/6.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
27.51/6.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.51/6.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.51/6.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.50/7.46	c lits-rem:       539  cl-subs:     2999  v-elim:      0  v-fix:    0  time:  0.52 s
29.50/7.46	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
29.50/7.46	c vivif2 --  cl tried    16543 cl shrink        0 lits rem          0 time: 0.00
29.50/7.46	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
29.50/7.46	c calculated reachability. Time: 0.00
29.50/7.46	c  N st    34    105340       267         0         0     16543       803    309230   no data   no data
33.09/8.32	c  N st    35    114940       267         0         0     25648       803    548846   no data   no data
38.28/9.62	c  N st    36    129338       267         0         0     26087       803    510444   no data   no data
46.27/11.69	c  N st    37    150934       267         0         0     17488       803    284956   no data   no data
48.66/12.28	c  S st    38    158011       267         0         0     24130       803    452551   no data   no data
49.06/12.38	c  S st    38    158511       267         0         0     24611       803    466419   no data   no data
49.06/12.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.06/12.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
49.06/12.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.06/12.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.06/12.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.06/12.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
49.06/12.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.06/12.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
49.46/12.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.64/13.79	c lits-rem:       793  cl-subs:     5632  v-elim:      0  v-fix:    0  time:  1.38 s
54.64/13.79	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
54.64/13.79	c vivif2 --  cl tried    18979 cl shrink        0 lits rem          0 time: 0.00
54.64/13.79	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
54.64/13.79	c calculated reachability. Time: 0.00
54.64/13.79	c  N st    38    158511       267         0         0     18979       803    345824   no data   no data
75.00/18.85	c  N st    39    207099       267         0         0     31669       803    586164   no data   no data
87.81/22.05	c  N st    40    237767       267         0         0     23772       803    390790   no data   no data
87.81/22.05	c  S st    40    237767       267         0         0     23772       803    390790   no data   no data
88.17/22.14	c  S st    40    238269       267         0         0     24260       803    405522   no data   no data
88.17/22.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
88.17/22.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
88.17/22.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88.17/22.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.17/22.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.17/22.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
88.17/22.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
88.17/22.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
88.17/22.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.79/23.10	c lits-rem:       346  cl-subs:     5013  v-elim:      0  v-fix:    0  time:  0.93 s
91.79/23.10	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
91.79/23.10	c vivif2 --  cl tried    19247 cl shrink        0 lits rem          0 time: 0.00
91.79/23.10	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
91.79/23.10	c calculated reachability. Time: 0.00
91.79/23.10	c  N st    40    238269       267         0         0     19247       803    308869   no data   no data
123.29/30.99	c  F st    41    306250       267         0         0     21532       803    324887   no data   no data
123.29/30.99	c  N st    41    306250       267         0         0     21532       803    324887   no data   no data
125.29/31.49	c Decided on static restart strategy
136.11/34.13	c  N st    51    334556       267         0         0     25363       803    405617   no data   no data
148.44/37.27	c  N st    53    357405       267         0         0     23337       803    345571   no data   no data
148.44/37.27	c  S st    53    357405       267         0         0     23337       803    345571   no data   no data
148.86/37.36	c  S st    53    357908       267         0         0     23820       803    359177   no data   no data
148.86/37.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
148.86/37.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
148.86/37.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
148.86/37.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.86/37.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.86/37.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
148.86/37.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
148.86/37.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
148.86/37.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.03/37.64	c lits-rem:       390  cl-subs:     1065  v-elim:      0  v-fix:    0  time:  0.25 s
150.03/37.64	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
150.03/37.64	c vivif2 --  cl tried    22755 cl shrink        0 lits rem          0 time: 0.00
150.03/37.64	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
150.03/37.64	c calculated reachability. Time: 0.00
150.03/37.64	c  N st    53    357908       267         0         0     22755       803    340725   no data   no data
167.20/41.93	c  N st    54    390301       267         0         0     28718       803    456313   no data   no data
191.14/47.93	c  N st    55    438892       267         0         0     48598       803    940386   no data   no data
229.46/57.55	c  N st    56    511775       267         0         0     35497       803    573234   no data   no data
243.44/61.05	c  N st    57    536863       267         0         0     29976       803    453306   no data   no data
243.44/61.05	c  S st    57    536863       267         0         0     29976       803    453306   no data   no data
243.83/61.16	c  S st    57    537368       267         0         0     30455       803    467025   no data   no data
243.83/61.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.83/61.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
243.83/61.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.83/61.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.83/61.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.83/61.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
243.83/61.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
243.83/61.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
243.83/61.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.22/61.78	c lits-rem:       832  cl-subs:     2319  v-elim:      0  v-fix:    0  time:  0.60 s
246.22/61.78	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
246.22/61.78	c vivif2 --  cl tried    28136 cl shrink        0 lits rem          0 time: 0.00
246.22/61.78	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
246.22/61.78	c calculated reachability. Time: 0.00
246.22/61.78	c  N st    57    537368       267         0         0     28136       803    426254   no data   no data
327.65/82.12	c  N st    58    701353       267         0         0     54870       803    967519   no data   no data
382.73/95.94	c  N st    59    806052       267         0         0     49685       803    852510   no data   no data
382.73/95.94	c  S st    59    806052       267         0         0     49685       803    852510   no data   no data
383.53/96.18	c  S st    59    806555       267         0         0     50156       803    865955   no data   no data
383.53/96.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
383.93/96.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
383.93/96.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
383.93/96.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
383.93/96.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
383.93/96.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
383.93/96.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
383.93/96.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
383.93/96.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
409.06/102.59	c lits-rem:      1368  cl-subs:    11921  v-elim:      0  v-fix:    0  time:  6.35 s
409.06/102.59	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
409.06/102.60	c vivif2 --  cl tried    38235 cl shrink        0 lits rem          0 time: 0.01
409.06/102.60	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
409.46/102.60	c calculated reachability. Time: 0.00
409.46/102.60	c  N st    59    806555       267         0         0     38235       803    646556   no data   no data
577.91/144.82	c  F st    60   1071875       267         0         0     54105       803    910827   no data   no data
577.91/144.82	c  N st    60   1071875       267         0         0     54105       803    910827   no data   no data
580.30/145.49	c Decided on static restart strategy
595.06/149.16	c  N st    70   1100176       267         0         0     79820       803   1546755   no data   no data
617.02/154.65	c  N st    72   1136168       267         0         0     71302       803   1321485   no data   no data
636.61/159.56	c  N st    73   1168560       267         0         0     58985       803   1015387   no data   no data
667.69/167.39	c  N st    74   1209834       267         0         0     54036       803    880479   no data   no data
667.69/167.39	c  S st    74   1209834       267         0         0     54036       803    880479   no data   no data
669.31/167.70	c  S st    74   1210336       267         0         0     54521       803    894722   no data   no data
669.31/167.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
669.31/167.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.03
669.31/167.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
669.31/167.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
669.31/167.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
669.31/167.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
669.31/167.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
669.31/167.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
669.31/167.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
693.68/173.88	c lits-rem:      2254  cl-subs:     9396  v-elim:      0  v-fix:    0  time:  6.11 s
693.68/173.88	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
693.68/173.89	c vivif2 --  cl tried    45125 cl shrink        0 lits rem          0 time: 0.01
693.68/173.89	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
693.68/173.89	c calculated reachability. Time: 0.00
693.68/173.89	c  N st    74   1210336       267         0         0     45125       803    709558   no data   no data
745.54/186.81	c  N st    75   1283219       267         0         0     68508       803   1192080   no data   no data
841.32/210.85	c  N st    76   1392542       267         0         0     77923       803   1387925   no data   no data
973.03/243.82	c  N st    77   1556527       267         0         0     86025       803   1592009   no data   no data
1104.74/276.89	c  N st    78   1710338       267         0         0     76151       803   1329910   no data   no data
1104.74/276.89	c  S st    78   1710338       267         0         0     76151       803   1329910   no data   no data
1106.37/277.25	c  S st    78   1710840       267         0         0     76630       803   1343734   no data   no data
1106.37/277.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1106.37/277.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
1106.37/277.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1106.37/277.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1106.37/277.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1106.37/277.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
1106.37/277.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1106.73/277.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1106.73/277.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1152.63/288.83	c lits-rem:      2515  cl-subs:    14856  v-elim:      0  v-fix:    0  time: 11.50 s
1152.63/288.83	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
1152.63/288.85	c vivif2 --  cl tried    61774 cl shrink        0 lits rem          0 time: 0.02
1152.63/288.85	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1152.63/288.85	c calculated reachability. Time: 0.00
1152.63/288.85	c  N st    78   1710840       267         0         0     61774       803   1092629   no data   no data
1467.54/367.75	c  N st    79   2079804       267         0         0     74219       803   1202567   no data   no data
1585.28/397.26	c  N st    80   2210841       267         0         0     78760       803   1292872   no data   no data
1585.28/397.26	c  S st    80   2210841       267         0         0     78760       803   1292872   no data   no data
1586.47/397.60	c  S st    80   2211342       267         0         0     79237       803   1307224   no data   no data
1586.87/397.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1586.87/397.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
1586.87/397.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1586.87/397.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1586.87/397.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1586.87/397.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
1586.87/397.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1586.87/397.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1586.87/397.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1620.40/406.01	c lits-rem:      1884  cl-subs:    13418  v-elim:      0  v-fix:    0  time:  8.33 s
1620.40/406.01	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
1620.40/406.02	c vivif2 --  cl tried    65819 cl shrink        0 lits rem          0 time: 0.01
1620.40/406.02	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1620.40/406.03	c calculated reachability. Time: 0.00
1620.40/406.03	c  N st    80   2211342       267         0         0     65819       803   1058058   no data   no data
2116.89/530.49	c  N st    81   2711344       267         0         0     89346       803   1467570   no data   no data
2116.89/530.49	c  S st    81   2711344       267         0         0     89346       803   1467570   no data   no data
2118.49/530.87	c  S st    81   2711845       267         0         0     89830       803   1481274   no data   no data
2118.49/530.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2118.89/530.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
2118.89/530.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2118.89/530.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2118.89/530.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2118.89/530.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
2118.89/530.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2118.89/530.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2118.89/530.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2175.96/545.20	c lits-rem:       713  cl-subs:    17984  v-elim:      0  v-fix:    0  time: 14.24 s
2175.96/545.20	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
2175.96/545.22	c vivif2 --  cl tried    71846 cl shrink        0 lits rem          0 time: 0.01
2175.96/545.22	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2175.96/545.22	c calculated reachability. Time: 0.00
2175.96/545.22	c  N st    81   2711845       267         0         0     71846       803   1142691   no data   no data
2657.31/665.87	c  N st    82   3211846       267         0         0    119797       803   2129574   no data   no data
2657.31/665.87	c  S st    82   3211846       267         0         0    119797       803   2129574   no data   no data
2660.12/666.51	c  S st    82   3212352       267         0         0    120284       803   2143582   no data   no data
2660.12/666.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2660.12/666.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2660.12/666.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2660.12/666.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2660.12/666.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2660.12/666.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
2660.12/666.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2660.12/666.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2660.53/666.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2876.41/720.76	c lits-rem:      1405  cl-subs:    31125  v-elim:      0  v-fix:    0  time: 54.11 s
2876.41/720.76	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
2876.41/720.79	c vivif2 --  cl tried    89159 cl shrink        0 lits rem          0 time: 0.02
2876.41/720.79	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
2876.41/720.79	c calculated reachability. Time: 0.00
2876.41/720.79	c  N st    82   3212352       267         0         0     89159       803   1594587   no data   no data
3418.02/856.43	c  N st    83   3712353       267         0         0    109582       803   1836086   no data   no data
3418.02/856.43	c  S st    83   3712353       267         0         0    109582       803   1836086   no data   no data
3420.81/857.16	c  S st    83   3712855       267         0         0    110065       803   1849952   no data   no data
3420.81/857.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3421.21/857.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
3421.21/857.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3421.21/857.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3421.21/857.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3421.21/857.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
3421.21/857.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3421.21/857.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3421.61/857.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3562.09/892.54	c lits-rem:      1497  cl-subs:    24131  v-elim:      0  v-fix:    0  time: 35.22 s
3562.09/892.54	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
3562.09/892.56	c vivif2 --  cl tried    85934 cl shrink        0 lits rem          0 time: 0.02
3562.09/892.56	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
3562.09/892.56	c calculated reachability. Time: 0.00
3562.09/892.56	c  N st    83   3712855       267         0         0     85934       803   1390136   no data   no data
3596.82/901.24	c  F st    84   3751563       267         0         0    121733       803   2244188   no data   no data
3596.82/901.24	c  N st    84   3751563       267         0         0    121733       803   2244188   no data   no data
3627.55/908.97	c  N dy   122   3772380       267         0         0    140944       803   2732480     18.48     19.54
3663.48/917.99	c  N dy   169   3796237       267         0         0     85759       803   1340233     17.97     18.96
3691.84/925.10	c  N dy   279   3816492       267         0         0    104828       803   1842406     18.30     19.36
3724.55/933.29	c  N dy   332   3838314       267         0         0    125207       803   2359655     18.22     19.30
3758.12/941.67	c  N dy   388   3858373       267         0         0    144106       803   2850738     18.15     19.31
3806.77/953.80	c  N dy   501   3878448       267         0         0     83831       803   1259044     18.28     20.07
3841.12/962.48	c  N dy   594   3898461       267         0         0    102570       803   1740083     18.35     19.77
3871.03/969.97	c  N dy   662   3918545       267         0         0    121232       803   2218144     18.34     20.90
3907.74/979.10	c  N dy   714   3941824       267         0         0    142981       803   2783232     18.25     19.23
3962.02/992.70	c  N dy   818   3969057       267         0         0     88221       803   1329562     18.27     19.30
3990.39/999.88	c  N dy   928   3989153       267         0         0    107049       803   1824000     18.34     20.26
4022.29/1007.81	c  N dy  1008   4009599       267         0         0    126066       803   2318323     18.35     19.41
4074.97/1021.06	c  N dy  1071   4030233       267         0         0    145242       803   2801252     18.32     19.32
4137.63/1036.70	c  N dy  1137   4052087       267         0         0     84788       803   1229954     18.29     19.31
4211.86/1055.39	c  N dy  1257   4085913       267         0         0    116191       803   2014066     18.28     19.26
4271.35/1070.26	c  N dy  1380   4105977       267         0         0    134999       803   2501296     18.33     21.31
4327.60/1084.31	c  N dy  1443   4126020       267         0         0    153717       803   2969054     18.31     19.98
4379.88/1097.48	c  N dy  1558   4146087       267         0         0     90407       803   1347695     18.35     21.20
4416.22/1106.51	c  N dy  1675   4166188       267         0         0    109225       803   1827560     18.39     20.88
4456.14/1116.57	c  N dy  1793   4186453       267         0         0    128192       803   2314980     18.43     19.41
4503.61/1128.41	c  N dy  1928   4206468       267         0         0    146872       803   2797524     18.48     19.63
4519.97/1132.53	c  S st  1972   4212855       267         0         0    152848       803   2951157     18.49   no data
4523.16/1133.35	c  S st  1972   4213358       267         0         0    153332       803   2965495     18.49   no data
4523.16/1133.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4523.56/1133.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4523.56/1133.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4523.56/1133.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4523.56/1133.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4523.56/1133.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    267 time:  0.00 s
4523.56/1133.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4523.56/1133.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4523.96/1133.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4690.39/1175.27	c lits-rem:      4444  cl-subs:    20140  v-elim:      0  v-fix:    0  time: 41.70 s
4690.39/1175.27	c vivif2 --  cl tried        0 cl shrink        0 lits rem          0 time: 0.00
4690.79/1175.30	c vivif2 --  cl tried   133192 cl shrink        0 lits rem          0 time: 0.03
4690.79/1175.30	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
4690.79/1175.30	c calculated reachability. Time: 0.00
4690.79/1175.30	c  N dy  1972   4213358       267         0         0    133192       803   2519732     18.49   no data
4759.83/1192.70	c  N dy  2013   4245673       267         0         0    163358       803   3244277     18.38     19.46
4799.34/1202.54	c  N dy  2108   4269854       267         0         0    103394       803   1653053     18.38     19.46

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-3366863-1305416340/watcher-3366863-1305416340 -o /tmp/evaluation-result-3366863-1305416340/solver-3366863-1305416340 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366863-1305416340.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: 8.19 8.09 7.66 6/282 20046
/proc/meminfo: memFree=22964744/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 634049333 52396032 352 33554432000 4194304 4580107 140734295155872 18446744073709551615 254261616571 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 12792 352 302 95 0 7774 0
[pid=20046/tid=20047] ppid=20044 vsize=208080 CPUtime=0 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 29 0 0 0 0 0 0 0 25 0 4 0 634049333 213073920 608 33554432000 4194304 4580107 140734295155872 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=208080 CPUtime=0 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 62 0 0 0 0 0 0 0 25 0 4 0 634049333 213073920 608 33554432000 4194304 4580107 140734295155872 18446744073709551615 254261641111 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=208080 CPUtime=0 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 94 0 0 0 0 0 0 0 18 0 4 0 634049333 213073920 608 33554432000 4194304 4580107 140734295155872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.042922 s]
/proc/loadavg: 8.19 8.09 7.66 6/282 20046
/proc/meminfo: memFree=22964744/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=282104 CPUtime=0.14 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 1151 0 0 0 14 0 0 0 18 0 4 0 634049333 288874496 1075 33554432000 4194304 4580107 140734295155872 18446744073709551615 4295135 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 70526 1075 377 95 0 65508 0
[pid=20046/tid=20047] ppid=20044 vsize=282104 CPUtime=0.03 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 184 0 0 0 3 0 0 0 25 0 4 0 634049333 288874496 1075 33554432000 4194304 4580107 140734295155872 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=282104 CPUtime=0.03 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 178 0 0 0 3 0 0 0 18 0 4 0 634049333 288874496 1075 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=282104 CPUtime=0.03 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 146 0 0 0 3 0 0 0 18 0 4 0 634049333 288874496 1075 33554432000 4194304 4580107 140734295155872 18446744073709551615 4316772 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 282104

[startup+0.100911 s]
/proc/loadavg: 8.19 8.09 7.66 6/282 20046
/proc/meminfo: memFree=22964744/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=282104 CPUtime=0.37 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 1444 0 0 0 37 0 0 0 18 0 4 0 634049333 288874496 1368 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 70526 1368 378 95 0 65508 0
[pid=20046/tid=20047] ppid=20044 vsize=282104 CPUtime=0.08 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 264 0 0 0 8 0 0 0 25 0 4 0 634049333 288874496 1368 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=282104 CPUtime=0.09 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 250 0 0 0 9 0 0 0 18 0 4 0 634049333 288874496 1368 33554432000 4194304 4580107 140734295155872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=282104 CPUtime=0.09 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 226 0 0 0 9 0 0 0 18 0 4 0 634049333 288874496 1368 33554432000 4194304 4580107 140734295155872 18446744073709551615 4293216 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) 282104

[startup+0.300876 s]
/proc/loadavg: 8.19 8.09 7.66 6/282 20046
/proc/meminfo: memFree=22964744/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=283356 CPUtime=1.17 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 2486 0 0 0 117 0 0 0 18 0 4 0 634049333 290156544 1790 33554432000 4194304 4580107 140734295155872 18446744073709551615 4324379 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 70839 1791 378 95 0 65821 0
[pid=20046/tid=20047] ppid=20044 vsize=283356 CPUtime=0.28 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 525 0 0 0 28 0 0 0 25 0 4 0 634049333 290156544 1792 33554432000 4194304 4580107 140734295155872 18446744073709551615 4322880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=283356 CPUtime=0.29 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 529 0 0 0 29 0 0 0 18 0 4 0 634049333 290156544 1792 33554432000 4194304 4580107 140734295155872 18446744073709551615 4341610 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=283356 CPUtime=0.29 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 462 0 0 0 29 0 0 0 18 0 4 0 634049333 290156544 1792 33554432000 4194304 4580107 140734295155872 18446744073709551615 4489516 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) 283356

[startup+0.700806 s]
/proc/loadavg: 8.19 8.09 7.66 6/282 20046
/proc/meminfo: memFree=22964744/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=284400 CPUtime=2.76 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 4156 0 0 0 276 0 0 0 18 0 4 0 634049333 291225600 2278 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 71100 2278 378 95 0 66082 0
[pid=20046/tid=20047] ppid=20044 vsize=284400 CPUtime=0.68 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 897 0 0 0 68 0 0 0 25 0 4 0 634049333 291225600 2278 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=284400 CPUtime=0.69 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 926 0 0 0 69 0 0 0 18 0 4 0 634049333 291225600 2278 33554432000 4194304 4580107 140734295155872 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=284400 CPUtime=0.69 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 820 0 0 0 69 0 0 0 18 0 4 0 634049333 291225600 2278 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284400

[startup+1.50066 s]
/proc/loadavg: 8.19 8.09 7.66 9/286 20050
/proc/meminfo: memFree=22952188/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=291368 CPUtime=5.96 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 8369 0 0 0 595 1 0 0 20 0 4 0 634049333 298360832 4290 33554432000 4194304 4580107 140734295155872 18446744073709551615 4296010 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 72842 4290 380 95 0 67824 0
[pid=20046/tid=20047] ppid=20044 vsize=291368 CPUtime=1.47 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 1659 0 0 0 147 0 0 0 25 0 4 0 634049333 298360832 4290 33554432000 4194304 4580107 140734295155872 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=291368 CPUtime=1.48 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 1663 0 0 0 148 0 0 0 19 0 4 0 634049333 298360832 4291 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=291368 CPUtime=1.49 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 1564 0 0 0 149 0 0 0 20 0 4 0 634049333 298360832 4291 33554432000 4194304 4580107 140734295155872 18446744073709551615 4321646 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 291368

[startup+3.10038 s]
/proc/loadavg: 8.17 8.09 7.66 9/286 20050
/proc/meminfo: memFree=22939288/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=291968 CPUtime=12.35 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 15479 0 0 0 1233 2 0 0 25 0 4 0 634049333 298975232 7653 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 72992 7653 380 95 0 67974 0
[pid=20046/tid=20047] ppid=20044 vsize=291968 CPUtime=3.06 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 3790 0 0 0 306 0 0 0 25 0 4 0 634049333 298975232 7653 33554432000 4194304 4580107 140734295155872 18446744073709551615 4321079 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=291968 CPUtime=3.08 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 4655 0 0 0 308 0 0 0 25 0 4 0 634049333 298975232 7653 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=291968 CPUtime=3.09 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 2541 0 0 0 309 0 0 0 25 0 4 0 634049333 298975232 7653 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 291968

[startup+6.30082 s]
/proc/loadavg: 8.17 8.09 7.66 9/286 20051
/proc/meminfo: memFree=22908448/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=293936 CPUtime=25.12 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 26043 0 0 0 2508 4 0 0 25 0 4 0 634049333 300990464 10942 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294993 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 73484 10943 380 95 0 68466 0
[pid=20046/tid=20047] ppid=20044 vsize=293936 CPUtime=6.24 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 7058 0 0 0 623 1 0 0 25 0 4 0 634049333 300990464 10943 33554432000 4194304 4580107 140734295155872 18446744073709551615 4295115 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=293936 CPUtime=6.29 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 6346 0 0 0 628 1 0 0 25 0 4 0 634049333 300990464 10943 33554432000 4194304 4580107 140734295155872 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=293936 CPUtime=6.29 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 5914 0 0 0 628 1 0 0 25 0 4 0 634049333 300990464 10943 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 293936

[startup+12.7007 s]
/proc/loadavg: 8.15 8.08 7.66 9/286 20051
/proc/meminfo: memFree=22974948/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=303908 CPUtime=50.66 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 42237 0 0 0 5059 7 0 0 25 0 4 0 634049333 311201792 16361 33554432000 4194304 4580107 140734295155872 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 75977 16361 380 95 0 70959 0
[pid=20046/tid=20047] ppid=20044 vsize=303908 CPUtime=12.57 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 11339 0 0 0 1256 1 0 0 25 0 4 0 634049333 311201792 16361 33554432000 4194304 4580107 140734295155872 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=303908 CPUtime=12.68 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 10026 0 0 0 1267 1 0 0 25 0 4 0 634049333 311201792 16361 33554432000 4194304 4580107 140734295155872 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=303908 CPUtime=12.68 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 9722 0 0 0 1267 1 0 0 25 0 4 0 634049333 311201792 16361 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 303908

[startup+25.5004 s]
/proc/loadavg: 8.20 8.10 7.67 9/286 20051
/proc/meminfo: memFree=22948296/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=297020 CPUtime=101.74 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 59266 0 0 0 10163 11 0 0 25 0 4 0 634049333 304148480 22238 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 74255 22238 380 95 0 69237 0
[pid=20046/tid=20047] ppid=20044 vsize=297020 CPUtime=25.26 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 16601 0 0 0 2523 3 0 0 25 0 4 0 634049333 304148480 22238 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=297020 CPUtime=25.48 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 14920 0 0 0 2546 2 0 0 25 0 4 0 634049333 304148480 22238 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=297020 CPUtime=25.49 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 14080 0 0 0 2546 3 0 0 25 0 4 0 634049333 304148480 22238 33554432000 4194304 4580107 140734295155872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 297020

[startup+51.1009 s]
/proc/loadavg: 8.13 8.09 7.68 9/286 20052
/proc/meminfo: memFree=22878172/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=327680 CPUtime=203.92 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 88902 0 0 0 20375 17 0 0 25 0 4 0 634049333 335544320 30693 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 81920 30693 380 95 0 76902 0
[pid=20046/tid=20047] ppid=20044 vsize=327680 CPUtime=50.63 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 26464 0 0 0 5059 4 0 0 25 0 4 0 634049333 335544320 30693 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=327680 CPUtime=51.09 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 22349 0 0 0 5105 4 0 0 25 0 4 0 634049333 335544320 30693 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=327680 CPUtime=51.08 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 21278 0 0 0 5104 4 0 0 25 0 4 0 634049333 335544320 30693 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 327680

[startup+102.311 s]
/proc/loadavg: 8.10 8.09 7.70 9/286 20053
/proc/meminfo: memFree=22774120/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=331292 CPUtime=408.3 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 131021 0 0 0 40803 27 0 0 25 0 4 0 634049333 339243008 36441 33554432000 4194304 4580107 140734295155872 18446744073709551615 4416469 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 82823 36441 380 95 0 77805 0
[pid=20046/tid=20047] ppid=20044 vsize=331292 CPUtime=101.39 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 38238 0 0 0 10131 8 0 0 25 0 4 0 634049333 339243008 36441 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=331292 CPUtime=102.29 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 32922 0 0 0 10223 6 0 0 25 0 4 0 634049333 339243008 36441 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=331292 CPUtime=102.3 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 32455 0 0 0 10223 7 0 0 25 0 4 0 634049333 339243008 36441 33554432000 4194304 4580107 140734295155872 18446744073709551615 4320604 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.3
Current children cumulated vsize (KiB) 331292

[startup+162.301 s]

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

[pid=20046] ppid=20044 vsize=620096 CPUtime=2802.98 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 440536 0 0 0 280165 133 0 0 25 0 4 0 634049333 634978304 88902 33554432000 4194304 4580107 140734295155872 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 155024 88902 380 95 0 150006 0
[pid=20046/tid=20047] ppid=20044 vsize=620096 CPUtime=696.05 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 89459 0 0 0 69581 24 0 0 25 0 4 0 634049333 634978304 88902 33554432000 4194304 4580107 140734295155872 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=620096 CPUtime=702.29 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 138420 0 0 0 70188 41 0 0 25 0 4 0 634049333 634978304 88902 33554432000 4194304 4580107 140734295155872 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=620096 CPUtime=702.31 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 99110 0 0 0 70198 33 0 0 25 0 4 0 634049333 634978304 88902 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.98
Current children cumulated vsize (KiB) 620096

[startup+762.311 s]
/proc/loadavg: 8.06 8.11 7.90 9/286 20071
/proc/meminfo: memFree=21914100/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=568552 CPUtime=3042.48 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 458173 0 0 0 304106 142 0 0 25 0 4 0 634049333 582197248 87812 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 142138 87812 380 95 0 137120 0
[pid=20046/tid=20047] ppid=20044 vsize=568552 CPUtime=755.52 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 94223 0 0 0 75526 26 0 0 25 0 4 0 634049333 582197248 87812 33554432000 4194304 4580107 140734295155872 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=568552 CPUtime=762.3 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 141936 0 0 0 76187 43 0 0 25 0 4 0 634049333 582197248 87812 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=568552 CPUtime=762.31 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 102290 0 0 0 76197 34 0 0 25 0 4 0 634049333 582197248 87812 33554432000 4194304 4580107 140734295155872 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3042.48
Current children cumulated vsize (KiB) 568552

[startup+822.301 s]
/proc/loadavg: 8.08 8.10 7.91 9/286 20192
/proc/meminfo: memFree=24551764/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=583128 CPUtime=3281.93 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 478366 0 0 0 328041 152 0 0 25 0 4 0 634049333 597123072 91357 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 145782 91357 380 95 0 140764 0
[pid=20046/tid=20047] ppid=20044 vsize=583128 CPUtime=814.99 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 97768 0 0 0 81470 29 0 0 25 0 4 0 634049333 597123072 91357 33554432000 4194304 4580107 140734295155872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=583128 CPUtime=822.29 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 150579 0 0 0 82182 47 0 0 25 0 4 0 634049333 597123072 91357 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=583128 CPUtime=822.3 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 105896 0 0 0 82195 35 0 0 25 0 4 0 634049333 597123072 91357 33554432000 4194304 4580107 140734295155872 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3281.93
Current children cumulated vsize (KiB) 583128

[startup+882.301 s]
/proc/loadavg: 8.11 8.11 7.92 9/286 20194
/proc/meminfo: memFree=24485140/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=705600 CPUtime=3521.38 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 495748 0 0 0 351976 162 0 0 25 0 4 0 634049333 722534400 99241 33554432000 4194304 4580107 140734295155872 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 176400 99241 380 95 0 171382 0
[pid=20046/tid=20047] ppid=20044 vsize=705600 CPUtime=874.44 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 104787 0 0 0 87412 32 0 0 25 0 4 0 634049333 722534400 99241 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=705600 CPUtime=882.29 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 157617 0 0 0 88178 51 0 0 25 0 4 0 634049333 722534400 99241 33554432000 4194304 4580107 140734295155872 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=705600 CPUtime=882.31 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 106933 0 0 0 88194 37 0 0 25 0 4 0 634049333 722534400 99241 33554432000 4194304 4580107 140734295155872 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3521.38
Current children cumulated vsize (KiB) 705600

[startup+942.301 s]
/proc/loadavg: 8.18 8.12 7.93 6/280 20337
/proc/meminfo: memFree=24590864/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=700556 CPUtime=3760.88 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 518260 0 0 0 375917 171 0 0 25 0 4 0 634049333 717369344 106039 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 175139 106039 380 95 0 170121 0
[pid=20046/tid=20047] ppid=20044 vsize=700556 CPUtime=933.94 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 109729 0 0 0 93360 34 0 0 25 0 4 0 634049333 717369344 106039 33554432000 4194304 4580107 140734295155872 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=700556 CPUtime=942.3 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 166193 0 0 0 94174 56 0 0 25 0 4 0 634049333 717369344 106039 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=700556 CPUtime=942.31 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 110713 0 0 0 94192 39 0 0 25 0 4 0 634049333 717369344 106039 33554432000 4194304 4580107 140734295155872 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3760.88
Current children cumulated vsize (KiB) 700556

[startup+1002.3 s]
/proc/loadavg: 7.97 8.05 7.91 9/286 20347
/proc/meminfo: memFree=21461272/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=640732 CPUtime=4000.34 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 538139 0 0 0 399851 183 0 0 25 0 4 0 634049333 656109568 103439 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 160183 103439 380 95 0 155165 0
[pid=20046/tid=20047] ppid=20044 vsize=640732 CPUtime=993.4 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 109983 0 0 0 99306 34 0 0 25 0 4 0 634049333 656109568 103439 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=640732 CPUtime=1002.3 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 175918 0 0 0 100169 61 0 0 25 0 4 0 634049333 656109568 103439 33554432000 4194304 4580107 140734295155872 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=640732 CPUtime=1002.31 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 116124 0 0 0 100190 41 0 0 25 0 4 0 634049333 656109568 103439 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4000.34
Current children cumulated vsize (KiB) 640732

[startup+1062.3 s]
/proc/loadavg: 7.99 8.04 7.91 9/286 20349
/proc/meminfo: memFree=21147956/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=655420 CPUtime=4239.79 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 546758 0 0 0 423792 187 0 0 25 0 4 0 634049333 671150080 112056 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 163855 112056 380 95 0 158837 0
[pid=20046/tid=20047] ppid=20044 vsize=655420 CPUtime=1052.85 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 110129 0 0 0 105251 34 0 0 25 0 4 0 634049333 671150080 112056 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=655420 CPUtime=1062.3 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 179665 0 0 0 106168 62 0 0 25 0 4 0 634049333 671150080 112056 33554432000 4194304 4580107 140734295155872 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=655420 CPUtime=1062.31 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 116940 0 0 0 106189 42 0 0 25 0 4 0 634049333 671150080 112056 33554432000 4194304 4580107 140734295155872 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4239.79
Current children cumulated vsize (KiB) 655420

[startup+1122.3 s]
/proc/loadavg: 8.04 8.05 7.92 9/286 20350
/proc/meminfo: memFree=20689404/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=720936 CPUtime=4479.26 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 558499 0 0 0 447733 193 0 0 25 0 4 0 634049333 738238464 114992 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 180234 114992 380 95 0 175216 0
[pid=20046/tid=20047] ppid=20044 vsize=720936 CPUtime=1112.31 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 112982 0 0 0 111195 36 0 0 25 0 4 0 634049333 738238464 114992 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=720936 CPUtime=1122.3 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 183174 0 0 0 112167 63 0 0 25 0 4 0 634049333 738238464 114992 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=720936 CPUtime=1122.32 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 121240 0 0 0 112187 45 0 0 25 0 4 0 634049333 738238464 114992 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4479.26
Current children cumulated vsize (KiB) 720936

[startup+1182.3 s]
/proc/loadavg: 8.12 8.07 7.93 9/286 20352
/proc/meminfo: memFree=19806396/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=779900 CPUtime=4718.72 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 574276 0 0 0 471669 203 0 0 25 0 4 0 634049333 798617600 120558 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 194975 120558 380 95 0 189957 0
[pid=20046/tid=20047] ppid=20044 vsize=779900 CPUtime=1171.77 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 116847 0 0 0 117139 38 0 0 25 0 4 0 634049333 798617600 120558 33554432000 4194304 4580107 140734295155872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=779900 CPUtime=1182.3 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 191130 0 0 0 118162 68 0 0 25 0 4 0 634049333 798617600 120558 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=779900 CPUtime=1182.32 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 125006 0 0 0 118185 47 0 0 25 0 4 0 634049333 798617600 120558 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4718.72
Current children cumulated vsize (KiB) 779900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.7 s]
/proc/loadavg: 8.15 8.08 7.93 9/286 20352
/proc/meminfo: memFree=19510620/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=721196 CPUtime=4800.16 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 581316 0 0 0 479809 207 0 0 25 0 4 0 634049333 738504704 123620 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 180299 123620 380 95 0 175281 0
[pid=20046/tid=20047] ppid=20044 vsize=721196 CPUtime=1191.98 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 116905 0 0 0 119160 38 0 0 25 0 4 0 634049333 738504704 123621 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=721196 CPUtime=1202.71 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 194517 0 0 0 120202 69 0 0 25 0 4 0 634049333 738504704 123621 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=721196 CPUtime=1202.72 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 128112 0 0 0 120224 48 0 0 25 0 4 0 634049333 738504704 123621 33554432000 4194304 4580107 140734295155872 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.16
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

[startup+1202.7 s]
/proc/loadavg: 8.15 8.08 7.93 9/286 20352
/proc/meminfo: memFree=19510620/32951124 swapFree=67057896/67111528
[pid=20046] ppid=20044 vsize=721196 CPUtime=4800.16 cores=1,3,5,7
/proc/20046/stat : 20046 (strangenight2-m) R 20044 20046 19869 0 -1 4202496 581316 0 0 0 479809 207 0 0 25 0 4 0 634049333 738504704 123620 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20046/statm: 180299 123620 380 95 0 175281 0
[pid=20046/tid=20047] ppid=20044 vsize=721196 CPUtime=1191.98 cores=1,3,5,7
/proc/20046/task/20047/stat : 20047 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 116905 0 0 0 119160 38 0 0 25 0 4 0 634049333 738504704 123621 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20046/tid=20048] ppid=20044 vsize=721196 CPUtime=1202.71 cores=1,3,5,7
/proc/20046/task/20048/stat : 20048 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 194517 0 0 0 120202 69 0 0 25 0 4 0 634049333 738504704 123621 33554432000 4194304 4580107 140734295155872 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20046/tid=20049] ppid=20044 vsize=721196 CPUtime=1202.72 cores=1,3,5,7
/proc/20046/task/20049/stat : 20049 (strangenight2-m) R 20044 20046 19869 0 -1 4202560 128112 0 0 0 120224 48 0 0 25 0 4 0 634049333 738504704 123621 33554432000 4194304 4580107 140734295155872 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 721196

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.74
CPU time (s): 4800.22
CPU user time (s): 4798.13
CPU system time (s): 2.09268
CPU usage (%): 399.108
Max. virtual memory (cumulated for all children) (KiB): 780568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.13
system time used= 2.09268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581318
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= 258
involuntary context switches= 33499

runsolver used 2.94855 second user time and 7.81281 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-15 01:39:00
IDJOB=3366863
IDBENCH=85304
IDSOLVER=1844
FILE ID=node140/3366863-1305416340
RUNJOBID= node140-1305414794-19888
PBS_JOBID= 13324552
Free space on /tmp= 73456 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366863-1305416340/watcher-3366863-1305416340 -o /tmp/evaluation-result-3366863-1305416340/solver-3366863-1305416340 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366863-1305416340.cnf

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

MD5SUM BENCH= 51d9aefd9da7f94abc32dd024090dc46
RANDOM SEED=1391030400

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22964900 kB
Buffers:        301992 kB
Cached:        3768368 kB
SwapCached:       8056 kB
Active:        6987240 kB
Inactive:      2685828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22964900 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:            5464 kB
Writeback:           0 kB
AnonPages:     5599692 kB
Mapped:          23548 kB
Slab:           224404 kB
PageTables:      26572 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 48010060 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= 73364 MiB
End job on node140 at 2011-05-15 01:59:05