Trace number 3369097

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-1-mt (fixed)SAT 266.399 66.7859

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
MD5SUM1002234f62b5dfa01a75197c65e66327
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.921859
Satisfiable
(Un)Satisfiability was proved
Number of variables1285
Number of clauses166723
Sum of the clauses size334661
Maximum clause length37
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2166688
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 535

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 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369097-1305433804.cnf'
0.00/0.01	c -- header says num vars:           1285
0.00/0.01	c -- header says num clauses:      166723
0.00/0.04	c -- clauses added:            0 learnts,       166723 normals,            0 xors
0.00/0.04	c -- vars added       1285
0.00/0.04	c Parsing time:  0.11 s
0.00/0.04	c  N st     0         0      1285        35    166688         0    334661         0   no data   no data  --
0.00/0.04	c asymm  cl-useful: 0/35/35 lits-rem:0 time: 0.00
0.00/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
0.00/0.13	c bin-w-bin subsume rem            0 bins  time:  0.12 s
0.00/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
0.00/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1285 time:  0.07 s
0.00/0.17	c Removed useless bin:       0  fixed:     0  props:   0.84M  time:  0.06 s
0.00/0.24	c lits-rem:       470  cl-subs:        0  v-elim:     35  v-fix:    0  time:  0.17 s
0.00/0.24	c Finding binary XORs  T:     0.01 s  found:       0
0.00/0.24	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.00/0.24	c calculated reachability. Time: 0.00
0.00/0.24	c Calc default polars -  time:   0.01 s pos:       0 undec:      35 neg:    1250
0.00/0.24	c =========================================================================================
0.00/0.24	c types(t): F = full restart, N = normal restart
0.00/0.24	c types(t): S = simplification begin/end, E = solution found
0.00/0.24	c restart types(rt): st = static, dy = dynamic
0.00/0.24	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.24	c  B st     0         0      1250      3425    162013         0    469772         0   no data   no data  --
0.00/0.63	c  N dy    11      4173      1250      3425    162013      4085    469771    329602      8.92      9.41  --
1.04/0.90	c  N dy    33      8272      1250      3425    162015      5642    469766    415977     11.23     23.30  --
4.60/1.16	c  N dy    57     12508      1250      3425    162016      5628    469762    438951     12.71     13.44  --
6.36/1.63	c  N dy    59     16688      1250      3425    162016      9706    469762    809044     11.85     12.57  --
7.95/2.03	c  N dy    79     21194      1250      3425    162017      8619    469759    547978     12.07     12.71  --
9.14/2.38	c  F st    99     25000      1250      3425    162018     12332    469754    983156     12.51   no data  --
9.54/2.43	c  N st   100     25252      1250      3425    162018     12582    469754   1013978     12.51   no data  --
11.15/2.88	c  N dy   105     30001      1250      3425    162018     10566    469744    992850     12.51   no data  --
11.15/2.88	c  S st   105     30001      1250      3425    162018     10566    469744    992850     12.51   no data  --
11.58/2.93	c  S st   105     30503      1250      3425    162020     11065    469744   1033215     12.51   no data  --
11.58/2.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
11.58/2.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.74/3.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 13.9M T:  1.19
13.14/3.30	c bin-w-bin subsume rem            0 bins  time:  0.09 s
18.33/4.66	c subs with bin:        0  lits-rem:       820  v-fix:    0  time:  5.40 s
18.33/4.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.06 s
18.33/4.69	c Removed useless bin:       0  fixed:     0  props:   0.81M  time:  0.06 s
26.30/6.65	c lits-rem:      5074  cl-subs:      587  v-elim:      0  v-fix:    0  time:  7.81 s
27.10/6.89	c asymm  cl-useful: 886/1437/3425 lits-rem:13215 time: 0.94
27.10/6.89	c calculated reachability. Time: 0.00
27.10/6.89	c  N dy   105     30503      1250      3425    162021     10478    451471    980636     12.51   no data  --
29.13/7.38	c  N dy   119     34622      1250      3425    162022     14497    451471   1304522     12.46     13.32  --
31.09/7.85	c  N dy   125     39675      1250      3425    162025     11636    451471    660264     12.07     12.73  --
32.69/8.25	c  N dy   143     43680      1250      3425    162025     15527    451468    979330     12.20     12.94  --
33.52/8.44	c  S st   144     45754      1250      3425    162026      8841    451468    421831     12.02      9.17  --
33.52/8.48	c  S st   144     46256      1250      3425    162027      9342    451468    464139     12.02   no data  --
33.52/8.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
33.52/8.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.28/8.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.1M T:  0.79
34.68/8.72	c bin-w-bin subsume rem            0 bins  time:  0.08 s
39.87/10.01	c subs with bin:        0  lits-rem:      4932  v-fix:    0  time:  5.14 s
39.87/10.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.06 s
39.87/10.04	c Removed useless bin:       0  fixed:     0  props:   0.81M  time:  0.06 s
52.63/13.22	c lits-rem:      1108  cl-subs:      256  v-elim:      0  v-fix:    0  time: 12.66 s
52.63/13.22	c vivif2 --  cl tried     3425 cl shrink     1572 lits rem      19796 time: 0.02
52.63/13.23	c vivif2 --  cl tried     9086 cl shrink       18 lits rem         21 time: 0.05
53.43/13.42	c asymm  cl-useful: 0/1917/3425 lits-rem:0 time: 0.76
53.43/13.43	c calculated reachability. Time: 0.00
53.43/13.43	c  N dy   144     46256      1250      3425    162027      9086    425889    456149     12.02   no data  --
55.04/13.88	c  N dy   153     51177      1250      3425    162027     13875    425889    822143     11.93     12.70  --
57.03/14.33	c  N dy   176     55561      1250      3425    162046     18177    425889   1341006     12.02     12.75  --
58.63/14.78	c  N dy   201     59703      1250      3425    162046     12513    425889    712992     12.41     13.36  --
60.26/15.17	c  N dy   218     63719      1250      3425    162046     16432    425889   1104389     12.44     13.14  --
62.61/15.76	c  N dy   251     67950      1250      3425    162046     20574    425889   1558386     12.84     13.58  --
63.41/15.96	c  S st   255     69385      1250      3425    162046     11261    425889    551325     12.84   no data  --
63.41/15.99	c  S st   255     69886      1250      3425    162046     11761    425889    613237     12.84   no data  --
63.41/16.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.81/16.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
64.64/16.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 10.4M T:  0.91
64.64/16.27	c bin-w-bin subsume rem            0 bins  time:  0.08 s
69.79/17.58	c subs with bin:       23  lits-rem:        17  v-fix:    0  time:  5.25 s
70.19/17.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.07 s
70.19/17.62	c Removed useless bin:       0  fixed:     0  props:   0.81M  time:  0.06 s
82.21/20.70	c lits-rem:      1453  cl-subs:       76  v-elim:      0  v-fix:    0  time: 12.27 s
82.57/20.70	c vivif2 --  cl tried     3425 cl shrink        6 lits rem          7 time: 0.01
82.57/20.71	c vivif2 --  cl tried    11662 cl shrink      111 lits rem        159 time: 0.06
83.36/20.91	c asymm  cl-useful: 0/2458/3425 lits-rem:0 time: 0.78
83.36/20.91	c calculated reachability. Time: 0.01
83.36/20.91	c  N dy   255     69886      1250      3425    162047     11662    425869    607004     12.84   no data  --
84.96/21.32	c  N dy   268     74437      1250      3425    162061     16052    425869    926291     12.73     13.56  --
87.35/21.94	c  N dy   280     79889      1250      3425    162065     21333    425869   1246623     12.61     13.28  --
89.75/22.51	c  N dy   299     85048      1250      3425    162065     14707    425869    689226     12.61     13.34  --
90.58/22.74	c  F st   308     87501      1250      3425    162065     17096    425869    871903     12.62   no data  --
92.14/23.10	c  N st   313     90798      1250      3425    162065     20327    425869   1259332     12.62   no data  --
94.97/23.86	c  N dy   320     97416      1250      3425    162065     14074    425869    641198     12.46     13.25  --
97.33/24.43	c  N dy   334    103849      1250      3425    162067     20337    425869   1163134     12.34     13.08  --
97.73/24.54	c  S st   339    104829      1250      3425    162068     21298    425869   1292370     12.36   no data  --
98.13/24.61	c  S st   339    105331      1250      3425    162068     21795    425869   1321426     12.36   no data  --
98.13/24.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
98.13/24.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.36/24.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 15.5M T:  1.36
99.76/25.02	c bin-w-bin subsume rem            0 bins  time:  0.08 s
104.91/26.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.38 s
104.91/26.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.06 s
105.31/26.40	c Removed useless bin:       0  fixed:     0  props:   0.80M  time:  0.06 s
114.89/28.85	c lits-rem:      1771  cl-subs:      857  v-elim:      0  v-fix:    0  time:  9.76 s
114.89/28.85	c vivif2 --  cl tried     3425 cl shrink       17 lits rem         17 time: 0.01
114.89/28.88	c vivif2 --  cl tried    20938 cl shrink      194 lits rem        214 time: 0.12
115.69/29.09	c asymm  cl-useful: 0/967/3425 lits-rem:0 time: 0.84
115.69/29.10	c calculated reachability. Time: 0.00
115.69/29.10	c  N dy   339    105331      1250      3425    162069     20938    425852   1291089     12.36   no data  --
120.08/30.12	c  N dy   373    112386      1250      3425    162077     14189    425852    636322     12.48     13.19  --
122.87/30.85	c  N dy   379    120043      1250      3425    162081     21577    425852    977713     12.27     12.94  --
126.46/31.76	c  N dy   403    128079      1250      3425    162083     14841    425852    585923     12.24     13.00  --
130.08/32.67	c  N dy   434    137041      1250      3425    162083     23537    425852   1223372     12.24     12.93  --
134.47/33.73	c  N dy   450    145793      1250      3425    162085     16499    425852    610621     12.12     12.78  --
137.62/34.57	c  N dy   461    155147      1250      3425    162086     25466    425852    964495     11.97     17.17  --
139.26/34.92	c  S st   466    157998      1250      3425    162088     28184    425852   1074769     11.92   no data  --
139.26/34.96	c  S st   466    158502      1250      3425    162088     28685    425852   1111222     11.92   no data  --
139.26/34.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
139.26/34.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.41/35.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.0M T:  1.12
140.82/35.30	c bin-w-bin subsume rem            0 bins  time:  0.08 s
146.01/36.61	c subs with bin:       79  lits-rem:         5  v-fix:    0  time:  5.20 s
146.01/36.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.06 s
146.01/36.64	c Removed useless bin:       0  fixed:     0  props:   0.80M  time:  0.06 s
151.59/38.00	c lits-rem:      1295  cl-subs:     2471  v-elim:      0  v-fix:    0  time:  5.41 s
151.59/38.00	c vivif2 --  cl tried     3425 cl shrink        9 lits rem          9 time: 0.01
151.59/38.04	c vivif2 --  cl tried    26135 cl shrink     1303 lits rem       1303 time: 0.18
152.42/38.24	c asymm  cl-useful: 0/2248/3425 lits-rem:0 time: 0.79
152.42/38.25	c calculated reachability. Time: 0.00
152.42/38.25	c  N dy   466    158502      1250      3425    162088     26135    425843   1058625     11.92   no data  --
156.81/39.34	c  N dy   518    168691      1250      3425    162090     19664    425843    959820     12.04     16.99  --
162.36/40.73	c  N dy   554    179632      1250      3425    162092     30342    425843   1755406     12.01     12.88  --
168.35/42.28	c  N dy   592    192666      1250      3425    162097     25579    425843   1178968     11.98     12.64  --
175.92/44.11	c  N dy   612    204985      1250      3425    162101     19079    425843    690643     11.88     27.93  --
181.91/45.63	c  N dy   663    218091      1250      3425    162104     31850    425843   1877980     11.93     16.39  --
189.09/47.40	c  N dy   705    232102      1250      3425    162110     25969    425843   1334329     11.92     12.57  --
192.28/48.25	c  S st   734    237756      1250      3425    162110     31499    425843   1811505     11.99     10.73  --
192.68/48.33	c  S st   734    238259      1250      3425    162113     32001    425843   1870280     11.99   no data  --
192.68/48.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
192.68/48.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
194.28/48.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 18.5M T:  1.71
194.68/48.84	c bin-w-bin subsume rem            0 bins  time:  0.08 s
200.29/50.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.49 s
200.29/50.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.07 s
200.29/50.25	c Removed useless bin:       0  fixed:     0  props:   0.80M  time:  0.06 s
216.62/54.34	c lits-rem:      2173  cl-subs:     1262  v-elim:      0  v-fix:    0  time: 16.33 s
216.62/54.34	c vivif2 --  cl tried     3425 cl shrink       17 lits rem         18 time: 0.01
216.62/54.39	c vivif2 --  cl tried    30739 cl shrink      238 lits rem        251 time: 0.17
217.86/54.61	c asymm  cl-useful: 0/666/3425 lits-rem:0 time: 0.89
217.86/54.62	c calculated reachability. Time: 0.00
217.86/54.62	c  N dy   734    238259      1250      3425    162113     30739    425825   1819948     11.99   no data  --
227.80/57.18	c  N dy   810    254667      1250      3425    162127     26253    425825   1021219     12.12     12.80  --
236.97/59.40	c  N dy   891    271040      1250      3425    162130     42264    425825   2835388     12.27     12.99  --
245.75/61.68	c  N dy   948    289343      1250      3425    162135     38626    425825   1995699     12.30     13.08  --
254.53/63.85	c  F st  1004    306251      1250      3425    162143     32706    425825   1596810     12.33      8.13  --
255.73/64.14	c  N st  1008    308283      1250      3425    162144     34695    425825   1794697     12.33   no data  --
266.14/66.77	c Following stats are for *FIRST FINISHED THREAD ONLY*
266.14/66.77	c num threads              : 4          
266.14/66.77	c restarts                 : 1261       
266.14/66.77	c dynamic restarts         : 1237       
266.14/66.77	c static restarts          : 24         
266.14/66.77	c full restarts            : 3          
266.14/66.77	c total simplify time      : 0.00       
266.14/66.77	c learnts DL2              : 0          
266.14/66.77	c learnts size 2           : 166822     
266.14/66.77	c learnts size 1           : 0           (0.00      % of vars)
266.14/66.77	c filedLit time            : 4.35        (1.64      % time)
266.14/66.77	c v-elim SatELite          : 35          (2.72      % vars)
266.14/66.77	c SatELite time            : 38.59       (14.51     % time)
266.14/66.77	c v-elim xor               : 0           (0.00      % vars)
266.14/66.77	c xor elim time            : 0.08        (0.03      % time)
266.14/66.77	c num binary xor trees     : 0          
266.14/66.77	c binxor trees' crown      : 0           (nan       leafs/tree)
266.14/66.77	c bin xor find time        : 0.01       
266.14/66.77	c OTF clause improved      : 18078       (0.04      clauses/conflict)
266.14/66.77	c OTF impr. size diff      : 22048       (1.22       lits/clause)
266.14/66.77	c OTF cl watch-shrink      : 414380      (0.84      clauses/conflict)
266.14/66.77	c OTF cl watch-sh-lit      : 6511033     (15.71      lits/clause)
266.14/66.77	c tried to recurMin cls    : 184176      (37.26      % of conflicts)
266.14/66.77	c updated cache            : 1798        (0.01       lits/tried recurMin)
266.14/66.77	c unit cls received        : 0           (nan       % of units)
266.14/66.77	c unit cls sent            : 0           (nan       % of units)
266.14/66.77	c bin cls received         : 112        
266.14/66.77	c bin cls sent             : 21         
266.14/66.77	c clauses over max glue    : 0           (0.00      % of all clauses)
266.14/66.77	c conflicts                : 494237      (1858.11   / sec)
266.14/66.77	c decisions                : 799627      (0.37      % random)
266.14/66.77	c bogo-props               : 5299660165  (19924391.13 / sec)
266.14/66.77	c conflict literals        : 24856935    (51.17     % deleted)
266.14/66.77	c Memory used              : 581.64      MB
266.14/66.77	c single-thread CPU time   : 265.99      s
266.14/66.77	c all-threads sum CPU time : 265.99      s
266.14/66.77	s SATISFIABLE
266.14/66.77	v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 1285 0

