Trace number 3265015

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-mtSAT 185.452 46.4266

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3265015-1304128944.cnf'
0.00/0.00	c -- header says num vars:            349
0.00/0.00	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.78/0.20	c  N st     8      4914       349      1695         2      4618      5922     92704   no data   no data
1.58/0.44	c  N st    10     11298       349      1695         6      4249      5922     55042   no data   no data
2.77/0.73	c  N st    11     17041       349      1695         6      9556      5922    177487   no data   no data
4.40/1.15	c  F st    12     25001       349      1695        12     11814      5922    232404   no data   no data
4.40/1.15	c  N st    12     25001       349      1695        12     11814      5922    232404   no data   no data
5.58/1.42	c Decided on static restart strategy
5.58/1.42	c  N st    18     30002       349      1695        12     10123      5922    172367   no data   no data
5.58/1.42	c  S st    18     30002       349      1695        12     10123      5922    172367   no data   no data
5.58/1.46	c  S st    18     30505       349      1695        12     10602      5919    183851   no data   no data
5.58/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.58/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.58/1.47	c Replacing        4 vars Replaced     5366 lits Time:     0.01 s 
5.58/1.47	c blocked clauses removed:        0 vars:      0 tried:         345 T: 0.00 s
5.58/1.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.58/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.58/1.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    345 time:  0.00 s
5.58/1.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.58/1.47	c lits-rem:        11  cl-subs:       25  v-elim:      3  v-fix:    0  time:  0.00 s
5.58/1.48	c subs with bin:        2  lits-rem:         7  v-fix:    0  time:  0.00 s
6.37/1.67	c lits-rem:      1269  cl-subs:     1977  v-elim:      0  v-fix:    0  time:  0.19 s
6.37/1.68	c asymm  cl-useful: 6/1658/1658 lits-rem:6 time: 0.00
6.37/1.68	c calculated reachability. Time: 0.00
6.37/1.68	c  N st    18     30505       342      1658         4      8568      5766    142556   no data   no data
8.37/2.19	c  N st    20     37615       342      1658         5      7845      5766    104615   no data   no data
9.97/2.54	c  N st    21     44014       342      1658         5     13696      5766    237293   no data   no data
10.37/2.65	c  S st    22     45759       342      1658         5     15260      5766    272036   no data   no data
10.76/2.70	c  S st    22     46261       342      1658         5     15745      5763    283434   no data   no data
10.76/2.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
10.76/2.71	c Replacing        1 vars Replaced      200 lits Time:     0.00 s 
10.76/2.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.76/2.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.71	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    341 time:  0.00 s
10.76/2.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.76/2.71	c lits-rem:        15  cl-subs:       10  v-elim:      1  v-fix:    0  time:  0.00 s
10.76/2.72	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.00 s
12.77/3.20	c lits-rem:       650  cl-subs:     3118  v-elim:      0  v-fix:    0  time:  0.47 s
12.77/3.20	c vivif2 --  cl tried     1634 cl shrink        0 lits rem          0 time: 0.00
12.77/3.20	c vivif2 --  cl tried    12635 cl shrink        0 lits rem          0 time: 0.00
12.77/3.21	c asymm  cl-useful: 0/1634/1634 lits-rem:0 time: 0.01
12.77/3.21	c calculated reachability. Time: 0.00
12.77/3.21	c  N st    22     46261       340      1634         4     12635      5652    221962   no data   no data
16.36/4.15	c  N st    23     60658       340      1634         4     17708      5652    295515   no data   no data
16.36/4.15	c Finding binary XORs  T:     0.00 s  found:       0
18.36/4.68	c  N st    24     69391       340      1634         8     16675      5652    273216   no data   no data
18.36/4.68	c  S st    24     69391       340      1634         8     16675      5652    273216   no data   no data
18.76/4.74	c  S st    24     69892       340      1634         8     17163      5652    285473   no data   no data
18.76/4.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.76/4.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
18.76/4.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18.76/4.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.76/4.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.76/4.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
18.76/4.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.76/4.75	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.00 s
18.76/4.76	c subs with bin:        3  lits-rem:       168  v-fix:    0  time:  0.00 s
20.75/5.28	c lits-rem:       999  cl-subs:     3336  v-elim:      0  v-fix:    0  time:  0.52 s
20.75/5.28	c vivif2 --  cl tried     1628 cl shrink        0 lits rem          0 time: 0.00
20.75/5.28	c vivif2 --  cl tried    13825 cl shrink        0 lits rem          0 time: 0.00
20.75/5.29	c asymm  cl-useful: 3/1628/1628 lits-rem:3 time: 0.01
20.75/5.29	c calculated reachability. Time: 0.00
20.75/5.29	c  N st    24     69892       340      1628         8     13825      5620    220426   no data   no data
25.95/6.53	c  F st    25     87501       340      1628         8     19885      5620    327468   no data   no data
25.95/6.53	c  N st    25     87501       340      1628         8     19885      5620    327468   no data   no data
27.15/6.88	c Decided on static restart strategy
27.95/7.04	c  N st    32     95538       340      1628         8     16401      5620    251120   no data   no data
30.76/7.78	c  N st    34    104838       340      1628         8     13060      5620    163928   no data   no data
30.76/7.78	c  S st    34    104838       340      1628         8     13060      5620    163928   no data   no data
31.16/7.83	c  S st    34    105339       340      1628         8     13552      5620    178085   no data   no data
31.16/7.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.16/7.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
31.16/7.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
31.16/7.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.16/7.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.16/7.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
31.16/7.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.16/7.84	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.00 s
31.16/7.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.54/7.94	c lits-rem:       405  cl-subs:     1199  v-elim:      0  v-fix:    0  time:  0.10 s
31.54/7.94	c vivif2 --  cl tried     1625 cl shrink        0 lits rem          0 time: 0.00
31.54/7.94	c vivif2 --  cl tried    12354 cl shrink        0 lits rem          0 time: 0.00
31.54/7.95	c asymm  cl-useful: 0/1625/1625 lits-rem:0 time: 0.01
31.54/7.95	c calculated reachability. Time: 0.00
31.54/7.95	c  N st    34    105339       340      1625         8     12354      5603    158534   no data   no data
35.15/8.81	c  N st    35    114937       340      1625         8     20778      5603    335104   no data   no data
40.73/10.26	c  N st    36    129335       340      1625         8     21184      5603    316481   no data   no data
48.74/12.22	c  N st    37    150930       340      1625         8     27103      5603    466066   no data   no data
51.52/12.94	c  S st    38    158009       340      1625         8     19138      5603    260016   no data   no data
51.92/13.01	c  S st    38    158511       340      1625         8     19629      5603    272812   no data   no data
51.92/13.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.92/13.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
51.92/13.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
51.92/13.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.92/13.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.92/13.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
51.92/13.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.92/13.02	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.00 s
51.92/13.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.51/13.47	c lits-rem:       533  cl-subs:     3844  v-elim:      0  v-fix:    0  time:  0.45 s
53.51/13.47	c vivif2 --  cl tried     1624 cl shrink        0 lits rem          0 time: 0.00
53.51/13.48	c vivif2 --  cl tried    15785 cl shrink        0 lits rem          0 time: 0.00
53.51/13.48	c asymm  cl-useful: 1/1624/1624 lits-rem:1 time: 0.01
53.51/13.49	c calculated reachability. Time: 0.00
53.51/13.49	c  N st    38    158511       340      1624         8     15785      5596    207280   no data   no data
73.49/18.46	c  N st    39    207100       340      1624         8     27966      5596    431525   no data   no data
88.67/22.21	c  N st    40    237766       340      1624         8     20603      5596    270361   no data   no data
88.67/22.21	c  S st    40    237766       340      1624         8     20603      5596    270361   no data   no data
88.67/22.28	c  S st    40    238268       340      1624         8     21096      5595    282567   no data   no data
88.67/22.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
88.67/22.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
88.67/22.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88.67/22.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.67/22.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.67/22.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
88.67/22.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
88.67/22.29	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.00 s
89.07/22.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.27/22.69	c lits-rem:       762  cl-subs:     3071  v-elim:      0  v-fix:    0  time:  0.39 s
90.27/22.69	c vivif2 --  cl tried     1622 cl shrink        0 lits rem          0 time: 0.00
90.27/22.69	c vivif2 --  cl tried    18026 cl shrink        0 lits rem          0 time: 0.00
90.67/22.70	c asymm  cl-useful: 2/1622/1622 lits-rem:2 time: 0.01
90.67/22.70	c calculated reachability. Time: 0.00
90.67/22.70	c  N st    40    238268       340      1622         8     18026      5581    233055   no data   no data
119.43/29.95	c  F st    41    306251       340      1622         8     40685      5581    665866   no data   no data
119.43/29.95	c  N st    41    306251       340      1622         8     40685      5581    665866   no data   no data
121.84/30.55	c Decided on static restart strategy
132.61/33.20	c  N st    51    334550       340      1622         8     24229      5581    319151   no data   no data
143.01/35.82	c  N st    53    357403       340      1622         8     44690      5581    736431   no data   no data
143.01/35.82	c  S st    53    357403       340      1622         8     44690      5581    736431   no data   no data
143.81/36.01	c  S st    53    357908       340      1622         8     22790      5581    281145   no data   no data
143.81/36.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.81/36.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
143.81/36.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.81/36.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.81/36.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.81/36.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    340 time:  0.00 s
143.81/36.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
143.81/36.02	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.01 s
143.81/36.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.60/36.23	c lits-rem:       556  cl-subs:     1155  v-elim:      0  v-fix:    0  time:  0.20 s
144.60/36.23	c vivif2 --  cl tried     1617 cl shrink        0 lits rem          0 time: 0.00
144.60/36.23	c vivif2 --  cl tried    21636 cl shrink        0 lits rem          0 time: 0.00
144.60/36.24	c asymm  cl-useful: 0/1617/1617 lits-rem:0 time: 0.01
144.60/36.24	c calculated reachability. Time: 0.00
144.60/36.24	c  N st    53    357908       340      1617         8     21636      5559    265798   no data   no data
160.19/40.10	c  N st    54    390300       340      1617         8     27516      5559    379893   no data   no data
183.36/45.94	c  N st    55    438889       340      1617         8     47100      5559    764483   no data   no data
185.35/46.42	c Following stats are for *FIRST FINISHED THREAD ONLY*
185.35/46.42	c num threads              : 4          
185.35/46.42	c restarts                 : 55         
185.35/46.42	c dynamic restarts         : 0          
185.35/46.42	c static restarts          : 55         
185.35/46.42	c full restarts            : 3          
185.35/46.42	c total simplify time      : 0.00       
185.35/46.42	c learnts DL2              : 0          
185.35/46.42	c learnts size 2           : 19         
185.35/46.42	c learnts size 1           : 0           (0.00      % of vars)
185.35/46.42	c filedLit time            : 0.03        (0.06      % time)
185.35/46.42	c v-elim SatELite          : 4           (1.15      % vars)
185.35/46.42	c SatELite time            : 5.71        (12.31     % time)
185.35/46.42	c v-elim xor               : 0           (0.00      % vars)
185.35/46.42	c xor elim time            : 0.01        (0.01      % time)
185.35/46.42	c num binary xor trees     : 5          
185.35/46.42	c binxor trees' crown      : 5           (1.00      leafs/tree)
185.35/46.42	c bin xor find time        : 0.00       
185.35/46.42	c OTF clause improved      : 40474       (0.09      clauses/conflict)
185.35/46.42	c OTF impr. size diff      : 41356       (1.02       lits/clause)
185.35/46.42	c OTF cl watch-shrink      : 25218       (0.06      clauses/conflict)
185.35/46.42	c OTF cl watch-sh-lit      : 36132       (1.43       lits/clause)
185.35/46.42	c tried to recurMin cls    : 24199       (5.32       % of conflicts)
185.35/46.42	c updated cache            : 0           (0.00       lits/tried recurMin)
185.35/46.42	c unit cls recevied        : 0           (nan       % of units)
185.35/46.42	c unit cls sent            : 0           (nan       % of units)
185.35/46.42	c bin cls recevied         : 10         
185.35/46.42	c bin cls sent             : 5          
185.35/46.42	c clauses over max glue    : 0           (0.00      % of all clauses)
185.35/46.42	c conflicts                : 454680      (9803.37   / sec)
185.35/46.42	c decisions                : 493184      (1.90      % random)
185.35/46.42	c bogo-props               : 9007485038  (194210757.71 / sec)
185.35/46.42	c conflict literals        : 9559381     (27.39     % deleted)
185.35/46.42	c Memory used              : 305.33      MB
185.35/46.42	c single-thread CPU time   : 46.38       s
185.35/46.42	c all-threads sum CPU time : 185.30      s
185.35/46.42	s SATISFIABLE
185.35/46.42	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.39 7.79 7.91 5/180 9549
/proc/meminfo: memFree=31208644/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=248792 CPUtime=0 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 585 0 0 0 0 0 0 0 25 0 4 0 524492937 254763008 501 33554432000 4194304 4627427 140734500219008 18446744073709551615 210204308165 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 62231 509 336 106 0 57202 0
[pid=9549/tid=9550] ppid=9547 vsize=265332 CPUtime=0 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) S 9547 9549 8981 0 -1 4202560 77 0 0 0 0 0 0 0 25 0 4 0 524492937 271699968 562 33554432000 4194304 4627427 140734500219008 18446744073709551615 210204752366 0 0 4096 2 18446604471127142784 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=265332 CPUtime=0 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 39 0 0 0 0 0 0 0 25 0 4 0 524492937 271699968 568 33554432000 4194304 4627427 140734500219008 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=273536 CPUtime=0 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 58 0 0 0 0 0 0 0 25 0 4 0 524492937 280100864 571 33554432000 4194304 4627427 140734500219008 18446744073709551615 4257642 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.106481 s]
/proc/loadavg: 7.39 7.79 7.91 5/180 9549
/proc/meminfo: memFree=31208644/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=282008 CPUtime=0.4 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 1764 0 0 0 40 0 0 0 25 0 4 0 524492937 288776192 1619 33554432000 4194304 4627427 140734500219008 18446744073709551615 4322064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 70502 1619 383 106 0 65473 0
[pid=9549/tid=9550] ppid=9547 vsize=282008 CPUtime=0.1 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 358 0 0 0 10 0 0 0 25 0 4 0 524492937 288776192 1619 33554432000 4194304 4627427 140734500219008 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=282008 CPUtime=0.09 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 343 0 0 0 9 0 0 0 25 0 4 0 524492937 288776192 1619 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=282008 CPUtime=0.1 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 256 0 0 0 10 0 0 0 25 0 4 0 524492937 288776192 1619 33554432000 4194304 4627427 140734500219008 18446744073709551615 4324972 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282008

