Trace number 3366800

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)SAT 185.933 46.5869

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
MD5SUMdb05e30798a5a29f39775d55b01c4246
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark156.638
Satisfiable
(Un)Satisfiability was proved
Number of variables349
Number of clauses2416
Sum of the clauses size10560
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41656
Number of clauses of size 5624
Number of clauses of size over 5136

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366800-1305416404.cnf'
0.00/0.01	c -- header says num vars:            349
0.00/0.01	c -- header says num clauses:        2416
0.00/0.01	c -- clauses added:            0 learnts,         2416 normals,            0 xors
0.00/0.01	c -- vars added        349
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       349      2416         0         0     10560         0   no data   no data
0.00/0.01	c asymm  cl-useful: 120/2416/2416 lits-rem:120 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:    349 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:      1406  cl-subs:      721  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     117 undec:     119 neg:     113
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       349      1695         0         0      5922         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.00/0.20	c  N st     8      4914       349      1695         2      4618      5922     92704   no data   no data
0.00/0.45	c  N st    10     11298       349      1695         9      4249      5922     55048   no data   no data
0.00/0.75	c  N st    11     17042       349      1695         9      9559      5922    179853   no data   no data
4.77/1.22	c  F st    12     25000       349      1695        12     11673      5922    223965   no data   no data
4.77/1.22	c  N st    12     25000       349      1695        12     11673      5922    223965   no data   no data
5.57/1.49	c Decided on static restart strategy
5.57/1.49	c  N st    18     30000       349      1695        12     10016      5922    167913   no data   no data
5.57/1.49	c  S st    18     30000       349      1695        12     10016      5922    167913   no data   no data
5.97/1.53	c  S st    18     30504       349      1695        12     10509      5922    180809   no data   no data
5.97/1.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.54	c Replacing        4 vars Replaced     3258 lits Time:     0.00 s 
5.97/1.54	c blocked clauses removed:        0 vars:      0 tried:         345 T: 0.00 s
5.97/1.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    345 time:  0.00 s
5.97/1.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.97/1.54	c lits-rem:         5  cl-subs:       20  v-elim:      3  v-fix:    0  time:  0.00 s
5.97/1.54	c subs with bin:        2  lits-rem:         6  v-fix:    0  time:  0.00 s
6.77/1.72	c lits-rem:      1040  cl-subs:     1909  v-elim:      0  v-fix:    0  time:  0.18 s
6.77/1.73	c asymm  cl-useful: 2/1663/1663 lits-rem:2 time: 0.00
6.77/1.73	c calculated reachability. Time: 0.00
6.77/1.73	c  N st    18     30504       342      1663         4      8544      5809    141510   no data   no data
8.77/2.20	c  N st    20     37615       342      1663         5      7825      5809    104304   no data   no data
10.36/2.63	c  N st    21     44015       342      1663         5     13581      5809    237239   no data   no data
10.77/2.77	c  S st    22     45757       342      1663         7     15117      5809    272878   no data   no data
11.17/2.81	c Finding binary XORs  T:     0.00 s  found:       1
11.17/2.83	c  S st    22     46259       342      1663         8     15605      5809    284766   no data   no data
11.17/2.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.17/2.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
11.17/2.83	c Replacing        1 vars Replaced      442 lits Time:     0.00 s 
11.17/2.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11.17/2.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.17/2.83	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
11.17/2.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    341 time:  0.00 s
11.17/2.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.17/2.84	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.00 s
11.17/2.84	c subs with bin:        1  lits-rem:        24  v-fix:    0  time:  0.00 s
13.55/3.41	c lits-rem:       867  cl-subs:     3582  v-elim:      0  v-fix:    0  time:  0.56 s
13.55/3.41	c vivif2 --  cl tried     1659 cl shrink        0 lits rem          0 time: 0.00
13.55/3.42	c vivif2 --  cl tried    12023 cl shrink        0 lits rem          0 time: 0.00
13.55/3.42	c asymm  cl-useful: 4/1659/1659 lits-rem:4 time: 0.01
13.55/3.43	c calculated reachability. Time: 0.00
13.55/3.43	c  N st    22     46259       341      1659         6     12023      5791    211917   no data   no data
17.54/4.48	c  N st    23     60657       341      1659         6     17003      5791    290397   no data   no data
19.94/5.09	c  N st    24     69388       341      1659         9     15998      5791    272361   no data   no data
19.94/5.09	c  S st    24     69388       341      1659         9     15998      5791    272361   no data   no data
20.34/5.15	c  S st    24     69895       341      1659         9     16484      5790    285155   no data   no data
20.34/5.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.34/5.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
20.34/5.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20.34/5.15	c bin-w-bin subsume rem            1 bins  time:  0.00 s
20.34/5.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.34/5.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    341 time:  0.00 s
20.34/5.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.34/5.15	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.00 s
20.34/5.16	c subs with bin:        2  lits-rem:       180  v-fix:    0  time:  0.00 s
22.33/5.65	c lits-rem:      1169  cl-subs:     3070  v-elim:      0  v-fix:    0  time:  0.48 s
22.33/5.65	c vivif2 --  cl tried     1651 cl shrink        0 lits rem          0 time: 0.00
22.33/5.65	c vivif2 --  cl tried    13415 cl shrink        0 lits rem          0 time: 0.00
22.33/5.66	c asymm  cl-useful: 14/1651/1651 lits-rem:14 time: 0.01
22.33/5.66	c calculated reachability. Time: 0.00
22.33/5.66	c  N st    24     69895       341      1651         8     13415      5732    226877   no data   no data
27.93/7.01	c  F st    25     87501       341      1651         8     19512      5732    312931   no data   no data
27.93/7.01	c  N st    25     87501       341      1651         8     19512      5732    312931   no data   no data
29.12/7.37	c Decided on static restart strategy
29.95/7.56	c  N st    32     95539       341      1651         8     16235      5732    255179   no data   no data
32.71/8.27	c  N st    34    104842       341      1651         8     12870      5732    163047   no data   no data
32.71/8.27	c  S st    34    104842       341      1651         8     12870      5732    163047   no data   no data
33.11/8.31	c  S st    34    105344       341      1651         8     13351      5732    174478   no data   no data
33.11/8.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.11/8.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
33.11/8.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
33.11/8.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.11/8.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.11/8.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    341 time:  0.00 s
33.11/8.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
33.11/8.31	c lits-rem:        10  cl-subs:        9  v-elim:      0  v-fix:    0  time:  0.00 s
33.11/8.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.51/8.41	c lits-rem:       452  cl-subs:     1006  v-elim:      0  v-fix:    0  time:  0.09 s
33.51/8.41	c vivif2 --  cl tried     1640 cl shrink        0 lits rem          0 time: 0.00
33.51/8.41	c vivif2 --  cl tried    12347 cl shrink        0 lits rem          0 time: 0.00
33.51/8.42	c asymm  cl-useful: 2/1640/1640 lits-rem:2 time: 0.01
33.51/8.42	c calculated reachability. Time: 0.00
33.51/8.42	c  N st    34    105344       341      1640         8     12347      5667    158780   no data   no data
36.71/9.25	c  N st    35    114943       341      1640         8     21003      5667    358237   no data   no data
41.89/10.53	c  N st    36    129340       341      1640         8     21587      5667    351583   no data   no data
50.28/12.67	c  N st    37    150936       341      1640         8     27344      5667    457775   no data   no data
53.07/13.35	c  S st    38    158016       341      1640         8     19317      5667    279684   no data   no data
53.47/13.42	c  S st    38    158519       341      1640         8     19813      5667    293168   no data   no data
53.47/13.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.47/13.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
53.47/13.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
53.47/13.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
53.47/13.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.47/13.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    341 time:  0.00 s
53.47/13.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.47/13.43	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.00 s
53.47/13.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
55.47/13.93	c lits-rem:      1017  cl-subs:     3451  v-elim:      0  v-fix:    0  time:  0.48 s
55.47/13.93	c vivif2 --  cl tried     1636 cl shrink        0 lits rem          0 time: 0.00
55.47/13.93	c vivif2 --  cl tried    16362 cl shrink        0 lits rem          0 time: 0.00
55.47/13.94	c asymm  cl-useful: 2/1636/1636 lits-rem:2 time: 0.01
55.47/13.94	c calculated reachability. Time: 0.00
55.47/13.94	c  N st    38    158519       341      1636         8     16362      5649    230661   no data   no data
74.62/18.75	c  N st    39    207107       341      1636         8     28841      5649    450333   no data   no data
88.19/22.19	c  N st    40    237780       341      1636         8     21436      5649    290485   no data   no data
88.19/22.19	c  S st    40    237780       341      1636         8     21436      5649    290485   no data   no data
88.59/22.26	c  S st    40    238282       341      1636         8     21919      5649    303618   no data   no data
88.59/22.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
88.59/22.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
88.59/22.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88.59/22.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.59/22.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.59/22.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    341 time:  0.00 s
88.59/22.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
88.59/22.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
88.59/22.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.19/22.69	c lits-rem:       827  cl-subs:     2325  v-elim:      0  v-fix:    0  time:  0.41 s
90.19/22.69	c vivif2 --  cl tried     1636 cl shrink        0 lits rem          0 time: 0.00
90.19/22.69	c vivif2 --  cl tried    19594 cl shrink        0 lits rem          0 time: 0.00
90.59/22.70	c asymm  cl-useful: 0/1636/1636 lits-rem:0 time: 0.01
90.59/22.70	c calculated reachability. Time: 0.00
90.59/22.70	c  N st    40    238282       341      1636         8     19594      5648    266125   no data   no data
120.53/30.27	c  F st    41    306251       341      1636         8     21739      5648    277084   no data   no data
120.53/30.27	c  N st    41    306251       341      1636         8     21739      5648    277084   no data   no data
122.52/30.77	c Decided on static restart strategy
132.50/33.29	c  N st    51    334551       341      1636         8     25596      5648    346915   no data   no data
142.88/35.85	c  N st    53    357424       341      1636         8     23840      5648    301096   no data   no data
142.88/35.85	c  S st    53    357424       341      1636         8     23840      5648    301096   no data   no data
143.28/35.93	c  S st    53    357926       341      1636         8     24331      5648    312973   no data   no data
143.28/35.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.28/35.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
143.28/35.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.28/35.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.28/35.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.28/35.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    341 time:  0.00 s
143.28/35.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
143.28/35.94	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.00 s
143.28/35.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.47/36.25	c lits-rem:       660  cl-subs:     1711  v-elim:      0  v-fix:    0  time:  0.29 s
144.47/36.25	c vivif2 --  cl tried     1630 cl shrink        0 lits rem          0 time: 0.00
144.47/36.25	c vivif2 --  cl tried    22625 cl shrink        0 lits rem          0 time: 0.00
144.47/36.27	c asymm  cl-useful: 0/1630/1630 lits-rem:0 time: 0.01
144.47/36.27	c calculated reachability. Time: 0.00
144.47/36.27	c  N st    53    357926       341      1630         8     22625      5615    287805   no data   no data
158.85/39.85	c  N st    54    390319       341      1630         8     28798      5615    403469   no data   no data
185.59/46.58	c Following stats are for *FIRST FINISHED THREAD ONLY*
185.59/46.58	c num threads              : 4          
185.59/46.58	c restarts                 : 55         
185.59/46.58	c dynamic restarts         : 0          
185.59/46.58	c static restarts          : 55         
185.59/46.58	c full restarts            : 3          
185.59/46.58	c total simplify time      : 0.00       
185.59/46.58	c learnts DL2              : 0          
185.59/46.58	c learnts size 2           : 19         
185.59/46.58	c learnts size 1           : 0           (0.00      % of vars)
185.59/46.58	c filedLit time            : 0.03        (0.06      % time)
185.59/46.58	c v-elim SatELite          : 4           (1.15      % vars)
185.59/46.58	c SatELite time            : 5.74        (12.33     % time)
185.59/46.58	c v-elim xor               : 0           (0.00      % vars)
185.59/46.58	c xor elim time            : 0.00        (0.01      % time)
185.59/46.58	c num binary xor trees     : 5          
185.59/46.58	c binxor trees' crown      : 5           (1.00      leafs/tree)
185.59/46.58	c bin xor find time        : 0.00       
185.59/46.58	c OTF clause improved      : 40474       (0.09      clauses/conflict)
185.59/46.58	c OTF impr. size diff      : 41356       (1.02       lits/clause)
185.59/46.58	c OTF cl watch-shrink      : 25218       (0.06      clauses/conflict)
185.59/46.58	c OTF cl watch-sh-lit      : 36132       (1.43       lits/clause)
185.59/46.58	c tried to recurMin cls    : 24199       (5.32       % of conflicts)
185.59/46.58	c updated cache            : 0           (0.00       lits/tried recurMin)
185.59/46.58	c unit cls recevied        : 0           (nan       % of units)
185.59/46.58	c unit cls sent            : 0           (nan       % of units)
185.59/46.58	c bin cls recevied         : 10         
185.59/46.58	c bin cls sent             : 4          
185.59/46.58	c clauses over max glue    : 0           (0.00      % of all clauses)
185.59/46.58	c conflicts                : 454680      (9768.84   / sec)
185.59/46.58	c decisions                : 493184      (1.90      % random)
185.59/46.58	c bogo-props               : 9007485038  (193526550.06 / sec)
185.59/46.58	c conflict literals        : 9559381     (27.39     % deleted)
185.59/46.58	c Memory used              : 287.75      MB
185.59/46.58	c single-thread CPU time   : 46.54       s
185.59/46.58	c all-threads sum CPU time : 185.78      s
185.59/46.58	s SATISFIABLE
185.59/46.58	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 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-3366800-1305416404/watcher-3366800-1305416404 -o /tmp/evaluation-result-3366800-1305416404/solver-3366800-1305416404 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366800-1305416404.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.38 8.09 6.02 5/265 18145
/proc/meminfo: memFree=23443940/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 653238593 52396032 347 33554432000 4194304 4580107 140737485583888 18446744073709551615 47157335996338 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18145/statm: 12792 347 299 95 0 7774 0
[pid=18145/tid=18146] ppid=18143 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653238593 52396032 352 33554432000 4194304 4580107 140737485583888 18446744073709551615 47157335995929 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653238593 52396032 352 33554432000 4194304 4580107 140737485583888 18446744073709551615 47157335995933 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 653238593 52396032 352 33554432000 4194304 4580107 140737485583888 18446744073709551615 47157335995920 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.911097 s]
/proc/loadavg: 8.38 8.09 6.02 5/265 18145
/proc/meminfo: memFree=23443940/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=284700 CPUtime=3.61 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 4722 0 0 0 360 1 0 0 19 0 4 0 653238593 291532800 2321 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 71175 2321 377 95 0 66157 0
[pid=18145/tid=18146] ppid=18143 vsize=284700 CPUtime=0.9 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1071 0 0 0 90 0 0 0 25 0 4 0 653238593 291532800 2321 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=284700 CPUtime=0.89 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1116 0 0 0 89 0 0 0 25 0 4 0 653238593 291532800 2321 33554432000 4194304 4580107 140737485583888 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=284700 CPUtime=0.9 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1052 0 0 0 90 0 0 0 25 0 4 0 653238593 291532800 2321 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 284700