Verifier Data 

OK

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-3369097-1305433804/watcher-3369097-1305433804 -o /tmp/evaluation-result-3369097-1305433804/solver-3369097-1305433804 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369097-1305433804.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 6.87 7.79 7.54 3/320 17744
/proc/meminfo: memFree=11078436/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=51236 CPUtime=0.02 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 413 0 0 0 2 0 0 0 21 0 4 0 654982806 52465664 353 33554432000 4194304 4650419 140734014788848 18446744073709551615 47704252643250 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 12809 353 303 112 0 7774 0
[pid=17744/tid=17745] ppid=17742 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 654982806 52465664 353 33554432000 4194304 4650419 140734014788848 18446744073709551615 47704252643254 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 654982806 52465664 353 33554432000 4194304 4650419 140734014788848 18446744073709551615 47704252643244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 654982806 52465664 353 33554432000 4194304 4650419 140734014788848 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.132396 s]
/proc/loadavg: 6.87 7.79 7.54 3/320 17744
/proc/meminfo: memFree=11078436/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=352364 CPUtime=1.04 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 11091 0 0 0 101 3 0 0 18 0 4 0 654982806 360820736 10893 33554432000 4194304 4650419 140734014788848 18446744073709551615 212435678241 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 89868 12755 392 112 0 84833 0
[pid=17744/tid=17745] ppid=17742 vsize=359472 CPUtime=0.84 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 4298 0 0 0 84 0 0 0 18 0 4 0 654982806 368099328 12755 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=359472 CPUtime=0.85 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 3991 0 0 0 84 1 0 0 18 0 4 0 654982806 368099328 12755 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=359472 CPUtime=0.84 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 3575 0 0 0 84 0 0 0 19 0 4 0 654982806 368099328 12755 33554432000 4194304 4650419 140734014788848 18446744073709551615 4315544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 352364