[startup+0.200466 s]
/proc/loadavg: 7.39 7.79 7.91 5/180 9549
/proc/meminfo: memFree=31208644/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=283004 CPUtime=0.78 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 2259 0 0 0 78 0 0 0 25 0 4 0 524492937 289796096 1615 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 70751 1615 384 106 0 65722 0
[pid=9549/tid=9550] ppid=9547 vsize=283004 CPUtime=0.19 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 487 0 0 0 19 0 0 0 25 0 4 0 524492937 289796096 1615 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=283004 CPUtime=0.19 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 452 0 0 0 19 0 0 0 25 0 4 0 524492937 289796096 1615 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=283004 CPUtime=0.19 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 394 0 0 0 19 0 0 0 25 0 4 0 524492937 289796096 1615 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283004

[startup+0.300449 s]
/proc/loadavg: 7.39 7.79 7.91 5/180 9549
/proc/meminfo: memFree=31208644/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=283168 CPUtime=1.18 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 2612 0 0 0 118 0 0 0 25 0 4 0 524492937 289964032 1968 33554432000 4194304 4627427 140734500219008 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 70792 1968 384 106 0 65763 0
[pid=9549/tid=9550] ppid=9547 vsize=283168 CPUtime=0.29 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 575 0 0 0 29 0 0 0 25 0 4 0 524492937 289964032 1968 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=283168 CPUtime=0.29 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 538 0 0 0 29 0 0 0 25 0 4 0 524492937 289964032 1968 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=283168 CPUtime=0.29 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 492 0 0 0 29 0 0 0 25 0 4 0 524492937 289964032 1968 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283168