[startup+1.00108 s]
/proc/loadavg: 8.38 8.09 6.02 5/265 18145
/proc/meminfo: memFree=23443940/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=284700 CPUtime=3.97 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 4889 0 0 0 396 1 0 0 19 0 4 0 653238593 291532800 2488 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 71175 2488 377 95 0 66157 0
[pid=18145/tid=18146] ppid=18143 vsize=284700 CPUtime=0.99 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1109 0 0 0 99 0 0 0 25 0 4 0 653238593 291532800 2488 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=284700 CPUtime=0.98 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1160 0 0 0 98 0 0 0 25 0 4 0 653238593 291532800 2488 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=284700 CPUtime=0.99 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1093 0 0 0 99 0 0 0 25 0 4 0 653238593 291532800 2488 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 284700

[startup+1.10106 s]
/proc/loadavg: 8.38 8.09 6.02 5/265 18145
/proc/meminfo: memFree=23443940/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=284868 CPUtime=4.37 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 5096 0 0 0 436 1 0 0 19 0 4 0 653238593 291704832 2695 33554432000 4194304 4580107 140737485583888 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 71217 2695 377 95 0 66199 0
[pid=18145/tid=18146] ppid=18143 vsize=284868 CPUtime=1.09 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1160 0 0 0 109 0 0 0 25 0 4 0 653238593 291704832 2695 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=284868 CPUtime=1.08 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1218 0 0 0 108 0 0 0 25 0 4 0 653238593 291704832 2695 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=284868 CPUtime=1.09 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1149 0 0 0 109 0 0 0 25 0 4 0 653238593 291704832 2695 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 284868