[startup+0.962611 s]
/proc/loadavg: 6.87 7.79 7.54 3/320 17744
/proc/meminfo: memFree=11078436/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=359604 CPUtime=3.81 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 16992 0 0 0 377 4 0 0 19 0 4 0 654982806 368234496 13413 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 89901 13413 392 112 0 84866 0
[pid=17744/tid=17745] ppid=17742 vsize=359604 CPUtime=0.94 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 4459 0 0 0 94 0 0 0 18 0 4 0 654982806 368234496 13413 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=359604 CPUtime=0.95 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 4136 0 0 0 94 1 0 0 18 0 4 0 654982806 368234496 13413 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=359604 CPUtime=0.94 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 3763 0 0 0 94 0 0 0 19 0 4 0 654982806 368234496 13413 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 359604

[startup+1.06259 s]
/proc/loadavg: 6.87 7.79 7.54 3/320 17744
/proc/meminfo: memFree=11078436/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=360388 CPUtime=4.21 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 18031 0 0 0 417 4 0 0 19 0 4 0 654982806 369037312 13584 33554432000 4194304 4650419 140734014788848 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 90097 13584 392 112 0 85062 0
[pid=17744/tid=17745] ppid=17742 vsize=360388 CPUtime=1.04 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 4628 0 0 0 104 0 0 0 19 0 4 0 654982806 369037312 13584 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=360388 CPUtime=1.05 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 4230 0 0 0 104 1 0 0 19 0 4 0 654982806 369037312 13584 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=360388 CPUtime=1.04 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 3921 0 0 0 104 0 0 0 19 0 4 0 654982806 369037312 13584 33554432000 4194304 4650419 140734014788848 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 360388