[startup+0.700382 s]
/proc/loadavg: 7.39 7.79 7.91 5/180 9549
/proc/meminfo: memFree=31208644/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=283960 CPUtime=2.77 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 3909 0 0 0 277 0 0 0 25 0 4 0 524492937 290775040 2475 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308752 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 70990 2475 384 106 0 65961 0
[pid=9549/tid=9550] ppid=9547 vsize=283960 CPUtime=0.69 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 898 0 0 0 69 0 0 0 25 0 4 0 524492937 290775040 2475 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=283960 CPUtime=0.69 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 866 0 0 0 69 0 0 0 25 0 4 0 524492937 290775040 2475 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=283960 CPUtime=0.69 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 819 0 0 0 69 0 0 0 25 0 4 0 524492937 290775040 2476 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 283960

[startup+1.50025 s]
/proc/loadavg: 7.39 7.79 7.91 9/184 9553
/proc/meminfo: memFree=31188524/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=285072 CPUtime=5.97 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 7649 0 0 0 596 1 0 0 25 0 4 0 524492937 291913728 4043 33554432000 4194304 4627427 140734500219008 18446744073709551615 4467967 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 71268 4043 390 106 0 66239 0
[pid=9549/tid=9550] ppid=9547 vsize=285072 CPUtime=1.49 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 1507 0 0 0 149 0 0 0 25 0 4 0 524492937 291913728 4043 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=285072 CPUtime=1.48 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 1506 0 0 0 148 0 0 0 25 0 4 0 524492937 291913728 4043 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=285072 CPUtime=1.49 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 1496 0 0 0 149 0 0 0 25 0 4 0 524492937 291913728 4043 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285072