[startup+1.20105 s]
/proc/loadavg: 8.38 8.09 6.02 5/265 18145
/proc/meminfo: memFree=23443940/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=285024 CPUtime=4.77 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 5364 0 0 0 476 1 0 0 19 0 4 0 653238593 291864576 2963 33554432000 4194304 4580107 140737485583888 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 71256 2963 378 95 0 66238 0
[pid=18145/tid=18146] ppid=18143 vsize=285024 CPUtime=1.19 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1213 0 0 0 119 0 0 0 25 0 4 0 653238593 291864576 2963 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=285024 CPUtime=1.18 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1291 0 0 0 118 0 0 0 25 0 4 0 653238593 291864576 2963 33554432000 4194304 4580107 140737485583888 18446744073709551615 4321160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=285024 CPUtime=1.19 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1239 0 0 0 119 0 0 0 25 0 4 0 653238593 291864576 2963 33554432000 4194304 4580107 140737485583888 18446744073709551615 4305283 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 285024

[startup+1.50099 s]
/proc/loadavg: 8.38 8.09 6.02 5/265 18145
/proc/meminfo: memFree=23443940/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=285300 CPUtime=5.97 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 6436 0 0 0 596 1 0 0 20 0 4 0 653238593 292147200 2859 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 71325 2859 378 95 0 66307 0
[pid=18145/tid=18146] ppid=18143 vsize=285300 CPUtime=1.49 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1478 0 0 0 149 0 0 0 25 0 4 0 653238593 292147200 2859 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=285300 CPUtime=1.48 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1536 0 0 0 148 0 0 0 25 0 4 0 653238593 292147200 2859 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=285300 CPUtime=1.49 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 1523 0 0 0 149 0 0 0 25 0 4 0 653238593 292147200 2859 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285300