[startup+1.16257 s]
/proc/loadavg: 6.87 7.79 7.54 3/320 17744
/proc/meminfo: memFree=11078436/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=360856 CPUtime=4.6 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 19024 0 0 0 456 4 0 0 19 0 4 0 654982806 369516544 13786 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 90214 13787 392 112 0 85179 0
[pid=17744/tid=17745] ppid=17742 vsize=360856 CPUtime=1.14 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 4781 0 0 0 114 0 0 0 19 0 4 0 654982806 369516544 13787 33554432000 4194304 4650419 140734014788848 18446744073709551615 212435678241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=360856 CPUtime=1.14 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 4788 0 0 0 113 1 0 0 19 0 4 0 654982806 369516544 13787 33554432000 4194304 4650419 140734014788848 18446744073709551615 4328915 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=360856 CPUtime=1.14 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 4071 0 0 0 114 0 0 0 19 0 4 0 654982806 369516544 13787 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 360856

[startup+1.50051 s]
/proc/loadavg: 6.87 7.79 7.54 3/320 17744
/proc/meminfo: memFree=11078436/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=362148 CPUtime=5.96 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 21058 0 0 0 591 5 0 0 19 0 4 0 654982806 370839552 13812 33554432000 4194304 4650419 140734014788848 18446744073709551615 4315464 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 90537 13812 392 112 0 85502 0
[pid=17744/tid=17745] ppid=17742 vsize=362148 CPUtime=1.48 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 5500 0 0 0 148 0 0 0 19 0 4 0 654982806 370839552 13812 33554432000 4194304 4650419 140734014788848 18446744073709551615 4361062 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=362148 CPUtime=1.48 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 5006 0 0 0 147 1 0 0 19 0 4 0 654982806 370839552 13812 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=362148 CPUtime=1.47 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 4825 0 0 0 147 0 0 0 20 0 4 0 654982806 370839552 13812 33554432000 4194304 4650419 140734014788848 18446744073709551615 212435677306 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 362148