[startup+3.10098 s]
/proc/loadavg: 7.39 7.79 7.91 9/184 9553
/proc/meminfo: memFree=31163104/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=292148 CPUtime=12.37 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 15513 0 0 0 1235 2 0 0 25 0 4 0 524492937 299159552 9266 33554432000 4194304 4627427 140734500219008 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 73037 9266 390 106 0 68008 0
[pid=9549/tid=9550] ppid=9547 vsize=292148 CPUtime=3.09 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 3321 0 0 0 309 0 0 0 25 0 4 0 524492937 299159552 9266 33554432000 4194304 4627427 140734500219008 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=292148 CPUtime=3.07 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 3664 0 0 0 307 0 0 0 25 0 4 0 524492937 299159552 9266 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=292148 CPUtime=3.09 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 3918 0 0 0 309 0 0 0 25 0 4 0 524492937 299159552 9266 33554432000 4194304 4627427 140734500219008 18446744073709551615 4333195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 292148

[startup+6.30045 s]
/proc/loadavg: 7.43 7.79 7.91 9/184 9553
/proc/meminfo: memFree=31129272/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=283872 CPUtime=25.15 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 22673 0 0 0 2512 3 0 0 25 0 4 0 524492937 290684928 11660 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 70968 11660 390 106 0 65939 0
[pid=9549/tid=9550] ppid=9547 vsize=283872 CPUtime=6.28 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 6006 0 0 0 628 0 0 0 25 0 4 0 524492937 290684928 11660 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=283872 CPUtime=6.25 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 5269 0 0 0 625 0 0 0 25 0 4 0 524492937 290684928 11660 33554432000 4194304 4627427 140734500219008 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=283872 CPUtime=6.28 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 5300 0 0 0 628 0 0 0 25 0 4 0 524492937 290684928 11660 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 283872