[startup+3.1097 s]
/proc/loadavg: 8.43 8.10 6.04 9/269 18150
/proc/meminfo: memFree=23395808/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=293144 CPUtime=12.39 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 15369 0 0 0 1236 3 0 0 25 0 4 0 653238593 300179456 9084 33554432000 4194304 4580107 140737485583888 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 73286 9085 380 95 0 68268 0
[pid=18145/tid=18146] ppid=18143 vsize=293144 CPUtime=3.09 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 3281 0 0 0 309 0 0 0 25 0 4 0 653238593 300179456 9085 33554432000 4194304 4580107 140737485583888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=293144 CPUtime=3.09 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 3775 0 0 0 309 0 0 0 25 0 4 0 653238593 300179456 9085 33554432000 4194304 4580107 140737485583888 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=293144 CPUtime=3.1 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 3942 0 0 0 309 1 0 0 25 0 4 0 653238593 300179456 9085 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 293144

[startup+6.30112 s]
/proc/loadavg: 8.40 8.10 6.05 9/269 18150
/proc/meminfo: memFree=23382896/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=301576 CPUtime=25.15 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 22341 0 0 0 2511 4 0 0 25 0 4 0 653238593 308813824 12051 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 75394 12051 380 95 0 70376 0
[pid=18145/tid=18146] ppid=18143 vsize=301576 CPUtime=6.29 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 5981 0 0 0 629 0 0 0 25 0 4 0 653238593 308813824 12053 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=301576 CPUtime=6.3 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 5129 0 0 0 629 1 0 0 25 0 4 0 653238593 308813824 12053 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=301576 CPUtime=6.3 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 5411 0 0 0 629 1 0 0 25 0 4 0 653238593 308813824 12053 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 301576