[startup+3.10024 s]
/proc/loadavg: 6.87 7.79 7.54 7/324 17748
/proc/meminfo: memFree=10982356/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=363116 CPUtime=12.33 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 31431 0 0 0 1226 7 0 0 25 0 4 0 654982806 371830784 17676 33554432000 4194304 4650419 140734014788848 18446744073709551615 4371088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 90779 17676 394 112 0 85744 0
[pid=17744/tid=17745] ppid=17742 vsize=363116 CPUtime=3.08 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 7882 0 0 0 307 1 0 0 24 0 4 0 654982806 371830784 17676 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=363116 CPUtime=3.09 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 7131 0 0 0 307 2 0 0 24 0 4 0 654982806 371830784 17676 33554432000 4194304 4650419 140734014788848 18446744073709551615 4334371 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=363116 CPUtime=3.05 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 7843 0 0 0 304 1 0 0 25 0 4 0 654982806 371830784 17676 33554432000 4194304 4650419 140734014788848 18446744073709551615 4332995 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 363116

[startup+6.3116 s]
/proc/loadavg: 6.72 7.74 7.52 9/324 17778
/proc/meminfo: memFree=10827732/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=363116 CPUtime=25.15 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 45852 0 0 0 2503 12 0 0 25 0 4 0 654982806 371830784 32038 33554432000 4194304 4650419 140734014788848 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 90779 32038 394 112 0 85744 0
[pid=17744/tid=17745] ppid=17742 vsize=363116 CPUtime=6.3 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 10226 0 0 0 628 2 0 0 25 0 4 0 654982806 371830784 32038 33554432000 4194304 4650419 140734014788848 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=363116 CPUtime=6.29 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 10611 0 0 0 627 2 0 0 25 0 4 0 654982806 371830784 32038 33554432000 4194304 4650419 140734014788848 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=363116 CPUtime=6.24 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 10739 0 0 0 622 2 0 0 25 0 4 0 654982806 371830784 32038 33554432000 4194304 4650419 140734014788848 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 363116