[startup+12.7004 s]
/proc/loadavg: 7.48 7.80 7.91 9/184 9553
/proc/meminfo: memFree=31101580/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=289616 CPUtime=50.72 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 35027 0 0 0 5066 6 0 0 25 0 4 0 524492937 296566784 14965 33554432000 4194304 4627427 140734500219008 18446744073709551615 4333275 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 72404 14965 390 106 0 67375 0
[pid=9549/tid=9550] ppid=9547 vsize=289616 CPUtime=12.69 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 9449 0 0 0 1268 1 0 0 25 0 4 0 524492937 296566784 14965 33554432000 4194304 4627427 140734500219008 18446744073709551615 4333301 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=289616 CPUtime=12.63 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 8694 0 0 0 1262 1 0 0 25 0 4 0 524492937 296566784 14965 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=289616 CPUtime=12.68 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 8750 0 0 0 1267 1 0 0 25 0 4 0 524492937 296566784 14965 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 289616

[startup+25.5002 s]
/proc/loadavg: 7.59 7.81 7.91 9/184 9554
/proc/meminfo: memFree=31070280/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=290944 CPUtime=101.85 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 53176 0 0 0 10176 9 0 0 25 0 4 0 524492937 297926656 19197 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 72736 19197 390 106 0 67707 0
[pid=9549/tid=9550] ppid=9547 vsize=290944 CPUtime=25.49 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 14550 0 0 0 2547 2 0 0 25 0 4 0 524492937 297926656 19197 33554432000 4194304 4627427 140734500219008 18446744073709551615 4332922 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=290944 CPUtime=25.36 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 14401 0 0 0 2534 2 0 0 25 0 4 0 524492937 297926656 19197 33554432000 4194304 4627427 140734500219008 18446744073709551615 4330222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=290944 CPUtime=25.48 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 13074 0 0 0 2546 2 0 0 25 0 4 0 524492937 297926656 19197 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 290944

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