[startup+12.701 s]
/proc/loadavg: 8.36 8.10 6.06 9/269 18150
/proc/meminfo: memFree=23370628/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=311616 CPUtime=50.68 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 34447 0 0 0 5062 6 0 0 25 0 4 0 653238593 319094784 14357 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 77904 14357 380 95 0 72886 0
[pid=18145/tid=18146] ppid=18143 vsize=311616 CPUtime=12.69 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 9445 0 0 0 1268 1 0 0 25 0 4 0 653238593 319094784 14357 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=311616 CPUtime=12.68 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 8166 0 0 0 1267 1 0 0 25 0 4 0 653238593 319094784 14357 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=311616 CPUtime=12.69 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 9086 0 0 0 1267 2 0 0 25 0 4 0 653238593 319094784 14357 33554432000 4194304 4580107 140737485583888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 311616

[startup+25.5006 s]
/proc/loadavg: 8.31 8.10 6.08 10/269 18150
/proc/meminfo: memFree=23353764/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=303556 CPUtime=101.76 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 54133 0 0 0 10167 9 0 0 25 0 4 0 653238593 310841344 17474 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 75889 17474 380 95 0 70871 0
[pid=18145/tid=18146] ppid=18143 vsize=303556 CPUtime=25.49 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 14505 0 0 0 2547 2 0 0 25 0 4 0 653238593 310841344 17474 33554432000 4194304 4580107 140737485583888 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=303556 CPUtime=25.48 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 13498 0 0 0 2546 2 0 0 25 0 4 0 653238593 310841344 17474 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=303556 CPUtime=25.48 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 13642 0 0 0 2546 2 0 0 25 0 4 0 653238593 310841344 17474 33554432000 4194304 4580107 140737485583888 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 303556

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