[startup+12.7004 s]
/proc/loadavg: 6.83 7.75 7.53 9/324 17778
/proc/meminfo: memFree=10671716/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=449696 CPUtime=50.65 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 61071 0 0 0 5050 15 0 0 25 0 4 0 654982806 460488704 42870 33554432000 4194304 4650419 140734014788848 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 112424 42870 394 112 0 107389 0
[pid=17744/tid=17745] ppid=17742 vsize=449696 CPUtime=12.68 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 15423 0 0 0 1265 3 0 0 25 0 4 0 654982806 460488704 42870 33554432000 4194304 4650419 140734014788848 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=449696 CPUtime=12.69 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 14396 0 0 0 1266 3 0 0 25 0 4 0 654982806 460488704 42870 33554432000 4194304 4650419 140734014788848 18446744073709551615 4370537 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=449696 CPUtime=12.56 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 14288 0 0 0 1254 2 0 0 25 0 4 0 654982806 460488704 42870 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 449696

[startup+25.501 s]
/proc/loadavg: 7.09 7.76 7.53 9/324 17779
/proc/meminfo: memFree=10503844/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=528300 CPUtime=101.72 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 91655 0 0 0 10150 22 0 0 25 0 4 0 654982806 540979200 59916 33554432000 4194304 4650419 140734014788848 18446744073709551615 4436457 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 132075 59916 394 112 0 127040 0
[pid=17744/tid=17745] ppid=17742 vsize=528300 CPUtime=25.49 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 22456 0 0 0 2544 5 0 0 25 0 4 0 654982806 540979200 59916 33554432000 4194304 4650419 140734014788848 18446744073709551615 4307225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=528300 CPUtime=25.49 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 21739 0 0 0 2544 5 0 0 25 0 4 0 654982806 540979200 59916 33554432000 4194304 4650419 140734014788848 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=528300 CPUtime=25.24 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 20778 0 0 0 2520 4 0 0 25 0 4 0 654982806 540979200 59916 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 528300

[startup+51.1011 s]
/proc/loadavg: 7.40 7.78 7.55 9/324 17779
/proc/meminfo: memFree=10247708/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=594568 CPUtime=203.86 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 146477 0 0 0 20354 32 0 0 25 0 4 0 654982806 608837632 79218 33554432000 4194304 4650419 140734014788848 18446744073709551615 4439344 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 148642 79218 394 112 0 143607 0
[pid=17744/tid=17745] ppid=17742 vsize=594568 CPUtime=51.08 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 36486 0 0 0 5101 7 0 0 25 0 4 0 654982806 608837632 79218 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=594568 CPUtime=51.08 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 34193 0 0 0 5101 7 0 0 25 0 4 0 654982806 608837632 79218 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=594568 CPUtime=50.58 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 32824 0 0 0 5051 7 0 0 25 0 4 0 654982806 608837632 79218 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 594568

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