[startup+25.6002 s]
/proc/loadavg: 7.59 7.81 7.91 9/184 9554
/proc/meminfo: memFree=31070280/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=290944 CPUtime=102.25 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 53265 0 0 0 10216 9 0 0 25 0 4 0 524492937 297926656 19286 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 72736 19286 390 106 0 67707 0
[pid=9549/tid=9550] ppid=9547 vsize=290944 CPUtime=25.59 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 14568 0 0 0 2557 2 0 0 25 0 4 0 524492937 297926656 19286 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=290944 CPUtime=25.46 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 14427 0 0 0 2544 2 0 0 25 0 4 0 524492937 297926656 19286 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309525 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=290944 CPUtime=25.58 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 13094 0 0 0 2556 2 0 0 25 0 4 0 524492937 297926656 19286 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 290944

[startup+38.4011 s]
/proc/loadavg: 7.66 7.81 7.91 9/184 9554
/proc/meminfo: memFree=31035512/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=312628 CPUtime=153.4 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 70497 0 0 0 15327 13 0 0 25 0 4 0 524492937 320131072 24409 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 78157 24409 390 106 0 73128 0
[pid=9549/tid=9550] ppid=9547 vsize=312628 CPUtime=38.39 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 20492 0 0 0 3836 3 0 0 25 0 4 0 524492937 320131072 24409 33554432000 4194304 4627427 140734500219008 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=312628 CPUtime=38.2 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 18534 0 0 0 3817 3 0 0 25 0 4 0 524492937 320131072 24409 33554432000 4194304 4627427 140734500219008 18446744073709551615 4329590 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=312628 CPUtime=38.38 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 17816 0 0 0 3836 2 0 0 25 0 4 0 524492937 320131072 24409 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 153.4
Current children cumulated vsize (KiB) 312628

[startup+41.6006 s]
/proc/loadavg: 7.68 7.81 7.91 9/184 9554
/proc/meminfo: memFree=31015596/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=322528 CPUtime=166.18 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 74281 0 0 0 16605 13 0 0 25 0 4 0 524492937 330268672 26524 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 80632 26524 390 106 0 75603 0
[pid=9549/tid=9550] ppid=9547 vsize=322528 CPUtime=41.59 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 20728 0 0 0 4156 3 0 0 25 0 4 0 524492937 330268672 26524 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=322528 CPUtime=41.39 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 20320 0 0 0 4135 4 0 0 25 0 4 0 524492937 330268672 26524 33554432000 4194304 4627427 140734500219008 18446744073709551615 4299742 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=322528 CPUtime=41.58 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 18695 0 0 0 4156 2 0 0 25 0 4 0 524492937 330268672 26524 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 166.18
Current children cumulated vsize (KiB) 322528

[startup+44.801 s]
/proc/loadavg: 7.79 7.83 7.92 9/184 9554
/proc/meminfo: memFree=31005852/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=312652 CPUtime=178.97 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 77622 0 0 0 17883 14 0 0 25 0 4 0 524492937 320155648 27600 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 78163 27600 390 106 0 73134 0
[pid=9549/tid=9550] ppid=9547 vsize=312652 CPUtime=44.79 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 21738 0 0 0 4476 3 0 0 25 0 4 0 524492937 320155648 27600 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=312652 CPUtime=44.57 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 21377 0 0 0 4453 4 0 0 25 0 4 0 524492937 320155648 27600 33554432000 4194304 4627427 140734500219008 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=312652 CPUtime=44.79 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 19006 0 0 0 4476 3 0 0 25 0 4 0 524492937 320155648 27600 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 178.97
Current children cumulated vsize (KiB) 312652