[startup+26.4005 s]
/proc/loadavg: 8.28 8.09 6.09 10/269 18150
/proc/meminfo: memFree=23351284/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=303556 CPUtime=105.36 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 54838 0 0 0 10526 10 0 0 25 0 4 0 653238593 310841344 18179 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 75889 18179 380 95 0 70871 0
[pid=18145/tid=18146] ppid=18143 vsize=303556 CPUtime=26.38 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 14669 0 0 0 2636 2 0 0 25 0 4 0 653238593 310841344 18179 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=303556 CPUtime=26.38 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 13699 0 0 0 2636 2 0 0 25 0 4 0 653238593 310841344 18179 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=303556 CPUtime=26.39 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 13810 0 0 0 2636 3 0 0 25 0 4 0 653238593 310841344 18179 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 105.36
Current children cumulated vsize (KiB) 303556

[startup+39.2011 s]
/proc/loadavg: 8.24 8.09 6.11 10/269 18150
/proc/meminfo: memFree=23324032/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=304356 CPUtime=156.46 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 72091 0 0 0 15633 13 0 0 25 0 4 0 653238593 311660544 24400 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 76089 24400 380 95 0 71071 0
[pid=18145/tid=18146] ppid=18143 vsize=304356 CPUtime=39.18 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 19763 0 0 0 3916 2 0 0 25 0 4 0 653238593 311660544 24400 33554432000 4194304 4580107 140737485583888 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=304356 CPUtime=39.19 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 17575 0 0 0 3915 4 0 0 25 0 4 0 653238593 311660544 24400 33554432000 4194304 4580107 140737485583888 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=304356 CPUtime=39.18 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 18750 0 0 0 3915 3 0 0 25 0 4 0 653238593 311660544 24400 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 156.46
Current children cumulated vsize (KiB) 304356