[startup+51.901 s]
/proc/loadavg: 7.40 7.78 7.55 9/324 17779
/proc/meminfo: memFree=10241260/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=607560 CPUtime=207.05 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 149602 0 0 0 20672 33 0 0 25 0 4 0 654982806 622141440 79365 33554432000 4194304 4650419 140734014788848 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 151890 79365 394 112 0 146855 0
[pid=17744/tid=17745] ppid=17742 vsize=607560 CPUtime=51.88 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 37956 0 0 0 5181 7 0 0 25 0 4 0 654982806 622141440 79365 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=607560 CPUtime=51.88 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 34549 0 0 0 5181 7 0 0 25 0 4 0 654982806 622141440 79365 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=607560 CPUtime=51.37 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 34123 0 0 0 5130 7 0 0 25 0 4 0 654982806 622141440 79365 33554432000 4194304 4650419 140734014788848 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 207.05
Current children cumulated vsize (KiB) 607560

[startup+58.3008 s]
/proc/loadavg: 7.52 7.80 7.55 9/324 17780
/proc/meminfo: memFree=10227492/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=595200 CPUtime=232.58 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 159921 0 0 0 23223 35 0 0 25 0 4 0 654982806 609484800 71486 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 148800 71486 394 112 0 143765 0
[pid=17744/tid=17745] ppid=17742 vsize=595200 CPUtime=58.28 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 43413 0 0 0 5820 8 0 0 25 0 4 0 654982806 609484800 71486 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=595200 CPUtime=58.28 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 35941 0 0 0 5821 7 0 0 25 0 4 0 654982806 609484800 71486 33554432000 4194304 4650419 140734014788848 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=595200 CPUtime=57.7 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 36440 0 0 0 5762 8 0 0 25 0 4 0 654982806 609484800 71486 33554432000 4194304 4650419 140734014788848 18446744073709551615 4363709 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 232.58
Current children cumulated vsize (KiB) 595200

[startup+61.5011 s]
/proc/loadavg: 7.56 7.80 7.56 9/324 17780
/proc/meminfo: memFree=10248192/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=608344 CPUtime=245.35 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 168000 0 0 0 24499 36 0 0 25 0 4 0 654982806 622944256 79565 33554432000 4194304 4650419 140734014788848 18446744073709551615 4326256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 152086 79565 394 112 0 147051 0
[pid=17744/tid=17745] ppid=17742 vsize=608344 CPUtime=61.49 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 45073 0 0 0 6140 9 0 0 25 0 4 0 654982806 622944256 79565 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=608344 CPUtime=61.48 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 37471 0 0 0 6141 7 0 0 25 0 4 0 654982806 622944256 79565 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366253 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=608344 CPUtime=60.87 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 38655 0 0 0 6079 8 0 0 25 0 4 0 654982806 622944256 79565 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 245.35
Current children cumulated vsize (KiB) 608344

[startup+64.7005 s]
/proc/loadavg: 7.56 7.80 7.56 9/324 17780
/proc/meminfo: memFree=10215952/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=595388 CPUtime=258.12 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 177429 0 0 0 25774 38 0 0 25 0 4 0 654982806 609677312 82719 33554432000 4194304 4650419 140734014788848 18446744073709551615 4363738 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 148847 82719 394 112 0 143812 0
[pid=17744/tid=17745] ppid=17742 vsize=595388 CPUtime=64.68 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 47971 0 0 0 6459 9 0 0 25 0 4 0 654982806 609677312 82719 33554432000 4194304 4650419 140734014788848 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=595388 CPUtime=64.67 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 39944 0 0 0 6460 7 0 0 25 0 4 0 654982806 609677312 82719 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=595388 CPUtime=64.03 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 39599 0 0 0 6395 8 0 0 25 0 4 0 654982806 609677312 82719 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 258.12
Current children cumulated vsize (KiB) 595388