[startup+45.6009 s]
/proc/loadavg: 7.79 7.83 7.92 9/184 9554
/proc/meminfo: memFree=31005976/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=312652 CPUtime=182.16 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 78019 0 0 0 18202 14 0 0 25 0 4 0 524492937 320155648 27997 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 78163 27997 390 106 0 73134 0
[pid=9549/tid=9550] ppid=9547 vsize=312652 CPUtime=45.59 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 21859 0 0 0 4556 3 0 0 25 0 4 0 524492937 320155648 27997 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=312652 CPUtime=45.37 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 21534 0 0 0 4533 4 0 0 25 0 4 0 524492937 320155648 27997 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=312652 CPUtime=45.59 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 19006 0 0 0 4556 3 0 0 25 0 4 0 524492937 320155648 27997 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 182.16
Current children cumulated vsize (KiB) 312652

[startup+46.0008 s]
/proc/loadavg: 7.79 7.83 7.92 9/184 9554
/proc/meminfo: memFree=31005976/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=312652 CPUtime=183.76 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 78587 0 0 0 18362 14 0 0 25 0 4 0 524492937 320155648 28565 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309598 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 78163 28565 390 106 0 73134 0
[pid=9549/tid=9550] ppid=9547 vsize=312652 CPUtime=45.99 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 22293 0 0 0 4596 3 0 0 25 0 4 0 524492937 320155648 28565 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=312652 CPUtime=45.77 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 21604 0 0 0 4573 4 0 0 25 0 4 0 524492937 320155648 28565 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=312652 CPUtime=45.99 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 19006 0 0 0 4596 3 0 0 25 0 4 0 524492937 320155648 28565 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 183.76
Current children cumulated vsize (KiB) 312652

[startup+46.4008 s]
/proc/loadavg: 7.79 7.83 7.92 9/184 9554
/proc/meminfo: memFree=31000396/32951124 swapFree=67107188/67111528
[pid=9549] ppid=9547 vsize=312652 CPUtime=185.35 cores=1,3,5,7
/proc/9549/stat : 9549 (strangenight2-m) R 9547 9549 8981 0 -1 4202496 78834 0 0 0 18521 14 0 0 25 0 4 0 524492937 320155648 28812 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308824 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9549/statm: 78163 28812 390 106 0 73134 0
[pid=9549/tid=9550] ppid=9547 vsize=312652 CPUtime=46.39 cores=1,3,5,7
/proc/9549/task/9550/stat : 9550 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 22400 0 0 0 4636 3 0 0 25 0 4 0 524492937 320155648 28812 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9549/tid=9551] ppid=9547 vsize=312652 CPUtime=46.16 cores=1,3,5,7
/proc/9549/task/9551/stat : 9551 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 21687 0 0 0 4612 4 0 0 25 0 4 0 524492937 320155648 28812 33554432000 4194304 4627427 140734500219008 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9549/tid=9552] ppid=9547 vsize=312652 CPUtime=46.39 cores=1,3,5,7
/proc/9549/task/9552/stat : 9552 (strangenight2-m) R 9547 9549 8981 0 -1 4202560 19006 0 0 0 4636 3 0 0 25 0 4 0 524492937 320155648 28812 33554432000 4194304 4627427 140734500219008 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 185.35
Current children cumulated vsize (KiB) 312652

Child status: 10
Real time (s): 46.4266
CPU time (s): 185.452
CPU user time (s): 185.299
CPU system time (s): 0.152976
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 322528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.299
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= 78852
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= 221
involuntary context switches= 1427

runsolver used 0.056991 second user time and 0.173973 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-30 04:02:24
IDJOB=3265015
IDBENCH=85368
IDSOLVER=1586
FILE ID=node130/3265015-1304128944
RUNJOBID= node130-1304128907-9000
PBS_JOBID= 13170785
Free space on /tmp= 72696 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3265015-1304128944/watcher-3265015-1304128944 -o /tmp/evaluation-result-3265015-1304128944/solver-3265015-1304128944 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3265015-1304128944.cnf

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

MD5SUM BENCH= db05e30798a5a29f39775d55b01c4246
RANDOM SEED=298805137

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.838
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31208924 kB
Buffers:        171164 kB
Cached:        1221748 kB
SwapCached:       1596 kB
Active:         111212 kB
Inactive:      1351976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31208924 kB
SwapTotal:    67111528 kB
SwapFree:     67107188 kB
Dirty:           15636 kB
Writeback:           0 kB
AnonPages:       68628 kB
Mapped:          15184 kB
Slab:           213536 kB
PageTables:       4220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   282208 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= 72688 MiB
End job on node130 at 2011-04-30 04:03:11