[startup+42.4006 s]
/proc/loadavg: 8.22 8.09 6.12 9/269 18151
/proc/meminfo: memFree=23320476/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=304484 CPUtime=169.23 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 75724 0 0 0 16909 14 0 0 25 0 4 0 653238593 311791616 26064 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 76121 26064 380 95 0 71103 0
[pid=18145/tid=18146] ppid=18143 vsize=304484 CPUtime=42.38 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 20122 0 0 0 4236 2 0 0 25 0 4 0 653238593 311791616 26064 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=304484 CPUtime=42.38 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 19087 0 0 0 4234 4 0 0 25 0 4 0 653238593 311791616 26064 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=304484 CPUtime=42.38 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 19617 0 0 0 4235 3 0 0 25 0 4 0 653238593 311791616 26064 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 169.23
Current children cumulated vsize (KiB) 304484

[startup+44.0003 s]
/proc/loadavg: 8.22 8.09 6.12 9/269 18151
/proc/meminfo: memFree=23315144/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=294580 CPUtime=175.61 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 77486 0 0 0 17547 14 0 0 25 0 4 0 653238593 301649920 25737 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 73645 25737 380 95 0 68627 0
[pid=18145/tid=18146] ppid=18143 vsize=294580 CPUtime=43.98 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 20782 0 0 0 4396 2 0 0 25 0 4 0 653238593 301649920 25737 33554432000 4194304 4580107 140737485583888 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=294580 CPUtime=43.98 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 19381 0 0 0 4394 4 0 0 25 0 4 0 653238593 301649920 25737 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=294580 CPUtime=43.98 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 19807 0 0 0 4395 3 0 0 25 0 4 0 653238593 301649920 25737 33554432000 4194304 4580107 140737485583888 18446744073709551615 4320971 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 175.61
Current children cumulated vsize (KiB) 294580

[startup+45.601 s]
/proc/loadavg: 8.22 8.09 6.12 9/269 18151
/proc/meminfo: memFree=23319480/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=294656 CPUtime=182 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 78747 0 0 0 18186 14 0 0 25 0 4 0 653238593 301727744 24109 33554432000 4194304 4580107 140737485583888 18446744073709551615 4342220 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 73664 24109 380 95 0 68646 0
[pid=18145/tid=18146] ppid=18143 vsize=294656 CPUtime=45.58 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 21056 0 0 0 4556 2 0 0 25 0 4 0 653238593 301727744 24109 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=294656 CPUtime=45.58 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 20082 0 0 0 4554 4 0 0 25 0 4 0 653238593 301727744 24109 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=294656 CPUtime=45.59 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 19840 0 0 0 4555 4 0 0 25 0 4 0 653238593 301727744 24109 33554432000 4194304 4580107 140737485583888 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 182
Current children cumulated vsize (KiB) 294656

[startup+46.0099 s]
/proc/loadavg: 8.28 8.10 6.13 9/269 18151
/proc/meminfo: memFree=23322580/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=294656 CPUtime=183.63 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 78939 0 0 0 18349 14 0 0 25 0 4 0 653238593 301727744 24301 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 73664 24301 380 95 0 68646 0
[pid=18145/tid=18146] ppid=18143 vsize=294656 CPUtime=45.99 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 21120 0 0 0 4597 2 0 0 25 0 4 0 653238593 301727744 24301 33554432000 4194304 4580107 140737485583888 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=294656 CPUtime=45.99 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 20152 0 0 0 4595 4 0 0 25 0 4 0 653238593 301727744 24301 33554432000 4194304 4580107 140737485583888 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=294656 CPUtime=46 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 19840 0 0 0 4596 4 0 0 25 0 4 0 653238593 301727744 24301 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 183.63
Current children cumulated vsize (KiB) 294656