[startup+65.5004 s]
/proc/loadavg: 7.56 7.80 7.56 9/324 17780
/proc/meminfo: memFree=10215952/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=595388 CPUtime=261.31 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 178701 0 0 0 26093 38 0 0 25 0 4 0 654982806 609677312 83991 33554432000 4194304 4650419 140734014788848 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 148847 83991 394 112 0 143812 0
[pid=17744/tid=17745] ppid=17742 vsize=595388 CPUtime=65.49 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 48429 0 0 0 6539 10 0 0 25 0 4 0 654982806 609677312 83991 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=595388 CPUtime=65.48 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 40408 0 0 0 6540 8 0 0 25 0 4 0 654982806 609677312 83991 33554432000 4194304 4650419 140734014788848 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=595388 CPUtime=64.83 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 39604 0 0 0 6475 8 0 0 25 0 4 0 654982806 609677312 83991 33554432000 4194304 4650419 140734014788848 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 261.31
Current children cumulated vsize (KiB) 595388

[startup+66.3002 s]
/proc/loadavg: 7.60 7.80 7.56 9/324 17780
/proc/meminfo: memFree=10204660/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=595596 CPUtime=264.5 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 180822 0 0 0 26411 39 0 0 25 0 4 0 654982806 609890304 77241 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 148899 77241 394 112 0 143864 0
[pid=17744/tid=17745] ppid=17742 vsize=595596 CPUtime=66.28 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 49948 0 0 0 6618 10 0 0 25 0 4 0 654982806 609890304 77241 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=595596 CPUtime=66.28 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 40752 0 0 0 6620 8 0 0 25 0 4 0 654982806 609890304 77241 33554432000 4194304 4650419 140734014788848 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=595596 CPUtime=65.62 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 39608 0 0 0 6554 8 0 0 25 0 4 0 654982806 609890304 77241 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 264.5
Current children cumulated vsize (KiB) 595596

[startup+66.7012 s]
/proc/loadavg: 7.60 7.80 7.56 9/324 17780
/proc/meminfo: memFree=10224376/32951124 swapFree=67093864/67111528
[pid=17744] ppid=17742 vsize=595596 CPUtime=266.14 cores=0,2,4,6
/proc/17744/stat : 17744 (strangenight1-m) R 17742 17744 10373 0 -1 4202496 181338 0 0 0 26575 39 0 0 25 0 4 0 654982806 609890304 77757 33554432000 4194304 4650419 140734014788848 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17744/statm: 148899 77757 394 112 0 143864 0
[pid=17744/tid=17745] ppid=17742 vsize=595596 CPUtime=66.69 cores=0,2,4,6
/proc/17744/task/17745/stat : 17745 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 50335 0 0 0 6659 10 0 0 25 0 4 0 654982806 609890304 77757 33554432000 4194304 4650419 140734014788848 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=595596 CPUtime=66.69 cores=0,2,4,6
/proc/17744/task/17746/stat : 17746 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 40879 0 0 0 6661 8 0 0 25 0 4 0 654982806 609890304 77757 33554432000 4194304 4650419 140734014788848 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=595596 CPUtime=66.02 cores=0,2,4,6
/proc/17744/task/17747/stat : 17747 (strangenight1-m) R 17742 17744 10373 0 -1 4202560 39610 0 0 0 6594 8 0 0 25 0 4 0 654982806 609890304 77757 33554432000 4194304 4650419 140734014788848 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 266.14
Current children cumulated vsize (KiB) 595596

Child status: 10
Real time (s): 66.7859
CPU time (s): 266.399
CPU user time (s): 265.992
CPU system time (s): 0.407937
CPU usage (%): 398.886
Max. virtual memory (cumulated for all children) (KiB): 658656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.992
system time used= 0.407937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181406
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= 2811
involuntary context switches= 1361

runsolver used 0.210967 second user time and 0.469928 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-15 06:30:05
IDJOB=3369097
IDBENCH=88205
IDSOLVER=1846
FILE ID=node102/3369097-1305433804
RUNJOBID= node102-1305433804-17721
PBS_JOBID= 13324592
Free space on /tmp= 73652 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369097-1305433804/watcher-3369097-1305433804 -o /tmp/evaluation-result-3369097-1305433804/solver-3369097-1305433804 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369097-1305433804.cnf

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

MD5SUM BENCH= 1002234f62b5dfa01a75197c65e66327
RANDOM SEED=260700812

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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.828
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.82
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.828
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:      11079220 kB
Buffers:        270524 kB
Cached:        2867316 kB
SwapCached:       1128 kB
Active:       19577684 kB
Inactive:      2008820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11079220 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:           14920 kB
Writeback:           0 kB
AnonPages:    18446464 kB
Mapped:          26308 kB
Slab:           170256 kB
PageTables:      53408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59129104 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= 73644 MiB
End job on node102 at 2011-05-15 06:31:11