[startup+46.4008 s]
/proc/loadavg: 8.28 8.10 6.13 9/269 18151
/proc/meminfo: memFree=23322580/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=294656 CPUtime=185.19 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 79539 0 0 0 18505 14 0 0 25 0 4 0 653238593 301727744 24901 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 73664 24901 380 95 0 68646 0
[pid=18145/tid=18146] ppid=18143 vsize=294656 CPUtime=46.38 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 21587 0 0 0 4636 2 0 0 25 0 4 0 653238593 301727744 24901 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=294656 CPUtime=46.38 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 20224 0 0 0 4634 4 0 0 25 0 4 0 653238593 301727744 24901 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=294656 CPUtime=46.39 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 19840 0 0 0 4635 4 0 0 25 0 4 0 653238593 301727744 24901 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 185.19
Current children cumulated vsize (KiB) 294656

[startup+46.5008 s]
/proc/loadavg: 8.28 8.10 6.13 9/269 18151
/proc/meminfo: memFree=23322580/32951124 swapFree=61565116/67111528
[pid=18145] ppid=18143 vsize=294656 CPUtime=185.59 cores=0,2,4,6
/proc/18145/stat : 18145 (strangenight2-m) R 18143 18145 17979 0 -1 4202496 79596 0 0 0 18545 14 0 0 25 0 4 0 653238593 301727744 24958 33554432000 4194304 4580107 140737485583888 18446744073709551615 4306345 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18145/statm: 73664 24958 380 95 0 68646 0
[pid=18145/tid=18146] ppid=18143 vsize=294656 CPUtime=46.48 cores=0,2,4,6
/proc/18145/task/18146/stat : 18146 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 21612 0 0 0 4646 2 0 0 25 0 4 0 653238593 301727744 24958 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18145/tid=18147] ppid=18143 vsize=294656 CPUtime=46.48 cores=0,2,4,6
/proc/18145/task/18147/stat : 18147 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 20240 0 0 0 4644 4 0 0 25 0 4 0 653238593 301727744 24958 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18145/tid=18148] ppid=18143 vsize=294656 CPUtime=46.49 cores=0,2,4,6
/proc/18145/task/18148/stat : 18148 (strangenight2-m) R 18143 18145 17979 0 -1 4202560 19840 0 0 0 4645 4 0 0 25 0 4 0 653238593 301727744 24958 33554432000 4194304 4580107 140737485583888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 185.59
Current children cumulated vsize (KiB) 294656

Child status: 10
Real time (s): 46.5869
CPU time (s): 185.933
CPU user time (s): 185.78
CPU system time (s): 0.152976
CPU usage (%): 399.11
Max. virtual memory (cumulated for all children) (KiB): 313028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.78
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79648
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= 224
involuntary context switches= 2921

runsolver used 0.116982 second user time and 0.263959 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-15 01:40:04
IDJOB=3366800
IDBENCH=85368
IDSOLVER=1844
FILE ID=node134/3366800-1305416404
RUNJOBID= node134-1305415164-17997
PBS_JOBID= 13324561
Free space on /tmp= 73444 MiB

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

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

MD5SUM BENCH= db05e30798a5a29f39775d55b01c4246
RANDOM SEED=1352626756

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23444096 kB
Buffers:        261112 kB
Cached:        5608180 kB
SwapCached:      13768 kB
Active:        1024316 kB
Inactive:      8269800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23444096 kB
SwapTotal:    67111528 kB
SwapFree:     61565116 kB
Dirty:            6896 kB
Writeback:           0 kB
AnonPages:     3418368 kB
Mapped:          12804 kB
Slab:           120840 kB
PageTables:      31152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 39075228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73440 MiB
End job on node134 at 2011-05-15 01:40:51